[Round B] Peer check of #718 aspect-uniform roots vs #613/#716

[LightChainr]

Parent: #650. Round B peer check of Astra package #718 (root-vs-law half).

Deliverable

notes/cross-check-pr718-root-YYYYMMDD.md draft PR against main. Do not merge. Do not weaken #613.

Required

1. Aspect-uniform matching roots; P398 is periodic IC TL (do not merge) #718 notes/aspect-uniform-balance-consistency-20260912.md.
2. Thin-torus two-birth limits and source modes (stacked on #710; do not merge) #716 two-birth note (fetch PR Thin-torus two-birth limits and source modes (stacked on #710; do not merge) #716 if needed): L(T)⇒½δ_0+½δ_1 on super-thin sequences.
3. Duminil-Copin–Tassion arXiv:1502.03050 — site adaptation, not bond copied to site. Quote the site statement or mark ABSTRACT_ONLY honestly.
4. Matching duality / Kesten or Grimmett for site vs matching lattice p_c relation used in the proof.
5. Harris/FKG for decreasing events (the P0 lower bound with overlapping boxes).

KEEP/CORRECT/DROP: uniform-in-m root consistency as w→∞; H is not F; #613 remains for the full law; no tilted-torus claim. Flag if the note cites bond sharpness for site.

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: #732 — Round B cross-check of #718 (root-vs-law half). Verdict: KEEP x5, CORRECT 0, DROP 0, three non-blocking precision upgrades. Machine: local; model glm-5.3-flash (deepseek-v4.1-flash 429). STATUS untouched; #613 not weakened.