eyeprolog 1.2.3 → 1.2.5

package/conformance-report.md

@@ -11,7 +11,7 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | builtins | 11 | 0 | 0 | 0 | 11 |
 | context | 11 | 0 | 0 | 0 | 11 |
 | control | 15 | 0 | 0 | 0 | 15 |
-| iso | 167 | 209 | 0 | 0 | 376 |
+| iso | 167 | 210 | 0 | 0 | 377 |
 | lists | 52 | 3 | 0 | 0 | 55 |
 | modules | 2 | 0 | 0 | 0 | 2 |
 | negation | 8 | 0 | 19 | 0 | 27 |
@@ -23,4 +23,4 @@ This report summarizes the file-based conformance corpus under `test/conformance
 | terms | 26 | 3 | 0 | 0 | 29 |
 | unification | 18 | 0 | 0 | 0 | 18 |
 | variables | 16 | 9 | 0 | 0 | 25 |
-| **Total** | **482** | **260** | **19** | **21** | **782** |
+| **Total** | **482** | **261** | **19** | **21** | **783** |

package/examples/access-control-policy.pl

@@ -53,3 +53,5 @@ status(test1, policy_passed) :-
 
 reason(test1, "all required claims are present, one allowed claim is present, and no forbidden claim is present") :-
   passes_policy(test1, policy_x).
+
+:- set_prolog_flag(unknown, fail).

package/examples/d3-group.pl

@@ -102,3 +102,5 @@ subgroupCount(d3_group, Count) :-
   length(Groups, Count).
 
 reason(d3_group, "findall enumerates candidate subgroups and sort gives canonical subgroup order").
+
+:- set_prolog_flag(unknown, fail).

package/examples/fast-fourier-transform.pl

@@ -53,3 +53,4 @@ node(n(A1, N1), [n(A, N)|T]-[n(A1, N1), n(A, N)|T]) :-
 % query
 %% goal: fft([0, 1, 2, 3, 4, 5, 6, 7], _)
 
+:- set_prolog_flag(unknown, fail).

package/examples/map-four-color-search.pl

@@ -66,3 +66,5 @@ four_color_answer(european_union, Coloring) :-
   place_order(Places),
   place_pairs(Places, Coloring),
   once(color_places(Coloring)).
+
+:- set_prolog_flag(unknown, fail).

package/examples/partial-evaluator.pl

@@ -72,3 +72,5 @@ residual_program(Name, Residual) :- program(Name, Expr, Env), pe(Env, Expr, Resi
 
 partialEvalAnswer(residual(Name), Residual) :- residual_program(Name, Residual).
 partialEvalAnswer(note, "static inputs are folded while dynamic variables remain as residual code") :- residual_program(poly_y, _).
+
+:- set_prolog_flag(unknown, fail).

package/examples/weighted-interval-scheduling.pl

@@ -82,3 +82,5 @@ weighted_interval_answer(chosen_interval, interval(I, Start, Finish, Value)) :-
   chosen_from(1, I),
   interval(I, Start, Finish, Value).
 weighted_interval_answer(candidate_count, Count) :- countall(interval(_i, _start, _finish, _value), Count).
+
+:- set_prolog_flag(unknown, fail).

package/package.json

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

package/src/iso.js

@@ -1075,9 +1075,12 @@ function quotedEscapeEnd(source, index) {
     while (/^[0-9A-Fa-f]$/.test(source[cursor] ?? '')) cursor++;
     return source[cursor] === '\\' ? cursor : Math.max(index + 1, cursor - 1);
   }
-  if (/^[0-7]$/.test(escaped)) {
+  if (/^[0-9]$/.test(escaped)) {
     let cursor = index + 1;
-    while (/^[0-7]$/.test(source[cursor] ?? '')) cursor++;
+    // Scan all decimal digits here, including 8 and 9.  This scanner only
+    // locates the end of a candidate quoted escape; the parser remains
+    // authoritative and rejects non-octal digits.
+    while (/^[0-9]$/.test(source[cursor] ?? '')) cursor++;
     return source[cursor] === '\\' ? cursor : Math.max(index + 1, cursor - 1);
   }
 

package/src/parser.js

@@ -303,6 +303,10 @@ class Parser {
       if (this.take() !== '\\') throw new Error(`parse line ${line}: bad octal escape`);
       return String.fromCodePoint(Number.parseInt(digits, 8));
     }
+    // A backslash followed by a decimal digit is numeric-escape syntax, but
+    // ISO octal digits are limited to 0..7.  Do not reinterpret \8 or \9 as
+    // implementation-specific one-character escapes.
+    if (/^[0-9]$/.test(escaped)) throw new Error(`parse line ${line}: bad octal escape`);
     return escaped;
   }
   nextToken() {

package/src/repl.js

@@ -34,7 +34,7 @@ export async function runRepl(engine, options = {}) {
         const goal = parseGoal(engine, state, text);
         if (!options.isoStrict && isUseModuleGoal(goal)) {
           sources.push({ text: `:- ${text}.\n`, filename: '<repl>' });
-          state = makeState(engine, sources, output, options);
+          state = makeState(engine, sources, output, options, state);
           state.solver.runInitializations();
           output.write('   true.\n');
           continue;
@@ -42,17 +42,22 @@ export async function runRepl(engine, options = {}) {
         const consultFiles = options.isoStrict ? null : consultDesignations(engine, goal);
         if (consultFiles != null) {
           for (const filename of consultFiles) sources.push(await readSource(filename));
-          state = makeState(engine, sources, output, options);
+          state = makeState(engine, sources, output, options, state);
           state.solver.runInitializations();
           output.write('   true.\n');
           continue;
         }
 
-        await prepareInteractiveTermInput(state, goal, reader);
-        const result = await solveQuery(engine, state, goal, reader, output);
-        if (result?.halted) {
-          exitCode = result.code;
-          break;
+        const flagsBefore = snapshotFlagValues(state.solver);
+        try {
+          await prepareInteractiveTermInput(state, goal, reader);
+          const result = await solveQuery(engine, state, goal, reader, output);
+          if (result?.halted) {
+            exitCode = result.code;
+            break;
+          }
+        } finally {
+          rememberFlagOverrides(state, flagsBefore);
         }
       } catch (error) {
         if (error?.name === 'HaltSignal') {
@@ -143,7 +148,7 @@ class LineReader {
   }
 }
 
-function makeState(engine, sources, output, options = {}) {
+function makeState(engine, sources, output, options = {}, previousState = null) {
   const strictIso = options.isoStrict === true;
   const program = engine.Program.parseSources(sources, { strictIso, sourceMetadata: strictIso });
   const solver = new engine.Solver(program, {
@@ -151,7 +156,25 @@ function makeState(engine, sources, output, options = {}) {
     isoStrict: strictIso,
     ioOptions: { write: (text) => output.write(String(text)) },
   });
-  return { program: solver.program, solver, strictIso };
+  const flagOverrides = new Map(previousState?.flagOverrides ?? []);
+  for (const [name, value] of flagOverrides) {
+    const definition = solver.prologFlags.get(name);
+    if (definition?.changeable && definition.allowed.includes(value)) {
+      definition.value = engine.atom(value);
+    }
+  }
+  return { program: solver.program, solver, strictIso, flagOverrides };
+}
+
+function snapshotFlagValues(solver) {
+  return new Map([...solver.prologFlags].map(([name, definition]) => [name, definition.value?.name]));
+}
+
+function rememberFlagOverrides(state, before) {
+  for (const [name, definition] of state.solver.prologFlags) {
+    const value = definition.value?.name;
+    if (before.get(name) !== value) state.flagOverrides.set(name, value);
+  }
 }
 
 async function readQuery(reader) {
@@ -230,9 +253,12 @@ function quotedEscapeEnd(source, index) {
     while (/^[0-9A-Fa-f]$/.test(source[cursor] ?? '')) cursor++;
     return source[cursor] === '\\' ? cursor : Math.max(index + 1, cursor - 1);
   }
-  if (/^[0-7]$/.test(escaped)) {
+  if (/^[0-9]$/.test(escaped)) {
     let cursor = index + 1;
-    while (/^[0-7]$/.test(source[cursor] ?? '')) cursor++;
+    // Scan all decimal digits here, including 8 and 9.  This scanner only
+    // locates the end of a candidate quoted escape; the parser remains
+    // authoritative and rejects non-octal digits.
+    while (/^[0-9]$/.test(source[cursor] ?? '')) cursor++;
     return source[cursor] === '\\' ? cursor : Math.max(index + 1, cursor - 1);
   }
 

package/src/solver.js

@@ -49,7 +49,7 @@ export class Solver {
     this.inferenceLimitExceeded = false;
     this.solutionLimit = options.solutionLimit ?? 10000000;
     this.solutionsSeen = 0;
-    this.prologFlags = options.prologFlags ?? defaultPrologFlags(this.registry?.eyePrologLibrary ? 'fail' : 'error', this.isoStrict);
+    this.prologFlags = options.prologFlags ?? defaultPrologFlags('error', this.isoStrict);
     if (this.isoStrict) {
       for (const name of [...this.prologFlags.keys()]) {
         if (!ISO_CORE_FLAG_NAMES.has(name)) this.prologFlags.delete(name);

package/src/write.js

@@ -22,6 +22,7 @@ function quoteAtom(name) {
   for (const ch of name) {
     if (ch === "'") out += "''";
     else if (ch === '\\') out += '\\\\';
+    else if (ch === '\x00') out += '\\0\\';
     else if (ch === '\x07') out += '\\a';
     else if (ch === '\b') out += '\\b';
     else if (ch === '\r') out += '\\r';
@@ -59,6 +60,7 @@ function writeString(value) {
   let out = '"';
   for (const ch of value) {
     if (ch === '"' || ch === '\\') out += `\\${ch}`;
+    else if (ch === '\x00') out += '\\0\\';
     else if (ch === '\x07') out += '\\a';
     else if (ch === '\b') out += '\\b';
     else if (ch === '\r') out += '\\r';

package/test/conformance/ISO-COMPLIANCE.md

@@ -38,7 +38,7 @@ error-ordering alternative to an individual executable assertion.
 | 7.8 — control constructs and exceptions | audit | call, cut, conjunction, disjunction, 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. Strict mode excludes the EyeProlog `occurs_check` extension and uses ISO `unknown=error`. |
+| 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. |
 | 7.12 — errors | audit | ISO `error(Error, Context)` envelope, type/domain/permission/representation/evaluation/syntax families and focused error cases. Complete prescribed-error ordering remains open. |
 | 8.2-8.17 — built-in predicates | audit | Predicate-family coverage is mapped in ISO-MATRIX.md; Corrigendum 2 additions (`subsumes_term/2`, `term_variables/2`, `call/2..8`, `false/0`) are in the strict registry. Mode/error matrix is not yet one-row-per-standard-row. |
 | Clause 9 — evaluable functors | audit | Integer/float/rounding/transcendental/bitwise suites and corrigendum cases. Host floating-point representation choices remain documented implementation-defined behavior. |

package/test/conformance/ISO-MATRIX.md

@@ -8,7 +8,7 @@ compliance audit and the remaining work before a full conformance claim.
 
 | Standard area | Implementation | Representative executable coverage |
 | --- | --- | --- |
-| Clause 6 lexical and term syntax | tokenizer, operator parser, lists, curly terms, quotes, numeric syntax, comments | `scryer_lexical_terms`, `lexical_and_curly_terms`, `double_quoted_lists`, `corrigendum1_double_quote_operator`, `wg17_syntax_high_risk`, syntax error cases |
+| Clause 6 lexical and term syntax | tokenizer, operator parser, lists, curly terms, quotes, numeric syntax, comments | `scryer_lexical_terms`, `lexical_and_curly_terms`, `double_quoted_lists`, `corrigendum1_double_quote_operator`, `wg17_syntax_high_risk`, `wg17_invalid_octal_escape`, syntax error cases |
 | Clause 7 term order and unification | finite-tree unification, identity, standard order, errors | `unification_control_information`, `swipl_occurs_check`, `term_modes_and_ordering`, `logtalk_compare_standard_order` |
 | Clause 7 control and exceptions | call, cut, conjunction, disjunction, if-then-else, catch and throw | `cut_control`, `control_and_terms`, `exceptions_and_flags`, `corrigenda_catch_callability`, `throw_copies_ball` |
 | 8.2-8.5 term predicates | unification, Corrigendum 2 tests, comparison, sorting, creation and decomposition | `corrigenda_term_predicates`, `corrigenda_sort_keysort`, `logtalk_arg_unification`, `logtalk_univ`, associated error cases |
@@ -31,9 +31,9 @@ integer powers (Cor.3).
 Implementation-defined choices are documented in *The Art of EyeProlog*:
 integers and arity are unbounded by the Prolog model (subject to host memory),
 ordinary unification performs an occurs check, `double_quotes` defaults to
-`chars`, strict core mode uses ISO `unknown=error` while normal EyeProlog
-defaults `unknown` to `fail`, `//` rounds toward zero, floating-point operations
-use finite ECMAScript numbers, and character codes use Unicode scalar values.
+`chars`, both strict core mode and normal EyeProlog use the ISO
+`unknown=error` default, `//` rounds toward zero, floating-point operations use
+finite ECMAScript numbers, and character codes use Unicode scalar values.
 
 This is an executable conformance matrix, not a certification issued by an
 independent standards body. Release gating runs the ISO cases and the dedicated

package/test/conformance/README.md

@@ -102,7 +102,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 376 cases in `iso/` and 782 file-based conformance cases in
+The corpus has 377 cases in `iso/` and 783 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.

package/test/conformance/cases/aggregation/057_countall_empty_and_nonempty.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 item(a).
 item(b).
 answer(counts, counts(C, Z)) :- countall(item(X), C), countall(missing(X), Z).

package/test/conformance/cases/aggregation/075_aggregation_edges.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 % Reference 9.1: aggregation handles empty result sets, structured templates, and ordered best answers.
 %% goal: answer(X0, X1)
 

package/test/conformance/cases/aggregation/aggregate_max_no_answers_fails.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(ok) :- \+ aggregate_max(Key, Value, missing(Value), BestKey, BestValue).

package/test/conformance/cases/aggregation/countall_zero.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(N) :- countall(missing(X), N).

package/test/conformance/cases/aggregation/findall_empty_bag.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(Bag) :- findall(X, missing(X), Bag).

package/test/conformance/cases/aggregation/sumall_empty_zero.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(N) :- sumall(X, missing(X), N).

package/test/conformance/cases/control/074_forall_edges.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 % Reference 9.1: forall/2 succeeds for every generated binding, including the empty generator case.
 %% goal: answer(X0, X1)
 

package/test/conformance/cases/control/extra_not_unbound_unknown_goal_succeeds.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(not_unbound_unknown_goal_succeeds) :- \+ missing(X).

package/test/conformance/cases/control/extra_once_empty_fails.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(once_empty_fails) :- once(missing).

package/test/conformance/cases/control/forall_empty_generator_true.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(ok) :- \+ empty_counterexample.

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

@@ -1,6 +1,6 @@
 % High-risk ISO syntax/write regressions, independently derived from
 % ISO/IEC 13211-1 clauses 6.3, 6.4 and 7.10 and cross-checked against the
-% public WG17 conformity-testing syntax cases (#1, #14-15, #28-31, #33-34).
+% public WG17 conformity-testing syntax cases (#1, #14-15, #28-31, #33-34, #301).
 
 %% goal: wg17_numeric_escape
 wg17_numeric_escape :-
@@ -24,3 +24,7 @@ wg17_operator_precedence :-
 %% goal: wg17_canonical_list
 wg17_canonical_list :-
     write_canonical([a]), nl.
+
+%% goal: wg17_zero_character_escape
+wg17_zero_character_escape :-
+    writeq('\0\'), nl.

package/test/conformance/cases/negation/not_unknown_goal_succeeds.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 % Negation succeeds when its inner goal has no solution.
 %% goal: answer(X0)
 

package/test/conformance/errors/iso/wg17_invalid_octal_escape.pl

@@ -0,0 +1 @@
+'\8\'.

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

@@ -11,3 +11,5 @@ a :- b, c
 wg17_operator_precedence.
 '.'(a,[])
 wg17_canonical_list.
+'\0\'
+wg17_zero_character_escape.

package/test/conformance/expected-errors/iso/wg17_invalid_octal_escape.txt

@@ -0,0 +1 @@
+parse line 1: bad octal escape

package/test/conformance/warnings/negation/extra_stratified_multiple_negations_quiet.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 p(a).

package/test/conformance/warnings/negation/extra_warning_preserves_empty_stdout.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 p(a) :- \+ q(a).

package/test/conformance/warnings/negation/negative_unknown_group_quiet.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 answer(ok) :- \+ missing(ok).

package/test/conformance/warnings/negation/stratified_negative_unknown_after_positive_quiet.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 %% goal: answer(X0)
 
 item(a).

package/test/conformance/warnings/negation/stratified_quiet.pl

@@ -1,3 +1,5 @@
+:- set_prolog_flag(unknown, fail).
+
 % Stratified negation emits no portability warning.
 %% goal: answer(X0)
 

package/test/run-regression.mjs

@@ -671,6 +671,31 @@ c4 ?- call((!;1)).
         assertEqual(result.stderr, '', 'stderr');
       },
     },
+    {
+      name: 'writeq preserves the NUL character with an ISO octal escape',
+      run: () => {
+        const result = runCli([], {
+          input: "writeq('\\0\\').\nhalt.\n",
+        });
+        assertEqual(result.status, 0, 'exit status');
+        assertEqual(result.stdout, "?- '\\0\\'   true.\n?- ", 'stdout');
+        assertEqual(result.stderr, '', 'stderr');
+      },
+    },
+    {
+      name: 'REPL rejects non-octal numeric escapes without waiting for continuation',
+      run: () => {
+        const result = runCli([], {
+          input: "'\\8\\'.\nhalt.\n",
+        });
+        assertEqual(result.status, 0, 'exit status');
+        assertEqual(result.stdout,
+          '?-    parse line 1: bad octal escape.\n' +
+          '?- ',
+          'stdout');
+        assertEqual(result.stderr, '', 'stderr');
+      },
+    },
     {
       name: 'REPL read predicates consume following interactive term input',
       run: () => {
@@ -716,6 +741,36 @@ c4 ?- call((!;1)).
         assertEqual(result.stderr, '', 'stderr');
       },
     },
+    {
+      name: 'REPL preserves runtime unknown flag across consultation',
+      run: () => {
+        const filename = path.join(tmp, `repl-empty-${++tmpCounter}.pl`);
+        fs.writeFileSync(filename, '');
+        const result = runCli([], {
+          input:
+            'current_prolog_flag(unknown, V).\n' +
+            'set_prolog_flag(unknown, fail).\n' +
+            `[${sourceAtom(filename)}].\n` +
+            'current_prolog_flag(unknown, V).\n' +
+            'set_prolog_flag(unknown, error).\n' +
+            `[${sourceAtom(filename)}].\n` +
+            'missing_after_consult.\n' +
+            'halt.\n',
+        });
+        assertEqual(result.status, 0, 'exit status');
+        assertEqual(result.stdout,
+          '?-    V = error.\n' +
+          '?-    true.\n' +
+          '?-    true.\n' +
+          '?-    V = fail.\n' +
+          '?-    true.\n' +
+          '?-    true.\n' +
+          '?-    error(existence_error(procedure, missing_after_consult / 0), eyeprolog).\n' +
+          '?- ',
+          'stdout');
+        assertEqual(result.stderr, '', 'stderr');
+      },
+    },
     {
       name: 'REPL use_module imports Part 2 library predicates',
       run: () => {
@@ -723,7 +778,11 @@ c4 ?- call((!;1)).
           input: 'append(X, Y, [1, 2, 3, 4]).\nuse_module(library(lists)).\nappend(X, Y, [1, 2, 3, 4]).\n\nhalt.\n',
         });
         assertEqual(result.status, 0, 'exit status');
-        assertEqual(result.stdout, '?-    false.\n?-    true.\n?-    X = [], Y = [1, 2, 3, 4]\n;  ... .\n?- ', 'stdout');
+        assertEqual(result.stdout,
+          '?-    error(existence_error(procedure, append / 3), eyeprolog).\n' +
+          '?-    true.\n' +
+          '?-    X = [], Y = [1, 2, 3, 4]\n;  ... .\n?- ',
+          'stdout');
         assertEqual(result.stderr, '', 'stderr');
       },
     },
@@ -1120,6 +1179,19 @@ c4 ?- call((!;1)).
         assertEqual(infix.arity, 2, 'quad query arity');
       },
     },
+    {
+      name: 'normal EyeProlog uses the ISO unknown=error default',
+      run: () => {
+        const program = Program.parse('');
+        const solver = new Solver(program, { registry: getEyePrologRegistry() });
+        assertEqual(solver.prologFlags.get('unknown')?.value?.name, 'error', 'normal unknown default');
+        assertEqual(
+          run('', { goal: 'current_prolog_flag(unknown, V)' }).stdout,
+          'current_prolog_flag(unknown, error).\n',
+          'public runner unknown default',
+        );
+      },
+    },
     {
       name: 'strict ISO core mode exposes only the Part 1 registry and flag surface',
       run: () => {
@@ -1265,6 +1337,16 @@ c4 ?- call((!;1)).
           "answer('\\a').\n",
           'read/1 user_input numeric escape',
         );
+
+        const invalidOctal = String.fromCharCode(39, 92, 56, 92, 39, 46);
+        assertEqual(
+          run('answer(T) :- catch(read(T), E, T=E).\n', {
+            goal: 'answer(T)',
+            ioOptions: { input: invalidOctal },
+          }).stdout,
+          'answer(error(syntax_error(read_term), eyeprolog)).\n',
+          'read/1 rejects non-octal numeric escape',
+        );
       },
     },
     {

package/the-art-of-eyeprolog.md

@@ -5279,7 +5279,10 @@ message("café").
 Inside a quoted atom, a single quote is doubled: `'don''t'`. Quoted characters
 support the ISO symbolic control escapes such as `\a`, `\n`, and `\t`, and numeric
 octal or hexadecimal escapes are terminated by a backslash; for example, `'\7\'`
-and `'\x7\'` both denote the alert character. Double-quoted lists use the same
+and `'\x7\'` both denote the alert character. The NUL character, when present in
+the processor character set, is written readably as `'\0\'`; digits `8` and `9`
+are not octal digits, so forms such as `'\8\'` are syntax errors rather than
+continuation input. Double-quoted lists use the same
 quoted-character escapes. Whitespace is insignificant
 between tokens, and a `%` comment continues to the end of its line. Doubling
 the active delimiter is also accepted inside either quoted form, so `""`
@@ -5667,18 +5670,23 @@ silently changing a static program.
 | `max_integer` | `unbounded` | `unbounded` | no |
 | `min_integer` | `unbounded` | `unbounded` | no |
 | `max_arity` | `unbounded` | `unbounded` | no |
-| `unknown` | `fail` | `error`, `fail`, `warning` | yes |
+| `unknown` | `error` | `error`, `fail`, `warning` | yes |
 | `double_quotes` | `chars` | `chars`, `codes`, `atom` | yes |
 | `occurs_check` | `true` | `true`, `error` | yes |
 
-Strict ISO core mode defaults `unknown` to `error`; the normal EyeProlog
-environment defaults it to `fail`. The `occurs_check` flag is an EyeProlog
-diagnostic extension rather than an ISO-defined core flag: it is absent in
-strict mode, while normal mode keeps its `true` default and optional `error`
-diagnostic for STO attempts. Operator and flag directives are processed per
-program rather than changing global JavaScript state. The `double_quotes`
-setting affects subsequent source text, included files, command-line and API
-goal text, and terms read by `read_term/*`:
+Both normal EyeProlog and strict ISO core mode use the ISO `unknown=error`
+default. Interactive `set_prolog_flag/2` changes are retained when the REPL
+consults another file or imports a module instead of being reset by the host
+rebuild of the program. Programs that intentionally treat an undefined
+predicate as failure must opt in with `set_prolog_flag(unknown, fail)`; bundled
+examples and non-ISO corpus cases that depend on that policy do so explicitly.
+The `occurs_check` flag is an EyeProlog diagnostic
+extension rather than an ISO-defined core flag: it is absent in strict mode,
+while normal mode keeps its `true` default and optional `error` diagnostic for
+STO attempts. Operator and flag directives are processed per program rather
+than changing global JavaScript state. The `double_quotes` setting affects
+subsequent source text, included files, command-line and API goal text, and
+terms read by `read_term/*`:
 
 ```text
 % Default: a list of one-character atoms.
@@ -6941,7 +6949,7 @@ precedence still need one-by-one closure. `test/conformance/ISO-MATRIX.md`
 maps language families to representative executable cases.
 
 The complete suite must pass before release. The file-based conformance corpus
-contains 782 cases, including 376 focused ISO
+contains 783 cases, including 377 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