feat(worker): record verified compartment chain tips from the monitor - #277

Merged

ruby-dlee merged 6 commits into

mainfrom

fm/monitor-records-chain-tip

Aug 20, 2026

Commits on Aug 20, 2026

feat(worker): record verified compartment chain tips from the monitor
ruby-dlee
committed
be5d035
test(worker): cover the monitor chain tip lane and its refusal semantics
ruby-dlee
committed
ed7532a
test(worker): pin that a substituted mailbox attests no chain tip
ruby-dlee
committed
e80a335
fix(worker): freeze when a released worker's held tip contradicts the verified chain
ruby-dlee
committed
0fba095
fix(worker): require the proved chain to reproduce a held tip below its sequence
ruby-dlee
committed
7b95f95
docs(worker): retire the compartment child blocked note and pin the tip refusal markers
ruby-dlee
committed
028baf1