[amaybaum]

Scope and pins

Head: f522e62f8f02fbaec6eeecbd5a1316683470c547.

This is a concrete source-repair draft, stacked on SC-17 #963 at 81654257152d0efd2101b183aacef2e169959525 because its Explainer and book edits share the affected paragraphs. It leaves the mathematical review object #965 at d2e01a3a2670dab1a0f613d2dcfb7193e2608e1a unchanged.

The commit adds one patch generator, not applied manuscript edits. It contains exact old/new replacements for seven files and refuses to emit a patch unless all pinned full-file blobs, index entries, working copies and unique replacement contexts match. It never writes repository files or runs builds. A full checkout could not be fetched in this writer environment, so no full-file application, build or corpus closure is claimed.

Proposed changes

• SM §4.3: replace the unrestricted microscopic equivalence with the fixed-staggered-operator result, prove the on-site converse and scalar-coefficient corollary separately, and state their distinct hypotheses. Preserve the Laplacian-diagonal remark and the independent memory/readback results.
• ch05 and its FULL mirror: replace the second-order-center-term argument with the actual first-order on-site statement.
• Explainer: scope the chirality sentence to the fixed first-order branch; do not silently rewrite the separate Higgs claim.
• Lean roadmap: distinguish the existing identity from unformalized converse/coefficient uniqueness.
• OI_Structural_Core.lean: comment-only removal of the unsupported coefficient-uniqueness gloss; line count preserved, no theorem/proof edit.
• structural_chain_probe.py: describe the separate mass and scalar-offset tests actually executed, not a universal converse. Numeric assertions and other computation must remain AST-identical after excluding top-level documentation and print calls.

Checks actually performed

source_repair.py --self-test: 36 fragment/guard checks PASS, covering successful replacement and refusal of missing, duplicated or already-applied contexts. Normal and optimized Python outputs are byte-identical; Python compilation succeeds. These are patch-mechanics tests, not scientific evidence or a full-checkout test.

Script SHA-256: 790276035135b949ab1a3eac838d97cd6e1e0dcebf7778d2717c2bb8db713d3b.
Published Git blob 852857628422e33d48de65e30d26c59ccfd1e79c equals the locally tested file.

Remaining work / no closure

1. Independently review WIP: SM Theorem 3 restricted converse — proof, exact controls, and scope repair #965's mathematics and the source-repair scope.
2. Meet the existing AGENTS §A.34 requirement for separate directional kernel witnesses before publishing the new equivalence. The paper proof is not a kernel certificate. This does not create an unrelated Introduction paper: reconcile sources and integrate scoped theorem recoveries #918 blocker.
3. Generate/apply the patch in a complete pinned checkout; inspect the diff and finish the whole-corpus propagation audit, including relevant Main/Substratum/Structure and book summaries. Search hits alone are not a completed dependency audit.
4. Reconcile coverage, registry anchors and any guards; regenerate affected SM/Explainer/book artifacts in the same source-edit commit, or explicitly mark them stale until rebuilt. Do not leave stale distributed artifacts unflagged.
5. Run the required checks and obtain independent acceptance on the actual source-edit SHA.

No manuscript status, coverage tier, review gate, retirement decision or merge authorization changes. The source finding remains open. The agreed #918-first sequence and explicit exact-SHA approval remain in force; this stacked draft must be reconciled after its actual dependencies land.

Related: #965, #963, #946, #918.

[amaybaum]

Closing without merge: the owner chose SM Theorem 3 Route A (Workstream D audit on #946; owner decision of 2026-10-31).

This PR's generator pins an old base and refuses to run on current main. Here is where each of its intended changes stands:

• Absorbed on main: the first-order SM Theorem 3 statement and the M3.1 docstring.
• Carried into draft Workstream D: consolidated minimal source corrections #1019, commit 9a6a2f18 (Route A):
  • the scope sentence and the separate-bridge qualification (SM:302–308);
  • verification/lean/ROADMAP.md:193-196 and structural_chain_probe.py (no longer "⟺");
  • the M3.2 docstring in OI_Structural_Core.lean;
  • ch05:95/FULL:1422;
  • Explainer:826.
• Obsolete as written: its book and Explainer hunks targeted SC-17 text that is not on main. The underlying defect is handled in Workstream D: consolidated minimal source corrections #1019 (D-3/D-4).

The branch and history are kept as provenance.

---

Generated by Claude Code