@factoidal/core 0.24.0 → 0.25.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/CHANGELOG.md +7 -1
  2. package/l4-assets/l4factoidal.js +1 -1
  3. package/l4-assets/l4factoidal.wasm +0 -0
  4. package/l4-assets/version.json +6 -6
  5. package/lib/version.mjs +1 -1
  6. package/package.json +1 -1
package/CHANGELOG.md CHANGED
@@ -2,9 +2,15 @@
2
2
 
3
3
  ## Unreleased
4
4
 
5
+ ## 0.25.0 (2026-10-29)
6
+
7
+ - XQuery 4.0 and XPath 4.0 engines (behind `xqueryEval` and `xpath4Eval`) toward all of qt4tests (https://github.com/danbri/factoidal-core/pull/214). qt4tests b1616b79, native runner, measured on that PR: XQuery mode 45040 → 45855 pass, 1187 → 619 fail, 1397 → 1150 unsupported (out of 47624); XPath mode 32928 → 32982 pass, 106 → 78 fail. One test set has one pass fewer (`fn-system-properties`, 23 → 22): the runner now declares the `infoset-dtd` feature. The wasm limits on deep recursion and very large documents still apply (https://github.com/danbri/factoidal/issues/1110).
8
+
5
9
  ## 0.24.0 (2026-10-29)
6
10
 
7
- In the Lean tree (native runners; no new package functions; the wasm does not change):
11
+ - `xslt4Transform`: a function call that the XSLT host does not handle falls back to the XPath host of the base environment instead of failing (https://github.com/danbri/factoidal-core/pull/249). (Corrected after publishing: the 0.24.0 package's own changelog says the wasm does not change; it does, by this change.)
12
+
13
+ In the Lean tree (native runners; no new package functions):
8
14
 
9
15
  - 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)
10
16
  - 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).
package/l4-assets/l4factoidal.js CHANGED
@@ -37,7 +37,7 @@
37
37
  // bytes change.
38
38
 
39
39
  // Stamped by formal/lean4/Wasm/build-wasm.sh step 9 -- do not hand-edit.
40
- const WASM_VERSION = "16a33b9282e1";
40
+ const WASM_VERSION = "4eb84cd7df99";
41
41
 
42
42
  import createModule from './l4factoidal.mjs';
43
43
 
package/l4-assets/l4factoidal.wasm CHANGED
Binary file
package/l4-assets/version.json CHANGED
@@ -2,17 +2,17 @@
2
2
  "engine": "lean4",
3
3
  "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.",
4
4
  "stamped": true,
5
- "release": "danbri/factoidal-builds build-2210bacb5c67-web",
6
- "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/40848156894",
7
- "gitSha": "2210bacb5c67b7b5144469132049dc776c6f60d0",
8
- "builtAt": "2026-10-29T09:57:21Z",
5
+ "release": "danbri/factoidal-builds build-6a098e57dba3-web",
6
+ "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/40857881585",
7
+ "gitSha": "6a098e57dba3b4533e74ee3d0f848c684cf7e672",
8
+ "builtAt": "2026-10-29T11:11:37Z",
9
9
  "leanToolchain": "leanprover/lean4:v4.33.1",
10
10
  "emscripten": "6.0.8",
11
11
  "abiVersion": "1",
12
12
  "engineVersion": "l4factoidal-wasm 0.2.0 (dispatch: RDF parse/serialize, SPARQL query+update, RDFS/OWL-RL closures, RDFC-1.0, CL/IKL)",
13
13
  "version": "l4factoidal-wasm 0.2.0 (dispatch: RDF parse/serialize, SPARQL query+update, RDFS/OWL-RL closures, RDFC-1.0, CL/IKL)",
14
- "wasmSha256": "16a33b9282e15b747a079a96b5586f01f7b01e0c901d01ea9ec96f8226cb12db",
15
- "wasmBytes": 29931862,
14
+ "wasmSha256": "4eb84cd7df99ec058ab41780357f0002e86b5555ea2c3e34214838c2ab3fb2d1",
15
+ "wasmBytes": 30053696,
16
16
  "claims": {
17
17
  "source": "formal/lean4 (L4Factoidal): no sorry, no user axioms, no native_decide; W3C behaviour pinned by build-time #guard",
18
18
  "suitesAtBuildSha": "see docs/test-results and formal/lean4/PORT_NOTES.md at gitSha"
package/lib/version.mjs CHANGED
@@ -2,4 +2,4 @@
2
2
  // needs import attributes, which not every runtime this package targets
3
3
  // reads). test/dts-drift.test.js checks that it equals package.json's
4
4
  // `version`.
5
- export const version = '0.24.0';
5
+ export const version = '0.25.0';
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@factoidal/core",
3
- "version": "0.24.0",
3
+ "version": "0.25.0",
4
4
  "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.",
5
5
  "keywords": [
6
6
  "sparql",