Repository navigation

G8-r2c A: summed-band money rows and the measurement proof - #1456

Merged

MaxGhenis merged 9 commits into

mainfrom

nzhub/g8r2c-a-summed-bands

Nov 3, 2026

Merged

G8-r2c A: summed-band money rows and the measurement proof#1456
MaxGhenis merged 9 commits into
mainfrom
nzhub/g8r2c-a-summed-bands

Commits on Nov 2, 2026
- Sum published bands in money rows and prove measurement producers
  claude
  committed
  9703888
- Merge the fixed G8-w4d head into hunk A
  claude
  committed
  923b4de
- 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
- 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
Commits on Nov 3, 2026
- Count EXPAND cells as writers of a measured column (R2C-15)
  
  MaxGhenis
  and
  claude
  committed
  d916ea8
- Pin the chain property's rare branches
  
  MaxGhenis
  and
  claude
  committed
  bf418af