eyeprolog 1.5.71 → 1.5.73

package/README.md

@@ -84,7 +84,7 @@ The checked [Symbiotic Knowledge Graphs example](examples/symbiotic-knowledge-gr
 The same RDF → Prolog → RDF boundary is exercised by five additional checked scenarios: [cross-organization data sharing](https://eyereasoner.github.io/eyeprolog/examples/deck/cross-organization-data-sharing), [explainable EV-depot configuration](https://eyereasoner.github.io/eyeprolog/examples/deck/explainable-ev-depot-configuration), [operational incident response](https://eyereasoner.github.io/eyeprolog/examples/deck/operational-incident-response), [software supply-chain vulnerability response](https://eyereasoner.github.io/eyeprolog/examples/deck/sbom-vulnerability-response), and a [scientific evidence graph](https://eyereasoner.github.io/eyeprolog/examples/deck/scientific-evidence-graph). Together they cover policy decisions, reversible configuration reasoning, dependency-graph diagnosis, transitive SBOM exposure, and evidence aggregation with explicit disagreement.
 
 ## Benchmarks
-EyeProlog has 19 checksum-protected wall-clock benchmarks spanning recursion/indexing, constraints, tabling/WFS, DCGs, Eyelet, search, term I/O, attributes, rewriting, and the classic Prolog naive-reverse workload. Short workloads are adaptively batched before timing so millisecond-scale noise is not mistaken for a regression. Run `npm run benchmark`; create a machine-local comparison point with `npm run benchmark:baseline`; use `npm run test:benchmark` for harness checks. The checked [`examples/bench.pl`](examples/bench.pl) preserves the classic Quintus 1984 `nrev/2` workload on a 30-element list. For a comparable LIPS number, run `npm run benchmark:lips`: it executes the classic failure-driven `dobench/1` and `dodummy/1` loops in Prolog, subtracts dummy-loop CPU time, and applies the historical 496 procedure calls per reversal. The generic benchmark table still shows a quick wall-clock LIPS estimate for `classic-nrev`, but `benchmark:lips` is the canonical engine-speed measurement. LIPS is a historical basic-engine-speed indicator, not a whole-system performance score. Details are in [*The Art of EyeProlog*](the-art-of-eyeprolog.md).
+EyeProlog has 19 checksum-protected wall-clock benchmarks spanning recursion/indexing, constraints, tabling/WFS, DCGs, Eyelet, search, term I/O, attributes, rewriting, and the classic Prolog naive-reverse workload. Short workloads are adaptively batched before timing so millisecond-scale noise is not mistaken for a regression. Run `npm run benchmark`; create a machine-local comparison point with `npm run benchmark -- --save .benchmarks/baseline.json`; use `node test/run-benchmark-tests.mjs` for harness checks. The checked [`examples/bench.pl`](examples/bench.pl) preserves the classic Quintus 1984 `nrev/2` workload on a 30-element list. For a comparable LIPS number, run `node test/lips-benchmark.mjs`: it executes the classic failure-driven `dobench/1` and `dodummy/1` loops in Prolog, subtracts dummy-loop CPU time, and applies the historical 496 procedure calls per reversal. The generic benchmark table still shows a quick wall-clock LIPS estimate for `classic-nrev`, but `node test/lips-benchmark.mjs` is the canonical engine-speed measurement. LIPS is a historical basic-engine-speed indicator, not a whole-system performance score. Details are in [*The Art of EyeProlog*](the-art-of-eyeprolog.md).
 For the project policy on post-ISO-standard and WG17 compatibility features such as digit separators, see [ISO/WG17 compatibility extensions](test/conformance/ISO-WG17-EXTENSIONS.md).
 ## Development
 ```sh
@@ -93,5 +93,13 @@ cd eyeprolog
 npm install
 npm test
 ```
-`npm test` is the release gate and fetches the latest seven Neumerkel conformity sources before the local gates; use `npm run test:offline` for a network-free pass, `npm run test:conformance` for all conformance layers, `npm run test:neumerkel` for live upstream only, and `npm run test:neumerkel:cached` only to reproduce the last fetch. Upstream counts are discovered dynamically. A stale tracked [latest Neumerkel report](test/conformance/NEUMERKEL-LATEST.md) produces a warning during normal tests. `npm run conformance:update:neumerkel` refreshes it from live upstream; `npm run conformance:sync:neumerkel` refreshes it from the exact successful snapshot already fetched by `npm test`; and `npm run conformance:check:neumerkel` verifies that snapshot without a second live fetch. npm's version lifecycle uses the sync path and stages the generated reports into the release commit. Exact bytes/hashes stay under Git-ignored `.cache/neumerkel/`. Benchmarks remain `npm run benchmark` and `npm run benchmark:lips`.
+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 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).
+
 EyeProlog is released under the [MIT License](LICENSE.md).

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/examples/deck/symbiotic-knowledge-graphs.md

@@ -291,7 +291,7 @@ rdf-to-prolog \
 Run the checked EyeProlog example:
 
 ```sh
-npm run test:examples
+node test/run-examples.mjs
 ```
 
 Materialize only the RDF-shaped results:

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.71",
+  "version": "1.5.73",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -46,36 +46,10 @@
   },
   "scripts": {
     "test": "node test/run-all.mjs",
-    "test:offline": "node test/run-all.mjs --offline",
-    "test:conformance": "node test/run-conformance-all.mjs",
-    "test:conformance:offline": "node test/run-conformance-all.mjs --offline",
-    "test:neumerkel": "node test/run-neumerkel.mjs",
-    "test:neumerkel:cached": "node test/run-neumerkel.mjs --cached",
-    "test:neumerkel:harness": "node test/run-neumerkel-tests.mjs",
-    "test:iso": "node test/run-iso-strict.mjs",
-    "test:wg17": "node test/run-wg17.mjs",
-    "test:regression": "node test/run-regression.mjs",
-    "test:examples": "node test/run-examples.mjs",
-    "test:interop": "node test/run-interop.mjs",
-    "test:playground": "node test/run-playground.mjs",
-    "test:architecture": "node test/run-architecture.mjs",
-    "test:openrulebench": "node test/run-openrulebench.mjs",
-    "test:benchmark": "node test/run-benchmark-tests.mjs",
+    "conformance:update:wg17": "node tools/upgrade-wg17.mjs",
     "benchmark": "node test/benchmark.mjs",
-    "benchmark:lips": "node test/lips-benchmark.mjs",
-    "benchmark:baseline": "node test/benchmark.mjs --save .benchmarks/baseline.json",
-    "conformance:update": "npm run conformance:update:wg17 && npm run conformance:update:neumerkel",
-    "conformance:report": "node test/run-conformance-report.mjs conformance-report.md",
     "generate": "node tools/generate-library-autoload-index.mjs && node tools/generate-predicate-reference.mjs && node tools/extract-book-examples.mjs",
-    "generate:autoload": "node tools/generate-library-autoload-index.mjs",
-    "generate:reference": "node tools/generate-predicate-reference.mjs",
-    "preversion": "npm test && npm run conformance:sync:neumerkel && npm run conformance:report && git add test/conformance/NEUMERKEL-LATEST.md conformance-report.md",
-    "postversion": "git push origin HEAD --follow-tags",
-    "conformance:update:wg17": "node tools/upgrade-wg17.mjs",
-    "conformance:update:neumerkel": "node test/run-neumerkel.mjs --update-report",
-    "conformance:check:neumerkel": "node test/run-neumerkel.mjs --cached --verify-report",
-    "conformance:sync:neumerkel": "node test/run-neumerkel.mjs --cached --update-report",
-    "test:http-json": "node test/run-http-json.mjs",
-    "test:iso-part2-amendment": "node test/run-iso-part2-amendment.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",
+    "postversion": "git push origin HEAD --follow-tags"
   }
 }

package/test/README.md

@@ -0,0 +1,33 @@
+# 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.
+
+For development, run a focused check directly from the repository root:
+
+```sh
+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
+node test/run-neumerkel-tests.mjs   # upstream-fetch harness
+node test/run-examples.mjs
+node test/run-playground.mjs
+node test/run-architecture.mjs
+node test/run-openrulebench.mjs
+node test/run-http-json.mjs
+node test/run-interop.mjs           # requires the comparison engines
+node test/run-benchmark-tests.mjs   # benchmark harness
+```
+
+These runners retain their existing options; there is no separate npm alias for
+each one. Focused checks do not replace the full release gate.
+
+For performance measurements, use `npm run benchmark`. Save a local baseline with
+`npm run benchmark -- --save .benchmarks/baseline.json`, or run
+`node test/lips-benchmark.mjs` for the classic LIPS measurement.
+
+See the [conformance guide](conformance/README.md) for report maintenance.

package/test/benchmark.mjs

@@ -102,7 +102,7 @@ if (baselinePath != null) {
   const loaded = JSON.parse(await fs.readFile(baselinePath, 'utf8'));
   if (loaded.format === 2) baseline = loaded;
   else {
-    baselineWarning = `Ignoring legacy timing baseline format ${loaded.format ?? 'unknown'}; regenerate it with npm run benchmark:baseline.`;
+    baselineWarning = `Ignoring legacy timing baseline format ${loaded.format ?? 'unknown'}; regenerate it with npm run benchmark -- --save .benchmarks/baseline.json.`;
     baselinePath = null;
   }
 }
@@ -296,10 +296,10 @@ if (options.json) {
 
   process.stdout.write(`\n${results.length} benchmarks; ${options.runs} measured batch${options.runs === 1 ? '' : 'es'} each after ${options.warmup} warm-up batch${options.warmup === 1 ? '' : 'es'}, calibrated after one priming execution toward ${options.targetMs} ms per batch.\n`);
   if (baselineWarning) process.stdout.write(`${baselineWarning}\n`);
-  if (baselinePath == null && !baselineWarning) process.stdout.write('No timing baseline found; run npm run benchmark:baseline to create .benchmarks/baseline.json.\n');
+  if (baselinePath == null && !baselineWarning) process.stdout.write('No timing baseline found; run npm run benchmark -- --save .benchmarks/baseline.json to create .benchmarks/baseline.json.\n');
   if (options.save != null) process.stdout.write(`Saved timing baseline: ${path.relative(root, options.save)}\n`);
   process.stdout.write('Change compares the current median/op directly with the saved baseline median/op; the measured range is shown separately.\n');
-  process.stdout.write('The classic-nrev LIPS column is a quick wall-clock estimate. Use npm run benchmark:lips for the Quintus-style dummy-subtracted CPU measurement.\n');
+  process.stdout.write('The classic-nrev LIPS column is a quick wall-clock estimate. Use node test/lips-benchmark.mjs for the Quintus-style dummy-subtracted CPU measurement.\n');
   if (summary.comparable > 0) {
     process.stdout.write('Suite score is the geometric mean of current/baseline ratios, so every benchmark has equal relative weight; Time-weighted total compares summed medians and is dominated by longer workloads.\n');
   }

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. |
@@ -286,14 +286,14 @@ architecture gates. The upstream case counts are discovered dynamically.
 Useful focused commands are:
 
 ```sh
-npm run test:conformance
-npm run test:neumerkel
-npm run test:iso
-npm run test:wg17
-npm run test:offline
+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
 ```
 
-`test:offline` is a development/reproduction aid; it is not sufficient for a
+`npm test -- --offline` is a development/reproduction aid; it is not sufficient for a
 release claim that says EyeProlog passes the latest Neumerkel suites. Expected
 conformance outputs are never auto-accepted.
 
@@ -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/NEUMERKEL-LATEST.md

@@ -31,8 +31,8 @@ Counts are output from upstream, not hard-coded test constants.
 Exact fetched bytes, SHA-256 hashes, fetch timestamps, and HTTP validators remain under
 Git-ignored `.cache/neumerkel/` for local inspection/reproduction and are intentionally not committed.
 A normal test run warns when this tracked report is stale. Refresh directly from live
-upstream with `npm run conformance:update:neumerkel`, or sync the exact successful
-snapshot already fetched by `npm test` with `npm run conformance:sync:neumerkel`.
-`npm run conformance:check:neumerkel` verifies the tracked report against that last
+upstream with `node test/run-neumerkel.mjs --update-report`, or sync the exact successful
+snapshot already fetched by `npm test` with `node test/run-neumerkel.mjs --cached --update-report`.
+`node test/run-neumerkel.mjs --cached --verify-report` verifies the tracked report against that last
 successful live snapshot without fetching upstream a second time.
 

package/test/conformance/NEUMERKEL-LIVE.md

@@ -4,7 +4,7 @@ EyeProlog treats Ulrich Neumerkel's current ISO/WG17 conformity material as a
 moving upstream release gate, not as a frozen snapshot with permanent case
 counts.
 
-`npm run test:neumerkel` fetches these seven TU Wien sources on every live run:
+`node test/run-neumerkel.mjs` fetches these seven TU Wien sources on every live run:
 
 1. `conformity_testing` — Part 1 syntax/reader/writer matrix;
 2. `number_chars_cont_quad.pl` — `number_chars/2` continuation corpus;
@@ -32,13 +32,13 @@ Markdown no longer matches, the test still reflects engine conformance and print
 warning with the refresh command:
 
 ```sh
-npm run conformance:update:neumerkel
+node test/run-neumerkel.mjs --update-report
 ```
 
 Commit the resulting `test/conformance/NEUMERKEL-LATEST.md` after reviewing the
-change. After a successful `npm test`, `npm run conformance:sync:neumerkel` writes
+change. After a successful `npm test`, `node test/run-neumerkel.mjs --cached --update-report` writes
 the tracked report from the exact cached source bytes that just passed, avoiding a
-second network fetch. `npm run conformance:check:neumerkel` verifies the tracked
+second network fetch. `node test/run-neumerkel.mjs --cached --verify-report` verifies the tracked
 report against that same last successful snapshot. The npm version lifecycle
 uses this race-free sync path and stages the generated reports into the release
 commit. The tracked report intentionally omits fetch timestamps and HTTP validators,
@@ -53,14 +53,14 @@ Git-ignored: it is an inspection/reproduction cache, not published project evide
 Use:
 
 ```sh
-npm run test:neumerkel
+node test/run-neumerkel.mjs
 ```
 
 for the canonical live check. For offline reproduction of the exact last live
 fetch, use:
 
 ```sh
-npm run test:neumerkel:cached
+node test/run-neumerkel.mjs --cached
 ```
 
 The cached command never claims to check the latest upstream suites by itself.

package/test/conformance/README.md

@@ -83,39 +83,39 @@ npm test
 For an offline-only development pass:
 
 ```sh
-npm run test:offline
+npm test -- --offline
 ```
 
 The conformance commands are:
 
 ```sh
-npm run test:conformance          # live Neumerkel + local ISO/conformance layers
-npm run test:conformance:offline  # same local layers, no network
-npm run test:neumerkel            # the seven live upstream suites only
-npm run test:neumerkel:cached     # exact last fetched bytes; reproduction only
-npm run conformance:check:neumerkel # verify tracked report against last successful live snapshot
-npm run test:iso                  # Part 1 + Corrigenda strict-core processor gate
-npm run test:iso-part2-amendment  # 2013 Part 2 amendment module requirements
-npm run test:wg17                 # vendored reviewed WG17 syntax regression
+node test/run-conformance-all.mjs          # live Neumerkel + local ISO/conformance layers
+node test/run-conformance-all.mjs --offline  # same local layers, no network
+node test/run-neumerkel.mjs            # the seven live upstream suites only
+node test/run-neumerkel.mjs --cached     # exact last fetched bytes; reproduction only
+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
 ```
 
-`test:neumerkel` 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. `npm run conformance:update:neumerkel` performs a fresh live run and refreshes the report; after `npm test`, `npm run conformance:sync:neumerkel` refreshes it from the exact successful cached snapshot; and `npm run conformance:check:neumerkel` 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).
+`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 all upstream conformance evidence with `npm run conformance:update`, or use the focused commands:
+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
-npm run conformance:update:neumerkel
-npm run conformance:sync:neumerkel
-npm run test: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.
 
-Regenerate the top-level local-corpus report with `npm run conformance:report`. 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.
+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.
 
 Run a matching local file-based conformance subset directly with:
 

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
 
@@ -46,6 +46,6 @@ None.
 
 ## Maintenance
 
-1. Run `npm run conformance:update` to reconcile the dated fixture with upstream.
+1. Run `npm run conformance:update:wg17` to reconcile the dated fixture with upstream.
 2. Review every new or changed ISO expectation before adding its expected outcome.
-3. Run `npm run test:wg17` and keep this generated status page synchronized.
+3. Run `node test/run-wg17.mjs` and keep this generated status page synchronized.

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/neumerkel.mjs

@@ -59,8 +59,8 @@ async function fetchOne(source) {
   } catch (error) {
     throw new Error(
       `Neumerkel live fetch failed for ${source.key} (${source.url}). ` +
-      'The canonical conformance gate requires network access; use npm run test:offline ' +
-      'for a network-free local run or npm run test:neumerkel:cached to reproduce the last live fetch.',
+      'The canonical conformance gate requires network access; use npm test -- --offline ' +
+      'for a network-free local run or node test/run-neumerkel.mjs --cached to reproduce the last live fetch.',
       { cause: error },
     );
   }
@@ -88,7 +88,7 @@ async function fetchOne(source) {
 function readCachedOne(source, cacheDir) {
   const filename = path.join(cacheDir, source.filename);
   if (!fs.existsSync(filename)) {
-    throw new Error(`Neumerkel cache is incomplete: missing ${path.relative(packageRoot, filename)}; run npm run test:neumerkel online first`);
+    throw new Error(`Neumerkel cache is incomplete: missing ${path.relative(packageRoot, filename)}; run node test/run-neumerkel.mjs online first`);
   }
   const bytes = new Uint8Array(fs.readFileSync(filename));
   return {
@@ -476,9 +476,9 @@ export function formatNeumerkelMarkdown({ summary }) {
     'Exact fetched bytes, SHA-256 hashes, fetch timestamps, and HTTP validators remain under',
     'Git-ignored `.cache/neumerkel/` for local inspection/reproduction and are intentionally not committed.',
     'A normal test run warns when this tracked report is stale. Refresh directly from live',
-    'upstream with `npm run conformance:update:neumerkel`, or sync the exact successful',
-    'snapshot already fetched by `npm test` with `npm run conformance:sync:neumerkel`.',
-    '`npm run conformance:check:neumerkel` verifies the tracked report against that last',
+    'upstream with `node test/run-neumerkel.mjs --update-report`, or sync the exact successful',
+    'snapshot already fetched by `npm test` with `node test/run-neumerkel.mjs --cached --update-report`.',
+    '`node test/run-neumerkel.mjs --cached --verify-report` verifies the tracked report against that last',
     'successful live snapshot without fetching upstream a second time.',
     '',
   );

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: () => {
@@ -637,7 +649,10 @@ ${profile}`;
         const publishIndex = publishWorkflow.indexOf('run: npm publish');
         assertEqual(testIndex >= 0 && testIndex < publishIndex, true, 'publish workflow test gate');
         assertEqual(packIndex >= 0 && packIndex < publishIndex, true, 'publish workflow package gate');
-        assertEqual(pkg.scripts?.['test:openrulebench'], 'node test/run-openrulebench.mjs', 'OpenRuleBench test script');
+        assertArrayEqual(Object.keys(pkg.scripts).sort(), ['benchmark', 'conformance:update:wg17', 'generate', 'postversion', 'preversion', 'test'], 'small npm command surface');
+        assertEqual(pkg.scripts.test, 'node test/run-all.mjs', 'full release gate');
+        const runner = fs.readFileSync(path.join(packageRoot, 'test', 'run-all.mjs'), 'utf8');
+        assertIncludes(runner, 'runOpenRuleBenchChecks(reporter)', 'OpenRuleBench remains in release gate');
       },
     },
     {

package/test/run-neumerkel-tests.mjs

@@ -123,17 +123,13 @@ export function runNeumerkelHarnessTests(reporter = new TestReporter()) {
   reporter.test('release workflow reuses the successful live snapshot instead of refetching', () => {
     const pkg = JSON.parse(fs.readFileSync(path.join(packageRoot, 'package.json'), 'utf8'));
     const scripts = pkg.scripts ?? {};
-    if (scripts['conformance:sync:neumerkel'] !== 'node test/run-neumerkel.mjs --cached --update-report') {
-      throw new Error('Neumerkel sync must update from the cached successful live snapshot');
-    }
-    if (scripts['conformance:check:neumerkel'] !== 'node test/run-neumerkel.mjs --cached --verify-report') {
-      throw new Error('Neumerkel report check must not refetch live upstream');
-    }
-    if (!String(scripts.preversion ?? '').includes('conformance:sync:neumerkel')) {
+    const releaseSteps = String(scripts.preversion ?? '').split(' && ');
+    if (releaseSteps[0] !== 'npm test' || releaseSteps[1] !== 'node test/run-neumerkel.mjs --cached --update-report') {
       throw new Error('preversion must synchronize the tracked report from the successful npm test snapshot');
     }
-    if (String(scripts.preversion ?? '').includes('conformance:check:neumerkel')) {
-      throw new Error('preversion must not perform a second report check/fetch cycle after synchronization');
+    if (releaseSteps[2] !== 'node test/run-conformance-report.mjs conformance-report.md' ||
+        releaseSteps[3] !== 'git add test/conformance/NEUMERKEL-LATEST.md conformance-report.md' || releaseSteps.length !== 4) {
+      throw new Error('preversion must generate and stage both reports without another fetch');
     }
   });
 

package/test/run-neumerkel.mjs

@@ -29,7 +29,7 @@ function parseArgs(argv) {
 
 function printHelp() {
   process.stdout.write(
-    'Usage: npm run test:neumerkel -- [--cached] [--source-dir DIR] [--verify-report] [--update-report]\n\n' +
+    'Usage: node test/run-neumerkel.mjs [--cached] [--source-dir DIR] [--verify-report] [--update-report]\n\n' +
     'Default: fetch all seven current Neumerkel conformity sources live and run\n' +
     'every discovered case. A stale tracked report is reported as a warning, not\n' +
     'an engine-test failure. --verify-report makes report freshness mandatory;\n' +
@@ -54,7 +54,7 @@ export async function runNeumerkel(reporter, options = {}) {
     if (committed !== result.reportText) {
       const message =
         `tracked Neumerkel report is stale: ${relativeReportPath}\n` +
-        'Run npm run conformance:update:neumerkel and commit the updated report.';
+        'Run node test/run-neumerkel.mjs --update-report and commit the updated report.';
       if (effective.verifyReport) throw new Error(message);
       reporter.stdout.write(`WARN ${message}\n`);
     } else {

package/the-art-of-eyeprolog.md

@@ -7034,7 +7034,7 @@ library dependency should be explicit. `--iso-strict` always disables EyeProlog
 library autoloading, so strict ISO execution never gains procedures from this
 implementation convenience.
 
-`-w` / `--warnings` reports explicit dependencies on non-profile libraries and calls to non-profile predicates from otherwise common modules. `--portable` turns those diagnostics into a failing run, making the conservative profile suitable for continuous integration. Cross-engine portability can be exercised with `npm run test:interop` when EyeProlog, Trealla, and Scryer are installed.
+`-w` / `--warnings` reports explicit dependencies on non-profile libraries and calls to non-profile predicates from otherwise common modules. `--portable` turns those diagnostics into a failing run, making the conservative profile suitable for continuous integration. Cross-engine portability can be exercised with `node test/run-interop.mjs` when EyeProlog, Trealla, and Scryer are installed.
 
 ### Specialized library implementation notes
 
@@ -10339,7 +10339,7 @@ hand.
 Run all 210 normal answer goldens and the 61 selected proof goldens with:
 
 ```sh
-npm run test:examples
+node test/run-examples.mjs
 ```
 
 Run the complete conformance, regression, example, and proof corpus
@@ -10354,8 +10354,8 @@ and fast:
 
 ```sh
 npm run benchmark
-npm run benchmark:baseline
-npm run benchmark:lips
+npm run benchmark -- --save .benchmarks/baseline.json
+node test/lips-benchmark.mjs
 ```
 
 The benchmark suite contains 19 representative workloads and stores their
@@ -10368,7 +10368,7 @@ warm-up batch, five measured batches are reported as milliseconds per workload
 execution. Naturally long workloads keep a batch size of one.
 
 The classic `examples/bench.pl` workload also has a dedicated LIPS harness.
-`npm run benchmark:lips` follows the 1984 Quintus method more closely than the
+`node test/lips-benchmark.mjs` follows the 1984 Quintus method more closely than the
 generic runner: `dobench/1` and `dodummy/1` execute failure-driven loops inside
 Prolog, the dummy CPU time is subtracted, and the remaining time is converted
 using 496 procedure calls for one reversal of the 30-element list. Node's
@@ -10409,9 +10409,9 @@ lists, terms, atoms, variables, negation, queries, rules, and
 syntax. Separate corpora cover expected errors, warnings, and proofs:
 
 ```sh
-npm run test:conformance
-npm run test:iso
-npm run test:wg17
+node test/run-conformance-all.mjs
+node test/run-iso-strict.mjs
+node test/run-wg17.mjs
 node test/run-conformance-report.mjs
 ```
 
@@ -10452,7 +10452,7 @@ The repository exposes several forms of executable evidence:
 Run the browser contract independently with:
 
 ```sh
-npm run test:playground
+node test/run-playground.mjs
 ```
 
 ### Supported ISO Prolog implementation

package/tools/generate-library-autoload-index.mjs

@@ -97,7 +97,7 @@ const text = `// Generated by tools/generate-library-autoload-index.mjs.\n` +
 if (process.argv.includes('--check')) {
   const current = fs.existsSync(outputFile) ? fs.readFileSync(outputFile, 'utf8') : '';
   if (current !== text) {
-    console.error(`${path.relative(root, outputFile)} is stale; run npm run generate:autoload`);
+    console.error(`${path.relative(root, outputFile)} is stale; run npm run generate`);
     process.exit(1);
   }
   console.log(`${path.relative(root, outputFile)} is up to date`);

package/tools/generate-predicate-reference.mjs

@@ -209,7 +209,7 @@ const wanted = expectedBook(book, generated);
 
 if (process.argv.includes('--check')) {
   if (wanted !== book) {
-    console.error(`${path.relative(root, bookFile)} predicate reference is stale; run npm run generate:reference`);
+    console.error(`${path.relative(root, bookFile)} predicate reference is stale; run npm run generate`);
     process.exit(1);
   }
   console.log(`${path.relative(root, bookFile)} predicate reference is up to date (${surface.indicators.length} predicates)`);

package/tools/report-wg17-syntax-coverage.mjs

@@ -134,9 +134,9 @@ ${untracedIds.length === 0 ? 'None.' : `${formatRanges(untracedIds)}.`}
 
 ## Maintenance
 
-1. Run \`npm run conformance:update\` to reconcile the dated fixture with upstream.
+1. Run \`npm run conformance:update:wg17\` to reconcile the dated fixture with upstream.
 2. Review every new or changed ISO expectation before adding its expected outcome.
-3. Run \`npm run test:wg17\` and keep this generated status page synchronized.
+3. Run \`node test/run-wg17.mjs\` and keep this generated status page synchronized.
 `;
 }
 
@@ -158,7 +158,7 @@ if (process.argv[1] != null && path.resolve(process.argv[1]) === fileURLToPath(i
   if (process.argv.includes('--check')) {
     const current = fs.readFileSync(statusPath, 'utf8');
     if (current !== rendered) {
-      process.stderr.write('WG17 syntax status is stale; run npm run conformance:update and update the file.\n');
+      process.stderr.write('WG17 syntax status is stale; run npm run conformance:update:wg17 and update the file.\n');
       process.exitCode = 1;
     }
   } else {

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);
   }
 }
 
@@ -454,7 +457,7 @@ function parseArgs(argv) {
 }
 
 function printHelp() {
-  process.stdout.write(`Usage: npm run conformance:update -- [--check] [--source URL_OR_FILE]\n\n` +
+  process.stdout.write(`Usage: npm run conformance:update:wg17 -- [--check] [--source URL_OR_FILE]\n\n` +
     `Refreshes the vendored WG17 conformity tests from the TU Wien table.\n` +
     `New or changed rows are executable immediately against the upstream\n` +
     `Codex expectation; existing reviewed exact outcomes remain pinned only as additional regression checks.\n`);
@@ -474,7 +477,7 @@ export async function upgradeWg17({ check = false, source = syntaxSource } = {})
 
   if (check) {
     if (semanticChanges > 0) {
-      process.stderr.write('WG17 snapshot is stale; run npm run conformance:update.\n');
+      process.stderr.write('WG17 snapshot is stale; run npm run conformance:update:wg17.\n');
       process.exitCode = 1;
       return { changed: true, ...reconciliation };
     }
@@ -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.
@@ -521,7 +524,7 @@ export async function upgradeWg17({ check = false, source = syntaxSource } = {})
   process.stdout.write(`Updated WG17 snapshot (${fixture.cases.length} cases).\n`);
   if (upstreamAssertions.length > 0) {
     process.stdout.write(
-      `Direct upstream assertions used by test:wg17: ${formatIdList(upstreamAssertions)}\n`,
+      `Direct upstream assertions used by the WG17 runner: ${formatIdList(upstreamAssertions)}\n`,
     );
   }
   return { changed: semanticChanges > 0, upstreamAssertions, ...reconciliation };