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.
PR 2 rescue retention is on branch
sched/3f-pr2-rescue-retention.The strict-3 invocation at
34b36142f4be8d4d3af07e105e258a73e6ca7ac2stopped 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 Schedulercontaining 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.mdanddocs/planning/green-program/aarch64-testing/serials/3f-pr2/on this branch.