@factoidal/core 0.22.0 → 0.24.0

package/CHANGELOG.md

@@ -2,7 +2,17 @@
 
 ## 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.24.0 (2026-10-29)
+
+In the Lean tree (native runners; no new package functions; the wasm does not change):
+
+- WHATWG URL Standard (`L4Factoidal/WHATWG/URL/`): web-platform-tests `url/` at ce5ca396, 4570 pass, 0 fail (out of 4570). Theorem `whatwg2026_path_eq_rfc3986`: the parser's path-segment rule gives the same path as RFC 3986 §5.2.4 `removeDotSegments` when no segment contains `/`; a theorem for the whole parser is open (https://github.com/danbri/factoidal/issues/1188). (https://github.com/danbri/factoidal-core/pull/241, https://github.com/danbri/factoidal/issues/1167 milestone 3)
+- XProc 3.1 (`L4Factoidal/XProc31/`, `lake build l4xproc`): XProc test suite (Codeberg, dc530eb6) 2243 pass, 125 fail, 995 unsupported (out of 3363); bridge theorems in `XProc31/Bridge.lean` and `XProc31/Sequence.lean` (https://github.com/danbri/factoidal-core/pull/249).
+
+## 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 +32,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/l4factoidal.js

@@ -37,7 +37,7 @@
 // bytes change.
 
 // Stamped by formal/lean4/Wasm/build-wasm.sh step 9 -- do not hand-edit.
-const WASM_VERSION = "b4f1a5b8cc1d";
+const WASM_VERSION = "16a33b9282e1";
 
 import createModule from './l4factoidal.mjs';
 

package/l4-assets/version.json

@@ -2,17 +2,17 @@
   "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-2210bacb5c67-web",
+  "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/40848156894",
+  "gitSha": "2210bacb5c67b7b5144469132049dc776c6f60d0",
+  "builtAt": "2026-10-29T09:57:21Z",
   "leanToolchain": "leanprover/lean4:v4.33.1",
   "emscripten": "6.0.8",
   "abiVersion": "1",
   "engineVersion": "l4factoidal-wasm 0.2.0 (dispatch: RDF parse/serialize, SPARQL query+update, RDFS/OWL-RL closures, RDFC-1.0, CL/IKL)",
   "version": "l4factoidal-wasm 0.2.0 (dispatch: RDF parse/serialize, SPARQL query+update, RDFS/OWL-RL closures, RDFC-1.0, CL/IKL)",
-  "wasmSha256": "b4f1a5b8cc1d6d5307a836120ba8d09bc7dd7680530bb276366d47a8f95f0d12",
-  "wasmBytes": 29931615,
+  "wasmSha256": "16a33b9282e15b747a079a96b5586f01f7b01e0c901d01ea9ec96f8226cb12db",
+  "wasmBytes": 29931862,
   "claims": {
     "source": "formal/lean4 (L4Factoidal): no sorry, no user axioms, no native_decide; W3C behaviour pinned by build-time #guard",
     "suitesAtBuildSha": "see docs/test-results and formal/lean4/PORT_NOTES.md at gitSha"

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.24.0';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@factoidal/core",
-  "version": "0.22.0",
+  "version": "0.24.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",