eyeprolog 1.5.83 → 1.5.85

package/README.md

@@ -95,11 +95,10 @@ npm test
 ```
 The npm command list is deliberately small:
 
-- `npm test` (or `npm run test`): run the release gate, including live upstream conformity checks.
-- `npm run conformance:update:wg17`: update the vendored WG17 syntax cases and their inventory documentation.
+- `npm test` (or `npm run test`): run the release gate, including live upstream conformity checks (WG17 syntax among them).
 - `npm run generate`: rebuild generated library and book files.
 - `npm run benchmark`: run the wall-clock benchmarks.
 
-Use `npm test -- --offline` for a network-free local pass. Focused checks remain available directly, for example `node test/run-regression.mjs docs` or `node test/run-wg17.mjs`; see [test runners](test/README.md). The automatic version hooks still run the release gate, refresh and stage conformance reports, and push the release. Detailed upstream report maintenance is documented in the [conformance guide](test/conformance/README.md).
+Use `npm test -- --offline` for a network-free local pass (this also skips the live-discovered WG17 syntax check, since it has no offline snapshot). Focused checks remain available directly, for example `node test/run-regression.mjs docs`; see [test runners](test/README.md). The automatic version hooks still run the release gate, refresh and stage conformance reports, and push the release. Detailed upstream report maintenance is documented in the [conformance guide](test/conformance/README.md).
 
 EyeProlog is released under the [MIT License](LICENSE.md).

package/conformance-report.md

@@ -1,25 +1,17 @@
 # EyeProlog conformance report
 
-This report combines an executable external conformance gate with the file-based
-conformance corpus under `test/conformance/`. The executable result is measured
-when this report is generated; it is not inferred from fixture counts.
+This report combines a live external conformance gate with the file-based
+conformance corpus under `test/conformance/`. The file-based corpus is
+measured when this report is generated; it is not inferred from fixture counts.
 
 ## Latest Neumerkel evidence
 
-See the tracked [latest Neumerkel conformity report](test/conformance/NEUMERKEL-LATEST.md).
-`npm test` fetches all eight TU Wien sources once and executes the discovered inventory.
-The release workflow then synchronizes this tracked report from those exact successful
-cached source bytes, avoiding a second live fetch and its race window.
-
-## Executable conformance status
-
-| Gate | Passed | Total | Status |
-|---|---:|---:|---|
-| WG17 syntax | 379 | 379 | pass |
-
-The WG17 syntax row executes the vendored 379-case conformity-testing matrix
-against EyeProlog's strict ISO reader/writer. A behavior fix such as operator-token
-spelling therefore changes this report even when no corpus file is added or removed.
+See the tracked [latest Neumerkel conformity report](test/conformance/NEUMERKEL-LATEST.md)
+for the executable external gate, including WG17 syntax conformance: `npm test`
+fetches all eight TU Wien sources (syntax discovered and executed live, not a
+vendored fixture) and executes the discovered inventory. The release workflow
+then synchronizes this tracked report from those exact successful cached source
+bytes, avoiding a second live fetch and its race window.
 
 ## File-based corpus inventory
 
@@ -32,7 +24,7 @@ spelling therefore changes this report even when no corpus file is added or remo
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
 | explicit-tabling | 6 | 0 | 0 | 0 | 6 |
-| iso | 174 | 219 | 0 | 0 | 393 |
+| iso | 211 | 219 | 0 | 0 | 430 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -45,7 +37,7 @@ spelling therefore changes this report even when no corpus file is added or remo
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 7 | 0 | 0 | 23 |
-| **Total** | **496** | **274** | **19** | **21** | **810** |
+| **Total** | **533** | **274** | **19** | **21** | **847** |
 
 ## DCG conformance clarification
 

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.83",
+  "version": "1.5.85",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -46,7 +46,6 @@
   },
   "scripts": {
     "test": "node test/run-all.mjs",
-    "conformance:update:wg17": "node tools/upgrade-wg17.mjs",
     "benchmark": "node test/benchmark.mjs",
     "generate": "node tools/generate-library-autoload-index.mjs && node tools/generate-predicate-reference.mjs && node tools/extract-book-examples.mjs",
     "preversion": "npm test && node test/run-neumerkel.mjs --cached --update-report && node test/run-conformance-report.mjs conformance-report.md && git add test/conformance/NEUMERKEL-LATEST.md conformance-report.md",

package/src/quads.js

@@ -252,14 +252,29 @@ function checkAnswerPermutation(program, query, leaves, actual, alternative) {
 
 function malformedAlternative(query, alternative) {
   const queryNames = new Set(namedVariables(query).map((variable) => variable.name));
-  for (const leaf of splitOperator(alternative, ';').map(describeLeaf)) {
+  const altLeaves = splitOperator(alternative, ';').map(describeLeaf);
+  // `sto` is written once, on the branch's first outcome, to declare the
+  // whole `;`-separated branch occurs-check/rational-tree dependent (see the
+  // matching `leaves.some((leaf) => leaf.sto)` in checkAlternative); a later
+  // leaf in the same branch carries that declaration too even though only
+  // the first leaf's text says so.
+  const branchSto = altLeaves.some((leaf) => leaf.sto);
+  for (const leaf of altLeaves) {
     if (leaf.malformed != null) return leaf.malformed;
     const names = new Set();
     const substitutions = [...leaf.bindings, ...leaf.approximations];
+    // A binding's left-hand variable may be a query variable, or an auxiliary
+    // variable this same answer description already introduced on an earlier
+    // binding's right-hand side. `Xs = [_A|_B], _B = [E|_B]` names the "rest
+    // of the same infinite structure" as _B before binding it -- the usual
+    // idiom for describing a rational-tree or repeating-pattern answer
+    // (see also substitutionMatches, which resolves these the same way).
+    const introduced = new Set(queryNames);
     for (const binding of substitutions) {
       const name = binding.args[0].name;
-      if (!queryNames.has(name) || names.has(name)) return binding;
+      if (!introduced.has(name) || names.has(name)) return binding;
       names.add(name);
+      for (const variable of namedVariables(binding.args[1])) introduced.add(variable.name);
     }
     for (const binding of substitutions) {
       const name = binding.args[0].name;
@@ -276,7 +291,7 @@ function malformedAlternative(query, alternative) {
       // outside `sto`: an answer description should give each variable's
       // value in fully resolved form rather than in terms of a sibling
       // binding.
-      if (!leaf.sto && referenced.some((variable) => names.has(variable.name))) return binding;
+      if (!branchSto && referenced.some((variable) => names.has(variable.name))) return binding;
     }
   }
   return null;
@@ -522,22 +537,33 @@ function substitutionMatches(query, bindings, approximations, actualEnv) {
   const queryVariablesByName = new Map(queryVariables.map((variable) => [variable.name, variable]));
   const expectedEnv = new Env();
   const rebound = new Set();
+  // A binding's left-hand variable may be a query variable, or an auxiliary
+  // variable this same answer description already introduced on an earlier
+  // binding's right-hand side (see malformedAlternative's matching
+  // `introduced` set): `Xs = [_A|_B], _B = [E|_B]` names the "rest of the
+  // same infinite structure" as _B before binding it, the usual idiom for
+  // describing a rational-tree or repeating-pattern answer.
+  const introduced = new Set(queryNames);
   for (const binding of [...bindings, ...approximations]) {
     const variable = binding.args[0];
-    if (!queryNames.has(variable.name) || rebound.has(variable.name)) return false;
+    if (!introduced.has(variable.name) || rebound.has(variable.name)) return false;
     rebound.add(variable.name);
     if (binding.name === '=') {
       if (!unify(variable, binding.args[1], expectedEnv)) return false;
-      continue;
+    } else {
+      // Approximate (~~) bindings compare against an actually observed value,
+      // which only exists for the query's own variables.
+      const actualVariable = queryVariablesByName.get(variable.name);
+      if (actualVariable == null) return false;
+      const actualValue = deref(actualVariable, actualEnv);
+      if (!approximatelyMatches(actualValue, binding.args[1])) return false;
+      // Once the approximate predicate has accepted the actual float, bind the
+      // expected-side variable to that exact observed term. This lets the
+      // ordinary variant matcher continue to check the rest of the answer,
+      // including variable sharing, without turning `~~` into a fuzzy unifier.
+      if (!unify(variable, copyResolved(actualValue, actualEnv), expectedEnv)) return false;
     }
-    const actualVariable = queryVariablesByName.get(variable.name);
-    const actualValue = deref(actualVariable, actualEnv);
-    if (!approximatelyMatches(actualValue, binding.args[1])) return false;
-    // Once the approximate predicate has accepted the actual float, bind the
-    // expected-side variable to that exact observed term. This lets the
-    // ordinary variant matcher continue to check the rest of the answer,
-    // including variable sharing, without turning `~~` into a fuzzy unifier.
-    if (!unify(variable, copyResolved(actualValue, actualEnv), expectedEnv)) return false;
+    for (const referenced of namedVariables(binding.args[1])) introduced.add(referenced.name);
   }
   const expected = compound('$quad_answer', queryVariables.map((variable) => copyResolved(variable, expectedEnv)));
   const actual = compound('$quad_answer', queryVariables.map((variable) => copyResolved(variable, actualEnv)));

package/test/README.md

@@ -1,7 +1,8 @@
 # Test runners
 
-Normally, run `npm test`. Use `npm test -- --offline` to skip live upstream fetching.
-`npm run conformance:update:wg17` refreshes the vendored WG17 snapshot.
+Normally, run `npm test`. Use `npm test -- --offline` to skip live upstream fetching
+(this also skips the WG17 syntax check, which is discovered live and has no
+offline snapshot).
 
 For development, run a focused check directly from the repository root:
 
@@ -9,7 +10,6 @@ For development, run a focused check directly from the repository root:
 node test/run-regression.mjs        # all regression sections
 node test/run-regression.mjs docs   # documentation checks only
 node test/run-conformance-all.mjs   # conformance layers; accepts --offline
-node test/run-wg17.mjs              # vendored WG17 syntax
 node test/run-iso-strict.mjs        # strict ISO core
 node test/run-iso-part2-amendment.mjs
 node test/run-neumerkel.mjs         # live upstream; --cached reproduces last fetch

package/test/conformance/ISO-COMPLIANCE.md

@@ -23,7 +23,7 @@ relevant implementation-dependent overlap choice to an explicit review outcome.
 
 | Requirement | Status | EyeProlog evidence / remaining work |
 | --- | --- | --- |
-| 5.1(a) prepare conforming Prolog text | covered | Clause 6 token/term production and rejection families are mapped by the strict production gate and the complete 379-case vendored WG17 syntax matrix; 7.4 preparation/directive behavior is separately closed. |
+| 5.1(a) prepare conforming Prolog text | covered | Clause 6 token/term production and rejection families are mapped by the strict production gate and the complete WG17 syntax matrix, discovered dynamically and executed live as part of the Neumerkel conformity gate; 7.4 preparation/directive behavior is separately closed. |
 | 5.1(b) execute conforming Prolog goals | covered | Clause 7 term/control/execution semantics, the higher-level 7.10 stream model, 7.11 flags, the 7.12 error envelope, all 8.2-8.17 built-in rows, and Clause 9 arithmetic have explicit executable dispositions. |
 | 5.1(c) reject nonconforming text/read-terms | covered | WG17 negative syntax cases, focused malformed-production/escape/comment/operator cases, read-term syntax errors, and strict rejection of implementation-specific syntax provide explicit rejection evidence across the Clause 6 families. |
 | 5.1(d) document permitted variations | covered | The clause-by-clause [ISO 5.4 decision index](ISO-IMPLEMENTATION-DEFINED.md) records every explicit implementation-defined decision found in the Part 1 + Corrigenda baseline and separately inventories implementation-specific extension families. The index retains an `gap` category for future discoveries; no current release-facing row depends on one. |
@@ -35,7 +35,7 @@ relevant implementation-dependent overlap choice to an explicit review outcome.
 
 | Standard area | Status | Current evidence |
 | --- | --- | --- |
-| Clause 6 — tokens, terms, lists, operators, quoted text | covered | The strict Clause 6 gate maps atomic/variable/compound/operator/list/curly/double-quoted term forms, layout/comments, quoted escapes, integer bases/character codes, floating tokens, and solo/meta token boundaries, with malformed counterparts rejected. The complete 379-case WG17 syntax matrix provides externally sourced production-level expectations, and a cross-profile gate verifies that normal syntax extensions preserve every strict-accepted standard observation. The implementation-defined 6.5/6.6 PCS/collation choices are documented separately. |
+| Clause 6 — tokens, terms, lists, operators, quoted text | covered | The strict Clause 6 gate maps atomic/variable/compound/operator/list/curly/double-quoted term forms, layout/comments, quoted escapes, integer bases/character codes, floating tokens, and solo/meta token boundaries, with malformed counterparts rejected. The complete WG17 syntax matrix, discovered dynamically at run time, provides externally sourced production-level expectations, and a cross-profile gate verifies that normal syntax extensions preserve every strict-accepted standard observation. The implementation-defined 6.5/6.6 PCS/collation choices are documented separately. |
 | 7.1-7.3 — term types, term order, unification | covered | [ISO-TERM-SEMANTICS-MATRIX.md](ISO-TERM-SEMANTICS-MATRIX.md) records the five mutually exclusive strict term types, derived variable/compound/list notions, the complete standard-order classes and implementation-dependent variable-order choice, NSTO MGU/failure behavior, and EyeProlog's permitted consistent occurs-check failure for Part 1's undefined STO ordinary-unification cases. The normal JavaScript API string term is documented as a 5.5.4 extension and rejected at strict program/goal entry. |
 | 7.4 — Prolog text and directives | covered | [ISO-PROLOG-TEXT-EXECUTION-MATRIX.md](ISO-PROLOG-TEXT-EXECUTION-MATRIX.md) closes the preparation/directive rows: declaration semantics, source clauses, cross-text operators/character conversion/flags, initialization order/lifetime, `include/1`, and one-time `ensure_loaded/1`, with implementation-defined cross-text choices indexed under 5.4. |
 | 7.5-7.6 — database and term/clause conversion | covered | [ISO-PROLOG-TEXT-EXECUTION-MATRIX.md](ISO-PROLOG-TEXT-EXECUTION-MATRIX.md) closes static/dynamic and private/public procedure semantics, clause order, logical-update visibility, empty/unknown lifetime, and term/body/clause conversion. Source and runtime assertion conversion recurse through `,/2`, `;/2`, and `->/2`, preserve variable identity, and protect standardized static/control procedures. |
@@ -278,10 +278,11 @@ A release intended to advance ISO conformance uses one canonical command:
 npm test
 ```
 
-That command first fetches and runs the **latest seven Neumerkel conformity
-sources**, then executes the deterministic local conformance, strict ISO,
-vendored WG17 regression, regression/API, examples, documentation and
-architecture gates. The upstream case counts are discovered dynamically.
+That command first fetches and runs the **latest eight Neumerkel conformity
+sources** (WG17 syntax among them, discovered live, not vendored), then
+executes the deterministic local conformance, strict ISO,
+regression/API, examples, documentation and architecture gates. The upstream
+case counts are discovered dynamically.
 
 Useful focused commands are:
 
@@ -289,7 +290,6 @@ Useful focused commands are:
 node test/run-conformance-all.mjs
 node test/run-neumerkel.mjs
 node test/run-iso-strict.mjs
-node test/run-wg17.mjs
 npm test -- --offline
 ```
 
@@ -307,7 +307,7 @@ post-N289 STC drafts remain review input until standardized.
 | Criterion | Status | Evidence |
 | --- | --- | --- |
 | Clause 5 processor obligations have explicit dispositions | covered | `ISO-PROCESSOR-REQUIREMENTS.md` gives explicit outcomes for 5.1-5.5, including the strict/normal extension boundary. |
-| Clause 6 lexical/syntactic requirements have explicit dispositions | covered | the strict Clause 6 production/rejection gate and the 379-case vendored WG17 matrix cover the standard families; cross-profile preservation verifies that normal extensions do not reinterpret strict-accepted text. |
+| Clause 6 lexical/syntactic requirements have explicit dispositions | covered | the strict Clause 6 production/rejection gate and the live-discovered WG17 matrix cover the standard families; cross-profile preservation verifies that normal extensions do not reinterpret strict-accepted text. |
 | Clause 7 semantic requirements have explicit dispositions | covered | 7.1-7.12 now have explicit semantic, implementation-defined, or error-envelope dispositions backed by strict tests and the specialized matrices. |
 | Clause 8 built-in modes/errors have explicit dispositions | covered | `ISO-BUILTIN-MODE-ERROR-MATRIX.md` accounts for 8.2-8.17 condition by condition, using grouped rows only where every grouped condition and its evidence are named |
 | Clause 9 evaluable-functor requirements have explicit dispositions | covered | `ISO-EVALUABLE-FUNCTOR-MATRIX.md` plus the strict arithmetic regression closes the published Part 1 + Corrigenda arithmetic rows |
@@ -315,7 +315,7 @@ post-N289 STC drafts remain review input until standardized.
 | Implementation-specific strict/normal boundary is documented and tested | covered | all 5.5 hooks have explicit dispositions; the WG17 cross-profile gate verifies syntax-preservation for standard text accepted by the strict reader. |
 | Published Corrigenda 1-3 are incorporated | covered | `ISO-CORRIGENDA-MATRIX.md` inventories every published amendment cluster with executable, editorial, or superseded disposition |
 | Current post-N289 draft is tracked without silently changing the published baseline | covered | `STC-DRAFT-STATUS.md` tracks reviewed draft items separately from normative requirements |
-| Latest Neumerkel conformity is a live release gate | covered | `npm test` fetches and executes the eight current TU Wien conformity sources with dynamic inventories; the vendored WG17 matrix remains an offline reviewed-outcome regression layer |
+| Latest Neumerkel conformity is a live release gate | covered | `npm test` fetches and executes the eight current TU Wien conformity sources with dynamic inventories, including WG17 syntax; a small offline corpus of reviewed cases (`test/conformance/wg17-syntax-cases.json`) supplies an additional exact-outcome regression lock, cross-referenced by id against the live-discovered cases |
 | Third-party standard-core regression provenance is retained | covered | adapted Logtalk, Scryer, Trealla, and SWI-Prolog cases retain source identifiers and licenses in `THIRD_PARTY.md` |
 | No unexplained deviation remains in the release-facing ledger | covered | the release-facing ledger contains no remaining `review` rows; documented variation points are implementation-defined/specific or draft-only rather than unexplained deviations. |
 

package/test/conformance/NEUMERKEL-LATEST.md

@@ -1,6 +1,6 @@
 # EyeProlog — latest Neumerkel conformity
 
-Status: **PASS — 1 divergence to be addressed** — **718/719** discovered upstream cases passed.
+Status: **PASS** — **758/758** discovered upstream cases passed.
 
 This tracked report records the latest upstream inventory successfully checked by EyeProlog.
 `npm test` fetches the eight TU Wien sources again and executes the discovered cases.
@@ -15,13 +15,9 @@ Counts are output from upstream, not hard-coded test constants.
 | dif/2 | 26 | 26 |
 | length/2 | 37 | 37 |
 | phrase/2,3 | 58 | 58 |
-| Prologue draft | 32 | 33 |
+| Prologue draft | 72 | 72 |
 | setup_call_cleanup/3 | 25 | 25 |
-| **Total** | **718** | **719** |
-
-## Known divergences
-
-- **Prologue draft** (line 118): bounded=false: EyeProlog reports no max_integer value at all (ISO 7.11.1.1), so this quad's evaluation_error(int_overflow) | Max = unbounded pair never applies
+| **Total** | **758** | **758** |
 
 ## Upstream sources
 

package/test/conformance/README.md

@@ -22,8 +22,10 @@ implements of Part 2 (modules) and Part 3 (definite clause grammar rules),
 including the 2013 module-amendment evidence and the known gaps and deviations.
 Neither part carries a conformance claim. Built-in rows may group closely related conditions only when the
 row names every grouped condition and its executable evidence.
-The exit checklist is embedded in [ISO-COMPLIANCE.md](ISO-COMPLIANCE.md). [WG17-SYNTAX-STATUS.md](WG17-SYNTAX-STATUS.md) records the
-complete one-to-one trace for the vendored active upstream WG17 syntax cases.
+The exit checklist is embedded in [ISO-COMPLIANCE.md](ISO-COMPLIANCE.md). WG17
+syntax cases are discovered live and executed as part of the Neumerkel
+conformity gate (see [NEUMERKEL-LIVE.md](NEUMERKEL-LIVE.md)); there is no
+separate offline coverage ledger to keep in sync.
 [STC-DRAFT-STATUS.md](STC-DRAFT-STATUS.md) separately tracks executable
 implementation questions from the post-N289 working draft (reviewed through the 2026-08-23 items #73-#76); those cases are
 review evidence, not normative ISO claims.
@@ -96,24 +98,19 @@ node test/run-neumerkel.mjs --cached     # exact last fetched bytes; reproductio
 node test/run-neumerkel.mjs --cached --verify-report # verify tracked report against last successful live snapshot
 node test/run-iso-strict.mjs                  # Part 1 + Corrigenda strict-core processor gate
 node test/run-iso-part2-amendment.mjs  # 2013 Part 2 amendment module requirements
-node test/run-wg17.mjs                 # vendored reviewed WG17 syntax regression
 ```
 
 `node test/run-neumerkel.mjs` always fetches the current TU Wien sources. It does not skip a
 fetch because a cache exists. The runner discovers the number of active tests from those sources and fails on any newly introduced case EyeProlog does not pass. If the stable, tracked [NEUMERKEL-LATEST.md](NEUMERKEL-LATEST.md) is stale, normal tests warn rather than turning a passing engine run into a failure. `node test/run-neumerkel.mjs --update-report` performs a fresh live run and refreshes the report; after `npm test`, `node test/run-neumerkel.mjs --cached --update-report` refreshes it from the exact successful cached snapshot; and `node test/run-neumerkel.mjs --cached --verify-report` verifies that snapshot without a second network fetch. Exact bytes, SHA-256 hashes, timestamps, and HTTP validators stay under Git-ignored `.cache/neumerkel/` for inspection/reproduction only. See [NEUMERKEL-LIVE.md](NEUMERKEL-LIVE.md).
 
-The vendored WG17 syntax snapshot is intentionally secondary. Update it with `npm run conformance:update:wg17`. For focused upstream report maintenance and verification:
-
-```sh
-npm run conformance:update:wg17
-node test/run-neumerkel.mjs --update-report
-node test/run-neumerkel.mjs --cached --update-report
-node test/run-wg17.mjs
-```
-
-Every vendored syntax case is still checked against its upstream Codex
-expectation; reviewed exact outcomes are an additional regression lock rather
-than an alternative acceptance rule.
+WG17 syntax cases are discovered live, the same way the other seven TU Wien
+sources are: there is no separate vendored snapshot or update step. A small
+offline corpus, `test/conformance/wg17-syntax-cases.json`, additionally pins
+the exact reviewed EyeProlog outcome for most cases, cross-referenced by id
+against the live-discovered cases in `test/neumerkel.mjs`. Every case, live or
+reviewed, is still checked against its upstream Codex expectation
+(`matchesUpstreamExpectation` in `test/run-wg17.mjs`); a reviewed exact outcome
+is an additional regression lock, never an alternative acceptance rule.
 
 Regenerate the top-level local-corpus report with `node test/run-conformance-report.mjs conformance-report.md`. It links to [NEUMERKEL-LATEST.md](NEUMERKEL-LATEST.md) rather than duplicating live evidence. Counts in the tracked Neumerkel report are generated evidence, not permanent constants in project policy.
 
@@ -141,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 393 cases in `iso/` and 810 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 separate vendored strict-reader WG17 matrix is a deterministic regression snapshot; the live Neumerkel gate discovers the current upstream inventory at run time; 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 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.
 
 ## Updating expected output
 

package/test/conformance/THIRD_PARTY.md

@@ -70,6 +70,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 Selected standard-core cases under `iso/` are adapted from the numbered tests
 in [`tests/tests`](https://github.com/trealla-prolog/trealla/tree/main/tests/tests)
+and [`tests/issues`](https://github.com/trealla-prolog/trealla/tree/main/tests/issues)
 in Trealla Prolog. Each adapted file identifies its upstream test file. The
 cases were rewritten for EyeProlog's query and exact-output harness.
 

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

@@ -0,0 +1,8 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 41. See test/conformance/THIRD_PARTY.md.
+
+%% goal: backslash_atom(A)
+
+backslash_atom(A) :-
+    A = ('\\'),
+    A = (\).

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

@@ -0,0 +1,10 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 49. See test/conformance/THIRD_PARTY.md.
+
+:- op(9, xf, e9).
+
+%% goal: bare_exponent_lexing(X)
+
+bare_exponent_lexing(X) :-
+    X = (1e9),
+    X = e9(1).

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

@@ -0,0 +1,12 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 291, 307, and 309. See test/conformance/THIRD_PARTY.md.
+
+%% goal: bracket_and_curly_term_parsing(A, B, C)
+
+bracket_and_curly_term_parsing(A, B, C) :-
+    A = [(a,b)],
+    A = [','(a,b)],
+    B = [/**/],
+    B == [],
+    C = {a,b},
+    C = '{}'(','(a,b)).

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

@@ -0,0 +1,8 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 79-80. See test/conformance/THIRD_PARTY.md.
+
+%% goal: default_prefix_operator_priorities(A, B)
+
+default_prefix_operator_priorities(A, B) :-
+    current_op(A, fy, -),
+    current_op(B, fy, +).

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

@@ -0,0 +1,10 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 198-199. See test/conformance/THIRD_PARTY.md.
+
+%% goal: dollar_sign_atoms(A, B)
+
+dollar_sign_atoms(A, B) :-
+    atom($-),
+    atom(-$),
+    A = ($-),
+    B = (-$).

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

@@ -0,0 +1,7 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 97. See test/conformance/THIRD_PARTY.md.
+
+%% goal: empty_list_atom_functor(X)
+
+empty_list_atom_functor(X) :-
+    '[]'(1) = [ ](X).

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

@@ -0,0 +1,12 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 50-51, 204, and 220. See test/conformance/THIRD_PARTY.md.
+
+:- op(9, xf, e).
+
+%% goal: exponent_minus_lexing(X, Y)
+
+exponent_minus_lexing(X, Y) :-
+    X = (1e-9),
+    X = -(e(1), 9),
+    Y = (1.0e- 9),
+    Y = -(e(1.0), 9).

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

@@ -0,0 +1,11 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 53. See test/conformance/THIRD_PARTY.md.
+
+%% goal: large_float_exponent(X)
+
+large_float_exponent(X) :-
+    X = 1.0e100,
+    float(X),
+    X > 1.0e99,
+    Y is X / 10.0,
+    Y =:= 1.0e99.

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

@@ -0,0 +1,15 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 7-10. See test/conformance/THIRD_PARTY.md.
+
+%% goal: line_continuation_in_quoted_atoms(A, B, C)
+
+line_continuation_in_quoted_atoms(A, B, C) :-
+    A = '\
+',
+    A == '',
+    B = '\
+a',
+    B == a,
+    C = 'a\
+ b',
+    C == 'a b'.

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

@@ -0,0 +1,11 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 164. See test/conformance/THIRD_PARTY.md.
+
+:- op(7, fy, p).
+:- op(9, yfx, p).
+
+%% goal: lower_priority_prefix_with_infix(T)
+
+lower_priority_prefix_with_infix(T) :-
+    T = (1 p p p 2),
+    T = p(1, p(p(2))).

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

@@ -0,0 +1,11 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 163. See test/conformance/THIRD_PARTY.md.
+
+:- op(9, fy, p).
+:- op(9, xfy, p).
+
+%% goal: mixed_prefix_infix_priority(T)
+
+mixed_prefix_infix_priority(T) :-
+    T = (1 p p p 2),
+    T = p(1, p(p(2))).

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

@@ -0,0 +1,29 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 70-72, 99, 158, 237, and 268. See test/conformance/THIRD_PARTY.md.
+
+%% goal: comma_operator_immutable(E1, E2, E3)
+
+comma_operator_immutable(E1, E2, E3) :-
+    catch((op(1000,xfy,','), fail), error(E1, _), true),
+    catch((op(1001,xfy,','), fail), error(E2, _), true),
+    catch((op(0,xfy,','), fail), error(E3, _), true).
+
+%% goal: bar_low_priority_rejected(E)
+
+bar_low_priority_rejected(E) :-
+    catch((op(999,xfy,'|'), fail), error(E, _), true).
+
+%% goal: invalid_operator_specifier(E)
+
+invalid_operator_specifier(E) :-
+    catch((op(100,yfy,foo), fail), error(E, _), true).
+
+%% goal: curly_braces_operator_rejected(E)
+
+curly_braces_operator_rejected(E) :-
+    catch((op(500,xfy,'{}'), fail), error(E, _), true).
+
+%% goal: infix_postfix_clash_rejected(E)
+
+infix_postfix_clash_rejected(E) :-
+    catch((op(699,xf,>), fail), error(E, _), true).

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

@@ -0,0 +1,10 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 234-235. See test/conformance/THIRD_PARTY.md.
+
+:- op(400, fx, f).
+
+%% goal: space_before_paren_is_operator_application(T)
+
+space_before_paren_is_operator_application(T) :-
+    T = (f (1,2)),
+    T = f(','(1,2)).

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

@@ -0,0 +1,10 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 55. See test/conformance/THIRD_PARTY.md.
+
+:- op(1, yf, yf1).
+
+%% goal: postfix_operator_negative_number(T)
+
+postfix_operator_negative_number(T) :-
+    T = {-1 yf1},
+    T = {yf1(-1)}.

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

@@ -0,0 +1,8 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, test
+% 236. See test/conformance/THIRD_PARTY.md.
+
+%% goal: prefix_minus_chain(X)
+
+prefix_minus_chain(X) :-
+    X = (a- - -b),
+    X = -(a, -(-(b))).

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

@@ -0,0 +1,16 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 100, 103, 114-116, and 165. See test/conformance/THIRD_PARTY.md.
+
+%% goal: quote_and_char_code_literals(A, B, C, D)
+
+quote_and_char_code_literals(A, B, C, D) :-
+    '''' = '\'',
+    A = '\141\141',
+    A == a141,
+    B = 0'\',
+    integer(B),
+    C = 0''',
+    integer(C),
+    C == B,
+    D = '.''-''.',
+    atom(D).

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

@@ -0,0 +1,10 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 308 and 324. See test/conformance/THIRD_PARTY.md.
+
+%% goal: special_atom_names(A, B)
+
+special_atom_names(A, B) :-
+    A = '.+',
+    atom(A),
+    B = '%',
+    atom(B).

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

@@ -0,0 +1,9 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 172-173. See test/conformance/THIRD_PARTY.md.
+
+%% goal: subnormal_float_underflow(X)
+
+subnormal_float_underflow(X) :-
+    X is 10.0** -323,
+    X > 0.0,
+    X =:= 1.0e-323.

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

@@ -0,0 +1,12 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 65-66 and 318. See test/conformance/THIRD_PARTY.md.
+
+%% goal: unary_plus_compound(A, B)
+
+unary_plus_compound(A, B) :-
+    compound(+1),
+    compound(+ 1),
+    A = (+1),
+    A = +(1),
+    B = (+ (1*2)^3),
+    B = +((1*2)^3).

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

@@ -0,0 +1,14 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl, tests
+% 215, 248, and 249. See test/conformance/THIRD_PARTY.md.
+
+:- op(100, yfx, ~).
+
+%% goal: user_operator_with_prefix_minus(A, B, C)
+
+user_operator_with_prefix_minus(A, B, C) :-
+    A = (- (1~2~3)),
+    A = -(~(~(1,2),3)),
+    B = (- (1~2)),
+    B = -(~(1,2)),
+    C = (1~2),
+    C = ~(1,2).

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

@@ -0,0 +1,11 @@
+% Adapted from Trealla Prolog tests/tests/test0046.pl.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: append_concat(X0)
+
+append_concat(L) :-
+    append([a,b],[c,d],L).
+
+%% goal: append_split(X0, X1)
+
+append_split(L1, L2) :-
+    append(L1, L2, [a,b,c,d]).