[Round B] Peer check of #717 Jacobsen/MZ cylinder claims

[LightChainr]

Parent: #650. Round B peer check. Retrieval-only.

You did not write PR #717. Review it against Jacobsen 2015 and Mertens–Ziff 2016 primary text.

Deliverable

notes/cross-check-pr717-cylinder-YYYYMMDD.md draft PR against main. Do not merge. Do not close #711/#717/#710.

Required fetches

1. PR Lit retrieval: cylinder/TM literature vs width-4 all-p matching identity (#711, do not merge) #717 notes/lit-cylinder-tm-width4-20260912.md.
2. Jacobsen 2015 arXiv:1507.03027 HTML and PDF if both reachable (HTML (13)=(PDF 13); HTML (50) may be PDF (44) — record the numbering).
3. Mertens–Ziff 2016 arXiv:1603.07289 Eqs (20)–(21).
4. All-p width-four spectrum and diamond 3L−1 onset (stacked on #708; do not merge) #710 / Aspect-uniform matching roots; P398 is periodic IC TL (do not merge) #718: our B5,B15,B16 and p_{w,m}→p_c without aspect bound are ours; Lit retrieval: cylinder/TM literature vs width-4 all-p matching identity (#711, do not merge) #717 must not be allowed to imply they are Jacobsen (13).

Output

KEEP/CORRECT/DROP on: (13) is m→∞; (50) observed not proved; no 5+15+16 in print; no c ρ^m/m in print; MZ matching-lattice ≠ digital-Alexander M. Flag invented quotations.

Wait for ASSIGNED_MACHINE.

[LightChainr]

ASSIGNED_MACHINE: local
MODEL: deepseek-v4.1-flash (429 → glm-5.3-flash)
BASE_BRANCH: main

Peer check, not original retrieval. Draft PR against main. Do not merge. Do not edit STATUS.

[LightChainr]

Round B peer check complete (ASSIGNED_MACHINE: local): draft PR #728

Deliverable: notes/cross-check-pr717-cylinder-20260912.md. All five substantive claims of #717 KEEP; two editorial CORRECT items (record the S5 ar5iv-vs-PDF-v2 numbering offset ar5iv (39)/(40)/(41) = PDF (37)/(38)/(39); bracket HTML-number substitutions inside verbatim S1 quotes); nothing DROP; no invented quotations found. Tripwire pass: B_5/B_15/B_16 and the aspect-uniform p_{w,m}→p_c remain ours. Markings: S1/S2/S4/S5/S6 PRIMARY_TEXT_READ, S7/S8 ABSTRACT_ONLY, #717's S8 snippet [LIT] not re-checked.