@mneme-ai/core 2.88.0 → 2.89.0

package/dist/truth_kernel/aletheia.d.ts

@@ -21,6 +21,7 @@
  */
 import { type SensorAdapter, type SensorVerdict } from "./index.js";
 import { type NotaryReceipt } from "../notary/index.js";
+import { type Contradiction } from "./lattice.js";
 /** The savant verdict — the ONLY assertion channel. Three-valued by design:
  *  UNKNOWN is a first-class answer, never a fallback for "I'd rather guess". */
 export type AletheiaVerdict = "TRUE" | "FALSE" | "UNKNOWN";
@@ -58,6 +59,11 @@ export interface AletheiaResult {
     refusalApplied: string | null;
     /** Ed25519 signature over {claim, verdict, lineage}. null ONLY if signing degraded. */
     receipt: NotaryReceipt | null;
+    /** Present when opts.record persisted this to the Axiom Lattice: any existing
+     *  ACTIVE truths this assertion CONTRADICTS (the loudest signal). [] = none. */
+    contradictions?: Contradiction[];
+    /** The Axiom Lattice node id when opts.record persisted this assertion. */
+    latticeNodeId?: string;
     totalMs: number;
 }
 export interface AletheiaOpts {
@@ -74,6 +80,12 @@ export interface AletheiaOpts {
     issuedAt?: number;
     /** Skip the NOTARY signature (tests / offline). */
     noSign?: boolean;
+    /** Persist this assertion to the Axiom Lattice (the living proof graph) +
+     *  return any contradictions it raises against existing ACTIVE truths. */
+    record?: boolean;
+    /** When recording, declare the lattice node ids this claim's truth rests on
+     *  (truth-maintenance edges — a later retraction cascades through them). */
+    dependsOn?: string[];
 }
 /**
  * Assert a claim through the savant spine. Fans out to the sensors, fuses with

package/dist/truth_kernel/aletheia.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aletheia.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAc,KAAK,aAAa,EAAqB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAErF;gFACgF;AAChF,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3D,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAO5B,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,IAAI,EAAE,aAAa,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAIvD,CAAC;AAEX,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,OAAO,EAAE,eAAe,CAAC;IACzB,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,iGAAiG;IACjG,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,uFAAuF;IACvF,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,wEAAwE;IACxE,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACnC,8EAA8E;IAC9E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AA2BD;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,cAAc,CAAC,CAoDnH;AAoFD;mEACmE;AACnE,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,EAAE,CAExE;AAUD,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,oBAAoB;IACnC,CAAC,EAAE,MAAM,CAAC;IACV;6FACyF;IACzF,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2FAA2F;IAC3F,UAAU,EAAE,MAAM,CAAC;IACnB,kGAAkG;IAClG,WAAW,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;QAAC,OAAO,EAAE,eAAe,CAAC;QAAC,cAAc,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvI,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,gEAAgE;AAChE,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,YAAY,EAAE,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CA6ChJ;AAED,+EAA+E;AAC/E,wBAAgB,KAAK,IAAI;IAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAS9H"}
+{"version":3,"file":"aletheia.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAc,KAAK,aAAa,EAAqB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAEnE;gFACgF;AAChF,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3D,+EAA+E;AAC/E,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAO5B,CAAC;AAEX,2CAA2C;AAC3C,eAAO,MAAM,IAAI,EAAE,aAAa,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAIvD,CAAC;AAEX,mEAAmE;AACnE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,OAAO,EAAE,eAAe,CAAC;IACzB,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,iGAAiG;IACjG,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,uFAAuF;IACvF,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B;oFACgF;IAChF,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IACjC,2EAA2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,wEAAwE;IACxE,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IACnC,8EAA8E;IAC9E,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;8EAC0E;IAC1E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;gFAC4E;IAC5E,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AA2BD;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,cAAc,CAAC,CAkEnH;AAoFD;mEACmE;AACnE,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,EAAE,CAExE;AAUD,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,YAAY,CAAC;CACxC;AAED,MAAM,WAAW,oBAAoB;IACnC,CAAC,EAAE,MAAM,CAAC;IACV;6FACyF;IACzF,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2FAA2F;IAC3F,UAAU,EAAE,MAAM,CAAC;IACnB,kGAAkG;IAClG,WAAW,EAAE,MAAM,CAAC;IACpB,oFAAoF;IACpF,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;QAAC,OAAO,EAAE,eAAe,CAAC;QAAC,cAAc,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvI,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,gEAAgE;AAChE,wBAAsB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,YAAY,EAAE,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CA6ChJ;AAED,+EAA+E;AAC/E,wBAAgB,KAAK,IAAI;IAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAS9H"}

package/dist/truth_kernel/aletheia.js

@@ -21,6 +21,7 @@
  */
 import { checkTruth } from "./index.js";
 import { issueReceipt, verifyReceipt } from "../notary/index.js";
+import { recordAssertion } from "./lattice.js";
 /** The Six Refusals — the "lesion". Identity is defined by what we give up. */
 export const REFUSALS = [
     "No gap-filling — if it cannot be proven, answer UNKNOWN; never synthesize a plausible claim.",
@@ -106,11 +107,24 @@ export async function assertClaim(repoRoot, claim, opts = {}) {
             receipt = null;
         }
     }
-    return {
+    const result = {
         claim, verdict, pTrue: tv.pTrue, disagreement: tv.disagreement,
         sensorsConsulted: sensors.length, informational, lineage, evidence, refusalApplied, receipt,
         totalMs: Date.now() - t0,
     };
+    // Persist to the Axiom Lattice (living proof graph) + surface contradictions.
+    if (opts.record) {
+        try {
+            const rec = recordAssertion(repoRoot, {
+                claim, verdict, pTrue: tv.pTrue,
+                lineageSummary: lineage.filter((n) => n.verdict === "TRUE" || n.verdict === "FALSE").map((n) => n.sensor),
+            }, { dependsOn: opts.dependsOn, issuedAt: opts.issuedAt });
+            result.contradictions = rec.contradictions;
+            result.latticeNodeId = rec.node.id;
+        }
+        catch { /* lattice persistence is best-effort; the verdict stands */ }
+    }
+    return result;
 }
 // ════════════════════════════════════════════════════════════════════════
 // Default sensor pack — real Mneme organs wired as truth sensors. Each is

package/dist/truth_kernel/aletheia.js.map

@@ -1 +1 @@
-{"version":3,"file":"aletheia.js","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAA6D,MAAM,YAAY,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAMrF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAsB;IACzC,8FAA8F;IAC9F,kFAAkF;IAClF,wFAAwF;IACxF,6FAA6F;IAC7F,6CAA6C;IAC7C,wFAAwF;CAChF,CAAC;AAEX,2CAA2C;AAC3C,MAAM,CAAC,MAAM,IAAI,GAAoD;IACnE,EAAE,GAAG,EAAE,kBAAkB,EAAE,OAAO,EAAE,mEAAmE,EAAE;IACzG,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,0DAA0D,EAAE;IAC5F,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,gEAAgE,EAAE;CAC3F,CAAC;AAiDX,MAAM,QAAQ,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;AAEvF;;;;;GAKG;AACH,SAAS,cAAc,CACrB,KAAa,EACb,YAAoB,EACpB,aAAqB,EACrB,IAA4F;IAE5F,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,4BAA4B;IAC3F,CAAC;IACD,IAAI,YAAY,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,kCAAkC;IACjG,CAAC;IACD,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACnF,IAAI,KAAK,IAAI,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACrF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,gCAAgC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqB,EAAE;IACxF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc;QAC9D,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;QACjE,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;KAClE,CAAC;IAEF,IAAI,EAAE,CAAC;IACP,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,kFAAkF;QAClF,OAAO;YACL,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,MAAM;YACxF,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,2DAA2D;YACpG,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;SACtE,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;KACjG,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3G,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEzG,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IACrF,MAAM,QAAQ,GACZ,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,CAAC,cAAc,IAAI,8BAA8B,CAAC;QAC3I,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,cAAc,IAAI,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC;IAErI,gFAAgF;IAChF,2EAA2E;IAC3E,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE;gBACjG,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY;QAC9D,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO;QAC3F,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,0EAA0E;AAC1E,gFAAgF;AAChF,4DAA4D;AAC5D,2EAA2E;AAE3E;qFACqF;AACrF,SAAS,gBAAgB;IACvB,OAAO;QACL,EAAE,EAAE,YAAY;QAChB,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,CAAC,KAAa,EAAgB,EAAE;YACnC,MAAM,CAAC,GAAG,2EAA2E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClG,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtF,MAAM,IAAI,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAClG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACpG,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,YAAY;gBACpB,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBAC9B,UAAU,EAAE,CAAC;gBACb,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,EAAE;aACnF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;mDASmD;AACnD,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO;QACL,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;gBACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAA2C,CAAC;gBAC9E,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,WAAW;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACvI,IAAI,CAAC,KAAK,UAAU;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACrH,uFAAuF;gBACvF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,6CAA6C,EAAE,CAAC;YACvJ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,0BAA2B,CAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YACjJ,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,SAAS,cAAc;IACrB,OAAO;QACL,EAAE,EAAE,UAAU;QACd,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,oCAAoC,CAAC,CAAC;gBAC/E,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBACjC,yEAAyE;gBACzE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;gBACrH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7F,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACxE,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,OAAO,CAAC,gBAAgB,EAAE,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;AAC3E,CAAC;AA+BD,gEAAgE;AAChE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB,EAAE,KAA8B,EAAE,OAAqB,EAAE;IAC/G,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;QACjE,gFAAgF;QAChF,+EAA+E;QAC/E,MAAM,cAAc,GAClB,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,UAAU,CAAC;YACxC,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;YAC7C,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QAChD,IAAI,cAAc;YAAE,eAAe,EAAE,CAAC;QACtC,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,OAAO;gBAAE,cAAc,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;gBAC1C,IAAI,CAAC,EAAE;oBAAE,MAAM,EAAE,CAAC;YACpB,CAAC;YAAC,MAAM,CAAC;gBAAC,MAAM,EAAE,CAAC;YAAC,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YAC7B,UAAU,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,kBAAkB,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,kBAAkB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IACtD,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnE,MAAM,cAAc,GAAG,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,GAAG,UAAU,CAAC;IAC9E,MAAM,QAAQ,GAAG,kCAAkC,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;IAChP,OAAO,EAAE,CAAC,EAAE,kBAAkB,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,KAAK;IACnB,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,IAAI;QACV,MAAM,EACJ,iGAAiG;YACjG,mGAAmG;YACnG,qGAAqG;KACxG,CAAC;AACJ,CAAC"}
+{"version":3,"file":"aletheia.js","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAA6D,MAAM,YAAY,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAE,eAAe,EAAsB,MAAM,cAAc,CAAC;AAMnE,+EAA+E;AAC/E,MAAM,CAAC,MAAM,QAAQ,GAAsB;IACzC,8FAA8F;IAC9F,kFAAkF;IAClF,wFAAwF;IACxF,6FAA6F;IAC7F,6CAA6C;IAC7C,wFAAwF;CAChF,CAAC;AAEX,2CAA2C;AAC3C,MAAM,CAAC,MAAM,IAAI,GAAoD;IACnE,EAAE,GAAG,EAAE,kBAAkB,EAAE,OAAO,EAAE,mEAAmE,EAAE;IACzG,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,0DAA0D,EAAE;IAC5F,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,gEAAgE,EAAE;CAC3F,CAAC;AA4DX,MAAM,QAAQ,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;AAEvF;;;;;GAKG;AACH,SAAS,cAAc,CACrB,KAAa,EACb,YAAoB,EACpB,aAAqB,EACrB,IAA4F;IAE5F,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,4BAA4B;IAC3F,CAAC;IACD,IAAI,YAAY,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,kCAAkC;IACjG,CAAC;IACD,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACnF,IAAI,KAAK,IAAI,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IACrF,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,gCAAgC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAqB,EAAE;IACxF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc;QAC9D,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;QACjE,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,QAAQ,CAAC,eAAe;KAClE,CAAC;IAEF,IAAI,EAAE,CAAC;IACP,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACzF,CAAC;IAAC,MAAM,CAAC;QACP,kFAAkF;QAClF,OAAO;YACL,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,MAAM;YACxF,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,2DAA2D;YACpG,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;SACtE,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE;KACjG,CAAC,CAAC,CAAC;IACJ,MAAM,aAAa,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3G,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAEzG,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IACrF,MAAM,QAAQ,GACZ,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,CAAC,cAAc,IAAI,8BAA8B,CAAC;QAC3I,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,cAAc,IAAI,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC;IAErI,gFAAgF;IAChF,2EAA2E;IAC3E,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;gBAC/B,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE;gBACjG,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;QAAC,CAAC;IAC7B,CAAC;IAED,MAAM,MAAM,GAAmB;QAC7B,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY;QAC9D,gBAAgB,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,OAAO;QAC3F,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KACzB,CAAC;IAEF,8EAA8E;IAC9E,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,eAAe,CAAC,QAAQ,EAAE;gBACpC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK;gBAC/B,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;aAC1G,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;YAC3D,MAAM,CAAC,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;YAC3C,MAAM,CAAC,aAAa,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC,CAAC,4DAA4D,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2EAA2E;AAC3E,0EAA0E;AAC1E,gFAAgF;AAChF,4DAA4D;AAC5D,2EAA2E;AAE3E;qFACqF;AACrF,SAAS,gBAAgB;IACvB,OAAO;QACL,EAAE,EAAE,YAAY;QAChB,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,CAAC,KAAa,EAAgB,EAAE;YACnC,MAAM,CAAC,GAAG,2EAA2E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClG,IAAI,CAAC,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACtF,MAAM,IAAI,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAClG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACpG,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;YACrC,OAAO;gBACL,MAAM,EAAE,YAAY;gBACpB,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBAC9B,UAAU,EAAE,CAAC;gBACb,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,SAAS,CAAC,EAAE;aACnF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;mDASmD;AACnD,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO;QACL,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;gBACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAA2C,CAAC;gBAC9E,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;gBACtB,IAAI,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,WAAW;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACvI,IAAI,CAAC,KAAK,UAAU;oBAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACrH,uFAAuF;gBACvF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,6CAA6C,EAAE,CAAC;YACvJ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,0BAA2B,CAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YACjJ,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;gEAEgE;AAChE,SAAS,cAAc;IACrB,OAAO;QACL,EAAE,EAAE,UAAU;QACd,MAAM,EAAE,GAAG;QACX,GAAG,EAAE,KAAK,EAAE,KAAa,EAAyB,EAAE;YAClD,IAAI,CAAC;gBACH,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,MAAM,CAAC,oCAAoC,CAAC,CAAC;gBAC/E,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBACjC,yEAAyE;gBACzE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;gBACrH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7F,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;YACxE,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED;mEACmE;AACnE,MAAM,UAAU,sBAAsB,CAAC,QAAgB;IACrD,OAAO,CAAC,gBAAgB,EAAE,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC;AAC3E,CAAC;AA+BD,gEAAgE;AAChE,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,QAAgB,EAAE,KAA8B,EAAE,OAAqB,EAAE;IAC/G,MAAM,OAAO,GAAoC,EAAE,CAAC;IACpD,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;QACjE,gFAAgF;QAChF,+EAA+E;QAC/E,MAAM,cAAc,GAClB,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,IAAI,UAAU,CAAC;YACxC,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;YAC7C,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;QAChD,IAAI,cAAc;YAAE,eAAe,EAAE,CAAC;QACtC,IAAI,UAAU,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,IAAI,CAAC,CAAC,OAAO;gBAAE,cAAc,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,EAAE,CAAC;YACT,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC;gBAC1C,IAAI,CAAC,EAAE;oBAAE,MAAM,EAAE,CAAC;YACpB,CAAC;YAAC,MAAM,CAAC;gBAAC,MAAM,EAAE,CAAC;YAAC,CAAC;QACvB,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,YAAY,EAAE,CAAC;YAC7B,UAAU,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,kBAAkB,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,MAAM,kBAAkB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IACtD,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnE,MAAM,cAAc,GAAG,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,GAAG,UAAU,CAAC;IAC9E,MAAM,QAAQ,GAAG,kCAAkC,CAAC,kBAAkB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;IAChP,OAAO,EAAE,CAAC,EAAE,kBAAkB,EAAE,UAAU,EAAE,WAAW,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/F,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,KAAK;IACnB,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,IAAI;QACV,MAAM,EACJ,iGAAiG;YACjG,mGAAmG;YACnG,qGAAqG;KACxG,CAAC;AACJ,CAAC"}

package/dist/truth_kernel/lattice.d.ts

@@ -0,0 +1,141 @@
+/**
+ * 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 { type NotaryReceipt } from "../notary/index.js";
+import type { AletheiaVerdict } from "./aletheia.js";
+export type NodeStatus = "ACTIVE" | "RETRACTED" | "PENDING_REVERIFY";
+export interface LatticeNode {
+    /** Stable id = sha256(seq|claim|verdict)[:16]. */
+    id: string;
+    seq: number;
+    claim: string;
+    /** Normalised subject for clustering + contradiction detection. */
+    subject: string;
+    verdict: AletheiaVerdict;
+    pTrue: number;
+    /** Sensor ids that drove the verdict (the proof). */
+    lineageSummary: string[];
+    /** Ids of other lattice nodes this claim's truth rests on (truth-maintenance edges). */
+    dependsOn: string[];
+    status: NodeStatus;
+    at: number;
+    /** Previous node's receiptId — the hash chain. */
+    prev: string | null;
+    /** The full NOTARY receipt (signature over the claim+verdict payload). null only
+     *  if signing degraded. Embedded so the lattice verifies OFFLINE + editing the
+     *  node body is detectable against the signed payload. */
+    receipt: NotaryReceipt | null;
+}
+export interface Contradiction {
+    kind: "opposite-verdict" | "negation-pair" | "value-conflict";
+    /** Existing node id. */
+    existing: string;
+    /** The incoming claim text. */
+    incoming: string;
+    detail: string;
+}
+/** 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 declare function normalizeSubject(claim: string): string;
+/** Read every lattice node. Never throws — a corrupt line is skipped. */
+export declare function readLattice(repoRoot: string): LatticeNode[];
+/**
+ * Detect contradictions between an incoming (claim, verdict) and the ACTIVE
+ * nodes already in the lattice. Three modes, strongest first. Never throws.
+ */
+export declare function detectContradictions(repoRoot: string, claim: string, verdict: AletheiaVerdict): Contradiction[];
+export interface RecordInput {
+    claim: string;
+    verdict: AletheiaVerdict;
+    pTrue: number;
+    /** Sensor ids that drove the verdict. */
+    lineageSummary?: string[];
+}
+export interface RecordResult {
+    node: LatticeNode;
+    contradictions: Contradiction[];
+}
+/**
+ * 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 declare function recordAssertion(repoRoot: string, input: RecordInput, opts?: {
+    dependsOn?: string[];
+    issuedAt?: number;
+    now?: number;
+}): RecordResult;
+export interface WhyResult {
+    found: boolean;
+    node?: LatticeNode;
+    /** Human-readable proof path: this claim ← its sensors / dependency claims ← bedrock. */
+    proof: string[];
+}
+/** Walk the proof of a claim: its lineage (sensors) + its dependency nodes, back
+ *  toward bedrock (deterministic sensors like `arithmetic` are axioms). Never throws. */
+export declare function whyTrue(repoRoot: string, claimOrId: string): WhyResult;
+export interface RetractResult {
+    retracted: string[];
+    /** Node ids marked PENDING_REVERIFY because they depended on a retracted node. */
+    cascade: string[];
+    retractionReceiptId: string | null;
+}
+/**
+ * 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 declare function retract(repoRoot: string, claimOrId: string, reason: string, opts?: {
+    issuedAt?: number;
+}): RetractResult;
+export interface LatticeStatus {
+    nodes: number;
+    active: number;
+    retracted: number;
+    pending: number;
+    openContradictions: number;
+    chainValid: boolean;
+}
+/** Live lattice status: counts + open contradictions among ACTIVE truths + chain integrity. */
+export declare function latticeStatus(repoRoot: string): LatticeStatus;
+export interface VerifyLatticeResult {
+    ok: boolean;
+    nodes: number;
+    /** seq of the first broken link, if any. */
+    brokenAt?: number;
+    /** node ids whose NOTARY signature failed, OR whose body was tampered vs the signed payload. */
+    badSignatures: string[];
+}
+/**
+ * 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 declare function verifyLattice(repoRoot: string): VerifyLatticeResult;
+//# sourceMappingURL=lattice.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lattice.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/lattice.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAKH,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,WAAW,GAAG,kBAAkB,CAAC;AAErE,MAAM,WAAW,WAAW;IAC1B,kDAAkD;IAClD,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,wFAAwF;IACxF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,kDAAkD;IAClD,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB;;8DAE0D;IAC1D,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,kBAAkB,GAAG,eAAe,GAAG,gBAAgB,CAAC;IAC9D,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,+BAA+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAKD;;+EAE+E;AAC/E,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUtD;AAgBD,yEAAyE;AACzE,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,EAAE,CAY3D;AAOD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,GAAG,aAAa,EAAE,CA+B/G;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,eAAe,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,WAAW,CAAC;IAClB,cAAc,EAAE,aAAa,EAAE,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,YAAY,CA8BxJ;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,WAAW,CAAC;IACnB,yFAAyF;IACzF,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;yFACyF;AACzF,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,CAsBtE;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kFAAkF;IAClF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,aAAa,CAsC5H;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,+FAA+F;AAC/F,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,CAuB7D;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gGAAgG;IAChG,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,mBAAmB,CAuBnE"}

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"}