Skip to content

PR 2 rescue retention: finish gate validation after impl-placement correction #941

Description

@ryanbreen

PR 2 rescue retention is on branch sched/3f-pr2-rescue-retention.

The strict-3 invocation at 34b36142f4be8d4d3af07e105e258a73e6ca7ac2
stopped in structure preflight: 63/64 suites passed. In
tests/coreproof_sites_structure.rs::every_scheduler_seam_is_classified_correctly,
the scanner's first-impl assumption rejected the additional early
impl Scheduler containing the retention helper.

The helper now lives in the existing impl; the unchanged coreproof suite
passes 4/4 tests, and the rescue mutation matrix passes its expected legs.
The corrected aarch64 boot_tests build exits 0. This has not been validated
by another boot-gate attempt: the round's PROOF ONCE and R52 instructions
require authorization to resume after the first unmatched gate red.

Remaining validation: a corrected strict-3 run, beast x86 build profiles and
one x86 boot-tests gate, then the aarch64 production gate LAST. The beast
production build was deliberately interrupted before any x86 gate after the
R52 stop. No x86 gate or production gate result is claimed.

Evidence and the environment-specific soft-float toolchain repair are in
docs/planning/green-program/aarch64-testing/3F-PR2-2026-09-07.md and
docs/planning/green-program/aarch64-testing/serials/3f-pr2/ on this branch.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions