Files
rose-ash/lib/datalog/scoreboard.md
giles e0c7de1a1c
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 27s
datalog: org-chart + transitive headcount demo (219/219)
Adds dl-demo-org-rules: (subordinate Mgr Emp) over a (manager
EMP MGR) graph, and (headcount Mgr N) using count aggregation
grouped by manager. Demonstrates real-world hierarchy queries
(e.g. "everyone reporting up to the CEO") + per-manager rollup.

3 new demo tests: transitive subordinates of CEO (5 entries),
CEO headcount, and direct manager headcount.
2026-05-08 10:24:10 +00:00

421 B

datalog scoreboard

219 / 219 passing (0 failure(s)).

Suite Passed Total Status
tokenize 26 26 ok
parse 18 18 ok
unify 28 28 ok
eval 28 28 ok
builtins 19 19 ok
semi_naive 8 8 ok
negation 10 10 ok
aggregates 19 19 ok
api 20 20 ok
magic 22 22 ok
demo 21 21 ok