[amaybaum]

This is the guiding draft PR for native V3 round SUB-241B-OBS (AGENTS.md §A.39). The planning issue is #985 and the sibling round is #986.

State. This is a candidate control plane at a926233afc1acf4d5975942bc4f2f9029337711a. It is the third of three single-parent commits from D = 0d917665d32287e5d0ce649012175f2c7bf75b09 (main; verify run 40535620231 green): db19ccbf, 02c77a11, a926233a.

• F is not designated.
• No workflow_dispatch has been run.
• Independent review is pending.

The owner approved drafting on 2026-10-28. F designation, the exact-head dispatch at F and E, and any merge each need separate owner authorization. The owner's standing rule is that this PR is not merged into main.

Content. One file: verification/programmes/substratum/round-sub-241b-observables-v3/preregistration.md.

• v3 blocks:
  • round SUB-241B-OBS, kind non-sealing;
  • record directory and receipt verification/receipts/SUB-241B-OBS.json (AM);
  • execution M: verification/ROADMAP.md and verification/README.md.
• Provenance. The legacy freeze lemma-24-1b-framework-data/preregistration.md (blob f614b666, execution base 445701c7, Lemma 24.1B control plane: does the framework's hypothesis fix the block-word traces? #631) is quoted verbatim and adopted by citation. The legacy directory is byte-for-byte untouched.
• Evidence base. The nine frozen pinned blobs at 445701c7. SC-44 (SC-44 (draft): retire false semigroup-transfer lemma; state verified block-word rigidity #980), SC-45 (SC-45 (draft research): reproducible fixed-interface counterexample to Theorem 24(i) #981) and the current manuscripts are not substituted. Drift at D is recorded only as a start-state note, and a separate non-verdict section records how the findings bear on the corrected theory.
• Recorded discrepancies.
  • X1: WD1's four statements versus "three".
  • X2–X5: the result-note sections, the §A.37 mechanics, the base wording and the shortened pin paths.
  • Readings R1–R6.
• Independence. Checks N4 and N14 enforce independence from SUB-241C-SPAN and from any 24.1C object.
• Round-local controls. The controls text is frozen inside the preregistration and pinned by blob, following BG-2. The file itself is committed at stage 1, after F.

Local checks at the head:

• v3_verifier self-test, corpus and --receipts: OK.
• v3_receipt self-test: OK.
• legacy_records_check: 303 records intact.
• Release gate: every step except lean-axioms, which needs the Lean toolchain.
• Mock execution (no refs) from candidate F:
  • checks T1–T7 and N1–N17 pass;
  • the countercontrol fails at T6;
  • a mock reconciliation and receipt give --verify-round → HOLDS.

These local runs are design evidence, not check-run attestations.

Pushing. The push started no governed workflow. Of the path-filtered workflows that can fire on any branch, the two that did are read-only checks.

---

Generated by Claude Code

---

Generated by Claude Code

[amaybaum]

Candidate-F state (read 2026-11-01). F is not designated, and no workflow_dispatch has run on v3/sub-241b-obs. The head is a926233a, the third of three single-parent commits from D = 0d917665, each titled "candidate F, WIP". No release of this candidate state is recorded here.

Owner decision 17 retires this PR to #985 under §A.43 item 6. That needs the owner's explicit release of the candidate state, recorded on this PR, and the preservation checks listed on #985. This comment neither releases the candidate state nor closes the PR.

---

Generated by Claude Code

[amaybaum]

Owner decision recorded: candidate-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 candidate-F administrative reservation on SUB-241B-OBS at a926233a for retirement to issue #985. No F designation, scientific execution or merge is authorized. Preserve the branch, commits, 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: a926233a. This PR is not closed by this record.
• The preservation checks listed in the retirement plan on SUB-241B-OBS: native V3 round taking up Lemma 24.1B (framework observable data) #985 are now being run. Their results will be recorded here before any closure.

---

Generated by Claude Code

[amaybaum]

Preservation checks for retirement to #985 (read 2026-11-01, read-only). One check fails, so closure is not yet permitted.

• Branch: v3/sub-241b-obs = a926233afc1acf4d5975942bc4f2f9029337711a, unmoved. Commits db19ccbf4293ce3b2012667cbbff8a572e28db1c → 02c77a110a56937802a1dbb2a6418ecd30547ebc → a926233a… form a linear single-parent chain from D = 0d917665d32287e5d0ce649012175f2c7bf75b09, and all three are reachable from the branch. PASS
• Preregistration: blob 996d31000c2bd0ee44ed667c589ad8a1719f83ed at a926233a. The embedded controls text re-hashes to the pinned ddf80e63dcef87f15ceb9e47b70543940df5cd0b. PASS
• Legacy freeze: lemma-24-1b-framework-data/preregistration.md = f614b666ad9098f866969c4c524e47f504e5d71c 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 a926233a, 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 the branch. PASS
• Workflows, F and E: the branch has three pull_request verify runs, all successful. There is no workflow_dispatch, no queued run, no F/E designation and no receipt. The candidate-F release is recorded in comment 6561469207. PASS
• Open work on SUB-241B-OBS: native V3 round taking up Lemma 24.1B (framework observable data) #985: FAIL. Independent review: db19ccbf was reviewed REVISE and 02c77a11 ACCEPT WITH CHANGES, but both verdicts are recorded only in commit messages. No review of a926233a is recorded, and the PR body says "pending". B2 and O5 ("held for the owner" in the messages of 02c77a11 and a926233a), and the disposition of O4 from the same review, appear on no surface with their text: not in any version of the preregistration, the PR, its reviews, SUB-241B-OBS: native V3 round taking up Lemma 24.1B (framework observable data) #985 or SUB-241B-OBS: native V3 round taking up Lemma 24.1B (control plane, candidate F) #987. They must be recorded on SUB-241B-OBS: native V3 round taking up Lemma 24.1B (framework observable data) #985 with their content before closure. If the text cannot be recovered, the owner decides the fallback (a resumption re-reviews the control plane in full and does not rely on the two applied passes).

The preservation results were independently re-checked: both verdicts confirmed.

---

Generated by Claude Code

[amaybaum]

Closing without merge, on the owner's decision (amaybaum, 2026-11-01): "Approve fallback. Record B2, O5 and O4 as unrecovered review obligations on #985. Any restart must independently review the entire control plane. After an independent preservation re-check, #987 may close without merge."

• Fallback recorded: on SUB-241B-OBS: native V3 round taking up Lemma 24.1B (framework observable data) #985 (comment 6562042771, corrected at 18:29Z). B2, O5 and O4 are open, unrecovered review obligations, and any restart re-reviews the whole control plane.
• Independent preservation re-check: READY-TO-CLOSE. The branch, all three commits, the preregistration blob 996d3100, the controls pin ddf80e63 (re-hashed) and the legacy freeze f614b666 on main are verified. No dependent beyond the closed Source-correction gate: every substantive audit finding gets a source fix or a recorded no-change reason #946, which cites a926233a.
• Branch kept, not deleted: v3/sub-241b-obs at a926233afc1acf4d5975942bc4f2f9029337711a. Closed without merge, so delete_branch_on_merge does not apply.
• No change to: any F designation, scientific execution or the standing research holds.

---

Generated by Claude Code