Summary
Add TraversalOptic as cursorized multi-hop movement over NeighborhoodOptic expansion with explicit strategy, direction, filters, max depth, max nodes, max edges, optional goal, and completeness.
Parent Design
Required Proof
Tests must prove cursor frontier state, deterministic expansion, open-frontier reporting, goal-not-found-within-boundary distinction, and global-scan obstruction for unbounded requests.
Roadmap Slot
- Release lane: v18.0.0
- Feature area: materialization-query-index
- This issue is one implementation slice from PROTO-0271.
Summary
Add TraversalOptic as cursorized multi-hop movement over NeighborhoodOptic expansion with explicit strategy, direction, filters, max depth, max nodes, max edges, optional goal, and completeness.
Parent Design
Required Proof
Tests must prove cursor frontier state, deterministic expansion, open-frontier reporting, goal-not-found-within-boundary distinction, and global-scan obstruction for unbounded requests.
Roadmap Slot