[amaybaum]

This is the guiding draft PR for the native V3 sealing round SUB-241C-SPAN (AGENTS.md §A.39). The planning issue is #986; the sibling round is #985 / #987.

State: pre-F draft, not yet a candidate F. The head is 542d8cac40526c1b409e976041536437ce45f522, a single-parent child of D = 0d917665 (main; verify run 40535620231, green).

• The owner approved drafting on 2026-10-28.
• Designating F, any exact-head dispatch and any merge each need separate owner authorization. This PR is not merged into main.

Content. The branch holds one file, verification/programmes/substratum/round-sub-241c-spanning-v3/preregistration.md.

• v3 blocks: round SUB-241C-SPAN, kind sealing.
• Record files:
  • the record directory and the receipt (AM);
  • the seal record verification/v3-seals/SUB-241C-SPAN.json (A, G12; this is the directory's first use).
• Execution paths:
  • OIBridge/SpanningClassReach.lean (A);
  • OIBridge.lean, the census, ROADMAP.md and README.md (M).
• Provenance:
  • The legacy freeze lemma-24-1c-spanning-class-decision/preregistration.md (blob b6f38374; base e21a42c6; Lemma 24.1C control plane: the spanning-class decision #643) is adopted through 15 verbatim quotations that controls.py checks.
  • The legacy directory is byte-for-byte untouched.
• R7-SCD → controls.py: each content check is mapped to a named failure code (table in the preregistration).
  • The ancestry and archive modes are not carried; the verifier's T1–T7 cover that ground.
  • There are no _SCD_* constants, no guard clause and no pin commit.
  • The legacy seal roles map to the receipt fields f, e and landing. A deterministic seal record is added at Q.
• Frozen controls text. controls.py (blob bcdf6670…) is pinned in the preregistration and published for review on the linked design branch design/sub-241c-span-controls (855857f7). The verifier admits only the preregistration and amendments before F, so stage 1 adds the file to the record directory.
• Discrepancies: X1–X12 are recorded. X8 is a new halt rule for SC5 cells that have no truthful frozen sentence, and it is flagged for owner review.

Owed before candidate F:

1. Elaboration evidence for the eight frozen label statements and the header. This means one owner-authorized workflow_dispatch on a disposable branch, with an ill-typed countercontrol. Until then the X9 Lean transcription is unchecked.
2. Owner confirmation of the X8 halt rule and of readings X3, X9, X10, X11 and X12.
3. Independent review.

Local checks at the head:

• controls freeze and controls start-state D: OK.
• controls.py --self-test: 252 synthetic executions over the 54 outcome rows hold, and all 83 mutation controls fail with their named codes.
• Lifecycle rehearsal on scratch commits: --verify-round Q → HOLDS. The rehearsal covered the halting and rebuild cases and 29 git-mode mutations.
• v3_verifier self-test and corpus: OK. legacy_records_check: 303 intact.
• Release gate: every step passes except lean-axioms (no local toolchain).

These are design evidence, not check-run attestations.

---

Generated by Claude Code

[amaybaum]

Owner decision recorded: pre-F release for retirement

The owner (amaybaum) gave this decision in the coordinating session on 2026-11-01, just before 17:35Z. It is quoted verbatim:

I release the pre-F SUB-241C-SPAN draft at 542d8cac for retirement to issue #986. No F designation, scientific execution or merge is authorized. Preserve the branch, commits, design controls, frozen sources and dependent evidence. Closure without merge is permitted only after the preservation checks pass.

The owner also stated: "These decisions release the administrative reservations. They do not authorize automatic closure or change the other research holds."

• Head at the time of recording: 542d8cac. This PR is not closed by this record.
• The preservation checks listed in the retirement plan on SUB-241C-SPAN: native V3 round taking up Lemma 24.1C (spanning-class decision) #986 are now being run. Their results will be recorded here before any closure.

---

Generated by Claude Code

[amaybaum]

Preservation checks for retirement to #986 (read 2026-11-01, read-only). All checks pass.

• Branches: v3/sub-241c-span = 542d8cac40526c1b409e976041536437ce45f522 is the PR's only commit, a single-parent child of D = 0d917665d32287e5d0ce649012175f2c7bf75b09. design/sub-241c-span-controls = 855857f773e2a37c7bd823df4c4c1f240771eee5. Both are unmoved. PASS
• Preregistration: blob 7b7361bdb52fe313f65d7a91f44c74d678ade75a at 542d8cac. PASS
• Design controls: round-sub-241c-spanning-v3-design/controls.py is blob bcdf66701b3383602477cd855674451db7f5102a at 855857f7, and the preregistration pins its blob id (line 1100) but does not embed its text, so the design branch is the only copy of the source and must be kept. PASS
• Legacy freeze: lemma-24-1c-spanning-class-decision/preregistration.md = b6f383741e84a1c53a599de349922f4d525e1349 on main 07d94f2c and at D. It is unchanged since D and listed in legacy-records.json. PASS
• Dependents: nothing on main cites the round. Source-correction gate: every substantive audit finding gets a source fix or a recorded no-change reason #946 (closed) cites 542d8cac, which exists. R23 recovery: derive or refute local-branch selection and gauge uniqueness #983 and R23 research (draft): recover or refute uniqueness of the local substratum and gauge classification #984 cite only the legacy freeze. No other open PR cites the round, and none is based on either branch. PASS
• Open work on SUB-241C-SPAN: native V3 round taking up Lemma 24.1C (spanning-class decision) #986: it matches this PR's "owed before candidate F" list: the elaboration evidence, X8, X3, X9–X12 and independent review. The pre-F release is recorded in comment 6561469422. PASS
• Workflows, F and E: the round branch has one pull_request verify run, which succeeded, and the design branch has none. There is no workflow_dispatch, no queued run, no F/E designation, and no receipt or seal record. PASS

The preservation results were independently re-checked: verdict confirmed, ALL-PASS.

---

Generated by Claude Code

[amaybaum]

Closing without merge, on the owner's decision (amaybaum, 2026-11-01): "#988: Approve closure without merge. Preserve both branches, especially the design branch containing the only copy of controls.py."

• Preservation: all checks passed (comment 6561688613) and were confirmed by an independent re-check.
• Branches kept, not deleted:
  • v3/sub-241c-span at 542d8cac40526c1b409e976041536437ce45f522
  • design/sub-241c-span-controls at 855857f773e2a37c7bd823df4c4c1f240771eee5, which holds the only copy of controls.py (blob bcdf66701b3383602477cd855674451db7f5102a). The preregistration pins its blob id but does not embed its text.
• Open work: carried by SUB-241C-SPAN: native V3 round taking up Lemma 24.1C (spanning-class decision) #986, per the retirement plan there. A resumption requires a new guiding PR from a current D, citing this PR's control plane and commits as provenance (§A.43.6).
• No change to: any F designation, scientific execution, or the standing research holds.

---

Generated by Claude Code