diff --git a/plans/datalog-on-sx.md b/plans/datalog-on-sx.md index 8a6a8791..802451fb 100644 --- a/plans/datalog-on-sx.md +++ b/plans/datalog-on-sx.md @@ -13,6 +13,19 @@ End-state goal: **full core Datalog** (facts, rules, stratified negation, aggreg recursion) with a clean SX query API, and a demonstration of Datalog as a query engine for rose-ash data (e.g. federation graph, content relationships). +## Status (rolling) + +`bash lib/datalog/conformance.sh` → **208/208 across 11 suites** +(tokenize, parse, unify, eval, builtins, semi_naive, negation, aggregates, +api, magic, demo). Source is ~3000 LOC, tests ~2700 LOC, public API +documented in `lib/datalog/datalog.sx`. + +Phases 1–9 are functionally complete; Phase 10 covers the rose-ash +domain demos (in `lib/datalog/demo.sx`). The PostgreSQL loader and +`/internal/datalog` HTTP endpoint listed in Phase 10 require service- +tree edits outside `lib/datalog/**` and are flagged as out-of-scope +for this loop. + ## Ground rules - **Scope:** only touch `lib/datalog/**` and `plans/datalog-on-sx.md`. Do **not** edit