coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

datalog-plan: tick Phase 9 federation demo (already in demo.sx)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 26s
Details

Browse Source
This commit is contained in:
giles
2026-05-08 10:07:35 +00:00
parent 9c5a697e45
commit 5100c5d5a6
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
plans/datalog-on-sx.md
View File

@@ -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`: