@factoidal/core 0.22.0 → 0.23.0

package/CHANGELOG.md

@@ -2,7 +2,10 @@
 
 ## Unreleased
 
-- RIF BLD (W3C Recommendation, Second Edition 2013) in the Lean engine, `L4Factoidal/RIF/Bld.lean`, over the RIF Core engine: equality in rule conclusions with congruence and list injectivity, inconsistency when two data values are made equal, the semantic conditions on `#` and `##`, rules whose body does not bind every variable, named-argument uniterms, open lists and conjunctive conclusions in the presentation syntax. W3C BLD suite: 28 pass, 0 fail (out of 28 decided), 1 undecided, 3 excluded (defective test data, https://github.com/danbri/factoidal/issues/1186). No npm or wasm op yet.
+## 0.23.0 (2026-10-29)
+
+- RIF PRD (W3C Recommendation, Second Edition 2013) in the Lean engine, `L4Factoidal/RIF/Prd.lean`, over the RIF Core matcher: conditions with `Not` and the PRD membership rule, the actions Assert, Retract (of a fact, of all slot values, of an object), Modify and Execute (`act:print`), action blocks with `New()` and slot-value action variables, and the `rif:forwardChaining` strategy (refraction, priority, recency) over cycle and transitional states. The RIF/XML syntax of PRD is read by `L4Factoidal/RIF/PrdXml.lean`. W3C PRD manifest (53 cases, 46 shared with RIF Core): 49 pass, 0 fail (out of 49 decided), 1 undecided, 3 excluded (defective test data, https://github.com/danbri/factoidal/issues/1031); the 37 shared Core entailment cases give the Core verdict. No npm or wasm op yet.
+- XSLT Streaming 4.0, round 3 (https://github.com/danbri/factoidal-core/pull/244).
 
 ## 0.22.0 (2026-10-29)
 
@@ -22,6 +25,7 @@
 
 ### In the Lean tree (native runners; not new package functions)
 
+- RIF BLD (W3C Recommendation, Second Edition 2013) in the Lean engine, `L4Factoidal/RIF/Bld.lean`, over the RIF Core engine: equality in rule conclusions with congruence and list injectivity, inconsistency when two data values are made equal, the semantic conditions on `#` and `##`, rules whose body does not bind every variable, named-argument uniterms, open lists and conjunctive conclusions in the presentation syntax. W3C BLD suite: 28 pass, 0 fail (out of 28 decided), 1 undecided, 3 excluded (defective test data, https://github.com/danbri/factoidal/issues/1186). No npm or wasm op yet.
 - XML Schema 1.1 structures (`L4Factoidal/XSD11/`): schema components, schema documents (include, import, redefine, override), content models by derivatives with counted repetition and 1.1 `all`, assessment to a PSVI, identity constraints, type alternatives and assertions; the schema-aware parts of XPath 4.0, XQuery 4.0 and XSLT 4.0 use it (https://github.com/danbri/factoidal-core/pull/206, https://github.com/danbri/factoidal-core/pull/217). Native `l4xsd11`: 41086 pass, 479 fail, 103 unsupported (out of 41668), measured on that PR.
 - XSLT 4.0 (https://github.com/danbri/factoidal-core/pull/208) and XSLT Streaming 4.0 (https://github.com/danbri/factoidal-core/pull/213): xslt40-test, all vendored sets, 9096 pass, 1557 fail, 3149 unsupported (out of 13802), measured on PR 213.
 - XQuery 4.0: `%private` across modules and the `xml` prefix in constructors (https://github.com/danbri/factoidal-core/pull/210). qt4tests in XQuery mode, measured on PR 206: 42202 pass, 1788 fail, 1956 unsupported (out of 45946); XPath mode 28248 pass, 707 fail, 9704 unsupported (out of 38659).

package/l4-assets/version.json

@@ -2,10 +2,10 @@
   "engine": "lean4",
   "note": "The Lean 4 (L4Factoidal) engine build provenance and claims: the only engine of @factoidal/core since 0.9.0 (issue 713). This committed file is a placeholder. tools/fetch-builds.sh --set web (through tools/stamp-l4-version.mjs) writes the provenance members from the danbri/factoidal-builds release that built the wasm; formal/lean4/Wasm/build-wasm.sh step 9 writes them for a local build. Do not commit a stamped copy.",
   "stamped": true,
-  "release": "danbri/factoidal-builds build-24e7d6edaa7d-web",
-  "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/40826788173",
-  "gitSha": "24e7d6edaa7da12a9445922c949f762ddacdf17c",
-  "builtAt": "2026-10-29T07:16:14Z",
+  "release": "danbri/factoidal-builds build-b4117519e8bd-web",
+  "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/40840241483",
+  "gitSha": "b4117519e8bd36ad693f1801dcbecc4a140af631",
+  "builtAt": "2026-10-29T08:47:48Z",
   "leanToolchain": "leanprover/lean4:v4.33.1",
   "emscripten": "6.0.8",
   "abiVersion": "1",

package/lib/version.mjs

@@ -2,4 +2,4 @@
 // needs import attributes, which not every runtime this package targets
 // reads). test/dts-drift.test.js checks that it equals package.json's
 // `version`.
-export const version = '0.22.0';
+export const version = '0.23.0';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@factoidal/core",
-  "version": "0.22.0",
+  "version": "0.23.0",
   "description": "EXPERIMENTAL UNREVIEWED CODE: do not run public services on it without careful independent expert review. RDF parsing and writing (Turtle, TriG, N-Triples, N-Quads, RDF/XML, JSON-LD), SPARQL 1.1 and 1.2, RDFS and OWL reasoning, SHACL and ShEx validation, CSVW and RML mapping, RDFC-1.0, and SPARQL, LWS and Solid servers, for Node, Deno and browsers.",
   "keywords": [
     "sparql",