eyeprolog 1.5.88 → 1.5.90

package/conformance-report.md

@@ -24,7 +24,7 @@ bytes, avoiding a second live fetch and its race window.
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
 | explicit-tabling | 6 | 0 | 0 | 0 | 6 |
-| iso | 211 | 219 | 0 | 0 | 430 |
+| iso | 238 | 219 | 0 | 0 | 457 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -37,7 +37,7 @@ bytes, avoiding a second live fetch and its race window.
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 7 | 0 | 0 | 23 |
-| **Total** | **533** | **274** | **19** | **21** | **847** |
+| **Total** | **560** | **274** | **19** | **21** | **874** |
 
 ## DCG conformance clarification
 

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.88",
+  "version": "1.5.90",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/src/quads.js

@@ -162,6 +162,21 @@ function checkAlternative(program, quad, alternative, options, context, unordere
   // matchLeaf accepts it once this disproof gate has been cleared.
   if (requiresSto && actual.nstoObserved) return { ok: false };
 
+  // The reverse of the check above: execution that actually triggered
+  // occurs-check produced an implementation-dependent outcome (ISO 7.3.3
+  // Note 2 -- succeed, loop, or fail are all conforming), even when none of
+  // this alternative's own leaves say so. A leaf making a positive claim
+  // about that outcome without an `sto` tag would silently misrepresent an
+  // implementation choice as a portably decided one (see issue #111's
+  // `\+ \+ -X=X` follow-up: a bare `false.` happens to match here, but only
+  // because this engine always occurs-checks -- a non-occurs-checking engine
+  // would see `true` instead). An `unexpected` leaf is a negative claim
+  // instead, and already has its own STO carve-out below
+  // (`stoPermitsUnexpected`, issue #60), so leave those alone here.
+  if (!requiresSto && actual.stoObserved && !leaves.some((leaf) => leaf.unexpected)) {
+    return { ok: false, alternative };
+  }
+
   if (hasInputSpec) {
     const leaf = leaves[0];
     const exactConsumption = actual.inputPosition === input.length;
@@ -1010,15 +1025,22 @@ const FAILURE_LABELS = {
 function formatAlternativeContext(program, description, alternative) {
   const parts = splitOperator(description, '|');
   if (parts.length <= 1 || !parts.includes(alternative)) return null;
+  // Every detail line under a `quads: ...` header shares one 3-space report
+  // margin (the same margin the plain `?- ...` and `expected: ...` lines
+  // already use) -- reproduce the answer-description syntax's own layout
+  // (a bare 3-space indent for the first alternative, a leading `|  `/`;  `
+  // marker for a later alternative/leaf) *inside* that margin, so a marker
+  // character lines up under the `?` above it rather than at column 0.
+  const margin = '   ';
   const lines = [];
   parts.forEach((part, index) => {
-    const prefix = index === 0 ? '   ' : '|  ';
+    const marker = index === 0 ? '   ' : '|  ';
     if (part !== alternative) {
-      lines.push(`${prefix}...`);
+      lines.push(`${margin}${marker}...`);
       return;
     }
     splitOperator(part, ';').forEach((leaf, leafIndex) => {
-      lines.push(`${leafIndex === 0 ? prefix : ';  '}${formatQuadTerm(program, leaf)}`);
+      lines.push(`${margin}${leafIndex === 0 ? marker : ';  '}${formatQuadTerm(program, leaf)}`);
     });
   });
   // A trailing `...` glued straight to a full stop reads as four dots; the

package/test/conformance/README.md

@@ -138,7 +138,7 @@ Selected cases are adapted from the ISO and standard-core suites of Logtalk,
 Scryer Prolog, Trealla Prolog, and SWI-Prolog. Their upstream identifiers and licenses
 are recorded in [THIRD_PARTY.md](THIRD_PARTY.md).
 
-The corpus has 430 cases in `iso/` and 847 file-based conformance cases in total. Of those, 11 cases in `stc/` are explicitly labelled working-draft review evidence rather than normative ISO claims. The strict-reader WG17 syntax matrix is discovered dynamically and executed live by the Neumerkel gate, the same as its other seven TU Wien sources; release/report checks separately verify the tracked `NEUMERKEL-LATEST.md`. The generated `conformance-report.md` records local corpus totals and links to that live evidence. Together with regression, documentation-sync, API, example, and book-example checks, `npm test` is the release gate.
+The corpus has 457 cases in `iso/` and 874 file-based conformance cases in total. Of those, 11 cases in `stc/` are explicitly labelled working-draft review evidence rather than normative ISO claims. The strict-reader WG17 syntax matrix is discovered dynamically and executed live by the Neumerkel gate, the same as its other seven TU Wien sources; release/report checks separately verify the tracked `NEUMERKEL-LATEST.md`. The generated `conformance-report.md` records local corpus totals and links to that live evidence. Together with regression, documentation-sync, API, example, and book-example checks, `npm test` is the release gate.
 
 ## Updating expected output
 

package/test/conformance/THIRD_PARTY.md

@@ -36,6 +36,11 @@ adapted from `tests-pl/iso-conformity-tests.pl` in
 identifies the corresponding upstream test numbers. The cases were rewritten
 for EyeProlog's file-based query and exact-output harness.
 
+Additional operator-directive and control-construct error-condition cases
+under `iso/` are adapted from Scryer's `tests-pl/invalid_decl*.pl` and
+`tests-pl/issue831-call0.pl` regression fixtures. Each adapted file identifies
+its upstream source file.
+
 BSD 3-Clause License
 
 Copyright (c) 2016, Mark Thom

package/test/conformance/cases/iso/scryer_call_zero_arity.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/issue831-call0.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: call_zero_arity(X0)
+
+call_zero_arity(E) :-
+    catch(call, error(E, _), true).

package/test/conformance/cases/iso/scryer_op_bar_prefix_permission.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl15.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_bar_prefix_permission(X0)
+
+op_bar_prefix_permission(E) :-
+    catch(op(1150, fx, '|'), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_name_list_unbound_element.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl11.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_name_list_unbound_element(X0)
+
+op_name_list_unbound_element(E) :-
+    catch(op(10, xf, [example, _]), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_specifier_type_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl7.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_specifier_type_error(X0)
+
+op_specifier_type_error(E) :-
+    catch(op(10, 42, example), error(E, _), true).

package/test/conformance/cases/iso/scryer_op_wrong_arity_existence_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Scryer Prolog tests-pl/invalid_decl4.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: op_wrong_arity_existence_error(X0)
+
+op_wrong_arity_existence_error(E) :-
+    catch(op(5, xfx, example, extra), error(E, _), true).

package/test/conformance/cases/iso/trealla_bagof_setof_duplicate_handling.pl

@@ -0,0 +1,15 @@
+% Adapted from Trealla Prolog tests/tests/test0049.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: bagof_setof_duplicate_handling(X0, X1)
+
+foo_dup(a, b, c).
+foo_dup(a, b, d).
+foo_dup(a, b, a).
+foo_dup(a, b, a).
+foo_dup(b, c, f).
+foo_dup(b, c, e).
+foo_dup(c, c, g).
+
+bagof_setof_duplicate_handling(Bag, Set) :-
+    bagof(C, A^B^foo_dup(A, B, C), Bag),
+    setof(C, A^B^foo_dup(A, B, C), Set).

package/test/conformance/cases/iso/trealla_call_transparent_to_disjunction.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/tests/test0016.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: call_transparent_to_disjunction(ok)
+
+call_transparent_to_disjunction(ok) :-
+    call((true ; false)),
+    call((false ; true)).

package/test/conformance/cases/iso/trealla_copy_term_binding_direction.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test1136.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: copy_term_binding_direction(ok)
+
+copy_term_binding_direction(ok) :-
+    copy_term(X, 3), var(X),
+    copy_term(f(Y), f(3)), var(Y),
+    copy_term(3, Z), Z == 3,
+    \+ copy_term(f(_), 3).

package/test/conformance/cases/iso/trealla_dif_unification_shared_var.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/tests/test0090.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: dif_unification_shared_var(ok)
+
+dif_unification_shared_var(ok) :-
+    [A, 1] \= [A, 2].

package/test/conformance/cases/iso/trealla_disjunction_commit_and_fallthrough.pl

@@ -0,0 +1,11 @@
+% Adapted from Trealla Prolog tests/tests/test0059.pl (test5a, test5b).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: disjunction_commit_and_fallthrough(ok)
+
+name_d(john).
+name_d(mary).
+name_d(tom).
+
+disjunction_commit_and_fallthrough(ok) :-
+    ( name_d(john) ; write('ERROR') ), !,
+    ( name_d(fred) ; name_d(mary) ), !.

package/test/conformance/cases/iso/trealla_findall_bagof_grouping.pl

@@ -0,0 +1,13 @@
+% Adapted from Trealla Prolog tests/tests/test0028.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: findall_bagof_grouping(X0)
+
+foo_groups(a, b, c).
+foo_groups(a, b, d).
+foo_groups(b, c, e).
+foo_groups(b, c, f).
+foo_groups(c, c, g).
+foo_groups(d, e, g).
+
+findall_bagof_grouping(L) :-
+    findall(Cs, bagof(C, foo_groups(_, _, C), Cs), L).

package/test/conformance/cases/iso/trealla_float_literal_representation_error.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test1140.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: float_literal_representation_error(X0, X1, X2, X3)
+
+float_literal_representation_error(MaxFloat, MinFloat, Underflow, BadSyntax) :-
+    catch(number_chars(_, "9.9e999"), error(MaxFloat, _), true),
+    catch(number_chars(_, "-9.9e999"), error(MinFloat, _), true),
+    number_chars(Underflow, "9.9e-999"),
+    catch(number_chars(_, "9.9ee"), error(BadSyntax, _), true).

package/test/conformance/cases/iso/trealla_if_then_noncallable_then.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/issues/test0898.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: if_then_noncallable_then(X0)
+
+if_then_noncallable_then(E) :-
+    catch(call((true -> false, 1)), error(E, _), true).

package/test/conformance/cases/iso/trealla_mod_sign_rules.pl

@@ -0,0 +1,14 @@
+% Adapted from Trealla Prolog tests/issues/test0078.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: mod_sign_rules(X0, X1, X2, X3, X4, X5, X6, X7, X8)
+
+mod_sign_rules(M1, M2, M3, M4, M5, M6, M7, Big, M8) :-
+    M1 is 1 mod 3,
+    M2 is -1 mod 3,
+    M3 is -1 mod -3,
+    M4 is 1 mod -3,
+    M5 is -2 mod 3,
+    M6 is -2 mod -3,
+    M7 is 2 mod -3,
+    Big is (1 << 150) mod (3 << 150),
+    M8 is -5 mod -3.

package/test/conformance/cases/iso/trealla_negation_eager_callability.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test1110.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: negation_eager_callability(X0, X1, X2, X3)
+
+negation_eager_callability(DisjSecond, DisjFirst, Conj, Ordinary) :-
+    catch((\+ (true ; 1), fail), error(DisjSecond, _), true),
+    catch((\+ (1 ; true), fail), error(DisjFirst, _), true),
+    catch((\+ (fail, 1), fail), error(Conj, _), true),
+    ( \+ fail, \+ \+ true, \+ member(z, [a, b, c]) -> Ordinary = ok ; Ordinary = bad ).

package/test/conformance/cases/iso/trealla_number_chars_skips_comments.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/issues/test0796.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: number_chars_skips_comments(X0, X1)
+
+number_chars_skips_comments(N1, N2) :-
+    number_chars(N1, "%$$$\n1"),
+    number_chars(N2, "/*$$$*/-2").

package/test/conformance/cases/iso/trealla_number_chars_syntax_error.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/issues/test0791.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: number_chars_syntax_error(X0)
+
+number_chars_syntax_error(E) :-
+    catch(number_chars(_, "1-2"), error(E, _), true).

package/test/conformance/cases/iso/trealla_occurs_check_rational_tree_subtleties.pl

@@ -0,0 +1,8 @@
+% Adapted from Trealla Prolog tests/tests/test0092.pl (main2, main3).
+% See test/conformance/THIRD_PARTY.md.
+%% goal: occurs_check_rational_tree_subtleties(ok)
+
+occurs_check_rational_tree_subtleties(ok) :-
+    \+ (A4 = [A4 | A4], A4 = [_B4, A4]),
+    \+ (A5 = B5, A5 = [A5 | A5], A5 = [B5, A5]),
+    \+ unify_with_occurs_check(A, [[[A]] | A]).

package/test/conformance/cases/iso/trealla_occurs_check_reverse_order.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/issues/test0805.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: occurs_check_reverse_order(ok)
+
+occurs_check_reverse_order(ok) :-
+    \+ unify_with_occurs_check(L, [_ | L]),
+    \+ unify_with_occurs_check([_ | L], L).

package/test/conformance/cases/iso/trealla_quoted_atom_line_continuation.pl

@@ -0,0 +1,7 @@
+% Adapted from Trealla Prolog tests/tests/test0039.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: quoted_atom_line_continuation(ok)
+
+quoted_atom_line_continuation(ok) :-
+    write('foo\
+bar'), nl.

package/test/conformance/cases/iso/trealla_retract_backtracking.pl

@@ -0,0 +1,15 @@
+% Adapted from Trealla Prolog tests/tests/test0021.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: retract_backtracking(ok)
+
+:- dynamic(x24/1).
+
+populate_x24 :-
+    assertz(x24(0)),
+    assertz(x24(1)),
+    assertz(x24(2)),
+    assertz(x24(3)).
+
+retract_backtracking(ok) :-
+    populate_x24,
+    ( retract(x24(X)), write(X), nl, fail ; true ).

package/test/conformance/cases/iso/trealla_shared_argument_aliasing.pl

@@ -0,0 +1,8 @@
+% Adapted from Trealla Prolog tests/tests/test0047.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: shared_argument_aliasing(ok)
+
+foo_shared(A, B) :- A = 1, write(B), nl.
+
+shared_argument_aliasing(ok) :-
+    foo_shared(X, X).

package/test/conformance/cases/iso/trealla_sort_duplicates_and_empty.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/issues/test0114.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: sort_duplicates_and_empty(X0, X1, X2)
+
+sort_duplicates_and_empty(Empty, Sorted, SortedCodes) :-
+    sort([], Empty),
+    sort("", Empty),
+    sort([c, b, a, ' ', a, b, c], Sorted),
+    sort("cba abc", SortedCodes).

package/test/conformance/cases/iso/trealla_unicode_length_agreement.pl

@@ -0,0 +1,9 @@
+% Adapted from Trealla Prolog tests/tests/test0013.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: unicode_length_agreement(X0)
+
+unicode_length_agreement(L) :-
+    atom_length('一二三', L1),
+    length("一二三", L2),
+    L1 = L2, L1 = 3,
+    L = L1.

package/test/conformance/cases/iso/trealla_write_associative_operators.pl

@@ -0,0 +1,11 @@
+% Adapted from Trealla Prolog tests/tests/test0035.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: write_associative_operators(ok)
+
+write_associative_operators(ok) :-
+    write((1 / 2 / 3)), nl,
+    write((a, b, c)), nl,
+    write({a, b, c}), nl,
+    write(((1 / 2) / 3)), nl,
+    write((a, (b, c))), nl,
+    write({a, (b, c)}), nl.

package/test/conformance/cases/iso/trealla_write_term_ignore_ops_quoted_independence.pl

@@ -0,0 +1,10 @@
+% Adapted from Trealla Prolog tests/issues/test1137.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: write_term_ignore_ops_quoted_independence(ok)
+
+write_term_ignore_ops_quoted_independence(ok) :-
+    write_term('a b', [ignore_ops(true)]), nl,
+    write_term('a b', [ignore_ops(true), quoted(true)]), nl,
+    write_term(1 + 2 * 3, [ignore_ops(true)]), nl,
+    write_term([a, b | c], [ignore_ops(true)]), nl,
+    write_term({a}, [ignore_ops(true)]), nl.

package/test/conformance/cases/iso/trealla_write_term_variable_names_malformed.pl

@@ -0,0 +1,6 @@
+% Adapted from Trealla Prolog tests/issues/test1090.pl (first sub-case only;
+% see test/conformance/THIRD_PARTY.md).
+%% goal: write_term_variable_names_malformed(X0)
+
+write_term_variable_names_malformed(E1) :-
+    catch(write_term(_, [variable_names([a | non_list])]), error(E1, _), true).

package/test/conformance/expected/iso/scryer_call_zero_arity.pl

@@ -0,0 +1 @@
+call_zero_arity(existence_error(procedure, call / 0)).

package/test/conformance/expected/iso/scryer_op_bar_prefix_permission.pl

@@ -0,0 +1 @@
+op_bar_prefix_permission(permission_error(create, operator, '|')).

package/test/conformance/expected/iso/scryer_op_name_list_unbound_element.pl

@@ -0,0 +1 @@
+op_name_list_unbound_element(instantiation_error).

package/test/conformance/expected/iso/scryer_op_specifier_type_error.pl

@@ -0,0 +1 @@
+op_specifier_type_error(type_error(atom, 42)).

package/test/conformance/expected/iso/scryer_op_wrong_arity_existence_error.pl

@@ -0,0 +1 @@
+op_wrong_arity_existence_error(existence_error(procedure, op / 4)).

package/test/conformance/expected/iso/trealla_bagof_setof_duplicate_handling.pl

@@ -0,0 +1 @@
+bagof_setof_duplicate_handling("cdaafeg", "acdefg").

package/test/conformance/expected/iso/trealla_call_transparent_to_disjunction.pl

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

package/test/conformance/expected/iso/trealla_copy_term_binding_direction.pl

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

package/test/conformance/expected/iso/trealla_dif_unification_shared_var.pl

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

package/test/conformance/expected/iso/trealla_disjunction_commit_and_fallthrough.pl

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

package/test/conformance/expected/iso/trealla_findall_bagof_grouping.pl

@@ -0,0 +1 @@
+findall_bagof_grouping(["cd", "ef", "g", "g"]).

package/test/conformance/expected/iso/trealla_float_literal_representation_error.pl

@@ -0,0 +1 @@
+float_literal_representation_error(representation_error(max_float), representation_error(min_float), 0.0, syntax_error(number)).

package/test/conformance/expected/iso/trealla_if_then_noncallable_then.pl

@@ -0,0 +1 @@
+if_then_noncallable_then(type_error(callable, (true -> false, 1))).

package/test/conformance/expected/iso/trealla_mod_sign_rules.pl

@@ -0,0 +1 @@
+mod_sign_rules(1, 2, -1, -2, 1, -2, -1, 1427247692705959881058285969449495136382746624, -2).

package/test/conformance/expected/iso/trealla_negation_eager_callability.pl

@@ -0,0 +1 @@
+negation_eager_callability(type_error(callable, (true ; 1)), type_error(callable, (1 ; true)), type_error(callable, (fail, 1)), ok).

package/test/conformance/expected/iso/trealla_number_chars_skips_comments.pl

@@ -0,0 +1 @@
+number_chars_skips_comments(1, -2).

package/test/conformance/expected/iso/trealla_number_chars_syntax_error.pl

@@ -0,0 +1 @@
+number_chars_syntax_error(syntax_error(number)).

package/test/conformance/expected/iso/trealla_occurs_check_rational_tree_subtleties.pl

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

package/test/conformance/expected/iso/trealla_occurs_check_reverse_order.pl

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

package/test/conformance/expected/iso/trealla_quoted_atom_line_continuation.pl

@@ -0,0 +1,2 @@
+foobar
+quoted_atom_line_continuation(ok).

package/test/conformance/expected/iso/trealla_retract_backtracking.pl

@@ -0,0 +1,5 @@
+0
+1
+2
+3
+retract_backtracking(ok).

package/test/conformance/expected/iso/trealla_shared_argument_aliasing.pl

@@ -0,0 +1,2 @@
+1
+shared_argument_aliasing(ok).

package/test/conformance/expected/iso/trealla_sort_duplicates_and_empty.pl

@@ -0,0 +1 @@
+sort_duplicates_and_empty([], " abc", " abc").

package/test/conformance/expected/iso/trealla_unicode_length_agreement.pl

@@ -0,0 +1 @@
+unicode_length_agreement(3).

package/test/conformance/expected/iso/trealla_write_associative_operators.pl

@@ -0,0 +1,7 @@
+1/2/3
+a,b,c
+{a,b,c}
+1/2/3
+a,b,c
+{a,b,c}
+write_associative_operators(ok).

package/test/conformance/expected/iso/trealla_write_term_ignore_ops_quoted_independence.pl

@@ -0,0 +1,6 @@
+a b
+'a b'
++(1,*(2,3))
+.(a,.(b,c))
+{}(a)
+write_term_ignore_ops_quoted_independence(ok).

package/test/conformance/expected/iso/trealla_write_term_variable_names_malformed.pl

@@ -0,0 +1 @@
+write_term_variable_names_malformed(domain_error(write_option, variable_names("a"||non_list))).

package/test/regression/cases-regression.mjs

@@ -2586,13 +2586,16 @@ c4 ?- call((!;1)).
         assertEqual(result.failed, 1, 'quad failed');
         // Laid out the same way the answer-description syntax itself lays
         // out alternatives (a leading `|`) and leaves (a leading `;`), per
-        // Ulrich's own proposed shape in that follow-up comment.
+        // Ulrich's own proposed shape in that follow-up comment, inside the
+        // same 3-space report margin every other detail line under a
+        // `quads: ...` header uses -- so each `|`/`;` marker lines up under
+        // the `?` of the `?- ...` line above it, not at column 0.
         assertIncludes(result.stdout,
-          '   ...\n' +
-          '|  sto, Xs = [E | Xs]\n' +
-          ';  Xs = [_A | _B], Ys = [E | Ys]\n' +
-          ';  ..., ad_infinitum\n' +
-          '|  ... .\n',
+          '      ...\n' +
+          '   |  sto, Xs = [E | Xs]\n' +
+          '   ;  Xs = [_A | _B], Ys = [E | Ys]\n' +
+          '   ;  ..., ad_infinitum\n' +
+          '   |  ... .\n',
           'sibling-elided alternative context');
         assertIncludes(result.stdout, '   expected: Ys = [E | Ys].\n', 'still-precise offending sub-term');
       },
@@ -2688,6 +2691,33 @@ c4 ?- call((!;1)).
         assertIncludes(nsto.stdout, 'quads: FAILED 34, <input>:3', 'NSTO diagnostic');
       },
     },
+    {
+      name: 'quad sto is required, not merely tolerated, once execution observes occurs-check (issue #111 follow-up)',
+      run: () => {
+        // https://github.com/eyereasoner/eyeprolog/issues/111#issuecomment-5645863132:
+        // `\+ \+ -X=X` fails only because this engine always occurs-checks
+        // plain `=`/2 (ISO 7.3.3 Note 2 leaves succeed/loop/fail all
+        // conforming); a non-occurs-checking engine sees `-X=X` succeed
+        // (creating a cyclic X), so `\+ \+` sees `true` instead. A bare
+        // `false.` -- with no `sto` tag -- misrepresents that as a portably
+        // decided outcome, so it must be rejected even though it happens to
+        // match this engine's own behavior; only the honestly `sto`-tagged
+        // claim may pass.
+        const bare = publicApi.runQuads('?- \\+ \\+ -X=X.\n   false.\n');
+        assertEqual(bare.passed, 0, 'undeclared sto claim rejected');
+        assertEqual(bare.failed, 1, 'undeclared sto claim rejected');
+
+        const declared = publicApi.runQuads('?- \\+ \\+ -X=X.\n   sto, false.\n');
+        assertEqual(declared.passed, 1, 'declared sto claim accepted');
+        assertEqual(declared.failed, 0, 'declared sto claim accepted');
+
+        // An `unexpected` leaf is a negative claim with its own, separate STO
+        // carve-out (issue #60, tested above); this new rule must not touch it.
+        const unexpected = publicApi.runQuads('?- \\+ \\+ -X=X.\n   false, unexpected.\n');
+        assertEqual(unexpected.passed, 0, 'wrong negative claim still rejected on its own terms');
+        assertEqual(unexpected.failed, 1, 'wrong negative claim still rejected on its own terms');
+      },
+    },
     {
       name: 'quads peeks/1 supplies one unconsumed look-ahead character (issue #62)',
       run: () => {

package/the-art-of-eyeprolog.md

@@ -10438,7 +10438,7 @@ must preserve the same observable outcome. Additional normal-mode syntax may
 accept texts outside the strict grammar, but it may not reinterpret an accepted
 standard case.
 
-The file-based conformance corpus contains 847 cases, including 430 focused ISO cases derived from the success, failure, mode, and error behavior in ISO/IEC 13211-1 clauses 7 and 8, Part 2 modules, and Part 3 grammar rules.
+The file-based conformance corpus contains 874 cases, including 457 focused ISO cases derived from the success, failure, mode, and error behavior in ISO/IEC 13211-1 clauses 7 and 8, Part 2 modules, and Part 3 grammar rules.
 Separate exact-output suites check 229 normal examples and 61 proof examples; all executable chapter programs are parsed and their declared goals are executed. The nine-case
 playground contract suite imports the production worker, sends real reasoning
 requests through its message protocol, and crawls the served module graph for