Repository navigation

Required gate: re-admit the floor's own census and effect-demand witnesses (lands after #12857) - #12858

Merged

gunbai-bot[bot] merged 6 commits into

mainfrom

sharp-bat-631-measure-gate

Oct 1, 2026

Commits on Oct 1, 2026
- MEASUREMENT ONLY (do not merge): re-admit discovery_census_witness and effect_demand_floor_join_test to the gate, without touching either file, to price their marginal preparation
  
  Brian Searls
  and
  claude
  committed
  5e07c01
- Merge remote-tracking branch 'origin/main' into sharp-bat-631-measure-gate
  Brian Searls
  committed
  8996573
- Re-admit the floor's own census and effect-demand witnesses to the required gate at exact grain
  
  Brian Searls
  and
  claude
  committed
  8e51ac1
- Name the instrument, not its output: drop the transcribed closure counts from the roster note (DESIGN §6, review 73545)
  
  Brian Searls
  and
  claude
  committed
  252259d
- Merge remote-tracking branch 'origin/main' into sharp-bat-631-measure-gate
  Brian Searls
  committed
  2038db7
- Merge remote-tracking branch 'origin/main' into sharp-bat-631-measure-gate
  Brian Searls
  committed
  d97b541