@factoidal/core 0.36.0 → 0.37.0

package/CHANGELOG.md

@@ -1,5 +1,19 @@
 # Changelog
 
+## 0.37.0 (2026-11-14)
+
+- Foafnaut: Web Platform Tests on the Linux engine, full measured runs: 85.06% on the morning of 2026-11-14, 91.76% (2,082,990 of 2,270,129 subtests) at commit 53326e401; 66 crashed tests and 4,876 harness timeouts in that run. Test262 on BubblePopJS: 42,515 of 53,833 (79.0%).
+- Foafnaut: CSS Grid placement, track sizing, alignment and absolutely positioned grid items as pure modules with bound theorems; a page's own web fonts are its fonts when the host holds none, which most grid tests need (css-grid 9,115 to 11,121 subtests).
+- Foafnaut: CSS animations and transitions on the effect stack: replaced animations, `commitStyles()`, animated values in the layout of pages with `::before`/`::after`, one cascade for a layout and an element's matches made once a measure.
+- Foafnaut: the cascade works out structural pseudo-classes and `:has()` once per document: the first layout of a page with 2,000 rules and 3,000 elements went from 845 ms to about 340 ms on the macOS engine.
+- Foafnaut: real pages start sooner: scripts, images and the icon are read while the style sheets are, and the engine's first call is made while the page is fetched (Hacker News load 3.4 s to 1.9 s, measured on an M1).
+- BubblePopJS: the RegExp `Symbol.match`, `replace`, `search`, `split` and `matchAll` protocol, ArraySpeciesCreate and TypedArraySpeciesCreate, typed array `[[DefineOwnProperty]]`, regular expression literals checked at parse time.
+- Foafnaut: reflected IDL attributes such as `el.title` read and write through one host call (5.4 to 3.9 µs a read).
+- Foafnaut: client storage has a budget: 32 MiB per storage key over IndexedDB, the file system and the Cache API, with theorems for the bound; storage buckets, Cookie Store `maxAge` and change events.
+- Foafnaut: networking fixes for workers and service workers (a worker script fetch asked while frames are answered is now answered), the WebSocket close code, ORB for classic scripts, and network theorems for credentials across redirects.
+- Foafnaut: `getComputedStyle(el).paddingLeft` and `.borderRightWidth` answer their values again: two internal operation numbers had collided with the computed-style range; theorems now keep the ranges apart.
+- Build: the engine build refuses a Lean module that imports parts of `Std` the WebAssembly engine does not link.
+
 ## 0.36.0 (2026-11-12)
 
 - Foafnaut: dedicated Web Workers on BubblePopJS. `new Worker`, `postMessage` both ways through a structured clone, transfer of ArrayBuffers, `importScripts`; WPT `.any.worker.html` and `.worker.html` variants run (11,749/11,866 subtests on 78 pages). A worker start takes about 1.2 ms and a `postMessage` round trip about 0.2 ms. Each worker seeds `Math.random` from its own entropy.

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 = "ccdd8676f40a";
+const WASM_VERSION = "f8b5d5ddacbb";
 
 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-2fd7fc4d38f3-web",
-  "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/43144347600",
-  "gitSha": "2fd7fc4d38f352c221004f3e407707f69afbb3e8",
-  "builtAt": "2026-11-12T04:22:57Z",
+  "release": "danbri/factoidal-builds build-ff075ad5af99-web",
+  "releaseRun": "https://github.com/danbri/factoidal-builds/actions/runs/43633972604",
+  "gitSha": "ff075ad5af998de7918e3ffe5846559fd6d5e6b2",
+  "builtAt": "2026-11-14T22:33:16Z",
   "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": "ccdd8676f40a0aa78a3a0a997cf561bff59c9af2e544e1231eed5007ecb94250",
-  "wasmBytes": 32729309,
+  "wasmSha256": "f8b5d5ddacbbc195f75a5f32f9ba5027ce559f029c091fe3d16016953e1471d2",
+  "wasmBytes": 32774942,
   "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.36.0';
+export const version = '0.37.0';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@factoidal/core",
-  "version": "0.36.0",
+  "version": "0.37.0",
   "description": "EXPERIMENTAL UNDER-REVIEWED 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",