Every axiom and operator of .me, proven live in this browser: the same cases and assertions as axioms.test.ts.
13 cases: A-struct-0, A0 root, A1 @ identity, A2 _ secret, A3/A3b/A3c ~ noise, A4 __/-> pointer, A5 ? query, A6 - remove, A7 public ledger, A8 hash chain, A9 latest projection. Each row names its Rust twin in Rust/tests/axioms_contract.rs.
Runs in Node in npm run build (prebuild, pre-build.test.mjs), not in npm test. The axioms themselves: docs/Axioms.
new ME(), the axiom's run(me), then every proof is assert.deepEqual(actual, expected), against this.me from npm (jsDelivr). Open a row for its checks, Rust twin, code and result.