[Round B] Peer check of #718 P398=IC TL (Φ, Pearce, RS)

[LightChainr]

Parent: #650. Round B peer check of Astra package #718 (TL half), not of your own writing.

Deliverable

notes/cross-check-pr718-tl-YYYYMMDD.md draft PR against main. Do not merge.

Required

1. Read Aspect-uniform matching roots; P398 is periodic IC TL (do not merge) #718 notes/p398-is-periodic-tl-20260912.md and scripts/p398_tl_fattening.py (git fetch origin pull/718/head).
2. Independently implement or at least hand-check Φ for w=2 and w=3: join/detach vs TL reconnect on 2w ends. Catalan C_w = |link patterns of 2w|.
3. Fetch Pearce math-ph/0209017 IC vs DC. Confirm Aspect-uniform matching roots; P398 is periodic IC TL (do not merge) #718 claims IC, not DC.
4. Fetch Cantini–Sportiello 1003.3376 enough to confirm RS stationary is imported, not reproved.
5. Confirm Aspect-uniform matching roots; P398 is periodic IC TL (do not merge) #718 does not identify P398 with square-site percolation and does not replace Width-four exact rank closure: 509 futures and 15-mode scalar (do not merge) #708 annular rank.

KEEP/CORRECT/DROP on the identification Φ D_i=e_{2i}, K^2=site rotation, A_w ASM numbers 2,7,42,429.

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]

Draft PR: #725 — Round B cross-check of #718 (TL half). Verdict: all KEEP, no CORRECT, no DROP. Pearce math-ph/0209017 and Cantini–Sportiello 1003.3376 both PRIMARY_TEXT_READ; Φ hand-checked at w=2,3; script reproduced at w=2..8 (31,040 equalities, ASM sums 2,7,42,429).