By: ValentinHirschi <valentin.hirschi@gmail.com>
W0.9 falsifier results: G1 widening rejected, dense-cell oracle recorded tools/research/w0_falsify: summarize.py (A/B tables), four_loop_pairs.sh, walkstats --scale (cost per size decade per owner) and a memory cap on the point union, levelcells residual cost bounds and per-owner cell sizes. results/: the lane note (copy of TMP/w0/falsify/RESULTS.md), the C-HOT-sub definition and query files, and the oracle outputs for C-HOT, C-5F and the two hot sub-boxes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | - | - | - | - | 545h22m50s |
| Eval | - | - | - | - | - |
| Build | - | - | - | - | - |
| Suite | - | - | - | - | 545h22m50s |