@mneme-ai/core 2.26.1 → 2.27.0

package/dist/truth_gate/truth_gate.test.js

@@ -0,0 +1,75 @@
+// v2.27.0 — TRUTH GATE unit tests (discrete root tests covering every logic branch).
+import { describe, it, expect, beforeEach } from "vitest";
+import { CLAIM_CATALOG, ALL_PROBES, probeById } from "./index.js";
+import { verifyMatrix, __resetTruthChainForTest } from "./engine.js";
+describe("truth_gate — claim catalog", () => {
+    it("every claim has a probeId that exists", () => {
+        for (const claim of CLAIM_CATALOG) {
+            const probe = probeById(claim.probeId);
+            expect(probe, `no probe for claim ${claim.id} → ${claim.probeId}`).toBeDefined();
+        }
+    });
+    it("every claim has source + text + kind + severity", () => {
+        for (const c of CLAIM_CATALOG) {
+            expect(c.source.length).toBeGreaterThan(0);
+            expect(c.text.length).toBeGreaterThan(0);
+            expect(["numeric", "boolean", "string", "shape"]).toContain(c.kind);
+            expect(["info", "warn", "block"]).toContain(c.severity);
+        }
+    });
+    it("numeric claims declare asserted value + op", () => {
+        for (const c of CLAIM_CATALOG) {
+            if (c.kind === "numeric") {
+                expect(c.asserted).toBeDefined();
+                expect(typeof c.asserted.value).toBe("number");
+                expect(["<", "<=", ">", ">=", "=", "~="]).toContain(c.asserted.op);
+            }
+        }
+    });
+    it("boolean claims declare asserted value", () => {
+        for (const c of CLAIM_CATALOG) {
+            if (c.kind === "boolean") {
+                expect(c.asserted).toBeDefined();
+                expect([0, 1]).toContain(c.asserted.value);
+            }
+        }
+    });
+    it("at least 10 claims in the catalog", () => {
+        expect(CLAIM_CATALOG.length).toBeGreaterThanOrEqual(10);
+    });
+});
+describe("truth_gate — probes", () => {
+    it("each probe id is unique", () => {
+        const ids = new Set(ALL_PROBES.map((p) => p.id));
+        expect(ids.size).toBe(ALL_PROBES.length);
+    });
+    it("each probe has description + kind + run function", () => {
+        for (const p of ALL_PROBES) {
+            expect(p.description.length).toBeGreaterThan(0);
+            expect(typeof p.run).toBe("function");
+            expect(["numeric", "boolean", "string", "shape"]).toContain(p.kind);
+        }
+    });
+});
+describe("truth_gate — verifyMatrix", () => {
+    function badMatrix() {
+        return {
+            spec: { name: "MNEME-TRUTH-GATE", version: "1.0" },
+            scannedAt: "2026-05-22T00:00:00.000Z",
+            cwd: "tmp",
+            totalClaims: 0,
+            entries: [],
+            summary: { pass: 0, drift: 0, refuted: 0, unmeasured: 0, truthScore: 0 },
+            headline: "test",
+            trafficLight: "yellow",
+            hmac: "deadbeef".repeat(8),
+            seq: 1,
+            bodyDigest: "feedface".repeat(8),
+        };
+    }
+    beforeEach(() => __resetTruthChainForTest());
+    it("rejects a tampered matrix (bad bodyDigest)", () => {
+        expect(verifyMatrix(badMatrix()).ok).toBe(false);
+    });
+});
+//# sourceMappingURL=truth_gate.test.js.map

package/dist/truth_gate/truth_gate.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"truth_gate.test.js","sourceRoot":"","sources":["../../src/truth_gate/truth_gate.test.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAErF,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAGrE,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACvC,MAAM,CAAC,KAAK,EAAE,sBAAsB,KAAK,CAAC,EAAE,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACnF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACpE,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;gBACjC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAChD,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;gBACjC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAS,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtC,MAAM,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,SAAS,SAAS;QAChB,OAAO;YACL,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,KAAK,EAAE;YAClD,SAAS,EAAE,0BAA0B;YACrC,GAAG,EAAE,KAAK;YACV,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;YACxE,QAAQ,EAAE,MAAM;YAChB,YAAY,EAAE,QAAQ;YACtB,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1B,GAAG,EAAE,CAAC;YACN,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,UAAU,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC;IAE7C,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/truth_gate/types.d.ts

@@ -0,0 +1,102 @@
+/**
+ * v2.27.0 — MARKETING TRUTH GATE.
+ *
+ * Audit (2026-05-22, user-supplied matrix): 8 marketing claims that
+ * don't match measured reality, e.g.
+ *
+ *   Marketing: "74.7% fewer tokens"            Measured: 80K tokens / call
+ *   Marketing: "9 verification agents"         Measured: returns NEEDS-DATA
+ *   Marketing: "SUPERNOVA self-heal"           Measured: kill 5x → 0 respawn
+ *   Marketing: "Phoenix Resurrection"          Measured: not activated by default
+ *   Marketing: "Ollama detected ★★★★"         Measured: bundled ★★★ picked
+ *
+ * The world has plenty of "release notes" pages. None of them PROVE the
+ * claim every time the binary is built. The TRUTH GATE does:
+ *
+ *   1. SCAN — parse claim-shaped sentences out of README / CHANGELOG /
+ *      docs (and from MCP tool descriptions).
+ *   2. PROBE — each claim has a measurable probe (live function that
+ *      returns a number / boolean / string).
+ *   3. RECONCILE — compare claim's asserted value to probed value; emit
+ *      verdict (pass / drift / refuted).
+ *   4. ATTEST — HMAC-sign the reconciliation matrix so receivers can
+ *      verify offline that the binary's claims have been measured.
+ *
+ * Composable with the PEAK GAUNTLET (v2.26.x): N1-N12 are spec
+ * conformance; TRUTH GATE is marketing-vs-reality. Together they form
+ * the world's first measurable-truth release pipeline.
+ */
+export type ClaimId = string;
+export type ClaimKind = "numeric" | "boolean" | "string" | "shape";
+export type ClaimVerdict = "pass" | "drift" | "refuted" | "unmeasured";
+export interface Claim {
+    /** Stable id, e.g. "claim.tokens.capabilities". */
+    id: ClaimId;
+    /** Where the claim appears (file:line, README section title). */
+    source: string;
+    /** The marketing text verbatim (≤ 240 chars). */
+    text: string;
+    kind: ClaimKind;
+    /** For numeric claims: asserted value + comparison operator. */
+    asserted?: {
+        value: number;
+        op: "<" | "<=" | ">" | ">=" | "=" | "~=";
+        unit?: string;
+        tolerance?: number;
+    };
+    /** Probe id that measures the live value. */
+    probeId: string;
+    /** Severity if the claim drifts. */
+    severity: "info" | "warn" | "block";
+}
+export interface ProbeResult {
+    /** Measured value (kind-dependent). */
+    value: number | boolean | string | null;
+    /** Single-line summary of the measurement. */
+    evidence: string;
+    /** Wall-time of the probe. */
+    dtMs?: number;
+    /** Optional structured detail. */
+    detail?: Record<string, unknown>;
+}
+export interface Probe {
+    id: string;
+    /** What kind of claim this probe can answer. */
+    kind: ClaimKind;
+    /** Short description. */
+    description: string;
+    /** Run the probe. NEVER throws — returns { value: null } on error. */
+    run: (ctx: ProbeContext) => Promise<ProbeResult>;
+}
+export interface ProbeContext {
+    cwd: string;
+}
+export interface ReconciliationEntry {
+    claim: Claim;
+    probe: ProbeResult;
+    verdict: ClaimVerdict;
+    reason: string;
+}
+export interface TruthMatrix {
+    spec: {
+        name: "MNEME-TRUTH-GATE";
+        version: string;
+    };
+    scannedAt: string;
+    cwd: string;
+    totalClaims: number;
+    entries: ReconciliationEntry[];
+    summary: {
+        pass: number;
+        drift: number;
+        refuted: number;
+        unmeasured: number;
+        truthScore: number;
+    };
+    headline: string;
+    trafficLight: "green" | "yellow" | "red";
+    hmac: string;
+    seq: number;
+    bodyDigest: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/truth_gate/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/truth_gate/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAE7B,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,CAAC;AAEZ,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,YAAY,CAAC;AAEvE,MAAM,WAAW,KAAK;IACpB,mDAAmD;IACnD,EAAE,EAAE,OAAO,CAAC;IACZ,iEAAiE;IACjE,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,SAAS,CAAC;IAChB,gEAAgE;IAChE,QAAQ,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1G,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,oCAAoC;IACpC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,WAAW;IAC1B,uCAAuC;IACvC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC;IACxC,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,gDAAgD;IAChD,IAAI,EAAE,SAAS,CAAC;IAChB,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,GAAG,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE;QAAE,IAAI,EAAE,kBAAkB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAC/B,OAAO,EAAE;QACP,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;IACF,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,CAAC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;CACpB"}

package/dist/truth_gate/types.js

@@ -0,0 +1,30 @@
+/**
+ * v2.27.0 — MARKETING TRUTH GATE.
+ *
+ * Audit (2026-05-22, user-supplied matrix): 8 marketing claims that
+ * don't match measured reality, e.g.
+ *
+ *   Marketing: "74.7% fewer tokens"            Measured: 80K tokens / call
+ *   Marketing: "9 verification agents"         Measured: returns NEEDS-DATA
+ *   Marketing: "SUPERNOVA self-heal"           Measured: kill 5x → 0 respawn
+ *   Marketing: "Phoenix Resurrection"          Measured: not activated by default
+ *   Marketing: "Ollama detected ★★★★"         Measured: bundled ★★★ picked
+ *
+ * The world has plenty of "release notes" pages. None of them PROVE the
+ * claim every time the binary is built. The TRUTH GATE does:
+ *
+ *   1. SCAN — parse claim-shaped sentences out of README / CHANGELOG /
+ *      docs (and from MCP tool descriptions).
+ *   2. PROBE — each claim has a measurable probe (live function that
+ *      returns a number / boolean / string).
+ *   3. RECONCILE — compare claim's asserted value to probed value; emit
+ *      verdict (pass / drift / refuted).
+ *   4. ATTEST — HMAC-sign the reconciliation matrix so receivers can
+ *      verify offline that the binary's claims have been measured.
+ *
+ * Composable with the PEAK GAUNTLET (v2.26.x): N1-N12 are spec
+ * conformance; TRUTH GATE is marketing-vs-reality. Together they form
+ * the world's first measurable-truth release pipeline.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/truth_gate/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/truth_gate/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG"}

package/package.json

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