You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Authored reads: typed outgoing-edge reads and a guided bounded closure read #926
Jim's Edict-authored rope (jedit DL-0159, schema 2) keeps every structural relation as a typed edge, so its ReplaceRange must read outgoing edges by type and must read the bounded closure an edit touches (both boundary paths and the spines a join may descend) in one witnessed read.
Today the authored runtime ABI accepts only echo.dpo@1.node-atom-read plus the five mutation emitters; #921's range read is a Rust frame API with no authored intrinsic.
Needed:
an authored intrinsic that reads a node's outgoing edge of one type, witnessed in the read image;
a guided closure read: start node, a pure selector deciding which children to expand, maxNodes and maxDepth bounds, deduplicating material by node identity while preserving traversal meaning by edge path and interval (a leaf shared as both children of one branch is two positions, not one);
distinct outcomes for a resource limit, a selector that asked for too little, and a store that violates the declared invariants.
Activity