What the kernel promises beyond the axioms: the README, contracts, derivations, aggregates, paths, storage, search and the builds.
The README examples still do what the README says. Runs live in your browser.
The DSL, the secret-blob format and pointer resolution keep their documented contracts.
A derived value recomputes when, and only when, an input it reads changes.
x[] counts members and x[].f sums a field.
Two different segment lists must be two different places. Today they are not: this suite pins that bug.
The compiled-formula memo and the no-secret-scope fast path return what the plain evaluator returned.
A 10 MB encrypted workload is written to disk in chunks, read back and explained.
Exact and IVF vector search return the right neighbors over encrypted chunks.
The whole TypeScript project type-checks with tsc --noEmit.
The UMD bundle loads and a kernel writes and reads a value through it.
tests/phases.test.js runs in npm run build (pre-build.test.mjs), not in npm test.