Skip to content

SC-33: Bell placement in Main and the book (ontic parameter dependence; ceiling hypotheses) - #968

Closed
amaybaum wants to merge 2 commits into
mainfrom
corpus/sc33-bell-main-book
Closed

SC-33: Bell placement in Main and the book (ontic parameter dependence; ceiling hypotheses)#968
amaybaum wants to merge 2 commits into
mainfrom
corpus/sc33-bell-main-book

Conversation

@amaybaum

@amaybaum amaybaum commented Oct 27, 2026

Copy link
Copy Markdown
Owner

Source-correction unit SC-33, from gate #946. Owner priority: Main :700 is high, and Main :766 and :558 are medium, with an audit of the related Bell references.

The flaws

  • Main :700 placed OI's Bell route as an "outcome independence violation". The route in Main §3.3 is ontic parameter dependence, with measurement independence retained.
  • Main :766 said preparation-indexed adjacency "implements" the dependence. That compatibility, with operational no-signaling and the continuum-curvature limit, is the open hypothesis H-Bell.
  • Main :558 used revision voice ("is now separate").
  • Compressed statements of the Bell ceiling across Main and the book dropped hypotheses of the cone lemma: one-step own-wing read/write interventions, readouts outside the other wing's cone, and a ±1 outcome in every run.

The correction

  • Main :700 now reads "ontic parameter dependence with measurement independence retained vs. superdeterminism".
  • Main :766 states the either/or: give up ontic parameter independence, or give up measurement independence. §3.3 gives up the first. Preparation-indexed adjacency is the proposed implementation, under H-Bell.
  • Each compressed ceiling carries its missing hypotheses. Sites that already assume ontic parameter independence gain only "±1 in every run".
  • "Realized" and "implemented" wording is replaced by "targeted … under the open hypothesis H-Bell".
  • Every chapter edit is mirrored in FULL.

Sites: Main :22, :558, :646, :700, :766. In the book: ch00, ch01, ch02, ch03, ch04, ch18, appendix-c and the glossary, plus FULL. The site table is in verification/audits/manuscript/intro-corpus-audit-20261026/tracks/SC33-bell-main-book/README.md.

The outcome-independence audit found Main :700 to be the only instance of the error. The Introduction (#918) states the ceiling with all its hypotheses and needs no change.

Verification

  • The release gate passes locally except lean-axioms, which runs in CI.
  • Coverage: 128 statements; no fingerprint moved.
  • Mirror: 0 chapter lines missing from FULL.
  • edge_rigidity_probe passes.
  • The added-lines and secrets scans are clean.
  • Main (96 pages) and the book (558 pages) were regenerated with no dropped glyphs.
  • Independent review: pending.

Overlap: #963 (SC-17) also edits FULL, at other lines. Whichever PR lands second rebuilds FULL .tex/.pdf.

Draft: merge only at an exact SHA the owner approves, by normal merge commit.

Generated by Claude Code

@claude
SC-33: Bell placement and compressed Bell ceilings in Main and the book
6b200f6 
Main :700 placed OI's Bell route as an "outcome independence
violation". A deterministic completion satisfies ontic outcome
independence automatically; the branch Main §3.3 adopts is ontic
parameter dependence with measurement independence retained. Corrected.
The corpus audit of outcome-independence/dependence uses finds no other
instance: ch03 :162, ch04 :90 and :98 deny that route, and the
"outcome-independent rule" uses (Main :714, Substratum :483, ch04 :146,
GR :599) are unrelated.

Main :766 now states the §3.3 either/or (ontic parameter independence
or measurement independence; §3.3 gives up the first). Preparation-
indexed adjacency is the proposed SM/GR implementation under the open
hypothesis H-Bell, not an implementation. Main :558 drops "is now
separate" (§A.33); its adopted-branch "therefore requires" is kept.

Compressed ceilings gain the hypotheses they omitted: one-step own-wing
read/write interventions where the ceiling is stated from graph
separation, and a ±1 outcome in every run. Sites: Main :22, :558, :646,
:766; ch00 :55, ch01 :16, :169, :183, ch02 :188, ch03 :162, :164, :180,
ch04 :90, :92, ch18 :110, appendix-c :32, :34, glossary :19, each
mirrored verbatim in FULL. Main :22, ch00 :55 and appendix-c :34 say
"targeted"/"proposes" for preparation-indexed adjacency in place of
"realized"/"implemented". Main :770 names the branch only and is kept.

No canonical statement changed (coverage fingerprints unchanged).
Regenerated Main and the book; page counts unchanged (96, 558), no
dropped glyphs. Release gate: every step passes except lean-axioms (no
lake locally); edge_rigidity_probe passes; added-lines and secrets
scans clean. Track record:
verification/audits/manuscript/intro-corpus-audit-20261026/tracks/SC33-bell-main-book/README.md

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
amaybaum pushed a commit that referenced this pull request Oct 27, 2026
@claude
intro-corpus audit: consolidated correction ledger; retain 19 review …
16fc745 
…records of #959 and #961-#968

CORRECTIONS-LEDGER.md records, per unit, the original flaw, the corrected claim,
the evidence level, the affected manuscripts, the verification artifacts and the
merge status (owner request). The review records are saved verbatim from the
reviewers' reports. Local filesystem paths are redacted to repo-relative paths in
957-REVIEW-b25dcfc4.md, and two uncommitted reviewer scratch scripts in
matrix/part-B4.md are named without their scratch paths.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
@claude
SC-33 review: graph separation, H-Bell as open requirement, one-step …
387dcfb 
…interventions

B1. "finite-range" is no separation hypothesis on a finite vertex set,
so ch01 :16, ch03 :164, ch04 :90 and :92, and appendix-c :34 now state
(iii) as each wing's readout outside the other wing's graph cone, or as
couplings that do not connect the wings before readout. ch00 :41, which
carried the same "finite-range Bell couplings" form, is scoped the same
way. Main :646 and appendix-c :32 take the readout form in place of
"that pointwise cone is kept" and "before the cones meet".

B2. H-Bell is stated as the open requirement that the prepared graphs
preserve operational no-signaling and the metric/Ollivier--Ricci
continuum limit (Main §3.3 Corollary). ch01 :171, ch03 :180, ch18 :110,
ch04 :92 and book/README :15 no longer assert operational no-signaling
of the prepared graphs or reduce H-Bell to the curvature condition. At
ch01 :171 and ch03 :180 "now downstream" becomes "downstream".

O1. Main :82 (Theorem statement) adds a ±1 outcome in every run, as in
the §3.3 theorem. The ledger entry MAIN:T-statement is re-affirmed:
fingerprint 70572f0b3e1aa833 -> 2748dd752bdd9f03, level SUM and empty
delta unchanged, same ID.

O2. Own-wing interventions are "applied at one step" or "one-step" at
every edited Main and book ceiling. O6. Main :558 deletes the
'selection' paper clause and "is settled as" becomes "is"; ch00 :55
"not yet claimed" becomes "not claimed".

Same class in the book: ch03 :40 (Corollary hypotheses; "proposes …
under the open hypothesis H-Bell"), ch03 :182 ("targeted through …
under H-Bell"), ch04 :124 ("under measurement independence"),
appendix-c :42 (measurement independence and ±1 explicit), glossary :49
and :147 (±1 in every run; :49 scoped to measurement independence).
Every chapter edit is mirrored verbatim in FULL.

Deferred to a companion unit: "now downstream" at Main :410, Explainer
:340 and Methodology :339, and the companion papers' Bell wording.

Regenerated Main (96 pages) and the book (559 pages, from 558, from the
added text); no dropped glyphs. Release gate: every step passes except
lean-axioms (no lake locally); coverage_check, lean_manuscript_census,
mirror_check and edge_rigidity_probe pass; added-lines (§A.32/§A.33,
caps) and secrets scans clean.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
This was referenced Oct 27, 2026
Open
Closed
amaybaum pushed a commit that referenced this pull request Oct 28, 2026
@claude
SC-40 review: probe scope at Main :620/:78, C3 at :82, model named in…
a948033 
… the physical-memory theorem

- B1: Main :620 states what primitive_probes.py checks (C1 from C4 exact; the
  per-order capacity bound on gap realizations in floating point); O5
  "checkable necessary conditions". Absorbs SC-38's edit to the same line.
- B2: LEDGER.json unattached-checker text for primitive_probes.py restated
  clause by clause against the probe.
- O1: Main :82, C1 follows from C4 and C3 holds by the capacity bound.
- O2: Main :78 gives the probe's scope and the exact swap witness.
- O3: primitive_probes.py strings and comments only (AST identical with prints
  and docstrings excluded; output differs only in two print lines).
- O4: physical-memory theorem head names the coupling-step model; references
  in Main, Substratum and the glossary/FULL point to it. Fingerprints of
  MAIN:T-physical-memory-c2-process-form and MAIN:T-statement re-affirmed.
- O6: README evidence labels; overlaps with #968 (:82) and SC-38 (:620).
- Rebuilt Main, Substratum and the book; check (5) added for the witness.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Y87wExth9RoUb3dtbumhTb
This was referenced Oct 28, 2026
Closed
Closed
Closed
Merged
@amaybaum Claude

amaybaum commented Oct 31, 2026

Copy link
Copy Markdown
Owner Author

Closing without merge: fully absorbed into main. The owner approved this closure in the Workstream D survival audit, checked against main c596904a.

All 29 SC-33 Bell-placement site rows are on main, identical or more tightly scoped (operational no-signaling is required, and the kinematics qualifier is present):

  • Main: :22, :82, :558, :646, :700, :766.
  • Book front matter and appendices: book/README:15; appendix-c:32/:34/:42.
  • Chapters 0–2: ch00:41/:55; ch01:16/:169/:171/:183; ch02:186.
  • Chapters 3–18: ch03:40/:162/:164/:180/:182; ch04:90/:92/:124; ch18:110.
  • Glossary: :19/:49/:147.

The "now downstream" phrase this PR deferred at Main:410 and Methodology:339 goes into the consolidated correction PR. The branch and history are kept.

Generated by Claude Code

@amaybaum amaybaum closed this Oct 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@amaybaum @claude