@mneme-ai/core 2.19.30 → 2.19.32

package/dist/synapse_sync/synapse_sync.test.js

@@ -0,0 +1,363 @@
+import { describe, it, expect } from "vitest";
+import { reinforceSynapse, computeStats, pruneStore } from "../synapse_genesis/index.js";
+import { exportForSync, verifySyncExport, mergeSynapseStores, packForDiaspora, unpackFromDiaspora, computeSyncStats, formatSyncStatsLine, } from "./index.js";
+const SECRET = "sync-test-secret-991";
+const STORE_SECRET = "mneme-synapse-genesis-v1";
+function freshStore() {
+    return { v: 1, weights: [], lastDecayedAtMs: null, sig: "" };
+}
+/** Helper: simulate a device learning a synapse for tool by event N times. */
+function learn(store, pattern, tool, n, startMs) {
+    let s = store;
+    for (let i = 0; i < n; i++) {
+        const out = reinforceSynapse({
+            store: s,
+            event: { pattern, ts: startMs + i * 1000 },
+            toolCall: { toolName: tool, ts: startMs + i * 1000 + 100 },
+            satisfaction: "positive",
+            nowMs: startMs + i * 1000 + 100,
+            secret: STORE_SECRET,
+        });
+        s = out.store;
+    }
+    return s;
+}
+describe("v2.19.31 CROSS-DEVICE SYNAPSE SYNC -- envelope + HMAC", () => {
+    it("exportForSync produces a valid HMAC-signed envelope", () => {
+        const store = learn(freshStore(), "user_asks_test", "mneme.truth.forensic", 5, 1_700_000_000_000);
+        const env = exportForSync({ deviceId: "macbook", store, secret: SECRET });
+        expect(env.deviceId).toBe("macbook");
+        expect(env.store.weights.length).toBe(1);
+        expect(env.sig).toMatch(/^[0-9a-f]{64}$/);
+        expect(verifySyncExport(env, SECRET)).toBe(true);
+    });
+    it("verifySyncExport rejects tampered envelopes", () => {
+        const store = learn(freshStore(), "x", "y.tool", 3, 1_700_000_000_000);
+        const env = exportForSync({ deviceId: "phone", store, secret: SECRET });
+        const tampered = { ...env, deviceId: "evil-device" };
+        expect(verifySyncExport(tampered, SECRET)).toBe(false);
+    });
+    it("verifySyncExport rejects wrong secret", () => {
+        const store = learn(freshStore(), "x", "y", 3, 1_700_000_000_000);
+        const env = exportForSync({ deviceId: "laptop", store, secret: SECRET });
+        expect(verifySyncExport(env, "different-secret")).toBe(false);
+    });
+    it("verifySyncExport rejects malformed envelopes", () => {
+        expect(verifySyncExport(null, SECRET)).toBe(false);
+        expect(verifySyncExport({}, SECRET)).toBe(false);
+        expect(verifySyncExport({ v: 999, deviceId: "x", exportedAtMs: 0, store: freshStore(), sig: "x" }, SECRET)).toBe(false);
+    });
+});
+describe("v2.19.31 CROSS-DEVICE SYNAPSE SYNC -- CRDT merge semantics", () => {
+    it("single device export merges to identical store (idempotent N=1)", () => {
+        const store = learn(freshStore(), "p", "t.cmd", 3, 1_700_000_000_000);
+        const env = exportForSync({ deviceId: "solo", store, secret: SECRET });
+        const merged = mergeSynapseStores({ exports: [env], secret: SECRET });
+        expect(merged.participatingDevices).toEqual(["solo"]);
+        expect(merged.store.weights.length).toBe(1);
+        expect(merged.store.weights[0].observationCount).toBe(3);
+    });
+    it("two devices, distinct synapses → union of both", () => {
+        const a = learn(freshStore(), "edit_ts", "mneme.ask", 4, 1_700_000_000_000);
+        const b = learn(freshStore(), "git_commit", "mneme.guard", 5, 1_700_000_000_000);
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "macbook", store: a, secret: SECRET }),
+                exportForSync({ deviceId: "phone", store: b, secret: SECRET }),
+            ],
+            secret: SECRET,
+        });
+        expect(merged.store.weights.length).toBe(2);
+        expect(merged.participatingDevices).toEqual(["macbook", "phone"]);
+    });
+    it("two devices, SAME synapse → cumulative observationCount + max weight", () => {
+        const a = learn(freshStore(), "shared", "mneme.shared", 3, 1_700_000_000_000);
+        const b = learn(freshStore(), "shared", "mneme.shared", 7, 1_700_000_500_000);
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "alpha", store: a, secret: SECRET }),
+                exportForSync({ deviceId: "beta", store: b, secret: SECRET }),
+            ],
+            secret: SECRET,
+        });
+        expect(merged.store.weights.length).toBe(1);
+        const w = merged.store.weights[0];
+        expect(w.observationCount).toBe(10); // 3 + 7 cumulative
+        // beta has more reinforcement so its weight > alpha's; winner = beta
+        expect(merged.provenance[0].winnerDeviceId).toBe("beta");
+    });
+    it("permanent=true on ANY device → merged permanent (sticky/OR)", () => {
+        // alpha crystallises through 12 reinforcements (FIRE_THRESHOLD)
+        const alphaStore = learn(freshStore(), "p", "t.boot", 12, 1_700_000_000_000);
+        const alphaPerm = alphaStore.weights[0].permanent;
+        expect(alphaPerm).toBe(true);
+        // beta only saw it twice — NOT permanent
+        const betaStore = learn(freshStore(), "p", "t.boot", 2, 1_700_000_500_000);
+        expect(betaStore.weights[0].permanent).toBe(false);
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "alpha", store: alphaStore, secret: SECRET }),
+                exportForSync({ deviceId: "beta", store: betaStore, secret: SECRET }),
+            ],
+            secret: SECRET,
+        });
+        expect(merged.store.weights[0].permanent).toBe(true);
+        expect(merged.provenance[0].mergedPermanent).toBe(true);
+    });
+    it("merge is COMMUTATIVE (A,B,C order vs C,B,A order → identical result)", () => {
+        const a = learn(freshStore(), "p", "t", 4, 1_700_000_000_000);
+        const b = learn(freshStore(), "p", "t", 6, 1_700_000_500_000);
+        const c = learn(freshStore(), "q", "u", 3, 1_700_001_000_000);
+        const envs = [
+            exportForSync({ deviceId: "a", store: a, secret: SECRET }),
+            exportForSync({ deviceId: "b", store: b, secret: SECRET }),
+            exportForSync({ deviceId: "c", store: c, secret: SECRET }),
+        ];
+        const forward = mergeSynapseStores({ exports: envs, secret: SECRET });
+        const reverse = mergeSynapseStores({ exports: [...envs].reverse(), secret: SECRET });
+        expect(forward.store.sig).toBe(reverse.store.sig);
+        // Provenance order is sorted by key — so identical too
+        expect(forward.provenance).toEqual(reverse.provenance);
+    });
+    it("merge is ASSOCIATIVE ((A∪B)∪C ≡ A∪(B∪C))", () => {
+        const a = learn(freshStore(), "x", "t", 2, 1_700_000_000_000);
+        const b = learn(freshStore(), "x", "t", 4, 1_700_000_500_000);
+        const c = learn(freshStore(), "y", "u", 3, 1_700_001_000_000);
+        const envA = exportForSync({ deviceId: "a", store: a, secret: SECRET });
+        const envB = exportForSync({ deviceId: "b", store: b, secret: SECRET });
+        const envC = exportForSync({ deviceId: "c", store: c, secret: SECRET });
+        const allAtOnce = mergeSynapseStores({ exports: [envA, envB, envC], secret: SECRET });
+        // Pair AB first, then re-export, then merge with C
+        const ab = mergeSynapseStores({ exports: [envA, envB], secret: SECRET });
+        const abExport = exportForSync({ deviceId: "ab-fused", store: ab.store, secret: SECRET });
+        const abThenC = mergeSynapseStores({ exports: [abExport, envC], secret: SECRET });
+        // observation counts are identical (associative property)
+        const sumObs = (m) => m.store.weights.reduce((acc, w) => acc + w.observationCount, 0);
+        expect(sumObs(allAtOnce)).toBe(sumObs(abThenC));
+        expect(allAtOnce.store.weights.length).toBe(abThenC.store.weights.length);
+    });
+    it("merge is IDEMPOTENT (merge(merge(X), X) ≡ merge(X) on observation-count … only X's first contribution is counted)", () => {
+        // Note: idempotence in pure-CRDT sense applies when contributing identifier
+        // is unchanged. Re-exporting same deviceId+store → last-export-wins (counted once).
+        const x = learn(freshStore(), "p", "t", 5, 1_700_000_000_000);
+        const env = exportForSync({ deviceId: "solo", store: x, secret: SECRET, nowMs: 1_700_000_000_500 });
+        const once = mergeSynapseStores({ exports: [env], secret: SECRET });
+        const twice = mergeSynapseStores({ exports: [env, env], secret: SECRET });
+        // Same deviceId → de-duped → identical observationCount
+        expect(once.store.weights[0].observationCount).toBe(twice.store.weights[0].observationCount);
+    });
+    it("duplicate deviceId: last-export-wins by exportedAtMs", () => {
+        const stale = learn(freshStore(), "p", "t", 2, 1_700_000_000_000);
+        const fresh = learn(freshStore(), "p", "t", 9, 1_700_000_500_000);
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "same", store: stale, secret: SECRET, nowMs: 1_000 }),
+                exportForSync({ deviceId: "same", store: fresh, secret: SECRET, nowMs: 9_999 }),
+            ],
+            secret: SECRET,
+        });
+        // Fresh export wins → observationCount = 9
+        expect(merged.store.weights[0].observationCount).toBe(9);
+    });
+    it("forged envelope is dropped + listed in rejectedDevices", () => {
+        const real = learn(freshStore(), "p", "t", 3, 1_700_000_000_000);
+        const goodEnv = exportForSync({ deviceId: "trusted", store: real, secret: SECRET });
+        const badEnv = { ...goodEnv, deviceId: "hacker", sig: "deadbeef".repeat(8) };
+        const merged = mergeSynapseStores({ exports: [goodEnv, badEnv], secret: SECRET });
+        expect(merged.participatingDevices).toEqual(["trusted"]);
+        expect(merged.rejectedDevices).toEqual(["hacker"]);
+    });
+    it("empty exports list → empty merged store, never throws", () => {
+        const merged = mergeSynapseStores({ exports: [], secret: SECRET });
+        expect(merged.store.weights).toEqual([]);
+        expect(merged.participatingDevices).toEqual([]);
+        expect(merged.rejectedDevices).toEqual([]);
+    });
+    it("malformed weight entries dropped silently", () => {
+        const store = learn(freshStore(), "p", "t", 3, 1_700_000_000_000);
+        // Inject malformed entries
+        store.weights.push({ key: 123, eventPattern: "x", toolName: "y", weight: 1, observationCount: 1, lastObservedAtMs: 1, permanentSinceWeight: 0, permanent: false });
+        const env = exportForSync({ deviceId: "x", store, secret: SECRET });
+        const merged = mergeSynapseStores({ exports: [env], secret: SECRET });
+        expect(merged.store.weights.length).toBe(1);
+    });
+    it("merged store has fresh recomputed HMAC (re-exportable)", () => {
+        const a = learn(freshStore(), "p", "t", 3, 1_700_000_000_000);
+        const merged = mergeSynapseStores({
+            exports: [exportForSync({ deviceId: "x", store: a, secret: SECRET })],
+            secret: SECRET,
+            storeSecret: STORE_SECRET,
+        });
+        expect(merged.store.sig).toMatch(/^[0-9a-f]{64}$/);
+        // The merged store can be re-exported + re-verified
+        const reExport = exportForSync({ deviceId: "fused", store: merged.store, secret: SECRET });
+        expect(verifySyncExport(reExport, SECRET)).toBe(true);
+    });
+});
+describe("v2.19.31 CROSS-DEVICE SYNAPSE SYNC -- DIASPORA transport adapter", () => {
+    it("packForDiaspora returns canonical path + bytes + branch", () => {
+        const env = exportForSync({ deviceId: "macbook-pro-2026", store: freshStore(), secret: SECRET });
+        const packed = packForDiaspora(env);
+        expect(packed.path).toBe(".mneme/diaspora/synapse-macbook-pro-2026.json");
+        expect(packed.branchHint).toBe("diaspora/synapse-macbook-pro-2026");
+        expect(typeof packed.bytes).toBe("string");
+    });
+    it("packForDiaspora sanitises unsafe characters in deviceId", () => {
+        const env = exportForSync({ deviceId: "../../../etc/passwd; rm -rf /", store: freshStore(), secret: SECRET });
+        const packed = packForDiaspora(env);
+        // Path traversal + shell metachars stripped
+        expect(packed.path).not.toContain("..");
+        expect(packed.path).not.toContain(";");
+        expect(packed.path).not.toContain(" ");
+        expect(packed.path).not.toContain("/etc/");
+    });
+    it("unpackFromDiaspora round-trips packForDiaspora", () => {
+        const original = exportForSync({ deviceId: "phone", store: learn(freshStore(), "p", "t", 2, 1_700_000_000_000), secret: SECRET });
+        const packed = packForDiaspora(original);
+        const unpacked = unpackFromDiaspora(packed.bytes);
+        expect(unpacked).not.toBeNull();
+        expect(unpacked.deviceId).toBe("phone");
+        expect(verifySyncExport(unpacked, SECRET)).toBe(true);
+    });
+    it("unpackFromDiaspora returns null on garbage", () => {
+        expect(unpackFromDiaspora("not-json")).toBeNull();
+        expect(unpackFromDiaspora("{}")).toBeNull();
+        expect(unpackFromDiaspora('{"v":999}')).toBeNull();
+    });
+});
+describe("v2.19.31 CROSS-DEVICE SYNAPSE SYNC -- system test (mobile + laptop + desktop)", () => {
+    // Exactly the scenario the user mandated:
+    //   "ทำให้ใช้ได้ ผมถึงบอกว่าคุณต้องเทสเยอะๆ ว่ามัน sync brain ได้จริงๆ
+    //    ข้าม mobile + computer + notebook"
+    it("3-device unified brain: mobile + laptop + desktop all observe + merge", () => {
+        // Mobile: user fires `mneme.ask` while reading on the train (5 times)
+        const mobile = learn(freshStore(), "user_asks_question", "mneme.ask", 5, 1_700_000_000_000);
+        // Laptop: user runs `mneme.truth.forensic` heavily during deep work (15 times → crystallises)
+        const laptop = learn(freshStore(), "user_writes_code", "mneme.truth.forensic", 15, 1_700_001_000_000);
+        // Desktop: user fires `mneme.guard` on every commit (8 times)
+        const desktop = learn(freshStore(), "git_commit", "mneme.guard", 8, 1_700_002_000_000);
+        const exports = [
+            exportForSync({ deviceId: "mobile-iphone-15", store: mobile, secret: SECRET, nowMs: 1_700_003_000_000 }),
+            exportForSync({ deviceId: "laptop-macbook-pro", store: laptop, secret: SECRET, nowMs: 1_700_003_000_000 }),
+            exportForSync({ deviceId: "desktop-ryzen", store: desktop, secret: SECRET, nowMs: 1_700_003_000_000 }),
+        ];
+        const merged = mergeSynapseStores({ exports, secret: SECRET });
+        // All 3 devices participated, no rejects
+        expect(merged.participatingDevices.length).toBe(3);
+        expect(merged.rejectedDevices.length).toBe(0);
+        // 3 distinct synapses (no overlap between device synapses)
+        expect(merged.store.weights.length).toBe(3);
+        // The laptop's mneme.truth.forensic should be permanent (15 reinforcements > threshold)
+        const forensicWeight = merged.store.weights.find((w) => w.toolName === "mneme.truth.forensic");
+        expect(forensicWeight).toBeDefined();
+        expect(forensicWeight.permanent).toBe(true);
+        // Total observation count = 5 + 15 + 8 = 28 (cumulative evidence)
+        const totalObs = merged.store.weights.reduce((acc, w) => acc + w.observationCount, 0);
+        expect(totalObs).toBe(28);
+        // Stats line
+        const stats = computeSyncStats(merged);
+        expect(stats.participatingDevices).toBe(3);
+        expect(stats.totalSynapses).toBe(3);
+        expect(stats.permanentSynapses).toBeGreaterThanOrEqual(1);
+        expect(stats.unifiedObservations).toBe(28);
+    });
+    it("3-device with OVERLAP: same synapse on multiple devices → unified", () => {
+        // All 3 devices learn `git_commit → mneme.guard` independently
+        const mobile = learn(freshStore(), "git_commit", "mneme.guard", 3, 1_700_000_000_000);
+        const laptop = learn(freshStore(), "git_commit", "mneme.guard", 6, 1_700_001_000_000);
+        const desktop = learn(freshStore(), "git_commit", "mneme.guard", 4, 1_700_002_000_000);
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "mobile", store: mobile, secret: SECRET }),
+                exportForSync({ deviceId: "laptop", store: laptop, secret: SECRET }),
+                exportForSync({ deviceId: "desktop", store: desktop, secret: SECRET }),
+            ],
+            secret: SECRET,
+        });
+        // 1 synapse, but observations from all 3 devices add up
+        expect(merged.store.weights.length).toBe(1);
+        expect(merged.store.weights[0].observationCount).toBe(13); // 3+6+4
+        // Provenance shows 3 contributors
+        expect(merged.provenance[0].contributors.length).toBe(3);
+        // Winner is laptop (most reinforcement → highest weight)
+        expect(merged.provenance[0].winnerDeviceId).toBe("laptop");
+        // multi-device count = 1
+        expect(computeSyncStats(merged).multiDeviceSynapses).toBe(1);
+    });
+    it("system test: full round-trip via DIASPORA-shaped transport", () => {
+        // Simulate the full pipeline: device A exports → "git push" → device B fetches → merge
+        const deviceA = learn(freshStore(), "p", "mneme.x", 4, 1_700_000_000_000);
+        const deviceB = learn(freshStore(), "q", "mneme.y", 5, 1_700_000_500_000);
+        // Device A packages + "transports" via diaspora-shaped envelope
+        const envA = exportForSync({ deviceId: "A", store: deviceA, secret: SECRET });
+        const packedA = packForDiaspora(envA);
+        // Wire crosses → device B receives bytes (e.g. via git pull / HTTP / QR scan)
+        const arrivedA = unpackFromDiaspora(packedA.bytes);
+        expect(arrivedA).not.toBeNull();
+        // Device B merges its own store + the arrived envelope
+        const envB = exportForSync({ deviceId: "B", store: deviceB, secret: SECRET });
+        const unified = mergeSynapseStores({ exports: [arrivedA, envB], secret: SECRET });
+        expect(unified.store.weights.length).toBe(2);
+        expect(unified.participatingDevices).toEqual(["A", "B"]);
+    });
+    it("system test: ban-recovery + cross-device combo", () => {
+        // Vendor A on laptop gets banned → uses SOUL EMBALMING (separate module) to capture state
+        // Vendor B on phone resumes via cross-device sync
+        const laptopBeforeBan = learn(freshStore(), "user_codes", "mneme.truth.forensic", 14, 1_700_000_000_000);
+        // Export the synapse state through Phase D
+        const env = exportForSync({ deviceId: "laptop-pre-ban", store: laptopBeforeBan, secret: SECRET });
+        // Phone receives + merges (vendor switched, brain preserved)
+        const merged = mergeSynapseStores({ exports: [env], secret: SECRET });
+        expect(merged.store.weights.length).toBe(1);
+        expect(merged.store.weights[0].permanent).toBe(true);
+        expect(merged.store.weights[0].toolName).toBe("mneme.truth.forensic");
+        // Phone continues with the embalmed synapse — re-reinforcing 2 more times
+        const phoneAfterMerge = reinforceSynapse({
+            store: merged.store,
+            event: { pattern: "user_codes", ts: 1_700_010_000_000 },
+            toolCall: { toolName: "mneme.truth.forensic", ts: 1_700_010_000_100 },
+            satisfaction: "positive",
+            nowMs: 1_700_010_000_100,
+            secret: STORE_SECRET,
+        });
+        expect(phoneAfterMerge.store.weights[0].observationCount).toBeGreaterThan(14);
+        expect(phoneAfterMerge.store.weights[0].permanent).toBe(true); // still permanent
+    });
+    it("system test: stats line is human-readable + counts correct", () => {
+        const a = learn(freshStore(), "p", "t1", 3, 1_700_000_000_000);
+        const b = learn(freshStore(), "p", "t1", 4, 1_700_000_500_000);
+        const c = learn(freshStore(), "q", "t2", 12, 1_700_001_000_000); // permanent
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "A", store: a, secret: SECRET }),
+                exportForSync({ deviceId: "B", store: b, secret: SECRET }),
+                exportForSync({ deviceId: "C", store: c, secret: SECRET }),
+            ],
+            secret: SECRET,
+        });
+        const stats = computeSyncStats(merged);
+        const line = formatSyncStatsLine(stats);
+        expect(line).toContain("SYNC");
+        expect(line).toContain("3dev");
+        expect(line).toContain("multi-dev");
+        expect(line).toContain("perm");
+    });
+    it("system test: composes onto computeStats from synapse_genesis", () => {
+        const a = learn(freshStore(), "p", "t", 3, 1_700_000_000_000);
+        const b = learn(freshStore(), "p", "t", 4, 1_700_000_500_000);
+        const merged = mergeSynapseStores({
+            exports: [
+                exportForSync({ deviceId: "A", store: a, secret: SECRET }),
+                exportForSync({ deviceId: "B", store: b, secret: SECRET }),
+            ],
+            secret: SECRET,
+        });
+        // Downstream synapse_genesis tools work on the merged store
+        const stats = computeStats(merged.store);
+        expect(stats.totalSynapses).toBe(1);
+        // prune also works
+        const pruned = pruneStore({ store: merged.store, secret: STORE_SECRET });
+        expect(pruned.store.weights.length).toBeGreaterThanOrEqual(1);
+    });
+});
+//# sourceMappingURL=synapse_sync.test.js.map

package/dist/synapse_sync/synapse_sync.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synapse_sync.test.js","sourceRoot":"","sources":["../../src/synapse_sync/synapse_sync.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAEzF,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,GAEpB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,GAAG,sBAAsB,CAAC;AACtC,MAAM,YAAY,GAAG,0BAA0B,CAAC;AAEhD,SAAS,UAAU;IACjB,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,8EAA8E;AAC9E,SAAS,KAAK,CAAC,KAAmB,EAAE,OAAe,EAAE,IAAY,EAAE,CAAS,EAAE,OAAe;IAC3F,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,gBAAgB,CAAC;YAC3B,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,GAAG,CAAC,GAAG,IAAI,EAAE;YAC1C,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,EAAE;YAC1D,YAAY,EAAE,UAAU;YACxB,KAAK,EAAE,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG;YAC/B,MAAM,EAAE,YAAY;SACrB,CAAC,CAAC;QACH,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IAChB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAClG,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC1C,MAAM,CAAC,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACvE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,MAAM,QAAQ,GAAwB,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;QAC1E,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAClE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,gBAAgB,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,gBAAgB,CAAC,IAAsC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrF,MAAM,CAAC,gBAAgB,CAAC,EAAyB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAoC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5J,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAChE,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;aAC/D;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAC9D,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;aAC9D;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB;QACxD,qEAAqE;QACrE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,gEAAgE;QAChE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAC7E,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC;QACnD,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,yCAAyC;QACzC,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC3E,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEpD,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBACvE,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;aACtE;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG;YACX,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YAC1D,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YAC1D,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;SAC3D,CAAC;QACF,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,uDAAuD;QACvD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAE9D,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAExE,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAEtF,mDAAmD;QACnD,MAAM,EAAE,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAElF,0DAA0D;QAC1D,MAAM,MAAM,GAAG,CAAC,CAAwC,EAAU,EAAE,CAClE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mHAAmH,EAAE,GAAG,EAAE;QAC3H,4EAA4E;QAC5E,oFAAoF;QACpF,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1E,wDAAwD;QACxD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;gBAC/E,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;aAChF;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,2CAA2C;QAC3C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACpF,MAAM,MAAM,GAAwB,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAClF,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACnE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAClE,2BAA2B;QAC3B,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAwB,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxL,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YACrE,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,YAAY;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACnD,oDAAoD;QACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAChF,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACpE,MAAM,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,+BAA+B,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9G,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,4CAA4C;QAC5C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAClI,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,CAAC,gBAAgB,CAAC,QAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClD,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+EAA+E,EAAE,GAAG,EAAE;IAC7F,0CAA0C;IAC1C,uEAAuE;IACvE,wCAAwC;IACxC,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,sEAAsE;QACtE,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC5F,8FAA8F;QAC9F,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;QACtG,8DAA8D;QAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAEvF,MAAM,OAAO,GAAG;YACd,aAAa,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;YACxG,aAAa,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;YAC1G,aAAa,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;SACvG,CAAC;QAEF,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAE/D,yCAAyC;QACzC,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE9C,2DAA2D;QAC3D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE5C,wFAAwF;QACxF,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,sBAAsB,CAAC,CAAC;QAC/F,MAAM,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,CAAC,cAAe,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE7C,kEAAkE;QAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAE1B,aAAa;QACb,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,+DAA+D;QAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACtF,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAEvF,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBACpE,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBACpE,aAAa,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;aACvE;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QAEH,wDAAwD;QACxD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ;QACpE,kCAAkC;QAClC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1D,yDAAyD;QACzD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5D,yBAAyB;QACzB,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,uFAAuF;QACvF,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAE1E,gEAAgE;QAChE,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAEtC,8EAA8E;QAC9E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEhC,uDAAuD;QACvD,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,QAAS,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAEnF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,0FAA0F;QAC1F,kDAAkD;QAClD,MAAM,eAAe,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAEzG,2CAA2C;QAC3C,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAElG,6DAA6D;QAC7D,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAEvE,0EAA0E;QAC1E,MAAM,eAAe,GAAG,gBAAgB,CAAC;YACvC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,KAAK,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,EAAE;YACvD,QAAQ,EAAE,EAAE,QAAQ,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,EAAE;YACrE,YAAY,EAAE,UAAU;YACxB,KAAK,EAAE,iBAAiB;YACxB,MAAM,EAAE,YAAY;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC,YAAY;QAC7E,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAC1D,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAC1D,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;aAC3D;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,kBAAkB,CAAC;YAChC,OAAO,EAAE;gBACP,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;gBAC1D,aAAa,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;aAC3D;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,4DAA4D;QAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,mBAAmB;QACnB,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/truth_forensic_pipeline/index.d.ts

@@ -52,6 +52,14 @@ export interface FactAssertion {
     asserted: string;
     /** Structured value for ground-truth lookup. */
     value: unknown;
+    /**
+     * v2.19.31 BUG #2 fix — direction of the assertion.
+     *   "positive": claim asserts the thing EXISTS / IS TRUE
+     *   "negative": claim asserts the thing DOES NOT EXIST / IS FALSE
+     * Used by the contradiction detector: pairs of same kind with same value but
+     * opposite directions → REJECTED (liar paradox / self-contradiction).
+     */
+    direction?: "positive" | "negative";
 }
 export type AssertionSubVerdict = "supported" | "refuted" | "untested";
 export interface AssertionResult {
@@ -94,6 +102,22 @@ export declare function sniffMcpTotalCount(claim: string): FactAssertion[];
 export declare function sniffVersion(claim: string): FactAssertion[];
 /** Extract file paths mentioned in claim. */
 export declare function sniffFilePath(claim: string): FactAssertion[];
+/** Extract NEGATIVE assertions (X does NOT exist / NOT registered). */
+export declare function sniffNegativeAssertions(claim: string): FactAssertion[];
+/**
+ * v2.19.31 BUG #2 fix — internal CONTRADICTION DETECTOR.
+ * Pairwise scan: same `kind` + same canonical `value` + opposite `direction`
+ * → contradiction. Any contradiction forces overall verdict to REJECTED
+ * regardless of ground-truth checks (a claim that contradicts itself can not
+ * be ACCEPTED even if half of it is "true").
+ */
+export interface Contradiction {
+    kind: AssertionKind;
+    valueKey: string;
+    positive: FactAssertion;
+    negative: FactAssertion;
+}
+export declare function detectContradictions(assertions: FactAssertion[]): Contradiction[];
 export declare function sniffAllAssertions(claim: string): FactAssertion[];
 export interface GroundTruth {
     mcpCatalog?: string[];

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/truth_forensic_pipeline/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAIH,QAAA,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAEpC,MAAM,MAAM,aAAa,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,iBAAiB,GACjB,eAAe,GACf,WAAW,CAAC;AAEhB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;AAEvE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,mBAAmB,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAElE,MAAM,WAAW,mBAAmB;IAClC,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,OAAO,EAAE,eAAe,CAAC;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,iFAAiF;IACjF,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC,yGAAyG;IACzG,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,EAAE,mBAAmB,CAAC;IACjC,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;CACrB;AA4BD,oEAAoE;AACpE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAUhE;AAED,2DAA2D;AAC3D,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAkBlE;AAED,4DAA4D;AAC5D,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAmBjE;AAED,2DAA2D;AAC3D,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAU3D;AAED,6CAA6C;AAC7C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAU5D;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAQjE;AAID,MAAM,WAAW,WAAW;IAC1B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CACxC;AA4FD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,+FAA+F;IAC/F,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,GAAG,cAAc,CAqDnE;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAOtH;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG;IAC5C,kBAAkB,EAAE,MAAM,CAAC;IAC3B,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B,CAIA;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,cAAc,GAAG,MAAM,CAM5D"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/truth_forensic_pipeline/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAIH,QAAA,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAEpC,MAAM,MAAM,aAAa,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,iBAAiB,GACjB,eAAe,GACf,WAAW,CAAC;AAEhB,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,gDAAgD;IAChD,KAAK,EAAE,OAAO,CAAC;IACf;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;CACrC;AAED,MAAM,MAAM,mBAAmB,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;AAEvE,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,mBAAmB,CAAC;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAElE,MAAM,WAAW,mBAAmB;IAClC,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,OAAO,EAAE,eAAe,CAAC;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,iFAAiF;IACjF,iBAAiB,EAAE,eAAe,EAAE,CAAC;IACrC,yGAAyG;IACzG,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,EAAE,mBAAmB,CAAC;IACjC,4DAA4D;IAC5D,WAAW,EAAE,MAAM,CAAC;CACrB;AA4BD,oEAAoE;AACpE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAUhE;AAED,2DAA2D;AAC3D,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAkBlE;AAED,4DAA4D;AAC5D,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAmBjE;AAED,2DAA2D;AAC3D,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAU3D;AAED,6CAA6C;AAC7C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAU5D;AAUD,uEAAuE;AACvE,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAgCtE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,aAAa,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC;CACzB;AAYD,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE,CAsCjF;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,EAAE,CAUjE;AAID,MAAM,WAAW,WAAW;IAC1B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CACxC;AA4FD,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,+FAA+F;IAC/F,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,GAAG,cAAc,CA+DnE;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAOtH;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG;IAC5C,kBAAkB,EAAE,MAAM,CAAC;IAC3B,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B,CAIA;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,cAAc,GAAG,MAAM,CAM5D"}

package/dist/truth_forensic_pipeline/index.js

@@ -152,14 +152,109 @@ export function sniffFilePath(claim) {
         value: { path: p },
     }));
 }
+// v2.19.31 BUG #2 fix — NEGATION sniffer.
+// Detects clauses that assert the OPPOSITE of an existing positive assertion.
+// Examples:
+//   "file X does not exist"           → file_path negative
+//   "X is NOT a tool"                 → mcp_tool_exact negative
+//   "no mneme.X.Y in the catalog"     → mcp_tool_exact negative
+//   "X is REFUTED by mneme.truth"     → meta_self_refutation negative
+//   "version v2.19.30 is not installed" → version_exact negative
+/** Extract NEGATIVE assertions (X does NOT exist / NOT registered). */
+export function sniffNegativeAssertions(claim) {
+    const out = [];
+    // negative file_path: "file PATH does not exist" / "PATH is missing" / "no such file PATH"
+    const fileNegRe = /\b(?:file\s+)?((?:packages|scripts|tests|src)\/[\w./-]+\.(?:ts|tsx|js|mjs|cjs|md|json|mdx))\s+(?:does\s+not\s+exist|is\s+missing|is\s+absent|is\s+not\s+(?:in|found))/gi;
+    let m;
+    while ((m = fileNegRe.exec(claim)) !== null) {
+        out.push({ kind: "file_path", asserted: `file '${m[1]}' does NOT exist`, value: { path: m[1] }, direction: "negative" });
+    }
+    const fileNegRe2 = /\bno\s+such\s+file\s+((?:packages|scripts|tests|src)\/[\w./-]+\.(?:ts|tsx|js|mjs|cjs|md|json|mdx))/gi;
+    while ((m = fileNegRe2.exec(claim)) !== null) {
+        out.push({ kind: "file_path", asserted: `file '${m[1]}' does NOT exist`, value: { path: m[1] }, direction: "negative" });
+    }
+    // negative mcp_tool_exact: "mneme.X.Y is NOT registered" / "no mneme.X.Y" / "mneme.X.Y does not exist"
+    const toolNegRe = /\b(mneme\.[a-z_][a-z0-9_]*\.[a-z_][a-z0-9_]*)\s+(?:is\s+not\s+(?:registered|in\s+the\s+catalog|a\s+tool)|does\s+not\s+exist|is\s+missing)/gi;
+    while ((m = toolNegRe.exec(claim)) !== null) {
+        out.push({ kind: "mcp_tool_exact", asserted: `MCP tool '${m[1]}' is NOT registered`, value: { toolName: m[1] }, direction: "negative" });
+    }
+    const toolNegRe2 = /\bno\s+(mneme\.[a-z_][a-z0-9_]*\.[a-z_][a-z0-9_]*)\b/gi;
+    while ((m = toolNegRe2.exec(claim)) !== null) {
+        out.push({ kind: "mcp_tool_exact", asserted: `MCP tool '${m[1]}' is NOT registered`, value: { toolName: m[1] }, direction: "negative" });
+    }
+    // Self-refutation paradox: "this claim is REFUTED by mneme.X.Y" / "X says this is false"
+    const selfRefuteRe = /\b(?:this\s+claim\s+is\s+(?:refuted|rejected|false)|claim\s+is\s+refuted)\b/gi;
+    if (selfRefuteRe.test(claim)) {
+        out.push({
+            kind: "mcp_tool_exact",
+            asserted: "self-refutation paradox: claim asserts its own falsity",
+            value: { toolName: "__self_paradox__" },
+            direction: "negative",
+        });
+    }
+    return out;
+}
+function valueKey(a) {
+    const v = a.value;
+    if (a.kind === "file_path")
+        return `file:${v["path"]}`;
+    if (a.kind === "mcp_tool_exact")
+        return `tool:${v["toolName"]}`;
+    if (a.kind === "version_exact")
+        return `ver:${v["version"]}`;
+    if (a.kind === "mcp_family_count")
+        return `family:${v["family"]}:${v["expectedCount"]}`;
+    if (a.kind === "mcp_total_count")
+        return `totalcount:${v["expectedCount"]}`;
+    return JSON.stringify(v);
+}
+export function detectContradictions(assertions) {
+    const byKey = new Map();
+    for (const a of assertions) {
+        const k = `${a.kind}::${valueKey(a)}`;
+        const arr = byKey.get(k) ?? [];
+        arr.push(a);
+        byKey.set(k, arr);
+    }
+    const contradictions = [];
+    for (const [k, arr] of byKey) {
+        const positives = arr.filter((a) => a.direction !== "negative");
+        const negatives = arr.filter((a) => a.direction === "negative");
+        if (positives.length > 0 && negatives.length > 0) {
+            contradictions.push({
+                kind: positives[0].kind,
+                valueKey: k,
+                positive: positives[0],
+                negative: negatives[0],
+            });
+        }
+    }
+    // Also: a self-refutation paradox always contradicts the whole claim.
+    const selfRef = assertions.find((a) => a.direction === "negative" && a.value["toolName"] === "__self_paradox__");
+    if (selfRef && contradictions.length === 0 && assertions.length > 1) {
+        // Synthesize a contradiction against the first positive assertion.
+        const firstPositive = assertions.find((a) => a.direction !== "negative");
+        if (firstPositive) {
+            contradictions.push({
+                kind: "mcp_tool_exact",
+                valueKey: "self_paradox",
+                positive: firstPositive,
+                negative: selfRef,
+            });
+        }
+    }
+    return contradictions;
+}
 export function sniffAllAssertions(claim) {
-    return [
+    // Mark positive direction on all standard sniffers + collect negatives.
+    const positives = [
         ...sniffMcpToolExact(claim),
         ...sniffMcpFamilyCount(claim),
         ...sniffMcpTotalCount(claim),
         ...sniffVersion(claim),
         ...sniffFilePath(claim),
-    ];
+    ].map((a) => ({ ...a, direction: "positive" }));
+    return [...positives, ...sniffNegativeAssertions(claim)];
 }
 function checkAssertion(a, gt) {
     if (a.kind === "mcp_tool_exact") {
@@ -263,13 +358,20 @@ export function forensicVerify(input) {
     const ts = input.nowMs ?? Date.now();
     const secret = input.secret ?? defaultSecret();
     const assertions = sniffAllAssertions(input.claim);
+    // v2.19.31 BUG #2 fix: detect internal contradictions BEFORE ground-truth checks.
+    // A claim that contradicts itself (X exists AND X does not exist) can NEVER
+    // be ACCEPTED even if half of it grounds against ground truth. Self-refutation
+    // paradoxes ("this claim is REFUTED by ...") also force REJECTED.
+    const contradictions = detectContradictions(assertions);
     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
+    // Negative-evidence rule + contradiction guard
     let verdict;
-    if (refuted.length > 0)
+    if (contradictions.length > 0)
+        verdict = "REJECTED"; // self-contradiction defeats EVERYTHING
+    else if (refuted.length > 0)
         verdict = "REJECTED";
     else if ((input.externalRefutationsFound ?? 0) > 0)
         verdict = "REJECTED";
@@ -298,6 +400,10 @@ export function forensicVerify(input) {
         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}`);
+        // v2.19.31 BUG #2 fix: surface contradictions in the explanation.
+        for (const c of contradictions) {
+            lines.push(`  🌀 contradiction: claim asserts both "${c.positive.asserted}" AND "${c.negative.asserted}"`);
+        }
         if (supported.length > 0) {
             lines.push(`(Other parts of the claim grounded: ${supported.length} supported assertion(s).)`);
         }