Master doc: docs/shaping/normative-ir-slices.md §V5 — authoritative for this slice's scope.
Demo: acs-ir compile turns twenty IR predicates into ir/dist/rules.dl and ir/.build/rules.json. CI installs Soufflé 2.5 from the official ubuntu-24.04 .deb and runs both engines over the same fixtures — identical violation sets. A deliberately divergent rule turns the check red and prints the tuples only one engine derived.
Note: X1 (fact vocabulary) and X2 (predicate DSL) are executed here, by writing the compiler and putting twenty semantically diverse provisions through it. The differential oracle is not optional scope — per X4, a slice shipping an unverified hand-rolled fixpoint evaluator ships a conformance verdict nobody has checked.
Plan: (added when planned)
Amendments
Master doc:
docs/shaping/normative-ir-slices.md§V5 — authoritative for this slice's scope.Demo:
acs-ir compileturns twenty IR predicates intoir/dist/rules.dlandir/.build/rules.json. CI installs Soufflé 2.5 from the officialubuntu-24.04.deband runs both engines over the same fixtures — identical violation sets. A deliberately divergent rule turns the check red and prints the tuples only one engine derived.Note: X1 (fact vocabulary) and X2 (predicate DSL) are executed here, by writing the compiler and putting twenty semantically diverse provisions through it. The differential oracle is not optional scope — per X4, a slice shipping an unverified hand-rolled fixpoint evaluator ships a conformance verdict nobody has checked.
Plan: (added when planned)
Amendments