From 5100c5d5a67c734a9f3a2a450d7863af54ef733f Mon Sep 17 00:00:00 2001 From: giles Date: Fri, 8 May 2026 10:07:35 +0000 Subject: [PATCH] datalog-plan: tick Phase 9 federation demo (already in demo.sx) --- plans/datalog-on-sx.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/plans/datalog-on-sx.md b/plans/datalog-on-sx.md index f68428d9..8a6a8791 100644 --- a/plans/datalog-on-sx.md +++ b/plans/datalog-on-sx.md @@ -258,8 +258,11 @@ large graphs. dict-rule form, dl-rule constructor, dl-assert! incremental, dl-retract! removes derived, cyclic-graph reach via data, assert into empty db, fact-style rule (no arrow), coerce dict. -- [ ] Integration demo: federation graph query — `(ancestor actor1 actor2)` over - rose-ash ActivityPub follow relationships (Phase 10). +- [x] Integration demo: federation graph query — `(reachable A B)` / + `(mutual A B)` / `(foaf A C)` over `(follows ACTOR-A ACTOR-B)` in + `lib/datalog/demo.sx`. Tests in `lib/datalog/tests/demo.sx`. + Wiring this to actual rose-ash ActivityPub data is Phase 10 + service work and is out of scope for this loop. ### Phase 10 — Datalog as a query language for rose-ash - [x] Schema sketches in `lib/datalog/demo.sx`: