fix: retain modeled wait-path obligations - #243

Open

patrickleet wants to merge 10 commits into

fix/live-ownership-handofffrom

fix/live-root-index-handoff

Commits on Sep 9, 2026

fix: retain modeled wait-path obligations
patrickleet
committed
7834594

Commits on Sep 10, 2026

fix: bind causal observations to authored program
patrickleet
committed
1515691
test: track projection identity migration
patrickleet
committed
4a79600
test: include projection identity migration
patrickleet
committed
4d08f12
fix: evaluate proofs for succeeded causal receipts
patrickleet
committed
0b511bb
feat: add external command ledger bindings
patrickleet
committed
a1176e4
feat: persist external cell command completions
patrickleet
committed
34aa388
fix: settle proven eventual command delivery
patrickleet
committed
87c9d63
test: add bounded auth refresh diagnostics
patrickleet
committed
3cba1a9
Revert "test: add bounded auth refresh diagnostics"
patrickleet
committed
308bebb