Repository navigation

fix(prover): apply the anchor window to forced-inclusion sources - #55

Open

davidtaikocha wants to merge 3 commits into

mainfrom

fix/forced-inclusion-anchor-window

Open

fix(prover): apply the anchor window to forced-inclusion sources#55
davidtaikocha wants to merge 3 commits into
mainfrom
fix/forced-inclusion-anchor-window

Commits on Jul 26, 2026
- fix(prover): apply the anchor window to forced-inclusion sources
  
  davidtaikocha
  and
  claude
  committed
  f96e34d
- test(prover): assert the forced-source fallback drops transactions
  
  davidtaikocha
  and
  claude
  committed
  f28abf8
- test(prover): pin what the stalled-anchor fixture decodes to
  
  davidtaikocha
  and
  claude
  committed
  65f9ccc