Repository navigation
Workstream D: consolidated minimal source corrections - #1019
Merged
Merged
Conversation
driveQ_isContinuousPath (OIBridge/SecondOrderDrive.lean) proves, for the continuity clause, only `forall x, Continuous (fun t => driveQ R t x)`: strong (pointwise) continuity, with no locality clause. The manuscripts said "norm-continuous path of local *-automorphisms". - Main.md:268, :584; Explainer.md:381; ch01:165; ch19:126; FULL.md:509, :5289: "exact norm-continuous path of local $*$-automorphisms" -> "exact strongly continuous path of $*$-automorphisms". - GR.md:292: "norm-continuous path of isometric" -> "strongly continuous path of isometric". - SecondOrderDrive.lean:35, :195, :223, :827: docstrings/comments only (no declaration changed); :34 (each orbit norm-continuous) kept. - verification/README.md:528, :1969; lean-manuscript-census.json CT2 note; audits/manuscript/lean-manuscript-census.md:59, :132; audits/physical-realization/continuous-time-audit.md:211, :264, :279; static_generator_probe.py docstring: same wording. - edge_rigidity_probe.py R7-CTN: expected strings and message aligned with the corrected manuscript text (otherwise the guard fails on it). Left: continuous-time-audit.md:200 (orbit statement, correct); audits/foundations/exec-source-audit.md:44 (self-described preregistered audit, not edited). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
SM.md:803 stated "the on-shell measure is the smooth Box^{-1} field of
4.2", while SM 4.2 (:290-292) and :811 state that Gaussian description as
a proposal (open stationary-law and measure-map obligations, :1225).
-> "the on-shell measure, under the stationary-law and Gaussian-limit
proposal of 4.2, is the smooth Box^{-1} field".
No mirror elsewhere in papers/ or book/ (grep: on-shell, beta_eff ~ q^4).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Audit §4 / owner decision 5 (minimal phrase replacements): - Main.md:410, Methodology.md:339: "That condition is now downstream" -> "That condition is downstream" (history voice, §A.33); mirrors at Explainer:340, ch01:171, ch03:180, FULL:515/:1054 already lack "now". - Main.md:38: "most honestly described" -> "described" (§A.32); paraphrase Explainer.md:42 "most honestly stated" -> "more precisely stated". - Main.md:634: "The honest open questions" -> "The open questions". - Explainer.md:381: delete ", to keep the claim honest". - Explainer.md:44: "(Poincaré recurrence)" -> "(the exact recurrence of a finite bijection)"; Methodology.md:156: "the Poincaré-recurrence step" -> "the exact-recurrence step". Main:441/:532 (Hamiltonian/general substrate) and book sites contrasting the two are correct and kept. - Explainer.md:679: "derives both quantum mechanics and the gravitational sector as consequences" -> exact quantum representation of the observer's statistics ([Main §3.4]), full operational QM and the gravitational sector conditional on stated additional principles and open hypotheses ([GR]). Necessary consequences: - verification/coverage/LEDGER.json: fingerprints of EXPLAINER:L-1 and MAIN:C-bell-lattice-obstruction-state-dependent re-affirmed (mapping, level and delta unchanged). - bell-operational-reconciliation-20261029: sc42-intended-sites.json anchor for Explainer:381 follows the deleted clause; result and controls JSON replayed with the CI commands (only the predicate prefix and site_table_sha256 change; -O output identical). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…opic one SM.md:230 (audit "SM:229") said alpha=1/d "makes the leading symbol isotropic". cos(omega) = alpha*sum_j cos(k_j a) = alpha d - (alpha a^2/2)|k|^2 + O(k^4) is isotropic at O(k^2) for every alpha (checked numerically along axis, face and body diagonals at alpha=1/3 and 1/4: coefficient alpha/2 in every direction; alpha=1/4 is gapped, omega(0)=arccos(3/4)). alpha=1/d is what gives omega(0)=0, and with it omega/(a|k|) -> 1/sqrt d in every direction. Sentence corrected accordingly; check-13 reference kept. Propagation: no other site states the isotropy reason (Substratum:159, ch02:98, FULL:741 state only the 1/d normalisation; Explainer none). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…sult (Route A)
Owner decision 1 (Route A). The kernel (OIBridge/ChiralCenterRecovery.lean)
proves, for fixed opposite-parity hopping D, site-independent m, p0, no
additive 2-torsion and both parity sectors:
scalar_center_coefficients_zero_of_chiral:
ChiralEntries parity (addScalarCenter parity D m p) -> m = 0 /\ p = 0
scalar_center_chiral_of_coefficients_zero:
m = 0 /\ p = 0 -> ChiralEntries parity (addScalarCenter parity D m p)
No declaration touches center independence of the second-order update.
- SM.md:302 statement: "center independence of the lattice dynamics is
equivalent to" -> "vanishing of the onsite terms, $m=p_0=0$, is
equivalent to".
- SM.md:304 proof: the two second-order sentences removed; both
first-order directions from {D_st+m eps+p0, eps} = 2m+2p0 eps; kernel
citation (and census anchor) unchanged.
- SM.md:306 Remark: separate-bridge qualification restored.
- SM.md:308 heading "Revised chain" -> "Scope in the chain" (§A.33).
- SM.md:545 Thm 13(ii): {D_st, eps} = 0 re-pointed Theorem 3 -> Theorem 2.
- ch05:95 / FULL:1422 (mirror): equivalence is with vanishing center
coefficients; second-order mass clause replaced by the separate-bridge
sentence. The paragraph's last two sentences are left for D-4.
- Explainer.md:826: Theorem 3 scope; unsupported "one condition"
memory+chirality claim removed (contradicted SM 4.3), memory attributed
to Main's readback lemma; heading follows.
- verification/lean/ROADMAP.md:193-196, structural_chain_probe.py:14,
:136-137 (docstring/print strings only), OI_Structural_Core.lean:447-448
(M3.2 docstring only): aligned.
- verification/coverage/LEDGER.json SM:T-3: fingerprint re-affirmed (K3,
empty delta: statement now equals scalar_center_chiral_iff); note made
declarative.
- bell-operational-reconciliation-20261029/sc42-integration-result.json:
replayed (one new mirror-parity predicate for the ch05 line; controls
unchanged; -O identical).
Left unchanged: SM:236, :565, :611 (use only the CI -> chirality direction
via Theorem 2, or Theorem 3's first-order content); historical audit
reports and round controls quoting the old text. #969's Lemma 3a /
Prop 3b not imported.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
This was referenced Oct 31, 2026
…their SM/GR scope #963's non-Bell clauses (SC-17), adapted to main; alpha=1/d reason is the gapless normalisation (SM 4.1 Remark), not #963's "leading symbol isotropic". - Explainer.md:767 "The dynamics is unique ... select exactly one ... proven analytically" -> form fixed up to one coefficient alpha (SM 4.1 form lemma); nearest-neighbor range assumed; CI does not carry memory / P-indivisibility (readback lemma, finite recurrence); linearity from the amplitude-scale-gauge lemma; alpha=1/d the largest stable, gapless value; Lorentz/Unruh are tests, not selectors. - :769 "selected solely by the QM requirement" -> form fixed by CI, isotropy, linearity at nearest-neighbor range; gap equation conditional on H-slope. - :771 "No free parameters ... nothing to tune" -> "Few free parameters": alpha, epsilon free, sigma undetermined (GR 4, GR 5; agrees with GR:310). - :773 "Seven passed checks with no free parameters" / rigidity self-assessment -> consistency checks, epsilon free, sigma undetermined. - :779 (propagation of :773) "proves ... produces both QM and GR" -> checks the wave equation against the quantum description and the GR inputs. - :818, :820 "selected by the QM (and GR) requirement(s)" -> "of the center-free branch". - :974 "dynamics selection theorem pins the wave equation" -> form lemma up to one coefficient, conditions are inputs [SM 4.1]; main's d=3 sentence kept. - :826 already corrected in D-3; unchanged. - ch05:95 / FULL:1422 (mirror): last two sentences -> memory from Main's readback lemma, P-indivisibility from its recurrence-cycle theorem, independently of CI (SM 4.3); Higgs acts on the chiral fermions of the center-free branch. First two sentences kept; no alpha=1/d text imported. - Substratum.md:373 and :48 (same claim): "uniquely selected" / "the unique ... dynamics" -> up to the coefficient alpha. - SM.md:110 "dynamics selection theorem" -> "form lemma of 4.1". - Complexity.md:27 "dynamics selected by" -> "dynamics whose form ... fix up to one coefficient". - intro-corpus-audit-20261026/tracks/SC17-explainer-bell/README.md:15, :17 (not frozen: no receipt, not in legacy-records): isotropic -> gapless. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…nd in M_k #974 (SC-40), checked against Main 3.4 on main: Theorem (C3 necessity) (:500) bounds I(X_<t; X_>t | X_t) <= log2 m from determinism alone, so C3 holds in every faithful realization and does not follow from C4; the physical-memory display (:464) bounds M_k = I(X_<k; X_{k+1} | X_k) only, not I* = sup_t I(X_<t; X_>t | X_t) (:508), so the contrapositive is eps_min(M_k, n_V) at an accessible order k. - C1/C3 attribution: Main.md:72, :78, :82 (main's wording differs from #974's base; only the C1/C3 clause changed), :620; GR.md:52; Substratum.md:129; ch00:37; ch01:133, :201, :259; ch07:30; FULL:273, :477, :545, :603, :1905 (mirrors). - eps_min(I*) -> eps_min(M_k, n_V), "M_k > 0 at an accessible order k": Main.md:76, :453, :465 (with the definition and existence of eps_min), :472, :492, :732; Substratum.md:129, :137; glossary:27 / FULL:6630. - Main.md:78 "finds the bound SATURATED" -> per-order max check (floating point) plus the exact swap witness (M_k = 1 bit = log2|C_H| at (2,2)); caps removed (§A.33). - Main.md:463: coupling-step model stated. - glossary:29 / FULL:6632: bound stated for the whole visible future. - primitive_probes.py: header comments and two printed claims aligned ("C4 forces C3" removed); no logic change. - LEDGER.json: primitive_probes certified scope as #974; MAIN:T-statement and MAIN:T-physical-memory-c2-process-form fingerprints re-affirmed (summary row; P row, probe c2_mixing_probes unchanged), assumptions state the coupling-step model. Left unchanged: ch01:155 / FULL:499 ("C1 and C3 are its preconditions"), Substratum:373 ("C1 and C3 diagnose"): both true as necessary conditions. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…d scope #975 (SC-38). sc38_exact.py from refs/audit/pr975 re-run here (python3 -I, scratch dir): output byte-identical to the PR's committed sc38_exact.out; at (n_V,|C_H|) = (2,3), t = 2, uniform prior, 16 laws of (X0..X3) with M_2 > 0, 2 attaining M_det = M_t, max residual 2/3 bit exactly (C2, C5); memory_probes.py's old signature merged two laws (C3, C4: "1 of 15"). - Main.md:610: "one of fifteen distinct processes ... 0.667 bits" -> "sixteen distinct laws of (X0..X3) ... M_det = M_t for two of them ... 2/3 bit"; agreeing laws prior-independent. - Main.md:170, :606, :616: "Certified exactly" / "exact" -> checked, with laws/gaps in exact rational arithmetic and information quantities (or the predictive floor) in floating point, as the cited probes compute them. - Main.md:178 "A Minimal Model" -> "A Six-Hidden-State Model" (Main's two-hidden-state revival example is smaller); ch01:135 / FULL:479, ch01:273 / FULL:617 (mirrors), Explainer.md:725, main_repro/README.md:8 (also "exact enumeration" -> floating point: numpy). - Main.md:620: already #974's line (D-6), which carries #975's labels. - memory_probes.py: groups by the law of (X0..X3); prints "2 of 16 laws" (re-run: ALL CHECKS PASS). c4_backflow_probes.py, hidden_memory_probe.py: printed wording ("certified"; "M_det = M_t remains OPEN") aligned with Main:170 / :610. - LEDGER.json: MAIN:T-canonical-predictive-quotient-purification-ingredient fingerprint re-affirmed (wording of the check parenthetical only). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
check_sc42_integration.py: PASS (rc 0); -O output identical; self-test controls unchanged. The result JSON gains nine mirror-parity predicates, one per chapter line edited in this batch (ch00:37; ch01:133, :135, :201, :259, :273; ch07:30; glossary:27, :29), all ok. No other change. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…able removed Applies #964 (SC-22) rows R1-R14 to ch18 and its FULL.md mirror lines. - ch18:74 (R1): the "P-indivisibility measure" interpolating to "maximal backflow" becomes the peak revival measure N on a window (total-variation distance of visible population laws); cumulative backflow named apart and shown unbounded by periodicity (Main §2.3); N > 0 certifies P-indivisibility, converse fails; memory does not fix N (XOR control); regime label "partially-quantum" -> "restricted quantum-statistical". - ch18:60/:76/:78 (R2-R6): regime strictly between no and complete revival; N is the largest revival, not a degree of indivisibility; RHP measures CP-divisibility departures. - ch18:72 (R12): capacity floor stated; marginal-capacity revival is the proposal's hypothesis; "the the" typo. - ch18:80-96 (R7-R10, R13): tau_S/tau_B placement table removed (not derived); fast-bath and static-bath conclusions of Main §2.3 kept; candidate systems stated as conjecture; memory and revival tests separated; "testable conjecture". - ch18:16, :332, :342 (R11, R14): relabel; :342 names the capacity-controlled origin of partial revival. - ch18:28: relabel only; main's "period at most g(|S|)" clause kept. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…[0,1] Applies #964 (SC-22) rows B1-B12 (ch13) and E1-E22 (ch15) with FULL.md mirror lines. - ch13:20/:22/:24/:40/:68/:80 (B1-B5): intermediate N stated as the mechanism proposal's prediction; memory test (Markov description) and revival test separated; F(r) cross-reference to ch15 §15.7. - ch13:84/:128-:146/:170/:172 (B6-B12): relabel "partially-quantum" -> "restricted quantum-statistical"; memory test alone does not separate from classical memory; N measures revival, not memory; biological capacities (1e30-1e200) are far above N_H/N_V ~ 1, so the placement is a conjecture the capacity ratio does not fix; BLP attribution. - ch15:10/:20/:140-:152 (E1-E7): relabel; capacity bounds memory without fixing revival (XOR plus idle register); range narrowed to N_H/N_V ~ 1; Markov failure is the memory signature, partial revival the regime's. - ch15:154/:168 (E8, E9): "depends non-monotonically" -> F increasing on r<1 (dF/dr = 2-2r > 0); F -> 1 is saturated revival N = N_max, not complete revival. - ch15:158-:258 (E10-E22): non-Markovianity -> revival; G^2 non-monotonicity does not by itself show N > 0; step 5 uses total variation of visible population laws; "C3 marginality" -> marginal hidden capacity; proposal attribution. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…al vocabulary Applies #964 (SC-22) rows G1-G2 and X1-X4 with FULL.md mirror lines. - glossary:29 (G2): "*partially-quantum* (intermediate-backflow) regime" -> "*restricted quantum-statistical* regime of partial distinguishability revival"; "fully representable" -> "representable"; relabel in the pointer. D-6's whole-future capacity-floor wording on the same line kept. - glossary:115 -> after "Reader/writer/eraser pharmacology" (G1): entry "Partially-quantum regime" replaced by "Restricted quantum-statistical regime", carrying the ch18 §18.3 definition (peak revival N; cumulative BLP sum kept separate; N > 0 certifies P-indivisibility; memory alone does not give N > 0). - ch09:20/:283/:285/:287 (X1, X2): "C3 marginality"/"marginally satisfied" -> marginal hidden capacity; "N between fully Markovian and fully P-indivisible" -> partial revival 0 < N < 1 at N_H/N_V ~ 1, proposal attribution; "non-Markovianity signature" -> revival signature. - ch01:263 (X3): relabel; marginal hidden capacity; proposal's conjecture for biological systems. - appendix-a:170/:213 (X4): "Capacity-controlled revival"; "no analog in standard QM" -> partial revival is standard phenomenology, origin and form the proposal's own. - appendix-c:277: "marginal C3 capacity" -> "marginal hidden capacity". - readers-guide:53, ch19:356: relabel. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
- ch01:225 (+FULL mirror): "the transition from the partially-quantum regime back toward the C2 failure limit" -> "from the memory-bearing regime". Decoherence by a fast bath removes memory (Main §2.3 fast-bath lemma); a relabel to the restricted quantum-statistical regime would assert, unsupported, that a decohering system was at partial revival. - appendix-c (the #964 base's :62, Colbeck-Renner paragraph): already rewritten on main (now :62, no regime label, "non-Markovianity" or "marginally satisfied" C3 wording); no change. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
check_sc42_integration.py exits 0 (PASS, 0 failed predicates). The result gains 78 "chapter line mirrored in FULL" predicates, one per chapter line D-5 changed (ch01, ch09, ch13, ch15, ch18, ch19, glossary, appendix-a, appendix-c, readers-guide), and none is removed; the ch18 hunk moves four existing predicates. Controls (--self-test) are byte-identical and are not rewritten. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…n, 10^122 factor #978 (SC-36), GR part. Verified before editing (exact/numerical, scratch scripts): an aligned-cut bound S(rho_R(t)) <= H(p0) under every permutation (0 violations in 1,209,600 exhaustive checks over all 8! permutations; S = 0 from a configuration against Page(2,4) = 0.51; a Haar unitary countercontrol violates it); the A.7 counterexample phi(v,b,d) = (v, b xor d, d) from |0>|0>|+> gives Tr rho_VB^2 = 1/2 exactly; A.1 places V between the horizons (chain B<->V<->D) while A.5 assumes V<->B<->D; S_dS/pi, S_dS/(96 pi^2 sigma^2), S_dS/(384 pi^4 Omega_L) ~ 3.9e-5 S_dS, outside the stated [1/(96 pi^2), 8/3]. - GR:366 convention-dependent numerical factor, with its three cases. - GR:603, :609 (iii), :715: Page curve conditional; H-scramble fails for every bijection from a configuration at an aligned bipartition, so A.8-A.9 have no instance in the setting they count; e^-10^77 no longer reported as a result. - GR:785-789: A.5's 30 M_sun figures as the orders the theorem gives under its chain; new "Scope of the coupling chain" paragraph (A.1 gives B<->V<->D). - GR A.7: hypothesis "D starts in a configuration d0"; proof replaced (the "rho_D constant => product" step is invalid); Remark with the counterexample. - GR A.8 statement, H-scramble paragraph, proof conclusion "Under H-scramble"; new "Scope of Theorem A.8" with the bound S(rho_R) <= H(p0); A.9 inherited scope. - GR:875/:877: "reproducible from a finite deterministic substratum" and "it can be combinatorial" made conditional / removed. - verification/coverage/LEDGER.json: GR:T-a.7 re-affirmed (same ID, GAP), fingerprint ef7fd416 -> d1d4eef7, line 811 -> 813. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…ot resolved #978 (SC-36), book part, mirrored chapter <-> FULL (18 sites each; README alone). - ch07:12, :110, :116, :126, :149, :151, :288: the paradox is not resolved; information conservation is the bijectivity premise; H-scramble fails for every bijection from a configuration at an aligned bipartition; entanglement bounded by the entropy of the initial distribution over configurations; "reproducible from a finite deterministic substratum" and "it can be combinatorial" removed. - ch07:193, appendix-a:117: convention-dependent numerical factor with its cases (S_dS/pi; S_dS/(96 pi^2 sigma^2); S_dS/(384 pi^4 Omega_L) ~ 3.9e-5 S_dS); appendix-a "rho_crit" -> "rho_classical". - ch09:108: "the premise of information conservation". - ch18:122, :138, :148: "same structural reading"; "second component" heading; "at the level of information preservation" clause removed; paradox not resolved. - ch19:22, :30, :72, :334: "information is conserved by the bijectivity premise; the paradox is not resolved" (heading "19.2 Problems resolved" left unchanged). - glossary:113, README:64: H-scramble failure clause. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
… recomputed
Owner decision (2026-10-31, item 2): G11 moves from C to an open research target,
not counted; identifier kept, no successor renumbered. Counts recomputed from the
tables (row-by-class script), before -> after:
appendix-a G-table: 6 C + 2 L = 8 -> 5 C + 2 L = 7 (G11 uncounted)
ch09 tiers: 5 + 7 + 8 = 20 -> 4 + 7 + 8 = 19 (Tier 1 row "BH information
preserved" removed: information conservation is the bijectivity premise and the
Page curve is not a counted entry)
- appendix-a:102 (Page curve an open research target), :111 (G11 row class cell
and obligations), :115 ("Counts: 5 C + 2 L. Total: 7. G11 ... not counted."),
:225 ("seven ... five conditional results ... with the Page curve (G11), an open
research target, ... beside them").
- "eight" -> "seven gravitational(-sector) entries": appendix-a:8, appendix-c:8,
:273, preface:7, ch08:272, ch09:8, :322, ch17:234, ch18:334, ch19:362 and the
eleven FULL mirrors (22 sites, 0 stale).
- ch09:125 row removed; :129 "Four universality-class entries" plus the
information-conservation sentence; :176 "Tier 1 has four entries"; :178
"nineteen entries"; FULL mirrors.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
check_sc42_integration.py exits 0 (PASS); -O output byte-identical; self-test controls unchanged. The result gains only "chapter line mirrored in FULL" predicates (all ok) generated from the chapter lines D-8 edited. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
… and rooted classification Re-applies #973's (SC-35) kernel anchors onto main; wording from refs/audit/pr973, every cited Lean statement re-read. No theorem upgrade, no existing grade changed, no Lean code changed. - Main 2.3:139 (history-readback proof note): final clause cited to pIndivisible_of_rooted_identity_return_of_overlap; the three remaining paper steps named. - Main 2.3:143-147 (new): Theorem (overlap and return) with proof and kernel note; Routed readback paragraph (storage-time and seed-conditioned readings, return-horizon scope, incomparability at K = 2, not established at a physical cut). - Main 3.4:640 (consolidation remark): rooted all-time classification with a witness per direction (A.34); open item (a) narrowed to multi-time laws. - Main 4.5:733 (status row) and verification/ROADMAP.md:1571: same narrowing (A.25). - lean-manuscript-census.json: four families kernel-only -> current with Main anchors and one note sentence each, applied to main's current registry (A.35); census note rows to match. - edge_rigidity_probe.py R7-RCH/R7-RCL re-pinned as in #973 (module names allowed in Main only; Main statements' hypotheses pinned); mutation-checked locally. - coverage/LEDGER.json: new MAIN:T-overlap-return entry (K3, required by coverage completeness); history-readback entry keeps P, note added. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…book `sh ./build.sh Complexity Explainer GR Main Methodology SM Substratum` and `sh ./build.sh --book` (no dropped glyphs; Complexity 35, Explainer 71, GR 90, Main 99, Methodology 53, SM 150, Substratum 54 and the book 559 pages). staleness_check OK (13 matched, 0 unstamped). Generated files only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
R1 (papers/verification):
- SM:308 and Explainer:826: center independence reaches the chiral statement
through Theorem 2 (massless staggered operator) and then Theorem 3, not
through Theorem 3 alone (Route A).
- GR Theorem A.7: the frozen-D premise from §3.2 step (ii) (sketch level) is
now an explicit hypothesis of the theorem instead of a proof step;
LEDGER GR:T-a.7 fingerprint re-affirmed, grade GAP unchanged.
- Main:139 kernel note: add the one-line argument for the step from a
non-permutation square stochastic matrix to two rows sharing positive mass.
- Census notes: drop the "primary"/"secondary" ranking of the two routed
readings, which Main does not make ("Neither reading implies the other").
- SC17 track README: cite the renamed "Scope in the chain" heading.
R2 (book):
- ch19:30/:32 (+FULL): the dissolution reading covers the cosmological-constant
and non-renormalizability obstacles only; the information account is not
called a dissolution (consistent with "not resolved").
- ch18:80 (+FULL): the biological candidates are Chapter 13's conjecture,
not placed by the capacity ratio (matches ch13).
- ch07:149 (+FULL): the S <= H(p0) bound is scoped to the aligned bipartition.
- appendix-a G11 class cell (+FULL): "Open" (the summary states it is not counted).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Mirror-parity predicates for the edited chapter lines only; PASS, -O identical, controls unchanged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
sh ./build.sh GR Main SM Explainer; sh ./build.sh --book (no dropped glyphs; GR 90, Main 99, SM 150, Explainer 71, book 559 pages). staleness_check OK. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Owner
Author
|
CI note: the red "Mathlib bridge" on run 41194204060 is on the intermediate head At The canonical rebuild landed at Generated by Claude Code |
amaybaum
changed the title
amaybaum
marked this pull request as ready for review
October 31, 2026 12:21
This was referenced Oct 31, 2026
Open
Owner
Author
|
Merged as Generated by Claude Code |
This was referenced Oct 31, 2026
Closed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Workstream D: consolidated minimal source corrections
This is the single correction PR the owner authorized after the Workstream D survival audit on #946. It is a draft and not merged. The owner approves the exact SHA.
mainc596904a9adf61649e65c9035d9d2ad7011f56a8.11917abb2fb9df89d047a1c44b95cec69e55dd31.11917abb.Corrections, one commit per finding
ee379aafd655b319cc1a2f73f9dcc6359a6a2f1879b5444f428195acf8f7d36bdaa62705,f834ef37,869f4ddc,826f34c67192983a,141d9c91,a50035ec1bc80f20MAIN:T-overlap-returnat K3 (kernel-proved)1cfbe6b1be7928b6,360bd0ed,325ca6ee,aeda694b-Oidentical; controls unchanged68bb260b,11917abbbuild.shrebuilds of Complexity, Explainer, GR, Main, Methodology, SM, Substratum and the book; no dropped glyphs; staleness 13/13Excluded by owner decision:
Verification
edge_rigidity_probe, SC-42 (result and controls byte-identical to the committed files).11917abb. The earlier red run on intermediate head360bd0edis explained in the comment below.Left for the owner (not changed)
🤖 Generated with Claude Code
https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb