eyeprolog 1.2.31 → 1.2.32

package/README.md

@@ -105,8 +105,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 the reviewed upstream WG17 syntax cases
-and runs as part of `npm test`.
+records executable dispositions for the vendored active upstream WG17 syntax
+cases and runs as part of `npm test`. Reviewed cases can pin exact outcomes;
+newly upgraded cases run directly against the upstream Codex expectation.
 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.31",
+  "version": "1.2.32",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/the-art-of-eyeprolog.md

@@ -7071,8 +7071,9 @@ 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 the reviewed active upstream syntax cases to exact strict-reader
-outcomes and reports any newly upgraded cases that still need review.
+`test/conformance/WG17-SYNTAX-STATUS.md` separately traces the vendored active
+upstream syntax cases. Reviewed cases can pin exact strict-reader outcomes, while
+newly upgraded cases execute directly against the upstream Codex expectation.
 
 The complete suite must pass before release. The file-based conformance corpus
 contains 791 cases, including 386 focused ISO