Fix Datalog grounding projection: instance-specific defeaters, full provenance, fresh rule names - #93

Merged

ctoth merged 8 commits into

mainfrom

fix/datalog-grounding-projection

Sep 27, 2026

Commits on Sep 27, 2026

fix: undercut only the rule instance a named defeater names

ctoth
and
claude
committed
d3ee2ff
fix: keep every authored source id in the Datalog projection

ctoth
and
claude
committed
a8c5d5d
fix: allocate generated Datalog rule names fresh from authored predicates

ctoth
and
claude
committed
239d7f0
Merge remote-tracking branch 'origin/main' into fix/datalog-grounding-projection
ctoth
committed
3786017
style: format Datalog grounding regression tests

ctoth
and
claude
committed
ccbf95c
Merge remote-tracking branch 'origin/main' into fix/datalog-grounding-projection
ctoth
committed
f383731
Merge remote-tracking branch 'origin/main' into fix/datalog-grounding-projection
ctoth
committed
3f266be
fix: bind named-defeater arguments in first-appearance variable order

ctoth
and
claude
committed
1226159