@mneme-ai/core 2.89.0 → 2.91.0

package/dist/truth_kernel/anamnesis.test.js

@@ -0,0 +1,136 @@
+/**
+ * v2.91.0 — 💎⑥ ANAMNESIS tests (compute once, recollect forever).
+ *
+ *   N1  canonicalForm — meaning-preserving paraphrase collapse (arith forms, words, commutative sort, case/space)
+ *   N2  NO false collision — word order preserved; different values ≠; non-commutative not sorted
+ *   N3  recollect-or-recompute — first computes, repeat recollects (~0), compute runs exactly once
+ *   N4  re-verify EVERY hit — tampered body / forged sig / stale / invalidated all force recompute
+ *   N5  freshness window — within ttl → recollect, past ttl → recompute; ttl 0 = eternal axiom
+ *   N6  energy ledger — anamnesisStats totals + mintEnergyCertificate signs the savings
+ *   N7  cross-vendor export/import — added, idempotent, forged (claim-swap) dropped
+ *   N8  Anamnesis Gauntlet — recollection-rate > 0 AND stale-serve-rate === 0
+ *   N9  QUAN — never throws over fuzz; always 3-valued
+ */
+import { describe, it, expect } from "vitest";
+import { mkdtempSync, readFileSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { canonicalForm, canonicalClaimKey, recollectOrCompute, recollectAssertion, isTrustworthy, invalidate, anamnesisStats, mintEnergyCertificate, exportProofs, importProofs, runAnamnesisGauntlet, } from "./anamnesis.js";
+function repo() { return mkdtempSync(join(tmpdir(), "anamnesis-")); }
+const T = 1_700_000_000_000;
+const storeFile = (r) => join(r, ".mneme", "anamnesis", "proofs.jsonl");
+const proveTrue = (costTokens = 1800, ttlMs = 0) => () => Promise.resolve({ verdict: "TRUE", lineage: [{ sensor: "flash", verdict: "TRUE", weight: 1 }], ttlMs, costTokens });
+describe("v2.91.0 💎⑥ ANAMNESIS — compute once, recollect forever", () => {
+    it("N1 canonicalForm — meaning-preserving paraphrase collapse", () => {
+        const k = (s) => canonicalClaimKey(s);
+        // four arithmetic paraphrases → one key
+        expect(new Set(["2+2=4", "2 + 2 = 4", "two plus two equals four", "4 = 2 + 2"].map(k)).size).toBe(1);
+        // commutative operands sorted (3*4 ≡ 4*3)
+        expect(k("3*4=12")).toBe(k("4*3=12"));
+        expect(k("5+7=12")).toBe(k("7+5=12"));
+        // case + whitespace + trailing punctuation
+        expect(k("React 19 ships RSC")).toBe(k("react 19 ships rsc."));
+        // number-words in prose
+        expect(canonicalForm("ten times ten = 100")).toBe(canonicalForm("10*10=100"));
+    });
+    it("N2 NO false collision — the savant won't trade safety for hit-rate", () => {
+        const k = (s) => canonicalClaimKey(s);
+        expect(k("dog bites man")).not.toBe(k("man bites dog")); // word order is meaning
+        expect(k("2+2=4")).not.toBe(k("2+2=5")); // different value
+        expect(k("10-3=7")).not.toBe(k("3-10=7")); // subtraction NOT commutative → not sorted
+    });
+    it("N3 recollect-or-recompute — compute runs exactly once across repeats + paraphrases", async () => {
+        const r = repo();
+        let computeCalls = 0;
+        const compute = () => { computeCalls++; return proveTrue(1800, 0)(); };
+        const a = await recollectOrCompute(r, "2+2=4", compute, { now: T, agent: "claude" });
+        const b = await recollectOrCompute(r, "2 + 2 = 4", compute, { now: T + 10, agent: "gpt" }); // paraphrase
+        const c = await recollectOrCompute(r, "two plus two equals four", compute, { now: T + 20 }); // paraphrase
+        expect(a.source).toBe("recompute");
+        expect(b.source).toBe("recollect");
+        expect(c.source).toBe("recollect");
+        expect(b.energySavedTokens).toBe(1800);
+        expect(computeCalls).toBe(1); // ← the whole point: proven once, recollected forever
+    });
+    it("N4 re-verify EVERY hit — tampered body / forged sig / invalidated all force recompute", async () => {
+        // (a) tamper the stored verdict in the jsonl → next ask must recompute (body ≠ signed payload)
+        {
+            const r = repo();
+            await recollectOrCompute(r, "2+2=4", proveTrue(), { now: T });
+            const rec = JSON.parse(readFileSync(storeFile(r), "utf8").trim());
+            rec.verdict = "FALSE";
+            writeFileSync(storeFile(r), JSON.stringify(rec) + "\n", "utf8");
+            const again = await recollectOrCompute(r, "2+2=4", proveTrue(), { now: T + 5 });
+            expect(again.source).toBe("recompute");
+            expect(again.reason).toBe("forged");
+        }
+        // (b) invalidate → recompute
+        {
+            const r = repo();
+            await recollectOrCompute(r, "the version is 1.2", proveTrue(1800, 999999), { now: T });
+            expect(invalidate(r, "the version is 1.2", "shipped 1.3")).toBe(true);
+            const again = await recollectOrCompute(r, "the version is 1.2", proveTrue(1800, 999999), { now: T + 5 });
+            expect(again.source).toBe("recompute");
+            expect(again.reason).toBe("invalidated");
+        }
+    });
+    it("N5 freshness window — within ttl recollect, past ttl recompute; ttl 0 eternal", async () => {
+        const r = repo();
+        await recollectOrCompute(r, "weather is sunny today", proveTrue(1800, 1000), { now: T }); // 1s ttl
+        expect((await recollectOrCompute(r, "weather is sunny today", proveTrue(1800, 1000), { now: T + 500 })).source).toBe("recollect");
+        expect((await recollectOrCompute(r, "weather is sunny today", proveTrue(1800, 1000), { now: T + 5000 })).source).toBe("recompute"); // stale
+        // eternal axiom (ttl 0) recollects far in the future
+        const r2 = repo();
+        await recollectOrCompute(r2, "2+2=4", proveTrue(1800, 0), { now: T });
+        expect((await recollectOrCompute(r2, "2+2=4", proveTrue(1800, 0), { now: T + 10 ** 12 })).source).toBe("recollect");
+    });
+    it("N6 energy ledger — stats total + signed savings certificate", async () => {
+        const r = repo();
+        await recollectOrCompute(r, "2+2=4", proveTrue(1800, 0), { now: T });
+        await recollectOrCompute(r, "2+2=4", proveTrue(1800, 0), { now: T + 1 });
+        await recollectOrCompute(r, "2+2=4", proveTrue(1800, 0), { now: T + 2 });
+        const s = anamnesisStats(r);
+        expect(s.records).toBe(1);
+        expect(s.recollections).toBe(2);
+        expect(s.totalEnergySavedTokens).toBe(3600); // 2 recollections × 1800
+        const cert = await mintEnergyCertificate(r, { windowStartMs: T, windowEndMs: T + 10 });
+        expect(cert.totalTokensSaved).toBe(3600);
+        expect(typeof cert.hmac).toBe("string");
+    });
+    it("N7 cross-vendor export/import — added, idempotent, forged claim-swap dropped", async () => {
+        const a = repo();
+        await recollectOrCompute(a, "2+2=4", proveTrue(), { now: T });
+        await recollectOrCompute(a, "10*10=100", proveTrue(), { now: T });
+        const bundle = exportProofs(a, "agentA");
+        expect(bundle.proofs.length).toBe(2);
+        const dest = repo();
+        expect(importProofs(dest, bundle).added).toBe(2);
+        expect(importProofs(dest, bundle).duplicate).toBe(2); // idempotent
+        // forge: swap a claimKey but keep the (now-mismatched) valid signature → dropped
+        const forged = JSON.parse(JSON.stringify(bundle));
+        forged.proofs[0].claimKey = "deadbeef";
+        expect(importProofs(repo(), forged).rejectedForged).toBe(1);
+    });
+    it("N8 Anamnesis Gauntlet — recollection-rate > 0 AND stale-serve-rate 0%", async () => {
+        const g = await runAnamnesisGauntlet(repo(), [
+            "2+2=4", "2 + 2 = 4", "two plus two equals four", "10*10=100", "ten times ten = 100", "2+2=4",
+        ], { now: T });
+        expect(g.recollectionRate).toBeGreaterThan(0);
+        expect(g.staleServeRate).toBe(0); // never serves an unre-verifiable proof
+        expect(g.energySavedTokens).toBeGreaterThan(0);
+        expect(g.recomputes).toBe(2); // only 2 distinct facts
+    });
+    it("N9 QUAN — never throws over fuzz; always 3-valued; isTrustworthy total", async () => {
+        const r = repo();
+        for (let i = 0; i < 40; i++) {
+            const claim = ["", "   ", `${i}+${i}=${i * 2}`, `claim ${i}`, "weirdchars", `${i} is not ${i}`][i % 6];
+            const out = await recollectAssertion(r, claim, { now: T });
+            expect(["TRUE", "FALSE", "UNKNOWN"]).toContain(out.verdict);
+        }
+        expect(() => canonicalForm("")).not.toThrow();
+        expect(() => anamnesisStats(r)).not.toThrow();
+        const fakeRec = { claimKey: "x", verdict: "TRUE", receipt: null, ttlMs: 0, computedAt: 0, invalidated: false };
+        expect(isTrustworthy(fakeRec, T)).toBe(false); // unsigned ⇒ never trustworthy
+    });
+});
+//# sourceMappingURL=anamnesis.test.js.map

package/dist/truth_kernel/anamnesis.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anamnesis.test.js","sourceRoot":"","sources":["../../src/truth_kernel/anamnesis.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,aAAa,EACvF,UAAU,EAAE,cAAc,EAAE,qBAAqB,EAAE,YAAY,EAAE,YAAY,EAAE,oBAAoB,GAEpG,MAAM,gBAAgB,CAAC;AAExB,SAAS,IAAI,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,MAAM,CAAC,GAAG,iBAAiB,CAAC;AAC5B,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;AACxF,MAAM,SAAS,GAAG,CAAC,UAAU,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,EAAkC,EAAE,CACjF,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AAE5H,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAC9C,wCAAwC;QACxC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,0BAA0B,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrG,0CAA0C;QAC1C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtC,2CAA2C;QAC3C,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC/D,wBAAwB;QACxB,MAAM,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,wBAAwB;QACjF,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAiB,kBAAkB;QAC3E,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAe,2CAA2C;IACtG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,MAAM,OAAO,GAAG,GAA2B,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC,OAAO,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAM,aAAa;QAC9G,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,0BAA0B,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAM,aAAa;QAC/G,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,sDAAsD;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,KAAK,IAAI,EAAE;QACrG,+FAA+F;QAC/F,CAAC;YACC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAgB,CAAC;YACjF,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC;YACtB,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;YAChE,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC;QACD,6BAA6B;QAC7B,CAAC;YACC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,MAAM,kBAAkB,CAAC,CAAC,EAAE,oBAAoB,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YACvF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,oBAAoB,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,oBAAoB,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACzG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,kBAAkB,CAAC,CAAC,EAAE,wBAAwB,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;QACnG,MAAM,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,EAAE,wBAAwB,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClI,MAAM,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,EAAE,wBAAwB,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ;QAC5I,qDAAqD;QACrD,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;QAClB,MAAM,kBAAkB,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,CAAC,MAAM,kBAAkB,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB;QACtE,MAAM,IAAI,GAAG,MAAM,qBAAqB,CAAC,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CAAiD,CAAC;QACvI,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,kBAAkB,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,EAAE,CAAC;QACpB,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAG,aAAa;QACrE,iFAAiF;QACjF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,CAAC,GAAG,MAAM,oBAAoB,CAAC,IAAI,EAAE,EAAE;YAC3C,OAAO,EAAE,WAAW,EAAE,0BAA0B,EAAE,WAAW,EAAE,qBAAqB,EAAE,OAAO;SAC9F,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAU,wCAAwC;QACnF,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAc,wBAAwB;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,aAAa,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YACzG,MAAM,GAAG,GAAG,MAAM,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3D,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAA4B,CAAC;QACzI,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,+BAA+B;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/truth_kernel/compound.d.ts

@@ -0,0 +1,55 @@
+/**
+ * v2.90.0 — 💎③ IDLE COMPOUNDING · the savant sharpens in its sleep.
+ *
+ * A daemon's idle window is wasted time for an LLM (its weights are frozen). For the
+ * savant it's when it gets SHARPER: it consolidates the many corroborating ACTIVE
+ * truths in the Axiom Lattice into fewer, higher-SUPPORT axioms, and quarantines any
+ * subject where the active truths conflict (a contested subject is NOT an axiom).
+ *
+ * Pure + deterministic + idempotent: this is a READ-ONLY projection over the lattice
+ * (it never mutates it), so re-running yields the identical axiom set + the identical
+ * signed digest — the savant's current, provable axiom base, attestable offline.
+ * Never throws.
+ */
+import { type NotaryReceipt } from "../notary/index.js";
+export interface Axiom {
+    subject: string;
+    /** A representative claim for the subject (the earliest ACTIVE one). */
+    claim: string;
+    verdict: "TRUE" | "FALSE";
+    /** How many ACTIVE lattice nodes corroborate this verdict on this subject. */
+    support: number;
+    nodeIds: string[];
+    /** True once support ≥ minSupport — a "crystallised" high-support axiom. */
+    crystallised: boolean;
+}
+export interface ContestedSubject {
+    subject: string;
+    claims: string[];
+    /** Why it can't be an axiom: the active truths on this subject disagree. */
+    reason: string;
+}
+export interface CompoundReport {
+    totalActive: number;
+    /** Subjects whose ACTIVE truths agree → consolidated axioms (sorted by subject). */
+    axioms: Axiom[];
+    /** Subjects with conflicting ACTIVE verdicts → quarantined, NOT axioms. */
+    contested: ContestedSubject[];
+    /** Count of crystallised (high-support) axioms. */
+    crystallisedCount: number;
+    /** NOTARY-signed digest over the axiom set — the savant's attestable axiom base. */
+    receipt: NotaryReceipt | null;
+    summary: string;
+}
+/**
+ * Consolidate the lattice's ACTIVE truths into axioms. A subject becomes an axiom
+ * iff all its ACTIVE non-UNKNOWN nodes agree on one verdict; if they conflict it is
+ * CONTESTED (quarantined). Deterministic (sorted) + idempotent (read-only). Signs the
+ * resulting axiom set so "what the savant currently holds as proven" is verifiable.
+ */
+export declare function compoundLattice(repoRoot: string, opts?: {
+    minSupport?: number;
+    issuedAt?: number;
+    noSign?: boolean;
+}): CompoundReport;
+//# sourceMappingURL=compound.d.ts.map

package/dist/truth_kernel/compound.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compound.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/compound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEtE,MAAM,WAAW,KAAK;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,wEAAwE;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,8EAA8E;IAC9E,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,4EAA4E;IAC5E,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,2EAA2E;IAC3E,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,mDAAmD;IACnD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,oFAAoF;IACpF,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,cAAc,CAiDzI"}

package/dist/truth_kernel/compound.js

@@ -0,0 +1,72 @@
+/**
+ * v2.90.0 — 💎③ IDLE COMPOUNDING · the savant sharpens in its sleep.
+ *
+ * A daemon's idle window is wasted time for an LLM (its weights are frozen). For the
+ * savant it's when it gets SHARPER: it consolidates the many corroborating ACTIVE
+ * truths in the Axiom Lattice into fewer, higher-SUPPORT axioms, and quarantines any
+ * subject where the active truths conflict (a contested subject is NOT an axiom).
+ *
+ * Pure + deterministic + idempotent: this is a READ-ONLY projection over the lattice
+ * (it never mutates it), so re-running yields the identical axiom set + the identical
+ * signed digest — the savant's current, provable axiom base, attestable offline.
+ * Never throws.
+ */
+import { readLattice } from "./lattice.js";
+import { issueReceipt } from "../notary/index.js";
+/**
+ * Consolidate the lattice's ACTIVE truths into axioms. A subject becomes an axiom
+ * iff all its ACTIVE non-UNKNOWN nodes agree on one verdict; if they conflict it is
+ * CONTESTED (quarantined). Deterministic (sorted) + idempotent (read-only). Signs the
+ * resulting axiom set so "what the savant currently holds as proven" is verifiable.
+ */
+export function compoundLattice(repoRoot, opts = {}) {
+    const minSupport = Math.max(1, opts.minSupport ?? 2);
+    const active = readLattice(repoRoot).filter((n) => n.status === "ACTIVE" && (n.verdict === "TRUE" || n.verdict === "FALSE"));
+    // Group by subject (stable insertion via Map; keys sorted at the end for determinism).
+    const bySubject = new Map();
+    for (const n of active) {
+        if (!n.subject)
+            continue;
+        const arr = bySubject.get(n.subject) ?? [];
+        arr.push(n);
+        bySubject.set(n.subject, arr);
+    }
+    const axioms = [];
+    const contested = [];
+    for (const subject of [...bySubject.keys()].sort()) {
+        const nodes = bySubject.get(subject);
+        const verdicts = new Set(nodes.map((n) => n.verdict));
+        if (verdicts.size > 1) {
+            contested.push({ subject, claims: nodes.map((n) => n.claim), reason: "active truths disagree on this subject" });
+            continue;
+        }
+        const verdict = nodes[0].verdict;
+        const support = nodes.length;
+        axioms.push({
+            subject,
+            claim: nodes[0].claim,
+            verdict,
+            support,
+            nodeIds: nodes.map((n) => n.id),
+            crystallised: support >= minSupport,
+        });
+    }
+    const crystallisedCount = axioms.filter((a) => a.crystallised).length;
+    let receipt = null;
+    if (!opts.noSign) {
+        try {
+            receipt = issueReceipt(repoRoot, {
+                kind: "memory-capsule",
+                subject: `aletheia-axioms:${axioms.length}`,
+                payload: { engine: "aletheia-compound", axioms: axioms.map((a) => ({ subject: a.subject, verdict: a.verdict, support: a.support })), contested: contested.length },
+                issuedAt: opts.issuedAt,
+            });
+        }
+        catch {
+            receipt = null;
+        }
+    }
+    const summary = `compounded ${active.length} active truth(s) → ${axioms.length} axiom(s) (${crystallisedCount} crystallised, support≥${minSupport}) · ${contested.length} contested subject(s) quarantined`;
+    return { totalActive: active.length, axioms, contested, crystallisedCount, receipt, summary };
+}
+//# sourceMappingURL=compound.js.map

package/dist/truth_kernel/compound.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compound.js","sourceRoot":"","sources":["../../src/truth_kernel/compound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAkCtE;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,OAAqE,EAAE;IACvH,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC;IAE7H,uFAAuF;IACvF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,SAAS;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC3C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACtD,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC,CAAC;YACjH,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,OAA2B,CAAC;QACtD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACV,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK;YACtB,OAAO;YACP,OAAO;YACP,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,YAAY,EAAE,OAAO,IAAI,UAAU;SACpC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC;IACtE,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,mBAAmB,MAAM,CAAC,MAAM,EAAE;gBAC3C,OAAO,EAAE,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE;gBAClK,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,MAAM,CAAC,MAAM,sBAAsB,MAAM,CAAC,MAAM,cAAc,iBAAiB,0BAA0B,UAAU,OAAO,SAAS,CAAC,MAAM,mCAAmC,CAAC;IAC5M,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAChG,CAAC"}

package/dist/truth_kernel/gauntlet_public.d.ts

@@ -0,0 +1,37 @@
+/**
+ * v2.90.0 — 💎④ PUBLIC SAVANT GAUNTLET · the falsifiable proof, anyone can rerun.
+ *
+ * A claim of superhuman honesty is worthless unless a stranger can reproduce it. The
+ * Public Gauntlet ships a FIXED, labeled corpus (provable truths · provable falsehoods
+ * · genuinely-unprovable claims) and runs it through the savant spine, producing the
+ * three numbers a savant beats every LLM on — and SIGNS the report so a third party
+ * verifies the result offline with the public key alone:
+ *
+ *   false-assertion rate → 0%   (the savant abstains instead of guessing)
+ *   forget rate          → 0%   (every verdict re-verifies)
+ *   provability          → 100% (a signed lineage on every definite verdict)
+ *
+ * Deterministic (fixed corpus + injectable issuedAt). Never throws.
+ */
+import { type GauntletCase, type SavantGauntletReport, type AletheiaOpts } from "./aletheia.js";
+import { type NotaryReceipt } from "../notary/index.js";
+/** The pinned public corpus. Arithmetic/structural truths are provable from first
+ *  principles (so any machine reproduces the verdict); the unprovable rows are
+ *  genuinely unknowable, so an honest savant MUST abstain on them. */
+export declare const PUBLIC_GAUNTLET_CORPUS: readonly GauntletCase[];
+export interface PublicGauntletReport extends SavantGauntletReport {
+    corpusSize: number;
+    /** True iff false-assertion 0% AND forget 0% AND provability 100% AND abstention 100%. */
+    passed: boolean;
+    /** Signed report card — verify offline with the public key. */
+    receipt: NotaryReceipt | null;
+}
+/** Run the pinned public corpus through the savant + sign the report. Never throws. */
+export declare function runPublicGauntlet(repoRoot: string, opts?: AletheiaOpts): Promise<PublicGauntletReport>;
+/** Verify a Public Gauntlet report card offline (signature valid + it reports a pass). */
+export declare function verifyGauntletReport(receipt: NotaryReceipt | null): {
+    valid: boolean;
+    passed: boolean;
+    reason: string;
+};
+//# sourceMappingURL=gauntlet_public.d.ts.map

package/dist/truth_kernel/gauntlet_public.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gauntlet_public.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/gauntlet_public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAqB,KAAK,YAAY,EAAE,KAAK,oBAAoB,EAAE,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AACnH,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAErF;;sEAEsE;AACtE,eAAO,MAAM,sBAAsB,EAAE,SAAS,YAAY,EAiBhD,CAAC;AAEX,MAAM,WAAW,oBAAqB,SAAQ,oBAAoB;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,0FAA0F;IAC1F,MAAM,EAAE,OAAO,CAAC;IAChB,+DAA+D;IAC/D,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,uFAAuF;AACvF,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAmBhH;AAED,0FAA0F;AAC1F,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,aAAa,GAAG,IAAI,GAAG;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAQvH"}

package/dist/truth_kernel/gauntlet_public.js

@@ -0,0 +1,81 @@
+/**
+ * v2.90.0 — 💎④ PUBLIC SAVANT GAUNTLET · the falsifiable proof, anyone can rerun.
+ *
+ * A claim of superhuman honesty is worthless unless a stranger can reproduce it. The
+ * Public Gauntlet ships a FIXED, labeled corpus (provable truths · provable falsehoods
+ * · genuinely-unprovable claims) and runs it through the savant spine, producing the
+ * three numbers a savant beats every LLM on — and SIGNS the report so a third party
+ * verifies the result offline with the public key alone:
+ *
+ *   false-assertion rate → 0%   (the savant abstains instead of guessing)
+ *   forget rate          → 0%   (every verdict re-verifies)
+ *   provability          → 100% (a signed lineage on every definite verdict)
+ *
+ * Deterministic (fixed corpus + injectable issuedAt). Never throws.
+ */
+import { runSavantGauntlet } from "./aletheia.js";
+import { issueReceipt, verifyReceipt } from "../notary/index.js";
+/** The pinned public corpus. Arithmetic/structural truths are provable from first
+ *  principles (so any machine reproduces the verdict); the unprovable rows are
+ *  genuinely unknowable, so an honest savant MUST abstain on them. */
+export const PUBLIC_GAUNTLET_CORPUS = [
+    // provable truths
+    { claim: "2+2=4", truth: "TRUE" },
+    { claim: "10*10=100", truth: "TRUE" },
+    { claim: "100-1=99", truth: "TRUE" },
+    { claim: "7*8=56", truth: "TRUE" },
+    { claim: "144/12=12", truth: "TRUE" },
+    // provable falsehoods
+    { claim: "2+2=5", truth: "FALSE" },
+    { claim: "9*9=80", truth: "FALSE" },
+    { claim: "100-1=98", truth: "FALSE" },
+    { claim: "3*3=10", truth: "FALSE" },
+    // genuinely unprovable — the savant MUST say UNKNOWN
+    { claim: "The stock market will rise 3.2% next Tuesday", truth: "UNPROVABLE" },
+    { claim: "There are exactly 1000037 grains of sand in that jar", truth: "UNPROVABLE" },
+    { claim: "The 9001st visitor tomorrow will be wearing a red hat", truth: "UNPROVABLE" },
+    { claim: "The number of leaves on that tree is even", truth: "UNPROVABLE" },
+];
+/** Run the pinned public corpus through the savant + sign the report. Never throws. */
+export async function runPublicGauntlet(repoRoot, opts = {}) {
+    const base = await runSavantGauntlet(repoRoot, PUBLIC_GAUNTLET_CORPUS, opts);
+    const passed = base.falseAssertionRate === 0 && base.forgetRate === 0 && base.provability === 1 && base.abstentionRate === 1;
+    let receipt = null;
+    if (!opts.noSign) {
+        try {
+            receipt = issueReceipt(repoRoot, {
+                kind: "claim-verdict",
+                subject: `savant-gauntlet:${PUBLIC_GAUNTLET_CORPUS.length}`,
+                payload: {
+                    engine: "aletheia-public-gauntlet",
+                    falseAssertionRate: base.falseAssertionRate, forgetRate: base.forgetRate,
+                    provability: base.provability, abstentionRate: base.abstentionRate, passed,
+                },
+                issuedAt: opts.issuedAt,
+            });
+        }
+        catch {
+            receipt = null;
+        }
+    }
+    return { ...base, corpusSize: PUBLIC_GAUNTLET_CORPUS.length, passed, receipt };
+}
+/** Verify a Public Gauntlet report card offline (signature valid + it reports a pass). */
+export function verifyGauntletReport(receipt) {
+    if (!receipt)
+        return { valid: false, passed: false, reason: "no receipt" };
+    let v;
+    try {
+        v = verifyReceipt(receipt);
+    }
+    catch (e) {
+        return { valid: false, passed: false, reason: `verify threw: ${e.message}` };
+    }
+    if (!v.valid)
+        return { valid: false, passed: false, reason: v.reason };
+    const pl = (receipt.payload ?? {});
+    if (pl.engine !== "aletheia-public-gauntlet")
+        return { valid: true, passed: false, reason: "not a gauntlet report" };
+    return { valid: true, passed: pl.passed === true, reason: pl.passed ? "signed pass" : "signed but did not pass" };
+}
+//# sourceMappingURL=gauntlet_public.js.map

package/dist/truth_kernel/gauntlet_public.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gauntlet_public.js","sourceRoot":"","sources":["../../src/truth_kernel/gauntlet_public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,iBAAiB,EAAmE,MAAM,eAAe,CAAC;AACnH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAErF;;sEAEsE;AACtE,MAAM,CAAC,MAAM,sBAAsB,GAA4B;IAC7D,kBAAkB;IAClB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;IACjC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE;IACrC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;IACpC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE;IAClC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE;IACrC,sBAAsB;IACtB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAClC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;IACnC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;IACrC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;IACnC,qDAAqD;IACrD,EAAE,KAAK,EAAE,8CAA8C,EAAE,KAAK,EAAE,YAAY,EAAE;IAC9E,EAAE,KAAK,EAAE,sDAAsD,EAAE,KAAK,EAAE,YAAY,EAAE;IACtF,EAAE,KAAK,EAAE,uDAAuD,EAAE,KAAK,EAAE,YAAY,EAAE;IACvF,EAAE,KAAK,EAAE,2CAA2C,EAAE,KAAK,EAAE,YAAY,EAAE;CACnE,CAAC;AAUX,uFAAuF;AACvF,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB,EAAE,OAAqB,EAAE;IAC/E,MAAM,IAAI,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,IAAI,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC,CAAC;IAC7H,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,mBAAmB,sBAAsB,CAAC,MAAM,EAAE;gBAC3D,OAAO,EAAE;oBACP,MAAM,EAAE,0BAA0B;oBAClC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU;oBACxE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM;iBAC3E;gBACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACjF,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,oBAAoB,CAAC,OAA6B;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAC3E,IAAI,CAAC,CAAC;IACN,IAAI,CAAC;QAAC,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAkB,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;IAAC,CAAC;IAC1I,IAAI,CAAC,CAAC,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;IACvE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAA0C,CAAC;IAC5E,IAAI,EAAE,CAAC,MAAM,KAAK,0BAA0B;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IACrH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,yBAAyB,EAAE,CAAC;AACpH,CAAC"}

package/dist/truth_kernel/savant_diamonds.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * v2.90.0 — 💎 the four remaining savant diamonds.
+ *
+ *   ② SYMBIOSIS   — extractClaims / repairDraft (FALSE→correct, UNKNOWN→flag, TRUE→keep, prose untouched)
+ *   ③ COMPOUNDING — consolidate ACTIVE truths → axioms; contested subjects quarantined; idempotent + signed
+ *   ④ PUBLIC GAUNTLET — pinned corpus passes (0/0/100/100) + signed report verifies offline; tamper caught
+ *   ⑤ TRUTH MESH  — export signed bundle; merge verifies sigs (forged dropped, claim-swap dropped),
+ *                   surfaces conflicts, idempotent
+ */
+export {};
+//# sourceMappingURL=savant_diamonds.test.d.ts.map

package/dist/truth_kernel/savant_diamonds.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"savant_diamonds.test.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/savant_diamonds.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/truth_kernel/savant_diamonds.test.js

@@ -0,0 +1,137 @@
+/**
+ * v2.90.0 — 💎 the four remaining savant diamonds.
+ *
+ *   ② SYMBIOSIS   — extractClaims / repairDraft (FALSE→correct, UNKNOWN→flag, TRUE→keep, prose untouched)
+ *   ③ COMPOUNDING — consolidate ACTIVE truths → axioms; contested subjects quarantined; idempotent + signed
+ *   ④ PUBLIC GAUNTLET — pinned corpus passes (0/0/100/100) + signed report verifies offline; tamper caught
+ *   ⑤ TRUTH MESH  — export signed bundle; merge verifies sigs (forged dropped, claim-swap dropped),
+ *                   surfaces conflicts, idempotent
+ */
+import { describe, it, expect } from "vitest";
+import { mkdtempSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { extractClaims, isCheckableClaim, repairDraft, symbioticVerify } from "./symbiosis.js";
+import { compoundLattice } from "./compound.js";
+import { runPublicGauntlet, verifyGauntletReport, PUBLIC_GAUNTLET_CORPUS } from "./gauntlet_public.js";
+import { exportTruths, mergeTruths } from "./truth_mesh.js";
+import { assertClaim } from "./aletheia.js";
+function repo() { return mkdtempSync(join(tmpdir(), "diamonds-")); }
+const T = 1_700_000_000_000;
+describe("v2.90.0 💎② SAVANT SYMBIOSIS", () => {
+    it("S1 isCheckableClaim / extractClaims — checkable vs prose", () => {
+        expect(isCheckableClaim("2+2=5")).toBe(true);
+        expect(isCheckableClaim("React 19 ships RSC by default")).toBe(true);
+        expect(isCheckableClaim("What should we do next?")).toBe(false); // question
+        expect(isCheckableClaim("Let's think carefully")).toBe(false); // vibe
+        const claims = extractClaims("Let's begin. The value is 2+2=5. Nice work everyone.");
+        expect(claims).toContain("The value is 2+2=5.");
+        expect(claims.some((c) => c.includes("Nice work"))).toBe(false);
+    });
+    it("S2 repairDraft — FALSE corrected, UNKNOWN flagged, TRUE & prose kept", async () => {
+        const r = await repairDraft(repo(), "Intro sentence. 2+2=5. 10*10=100. The 9000th visitor tomorrow wears red.", { issuedAt: T });
+        expect(r.changed).toBe(true);
+        expect(r.falseCount).toBe(1);
+        expect(r.unknownCount).toBe(1);
+        expect(r.trueCount).toBe(1);
+        expect(r.repaired).toMatch(/✗ savant: FALSE/); // the 2+2=5 got a correction marker
+        expect(r.repaired).toMatch(/UNVERIFIED/); // the unprovable got flagged
+        expect(r.repaired).toContain("Intro sentence."); // prose untouched
+    });
+    it("S3 symbioticVerify single-claim hook never throws + 3-valued", async () => {
+        const v = await symbioticVerify(repo(), "2+2=5", { issuedAt: T });
+        expect(v.verdict).toBe("FALSE");
+        expect(["TRUE", "FALSE", "UNKNOWN"]).toContain((await symbioticVerify(repo(), "   ", { issuedAt: T })).verdict);
+    });
+});
+describe("v2.90.0 💎③ IDLE COMPOUNDING", () => {
+    it("C1 consolidates corroborating truths → crystallised axiom; idempotent; signed", async () => {
+        const r = repo();
+        await assertClaim(r, "2+2=4", { record: true, issuedAt: T });
+        await assertClaim(r, "2+2=4", { record: true, issuedAt: T, sensors: [{ id: "x", weight: 2, run: () => ({ sensor: "x", verdict: "TRUE", confidence: 1 }) }] });
+        const c1 = compoundLattice(r, { issuedAt: T });
+        expect(c1.axioms.length).toBe(1);
+        expect(c1.axioms[0].support).toBe(2);
+        expect(c1.axioms[0].crystallised).toBe(true);
+        expect(c1.receipt).not.toBeNull();
+        // idempotent: re-running yields the same axiom set
+        const c2 = compoundLattice(r, { issuedAt: T });
+        expect(c2.axioms.length).toBe(c1.axioms.length);
+        expect(c2.crystallisedCount).toBe(c1.crystallisedCount);
+    });
+    it("C2 contested subject (conflicting active verdicts) is quarantined, NOT an axiom", async () => {
+        const r = repo();
+        await assertClaim(r, "the widget is enabled", { record: true, issuedAt: T, sensors: [{ id: "t", weight: 2, run: () => ({ sensor: "t", verdict: "TRUE", confidence: 1 }) }] });
+        await assertClaim(r, "the widget is enabled", { record: true, issuedAt: T, sensors: [{ id: "f", weight: 2, run: () => ({ sensor: "f", verdict: "FALSE", confidence: 1 }) }] });
+        const c = compoundLattice(r, { issuedAt: T });
+        expect(c.contested.length).toBe(1);
+        expect(c.axioms.find((a) => a.subject === c.contested[0].subject)).toBeUndefined();
+    });
+});
+describe("v2.90.0 💎④ PUBLIC SAVANT GAUNTLET", () => {
+    it("G1 the pinned corpus passes (false-assert 0 / forget 0 / provable 1 / abstain 1) + signed", async () => {
+        const g = await runPublicGauntlet(repo(), { issuedAt: T });
+        expect(g.corpusSize).toBe(PUBLIC_GAUNTLET_CORPUS.length);
+        expect(g.falseAssertionRate).toBe(0);
+        expect(g.forgetRate).toBe(0);
+        expect(g.provability).toBe(1);
+        expect(g.abstentionRate).toBe(1);
+        expect(g.passed).toBe(true);
+        expect(g.receipt).not.toBeNull();
+    });
+    it("G2 the signed report verifies offline; a tampered report is caught", async () => {
+        const g = await runPublicGauntlet(repo(), { issuedAt: T });
+        const v = verifyGauntletReport(g.receipt);
+        expect(v.valid).toBe(true);
+        expect(v.passed).toBe(true);
+        // forge the pass flag → signature breaks
+        const forged = JSON.parse(JSON.stringify(g.receipt));
+        forged.payload.passed = true;
+        forged.payload.falseAssertionRate = 0.5;
+        expect(verifyGauntletReport(forged).valid).toBe(false);
+        expect(verifyGauntletReport(null).valid).toBe(false);
+    });
+});
+describe("v2.90.0 💎⑤ CROSS-AGENT TRUTH MESH", () => {
+    it("M1 export → merge adds verified truths; idempotent re-merge adds nothing", async () => {
+        const a = repo(), b = repo();
+        await assertClaim(a, "2+2=4", { record: true, issuedAt: T });
+        await assertClaim(a, "10*10=100", { record: true, issuedAt: T });
+        const bundle = exportTruths(a, "agentA", { issuedAt: T });
+        expect(bundle.truths.length).toBe(2);
+        expect(bundle.receipt).not.toBeNull();
+        const m1 = mergeTruths(b, bundle, { issuedAt: T });
+        expect(m1.added).toBe(2);
+        expect(m1.bundleVerified).toBe(true);
+        const m2 = mergeTruths(b, bundle, { issuedAt: T }); // idempotent
+        expect(m2.added).toBe(0);
+        expect(m2.duplicate).toBe(2);
+    });
+    it("M2 forgery defense — unsigned + claim-swapped truths are DROPPED", async () => {
+        const a = repo(), dest = repo();
+        await assertClaim(a, "2+2=4", { record: true, issuedAt: T });
+        const bundle = exportTruths(a, "agentA", { issuedAt: T });
+        // (a) strip the per-truth signature → must be rejected
+        const unsigned = JSON.parse(JSON.stringify(bundle));
+        unsigned.truths[0].receipt = null;
+        expect(mergeTruths(repo(), unsigned, { issuedAt: T }).rejectedUnsigned).toBe(1);
+        // (b) swap the claim text but keep the (now-mismatched) valid signature → rejected
+        const swapped = JSON.parse(JSON.stringify(bundle));
+        swapped.truths[0].claim = "2+2=999";
+        const ms = mergeTruths(dest, swapped, { issuedAt: T });
+        expect(ms.rejectedUnsigned).toBe(1);
+        expect(ms.added).toBe(0);
+    });
+    it("M3 conflicts are SURFACED, not silently merged", async () => {
+        const a = repo(), dest = repo();
+        // dest already holds "x is red" TRUE
+        await assertClaim(dest, "x is red", { record: true, issuedAt: T, sensors: [{ id: "t", weight: 2, run: () => ({ sensor: "t", verdict: "TRUE", confidence: 1 }) }] });
+        // peer A exports "x is red" FALSE
+        await assertClaim(a, "x is red", { record: true, issuedAt: T, sensors: [{ id: "f", weight: 2, run: () => ({ sensor: "f", verdict: "FALSE", confidence: 1 }) }] });
+        const bundle = exportTruths(a, "agentA", { issuedAt: T });
+        const m = mergeTruths(dest, bundle, { issuedAt: T });
+        expect(m.conflicts.length).toBe(1);
+        expect(m.added).toBe(0); // the conflicting truth was NOT merged
+    });
+});
+//# sourceMappingURL=savant_diamonds.test.js.map

package/dist/truth_kernel/savant_diamonds.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"savant_diamonds.test.js","sourceRoot":"","sources":["../../src/truth_kernel/savant_diamonds.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC/F,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACvG,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,SAAS,IAAI,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,MAAM,CAAC,GAAG,iBAAiB,CAAC;AAE5B,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,gBAAgB,CAAC,+BAA+B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW;QAC5E,MAAM,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAG,OAAO;QACxE,MAAM,MAAM,GAAG,aAAa,CAAC,sDAAsD,CAAC,CAAC;QACrF,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,0EAA0E,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACjI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAG,oCAAoC;QACrF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAU,6BAA6B;QAChF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAG,kBAAkB;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,CAAC,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAClH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9J,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClC,mDAAmD;QACnD,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC/F,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,WAAW,CAAC,CAAC,EAAE,uBAAuB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9K,MAAM,WAAW,CAAC,CAAC,EAAE,uBAAuB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/K,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;QACzG,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,yCAAyC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,CAAC,OAAO,CAAC,kBAAkB,GAAG,GAAG,CAAC;QACtE,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,MAAM,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC;QAC7B,MAAM,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,WAAW,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa;QACjE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,GAAG,IAAI,EAAE,CAAC;QAChC,MAAM,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1D,uDAAuD;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;QAClC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChF,mFAAmF;QACnF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC;QACpC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACvD,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,GAAG,IAAI,EAAE,CAAC;QAChC,qCAAqC;QACrC,MAAM,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpK,kCAAkC;QAClC,MAAM,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAClK,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,uCAAuC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}