@mneme-ai/core 2.87.0 → 2.89.0

package/dist/truth_kernel/lattice.js

@@ -0,0 +1,315 @@
+/**
+ * v2.89.0 — 💎 THE AXIOM LATTICE · ALETHEIA's living proof graph.
+ *
+ * The savant doesn't just answer one claim and forget it (that was v2.88). A real
+ * savant — Padgett "sees frames connected by lines", never forgets, and CANNOT
+ * hold two opposing truths. The Axiom Lattice is that faculty made real: a
+ * persistent, hash-chained, Ed25519-signed graph of every assertion ALETHEIA has
+ * made — offline-verifiable, tamper-evident, self-correcting.
+ *
+ * It realises three savant axes + two vows at once:
+ *   • Graph perception   — claims are nodes; lineage + dependency are edges.
+ *   • Anti-abstraction   — lossless: the exact claim + verdict + proof, never summarised away.
+ *   • Proof, not belief  — `whyTrue` walks the lineage back to bedrock (deterministic) sensors.
+ *   • Never Forget       — append-only, hash-chained, signed; retrievable forever.
+ *   • Trust Nothing      — `verifyLattice` re-verifies every node + the chain, OFFLINE.
+ *
+ * Two superhuman behaviours no LLM can do structurally:
+ *   1. CONTRADICTION DETECTION — recording a claim that opposes an existing TRUE
+ *      surfaces the conflict as the LOUDEST signal (the savant can't hold both).
+ *   2. RETRACTION CASCADE (truth-maintenance) — when a claim is refuted, every
+ *      claim that DEPENDED on it is automatically marked PENDING_REVERIFY + a
+ *      signed retraction frame is written. Change one fact → the multiverse knows.
+ *
+ * Built on NOTARY (signing/chain) — no new crypto. Never throws.
+ */
+import { existsSync, mkdirSync, readFileSync, appendFileSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { createHash } from "node:crypto";
+import { issueReceipt, verifyReceipt } from "../notary/index.js";
+const NEG_RE = /\b(not|isn't|aren't|never|no longer|doesn't|don't|won't|cannot|can't)\b|ไม่ใช่|ไม่ได้|ไม่/i;
+const STOP = new Set(["the", "a", "an", "is", "are", "was", "were", "be", "been", "of", "to", "in", "on", "at", "by", "for", "with", "and", "or", "it", "this", "that", "=", "==", "equals", "เป็น", "คือ", "ที่", "ใน"]);
+/** Normalise a claim's SUBJECT: lowercase, strip negation + values + stopwords,
+ *  token-sort. Two claims about the same thing collapse to the same key, so a
+ *  contradiction (same subject, opposing verdict/value) becomes detectable. */
+export function normalizeSubject(claim) {
+    const c = String(claim ?? "").toLowerCase();
+    const head = c.split(/\s*(?:=|==|\bis\b|\bare\b|\bequals\b|\bคือ\b|\bเป็น\b)\s*/)[0] ?? c;
+    const tokens = head
+        .replace(NEG_RE, " ")
+        .replace(/[^\p{L}\p{N}\s._-]/gu, " ")
+        .split(/\s+/)
+        .map((t) => t.trim())
+        .filter((t) => t.length > 0 && !STOP.has(t));
+    return [...new Set(tokens)].sort().join(" ");
+}
+/** Extract the VALUE side of a "subject <copula> value" claim (for value-conflict). */
+function extractValue(claim) {
+    const m = /(?:=|==|\bis\b|\bare\b|\bequals\b|\bคือ\b|\bเป็น\b)\s*(.+)$/i.exec(String(claim ?? ""));
+    if (!m)
+        return null;
+    return m[1].trim().toLowerCase().replace(/[.;]+$/, "");
+}
+function hasNegation(claim) {
+    return NEG_RE.test(String(claim ?? ""));
+}
+function latticeDir(repoRoot) { return join(repoRoot, ".mneme", "aletheia"); }
+function latticePath(repoRoot) { return join(latticeDir(repoRoot), "lattice.jsonl"); }
+/** Read every lattice node. Never throws — a corrupt line is skipped. */
+export function readLattice(repoRoot) {
+    try {
+        const p = latticePath(repoRoot);
+        if (!existsSync(p))
+            return [];
+        const out = [];
+        for (const line of readFileSync(p, "utf8").split("\n")) {
+            const s = line.trim();
+            if (!s)
+                continue;
+            try {
+                out.push(JSON.parse(s));
+            }
+            catch { /* skip corrupt */ }
+        }
+        return out;
+    }
+    catch {
+        return [];
+    }
+}
+function writeAll(repoRoot, nodes) {
+    mkdirSync(latticeDir(repoRoot), { recursive: true });
+    writeFileSync(latticePath(repoRoot), nodes.map((n) => JSON.stringify(n)).join("\n") + (nodes.length ? "\n" : ""), "utf8");
+}
+/**
+ * Detect contradictions between an incoming (claim, verdict) and the ACTIVE
+ * nodes already in the lattice. Three modes, strongest first. Never throws.
+ */
+export function detectContradictions(repoRoot, claim, verdict) {
+    const out = [];
+    if (verdict === "UNKNOWN")
+        return out; // UNKNOWN asserts nothing → can't contradict
+    const subj = normalizeSubject(claim);
+    if (!subj)
+        return out;
+    const incNeg = hasNegation(claim);
+    const incVal = extractValue(claim);
+    for (const n of readLattice(repoRoot)) {
+        if (n.status !== "ACTIVE" || n.verdict === "UNKNOWN")
+            continue;
+        if (n.subject !== subj)
+            continue;
+        // (1) opposite-verdict on the same subject: one TRUE, one FALSE.
+        if (n.verdict !== verdict) {
+            out.push({ kind: "opposite-verdict", existing: n.id, incoming: claim, detail: `"${n.claim}" is ${n.verdict} but "${claim}" is ${verdict}` });
+            continue;
+        }
+        // Both assert the SAME polarity (e.g. both TRUE) on the same subject — look for
+        // a semantic conflict that two co-true claims cannot both hold.
+        if (verdict === "TRUE") {
+            // (2) negation-pair: one says X, the other says NOT X — both can't be true.
+            if (incNeg !== hasNegation(n.claim)) {
+                out.push({ kind: "negation-pair", existing: n.id, incoming: claim, detail: `"${n.claim}" and "${claim}" assert opposite polarity of the same subject` });
+                continue;
+            }
+            // (3) value-conflict: same subject "= value", different values — both can't be true.
+            const exVal = extractValue(n.claim);
+            if (incVal && exVal && incVal !== exVal) {
+                out.push({ kind: "value-conflict", existing: n.id, incoming: claim, detail: `subject resolves to "${exVal}" and "${incVal}" — mutually exclusive` });
+            }
+        }
+    }
+    return out;
+}
+/**
+ * Append a signed, hash-chained node to the lattice. Detects contradictions vs
+ * the existing ACTIVE truths FIRST (the loudest signal) and returns them.
+ * Lossless (Refusal 2). Never throws — degrades to an unsigned node if NOTARY fails.
+ */
+export function recordAssertion(repoRoot, input, opts = {}) {
+    const claim = String(input.claim ?? "");
+    const verdict = input.verdict;
+    const contradictions = detectContradictions(repoRoot, claim, verdict);
+    const existing = readLattice(repoRoot);
+    const seq = existing.length;
+    const last = existing[existing.length - 1];
+    const prev = last ? (last.receipt?.receiptId ?? last.id) : null;
+    const id = createHash("sha256").update(`${seq}|${claim}|${verdict}`).digest("hex").slice(0, 16);
+    const at = opts.now ?? opts.issuedAt ?? Date.now();
+    let receipt = null;
+    try {
+        receipt = issueReceipt(repoRoot, {
+            kind: "claim-verdict",
+            subject: id,
+            payload: { engine: "aletheia-lattice", seq, claim, verdict, pTrue: input.pTrue, dependsOn: opts.dependsOn ?? [] },
+            prev,
+            issuedAt: opts.issuedAt ?? at,
+        });
+    }
+    catch {
+        receipt = null;
+    }
+    const node = {
+        id, seq, claim, subject: normalizeSubject(claim), verdict, pTrue: input.pTrue,
+        lineageSummary: input.lineageSummary ?? [], dependsOn: opts.dependsOn ?? [],
+        status: "ACTIVE", at, prev, receipt,
+    };
+    try {
+        mkdirSync(latticeDir(repoRoot), { recursive: true });
+        appendFileSync(latticePath(repoRoot), JSON.stringify(node) + "\n", "utf8");
+    }
+    catch { /* best-effort persistence */ }
+    return { node, contradictions };
+}
+/** Walk the proof of a claim: its lineage (sensors) + its dependency nodes, back
+ *  toward bedrock (deterministic sensors like `arithmetic` are axioms). Never throws. */
+export function whyTrue(repoRoot, claimOrId) {
+    const nodes = readLattice(repoRoot);
+    const byId = new Map(nodes.map((n) => [n.id, n]));
+    const target = byId.get(claimOrId) ?? [...nodes].reverse().find((n) => n.claim === claimOrId);
+    if (!target)
+        return { found: false, proof: [] };
+    const proof = [];
+    const seen = new Set();
+    const walk = (n, depth) => {
+        if (seen.has(n.id)) {
+            proof.push(`${"  ".repeat(depth)}↺ (already shown) ${n.claim}`);
+            return;
+        }
+        seen.add(n.id);
+        const bedrock = n.lineageSummary.includes("arithmetic") ? " [bedrock: deterministic]" : "";
+        const sig = n.receipt ? "(signed)" : "(unsigned)";
+        const mark = n.verdict === "TRUE" ? "✓" : n.verdict === "FALSE" ? "✗" : "?";
+        proof.push(`${"  ".repeat(depth)}${mark} ${n.claim} — via ${n.lineageSummary.join("+") || "?"}${bedrock} ${sig}`);
+        for (const dep of n.dependsOn) {
+            const d = byId.get(dep);
+            if (d)
+                walk(d, depth + 1);
+            else
+                proof.push(`${"  ".repeat(depth + 1)}⚠ missing dependency ${dep}`);
+        }
+    };
+    walk(target, 0);
+    return { found: true, node: target, proof };
+}
+/**
+ * Retract a claim and CASCADE: every ACTIVE node that (transitively) depended on
+ * it is marked PENDING_REVERIFY — its proof rested on a now-refuted fact, so it
+ * must be re-verified before it can be trusted again. Writes a signed retraction
+ * frame. The truth-maintenance heart of the savant. Never throws.
+ */
+export function retract(repoRoot, claimOrId, reason, opts = {}) {
+    const nodes = readLattice(repoRoot);
+    const target = nodes.find((n) => n.id === claimOrId) ?? [...nodes].reverse().find((n) => n.claim === claimOrId && n.status === "ACTIVE");
+    if (!target)
+        return { retracted: [], cascade: [], retractionReceiptId: null };
+    const retracted = [];
+    const cascade = [];
+    target.status = "RETRACTED";
+    retracted.push(target.id);
+    // BFS over dependents (nodes whose dependsOn includes a retracted/pending id).
+    let frontier = new Set([target.id]);
+    for (let guard = 0; guard < nodes.length + 1 && frontier.size; guard++) {
+        const next = new Set();
+        for (const n of nodes) {
+            if (n.status !== "ACTIVE")
+                continue;
+            if (n.dependsOn.some((d) => frontier.has(d))) {
+                n.status = "PENDING_REVERIFY";
+                cascade.push(n.id);
+                next.add(n.id);
+            }
+        }
+        frontier = next;
+    }
+    let retractionReceiptId = null;
+    try {
+        const r = issueReceipt(repoRoot, {
+            kind: "claim-verdict",
+            subject: `retract:${target.id}`,
+            payload: { engine: "aletheia-lattice", action: "retract", target: target.id, reason, cascade },
+            issuedAt: opts.issuedAt,
+        });
+        retractionReceiptId = r.receiptId;
+    }
+    catch {
+        retractionReceiptId = null;
+    }
+    writeAll(repoRoot, nodes);
+    return { retracted, cascade, retractionReceiptId };
+}
+/** Live lattice status: counts + open contradictions among ACTIVE truths + chain integrity. */
+export function latticeStatus(repoRoot) {
+    const nodes = readLattice(repoRoot);
+    let active = 0, retracted = 0, pending = 0;
+    for (const n of nodes) {
+        if (n.status === "ACTIVE")
+            active++;
+        else if (n.status === "RETRACTED")
+            retracted++;
+        else
+            pending++;
+    }
+    let open = 0;
+    const activeNodes = nodes.filter((n) => n.status === "ACTIVE" && n.verdict !== "UNKNOWN");
+    for (let i = 0; i < activeNodes.length; i++) {
+        for (let j = i + 1; j < activeNodes.length; j++) {
+            const a = activeNodes[i], b = activeNodes[j];
+            if (a.subject !== b.subject)
+                continue;
+            if (a.verdict !== b.verdict) {
+                open++;
+                continue;
+            }
+            if (a.verdict === "TRUE") {
+                if (hasNegation(a.claim) !== hasNegation(b.claim)) {
+                    open++;
+                    continue;
+                }
+                const va = extractValue(a.claim), vb = extractValue(b.claim);
+                if (va && vb && va !== vb)
+                    open++;
+            }
+        }
+    }
+    return { nodes: nodes.length, active, retracted, pending, openContradictions: open, chainValid: verifyLattice(repoRoot).ok };
+}
+/**
+ * Re-verify the entire lattice OFFLINE: for every signed node (1) its NOTARY
+ * receipt's Ed25519 signature is valid, (2) the node's claim/verdict MATCH the
+ * signed payload (so editing the jsonl body is caught), and (3) each node's
+ * `prev` matches the predecessor's receiptId (the chain is intact). This is the
+ * savant's "Trust Nothing — including itself". Never throws.
+ */
+export function verifyLattice(repoRoot) {
+    const nodes = readLattice(repoRoot);
+    const badSignatures = [];
+    let prevReceipt = null;
+    for (const n of nodes) {
+        // (3) chain continuity
+        if (n.prev !== prevReceipt) {
+            return { ok: false, nodes: nodes.length, brokenAt: n.seq, badSignatures };
+        }
+        if (n.receipt) {
+            // (1) signature valid
+            let sigOk = false;
+            try {
+                sigOk = verifyReceipt(n.receipt).valid;
+            }
+            catch {
+                sigOk = false;
+            }
+            // (2) node body matches the signed payload (tamper detection)
+            const pl = (n.receipt.payload ?? {});
+            const bodyMatches = pl.claim === n.claim && pl.verdict === n.verdict;
+            if (!sigOk || !bodyMatches)
+                badSignatures.push(n.id);
+            prevReceipt = n.receipt.receiptId;
+        }
+        else {
+            prevReceipt = n.id;
+        }
+    }
+    return { ok: badSignatures.length === 0, nodes: nodes.length, badSignatures };
+}
+//# sourceMappingURL=lattice.js.map

package/dist/truth_kernel/lattice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lattice.js","sourceRoot":"","sources":["../../src/truth_kernel/lattice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7F,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAqCrF,MAAM,MAAM,GAAG,4FAA4F,CAAC;AAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAE1N;;+EAE+E;AAC/E,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,IAAI;SAChB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC;SACpC,KAAK,CAAC,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,CAAC,GAAG,8DAA8D,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IACnG,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB,IAAY,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AAC9F,SAAS,WAAW,CAAC,QAAgB,IAAY,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;AAEtG,yEAAyE;AACzE,MAAM,UAAU,WAAW,CAAC,QAAgB;IAC1C,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAkB,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAgB,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,CAAC;IAAC,CAAC;AACxB,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB,EAAE,KAAoB;IACtD,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;AAC5H,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAwB;IAC5F,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,CAAC,6CAA6C;IACpF,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QAC/D,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;YAAE,SAAS;QACjC,iEAAiE;QACjE,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,OAAO,SAAS,KAAK,QAAQ,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7I,SAAS;QACX,CAAC;QACD,gFAAgF;QAChF,gEAAgE;QAChE,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACvB,4EAA4E;YAC5E,IAAI,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,UAAU,KAAK,gDAAgD,EAAE,CAAC,CAAC;gBACzJ,SAAS;YACX,CAAC;YACD,qFAAqF;YACrF,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,MAAM,IAAI,KAAK,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACxC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,KAAK,UAAU,MAAM,wBAAwB,EAAE,CAAC,CAAC;YACvJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAeD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAkB,EAAE,OAAkE,EAAE;IACxI,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,MAAM,cAAc,GAAG,oBAAoB,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC5B,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChG,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACnD,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;YAC/B,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE,EAAE;YACjH,IAAI;YACJ,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;SAC9B,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,GAAG,IAAI,CAAC;IAAC,CAAC;IAC3B,MAAM,IAAI,GAAgB;QACxB,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK;QAC7E,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE;QAC3E,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO;KACpC,CAAC;IACF,IAAI,CAAC;QACH,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,cAAc,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC,CAAC,6BAA6B,CAAC,CAAC;IACzC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AAClC,CAAC;AASD;yFACyF;AACzF,MAAM,UAAU,OAAO,CAAC,QAAgB,EAAE,SAAiB;IACzD,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAC9F,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,CAAc,EAAE,KAAa,EAAQ,EAAE;QACnD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAChG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,MAAM,OAAO,GAAG,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3F,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;QAClD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,OAAO,IAAI,GAAG,EAAE,CAAC,CAAC;QAClH,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,CAAC;gBAAE,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;;gBACrB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,wBAAwB,GAAG,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,QAAgB,EAAE,SAAiB,EAAE,MAAc,EAAE,OAA8B,EAAE;IAC3G,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACzI,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;IAE9E,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,CAAC,MAAM,GAAG,WAAW,CAAC;IAC5B,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAE1B,+EAA+E;IAC/E,IAAI,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS;YACpC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,CAAC,CAAC,MAAM,GAAG,kBAAkB,CAAC;gBAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACnB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;IAED,IAAI,mBAAmB,GAAkB,IAAI,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE;YAC/B,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,EAAE;YAC/B,OAAO,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;YAC9F,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,CAAC;QACH,mBAAmB,GAAG,CAAC,CAAC,SAAS,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QAAC,mBAAmB,GAAG,IAAI,CAAC;IAAC,CAAC;IAEvC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC1B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;AACrD,CAAC;AAWD,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,MAAM,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ;YAAE,MAAM,EAAE,CAAC;aAC/B,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW;YAAE,SAAS,EAAE,CAAC;;YAC1C,OAAO,EAAE,CAAC;IACjB,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC1F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAE,CAAC;YAC/C,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBAAE,SAAS;YACtC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAC,IAAI,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YAClD,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBACzB,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAC,IAAI,EAAE,CAAC;oBAAC,SAAS;gBAAC,CAAC;gBACxE,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC7D,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;oBAAE,IAAI,EAAE,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;AAC/H,CAAC;AAWD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,uBAAuB;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,EAAE,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,sBAAsB;YACtB,IAAI,KAAK,GAAG,KAAK,CAAC;YAClB,IAAI,CAAC;gBAAC,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,KAAK,GAAG,KAAK,CAAC;YAAC,CAAC;YACxE,8DAA8D;YAC9D,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAyC,CAAC;YAC7E,MAAM,WAAW,GAAG,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;YACrE,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW;gBAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrD,WAAW,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QACpC,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC;AAChF,CAAC"}

package/dist/truth_kernel/lattice.test.d.ts

@@ -0,0 +1,18 @@
+/**
+ * v2.89.0 — 💎 AXIOM LATTICE tests (ALETHEIA's living proof graph).
+ *
+ *   L1  record + read round-trip; node is signed + hash-chained
+ *   L2  contradiction: opposite-verdict (same subject, TRUE vs FALSE)
+ *   L3  contradiction: negation-pair (X vs not-X, both TRUE)
+ *   L4  contradiction: value-conflict (subject = two different values, both TRUE)
+ *   L5  no false contradiction across DIFFERENT subjects / against UNKNOWN
+ *   L6  whyTrue walks the proof to bedrock (deterministic) through dependencies
+ *   L7  retract CASCADE — dependents → PENDING_REVERIFY + signed frame
+ *   L8  verifyLattice OFFLINE — clean chain ok; tamper the body → caught; forge a
+ *       receipt verdict → caught; break the chain (delete a middle node) → caught
+ *   L9  latticeStatus counts (active/retracted/pending) + open contradictions
+ *   L10 QUAN — never throws over fuzz; chain stays valid across N random records
+ *   L11 assertClaim({record}) persists + surfaces contradictions end-to-end
+ */
+export {};
+//# sourceMappingURL=lattice.test.d.ts.map

package/dist/truth_kernel/lattice.test.d.ts.map

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

package/dist/truth_kernel/lattice.test.js

@@ -0,0 +1,175 @@
+/**
+ * v2.89.0 — 💎 AXIOM LATTICE tests (ALETHEIA's living proof graph).
+ *
+ *   L1  record + read round-trip; node is signed + hash-chained
+ *   L2  contradiction: opposite-verdict (same subject, TRUE vs FALSE)
+ *   L3  contradiction: negation-pair (X vs not-X, both TRUE)
+ *   L4  contradiction: value-conflict (subject = two different values, both TRUE)
+ *   L5  no false contradiction across DIFFERENT subjects / against UNKNOWN
+ *   L6  whyTrue walks the proof to bedrock (deterministic) through dependencies
+ *   L7  retract CASCADE — dependents → PENDING_REVERIFY + signed frame
+ *   L8  verifyLattice OFFLINE — clean chain ok; tamper the body → caught; forge a
+ *       receipt verdict → caught; break the chain (delete a middle node) → caught
+ *   L9  latticeStatus counts (active/retracted/pending) + open contradictions
+ *   L10 QUAN — never throws over fuzz; chain stays valid across N random records
+ *   L11 assertClaim({record}) persists + surfaces contradictions end-to-end
+ */
+import { describe, it, expect } from "vitest";
+import { mkdtempSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { recordAssertion, detectContradictions, whyTrue, retract, latticeStatus, verifyLattice, readLattice, normalizeSubject, } from "./lattice.js";
+import { assertClaim } from "./aletheia.js";
+function repo() { return mkdtempSync(join(tmpdir(), "lattice-")); }
+const T = 1_700_000_000_000;
+function latPath(r) { return join(r, ".mneme", "aletheia", "lattice.jsonl"); }
+describe("v2.89.0 💎 AXIOM LATTICE — ALETHEIA's living proof graph", () => {
+    it("L1 record + read round-trip; node is signed + hash-chained", () => {
+        const r = repo();
+        const a = recordAssertion(r, { claim: "2+2=4", verdict: "TRUE", pTrue: 1, lineageSummary: ["arithmetic"] }, { issuedAt: T });
+        expect(a.node.verdict).toBe("TRUE");
+        expect(a.node.receipt).not.toBeNull();
+        expect(a.node.prev).toBeNull(); // first node = root
+        const b = recordAssertion(r, { claim: "10*10=100", verdict: "TRUE", pTrue: 1, lineageSummary: ["arithmetic"] }, { issuedAt: T });
+        expect(b.node.prev).toBe(a.node.receipt.receiptId); // chained
+        expect(readLattice(r).length).toBe(2);
+    });
+    it("L2 contradiction: opposite-verdict", () => {
+        const r = repo();
+        recordAssertion(r, { claim: "2+2=4", verdict: "TRUE", pTrue: 1, lineageSummary: ["arithmetic"] }, { issuedAt: T });
+        const c = recordAssertion(r, { claim: "2+2=4", verdict: "FALSE", pTrue: 0, lineageSummary: ["arithmetic"] }, { issuedAt: T });
+        expect(c.contradictions.map((x) => x.kind)).toContain("opposite-verdict");
+    });
+    it("L3 contradiction: negation-pair", () => {
+        const r = repo();
+        recordAssertion(r, { claim: "mneme is written in TypeScript", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        const c = recordAssertion(r, { claim: "mneme is not written in TypeScript", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        expect(c.contradictions.map((x) => x.kind)).toContain("negation-pair");
+    });
+    it("L4 contradiction: value-conflict", () => {
+        const r = repo();
+        recordAssertion(r, { claim: "the project version is 1.2", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        const c = recordAssertion(r, { claim: "the project version is 1.3", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        expect(c.contradictions.map((x) => x.kind)).toContain("value-conflict");
+    });
+    it("L5 no false contradiction across different subjects / against UNKNOWN", () => {
+        const r = repo();
+        recordAssertion(r, { claim: "the sky is blue", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        expect(detectContradictions(r, "the grass is green", "TRUE").length).toBe(0); // different subject
+        expect(detectContradictions(r, "the sky is blue", "UNKNOWN").length).toBe(0); // UNKNOWN asserts nothing
+        // re-affirming the SAME claim+verdict is not a contradiction
+        expect(detectContradictions(r, "the sky is blue", "TRUE").length).toBe(0);
+    });
+    it("L6 whyTrue walks the proof to bedrock through dependencies", () => {
+        const r = repo();
+        const a = recordAssertion(r, { claim: "2+2=4", verdict: "TRUE", pTrue: 1, lineageSummary: ["arithmetic"] }, { issuedAt: T });
+        const b = recordAssertion(r, { claim: "the sum check passes", verdict: "TRUE", pTrue: 0.9, lineageSummary: ["apoptosis"] }, { issuedAt: T, dependsOn: [a.node.id] });
+        const w = whyTrue(r, b.node.id);
+        expect(w.found).toBe(true);
+        expect(w.proof.length).toBeGreaterThanOrEqual(2);
+        expect(w.proof.some((l) => l.includes("bedrock"))).toBe(true); // reaches the deterministic axiom
+        expect(whyTrue(r, "no such claim").found).toBe(false);
+    });
+    it("L7 retract CASCADE — dependents → PENDING_REVERIFY + signed frame", () => {
+        const r = repo();
+        const a = recordAssertion(r, { claim: "base fact", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        const b = recordAssertion(r, { claim: "derived from base", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T, dependsOn: [a.node.id] });
+        const c = recordAssertion(r, { claim: "derived from derived", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T, dependsOn: [b.node.id] });
+        const res = retract(r, a.node.id, "refuted", { issuedAt: T });
+        expect(res.retracted).toContain(a.node.id);
+        expect(res.cascade).toContain(b.node.id); // direct dependent
+        expect(res.cascade).toContain(c.node.id); // transitive dependent
+        expect(res.retractionReceiptId).not.toBeNull();
+        const nodes = readLattice(r);
+        expect(nodes.find((n) => n.id === a.node.id).status).toBe("RETRACTED");
+        expect(nodes.find((n) => n.id === b.node.id).status).toBe("PENDING_REVERIFY");
+        expect(nodes.find((n) => n.id === c.node.id).status).toBe("PENDING_REVERIFY");
+    });
+    it("L8 verifyLattice OFFLINE — clean ok; body-tamper / forged-receipt / broken-chain all caught", () => {
+        const mk = () => {
+            const r = repo();
+            recordAssertion(r, { claim: "alpha is true", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+            recordAssertion(r, { claim: "beta is true", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+            recordAssertion(r, { claim: "gamma is true", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+            return r;
+        };
+        // clean
+        expect(verifyLattice(mk()).ok).toBe(true);
+        // (a) tamper the NODE BODY (flip a verdict in the jsonl) → mismatch vs signed payload
+        {
+            const r = mk();
+            const nodes = readLattice(r);
+            nodes[1].verdict = "FALSE";
+            writeFileSync(latPath(r), nodes.map((n) => JSON.stringify(n)).join("\n") + "\n", "utf8");
+            const v = verifyLattice(r);
+            expect(v.ok).toBe(false);
+            expect(v.badSignatures).toContain(nodes[1].id);
+        }
+        // (b) forge the VERDICT inside the signed receipt payload → Ed25519 sig breaks
+        {
+            const r = mk();
+            const nodes = readLattice(r);
+            nodes[1].receipt.payload.verdict = "FALSE";
+            nodes[1].verdict = "FALSE"; // keep body consistent so only the sig check fails
+            writeFileSync(latPath(r), nodes.map((n) => JSON.stringify(n)).join("\n") + "\n", "utf8");
+            expect(verifyLattice(r).ok).toBe(false);
+        }
+        // (c) break the CHAIN — delete the middle node so prev no longer matches
+        {
+            const r = mk();
+            const nodes = readLattice(r);
+            const without = [nodes[0], nodes[2]];
+            writeFileSync(latPath(r), without.map((n) => JSON.stringify(n)).join("\n") + "\n", "utf8");
+            const v = verifyLattice(r);
+            expect(v.ok).toBe(false);
+            expect(v.brokenAt).toBe(nodes[2].seq);
+        }
+    });
+    it("L9 latticeStatus counts + open contradictions among ACTIVE truths only", () => {
+        const r = repo();
+        recordAssertion(r, { claim: "x is red", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        recordAssertion(r, { claim: "x is not red", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T }); // contradiction
+        const a = recordAssertion(r, { claim: "y is fine", verdict: "TRUE", pTrue: 0.9 }, { issuedAt: T });
+        let s = latticeStatus(r);
+        expect(s.nodes).toBe(3);
+        expect(s.active).toBe(3);
+        expect(s.openContradictions).toBe(1);
+        expect(s.chainValid).toBe(true);
+        // retracting one side closes the contradiction
+        retract(r, a.node.id, "n/a", { issuedAt: T });
+        retract(r, readLattice(r)[1].id, "resolved", { issuedAt: T });
+        s = latticeStatus(r);
+        expect(s.openContradictions).toBe(0);
+        expect(s.retracted).toBe(2);
+    });
+    it("L10 QUAN — never throws over fuzz; chain stays valid across random records", () => {
+        const r = repo();
+        for (let i = 0; i < 50; i++) {
+            const claim = ["", "   ", `fact ${i}`, `v = ${i}`, `${i}+${i}=${i * 2}`, "weird  chars", `${i} is not ${i}`][i % 7];
+            const verdict = ["TRUE", "FALSE", "UNKNOWN"][i % 3];
+            expect(() => recordAssertion(r, { claim, verdict, pTrue: (i % 10) / 10 }, { issuedAt: T })).not.toThrow();
+        }
+        expect(verifyLattice(r).ok).toBe(true);
+        expect(() => latticeStatus(r)).not.toThrow();
+        expect(() => normalizeSubject("")).not.toThrow();
+        expect(() => whyTrue(r, "nothing")).not.toThrow();
+        expect(() => retract(r, "nothing", "x", { issuedAt: T })).not.toThrow();
+    });
+    it("L11 assertClaim({record}) persists + surfaces contradictions end-to-end", async () => {
+        const r = repo();
+        const t1 = await assertClaim(r, "2+2=4", { record: true, issuedAt: T });
+        expect(t1.verdict).toBe("TRUE");
+        expect(t1.latticeNodeId).toBeTruthy();
+        expect(t1.contradictions).toEqual([]);
+        // assert the SAME subject with the opposite truth → contradiction surfaced inline
+        // (force it via custom sensor so we get a definite FALSE on the same subject)
+        const t2 = await assertClaim(r, "2+2=4", {
+            record: true, issuedAt: T,
+            sensors: [{ id: "forced", weight: 2, run: () => ({ sensor: "forced", verdict: "FALSE", confidence: 1 }) }],
+        });
+        expect(t2.verdict).toBe("FALSE");
+        expect(t2.contradictions?.some((c) => c.kind === "opposite-verdict")).toBe(true);
+        expect(verifyLattice(r).ok).toBe(true);
+    });
+});
+//# sourceMappingURL=lattice.test.js.map

package/dist/truth_kernel/lattice.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lattice.test.js","sourceRoot":"","sources":["../../src/truth_kernel/lattice.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAgB,aAAa,EAAE,MAAM,SAAS,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,eAAe,EAAE,oBAAoB,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EACtE,aAAa,EAAE,WAAW,EAAE,gBAAgB,GAC7C,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,SAAS,IAAI,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3E,MAAM,CAAC,GAAG,iBAAiB,CAAC;AAC5B,SAAS,OAAO,CAAC,CAAS,IAAY,OAAO,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;AAE9F,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7H,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,oBAAoB;QACpD,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACjI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;QAC/D,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACnH,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9H,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,gCAAgC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9G,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,oCAAoC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5H,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,4BAA4B,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1G,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,4BAA4B,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACpH,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QAClG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B;QACxG,6DAA6D;QAC7D,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7H,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACrK,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kCAAkC;QACjG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACnG,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnI,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACtI,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB;QAC7D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,uBAAuB;QACjE,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6FAA6F,EAAE,GAAG,EAAE;QACrG,MAAM,EAAE,GAAG,GAAW,EAAE;YACtB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7F,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5F,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,QAAQ;QACR,MAAM,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,sFAAsF;QACtF,CAAC;YACC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,OAAO,CAAC;YAC5B,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;YACzF,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,+EAA+E;QAC/E,CAAC;YACC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC5B,KAAK,CAAC,CAAC,CAAE,CAAC,OAAQ,CAAC,OAAgC,CAAC,OAAO,GAAG,OAAO,CAAC;YACvE,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,GAAG,OAAO,CAAC,CAAC,mDAAmD;YAChF,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;YACzF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;QACD,yEAAyE;QACzE,CAAC;YACC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;YACvC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3F,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACxF,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB;QAC7G,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACnG,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,+CAA+C;QAC/C,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,gBAAgB,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YACvH,MAAM,OAAO,GAAI,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAW,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAChE,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC5G,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,UAAU,EAAE,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,kFAAkF;QAClF,8EAA8E;QAC9E,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE;YACvC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACzB,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;SAC3G,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}