eyeprolog 1.2.28 → 1.2.29

package/README.md

@@ -104,6 +104,9 @@ modules, DCGs, quads, libraries, proofs, and the other documented extensions.
 
 The auditable processor-requirement checklist lives in
 [`test/conformance/ISO-COMPLIANCE.md`](test/conformance/ISO-COMPLIANCE.md).
+The separate [WG17 syntax ledger](test/conformance/WG17-SYNTAX-STATUS.md)
+records executable dispositions for all 366 active upstream syntax cases
+(100% traced) and runs as part of `npm test`.
 EyeProlog does not yet claim independent certification or closure of every
 normative Part 1 requirement.
 

package/package.json

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

package/src/solver.js

@@ -291,8 +291,8 @@ export class Solver {
         const rest = selectedIndex === 0 ? goals.slice(1) : [...goals.slice(0, selectedIndex), ...goals.slice(selectedIndex + 1)];
         if (goal.type === 'atom' && goal.name === '!' && goal.arity === 0) {
           const marker = active[active.length - 1] ?? null;
-          this.cutEpoch++;
           if (marker) marker.cutEpoch = (marker.cutEpoch ?? 0) + 1;
+          else this.cutEpoch++;
           for (const solveStack of this.solveStacks) {
             for (let i = solveStack.length - 1; i >= 0; i--) {
               if (marker == null || solveStack[i].active?.includes(marker)) solveStack.splice(i, 1);

package/test/conformance/ISO-COMPLIANCE.md

@@ -35,7 +35,7 @@ error-ordering alternative to an individual executable assertion.
 | 7.4 — Prolog text and directives | audit | All Part 1 directive indicators are parsed; include/ensure-loaded/operator/flag/character-conversion behavior has executable coverage. Cross-text `multifile/1` and ordering constraints require explicit shall-by-shall audit. |
 | 7.5-7.6 — database and term/clause conversion | audit | Dynamic database and logical-update-view suites. Strict mode restores Part 1 private-static/public-dynamic `clause/2` access. Public/private and multi-text requirements still need complete mapping. |
 | 7.7 — execution and backtracking | audit | Control/search suites. Strict mode disables EyeProlog automatic tabling, cycle guards, and recursive numeric shortcuts so core execution uses ordinary clause selection/backtracking. |
-| 7.8 — control constructs and exceptions | audit | call, cut, conjunction, disjunction, if-then, catch/throw, renamed-copy tests. |
+| 7.8 — control constructs and exceptions | audit | call, cut, conjunction, disjunction (including failed branches after callee-local cuts), if-then, catch/throw, renamed-copy tests. |
 | 7.9 — expression evaluation | audit | Arithmetic/evaluation/error suites, including Corrigenda. Exceptional-value/error-precedence matrix remains to be exhaustively enumerated. |
 | 7.10 — input/output concepts | audit | Stream, character/byte I/O, read/write options, operator-sensitive write-back, Corrigendum 3 writer cases. Full option cross-product remains open. |
 | 7.11 — flags | audit | Required Part 1 flags implemented. Normal and strict modes use the ISO `unknown=error` default; strict mode excludes the EyeProlog `occurs_check` extension. |

package/test/conformance/README.md

@@ -9,7 +9,8 @@ The suite is intentionally file-based. Exact standard output, errors, warnings,
 and proof output test the behavior of the JavaScript implementation.
 [ISO-MATRIX.md](ISO-MATRIX.md) maps Part 1 normative clause families, all three
 corrigenda, Part 2 modules, and Part 3 definite clause grammars to representative
-executable cases.
+executable cases. [WG17-SYNTAX-STATUS.md](WG17-SYNTAX-STATUS.md) records the
+complete one-to-one trace for all 366 active upstream syntax cases.
 
 “Conformance” here means conformance to EyeProlog's documented ISO compatibility
 profile and implementation extensions. The default registry covers the exact
@@ -68,6 +69,12 @@ Run the Part 1 + Corrigenda strict-core processor gate:
 npm run test:iso-strict
 ```
 
+Run the complete WG17 syntax matrix independently:
+
+```sh
+npm run test:wg17-syntax
+```
+
 Summarize conformance coverage by category:
 
 ```sh
@@ -103,9 +110,10 @@ Scryer Prolog, Trealla Prolog, and SWI-Prolog. Their upstream identifiers and li
 are recorded in [THIRD_PARTY.md](THIRD_PARTY.md).
 
 The corpus has 386 cases in `iso/` and 792 file-based conformance cases in
-total. The generated `conformance-report.md` is the authoritative source for
-current category totals. Together with regression, documentation-sync, API,
-example, and book-example checks, `npm test` is the release gate.
+total. The separate strict-reader WG17 matrix has 366 executable dispositions.
+The generated `conformance-report.md` is the authoritative source for current
+category totals. Together with regression, documentation-sync, API, example,
+and book-example checks, `npm test` is the release gate.
 
 ## Updating expected output
 

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

@@ -33,6 +33,16 @@ if_then_cut(Value) :-
     (true -> (!, choice(Value)); fail).
 if_then_cut(fallback).
 
+callee_cut_then_fail :-
+    !,
+    fail.
+
+callee_cut_disjunction :-
+    (callee_cut_then_fail; true).
+
+between_disjunction :-
+    (between(1, 1, _), false; true).
+
 %% goal: committed_answer(X0)
 
 committed_answer(Value) :-
@@ -67,3 +77,13 @@ call_local_answer(Kind, Value) :-
 
 if_then_answer(Value) :-
     if_then_cut(Value).
+
+%% goal: callee_cut_disjunction_answer
+
+callee_cut_disjunction_answer :-
+    callee_cut_disjunction.
+
+%% goal: between_disjunction_answer
+
+between_disjunction_answer :-
+    between_disjunction.

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

@@ -7,3 +7,5 @@ disjunction_answer(a).
 call_local_answer(fallback, ok).
 if_then_answer(a).
 if_then_answer(b).
+callee_cut_disjunction_answer.
+between_disjunction_answer.

package/the-art-of-eyeprolog.md

@@ -1831,8 +1831,11 @@ sorted-list operation. No process-global variable registry or creation ordinal
 is retained or exposed through later comparisons.
 
 EyeProlog periodically checks detectable JavaScript heap use and keeps a quarter
-of the host heap ceiling in reserve so the solver can unwind and report
-`resource_error(memory)` before a fatal host out-of-memory abort. Embedders may
+of the applicable host heap ceiling in reserve so the solver can unwind and report
+`resource_error(memory)` before a fatal host out-of-memory abort. When Node is
+started with `--max-old-space-size`, the guard compares that old-generation
+ceiling with V8's non-young heap spaces; short-lived new-generation allocations
+therefore do not cause a false resource error. Embedders may
 replace that automatically derived soft ceiling with `maxMemoryBytes`; setting
 it to `Infinity` disables the proactive check. Environments that do not expose
 heap use cannot provide the proactive check. Host capacity failures that V8
@@ -5000,7 +5003,10 @@ travel_status(From, To, Status) :-
 discards alternatives created since entry into the current predicate call.
 The two can produce the same first answer without expressing the same control
 boundary. Keep cut close to the choice it documents and test the complete
-answer set before and after introducing it.
+answer set before and after introducing it. A cut executed inside a predicate
+called by one disjunction branch remains local to that predicate: if the branch
+later fails, `Left ; Right` must still try `Right`. This remains true for
+cut-bearing validation helpers used by generators such as `between/3`.
 
 Exceptions separate an exceptional call from ordinary logical failure:
 
@@ -5252,7 +5258,11 @@ error rather than guessing an encoding.
 `read/1-2` reads the next term. `read_term/2-3` can also return all variables,
 source variable names, and singletons. The metadata contains variables, so a
 program normally validates or transforms it before placing it in a ground
-query answer. `stream_property/2` exposes mode, type, alias, position, and
+query answer. Every read operation creates a fresh variable set: a source name
+such as `X` in two separately read terms does not alias either the caller's `X`
+or the variable named `X` by the other read. Within one read term, repeated
+occurrences and the variables returned through its metadata still share as
+written. `stream_property/2` exposes mode, type, alias, position, and
 end state. `current_input/1`, `current_output/1`, `set_input/1`, and
 `set_output/1` manage defaults shared by nested goals.
 
@@ -5612,7 +5622,7 @@ collision because other Prolog systems commonly reject it while loading.
 | `\+(+Goal)` | Negation as finite failure. It succeeds once when `Goal` has no solution and never exports bindings made while testing `Goal`. Bind variables needed by the test first. |
 | `once(+Goal)` | Returns only the first solution of `Goal`, or fails when there is none. |
 | `repeat` | Produces an unbounded sequence of successes; normally paired with a test, cut, exception, or `halt/0`. |
-| `Left ; Right` | Enumerates `Left`, then `Right`, restoring the incoming environment between branches. |
+| `Left ; Right` | Enumerates `Left`, then `Right`, restoring the incoming environment between branches. A cut inside a called predicate cannot discard the other branch. |
 | `If -> Then` | Commits to the first solution of `If` and runs `Then`; it does not provide an else branch by itself. |
 | `(If -> Then ; Else)` | Runs `Then` from the first solution of `If`, otherwise runs `Else`. Alternatives of `If` are discarded. |
 | `catch(+Goal,?Catcher,+Recovery)` | Runs `Goal`; on a matching thrown ball or `PrologError`, unifies it with `Catcher` and calls `Recovery`. Runtime errors are exposed as *error(Formal,eyeprolog)*. |
@@ -7005,7 +7015,7 @@ hand.
 
 #### Running and extending the corpus
 
-Run all 189 normal answer goldens and the 60 selected proof goldens with:
+Run all 211 normal answer goldens and the 61 selected proof goldens with:
 
 ```sh
 npm run test:examples
@@ -7050,6 +7060,7 @@ syntax. Separate corpora cover expected errors, warnings, and proofs:
 ```sh
 npm run test:conformance
 npm run test:iso-strict
+npm run test:wg17-syntax
 node test/run-conformance-report.mjs
 ```
 
@@ -7058,14 +7069,16 @@ Part 1 conformance audit. It distinguishes implemented/tested families from
 requirements whose normative `shall` clauses, option combinations, or error
 precedence still need one-by-one closure. `test/conformance/ISO-MATRIX.md`
 maps language families to representative executable cases.
+`test/conformance/WG17-SYNTAX-STATUS.md` separately traces all 366 active
+upstream syntax cases to exact strict-reader outcomes, with no untraced case.
 
 The complete suite must pass before release. The file-based conformance corpus
 contains 792 cases, including 386 focused ISO
 cases derived from the success, failure, mode, and error behavior in
 ISO/IEC 13211-1 clauses 7 and 8, Part 2 modules, and Part 3 grammar rules.
-Separate exact-output suites check 189 normal
-examples and 60 proof examples; all extracted book programs are parsed and
-their declared goals are executed. The seven-case
+Separate exact-output suites check 211 normal
+examples and 61 proof examples; all extracted book programs are parsed and
+their declared goals are executed. The eight-case
 playground contract suite imports the production worker, sends real reasoning
 requests through its message protocol, and crawls the served module graph for
 missing assets, bad MIME types, and static Node-only imports. The generated

package/why-eyeprolog.md

@@ -20,7 +20,8 @@ syntax.
 EyeProlog implements the Part 1 core together with Technical Corrigenda 1, 2,
 and 3, Part 2 modules, and the Part 3 definite clause grammar specification.
 Its executable conformance matrix and tests document the supported
-behavior. This is extensive implementation evidence, not certification by an
+behavior, including a complete executable trace of the 366 active WG17 syntax
+cases. This is extensive implementation evidence, not certification by an
 independent standards body.
 
 ## Why a small implementation?