@mneme-ai/core 2.19.79-lite → 2.19.80-lite

package/dist/polygraph/polygraph.test.js

@@ -0,0 +1,156 @@
+/**
+ * v2.19.80 — Browser Polygraph deep tests.
+ *
+ * Pins the load-bearing invariants of the per-sentence polygraph engine:
+ *   - never throws (NEVER 500 a sentence — the user sees the dot)
+ *   - prefilter discards fillers / short / no-entity sentences as `unknown/grey`
+ *   - real claims with specific entities produce a verdict in <300ms
+ *   - empty input → grey unknown
+ *   - sentence extractor correctly splits English / Thai / CJK terminators
+ */
+import { describe, it, expect } from "vitest";
+import { mkdtempSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { verifyBrowserSentence, extractVerifiableSentences, looksWorthVerifying, } from "./index.js";
+function makeTmpRepo() {
+    const dir = mkdtempSync(join(tmpdir(), "mneme-polygraph-"));
+    return dir;
+}
+describe("polygraph · looksWorthVerifying", () => {
+    it("rejects sentences that are too short", () => {
+        expect(looksWorthVerifying("Yes.")).toBe(false);
+        expect(looksWorthVerifying("ok")).toBe(false);
+        expect(looksWorthVerifying("Sure thing")).toBe(false);
+    });
+    it("rejects polite-filler openings", () => {
+        expect(looksWorthVerifying("Let me think about that for a moment")).toBe(false);
+        expect(looksWorthVerifying("I think the answer might be related")).toBe(false);
+        expect(looksWorthVerifying("Maybe we could try something else later")).toBe(false);
+        expect(looksWorthVerifying("Actually, let's revisit this question soon")).toBe(false);
+    });
+    it("accepts sentences with digits", () => {
+        expect(looksWorthVerifying("The body has 400 blood vessels")).toBe(true);
+        expect(looksWorthVerifying("The latency is 250ms")).toBe(true);
+    });
+    it("accepts sentences with version-like tokens", () => {
+        expect(looksWorthVerifying("React 19 ships server components")).toBe(true);
+        expect(looksWorthVerifying("Using v2.19.79 of the package")).toBe(true);
+    });
+    it("accepts sentences with proper nouns", () => {
+        expect(looksWorthVerifying("The Eiffel Tower is in Paris on a sunny day")).toBe(true);
+    });
+    it("accepts sentences with dotted-symbol or CamelCase identifiers", () => {
+        expect(looksWorthVerifying("Call asyncio.gather with loop parameter")).toBe(true);
+        expect(looksWorthVerifying("Use queryClient to invalidate the cache")).toBe(true);
+    });
+});
+describe("polygraph · extractVerifiableSentences", () => {
+    it("splits on English sentence terminators", () => {
+        const s = "Hello world. This is the second sentence! And a third?";
+        const out = extractVerifiableSentences(s);
+        expect(out.length).toBe(3);
+    });
+    it("splits on Thai full stop ฯ + CJK 。", () => {
+        const out1 = extractVerifiableSentences("คนเรามีเส้นเลือดประมาณหนึ่งแสนกิโลเมตรฯ ส่วนใหญ่เป็น capillaryฯ");
+        expect(out1.length).toBe(2);
+        const out2 = extractVerifiableSentences("これはテストです。次の文です。");
+        expect(out2.length).toBe(2);
+    });
+    it("strips fenced code blocks before splitting", () => {
+        const s = "Here is some code.\n\n```js\nconsole.log('hi'); console.log('bye');\n```\n\nAnd a follow-up sentence.";
+        const out = extractVerifiableSentences(s);
+        // The code block is stripped — we should NOT see "console.log" sentences.
+        expect(out.some((s) => s.includes("console.log"))).toBe(false);
+        expect(out.some((s) => s.includes("Here is some code"))).toBe(true);
+        expect(out.some((s) => s.includes("follow-up sentence"))).toBe(true);
+    });
+    it("returns an empty array on empty input", () => {
+        expect(extractVerifiableSentences("")).toEqual([]);
+        expect(extractVerifiableSentences("   ")).toEqual([]);
+    });
+});
+describe("polygraph · verifyBrowserSentence", () => {
+    it("returns grey/unknown on empty input WITHOUT throwing", async () => {
+        const dir = makeTmpRepo();
+        try {
+            const r = await verifyBrowserSentence({ sentence: "", repoRoot: dir });
+            expect(r.verdict).toBe("unknown");
+            expect(r.color).toBe("grey");
+            expect(r.engine).toBe("noop");
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("returns grey/unknown on filler input via prefilter", async () => {
+        const dir = makeTmpRepo();
+        try {
+            const r = await verifyBrowserSentence({ sentence: "Let me think.", repoRoot: dir });
+            expect(r.color).toBe("grey");
+            expect(r.engine).toBe("prefilter");
+            expect(r.oneLine).toMatch(/no specific entities/i);
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("runs ACGV on real claims with entities, returns a normalised verdict", async () => {
+        const dir = makeTmpRepo();
+        try {
+            const r = await verifyBrowserSentence({
+                sentence: "Mneme has exactly 9999 MCP tools.",
+                repoRoot: dir,
+            });
+            // We don't pin the exact verdict (depends on ACGV's repo-state probing),
+            // but we DO pin the shape + that it didn't crash + latency is reasonable.
+            expect(["trustworthy", "mixed", "refuted", "impossible", "unknown"]).toContain(r.verdict);
+            expect(["green", "yellow", "red", "grey"]).toContain(r.color);
+            expect(r.engine).toBe("propositional");
+            expect(r.latencyMs).toBeGreaterThanOrEqual(0);
+            expect(r.latencyMs).toBeLessThan(5000); // sanity bound
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+    it("survives an invalid repoRoot WITHOUT throwing (returns a verdict, never a 500)", async () => {
+        // Whatever ACGV does with a nonsense path, the polygraph must NEVER let
+        // an exception propagate — the browser would render a broken dot.
+        const r = await verifyBrowserSentence({
+            sentence: "Mneme version 2.19.80 ships the polygraph userscript",
+            repoRoot: "/this/path/definitely/does/not/exist/anywhere/12345",
+        });
+        expect(r).toBeDefined();
+        expect(["trustworthy", "mixed", "refuted", "impossible", "unknown"]).toContain(r.verdict);
+        // engine may be "propositional" if ACGV gracefully handles missing repo,
+        // or "error" if it threw — either is acceptable as long as we got a verdict.
+    });
+    it("always returns a verdict whose color matches its verdict family", async () => {
+        const dir = makeTmpRepo();
+        try {
+            const sentences = [
+                "React 19 was released in December 2024.",
+                "The capital of France is Paris.",
+                "asyncio.gather accepts a return_exceptions keyword.",
+            ];
+            for (const s of sentences) {
+                const r = await verifyBrowserSentence({ sentence: s, repoRoot: dir });
+                // Color invariant: trustworthy=green, refuted/impossible=red,
+                // unknown=grey, anything else=yellow.
+                if (r.verdict === "trustworthy")
+                    expect(r.color).toBe("green");
+                else if (r.verdict === "refuted" || r.verdict === "impossible")
+                    expect(r.color).toBe("red");
+                else if (r.verdict === "unknown")
+                    expect(r.color).toBe("grey");
+                else
+                    expect(r.color).toBe("yellow");
+            }
+        }
+        finally {
+            rmSync(dir, { recursive: true, force: true });
+        }
+    });
+});
+//# sourceMappingURL=polygraph.test.js.map

package/dist/polygraph/polygraph.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"polygraph.test.js","sourceRoot":"","sources":["../../src/polygraph/polygraph.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,YAAY,CAAC;AAEpB,SAAS,WAAW;IAClB,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAC5D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,mBAAmB,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChF,MAAM,CAAC,mBAAmB,CAAC,qCAAqC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/E,MAAM,CAAC,mBAAmB,CAAC,yCAAyC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnF,MAAM,CAAC,mBAAmB,CAAC,4CAA4C,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,mBAAmB,CAAC,gCAAgC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,mBAAmB,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,mBAAmB,CAAC,+BAA+B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,mBAAmB,CAAC,6CAA6C,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,mBAAmB,CAAC,yCAAyC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,MAAM,CAAC,mBAAmB,CAAC,yCAAyC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,wDAAwD,CAAC;QACnE,MAAM,GAAG,GAAG,0BAA0B,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,0BAA0B,CAAC,iEAAiE,CAAC,CAAC;QAC3G,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,uGAAuG,CAAC;QAClH,MAAM,GAAG,GAAG,0BAA0B,CAAC,CAAC,CAAC,CAAC;QAC1C,0EAA0E;QAC1E,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,0BAA0B,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,qBAAqB,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;YACvE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;gBAAS,CAAC;YAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,qBAAqB,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;YACpF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACrD,CAAC;gBAAS,CAAC;YAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,qBAAqB,CAAC;gBACpC,QAAQ,EAAE,mCAAmC;gBAC7C,QAAQ,EAAE,GAAG;aACd,CAAC,CAAC;YACH,yEAAyE;YACzE,0EAA0E;YAC1E,MAAM,CAAC,CAAC,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1F,MAAM,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACvC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe;QACzD,CAAC;gBAAS,CAAC;YAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,wEAAwE;QACxE,kEAAkE;QAClE,MAAM,CAAC,GAAG,MAAM,qBAAqB,CAAC;YACpC,QAAQ,EAAE,sDAAsD;YAChE,QAAQ,EAAE,qDAAqD;SAChE,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,CAAC,CAAC,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1F,yEAAyE;QACzE,6EAA6E;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;QAC/E,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,SAAS,GAAG;gBAChB,yCAAyC;gBACzC,iCAAiC;gBACjC,qDAAqD;aACtD,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,MAAM,qBAAqB,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;gBACtE,8DAA8D;gBAC9D,sCAAsC;gBACtC,IAAI,CAAC,CAAC,OAAO,KAAK,aAAa;oBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;qBAC1D,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,YAAY;oBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;qBACvF,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;oBAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;oBAC1D,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;gBAAS,CAAC;YAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mneme-ai/core",
-  "version": "2.19.79-lite",
+  "version": "2.19.80-lite",
   "description": "Core indexing, retrieval, and graph engine for Mneme — LITE variant (no bundled WASM embedder, no native deps).",
   "type": "module",
   "main": "./dist/index.js",