@mneme-ai/core 2.89.0 → 2.90.0

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"}

package/dist/truth_kernel/symbiosis.d.ts

@@ -0,0 +1,54 @@
+/**
+ * v2.90.0 — 💎② SAVANT SYMBIOSIS · the before-assert prosthesis.
+ *
+ * The whole reason a fluent LLM embeds the savant: before its answer reaches the
+ * user, it hands the draft to ALETHEIA, which fact-checks every checkable claim
+ * and hands back a REPAIRED draft — FALSE claims corrected (with evidence),
+ * UNKNOWN claims flagged "unverified" (never silently asserted), TRUE claims kept.
+ * The savant + the generalist are complementary: fluent brain, savant memory.
+ *
+ * Exposed three ways so ANY agent — MCP, HTTP/A2A, or in-process — can plug in:
+ *   • in-process : repairDraft() / symbioticVerify()
+ *   • MCP        : mneme.savant.repair
+ *   • HTTP/A2A   : POST /savant/verify · POST /savant/repair (gephyra serve)
+ *
+ * Conservative by construction: only sentences that parse to a CHECKABLE claim are
+ * touched; prose is left exactly as written. Never throws.
+ */
+import { type AletheiaVerdict, type AletheiaOpts } from "./aletheia.js";
+/** Does a sentence look like a CHECKABLE factual claim? Conservative: must contain
+ *  a specific entity — a number/version, an equals/comparison, or a copula tying a
+ *  subject to a value. Pure questions / imperatives / vibes are skipped. */
+export declare function isCheckableClaim(sentence: string): boolean;
+/** Extract the checkable claims from a draft (in order). */
+export declare function extractClaims(draft: string): string[];
+export interface VerifiedClaim {
+    claim: string;
+    verdict: AletheiaVerdict;
+    evidence: string;
+    pTrue: number;
+    receiptId: string | null;
+}
+export interface RepairResult {
+    /** The repaired draft: FALSE claims annotated with the correction, UNKNOWN claims
+     *  flagged, TRUE claims untouched, non-claim prose untouched. */
+    repaired: string;
+    claims: VerifiedClaim[];
+    trueCount: number;
+    falseCount: number;
+    unknownCount: number;
+    /** True if anything was corrected or flagged — the agent SHOULD revise before sending. */
+    changed: boolean;
+    summary: string;
+}
+/**
+ * Fact-check + repair an agent's draft answer through the savant. For every
+ * checkable claim: FALSE → keep the sentence but append a signed correction marker;
+ * UNKNOWN → append an "unverified — savant could not prove this" flag (never silently
+ * asserted); TRUE → leave it. Prose that isn't a checkable claim is passed through
+ * verbatim. Never throws — on any internal failure the original draft is returned.
+ */
+export declare function repairDraft(repoRoot: string, draft: string, opts?: AletheiaOpts): Promise<RepairResult>;
+/** Single-claim before-assert hook (the minimal symbiosis call). Never throws. */
+export declare function symbioticVerify(repoRoot: string, claim: string, opts?: AletheiaOpts): Promise<VerifiedClaim>;
+//# sourceMappingURL=symbiosis.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"symbiosis.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/symbiosis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAe,KAAK,eAAe,EAAE,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AAUrF;;4EAE4E;AAC5E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAU1D;AAED,4DAA4D;AAC5D,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAErD;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,eAAe,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,YAAY;IAC3B;qEACiE;IACjE,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,0FAA0F;IAC1F,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;GAMG;AACH,wBAAsB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,YAAY,CAAC,CAqBjH;AAED,kFAAkF;AAClF,wBAAsB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,aAAa,CAAC,CAOtH"}

package/dist/truth_kernel/symbiosis.js

@@ -0,0 +1,98 @@
+/**
+ * v2.90.0 — 💎② SAVANT SYMBIOSIS · the before-assert prosthesis.
+ *
+ * The whole reason a fluent LLM embeds the savant: before its answer reaches the
+ * user, it hands the draft to ALETHEIA, which fact-checks every checkable claim
+ * and hands back a REPAIRED draft — FALSE claims corrected (with evidence),
+ * UNKNOWN claims flagged "unverified" (never silently asserted), TRUE claims kept.
+ * The savant + the generalist are complementary: fluent brain, savant memory.
+ *
+ * Exposed three ways so ANY agent — MCP, HTTP/A2A, or in-process — can plug in:
+ *   • in-process : repairDraft() / symbioticVerify()
+ *   • MCP        : mneme.savant.repair
+ *   • HTTP/A2A   : POST /savant/verify · POST /savant/repair (gephyra serve)
+ *
+ * Conservative by construction: only sentences that parse to a CHECKABLE claim are
+ * touched; prose is left exactly as written. Never throws.
+ */
+import { assertClaim } from "./aletheia.js";
+/** Split text into sentences (keeps the terminator). Cross-language friendly. */
+function splitSentences(text) {
+    const t = String(text ?? "");
+    // Split on sentence terminators (. ! ? newline · ; ) but keep reasonable chunks.
+    const parts = t.split(/(?<=[.!?])\s+|\n+|(?<=[;·])\s+/).map((s) => s.trim()).filter((s) => s.length > 0);
+    return parts.length ? parts : (t.trim() ? [t.trim()] : []);
+}
+/** Does a sentence look like a CHECKABLE factual claim? Conservative: must contain
+ *  a specific entity — a number/version, an equals/comparison, or a copula tying a
+ *  subject to a value. Pure questions / imperatives / vibes are skipped. */
+export function isCheckableClaim(sentence) {
+    const s = String(sentence ?? "").trim();
+    if (s.length < 3)
+        return false;
+    if (/[?]\s*$/.test(s))
+        return false; // a question asserts nothing
+    const hasNumber = /\d/.test(s);
+    const hasEquals = /[=<>]|≈|≠/.test(s);
+    const hasVersion = /\bv?\d+\.\d+/.test(s);
+    const hasCopula = /\b(is|are|was|were|has|have|equals|ships?|supports?|requires?|defaults?)\b|คือ|เป็น/i.test(s);
+    // Need an entity to check: a number/version/equals, OR a copula with some specific token.
+    return hasNumber || hasEquals || hasVersion || (hasCopula && /[A-Za-z0-9._/-]{2,}/.test(s));
+}
+/** Extract the checkable claims from a draft (in order). */
+export function extractClaims(draft) {
+    return splitSentences(draft).filter(isCheckableClaim);
+}
+/**
+ * Fact-check + repair an agent's draft answer through the savant. For every
+ * checkable claim: FALSE → keep the sentence but append a signed correction marker;
+ * UNKNOWN → append an "unverified — savant could not prove this" flag (never silently
+ * asserted); TRUE → leave it. Prose that isn't a checkable claim is passed through
+ * verbatim. Never throws — on any internal failure the original draft is returned.
+ */
+export async function repairDraft(repoRoot, draft, opts = {}) {
+    const original = String(draft ?? "");
+    try {
+        const sentences = splitSentences(original);
+        const claims = [];
+        let trueCount = 0, falseCount = 0, unknownCount = 0;
+        const out = [];
+        for (const sentence of sentences) {
+            if (!isCheckableClaim(sentence)) {
+                out.push(sentence);
+                continue;
+            }
+            const r = await assertClaim(repoRoot, sentence, opts);
+            claims.push({ claim: sentence, verdict: r.verdict, evidence: r.evidence, pTrue: r.pTrue, receiptId: r.receipt?.receiptId ?? null });
+            if (r.verdict === "TRUE") {
+                trueCount++;
+                out.push(sentence);
+            }
+            else if (r.verdict === "FALSE") {
+                falseCount++;
+                out.push(`${sentence}  ⟨✗ savant: FALSE — ${r.evidence}⟩`);
+            }
+            else {
+                unknownCount++;
+                out.push(`${sentence}  ⟨? savant: UNVERIFIED — could not prove; do not assert as fact⟩`);
+            }
+        }
+        const changed = falseCount > 0 || unknownCount > 0;
+        const summary = `savant checked ${claims.length} claim(s): ${trueCount} proven · ${falseCount} false · ${unknownCount} unverified`;
+        return { repaired: out.join(" "), claims, trueCount, falseCount, unknownCount, changed, summary };
+    }
+    catch {
+        return { repaired: original, claims: [], trueCount: 0, falseCount: 0, unknownCount: 0, changed: false, summary: "savant repair unavailable — draft unchanged" };
+    }
+}
+/** Single-claim before-assert hook (the minimal symbiosis call). Never throws. */
+export async function symbioticVerify(repoRoot, claim, opts = {}) {
+    try {
+        const r = await assertClaim(repoRoot, claim, opts);
+        return { claim, verdict: r.verdict, evidence: r.evidence, pTrue: r.pTrue, receiptId: r.receipt?.receiptId ?? null };
+    }
+    catch {
+        return { claim, verdict: "UNKNOWN", evidence: "savant unavailable — treat as UNKNOWN (never guess)", pTrue: 0.5, receiptId: null };
+    }
+}
+//# sourceMappingURL=symbiosis.js.map

package/dist/truth_kernel/symbiosis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbiosis.js","sourceRoot":"","sources":["../../src/truth_kernel/symbiosis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,WAAW,EAA2C,MAAM,eAAe,CAAC;AAErF,iFAAiF;AACjF,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC7B,iFAAiF;IACjF,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzG,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED;;4EAE4E;AAC5E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,6BAA6B;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,sFAAsF,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjH,0FAA0F;IAC1F,OAAO,SAAS,IAAI,SAAS,IAAI,UAAU,IAAI,CAAC,SAAS,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;AACxD,CAAC;AAuBD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqB,EAAE;IACxF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,IAAI,SAAS,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,EAAE,YAAY,GAAG,CAAC,CAAC;QACpD,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAClE,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,IAAI,IAAI,EAAE,CAAC,CAAC;YACpI,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAAC,SAAS,EAAE,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAAC,CAAC;iBACzD,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAAC,UAAU,EAAE,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,wBAAwB,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC;YAAC,CAAC;iBACxG,CAAC;gBAAC,YAAY,EAAE,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,mEAAmE,CAAC,CAAC;YAAC,CAAC;QACpH,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,kBAAkB,MAAM,CAAC,MAAM,cAAc,SAAS,aAAa,UAAU,YAAY,YAAY,aAAa,CAAC;QACnI,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACpG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC;IAClK,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqB,EAAE;IAC5F,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,IAAI,IAAI,EAAE,CAAC;IACtH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,qDAAqD,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACrI,CAAC;AACH,CAAC"}