eyeprolog 1.5.71 → 1.5.72

package/conformance-report.md

@@ -15,9 +15,9 @@ cached source bytes, avoiding a second live fetch and its race window.
 
 | Gate | Passed | Total | Status |
 |---|---:|---:|---|
-| WG17 syntax | 366 | 366 | pass |
+| WG17 syntax | 379 | 379 | pass |
 
-The WG17 syntax row executes the vendored 366-case conformity-testing matrix
+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.
 

package/package.json

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

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 366-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 379-case vendored WG17 syntax matrix; 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 366-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 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. |
 | 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. |
@@ -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 366-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 379-case vendored 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 |

package/test/conformance/WG17-SYNTAX-STATUS.md

@@ -1,7 +1,7 @@
 # WG17 syntax traceability status
 
 Source: [Conformity Testing I: Syntax](https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing)  
-Upstream inventory checked: 2026-09-01
+Upstream inventory checked: 2026-09-10
 
 This ledger counts an upstream case when its WG17 identifier, query, and
 expected ISO disposition are stored in the offline executable matrix. Every
@@ -20,25 +20,25 @@ A represented case still has to pass the executable upstream assertion in
 
 | Measure | Count |
 | --- | ---: |
-| Active upstream cases | 366 |
-| Upstream cases represented in the executable matrix | 366 (100.0%) |
+| Active upstream cases | 379 |
+| Upstream cases represented in the executable matrix | 379 (100.0%) |
 | Not yet traced one-by-one | 0 |
 | Deleted upstream identifiers | #20, #273 |
 
 The matrix runs in strict ISO stream-reader mode as part of `npm test`. The
 3 upstream `waits` cases are checked through EyeProlog's interactive input
-hook. All 366 executable cases are independently checked against the
+hook. All 379 executable cases are independently checked against the
 upstream Codex expectation. 365 cases additionally retain exact reviewed
-outcomes for stronger regression checking; 1 case currently relies on the upstream assertion alone.
+outcomes for stronger regression checking; 14 cases currently rely on the upstream assertion alone.
 
 ## Traceable evidence
 
 | Executable evidence | Referenced IDs | WG17 cases |
 | --- | ---: | --- |
-| [complete offline executable matrix](../run-wg17.mjs) | 366 | #1–#19, #21–#272, #274–#368 |
+| [complete offline executable matrix](../run-wg17.mjs) | 379 | #1–#19, #21–#272, #274–#381 |
 
-The evidence groups overlap. Their union is **366** active cases:
-#1–#19, #21–#272, #274–#368.
+The evidence groups overlap. Their union is **379** active cases:
+#1–#19, #21–#272, #274–#381.
 
 ## Untraced upstream identifiers
 

package/test/conformance/wg17-syntax-cases.json

@@ -1,6 +1,6 @@
 {
   "source": "https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing",
-  "checkedOn": "2026-09-01",
+  "checkedOn": "2026-09-10",
   "protocol": "Each query is read and executed in strict ISO mode; /**/ rows reuse the preceding setup.",
   "cases": [
     {
@@ -5557,8 +5557,112 @@
           }
         ]
       }
+    },
+    {
+      "id": 369,
+      "query": "writeq(?-).",
+      "input": "writeq(?-).",
+      "readCount": 1,
+      "expected": "?-",
+      "assertion": "upstream"
+    },
+    {
+      "id": 370,
+      "query": "writeq(./*).",
+      "input": "writeq(./*).",
+      "readCount": 1,
+      "expected": "./*",
+      "assertion": "upstream"
+    },
+    {
+      "id": 371,
+      "query": "writeq({*}).",
+      "input": "writeq({*}).",
+      "readCount": 1,
+      "expected": "{*}",
+      "assertion": "upstream"
+    },
+    {
+      "id": 372,
+      "query": "writeq(.*).",
+      "input": "writeq(.*).",
+      "readCount": 1,
+      "expected": ".*",
+      "assertion": "upstream"
+    },
+    {
+      "id": 373,
+      "query": "writeq(...*).",
+      "input": "writeq(...*).",
+      "readCount": 1,
+      "expected": "...*",
+      "assertion": "upstream"
+    },
+    {
+      "id": 374,
+      "query": "[.",
+      "input": "[.",
+      "readCount": 1,
+      "expected": "syntax err.",
+      "assertion": "upstream"
+    },
+    {
+      "id": 375,
+      "query": "{.",
+      "input": "{.",
+      "readCount": 1,
+      "expected": "syntax err.",
+      "assertion": "upstream"
+    },
+    {
+      "id": 376,
+      "query": "writeq(E).",
+      "input": "writeq(E).",
+      "readCount": 1,
+      "expected": "e.g. _1",
+      "assertion": "upstream"
+    },
+    {
+      "id": 377,
+      "query": "write_term(., [ignore_ops(true)]).",
+      "input": "write_term(., [ignore_ops(true)]).",
+      "readCount": 1,
+      "expected": ".",
+      "assertion": "upstream"
+    },
+    {
+      "id": 380,
+      "query": "write_term([' '], [ignore_ops(true)]).",
+      "input": "write_term([' '], [ignore_ops(true)]).",
+      "readCount": 1,
+      "expected": ".( ,[])",
+      "assertion": "upstream"
+    },
+    {
+      "id": 378,
+      "query": "writeq(--> /2).",
+      "input": "writeq(--> /2).",
+      "readCount": 1,
+      "expected": "syntax err.",
+      "assertion": "upstream"
+    },
+    {
+      "id": 379,
+      "query": "writeq((-->)/2).",
+      "input": "writeq((-->)/2).",
+      "readCount": 1,
+      "expected": "(-->)/2",
+      "assertion": "upstream"
+    },
+    {
+      "id": 381,
+      "query": "Finis ().",
+      "input": "Finis ().",
+      "readCount": 1,
+      "expected": "syntax err.",
+      "assertion": "upstream"
     }
   ],
   "sourceRevision": "1.300",
-  "sourceSha256": "b6590c1c5269e8e62a1ec72a8f04f21f123a77709854a8a66c436df25f3ff418"
+  "sourceSha256": "db1edfc48e065b90169be55cd93a2a62b32f9dacb2fd0707667590c1a7536e69"
 }

package/test/conformance/wg17-syntax-coverage.json

@@ -1,14 +1,14 @@
 {
   "source": "https://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_testing",
-  "checkedOn": "2026-09-01",
+  "checkedOn": "2026-09-10",
   "upstream": {
     "firstId": 1,
-    "lastId": 368,
+    "lastId": 381,
     "deletedIds": [
       20,
       273
     ],
-    "activeCases": 366
+    "activeCases": 379
   },
   "evidence": [
     {

package/test/regression/cases-documentation-sync.mjs

@@ -8,7 +8,7 @@ import { createDefaultRegistry, eyePrologLibraryIndicators, eyePrologNativeLibra
 import { assertEqual, assertIncludes, assertNotIncludes } from '../test-style.mjs';
 import { buildConformanceReport, formatConformanceReport } from '../run-conformance-report.mjs';
 import { renderWg17SyntaxStatus } from '../../tools/report-wg17-syntax-coverage.mjs';
-import { parseWg17SyntaxTable } from '../../tools/upgrade-wg17.mjs';
+import { parseWg17SyntaxTable, updateWg17InventoryReferences } from '../../tools/upgrade-wg17.mjs';
 import { executeWg17Item, matchesUpstreamExpectation, readWg17SyntaxFixture } from '../run-wg17.mjs';
 import {
   assertArrayEqual,
@@ -169,6 +169,18 @@ ${profile}`;
         assertEqual(fs.readFileSync(filename, 'utf8'), renderWg17SyntaxStatus(), 'WG17 syntax status');
       },
     },
+    {
+      name: 'WG17 inventory documentation accepts omitted counts and repairs partial updates',
+      run: () => {
+        const countFree = 'The vendored WG17 syntax snapshot is intentionally secondary.';
+        assertEqual(updateWg17InventoryReferences(countFree, 379), countFree, 'no count required');
+        const stale = 'The 366-case vendored WG17 matrix and 365-case WG17 syntax matrix; WG17 matrix has 366 executable cases. An unrelated 366-case suite stays unchanged.';
+        const expected = 'The 379-case vendored WG17 matrix and 379-case WG17 syntax matrix; WG17 matrix has 379 executable cases. An unrelated 366-case suite stays unchanged.';
+        const updated = updateWg17InventoryReferences(stale, 379);
+        assertEqual(updated, expected, 'all stale WG17 counts repaired independently of fixture state');
+        assertEqual(updateWg17InventoryReferences(updated, 379), updated, 'retry is idempotent');
+      },
+    },
     {
       name: 'WG17 upgrader accepts omitted HTML table end tags',
       run: () => {

package/tools/upgrade-wg17.mjs

@@ -396,17 +396,20 @@ function formatIdList(ids) {
   return ids.length === 0 ? 'none' : ids.map((id) => `#${id}`).join(', ');
 }
 
-function updateDocumentedInventoryCount(previousCount, nextCount) {
-  if (previousCount === nextCount) return;
+export function updateWg17InventoryReferences(text, nextCount) {
+  // Some documents deliberately omit a count. Update only explicit WG17
+  // inventory references, independently of the previous fixture count: a
+  // retry may follow a partial update that already wrote the new fixture.
+  return text
+    .replace(/\b\d+-case(?=\s+(?:vendored\s+)?WG17\b)/g, `${nextCount}-case`)
+    .replace(/\bWG17 matrix has \d+ executable/g, `WG17 matrix has ${nextCount} executable`);
+}
+
+function updateDocumentedInventoryCount(nextCount) {
   for (const filename of countDocumentationPaths) {
     const original = fs.readFileSync(filename, 'utf8');
-    const updated = original
-      .replaceAll(`${previousCount}-case`, `${nextCount}-case`)
-      .replaceAll(`WG17 matrix has ${previousCount} executable`, `WG17 matrix has ${nextCount} executable`);
-    if (updated === original) {
-      throw new Error(`WG17 inventory count was not found in ${path.relative(packageRoot, filename)}`);
-    }
-    fs.writeFileSync(filename, updated);
+    const updated = updateWg17InventoryReferences(original, nextCount);
+    if (updated !== original) fs.writeFileSync(filename, updated);
   }
 }
 
@@ -507,7 +510,7 @@ export async function upgradeWg17({ check = false, source = syntaxSource } = {})
   // Generate status after the fixture/manifest are synchronized.
   const { renderWg17SyntaxStatus } = await import('./report-wg17-syntax-coverage.mjs');
   fs.writeFileSync(syntaxStatusPath, renderWg17SyntaxStatus());
-  updateDocumentedInventoryCount(previous.cases.length, fixture.cases.length);
+  updateDocumentedInventoryCount(fixture.cases.length);
 
   // The public report executes the refreshed fixture, so keep its measured row
   // synchronized as part of the same explicit upgrade operation.