UK dataset sizes: informed L0 and exact-count candidates (#355) - #877

Merged

juaristi22 merged 33 commits into

mainfrom

uk-dataset-sizes-355

Sep 10, 2026

Commits on Sep 9, 2026

Add exact-household-count UK dataset candidates (#355)
juaristi22
committed
18ca76e
Size runs keep their dense reference and selection as evidence; --selection-seed moves only the draw (#355)

juaristi22
and
claude
committed
a53236f
Carry the exact-count feasibility measurement with the size refusal and receipt (#355)

juaristi22
and
claude
committed
115bc91
Evaluate a size candidate with one command: size_evaluation library, evaluate_uk_dataset_size steps 00-90, uk_fit_by_family lifted (#355)

juaristi22
and
claude
committed
544f957
Receipts for the #355 size experiment: Step 0 CI fix, inputs, spine-o/spine-p, S0, S1/S1b refusals with the feasibility numbers (#355)

juaristi22
and
claude
committed
85647cf
Skip the H5-reading size and evaluation tests where pytables is absent, as the wheels venv is (#355)

juaristi22
and
claude
committed
b2d0a77
Make the exact-count certainty threshold a recorded candidate-run knob: --selection-pi-hi (#355)

juaristi22
and
claude
committed
6f93acc
Refuse unsupported nonzero targets by name before the size selection (#355)

juaristi22
and
claude
committed
ba2f39b
Time downstream steps portably: an in-process rusage shim instead of macOS's /usr/bin/time -l (#355)

juaristi22
and
claude
committed
659489c
Receipts: the 45,800 smoke's by-name refusal (two unsupported UC payment bands from #879), the ruling, and the CI portability fix (#355)

juaristi22
and
claude
committed
97fd9c0
Sign two zero-support UC payment-band exclusions for childless couples above £27,600 (#355, ruling 2026-09-08)

juaristi22
and
claude
committed
48264f8
Receipts: the two signed UC payment-band exclusions and the smoke relaunch (#355)

juaristi22
and
claude
committed
96e03a3
Receipts: smoke3's refusal on spine-p, the moving feasible count, and smoke4 at pi_hi 0.7 (#355)

juaristi22
and
claude
committed
416dc1b
Receipts: smoke4 through the whole size pipeline, and the private_rent binding defect (#355)

juaristi22
and
claude
committed
c2f6c53
Step 30 takes the frozen scoring register as an input; candidate runs never write one (#355)

juaristi22
and
claude
committed
f3c2a59
Size selection budgets on open-probability mass, not the nonzero count; re-pin the identities it moves (#355, ruling 2026-09-08)

juaristi22
and
claude
committed
50c0b22
Bind the PIPR private-rent price level as a linear total: 12 x mean monthly rent x A17-uprated private-renter households (#355, ruling 2026-09-08)

juaristi22
and
claude
committed
b0b5fff
Receipts: the evaluation plumbing pass on smoke4, the two fixes ruled on 2026-09-08 (#355)

juaristi22
and
claude
committed
4948f7e
Receipts: mass-basis and rent-fix commits, the composed-surface dry run, the S2 launch (#355)

juaristi22
and
claude
committed
661e41f
Receipts: S2 refused at the draw after 4.8 h; feasibility numbers, the ±5% band diagnosis, options (#355)

juaristi22
and
claude
committed
8fafc79
Stop the size selection's L0 search on the draw's own feasibility and checkpoint the solve before the draw (#355)

juaristi22
and
claude
committed
901f8ff
Receipts: P50 (55k at pi_hi 0.5) complete, light evaluation filled into the pre-registered table; P95b launched on the fixed code (#355)

juaristi22
and
claude
committed
586a433
Report solver progress from the UK doctrine solve: epoch losses, budget probes with their drawability verdict, the search stop (#355)

juaristi22
and
claude
committed
0a76863
Receipts: P95b search trace (ten probes to a drawable 0.95 design) (#355)

juaristi22
and
claude
committed
5bd9650
Receipts: P95b results, the pre-registered table and the 0.95-vs-0.5 selection comparison (#355)

juaristi22
and
claude
committed
b3090b2
Receipts: heavy evaluation steps on both 55k runs, the frozen/recomputed and downstream findings, the mass-loss mechanism (#355)

juaristi22
and
claude
committed
7de1690
Re-pin the spec-engine identities, the H1 calibrate fixture and the best-iterate oracle's gates attestation for the rebased tree (#355)

juaristi22
and
claude
committed
e3bd5c5
Receipts: rebase onto main, pin re-cut, engine lock 2.97.0 and its consequence for later size runs (#355)

juaristi22
and
claude
committed
bd357d3
Correct the PIPR census note (314 rent cells bind, 47 stay deferred); receipts: one-engine scorecard, incumbent-score finding, exclusion audit (#355)

juaristi22
and
claude
committed
ad519c2
Receipts: T6 replays not measurable against the dense file on this machine (#355)

juaristi22
and
claude
committed
c95c175
Receipts: eFRS legs (T3/T4/T5 on one engine for four files) and the T6 replays against the enhanced FRS (#355)

juaristi22
and
claude
committed
b845025
Address Vahid's review of #877: doctrine lock on resume, stale-checkpoint guard, attested and frozen gates, honest draw and stretch keys (#355)

juaristi22
and
claude
committed
c2ee134
Re-pin the field-usage ledger counts moved by attesting gates and initialization (#355)

juaristi22
and
claude
committed
1bdd644