eyelang 1.7.7 → 1.7.8

package/test/conformance/expected-proofs/proofs/extra_recursive_path.eye

@@ -0,0 +1,59 @@
+path(a, b).
+why(
+  path(a, b),
+  proof(
+    goal(path(a, b)),
+    by(rule("<stdin>", clause(4))),
+    bindings([binding("?x", a), binding("?y", b)]),
+    uses([
+      proof(
+        goal(edge(a, b)),
+        by(fact("<stdin>", clause(2)))
+      )
+    ])
+  )
+).
+
+path(b, c).
+why(
+  path(b, c),
+  proof(
+    goal(path(b, c)),
+    by(rule("<stdin>", clause(4))),
+    bindings([binding("?x", b), binding("?y", c)]),
+    uses([
+      proof(
+        goal(edge(b, c)),
+        by(fact("<stdin>", clause(3)))
+      )
+    ])
+  )
+).
+
+path(a, c).
+why(
+  path(a, c),
+  proof(
+    goal(path(a, c)),
+    by(rule("<stdin>", clause(5))),
+    bindings([binding("?x", a), binding("?z", c), binding("?y", b)]),
+    uses([
+      proof(
+        goal(edge(a, b)),
+        by(fact("<stdin>", clause(2)))
+      ),
+      proof(
+        goal(path(b, c)),
+        by(rule("<stdin>", clause(4))),
+        bindings([binding("?x", b), binding("?y", c)]),
+        uses([
+          proof(
+            goal(edge(b, c)),
+            by(fact("<stdin>", clause(3)))
+          )
+        ])
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-proofs/proofs/extra_table_path_bound.eye

@@ -0,0 +1,57 @@
+answer(table_path_bound, b).
+why(
+  answer(table_path_bound, b),
+  proof(
+    goal(answer(table_path_bound, b)),
+    by(rule("<stdin>", clause(7))),
+    bindings([binding("?x", b)]),
+    uses([
+      proof(
+        goal(path(a, b)),
+        by(rule("<stdin>", clause(5))),
+        bindings([binding("?x", a), binding("?y", b)]),
+        uses([
+          proof(
+            goal(edge(a, b)),
+            by(fact("<stdin>", clause(3)))
+          )
+        ])
+      )
+    ])
+  )
+).
+
+answer(table_path_bound, c).
+why(
+  answer(table_path_bound, c),
+  proof(
+    goal(answer(table_path_bound, c)),
+    by(rule("<stdin>", clause(7))),
+    bindings([binding("?x", c)]),
+    uses([
+      proof(
+        goal(path(a, c)),
+        by(rule("<stdin>", clause(6))),
+        bindings([binding("?x", a), binding("?z", c), binding("?y", b)]),
+        uses([
+          proof(
+            goal(edge(a, b)),
+            by(fact("<stdin>", clause(3)))
+          ),
+          proof(
+            goal(path(b, c)),
+            by(rule("<stdin>", clause(5))),
+            bindings([binding("?x", b), binding("?y", c)]),
+            uses([
+              proof(
+                goal(edge(b, c)),
+                by(fact("<stdin>", clause(4)))
+              )
+            ])
+          )
+        ])
+      )
+    ])
+  )
+).
+

package/test/conformance/expected-warnings/negation/extra_stratified_multiple_negations_quiet.eye

@@ -0,0 +1 @@
+answer(ok).

package/test/conformance/expected-warnings/negation/extra_stratified_negation_with_table_quiet.eye

@@ -0,0 +1 @@
+open(b).

package/test/conformance/expected-warnings/negation/extra_unstratified_indirect_self_with_fact.txt

@@ -0,0 +1,2 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on blocked/1

package/test/conformance/expected-warnings/negation/extra_unstratified_positive_negative_loop.txt

@@ -0,0 +1,2 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on r/1

package/test/conformance/expected-warnings/negation/extra_unstratified_three_cycle_all_negative.txt

@@ -0,0 +1,4 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on r/1
+  r/1 depends negatively on p/1

package/test/conformance/expected-warnings/negation/extra_warning_preserves_empty_stdout.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1

package/test/conformance/proofs/proofs/extra_aggregate_min.eye

@@ -0,0 +1,4 @@
+materialize(answer, 3).
+score(2, b).
+score(1, a).
+answer(aggregate_min, ?key, ?value) :- aggregate_min(?k, ?v, score(?k, ?v), ?key, ?value).

package/test/conformance/proofs/proofs/extra_compound_name_arguments.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(compound_name_arguments, ?name, ?args) :- compound_name_arguments(box(a, b), ?name, ?args).

package/test/conformance/proofs/proofs/extra_eq_builtin.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(eq_builtin, ?x) :- eq(pair(?x, b), pair(a, b)).

package/test/conformance/proofs/proofs/extra_findall_builtin.eye

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+item(a).
+item(b).
+answer(findall_builtin, ?bag) :- findall(?x, item(?x), ?bag).

package/test/conformance/proofs/proofs/extra_forall_builtin.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(forall_builtin) :- forall(member(?x, [1, 2]), lt(?x, 3)).

package/test/conformance/proofs/proofs/extra_holds_parts.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(holds_parts, ?name, ?args) :- holds((alpha, beta(2)), ?name, ?args).

package/test/conformance/proofs/proofs/extra_iri_join.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(iri_join, ?who) :- eq(?who, <urn:example:alice>).

package/test/conformance/proofs/proofs/extra_negation_success.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+known(a).
+answer(ok) :- not(known(b)).

package/test/conformance/proofs/proofs/extra_nested_list_binding.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(nested_list_binding, ?tail) :- eq([a, b | ?tail], [a, b, c]).

package/test/conformance/proofs/proofs/extra_once_member.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(once_member, ?x) :- once(member(?x, [a, b, c])).

package/test/conformance/proofs/proofs/extra_recursive_path.eye

@@ -0,0 +1,5 @@
+materialize(path, 2).
+edge(a, b).
+edge(b, c).
+path(?x, ?y) :- edge(?x, ?y).
+path(?x, ?z) :- edge(?x, ?y), path(?y, ?z).

package/test/conformance/proofs/proofs/extra_table_path_bound.eye

@@ -0,0 +1,7 @@
+materialize(answer, 2).
+table(path, 2).
+edge(a, b).
+edge(b, c).
+path(?x, ?y) :- edge(?x, ?y).
+path(?x, ?z) :- edge(?x, ?y), path(?y, ?z).
+answer(table_path_bound, ?x) :- path(a, ?x).

package/test/conformance/warnings/negation/extra_stratified_multiple_negations_quiet.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+p(a).
+r(c).
+answer(ok) :- not(q(a)), not(r(b)).

package/test/conformance/warnings/negation/extra_stratified_negation_with_table_quiet.eye

@@ -0,0 +1,6 @@
+materialize(open, 1).
+table(path, 2).
+edge(a, b).
+path(?x, ?y) :- edge(?x, ?y).
+closed(c).
+open(?x) :- path(a, ?x), not(closed(?x)).

package/test/conformance/warnings/negation/extra_unstratified_indirect_self_with_fact.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+seed(a).
+p(?x) :- seed(?x), not(blocked(?x)).
+blocked(?x) :- p(?x).
+answer(ok).

package/test/conformance/warnings/negation/extra_unstratified_positive_negative_loop.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(?x) :- q(?x), not(r(?x)).
+q(a).
+r(?x) :- p(?x).
+answer(ok).

package/test/conformance/warnings/negation/extra_unstratified_three_cycle_all_negative.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(r(a)).
+r(a) :- not(p(a)).
+answer(ok).

package/test/conformance/warnings/negation/extra_warning_preserves_empty_stdout.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(p(a)).

package/test/run-regression.mjs

@@ -371,7 +371,7 @@ function documentationSyncCases() {
       run: () => {
         const report = buildConformanceReport();
         assertArrayEqual(report.issues, [], 'conformance report issues');
-        assertEqual(report.total.total >= 250, true, 'conformance case count');
+        assertEqual(report.total.total >= 400, true, 'conformance case count');
         assertEqual(report.total.positive + report.total.errors + report.total.warnings + report.total.proofs, report.total.total, 'conformance total');
         assertEqual(report.rows.some((row) => row.category === 'legacy-numbered'), false, 'legacy-numbered category');
         const text = formatConformanceReport(report);