[amaybaum]

This is a source-correction unit for #946 (the gate) and #918 (the Introduction). It comes from the full-corpus audit of #918 at 60c976fe (R-03, PR-F part: probe evidence classes).

• Base: main at 0d917665.
• Head: 83769553.
• Review: the independent review returned ACCEPT at f87ff059 after one fix round (B1, O1–O7). 83769553 adds one doc-only commit that applies that review's two optional README nits; it changes no manuscript, ledger or script.

Corrections

• Main:610 (B1). The count is tied to its horizon: "sixteen distinct laws of $(X_0,\ldots,X_3)$ with $M_t>0$, and $M_{det}=M_t$ for two of them, with residuals up to $2/3$ bit". Check C8 gives 16 laws (2 attaining) at horizon 3, and 18 (2 attaining) at every K = 4..12. That range covers the full process.
• Must-fail controls (O1). The vacuous C7 is replaced with a control that fails on 648 of 720. The new controls D1c, D4c and D5c each fire at every size. D1c uses a flat ½-bit bound, because $\log_2|\mathcal C_H|-\tfrac12$ cannot fire at (2,3) or (2,4).
• Per-order labels (O2). D1 and D3 are relabelled $\max_k M_k$. Check D1i shows this equals $I^*$ at horizon 3.
• Probe output strings (O4, O7). In hidden_memory_probe.py, c4_backflow_probes.py and memory_probes.py, only strings change, and the AST is unchanged with strings excluded. "certified" becomes "checked" where a floating-point step is involved.
• primitive_probes.py. Left to SC-40 (SC-40: (C2)/(C3) statements and probe evidence in Main §1.3 #974) and byte-identical to base.
• Rebuilt: Main, 96 pages.

Checks

The reviewer re-ran these with exact code of their own:

• sc38_exact.py: ALL CHECKS PASS; output byte-identical to the retained .out.
• All probes pass.
• coverage_check: OK.
• edge_rigidity_probe: PASS.
• release_gate: every step passes except lean-axioms, which runs in CI.

Overlaps, resolved at reconciliation

• SC-29: kernel scope — strongly continuous drive, joint-law form of the memory and C3 theorems, ledger levels #961 (SC-29), Main:610: different sentences on the same line; keep both.
• SC-40: (C2)/(C3) statements and probe evidence in Main §1.3 #974 (SC-40), Main:620: take SC-40's line.

The per-claim record is in verification/audits/manuscript/intro-corpus-audit-20261026/tracks/SC38-probe-evidence/README.md.

No merge is authorized. Merging needs owner approval at an exact SHA, as a normal merge commit.

---

Generated by Claude Code

[amaybaum]

Closed unmerged (owner decision OD-4, 2026-11-03).

• 11 hunks are verbatim on main via Workstream D: consolidated minimal source corrections #1019 D-7 f8f7d36b. Main:620 is superseded by SC-40: (C2)/(C3) statements and probe evidence in Main §1.3 #974's line.
• The three probes are blob-identical.
• The exact evidence for Main:616's "residuals up to 2/3 bit" (sc38_exact.py, check C5) now lives on main, unchanged (blobs 1e7e4041, 348db18b), at verification/audits/manuscript/intro-corpus-audit-20261026/tracks/SC38-probe-evidence/ via Legacy PR reconciliation: #1002 patch-budget hypothesis, #963 SC17 README, #975 SC38 evidence #1057 (merge 4759d27b). It replayed byte-identical on 2026-11-03.
• The citation mismatch at Main:616 (memory_probes.py does not compute the residual) is recorded at Correction planning: cross-references, labels, ledger/census and evidence records (from the 2026-11-01 disposition) #1029 orphan 39 (comment 6597316771) for later correction.

Branch corpus/sc38-probe-evidence (head 83769553) is kept.

---

Generated by Claude Code