[amaybaum]

Independent review: ACCEPT at b7cda8d2. The reconciliation d6fde588 was checked: ACCEPT. Merge: authorized by the owner at exact head d6fde588, as a normal merge commit.

This PR makes the owner-approved editorial and bibliographic corrections recorded by the novelty audit (#918, novelty-v5/AUDIT.md §4, F21–F25 and F27). It adds no theorem, assumption or novelty claim, and changes no scientific classification.

• Head: d6fde58803ff7409e23a6a267a67cf43631fb172, tree 3a872f7e.
  • It is an ordinary merge commit of main c1cade86 (Manuscript consistency: canonical-measure scope, Explainer C₄ and two-branch status, Explainer document status #926) into the reviewed head b7cda8d2.
  • The trial merge into main gives exactly this tree.

Corrections

The characterization's proved scope. Accessible non-Markovianity holds exactly when every finite accessible horizon containing a memory witness admits a deterministic realization with C1, C3 and C4.

• Each direction has its own proof (§A.34):
  • the readback lemma [Main §2.3];
  • the finite-horizon process dilation [Main §3.4].
• Both are proved in prose.
• C2 lies outside the equivalence. Its necessity for physical hidden sectors is conditional on the mixing hypothesis.
• Sites:
  • GR:20 and GR:567;
  • Main:680;
  • glossary:39 / FULL:6659;
  • ch04:180 / FULL:1297;
  • Theorem B.7.6 and appendix-b:22, :406 (+FULL);
  • Substratum:111 and :126;
  • Explainer:358, :378 and :1026.

Breuer–Laine–Piilo.

• Backflow is stated as a one-way witness of P-indivisibility, at Main:149, Explainer:148 and ch01:101 / FULL:445.
• Main:332 cites BLP itself as [63], and Rivas–Huelga–Plenio [4] for the ancilla-assisted witness.
• BLP is added to both bibliographies.

ch01 citations. The numeric citations become author-year: Bao–Carroll–Singh 2017, and Abac et al. 2025 (PRL 135, 111403).

book/README.md:64. The Page curve summary is now conditional on H-scramble.

Voice. "redefined" is removed at Theorem B.7.6.

Review

Head	Verdict
bb14ab0c	BLOCK (R1: "accessible" horizons; R2: GR:567)
b7cda8d2	ACCEPT. The propagation is complete.
d6fde588 (reconciliation with #926)	ACCEPT

The reconciliation check of d6fde588 established:

• The landing diff equals Editorial corrections: characterization scope (GR, glossary), Breuer–Laine–Piilo citation and backflow direction, ch01 citations, README #927's own diff, with all 21 paths and identical changed lines. The one exception is GR:20.
• Every change from Manuscript consistency: canonical-measure scope, Explainer C₄ and two-branch status, Explainer document status #926 survives.
• GR:20 holds both PRs' edits and nothing else, shown by exact string operations.
• The .tex files rebuild byte-identically, the stamps match, and the PDF text is identical.
• Page counts equal main's: GR 86, Main 90, Explainer 69, Substratum 52, book 553.
• The battery is green, and legacy_records_check reports 303 records intact.

CI at d6fde588: 25 pass, 1 skipped.

Recorded, not changed (outside the approved scope)

• GR:567's later sentence. "The mixing hypothesis holds … so the equivalence applies in our universe" conflicts with GR:20, GR:643 and Main:708.
• Backflow measure. It is equated with P-indivisibility at ch18:74, ch13, Medicine:423 and ch17:168.
• "Characterizes CP-divisibility". It is stated without its scope at Main:332 and appendix-b:96.
• Smaller items:
  • glossary:27 on C2 necessity;
  • README:64's H-slope conditions;
  • ch01:73's "current";
  • Main:614's "(C1)–(C4)" form;
  • F14–F20, F26 and Main:92.

Related: #918, #925 (merged), #926 (merged).

🤖 Generated with Claude Code

https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb