Repository navigation
Phase 2: add deterministic bounded graph traversal #8
Description
Product outcome
Make the version-bound mathematical graph queryable without introducing a graph database or losing the distinction between edge namespaces.
Acceptance criteria
- Traversal begins from an exact object ID and exact version hash owned by that object.
- Callers select incoming, outgoing, or both directions.
- Callers may filter by one or more exhaustive typed edge kinds.
- Depth and result count are explicitly bounded and validated.
- Results retain exact source and target version hashes plus path depth.
- Cycles terminate deterministically without duplicate edge results.
- Ordering is deterministic across process restart.
- Unknown roots, mismatched versions, invalid depth, and invalid limits return structured errors.
- Traversal is read-only and cannot promote, mutate, or infer mathematical status.
- Unit and adversarial tests exercise the real SQLite store, including logical cycles and pedagogical direction.
Trust checks
- Logical edges and pedagogical prerequisites remain distinct typed relations.
- Traversal does not treat reachability as implication unless the edge kind explicitly says so.
- No raw SQL or recursive query text is accepted from callers.
- No unbounded recursive query is possible.
Out of scope
Context ranking, declaration lookup, MCP exposure, vector search, truth derivation, and graph mutation are separate deliverables.
Activity
Mnehmos commentedon Jul 19, 2026
Local acceptance evidence is complete in commit
655fa33onfeat/spec-driven-rust-rebuild.Implemented:
Local validation:
cargo fmt --check: passedThe issue remains open pending authenticated branch push and remote CI. This capability is not yet exposed through the future shared CLI/MCP query path, which is deliberately tracked as a later deliverable and not claimed complete here.
Mnehmos commentedon Jul 19, 2026
Remote preservation update: local commit
655fa33was replayed as remote commit6027f55on draft PR #11. CI is now running against the durable GitHub branch.