@mneme-ai/core 2.89.0 → 2.91.0

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

package/dist/truth_kernel/truth_mesh.d.ts

@@ -0,0 +1,63 @@
+/**
+ * v2.90.0 — 💎⑤ CROSS-AGENT TRUTH MESH · the multiverse truth substrate.
+ *
+ * One savant's Axiom Lattice is a private brain. The Truth Mesh lets MANY savants
+ * (across vendors, machines, agents) share PROVEN truths without a central server:
+ * each exports a SIGNED bundle of its ACTIVE truths; a peer MERGES it after
+ * verifying every signature offline — adding non-conflicting truths, DROPPING
+ * forged/invalid ones, and SURFACING (never silently resolving) any truth that
+ * CONTRADICTS what the peer already holds. CRDT-style: commutative + idempotent
+ * (re-merging the same bundle changes nothing). Never throws.
+ *
+ * This is how the savant becomes the backbone of the AI multiverse: a tamper-evident,
+ * vendor-neutral, offline-verifiable fabric of facts that compounds as more agents join.
+ */
+import { type NotaryReceipt } from "../notary/index.js";
+import type { AletheiaVerdict } from "./aletheia.js";
+export interface MeshTruth {
+    claim: string;
+    subject: string;
+    verdict: AletheiaVerdict;
+    pTrue: number;
+    /** Per-truth signature (so a single truth is verifiable in isolation). */
+    receipt: NotaryReceipt | null;
+}
+export interface TruthBundle {
+    v: 1;
+    /** Who exported it (opaque agent id). */
+    agent: string;
+    truths: MeshTruth[];
+    /** Signature over the whole bundle. */
+    receipt: NotaryReceipt | null;
+}
+/** Export this savant's ACTIVE truths as a signed, portable bundle. Never throws. */
+export declare function exportTruths(repoRoot: string, agent: string, opts?: {
+    issuedAt?: number;
+}): TruthBundle;
+export interface MergeResult {
+    /** Truths added to the local lattice. */
+    added: number;
+    /** Truths skipped because already present (idempotence). */
+    duplicate: number;
+    /** Truths dropped because their signature was missing/invalid (forgery defense). */
+    rejectedUnsigned: number;
+    /** Truths that CONTRADICT a local ACTIVE truth — surfaced, NOT merged. */
+    conflicts: Array<{
+        claim: string;
+        verdict: AletheiaVerdict;
+        against: string;
+    }>;
+    /** True iff the incoming bundle's own signature verified. */
+    bundleVerified: boolean;
+    summary: string;
+}
+/**
+ * Merge an incoming signed bundle into the local lattice. Verifies the bundle's
+ * signature + every per-truth signature OFFLINE; an unsigned/forged truth is DROPPED.
+ * A truth that contradicts a local ACTIVE truth is SURFACED (the savant doesn't
+ * silently pick a winner). Duplicates are skipped → idempotent + commutative. Never throws.
+ */
+export declare function mergeTruths(repoRoot: string, bundle: TruthBundle, opts?: {
+    issuedAt?: number;
+}): MergeResult;
+//# sourceMappingURL=truth_mesh.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"truth_mesh.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/truth_mesh.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,CAAC,EAAE,CAAC,CAAC;IACL,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,uCAAuC;IACvC,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,qFAAqF;AACrF,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,WAAW,CAa3G;AAED,MAAM,WAAW,WAAW;IAC1B,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAClB,oFAAoF;IACpF,gBAAgB,EAAE,MAAM,CAAC;IACzB,0EAA0E;IAC1E,SAAS,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,eAAe,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/E,6DAA6D;IAC7D,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAgBD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,WAAW,CAsChH"}

package/dist/truth_kernel/truth_mesh.js

@@ -0,0 +1,124 @@
+/**
+ * v2.90.0 — 💎⑤ CROSS-AGENT TRUTH MESH · the multiverse truth substrate.
+ *
+ * One savant's Axiom Lattice is a private brain. The Truth Mesh lets MANY savants
+ * (across vendors, machines, agents) share PROVEN truths without a central server:
+ * each exports a SIGNED bundle of its ACTIVE truths; a peer MERGES it after
+ * verifying every signature offline — adding non-conflicting truths, DROPPING
+ * forged/invalid ones, and SURFACING (never silently resolving) any truth that
+ * CONTRADICTS what the peer already holds. CRDT-style: commutative + idempotent
+ * (re-merging the same bundle changes nothing). Never throws.
+ *
+ * This is how the savant becomes the backbone of the AI multiverse: a tamper-evident,
+ * vendor-neutral, offline-verifiable fabric of facts that compounds as more agents join.
+ */
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { issueReceipt, verifyReceipt } from "../notary/index.js";
+import { readLattice, recordAssertion, detectContradictions } from "./lattice.js";
+/** Export this savant's ACTIVE truths as a signed, portable bundle. Never throws. */
+export function exportTruths(repoRoot, agent, opts = {}) {
+    const active = readLattice(repoRoot).filter((n) => n.status === "ACTIVE" && (n.verdict === "TRUE" || n.verdict === "FALSE"));
+    const truths = active.map((n) => ({ claim: n.claim, subject: n.subject, verdict: n.verdict, pTrue: n.pTrue, receipt: n.receipt }));
+    let receipt = null;
+    try {
+        receipt = issueReceipt(repoRoot, {
+            kind: "memory-capsule",
+            subject: `truth-bundle:${String(agent ?? "anon")}:${truths.length}`,
+            payload: { engine: "aletheia-mesh", agent, truths: truths.map((t) => ({ claim: t.claim, verdict: t.verdict })) },
+            issuedAt: opts.issuedAt,
+        });
+    }
+    catch {
+        receipt = null;
+    }
+    return { v: 1, agent: String(agent ?? "anon"), truths, receipt };
+}
+function meshSeenPath(repoRoot) { return join(repoRoot, ".mneme", "aletheia", "mesh-seen.json"); }
+function loadSeen(repoRoot) {
+    try {
+        const p = meshSeenPath(repoRoot);
+        if (!existsSync(p))
+            return new Set();
+        const arr = JSON.parse(readFileSync(p, "utf8"));
+        return new Set(Array.isArray(arr) ? arr : []);
+    }
+    catch {
+        return new Set();
+    }
+}
+function saveSeen(repoRoot, seen) {
+    try {
+        mkdirSync(join(repoRoot, ".mneme", "aletheia"), { recursive: true });
+        writeFileSync(meshSeenPath(repoRoot), JSON.stringify([...seen]), "utf8");
+    }
+    catch { /* best-effort */ }
+}
+function truthKey(t) { return `${t.verdict}::${t.claim}`; }
+/**
+ * Merge an incoming signed bundle into the local lattice. Verifies the bundle's
+ * signature + every per-truth signature OFFLINE; an unsigned/forged truth is DROPPED.
+ * A truth that contradicts a local ACTIVE truth is SURFACED (the savant doesn't
+ * silently pick a winner). Duplicates are skipped → idempotent + commutative. Never throws.
+ */
+export function mergeTruths(repoRoot, bundle, opts = {}) {
+    let bundleVerified = false;
+    try {
+        bundleVerified = bundle.receipt ? verifyReceipt(bundle.receipt).valid : false;
+    }
+    catch {
+        bundleVerified = false;
+    }
+    const seen = loadSeen(repoRoot);
+    let added = 0, duplicate = 0, rejectedUnsigned = 0;
+    const conflicts = [];
+    const truths = Array.isArray(bundle?.truths) ? bundle.truths : [];
+    for (const t of truths) {
+        if (!t || typeof t.claim !== "string" || (t.verdict !== "TRUE" && t.verdict !== "FALSE"))
+            continue;
+        // (1) forgery defense — the per-truth signature must be valid AND the truth's
+        //     claim/verdict must MATCH the signed payload. (Catches swapping the claim
+        //     text while keeping a valid-but-unrelated signature.)
+        let sigOk = false;
+        try {
+            if (t.receipt && verifyReceipt(t.receipt).valid) {
+                const pl = (t.receipt.payload ?? {});
+                sigOk = pl.claim === t.claim && pl.verdict === t.verdict;
+            }
+        }
+        catch {
+            sigOk = false;
+        }
+        if (!sigOk) {
+            rejectedUnsigned++;
+            continue;
+        }
+        const key = truthKey(t);
+        if (seen.has(key)) {
+            duplicate++;
+            continue;
+        }
+        // (2) conflict — surfaced, never silently merged.
+        const contra = detectContradictions(repoRoot, t.claim, t.verdict);
+        if (contra.length > 0) {
+            conflicts.push({ claim: t.claim, verdict: t.verdict, against: contra[0].existing });
+            seen.add(key);
+            continue;
+        }
+        // (3) duplicate-by-content already in the local lattice?
+        const already = readLattice(repoRoot).some((n) => n.status === "ACTIVE" && n.claim === t.claim && n.verdict === t.verdict);
+        if (already) {
+            duplicate++;
+            seen.add(key);
+            continue;
+        }
+        // (4) accept — record into the local lattice as a corroborated truth.
+        recordAssertion(repoRoot, { claim: t.claim, verdict: t.verdict, pTrue: t.pTrue, lineageSummary: ["mesh"] }, { issuedAt: opts.issuedAt });
+        added++;
+        seen.add(key);
+    }
+    saveSeen(repoRoot, seen);
+    const summary = `mesh merge from "${bundle?.agent ?? "?"}": +${added} added · ${duplicate} dup · ${rejectedUnsigned} forged-dropped · ${conflicts.length} conflict(s) surfaced · bundle ${bundleVerified ? "VERIFIED" : "UNVERIFIED"}`;
+    return { added, duplicate, rejectedUnsigned, conflicts, bundleVerified, summary };
+}
+//# sourceMappingURL=truth_mesh.js.map

package/dist/truth_kernel/truth_mesh.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"truth_mesh.js","sourceRoot":"","sources":["../../src/truth_kernel/truth_mesh.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAqBlF,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,KAAa,EAAE,OAA8B,EAAE;IAC5F,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;IAC7H,MAAM,MAAM,GAAgB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAChJ,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;YAC/B,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,gBAAgB,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE;YACnE,OAAO,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE;YAChH,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,GAAG,IAAI,CAAC;IAAC,CAAC;IAC3B,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACnE,CAAC;AAgBD,SAAS,YAAY,CAAC,QAAgB,IAAY,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC;AAClH,SAAS,QAAQ,CAAC,QAAgB;IAChC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,GAAG,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAa,CAAC;QAC5D,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,GAAG,EAAE,CAAC;IAAC,CAAC;AAC/B,CAAC;AACD,SAAS,QAAQ,CAAC,QAAgB,EAAE,IAAiB;IACnD,IAAI,CAAC;QAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;AACrL,CAAC;AACD,SAAS,QAAQ,CAAC,CAAqC,IAAY,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAEvG;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,MAAmB,EAAE,OAA8B,EAAE;IACjG,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC;QAAC,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,cAAc,GAAG,KAAK,CAAC;IAAC,CAAC;IAExH,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC;IACnD,MAAM,SAAS,GAA6B,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAElE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;YAAE,SAAS;QACnG,8EAA8E;QAC9E,+EAA+E;QAC/E,2DAA2D;QAC3D,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,CAAC;YACH,IAAI,CAAC,CAAC,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;gBAChD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAyC,CAAC;gBAC7E,KAAK,GAAG,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;YAC3D,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YAAC,KAAK,GAAG,KAAK,CAAC;QAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,EAAE,CAAC;YAAC,gBAAgB,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,SAAS,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7C,kDAAkD;QAClD,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAAC,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;YAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACzI,yDAAyD;QACzD,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3H,IAAI,OAAO,EAAE,CAAC;YAAC,SAAS,EAAE,CAAC;YAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtD,sEAAsE;QACtE,eAAe,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzI,KAAK,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAEzB,MAAM,OAAO,GAAG,oBAAoB,MAAM,EAAE,KAAK,IAAI,GAAG,OAAO,KAAK,YAAY,SAAS,UAAU,gBAAgB,qBAAqB,SAAS,CAAC,MAAM,kCAAkC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC;IACvO,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;AACpF,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mneme-ai/core",
-  "version": "2.89.0",
+  "version": "2.91.0",
   "description": "Core indexing, retrieval, and graph engine for Mneme",
   "type": "module",
   "main": "./dist/index.js",