feat(run-engine,run-store): completed-waitpoint envelope, read-time resolver, and the fail-loud coverage check - #4779

Open

d-cs wants to merge 9 commits into

mainfrom

feat/waitpoint-envelope-resolver-tri-13441

Commits on Aug 26, 2026

feat(run-engine): source completed-waitpoint envelope fields from both coordinator arms
d-cs
committed
064fba7
feat(run-engine): build the frozen completed-waitpoint record set
d-cs
committed
403a81d
feat(run-engine): resolve completed waitpoints from the cycle record set
d-cs
committed
f4f5df2
feat(run-engine,run-store): write the completed-waitpoint record set at the resume appends
d-cs
committed
420328d
style: apply oxfmt
d-cs
committed
efb947e
test(run-store): pin that a refused carry-forward mints with its records
d-cs
committed
7f9da73
fix(run-engine,run-store): close the review findings on the waitpoint envelope
d-cs
committed
7011b57
fix(run-engine): make both envelope arms honour one omission contract
d-cs
committed
1f42cf9
test(run-engine): prove the deriveFromRun branch against a real run row
d-cs
committed
5b4b060