feat(loops): add observe and substrate loop proofs#194

Merged

drewstone merged 11 commits into

mainfrom

feat/observe-closed-loop

Jun 8, 2026

Commits on Jun 7, 2026

feat(runtime): observe() — the third-person observer that closes the loop
drewstone
committed
feat(bench): git-backed workspace loop — de-risks the hard-loop story
drewstone
committed

Commits on Jun 8, 2026