@mneme-ai/core 2.35.0 → 2.36.0

package/dist/squadron/acgv_version_semantic.js

@@ -0,0 +1,123 @@
+/**
+ * v2.36.0 — ACGV Layer 0d: VERSION-SEMANTIC DETECTOR.
+ *
+ * Closes audit-card bug #1: `mneme verify "Mneme v2.28.1 introduces X"`
+ * → REFUTED 57% when repo has moved on to v2.35.0+. The verifier was
+ * "correct" but the semantics were wrong — the claim is HISTORICAL,
+ * not a present-tense assertion about the current state. Refuting it
+ * by comparing against the current state is a category error.
+ *
+ * Layer 0d scans for `Mneme vN.M.P` / `version N.M.P` patterns + compares
+ * to the currently installed version. Three classes:
+ *
+ *   current   — claim version == installed version   → pass through normally
+ *   historical — claim version <  installed          → HISTORICAL_CLAIM caveat
+ *                                                      + advisory verdict
+ *   future    — claim version >  installed          → FUTURE_VERSION_CLAIM caveat
+ *                                                      + needs-data verdict
+ *
+ * No regex on version-less claims — pure no-op when no version pattern
+ * matches, so this layer is invisible for the 99% case.
+ *
+ * Wrapped in defensive try/catch — version parsing failures NEVER
+ * throw, they downgrade to "unknown" + skip the layer.
+ */
+import { readFileSync, existsSync } from "node:fs";
+import { join } from "node:path";
+// Matches "v1.2.3", "version 1.2.3", "Mneme v1.2.3", "Mneme 1.2.3"
+// Word-boundary on left + lookahead on right so we don't match middle of longer hex.
+const VERSION_RX = /(?<![\w.])(?:[Vv]|version\s+|[Mm]neme\s+v?)?\s*(\d{1,3})\.(\d{1,3})\.(\d{1,3})(?![\w.])/g;
+function safeReadInstalledVersion(repoRoot) {
+    // Try multiple candidate paths in priority order so we cover both
+    // npm-installed + monorepo + global-link scenarios.
+    const candidates = [
+        join(repoRoot, "node_modules", "mneme-ai", "package.json"),
+        join(repoRoot, "package.json"),
+        join(repoRoot, "packages", "cli", "package.json"),
+    ];
+    for (const p of candidates) {
+        if (!existsSync(p))
+            continue;
+        try {
+            const obj = JSON.parse(readFileSync(p, "utf8"));
+            // Only accept package.json entries that look like Mneme's.
+            if (typeof obj.version !== "string")
+                continue;
+            if (obj.name && !/(^|@)mneme-ai|^@mneme-ai\//.test(obj.name))
+                continue;
+            return obj.version;
+        }
+        catch { /* try next */ }
+    }
+    return null;
+}
+function compareVersions(a, b) {
+    if (a.major !== b.major)
+        return a.major - b.major;
+    if (a.minor !== b.minor)
+        return a.minor - b.minor;
+    return a.patch - b.patch;
+}
+export function classifyMatch(m, installed) {
+    if (!installed)
+        return "unknown";
+    const parts = installed.split(".").map((s) => parseInt(s, 10));
+    if (parts.length !== 3 || parts.some((n) => !Number.isFinite(n)))
+        return "unknown";
+    const cmp = compareVersions(m, { major: parts[0], minor: parts[1], patch: parts[2] });
+    if (cmp === 0)
+        return "current";
+    return cmp < 0 ? "historical" : "future";
+}
+export function detectVersionSemantic(claim, repoRoot) {
+    try {
+        const installed = safeReadInstalledVersion(repoRoot);
+        const matches = [];
+        for (const m of claim.matchAll(VERSION_RX)) {
+            const major = parseInt(m[1], 10);
+            const minor = parseInt(m[2], 10);
+            const patch = parseInt(m[3], 10);
+            if (!Number.isFinite(major) || !Number.isFinite(minor) || !Number.isFinite(patch))
+                continue;
+            matches.push({ matched: m[0].trim(), major, minor, patch, index: m.index ?? 0 });
+        }
+        if (matches.length === 0) {
+            return {
+                matched: false, matches: [], installedVersion: installed,
+                classification: "unknown",
+                reason: "no version pattern detected in claim",
+            };
+        }
+        // Compute classes per match, pick worst (most concerning class).
+        const classes = matches.map((m) => classifyMatch(m, installed));
+        let dominant = "unknown";
+        if (classes.includes("future"))
+            dominant = "future";
+        else if (classes.includes("historical"))
+            dominant = "historical";
+        else if (classes.includes("current"))
+            dominant = "current";
+        return {
+            matched: true,
+            matches,
+            installedVersion: installed,
+            classification: dominant,
+            reason: dominant === "historical"
+                ? `claim cites version(s) PAST → installed ${installed} ahead; refuting against current state would be a category error`
+                : dominant === "future"
+                    ? `claim cites version(s) AHEAD → installed ${installed} is older; cannot verify against state that doesn't exist yet`
+                    : dominant === "current"
+                        ? `claim cites current version ${installed}`
+                        : `unable to determine installed version`,
+        };
+    }
+    catch (e) {
+        // Defensive — version parsing must NEVER throw to the caller.
+        return {
+            matched: false, matches: [], installedVersion: null,
+            classification: "unknown",
+            reason: `version-semantic detector error (safe fallback): ${e.message}`,
+        };
+    }
+}
+//# sourceMappingURL=acgv_version_semantic.js.map

package/dist/squadron/acgv_version_semantic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"acgv_version_semantic.js","sourceRoot":"","sources":["../../src/squadron/acgv_version_semantic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AA4BjC,mEAAmE;AACnE,qFAAqF;AACrF,MAAM,UAAU,GAAG,0FAA0F,CAAC;AAE9G,SAAS,wBAAwB,CAAC,QAAgB;IAChD,kEAAkE;IAClE,oDAAoD;IACpD,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,CAAC;QAC1D,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC;QAC9B,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,CAAC;KAClD,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAwC,CAAC;YACvF,2DAA2D;YAC3D,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;gBAAE,SAAS;YAC9C,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvE,OAAO,GAAG,CAAC,OAAO,CAAC;QACrB,CAAC;QAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,CAAe,EAAE,CAAkD;IAC1F,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAClD,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAClD,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,CAAe,EAAE,SAAwB;IACrE,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnF,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;IACzF,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAa,EAAE,QAAgB;IACnE,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QACrD,MAAM,OAAO,GAAmB,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC5F,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO;gBACL,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS;gBACxD,cAAc,EAAE,SAAS;gBACzB,MAAM,EAAE,sCAAsC;aAC/C,CAAC;QACJ,CAAC;QACD,iEAAiE;QACjE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAChE,IAAI,QAAQ,GAAiB,SAAS,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,QAAQ,GAAG,QAAQ,CAAC;aAC/C,IAAI,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;YAAE,QAAQ,GAAG,YAAY,CAAC;aAC5D,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,QAAQ,GAAG,SAAS,CAAC;QAC3D,OAAO;YACL,OAAO,EAAE,IAAI;YACb,OAAO;YACP,gBAAgB,EAAE,SAAS;YAC3B,cAAc,EAAE,QAAQ;YACxB,MAAM,EAAE,QAAQ,KAAK,YAAY;gBAC/B,CAAC,CAAC,2CAA2C,SAAS,kEAAkE;gBACxH,CAAC,CAAC,QAAQ,KAAK,QAAQ;oBACvB,CAAC,CAAC,4CAA4C,SAAS,+DAA+D;oBACtH,CAAC,CAAC,QAAQ,KAAK,SAAS;wBACxB,CAAC,CAAC,+BAA+B,SAAS,EAAE;wBAC5C,CAAC,CAAC,uCAAuC;SAC5C,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,8DAA8D;QAC9D,OAAO;YACL,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI;YACnD,cAAc,EAAE,SAAS;YACzB,MAAM,EAAE,oDAAqD,CAAW,CAAC,OAAO,EAAE;SACnF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/version_check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version_check.d.ts","sourceRoot":"","sources":["../src/version_check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAa7C;AAUD,MAAM,WAAW,kBAAkB;IACjC,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,2CAA2C;IAC3C,SAAS,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAmBD;;;;;;;;;;6BAU6B;AAC7B,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG;IAAE,WAAW,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAYpG;AA+DD;kEACkE;AAClE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAsBtD;AA4BD,8EAA8E;AAC9E,wBAAsB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CA6ExG;AAED;mEACmE;AACnE,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAW1G"}
+{"version":3,"file":"version_check.d.ts","sourceRoot":"","sources":["../src/version_check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,IAAI,MAAM,CAa7C;AAUD,MAAM,WAAW,kBAAkB;IACjC,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,2CAA2C;IAC3C,SAAS,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAmBD;;;;;;;;;;6BAU6B;AAC7B,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG;IAAE,WAAW,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAYpG;AA+DD;kEACkE;AAClE,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAsBtD;AA4BD,8EAA8E;AAC9E,wBAAsB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAoFxG;AAED;mEACmE;AACnE,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,kBAAkB,GAAG,IAAI,CAW1G"}

package/package.json

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