Document graph-backed rope runtime gate - #205

Merged

flyingrobots merged 16 commits into

mainfrom

design/graph-backed-rope-runtime

Jul 5, 2026

Commits on Jul 4, 2026

Document graph-backed rope runtime discovery
flyingrobots
committed
5e3938b
Enhance graph-backed rope runtime gate
flyingrobots
committed
004733e
Fix graph-backed runtime design review findings
flyingrobots
committed
a2171b9
Fix graph runtime design gate review
flyingrobots
committed
a302437
Fix: pin design current truth evidence
flyingrobots
committed
c648469
Fix: pass validation context to rope facts
flyingrobots
committed
863bf72
Fix: define rewrite diff tick facts
flyingrobots
committed
5c5088c
Fix: version checkpoint fact shape
flyingrobots
committed
58d7f11
Fix: specify rope balance invariants
flyingrobots
committed
ce8477b
Fix: link graph runtime follow-on debt
flyingrobots
committed
9fda050
Fix: validate checkpoint rope facts
flyingrobots
committed
84968ee

Commits on Jul 5, 2026