Repository navigation

Bound each PUF QRF draw by the population slice its recipient stands for - #1259

Draft

MaxGhenis wants to merge 9 commits into

mainfrom

us-puf-tail-draw-dominance

Draft

Bound each PUF QRF draw by the population slice its recipient stands for#1259
MaxGhenis wants to merge 9 commits into
mainfrom
us-puf-tail-draw-dominance

Commits on Oct 13, 2026
- Bound each PUF QRF draw by the population slice its recipient stands for
  
  MaxGhenis
  and
  claude
  committed
  451e396
- Bound snapped outputs on their grid; give finalize callers a sink; repin
  
  MaxGhenis
  and
  claude
  committed
  d9f1808
- Give the base-builder weights-audit tests a tail-bound sink
  
  MaxGhenis
  and
  claude
  committed
  37be490
- Address review r1: shared config schema, interim label, edge cases, tests
  
  MaxGhenis
  and
  claude
  committed
  8e54ef7
- Address review r2: spec-bundle schema assert, claims, tests, diagnostics
  
  MaxGhenis
  and
  claude
  committed
  635ae0a
- Keep the LP oracle well conditioned: no share exceeds one (review r3)
  
  MaxGhenis
  and
  claude
  committed
  a3d61e9
- Merge remote-tracking branch 'origin/main' into us-puf-tail-draw-dominance
  MaxGhenis
  committed
  97b44c6
- Never zero a snapped carrier; fix tests the Modal CI run exposed
  
  MaxGhenis
  and
  claude
  committed
  0260d64
- State the snapped-output exception beside the bound's guarantee (review r4)
  
  MaxGhenis
  and
  claude
  committed
  683b644