Repository navigation

Accept a restated Ledger filter bound only where it agrees with the compiled constraint - #969

Merged

MaxGhenis merged 15 commits into

mainfrom

us-labelled-filter-support

Sep 23, 2026

Merged

Accept a restated Ledger filter bound only where it agrees with the compiled constraint#969
MaxGhenis merged 15 commits into
mainfrom
us-labelled-filter-support

Commits on Sep 22, 2026
- WIP: name the restated Ledger filter concepts the materializer may accept
  
  MaxGhenis
  and
  claude
  committed
  4c70d24
- Accept a restated Ledger filter bound only where it agrees
  
  MaxGhenis
  and
  claude
  committed
  08d2e14
- Pin the pinned feed's compiled filter keys against both guards
  
  MaxGhenis
  and
  claude
  committed
  dfe102c
- Name the SOI loop instead of its line numbers in the new docstrings
  
  MaxGhenis
  and
  claude
  committed
  697d4d5
- Record the lane report and what the pinned feed actually compiles
  
  MaxGhenis
  and
  claude
  committed
  5b1326c
- Record the local verification summaries and the stacked-PR CI gap
  
  MaxGhenis
  and
  claude
  committed
  369dedf
- Merge branch 'us-chronicle-feed-repin' into us-labelled-filter-support
  MaxGhenis
  committed
  f5f9eb3
- Record that the restated-filter premise reproduces after the re-level
  
  MaxGhenis
  and
  claude
  committed
  0f180ad
- Merge origin/main into us-labelled-filter-support
  
  MaxGhenis
  and
  claude
  committed
  b10e117
- Record that the restated-filter counts reproduce on main after #955 merged
  
  MaxGhenis
  and
  claude
  committed
  fb1a096
- Back the re-levelled restated-filter counts with a committed receipt
  
  MaxGhenis
  and
  claude
  committed
  6e51efd
- Merge origin/main into us-labelled-filter-support
  
  MaxGhenis
  and
  claude
  committed
  b6e0b04
- Record the post-merge test run in the restated-filter report
  
  MaxGhenis
  and
  claude
  committed
  4c2aeaf
- Label the unrecorded total wall time in the restated-filter report
  
  MaxGhenis
  and
  claude
  committed
  235dc70
- Refuse restated EITC qualifying-child upper bounds until the Ledger confirms its operator
  
  MaxGhenis
  and
  claude
  committed
  01dc806

Commits

Commits on Sep 22, 2026