Preserve contained sampled-part bounds during history correction - #943

Merged

bradhilton merged 12 commits into

mainfrom

hayek/history-part-bounds-followup-03-20260923

Sep 24, 2026

Commits on Sep 23, 2026

Preserve contained history part bounds after message correction
bradhilton
committed
186b3c1
Reject exact history spans that cross proven message bounds
bradhilton
committed
53d6361
Scope corrected history proof checks to exact sampled evidence
bradhilton
committed
0746879
Cover sampled EOS with preserved rerendered scaffold
bradhilton
committed
9b7c8b2
Consume proven rendered stop for corrected sampled history parts
bradhilton
committed
f68e1bf
Preserve source stop attribution for corrected sampled history parts
bradhilton
committed
1a4328a
Use sampled stop evidence throughout corrected exact history parts
bradhilton
committed
2e781c7
Preserve synthetic length stops in corrected history parts
bradhilton
committed
95b630c
Retain synthetic stops without replaying replaced content
bradhilton
committed
088242c
Reject unproven corrected sampled part boundaries
bradhilton
committed
f3deb37
Merge commit '376c68b83b6a8156bd201496eb6b79e31e95e8b9' into hayek/history-part-bounds-followup-09-20260923
bradhilton
committed
e562187
Restore sampled stops per corrected source occurrence
bradhilton
committed
471b66e