fix(engine): commit every axis a bounded loop-shortcut offer publishes - #7005

Merged

matthewevans merged 10 commits into

phase-rs:mainfrom

lgray:fix/f4-published-set-completeness

Aug 5, 2026

Commits on Aug 5, 2026

fix(engine): announce the entries a forced-window answer places on the stack
lgray
committed
e6f6bfc
refactor(engine): one authority for a loop-shortcut period boundary
lgray
committed
b8c316e
fix(engine): discharge a loop's replacement obligations against the live board
lgray
committed
d6a4fd6
fix(engine): one authority for whether a "may" is already answered, and answer the shortcut's gate with it
lgray
committed
9c75d95
test(engine): re-derive every row whose premise was the sampler's blind spot, and pin both user captures
lgray
committed
d578d12
docs(engine): replace the four notes C4 falsified, and recover the counter assertion a false premise cost
lgray
committed
362f75a
test(engine): re-derive the CR 603.5 producer pins the rebase invalidated
lgray
committed
3cbbfe1
docs(engine): replace every doc claim this branch's own rows falsified, and re-measure the span==1 residual
lgray
committed
7d893a9
fix(engine): correct the CR 608.2d announcer citation, derive r2a's rates from the certificate, and make an unresolvable point source fatal
lgray
committed
6c6bbf3
fix(engine): synchronize the forced-window state before recording the loop sample
lgray
committed
a6d1a0e