Add bounded agent routing packets - #97

Merged

iperev merged 9 commits into

mainfrom

feature/adoption-experience-foundation

Sep 3, 2026

Commits on Sep 2, 2026

feat: add bounded agent routing packets
iperev
committed
9881b35
fix: close agent routing release invariants
iperev
committed
1a288cf
fix: close agent route review findings
iperev
committed
844546a
fix: close agent route proof gaps
iperev
committed
7d98eb7
test: isolate agent route proof oracles
iperev
committed
cd0aa90
test: stabilize bounded allocation oracle
iperev
committed
18995e6
test: make snapshot overflow oracle causal
iperev
committed
69f788b
fix: prove snapshot process cleanup
iperev
committed
2f1656f
test: preserve snapshot witness routing
iperev
committed
ca20fad