@mneme-ai/core 2.19.14 → 2.19.16

package/dist/truth_forensic_pipeline/index.js

@@ -0,0 +1,346 @@
+/**
+ * v2.19.15 — MNEME TRUTH FORENSIC PIPELINE (the verify command that calls its own bluff)
+ *
+ *   "Every AI verify tool today asks the wrong question: 'is this claim
+ *    supported?'. It scrapes the codebase for keyword matches and rubber-
+ *    stamps anything that has a hit. When the claim says 'Mneme registers
+ *    4 mneme.nexus.* tools', it sees the words 'mneme' and 'tools' in
+ *    the codebase and certifies TRUSTWORTHY — even if the actual count
+ *    is 0. This is the W2 disease.
+ *
+ *    Mneme's TRUTH FORENSIC PIPELINE inverts the question: 'what would
+ *    REFUTE this claim, and have we searched + failed to find every
+ *    refutation?'. For the AI-tool-self-description class (which is the
+ *    most common verify target for AI agents) we ship a SNIFFER that
+ *    extracts verifiable assertions (mneme.X.Y exists, 'N mneme.X.*
+ *    tools', 'ships M MCP tools', version=X) and CHECKS them against
+ *    Mneme's own ground truth (the live MCP catalog + installed version).
+ *
+ *    For self-description claims, the pipeline is VENDOR-AGNOSTIC AND
+ *    OFFLINE — no LLM call needed. For generic claims, it composes onto
+ *    INVERSE-LLM (v2.19.3) + NEGATIVE-EVIDENCE (v2.19.13) for the same
+ *    burden-of-proof inversion. The W2 lie becomes structurally
+ *    impossible."
+ *
+ * Architecture:
+ *   - 5 built-in SNIFFERS that extract verifiable assertions from claim text:
+ *       • sniffMcpToolExact:    "ships mneme.X.Y" / "registers mneme.X.Y"
+ *       • sniffMcpFamilyCount:  "N mneme.X.* tools"
+ *       • sniffMcpTotalCount:   "ships N MCP tools" / "N tools total"
+ *       • sniffVersion:         "v2.19.X" / "version 2.19.X"
+ *       • sniffFilePath:        "the file packages/.../foo.ts"
+ *   - `forensicVerify({claim, mcpCatalog, installedVersion, ...})` —
+ *     parse assertions → check each against ground truth → apply
+ *     negative-evidence rules → issue HMAC-signed certificate.
+ *   - Verdict bands: ACCEPTED + cert / REJECTED + defeating evidence /
+ *     UNKNOWN + untested assertions.
+ *
+ * Honest scope:
+ *   - Built-in sniffers cover AI-tool-self-description claims (the W2
+ *     class). For generic factual claims, caller supplies refutations +
+ *     search outcomes (composes onto v2.19.13 NEGATIVE-EVIDENCE).
+ *   - "ACCEPTED" means every SNIFFED assertion grounded. Untested
+ *     unsniffable claim text doesn't auto-accept — it returns UNKNOWN
+ *     unless caller supplies vendor refutations + searches.
+ *   - Certificate is HMAC-signed so a forged verdict is detectable.
+ */
+import { createHmac, timingSafeEqual } from "node:crypto";
+const PROTOCOL_VERSION = 1;
+function canon(v) {
+    if (v === null || typeof v !== "object")
+        return JSON.stringify(v);
+    if (Array.isArray(v))
+        return "[" + v.map(canon).join(",") + "]";
+    const keys = Object.keys(v).sort();
+    return "{" + keys.map((k) => JSON.stringify(k) + ":" + canon(v[k])).join(",") + "}";
+}
+function defaultSecret() {
+    return process.env["MNEME_TRUTH_SECRET"] || `mneme-truth-forensic-v${PROTOCOL_VERSION}`;
+}
+function sha256Hex(s) {
+    return createHmac("sha256", "mneme-truth-claim-id").update(s).digest("hex");
+}
+function signCertificate(body, secret) {
+    return createHmac("sha256", secret).update(canon(body)).digest("hex");
+}
+function safeEqHex(a, b) {
+    try {
+        return timingSafeEqual(Buffer.from(a, "hex"), Buffer.from(b, "hex"));
+    }
+    catch {
+        return false;
+    }
+}
+// ─── SNIFFERS ────────────────────────────────────────────────────────────
+/** Extract exact `mneme.X.Y` tool-name mentions from claim text. */
+export function sniffMcpToolExact(claim) {
+    const re = /\bmneme\.[a-z_][a-z0-9_]*\.[a-z_][a-z0-9_]*\b/g;
+    const hits = new Set();
+    let m;
+    while ((m = re.exec(claim)) !== null)
+        hits.add(m[0]);
+    return Array.from(hits).map((name) => ({
+        kind: "mcp_tool_exact",
+        asserted: `MCP tool '${name}' is registered`,
+        value: { toolName: name },
+    }));
+}
+/** Extract "N mneme.X.* tools" family-count assertions. */
+export function sniffMcpFamilyCount(claim) {
+    const re = /\b(\d+)\s+mneme\.([a-z_][a-z0-9_]*)\.(\*|tools?)\s*(?:mcp\s+)?(?:tools?)?/gi;
+    const re2 = /\bregisters?\s+(\d+)\s+mneme\.([a-z_][a-z0-9_]*)\.\*/gi;
+    const hits = new Map();
+    for (const r of [re, re2]) {
+        let m;
+        while ((m = r.exec(claim)) !== null) {
+            const n = parseInt(m[1], 10);
+            const family = m[2].toLowerCase();
+            // Last-wins per family (claim might restate)
+            hits.set(family, n);
+        }
+    }
+    return Array.from(hits.entries()).map(([family, n]) => ({
+        kind: "mcp_family_count",
+        asserted: `MCP family 'mneme.${family}.*' has exactly ${n} tools`,
+        value: { family, expectedCount: n },
+    }));
+}
+/** Extract "ships N MCP tools" / "N tools total" claims. */
+export function sniffMcpTotalCount(claim) {
+    const patterns = [
+        /\bships?\s+(\d+)\s+mcp\s+tools?\b/i,
+        /\b(\d+)\s+(?:total\s+)?mcp\s+tools?\b/i,
+        /\bregisters?\s+(\d+)\s+(?:total\s+)?mcp\s+tools?\b/i,
+        /\b(\d+)\s+tools?\s+total\b/i,
+    ];
+    for (const re of patterns) {
+        const m = claim.match(re);
+        if (m) {
+            const n = parseInt(m[1], 10);
+            return [{
+                    kind: "mcp_total_count",
+                    asserted: `Mneme ships exactly ${n} MCP tools total`,
+                    value: { expectedCount: n },
+                }];
+        }
+    }
+    return [];
+}
+/** Extract "v2.19.X" / "version 2.19.X" version claims. */
+export function sniffVersion(claim) {
+    const re = /\bv?(\d+\.\d+\.\d+)\b/g;
+    const hits = new Set();
+    let m;
+    while ((m = re.exec(claim)) !== null)
+        hits.add(m[1]);
+    return Array.from(hits).map((ver) => ({
+        kind: "version_exact",
+        asserted: `installed version equals ${ver}`,
+        value: { version: ver },
+    }));
+}
+/** Extract file paths mentioned in claim. */
+export function sniffFilePath(claim) {
+    const re = /\b((?:packages|scripts|tests|src)\/[\w./-]+\.(?:ts|tsx|js|mjs|cjs|md|json|mdx))\b/g;
+    const hits = new Set();
+    let m;
+    while ((m = re.exec(claim)) !== null)
+        hits.add(m[1]);
+    return Array.from(hits).map((p) => ({
+        kind: "file_path",
+        asserted: `file '${p}' exists`,
+        value: { path: p },
+    }));
+}
+export function sniffAllAssertions(claim) {
+    return [
+        ...sniffMcpToolExact(claim),
+        ...sniffMcpFamilyCount(claim),
+        ...sniffMcpTotalCount(claim),
+        ...sniffVersion(claim),
+        ...sniffFilePath(claim),
+    ];
+}
+function checkAssertion(a, gt) {
+    if (a.kind === "mcp_tool_exact") {
+        const v = a.value;
+        if (!gt.mcpCatalog) {
+            return { kind: a.kind, asserted: a.asserted, sub_verdict: "untested", evidence: "no mcpCatalog supplied to checker" };
+        }
+        const found = gt.mcpCatalog.includes(v.toolName);
+        return {
+            kind: a.kind,
+            asserted: a.asserted,
+            sub_verdict: found ? "supported" : "refuted",
+            evidence: found ? `tool '${v.toolName}' is in the live MCP catalog` : `tool '${v.toolName}' NOT FOUND in the live MCP catalog (${gt.mcpCatalog.length} tools registered)`,
+            observed: found,
+            expected: true,
+        };
+    }
+    if (a.kind === "mcp_family_count") {
+        const v = a.value;
+        if (!gt.mcpCatalog) {
+            return { kind: a.kind, asserted: a.asserted, sub_verdict: "untested", evidence: "no mcpCatalog supplied" };
+        }
+        const prefix = `mneme.${v.family}.`;
+        const actual = gt.mcpCatalog.filter((t) => t.startsWith(prefix)).length;
+        const supported = actual === v.expectedCount;
+        return {
+            kind: a.kind,
+            asserted: a.asserted,
+            sub_verdict: supported ? "supported" : "refuted",
+            evidence: supported
+                ? `live catalog has exactly ${actual} tools matching '${prefix}*'`
+                : `live catalog has ${actual} tools matching '${prefix}*', not ${v.expectedCount} — claim refuted`,
+            observed: actual,
+            expected: v.expectedCount,
+        };
+    }
+    if (a.kind === "mcp_total_count") {
+        const v = a.value;
+        if (!gt.mcpCatalog) {
+            return { kind: a.kind, asserted: a.asserted, sub_verdict: "untested", evidence: "no mcpCatalog supplied" };
+        }
+        const actual = gt.mcpCatalog.length;
+        const supported = actual === v.expectedCount;
+        return {
+            kind: a.kind,
+            asserted: a.asserted,
+            sub_verdict: supported ? "supported" : "refuted",
+            evidence: supported
+                ? `live catalog has exactly ${actual} tools`
+                : `live catalog has ${actual} tools, not ${v.expectedCount} — claim refuted`,
+            observed: actual,
+            expected: v.expectedCount,
+        };
+    }
+    if (a.kind === "version_exact") {
+        const v = a.value;
+        if (!gt.installedVersion) {
+            return { kind: a.kind, asserted: a.asserted, sub_verdict: "untested", evidence: "no installedVersion supplied" };
+        }
+        const supported = gt.installedVersion === v.version;
+        return {
+            kind: a.kind,
+            asserted: a.asserted,
+            sub_verdict: supported ? "supported" : "refuted",
+            evidence: supported
+                ? `installed version is ${gt.installedVersion}`
+                : `installed version is ${gt.installedVersion}, not ${v.version} — claim refuted`,
+            observed: gt.installedVersion,
+            expected: v.version,
+        };
+    }
+    if (a.kind === "file_path") {
+        const v = a.value;
+        if (!gt.fileExists) {
+            return { kind: a.kind, asserted: a.asserted, sub_verdict: "untested", evidence: "no fileExists checker supplied" };
+        }
+        const found = gt.fileExists(v.path);
+        return {
+            kind: a.kind,
+            asserted: a.asserted,
+            sub_verdict: found ? "supported" : "refuted",
+            evidence: found ? `file '${v.path}' exists on disk` : `file '${v.path}' does NOT exist — claim refuted`,
+            observed: found,
+            expected: true,
+        };
+    }
+    return { kind: a.kind, asserted: a.asserted, sub_verdict: "untested", evidence: "unknown assertion kind" };
+}
+/**
+ * Run the full forensic pipeline:
+ *   1. Sniff assertions from claim text.
+ *   2. Check each against ground truth.
+ *   3. Apply negative-evidence rule:
+ *        ANY assertion 'refuted' → REJECTED
+ *        else ALL assertions 'supported' → ACCEPTED
+ *        else (some 'untested' / no sniff hits) → UNKNOWN
+ *   4. Issue HMAC-signed certificate.
+ *   5. Produce plain-English explanation.
+ */
+export function forensicVerify(input) {
+    const ts = input.nowMs ?? Date.now();
+    const secret = input.secret ?? defaultSecret();
+    const assertions = sniffAllAssertions(input.claim);
+    const results = assertions.map((a) => checkAssertion(a, input.groundTruth ?? {}));
+    const refuted = results.filter((r) => r.sub_verdict === "refuted");
+    const supported = results.filter((r) => r.sub_verdict === "supported");
+    const untested = results.filter((r) => r.sub_verdict === "untested");
+    // Negative-evidence rule
+    let verdict;
+    if (refuted.length > 0)
+        verdict = "REJECTED";
+    else if ((input.externalRefutationsFound ?? 0) > 0)
+        verdict = "REJECTED";
+    else if (assertions.length > 0 && untested.length === 0)
+        verdict = "ACCEPTED";
+    else
+        verdict = "UNKNOWN";
+    const claimSha = sha256Hex(input.claim).slice(0, 32);
+    const certBody = {
+        v: PROTOCOL_VERSION,
+        claim: input.claim,
+        claimSha,
+        assertions: results,
+        verdict,
+        ts,
+    };
+    const cert = { ...certBody, hmac: signCertificate(certBody, secret) };
+    // Plain-English explanation
+    const lines = [];
+    if (verdict === "ACCEPTED") {
+        lines.push(`✅ TRUTH-FORENSIC verdict: ACCEPTED. Every assertion sniffed from the claim grounded against Mneme's live state.`);
+        for (const r of supported)
+            lines.push(`  ✓ ${r.asserted} — ${r.evidence}`);
+    }
+    else if (verdict === "REJECTED") {
+        lines.push(`❌ TRUTH-FORENSIC verdict: REJECTED. Claim contains assertion(s) refuted by Mneme's live state — DO NOT trust this claim.`);
+        for (const r of refuted)
+            lines.push(`  ✗ ${r.asserted} — ${r.evidence}`);
+        if (supported.length > 0) {
+            lines.push(`(Other parts of the claim grounded: ${supported.length} supported assertion(s).)`);
+        }
+    }
+    else {
+        if (assertions.length === 0) {
+            lines.push(`❓ TRUTH-FORENSIC verdict: UNKNOWN. No verifiable assertions sniffed from the claim. Mneme refuses to auto-accept untested claims.`);
+            lines.push(`Tip: rephrase to include checkable specifics — e.g., a tool name 'mneme.X.Y', a count 'N mneme.X.* tools', or a file path.`);
+        }
+        else {
+            lines.push(`❓ TRUTH-FORENSIC verdict: UNKNOWN. Sniffed ${assertions.length} assertion(s) but ${untested.length} could not be checked (missing ground truth).`);
+            for (const r of untested)
+                lines.push(`  ? ${r.asserted} — ${r.evidence}`);
+        }
+    }
+    return {
+        verdict,
+        claim: input.claim,
+        assertions: results,
+        refutedAssertions: refuted,
+        untested: assertions.length === 0,
+        certificate: cert,
+        explanation: lines.join("\n"),
+    };
+}
+export function verifyForensicCertificate(cert, secret) {
+    const { hmac, ...body } = cert;
+    const expected = signCertificate(body, secret ?? defaultSecret());
+    if (!safeEqHex(expected, hmac)) {
+        return { ok: false, reason: "HMAC mismatch — forged certificate or wrong secret" };
+    }
+    return { ok: true };
+}
+export function classifyClaim(claim) {
+    const assertions = sniffAllAssertions(claim);
+    const classes = Array.from(new Set(assertions.map((a) => a.kind)));
+    return { assertionsExpected: assertions.length, classes };
+}
+export function formatForensicLine(r) {
+    const tag = r.verdict === "ACCEPTED" ? "✅" : r.verdict === "REJECTED" ? "❌" : "❓";
+    const sup = r.assertions.filter((x) => x.sub_verdict === "supported").length;
+    const ref = r.refutedAssertions.length;
+    const unt = r.assertions.filter((x) => x.sub_verdict === "untested").length;
+    return `${tag} TRUTH-FORENSIC · ${r.verdict} · sniffed=${r.assertions.length} (✓${sup} ✗${ref} ?${unt})`;
+}
+//# sourceMappingURL=index.js.map

package/dist/truth_forensic_pipeline/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/truth_forensic_pipeline/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAU,CAAC;AAqDpC,SAAS,KAAK,CAAC,CAAU;IACvB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAA4B,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,KAAK,CAAE,CAA6B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AACnH,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,yBAAyB,gBAAgB,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,UAAU,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,eAAe,CAAC,IAAuC,EAAE,MAAc;IAC9E,OAAO,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,IAAI,CAAC;QAAC,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;IAC7E,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AACzB,CAAC;AAED,4EAA4E;AAE5E,oEAAoE;AACpE,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,EAAE,GAAG,gDAAgD,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrC,IAAI,EAAE,gBAAgB;QACtB,QAAQ,EAAE,aAAa,IAAI,iBAAiB;QAC5C,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC1B,CAAC,CAAC,CAAC;AACN,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,MAAM,EAAE,GAAG,6EAA6E,CAAC;IACzF,MAAM,GAAG,GAAG,wDAAwD,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;YACnC,6CAA6C;YAC7C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,EAAE,kBAA2B;QACjC,QAAQ,EAAE,qBAAqB,MAAM,mBAAmB,CAAC,QAAQ;QACjE,KAAK,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE;KACpC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,kBAAkB,CAAC,KAAa;IAC9C,MAAM,QAAQ,GAAG;QACf,oCAAoC;QACpC,wCAAwC;QACxC,qDAAqD;QACrD,6BAA6B;KAC9B,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAC9B,OAAO,CAAC;oBACN,IAAI,EAAE,iBAAiB;oBACvB,QAAQ,EAAE,uBAAuB,CAAC,kBAAkB;oBACpD,KAAK,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE;iBAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,MAAM,EAAE,GAAG,wBAAwB,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpC,IAAI,EAAE,eAAwB;QAC9B,QAAQ,EAAE,4BAA4B,GAAG,EAAE;QAC3C,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;KACxB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,MAAM,EAAE,GAAG,oFAAoF,CAAC;IAChG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,WAAoB;QAC1B,QAAQ,EAAE,SAAS,CAAC,UAAU;QAC9B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE;KACnB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAa;IAC9C,OAAO;QACL,GAAG,iBAAiB,CAAC,KAAK,CAAC;QAC3B,GAAG,mBAAmB,CAAC,KAAK,CAAC;QAC7B,GAAG,kBAAkB,CAAC,KAAK,CAAC;QAC5B,GAAG,YAAY,CAAC,KAAK,CAAC;QACtB,GAAG,aAAa,CAAC,KAAK,CAAC;KACxB,CAAC;AACJ,CAAC;AAUD,SAAS,cAAc,CAAC,CAAgB,EAAE,EAAe;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,KAA6B,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;YACnB,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,mCAAmC,EAAE,CAAC;QACxH,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjD,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAC5C,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,8BAA8B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,QAAQ,wCAAwC,EAAE,CAAC,UAAU,CAAC,MAAM,oBAAoB;YACzK,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAkD,CAAC;QAC/D,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;YACnB,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,wBAAwB,EAAE,CAAC;QAC7G,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC;QACpC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACxE,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,CAAC,aAAa,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAChD,QAAQ,EAAE,SAAS;gBACjB,CAAC,CAAC,4BAA4B,MAAM,oBAAoB,MAAM,IAAI;gBAClE,CAAC,CAAC,oBAAoB,MAAM,oBAAoB,MAAM,WAAW,CAAC,CAAC,aAAa,kBAAkB;YACpG,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,aAAa;SAC1B,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAkC,CAAC;QAC/C,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;YACnB,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,wBAAwB,EAAE,CAAC;QAC7G,CAAC;QACD,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QACpC,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,CAAC,aAAa,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAChD,QAAQ,EAAE,SAAS;gBACjB,CAAC,CAAC,4BAA4B,MAAM,QAAQ;gBAC5C,CAAC,CAAC,oBAAoB,MAAM,eAAe,CAAC,CAAC,aAAa,kBAAkB;YAC9E,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,aAAa;SAC1B,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAA4B,CAAC;QACzC,IAAI,CAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,8BAA8B,EAAE,CAAC;QACnH,CAAC;QACD,MAAM,SAAS,GAAG,EAAE,CAAC,gBAAgB,KAAK,CAAC,CAAC,OAAO,CAAC;QACpD,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAChD,QAAQ,EAAE,SAAS;gBACjB,CAAC,CAAC,wBAAwB,EAAE,CAAC,gBAAgB,EAAE;gBAC/C,CAAC,CAAC,wBAAwB,EAAE,CAAC,gBAAgB,SAAS,CAAC,CAAC,OAAO,kBAAkB;YACnF,QAAQ,EAAE,EAAE,CAAC,gBAAgB;YAC7B,QAAQ,EAAE,CAAC,CAAC,OAAO;SACpB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAyB,CAAC;QACtC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;YACnB,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,gCAAgC,EAAE,CAAC;QACrH,CAAC;QACD,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAC5C,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,kCAAkC;YACvG,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,wBAAwB,EAAE,CAAC;AAC7G,CAAC;AAaD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,KAAoB;IACjD,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC;IAC/C,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;IACrE,yBAAyB;IACzB,IAAI,OAAwB,CAAC;IAC7B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,UAAU,CAAC;SACxC,IAAI,CAAC,KAAK,CAAC,wBAAwB,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,UAAU,CAAC;SACpE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,UAAU,CAAC;;QACzE,OAAO,GAAG,SAAS,CAAC;IACzB,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAsC;QAClD,CAAC,EAAE,gBAAgB;QACnB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ;QACR,UAAU,EAAE,OAAO;QACnB,OAAO;QACP,EAAE;KACH,CAAC;IACF,MAAM,IAAI,GAAwB,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;IAC3F,4BAA4B;IAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,iHAAiH,CAAC,CAAC;QAC9H,KAAK,MAAM,CAAC,IAAI,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC7E,CAAC;SAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,0HAA0H,CAAC,CAAC;QACvI,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,uCAAuC,SAAS,CAAC,MAAM,2BAA2B,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,mIAAmI,CAAC,CAAC;YAChJ,KAAK,CAAC,IAAI,CAAC,4HAA4H,CAAC,CAAC;QAC3I,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,8CAA8C,UAAU,CAAC,MAAM,qBAAqB,QAAQ,CAAC,MAAM,+CAA+C,CAAC,CAAC;YAC/J,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO;QACP,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,OAAO;QACnB,iBAAiB,EAAE,OAAO;QAC1B,QAAQ,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QACjC,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAyB,EAAE,MAAe;IAClF,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IAC/B,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC;IAClE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oDAAoD,EAAE,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAa;IAIzC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,EAAE,kBAAkB,EAAE,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAiB;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAClF,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAC7E,MAAM,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC;IACvC,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAC5E,OAAO,GAAG,GAAG,qBAAqB,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,UAAU,CAAC,MAAM,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,GAAG,CAAC;AAC3G,CAAC"}

package/dist/truth_forensic_pipeline/truth_forensic_pipeline.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=truth_forensic_pipeline.test.d.ts.map

package/dist/truth_forensic_pipeline/truth_forensic_pipeline.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"truth_forensic_pipeline.test.d.ts","sourceRoot":"","sources":["../../src/truth_forensic_pipeline/truth_forensic_pipeline.test.ts"],"names":[],"mappings":""}

package/dist/truth_forensic_pipeline/truth_forensic_pipeline.test.js

@@ -0,0 +1,256 @@
+import { describe, it, expect } from "vitest";
+import { sniffMcpToolExact, sniffMcpFamilyCount, sniffMcpTotalCount, sniffVersion, sniffFilePath, sniffAllAssertions, forensicVerify, verifyForensicCertificate, classifyClaim, formatForensicLine, } from "./index.js";
+const SECRET = "truth-test-secret-99221144";
+// Live catalog stub used across tests
+const CATALOG = [
+    "mneme.nexus.subscribe",
+    "mneme.nexus.publish_observation",
+    "mneme.nexus.drain",
+    "mneme.nexus.ack",
+    "mneme.confessional.audit",
+    "mneme.ghost.distill",
+    "mneme.inverse.audit",
+];
+describe("v2.19.15 TRUTH FORENSIC · sniffMcpToolExact", () => {
+    it("extracts every mneme.X.Y mention from claim text, dedup", () => {
+        const a = sniffMcpToolExact("ships mneme.nexus.subscribe and mneme.inverse.audit and mneme.nexus.subscribe again");
+        expect(a.map((x) => x.value.toolName).sort()).toEqual([
+            "mneme.inverse.audit",
+            "mneme.nexus.subscribe",
+        ]);
+    });
+    it("ignores partial matches (mneme.X without action)", () => {
+        const a = sniffMcpToolExact("mneme is great; mneme.nexus has tools");
+        expect(a).toHaveLength(0);
+    });
+    it("handles snake_case actions", () => {
+        const a = sniffMcpToolExact("mneme.nexus.publish_observation is registered");
+        expect(a).toHaveLength(1);
+        expect(a[0].value.toolName).toBe("mneme.nexus.publish_observation");
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · sniffMcpFamilyCount", () => {
+    it("extracts 'N mneme.X.* tools' pattern", () => {
+        const a = sniffMcpFamilyCount("Mneme v2.19.14 registers 4 mneme.nexus.* MCP tools");
+        expect(a).toHaveLength(1);
+        expect(a[0].value).toEqual({ family: "nexus", expectedCount: 4 });
+    });
+    it("extracts 'registers N mneme.X.*' variant", () => {
+        const a = sniffMcpFamilyCount("registers 3 mneme.inverse.* tools");
+        expect(a).toHaveLength(1);
+    });
+    it("handles multiple families in one claim", () => {
+        const a = sniffMcpFamilyCount("ships 5 mneme.nexus.* tools and 3 mneme.ghost.* tools");
+        expect(a).toHaveLength(2);
+        const fams = a.map((x) => x.value.family).sort();
+        expect(fams).toEqual(["ghost", "nexus"]);
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · sniffMcpTotalCount", () => {
+    it("extracts 'ships N MCP tools' pattern", () => {
+        const a = sniffMcpTotalCount("Mneme ships 508 MCP tools");
+        expect(a).toHaveLength(1);
+        expect(a[0].value).toEqual({ expectedCount: 508 });
+    });
+    it("extracts 'N tools total' pattern", () => {
+        const a = sniffMcpTotalCount("we have 100 tools total now");
+        expect(a).toHaveLength(1);
+    });
+    it("returns empty array when no total-count claim present", () => {
+        expect(sniffMcpTotalCount("Mneme ships proof and reverse")).toHaveLength(0);
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · sniffVersion", () => {
+    it("extracts versions of form vX.Y.Z and X.Y.Z", () => {
+        const a = sniffVersion("Mneme v2.19.14 is the current release; previously 2.19.13 was live");
+        const versions = a.map((x) => x.value.version).sort();
+        expect(versions).toContain("2.19.14");
+        expect(versions).toContain("2.19.13");
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · sniffFilePath", () => {
+    it("extracts repo paths ending in .ts/.tsx/.js/.json/.md", () => {
+        const a = sniffFilePath("see packages/core/src/foo.ts and tests/integration.test.ts plus scripts/build.mjs");
+        const paths = a.map((x) => x.value.path).sort();
+        expect(paths).toContain("packages/core/src/foo.ts");
+        expect(paths).toContain("tests/integration.test.ts");
+        expect(paths).toContain("scripts/build.mjs");
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · forensicVerify ACCEPTED path", () => {
+    it("ACCEPTED when every sniff grounds: claim 'registers 4 mneme.nexus.* tools' on a catalog with 4", () => {
+        const r = forensicVerify({
+            claim: "Mneme v2.19.15 registers 4 mneme.nexus.* MCP tools",
+            groundTruth: { mcpCatalog: CATALOG, installedVersion: "2.19.15" },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("ACCEPTED");
+        expect(r.certificate.verdict).toBe("ACCEPTED");
+        expect(r.assertions.some((a) => a.sub_verdict === "supported")).toBe(true);
+        expect(verifyForensicCertificate(r.certificate, SECRET).ok).toBe(true);
+    });
+    it("ACCEPTED also includes the exact mneme.X.Y mentions in the claim (sniffMcpToolExact)", () => {
+        const r = forensicVerify({
+            claim: "Uses mneme.inverse.audit then mneme.confessional.audit; v2.19.15",
+            groundTruth: { mcpCatalog: CATALOG, installedVersion: "2.19.15" },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("ACCEPTED");
+        const toolKinds = r.assertions.filter((a) => a.kind === "mcp_tool_exact");
+        expect(toolKinds.length).toBe(2);
+        expect(toolKinds.every((a) => a.sub_verdict === "supported")).toBe(true);
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · forensicVerify REJECTED path (the W2 kill)", () => {
+    it("REJECTED when claim states wrong nexus count: 7 vs actual 4", () => {
+        const r = forensicVerify({
+            claim: "Mneme registers 7 mneme.nexus.* MCP tools",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+        expect(r.refutedAssertions.length).toBe(1);
+        expect(r.refutedAssertions[0].evidence).toContain("not 7");
+        // The killer: explanation surfaces the actual count
+        expect(r.explanation).toContain("REJECTED");
+    });
+    it("REJECTED when claim mentions a tool that doesn't exist in the catalog", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe and mneme.fictional.lie",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+        const refuted = r.refutedAssertions[0];
+        expect(refuted.asserted).toContain("mneme.fictional.lie");
+    });
+    it("REJECTED when version claim mismatches installed version", () => {
+        const r = forensicVerify({
+            claim: "installed at v2.19.99",
+            groundTruth: { installedVersion: "2.19.15" },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+        expect(r.refutedAssertions[0].evidence).toContain("not 2.19.99");
+    });
+    it("REJECTED when file claim points at non-existent path", () => {
+        const r = forensicVerify({
+            claim: "see packages/core/src/imaginary.ts",
+            groundTruth: { fileExists: (_p) => false },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+    });
+    it("REJECTED wins over supported assertions (any refutation is fatal)", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe and registers 99 mneme.nexus.* tools",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+        // tool-exact assertion is supported, count assertion is refuted → still REJECTED
+        expect(r.assertions.some((a) => a.sub_verdict === "supported")).toBe(true);
+        expect(r.refutedAssertions.length).toBeGreaterThan(0);
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · forensicVerify UNKNOWN path", () => {
+    it("UNKNOWN when claim has no sniffable assertions", () => {
+        const r = forensicVerify({
+            claim: "the codebase is healthy and developer morale is high",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("UNKNOWN");
+        expect(r.untested).toBe(true);
+        expect(r.explanation).toContain("UNKNOWN");
+    });
+    it("UNKNOWN when sniffed assertions can't be checked (missing ground truth)", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe",
+            groundTruth: {}, // no catalog
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("UNKNOWN");
+        expect(r.assertions[0].sub_verdict).toBe("untested");
+    });
+    it("externalRefutationsFound > 0 forces REJECTED even with no sniff", () => {
+        const r = forensicVerify({
+            claim: "the codebase is healthy",
+            groundTruth: {},
+            externalRefutationsFound: 3,
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · certificate integrity", () => {
+    it("certificate verifies against the same secret", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        expect(verifyForensicCertificate(r.certificate, SECRET).ok).toBe(true);
+    });
+    it("forged certificate (tampered claim) is rejected", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        const forged = { ...r.certificate, claim: "evil-claim" };
+        expect(verifyForensicCertificate(forged, SECRET).ok).toBe(false);
+    });
+    it("certificate fails to verify with a different secret", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        expect(verifyForensicCertificate(r.certificate, "wrong-secret").ok).toBe(false);
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · classifyClaim + formatter + sniffAll", () => {
+    it("classifyClaim reports number + classes of sniffed assertions", () => {
+        const c = classifyClaim("v2.19.15 ships 4 mneme.nexus.* tools using mneme.inverse.audit");
+        expect(c.assertionsExpected).toBeGreaterThan(0);
+        expect(c.classes).toContain("mcp_tool_exact");
+        expect(c.classes).toContain("mcp_family_count");
+        expect(c.classes).toContain("version_exact");
+    });
+    it("sniffAllAssertions returns the union of all sniffers", () => {
+        const all = sniffAllAssertions("v2.19.15 ships 4 mneme.nexus.* tools using mneme.inverse.audit in packages/core/src/foo.ts");
+        expect(all.length).toBeGreaterThanOrEqual(4);
+    });
+    it("formatter line includes verdict + counts", () => {
+        const r = forensicVerify({
+            claim: "ships mneme.nexus.subscribe and mneme.nexus.drain",
+            groundTruth: { mcpCatalog: CATALOG },
+            secret: SECRET,
+        });
+        const line = formatForensicLine(r);
+        expect(line).toContain("ACCEPTED");
+        expect(line).toContain("sniffed=2");
+    });
+});
+describe("v2.19.15 TRUTH FORENSIC · the exact W2 lie kill scenario", () => {
+    it("kills the user's W2 example claim: 'Mneme v2.19.14 registers 4 mneme.nexus.* MCP tools' against ACTUAL catalog", () => {
+        // Simulate the exact user complaint: at the time of the test in v2.19.6 the
+        // catalog had 0 nexus tools (the bug). With current state we have 4 — claim
+        // accurate now. But if anyone restates an outdated count, the pipeline catches it.
+        const trueWith4 = forensicVerify({
+            claim: "Mneme v2.19.14 registers 4 mneme.nexus.* MCP tools",
+            groundTruth: { mcpCatalog: CATALOG, installedVersion: "2.19.14" },
+            secret: SECRET,
+        });
+        expect(trueWith4.verdict).toBe("ACCEPTED");
+        const lieWith7 = forensicVerify({
+            claim: "Mneme v2.19.14 registers 7 mneme.nexus.* MCP tools",
+            groundTruth: { mcpCatalog: CATALOG, installedVersion: "2.19.14" },
+            secret: SECRET,
+        });
+        expect(lieWith7.verdict).toBe("REJECTED");
+        expect(lieWith7.refutedAssertions[0].evidence).toMatch(/has 4 tools matching .* not 7/);
+    });
+});
+//# sourceMappingURL=truth_forensic_pipeline.test.js.map

package/dist/truth_forensic_pipeline/truth_forensic_pipeline.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"truth_forensic_pipeline.test.js","sourceRoot":"","sources":["../../src/truth_forensic_pipeline/truth_forensic_pipeline.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,kBAAkB,EAClB,cAAc,EACd,yBAAyB,EACzB,aAAa,EACb,kBAAkB,GAEnB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,GAAG,4BAA4B,CAAC;AAE5C,sCAAsC;AACtC,MAAM,OAAO,GAAG;IACd,uBAAuB;IACvB,iCAAiC;IACjC,mBAAmB;IACnB,iBAAiB;IACjB,0BAA0B;IAC1B,qBAAqB;IACrB,qBAAqB;CACtB,CAAC;AAEF,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,iBAAiB,CAAC,qFAAqF,CAAC,CAAC;QACnH,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,KAA8B,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YAC9E,qBAAqB;YACrB,uBAAuB;SACxB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,iBAAiB,CAAC,uCAAuC,CAAC,CAAC;QACrE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,iBAAiB,CAAC,+CAA+C,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAE,CAAC,CAAC,CAAC,CAAE,CAAC,KAA8B,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,mBAAmB,CAAC,oDAAoD,CAAC,CAAC;QACpF,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAE,CAAC,CAAC,CAAC,CAAE,CAAC,KAAmD,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;IACpH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,mBAAmB,CAAC,mCAAmC,CAAC,CAAC;QACnE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,mBAAmB,CAAC,uDAAuD,CAAC,CAAC;QACvF,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,KAA4B,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QACzE,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,kBAAkB,CAAC,2BAA2B,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAE,CAAC,CAAC,CAAC,CAAE,CAAC,KAAmC,CAAC,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,kBAAkB,CAAC,6BAA6B,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,kBAAkB,CAAC,+BAA+B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,YAAY,CAAC,oEAAoE,CAAC,CAAC;QAC7F,MAAM,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,KAA6B,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/E,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,aAAa,CAAC,mFAAmF,CAAC,CAAC;QAC7G,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAC,CAAC,KAA0B,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACtE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,oDAAoD;YAC3D,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE;YACjE,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,kEAAkE;YACzE,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE;YACjE,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;QAC1E,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sEAAsE,EAAE,GAAG,EAAE;IACpF,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,2CAA2C;YAClD,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC5D,oDAAoD;QACpD,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,qDAAqD;YAC5D,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAE,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,uBAAuB;YAC9B,WAAW,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE;YAC5C,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,oCAAoC;YAC3C,WAAW,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE;YAC1C,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,kEAAkE;YACzE,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,iFAAiF;QACjF,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,sDAAsD;YAC7D,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,6BAA6B;YACpC,WAAW,EAAE,EAAE,EAAE,aAAa;YAC9B,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,yBAAyB;YAChC,WAAW,EAAE,EAAE;YACf,wBAAwB,EAAE,CAAC;YAC3B,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,6BAA6B;YACpC,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,6BAA6B;YACpC,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,MAAM,GAAwB,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC9E,MAAM,CAAC,yBAAyB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,6BAA6B;YACpC,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC9E,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,aAAa,CAAC,gEAAgE,CAAC,CAAC;QAC1F,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,kBAAkB,CAAC,4FAA4F,CAAC,CAAC;QAC7H,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,KAAK,EAAE,mDAAmD;YAC1D,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;YACpC,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,EAAE,CAAC,gHAAgH,EAAE,GAAG,EAAE;QACxH,4EAA4E;QAC5E,4EAA4E;QAC5E,mFAAmF;QACnF,MAAM,SAAS,GAAG,cAAc,CAAC;YAC/B,KAAK,EAAE,oDAAoD;YAC3D,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE;YACjE,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,cAAc,CAAC;YAC9B,KAAK,EAAE,oDAAoD;YAC3D,WAAW,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE;YACjE,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}