@mneme-ai/core 2.89.0 → 2.90.0

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.90.0",
   "description": "Core indexing, retrieval, and graph engine for Mneme",
   "type": "module",
   "main": "./dist/index.js",