Repository navigation

G8-r2c D: per-band support diagnostics and the measurement_prefit gate - #1457

Merged

MaxGhenis merged 22 commits into

mainfrom

nzhub/g8r2c-d-prefit

Nov 3, 2026

Merged

G8-r2c D: per-band support diagnostics and the measurement_prefit gate#1457
MaxGhenis merged 22 commits into
mainfrom
nzhub/g8r2c-d-prefit

Commits on Nov 2, 2026
- Sum published bands in money rows and prove measurement producers
  claude
  committed
  9703888
- Add per-band source-household support and a measurement_prefit gate
  claude
  committed
  7009dd3
- Merge the fixed G8-w4d head into hunk A
  claude
  committed
  923b4de
- Merge hunk A, with the fixed G8-w4d head, into hunk D
  claude
  committed
  7bc34fd
- Read measurement_id from params and check the proof on the compiled graph
  claude
  committed
  a9cc2a9
- Supply measurement proofs where tests activated factor rows by hand
  claude
  committed
  41bb6ad
- Drop the unreachable member-set comparison in summed rows
  claude
  committed
  4d2f3b2
- Merge hunk A's fixes into hunk D
  claude
  committed
  38cf1bf
- Admit the measurement_prefit gate in gates.json (ruling R2C-12)
  claude
  committed
  303be77
- Make the clone property run on every example and reach empty bands
  claude
  committed
  687b9c4
- State the support diagnostics' membership rule and amount weight
  claude
  committed
  b4b884a
- Test each support check on its own in measurement_prefit
  claude
  committed
  80869fd
- Register measurement_prefit in the gate roster pin and drop a literal 2
  claude
  committed
  38ae4a7
- Refuse a second writer of a measured column (A1)
  claude
  committed
  05bb18c
- Pin the rounding record and scalar members (A3: OA1, OA3)
  claude
  committed
  30ae459
- Merge the G8-r2c A fix round into D
  claude
  committed
  5e4c846
- Pin amount-only discrepancy, w0 weights and zero-weight households (D1)
  claude
  committed
  4c644db
Commits on Nov 3, 2026
- Count EXPAND cells as writers of a measured column (R2C-15)
  
  MaxGhenis
  and
  claude
  committed
  d916ea8
- Merge the EXPAND writer fix into D
  MaxGhenis
  committed
  af038d0
- Pin the chain property's rare branches
  
  MaxGhenis
  and
  claude
  committed
  bf418af
- Merge the chain property's examples into D
  
  MaxGhenis
  and
  claude
  committed
  40079df
- Correct the prefit fake's unit-weight fraction
  
  MaxGhenis
  and
  claude
  committed
  91bf4c0

Commits

Commits on Nov 2, 2026

Commits on Nov 3, 2026