1457e08e

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>

Agent Instructions

Each run corresponds to one flake attribute. Click a run for its logs and status.

Example: https://nix-ci.com/gh:alphal00p:rustred/fable_5_1-v3-widen/1457e08e96bde027d6e642533102d9151900a1cf/d9d1ae7c-7343-4025-9198-59a3ed4ed59e

Wait for suite to complete:

curl --netrc -N https://nix-ci.com/gh:alphal00p:rustred/fable_5_1-v3-widen/1457e08e96bde027d6e642533102d9151900a1cf/wait

This page is also available in machine-friendly formats. Request one with the Accept header:

• curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:alphal00p:rustred/fable_5_1-v3-widen/1457e08e96bde027d6e642533102d9151900a1cf
• curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:alphal00p:rustred/fable_5_1-v3-widen/1457e08e96bde027d6e642533102d9151900a1cf

For more instructions, fetch https://nix-ci.com/instructions .