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

Closed

d-cs wants to merge 23 commits into

mainfrom

feat/waitpoint-envelope-resolver-tri-13441

Commits on Sep 2, 2026

feat(run-engine): source completed-waitpoint envelope fields from both coordinator arms
d-cs
committed
b40eeca
feat(run-engine): build the frozen completed-waitpoint record set
d-cs
committed
3d036b7
feat(run-engine): resolve completed waitpoints from the cycle record set
d-cs
committed
cd1c6a7
feat(run-engine,run-store): write the completed-waitpoint record set at the resume appends
d-cs
committed
413a56b
style: apply oxfmt
d-cs
committed
9e368e7
test(run-store): pin that a refused carry-forward mints with its records
d-cs
committed
690c40d
fix(run-engine,run-store): close the review findings on the waitpoint envelope
d-cs
committed
9202839
fix(run-engine): make both envelope arms honour one omission contract
d-cs
committed
02c687a
test(run-engine): prove the deriveFromRun branch against a real run row
d-cs
committed
9e8dc9d
perf(run-store): read a cycle's records only when one could exist
d-cs
committed
132b4d9
refactor(run-store): name the records-read gate and unit test it
d-cs
committed
3653811

Commits on Sep 3, 2026

perf(run-engine): bound the envelope read's concurrency
d-cs
committed
0468fc4
perf(run-store,run-engine): take the records read off the copy-forward path

d-cs
and
claude
committed
152f826
perf(run-engine): batch the resolver's deferred run reads, index its positions

d-cs
and
claude
committed
0308288
perf(run-engine): keep the record gate allocation-free, pin the resolver's absence rules

d-cs
and
claude
committed
717e7f0
fix(run-store): stop a failed cycle probe minting an unresolvable cycle

d-cs
and
claude
committed
cf33505
fix(run-store): compare the inherited cycle's id set as a set, not as a string

d-cs
and
claude
committed
4a67855
test(run-engine): round-trip a record set through the cycle key

d-cs
and
claude
committed
482e86e
fix(run-engine): resume a child that returned no output, and read its output on the writer

d-cs
and
claude
committed
5a42f06
fix(run-engine): enforce the writer-client rule, and close the deferred-output fail-open

d-cs
and
claude
committed
5bc039e
perf(run-engine): gate the record build on an O(1) predicate, not a fan-in scan

d-cs
and
claude
committed
8140d17
fix(run-engine): key the records gate on the organisation, and pin it properly

d-cs
and
claude
committed
3ac2c12
perf(run-engine): pass the records gate its arguments positionally

d-cs
and
claude
committed
dbefc5e