[amaybaum]

Scope

One-line introductory README correction only. Based on main 01a096a95a02caa1c471d892f34db919593783d9; exact change in README.md, no manuscript, generated mirror, proof, workflow, ledger, or status modifications.

Defect: README framed OI as necessarily an observer “embedded inside a finite, reversible system.” This confuses finite distinguishability at a specified observer interface with finiteness of the entire microscopic substratum.

Replacement: Qualifies the finite-capacity observation interface and partial access; retains finite reversible systems as exact finite-horizon representatives under their stated conditions, with total-carrier finiteness a separate premise.

Dependency and negative-impact check

• Consistent with the SUBSTATE-1: minimal manuscript scope and finite-S dependency audit #1015 observer-relative finite-access audit, now recorded in merged Research audit: observer-relative finiteness and finite-carrier proof boundaries #1017. Finite observable resolution does not follow from embeddedness alone; its resource/interface hypothesis remains explicit.
• Does not change Main §2.3 finite-permutation recurrence, Substratum A1, the finite-horizon S⇔D⇔Q_fb representation theorem, or claims about arbitrary infinite carriers.
• No claim that every microscopic cardinality difference is gauge or that infinite carriers have been shown to realize full operational QM.
• README.md has no generated TeX/PDF mirror; no publication build is needed for this hunk.

Coordination: overlapping held draft #1012

Draft #1012 already proposes a substantively compatible replacement of this same README introduction, along with broader explanatory-conjecture material. This new minimal PR deliberately does not touch #1012. If this hunk is merged, reconcile/supersede the overlapping introductory hunk in #1012 before that draft is considered for merge; do not merge competing versions without exact-head review. #1015 retains ownership of the separate manuscript source-correction gate.

Gates

Draft / review-only. Request independent scientific and minimum-diff exact-head review; inspect normal PR CI. No merge authorization. Five existing holds unchanged; no other research unit started.

[amaybaum]

Refresh against current main (writer-1036, under #1031 c.6665087629 item (d)).

• Merged origin/main at f051916a (after Retire papers/Explainer (#1140 Step 3; draft, merge not authorized) #1145) into this branch with a normal merge commit. New head: 3517180b21e5297f0c8372335bc55a39c5fbefa6. No conflict. Main's README edits (docs: point README, build.sh and the Zenodo description at the Introduction paper #1127, Introduction: reader-focused rewrite (draft for review) #1134, EXPLAINER-RETIRE: retire papers/Explainer.md as a maintained paper (content check, dependency audit, removal) #1140/Retire papers/Explainer (#1140 Step 3; draft, merge not authorized) #1145) left the introductory sentence alone. The diff vs main is still exactly the one-line README.md hunk from 9d20b8e9, with no wording changes.
• Wording check against current main: Main §1.2, Remark (status of the early commitments), says that finite visible resolution is a theorem (Lemma 1). It also says that total finiteness of the reversible representative is a physical posit and that the law-level equivalence of §3.4 holds for every finite-horizon law. Introduction §1 says that the finiteness in the hypothesis belongs to the observer, that the whole world need not be finite, and that finiteness of the whole is an assumption of the finite models, not a consequence of embedding. The sentence matches all three. It keeps finite observer resolution separate from finite total substratum. It does not claim that any infinite carrier realizes full operational QM, and it does not claim that any infinite construction is established.
• Mirrors: nothing in README.md, book/README.md or .zenodo.json contradicts the corrected sentence.
• Local checks: staleness_check, voice_check, claims_check and duplicate_check all pass. The merge touches no path-filtered push-trigger paths.
• Note for the owner (outside this PR's scope; manuscript correction is with SUBSTATE-1: minimal manuscript scope and finite-S dependency audit #1015): Main §1.2 says that φ "acts on a finite $S$ (Lemma 1)". This attributes total finiteness to Lemma 1. The Remark in the same section classes total finiteness as a posit.

Still draft. Independent review and CI on the exact head remain to do. No merge requested.

---

Generated by Claude Code

[amaybaum]

Independent review at 3517180b21e5297f0c8372335bc55a39c5fbefa6: ACCEPT

The reviewer is independent and read-only. This review was commissioned under owner action (d) (#1031 c.6665087629).

git diff origin/main 3517180b changes only README.md line 6.

1. Accuracy. Line numbers below are in papers/Main.md at f051916a.
   • "physical laws … embedded in a dynamical system … finite-capacity observation interface": Main uses the same wording at l.28. The finite interface is the Definition at l.44 (finitely many distinguishable internal states) together with Lemma 1 at l.48. "Observation interface" is existing corpus vocabulary (ch02:28, Substratum:235). "Finite-capacity" is new wording but a fair paraphrase.
   • "exact representatives of finite-horizon observable laws": supported by the finite-horizon equivalence theorem (l.548) and the S⇒D proof (l.554). Every finite-horizon law on a finite alphabet is the visible marginal of a finite bijection. "Representatives" fits because the realization is chosen per law and is not unique. Omitting "fixed-basis" is correct, since that restriction belongs to Q_fb, not D.
   • "separate model premise": agrees with the Remark at l.62 ("total finiteness … is a physical posit"), posit (ii) at l.726, Introduction l.32–34, and ch02 l.32.
2. Safeguard. Met. The sentence says nothing about infinite carriers or full operational QM. "Not a consequence" says only that total finiteness is not derived.
3. Overclaim. None found.
4. Consistency. Consistent with README ll.26–39, book/README ll.15–17 and .zenodo.json l.26.

Optional: "deterministic dynamical system" (Lemma 3, l.58; Introduction l.32). Not required. The PR description refers to "five existing holds", which are now retired; that is not part of the change.

Separate finding (outside this PR, for #1015's source-correction gate). Main has a real internal inconsistency on total finiteness:

• l.46 says φ "acts on a finite S (Lemma 1)", but Lemma 1 (l.48) gives only a finite visible configuration space.
• l.62 and l.726 classify total finiteness as a posit.
• l.38's "finiteness per moment follow[s] as lemmas" is ambiguous.
• l.38 cites the "status Remark, §1.4", but that Remark is in §1.2 (l.62).

CI on this exact head is still running. Merge is not authorized; a separate owner decision is needed.

---

Generated by Claude Code

[amaybaum]

Merge package for owner decision: exact head 3517180b21e5297f0c8372335bc55a39c5fbefa6

• Head: 3517180b merges main f051916a into the PR's old head 9d20b8e9. The merge had no conflict. main is still f051916a, so the branch is up to date.
• Change: README.md line 6 only, the introductory sentence (c.6665317590 lists the before and after).
• Review: independent review returned ACCEPT (c.6665317590).
  • Every clause traces to Main §1.2 and §3.4 and to the Introduction.
  • The safeguard is met: nothing implies that infinite carriers realize full operational QM.
  • No overclaim was found.
  • An optional "deterministic" wording was not applied.
• CI: PR verify run 42079471434 at this exact head succeeded, with 25 jobs green and 1 matrix template skipped.
• Out of scope: the Main §1.2 finiteness inconsistency the reviewer found is recorded under SUBSTATE-1: minimal manuscript scope and finite-S dependency audit #1015 (c.6665463869), where a read-only minimum-change assessment is running.

Merge is not authorized. This awaits the owner's decision.

---

Generated by Claude Code