Repository navigation

complexity enforcement for affected set floor - #6540

Merged

briansrls merged 40 commits into

mainfrom

session/smart-eagle-362

Jul 14, 2026

Merged

complexity enforcement for affected set floor#6540
briansrls merged 40 commits into
mainfrom
session/smart-eagle-362

Commits on Jul 13, 2026
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  f48632f
- Floor runner: list_flat_map for claim eval-node flatten (kill accumulator-copy) + gate probe
  
  Brian Searls
  and
  claude
  committed
  b55d892
- probe: enumerate accumulator-copy refusal causes on floor runner
  Brian Searls
  committed
  dc3c579
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  dd0c46b
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  c3698a3
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  d1cdee3
- Remove scratch ingest-diagnostic probe (findings captured in PR notes)
  Brian Searls
  committed
  36beace
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  1974baa
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  f9c943d
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  8fc51d6
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  291ef31
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  bb6a9a2
- Remove scratch complexity-gate diagnostic probe
  Brian Searls
  committed
  de4cfad
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  a9cfc11
- Diff-scoped complexity enforcement: affected-set accumulator-copy gate (model + witness)
  
  Brian Searls
  and
  claude
  committed
  f86b5df
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  e8335ce
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  cb4f4ff
- Move gate witness test to long/ lane (file-reading witnesses exceed 5s fast-lane budget)
  Brian Searls
  committed
  9cdb7d8
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  c72fefb
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  a6b9b3e
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  5a52afb
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  8d1433e
- Enroll accumulator-copy as a required compile lens (root grain): complexity violation = compile failure
  
  Brian Searls
  and
  claude
  committed
  a5e25bd
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  dd1a34b
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  3662e7a
- PR-2 milestone 1: execution-measured frontier receipts — a REAL corpus module compiles through the gated v2 door to the lens gates
  
  Brian Searls
  and
  claude
  committed
  1b0c267
- Mark migration-owned causes on the frontier receipts (sharp-bee reconciliation)
  Brian Searls
  committed
  80a23e2
- Receipt carrier: nimble-boar root-cause + phase specifics for migration-owned causes
  Brian Searls
  committed
  c0385ce
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  f576ba3
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  960f3ba
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  d6f0d7a
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  ffa3b68
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  802d086
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  52e8744
- Ledger histogram also asserts all_refused_causes_attributed over real door output
  
  Brian Searls
  and
  claude
  committed
  ee013f5
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  a7f775b
- Merge remote-tracking branch 'origin/main' into session/smart-eagle-362
  Brian Searls
  committed
  82ff86c
- WIP: complexity enforcement for affected set floor
  Brian Searls
  committed
  dbd3ec3
- Wire door_ledger over the real affected set (fail-closed diff observation)
  
  Brian Searls
  and
  claude
  committed
  5d99fa9
- Split affected_ledger_from_diff (pure core) from the shell wrapper; prove both arms
  
  Brian Searls
  and
  claude
  committed
  ffa3d2b

Commits

Commits on Jul 13, 2026