[P1 proof] #679: r_b + r_w = 2 on every honest square-cell torus — the #271 theorem, scope separated (notes only) - #691

Draft

LightChainr wants to merge 1 commit into

mainfrom

ticket-679-digital-alexander-rank-sum

Commits on Sep 8, 2026

#679: rank-sum scope note — r_b + r_w = 2 is the #271 theorem on honest tori, census rows are checks
WorkBuddy CLI (local)
committed
7230f5f