@mneme-ai/core 2.90.0 → 2.92.0

package/dist/truth_kernel/anamnesis.d.ts

@@ -0,0 +1,172 @@
+/**
+ * v2.91.0 — 💎⑥ ANAMNESIS · "compute once, recollect forever."
+ *
+ * ἀνάμνησις (Plato) — the soul does not LEARN, it RECOLLECTS what it already knew.
+ * Completes the Greek quartet: Mneme (remember) · Lethe (forget, provably) ·
+ * Aletheia (truth) · ANAMNESIS (recollect → do NOT recompute).
+ *
+ * THE ASYMMETRY NO ONE PRICES: a human's question costs ~nothing; an AI's answer
+ * costs megawatts (inference). Worse, the SAME truths (2+2=4, "React 19 ships RSC",
+ * every verified fact) are re-derived billions of times across every model, user,
+ * and session. ANAMNESIS is the memoization cache for TRUTH across the whole AI
+ * multiverse: the first AI to PROVE a fact pays the energy; every AI after pays ~0
+ * — it re-verifies ALETHEIA's signed lineage (a hash + signature check) instead of
+ * re-deriving (full inference).
+ *
+ * Why only a savant can do it SAFELY: you may reuse a cached answer ONLY IF you can
+ * prove it is still true + not expired. So every cache hit is RE-VERIFIED (Ed25519
+ * signature + freshness + not-invalidated) — Refusal #3, "trust nothing, including
+ * itself." A naive answer-cache that serves a stale fact is worse than recomputing;
+ * ANAMNESIS refuses to serve any proof it cannot re-verify and date. Never throws.
+ *
+ * SAFETY INNOVATION (the cut): the cache key uses ONLY meaning-PRESERVING
+ * canonicalization — case/whitespace, number-words→digits, and commutative-arithmetic
+ * operand-sort — so genuine paraphrases ("2+2=4" ≡ "two plus two equals four" ≡
+ * "4 = 2 + 2") collapse to one proof, while it REFUSES unsafe normalisation
+ * (e.g. prose token-sort, which would collide "dog bites man" with "man bites dog").
+ * A savant never trades a false collision for a higher hit-rate.
+ */
+import { type NotaryReceipt } from "../notary/index.js";
+export type Verdict = "TRUE" | "FALSE" | "UNKNOWN";
+export interface ProofLineageNode {
+    sensor: string;
+    verdict: Verdict;
+    weight: number;
+}
+export interface ProofRecord {
+    /** Meaning-preserving canonical hash of the claim (the cache key). */
+    claimKey: string;
+    /** A representative original claim string (for humans / audit). */
+    claimSample: string;
+    verdict: Verdict;
+    lineage: ProofLineageNode[];
+    computedAt: number;
+    /** Freshness window in ms. 0 = an eternal axiom (e.g. 2+2=4 never expires). */
+    ttlMs: number;
+    /** The inference cost the FIRST prover paid — what each later recollection avoids. */
+    costTokens: number;
+    /** Who first proved it (attribution — "truth mining"). */
+    firstProver: string;
+    /** How many times this proof has been recollected (reused). */
+    recollections: number;
+    /** Hard invalidation (truth_cdn-style): the world changed ⇒ force recompute. */
+    invalidated: boolean;
+    /** Ed25519 NOTARY signature — offline-verifiable across vendors (no shared secret). */
+    receipt: NotaryReceipt | null;
+}
+export interface Recollection {
+    verdict: Verdict;
+    lineage: ProofLineageNode[];
+    source: "recollect" | "recompute";
+    /** Inference tokens avoided by this recollection (0 on a recompute). */
+    energySavedTokens: number;
+    claimKey: string;
+    /** Why we recomputed (when source = recompute): "miss" | "stale" | "invalidated" | "forged". */
+    reason: string;
+}
+/** Compute the meaning-preserving canonical cache key for a claim. Returns the
+ *  sha256 of the normalised form. Deterministic + total. */
+export declare function canonicalClaimKey(claim: string): string;
+/** The normalised string the key is hashed from (exported for tests/inspection). */
+export declare function canonicalForm(claim: string): string;
+/** Re-verify a cached proof: signature valid + body matches the signed payload +
+ *  fresh (within TTL, or eternal) + not invalidated. Refusal #3 — every hit. */
+export declare function isTrustworthy(rec: ProofRecord, now: number): boolean;
+export interface ComputeResult {
+    verdict: Verdict;
+    lineage: ProofLineageNode[];
+    ttlMs: number;
+    costTokens: number;
+}
+/**
+ * The recollect-or-recompute gate. If a trustworthy proof exists → RECOLLECT
+ * (~0 energy, returns energySavedTokens = the avoided inference cost). Otherwise →
+ * RECOMPUTE: run the expensive `compute`, sign the proof (Ed25519), persist it for
+ * everyone after. Never throws.
+ */
+export declare function recollectOrCompute(repoRoot: string, claim: string, compute: () => Promise<ComputeResult>, opts: {
+    now: number;
+    agent?: string;
+}): Promise<Recollection>;
+/** Hard-invalidate a cached proof (the world changed). The next ask recomputes.
+ *  Composes with the v2.89 lattice retract + truth_cdn invalidation. */
+export declare function invalidate(repoRoot: string, claim: string, reason: string): boolean;
+export interface AnamnesisStats {
+    records: number;
+    recollections: number;
+    /** Sum over all records of recollections × costTokens — inference tokens avoided. */
+    totalEnergySavedTokens: number;
+    /** The most-recollected proofs (the highest-leverage cached truths). */
+    topProofs: Array<{
+        claimSample: string;
+        recollections: number;
+        costTokens: number;
+        savedTokens: number;
+    }>;
+    chainValid: boolean;
+}
+/** Read-only stats over the proof cache. Never throws. */
+export declare function anamnesisStats(repoRoot: string): AnamnesisStats;
+/**
+ * Mint a real, signed savings certificate (proof_of_saving) attributing the energy
+ * ANAMNESIS has saved: each recollection is a Stage-1 (cache) decision that avoided
+ * `costTokens` of inference. Returns the certificate. Never throws.
+ */
+export declare function mintEnergyCertificate(repoRoot: string, opts?: {
+    windowStartMs: number;
+    windowEndMs: number;
+    usdPerToken?: number;
+}): Promise<unknown>;
+/**
+ * The headline call: verify a claim, but RECOLLECT a signed proof instead of
+ * re-deriving when one is fresh. The first ask runs the full ALETHEIA spine
+ * (`assertClaim`); every later ask of the same claim (or a meaning-preserving
+ * paraphrase) returns the cached signed verdict for ~0 energy. A proven arithmetic
+ * truth is an eternal axiom (ttl 0); everything else gets a freshness window.
+ */
+export declare function recollectAssertion(repoRoot: string, claim: string, opts?: {
+    now: number;
+    agent?: string;
+    ttlMs?: number;
+    estTokens?: number;
+}): Promise<Recollection>;
+export interface AnamnesisGauntletReport {
+    total: number;
+    recollects: number;
+    recomputes: number;
+    /** recollects / total — higher = more inference skipped. */
+    recollectionRate: number;
+    /** Recollections that served a NON-trustworthy proof. MUST be 0 (the safety property). */
+    staleServeRate: number;
+    energySavedTokens: number;
+    headline: string;
+}
+/**
+ * The Anamnesis Gauntlet — falsifiable proof of the energy layer. Feed a stream
+ * with repeats + paraphrases; measure recollection-rate (↑ good), stale-serve-rate
+ * (MUST be 0 — never serve an unre-verifiable proof), and energy saved. Because every
+ * hit is re-verified, stale-serve-rate is 0 by construction; the test proves it.
+ */
+export declare function runAnamnesisGauntlet(repoRoot: string, stream: readonly string[], opts?: {
+    now: number;
+}): Promise<AnamnesisGauntletReport>;
+export interface ProofBundle {
+    v: 1;
+    agent: string;
+    proofs: ProofRecord[];
+}
+/** Export this savant's proof cache as a portable, per-proof-signed bundle. */
+export declare function exportProofs(repoRoot: string, agent: string): ProofBundle;
+export interface ProofImportResult {
+    added: number;
+    duplicate: number;
+    rejectedForged: number;
+}
+/**
+ * Import a peer's proof bundle. Each proof is accepted ONLY IF its Ed25519 signature
+ * verifies offline AND its body matches the signed payload (a claim-swap with a
+ * valid-but-unrelated signature is dropped). Existing keys are skipped → idempotent.
+ * Never throws.
+ */
+export declare function importProofs(repoRoot: string, bundle: ProofBundle): ProofImportResult;
+//# sourceMappingURL=anamnesis.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"anamnesis.d.ts","sourceRoot":"","sources":["../../src/truth_kernel/anamnesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAKH,OAAO,EAA+B,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAErF,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AACnD,MAAM,WAAW,gBAAgB;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAEtF,MAAM,WAAW,WAAW;IAC1B,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAC;IACd,sFAAsF;IACtF,UAAU,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,WAAW,EAAE,OAAO,CAAC;IACrB,uFAAuF;IACvF,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,MAAM,EAAE,WAAW,GAAG,WAAW,CAAC;IAClC,wEAAwE;IACxE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,gGAAgG;IAChG,MAAM,EAAE,MAAM,CAAC;CAChB;AAgBD;4DAC4D;AAC5D,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAwBnD;AAmCD;gFACgF;AAChF,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CASpE;AAED,MAAM,WAAW,aAAa;IAAG,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AAEnH;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,OAAO,CAAC,aAAa,CAAC,EACrC,IAAI,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC,OAAO,CAAC,YAAY,CAAC,CAmCvB;AAED;wEACwE;AACxE,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAUnF;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,qFAAqF;IACrF,sBAAsB,EAAE,MAAM,CAAC;IAC/B,wEAAwE;IACxE,SAAS,EAAE,KAAK,CAAC;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1G,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAgB/D;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAyC,GAAG,OAAO,CAAC,OAAO,CAAC,CAYjM;AAGD;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAe,GACrF,OAAO,CAAC,YAAY,CAAC,CAcvB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,4DAA4D;IAC5D,gBAAgB,EAAE,MAAM,CAAC;IACzB,0FAA0F;IAC1F,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,GAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAe,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAgB5J;AAGD,MAAM,WAAW,WAAW;IAAG,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,EAAE,CAAA;CAAE;AAE3E,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAEzE;AAED,MAAM,WAAW,iBAAiB;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE;AAE/F;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,iBAAiB,CAmBrF"}

package/dist/truth_kernel/anamnesis.js

@@ -0,0 +1,335 @@
+/**
+ * v2.91.0 — 💎⑥ ANAMNESIS · "compute once, recollect forever."
+ *
+ * ἀνάμνησις (Plato) — the soul does not LEARN, it RECOLLECTS what it already knew.
+ * Completes the Greek quartet: Mneme (remember) · Lethe (forget, provably) ·
+ * Aletheia (truth) · ANAMNESIS (recollect → do NOT recompute).
+ *
+ * THE ASYMMETRY NO ONE PRICES: a human's question costs ~nothing; an AI's answer
+ * costs megawatts (inference). Worse, the SAME truths (2+2=4, "React 19 ships RSC",
+ * every verified fact) are re-derived billions of times across every model, user,
+ * and session. ANAMNESIS is the memoization cache for TRUTH across the whole AI
+ * multiverse: the first AI to PROVE a fact pays the energy; every AI after pays ~0
+ * — it re-verifies ALETHEIA's signed lineage (a hash + signature check) instead of
+ * re-deriving (full inference).
+ *
+ * Why only a savant can do it SAFELY: you may reuse a cached answer ONLY IF you can
+ * prove it is still true + not expired. So every cache hit is RE-VERIFIED (Ed25519
+ * signature + freshness + not-invalidated) — Refusal #3, "trust nothing, including
+ * itself." A naive answer-cache that serves a stale fact is worse than recomputing;
+ * ANAMNESIS refuses to serve any proof it cannot re-verify and date. Never throws.
+ *
+ * SAFETY INNOVATION (the cut): the cache key uses ONLY meaning-PRESERVING
+ * canonicalization — case/whitespace, number-words→digits, and commutative-arithmetic
+ * operand-sort — so genuine paraphrases ("2+2=4" ≡ "two plus two equals four" ≡
+ * "4 = 2 + 2") collapse to one proof, while it REFUSES unsafe normalisation
+ * (e.g. prose token-sort, which would collide "dog bites man" with "man bites dog").
+ * A savant never trades a false collision for a higher hit-rate.
+ */
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { createHash } from "node:crypto";
+import { issueReceipt, verifyReceipt } from "../notary/index.js";
+// ── meaning-preserving canonicalization (THE HEART, safely) ───────────────
+const NUMBER_WORDS = {
+    zero: "0", one: "1", two: "2", three: "3", four: "4", five: "5", six: "6", seven: "7", eight: "8",
+    nine: "9", ten: "10", eleven: "11", twelve: "12", thirteen: "13", fourteen: "14", fifteen: "15",
+    sixteen: "16", seventeen: "17", eighteen: "18", nineteen: "19", twenty: "20", hundred: "100", thousand: "1000",
+};
+const OP_WORDS = [
+    [/\b(plus|added to)\b/g, "+"],
+    [/\b(minus|less)\b/g, "-"],
+    [/\b(times|multiplied by)\b/g, "*"],
+    [/\b(divided by|over)\b/g, "/"],
+    [/\b(equals|equal to|is equal to)\b/g, "="],
+];
+/** Compute the meaning-preserving canonical cache key for a claim. Returns the
+ *  sha256 of the normalised form. Deterministic + total. */
+export function canonicalClaimKey(claim) {
+    return createHash("sha256").update(canonicalForm(claim)).digest("hex");
+}
+/** The normalised string the key is hashed from (exported for tests/inspection). */
+export function canonicalForm(claim) {
+    let s = String(claim ?? "").toLowerCase().trim();
+    for (const [re, op] of OP_WORDS)
+        s = s.replace(re, ` ${op} `);
+    // number-words → digits (token-wise, so "fourteen" doesn't touch "four")
+    s = s.split(/\s+/).map((tok) => {
+        const bare = tok.replace(/[^a-z0-9]/g, "");
+        return NUMBER_WORDS[bare] !== undefined ? tok.replace(bare, NUMBER_WORDS[bare]) : tok;
+    }).join(" ");
+    // collapse spaces around arithmetic operators + whitespace
+    s = s.replace(/\s*([+\-*/=])\s*/g, "$1").replace(/\s+/g, " ").trim();
+    // arithmetic operand canonicalisation: a OP b = c  (and c = a OP b) → sorted for + and *
+    const arith = /^(-?\d+(?:\.\d+)?)([+\-*/])(-?\d+(?:\.\d+)?)=(-?\d+(?:\.\d+)?)$/.exec(s.replace(/\s/g, ""));
+    const arithRev = /^(-?\d+(?:\.\d+)?)=(-?\d+(?:\.\d+)?)([+\-*/])(-?\d+(?:\.\d+)?)$/.exec(s.replace(/\s/g, ""));
+    if (arith) {
+        const [, a, op, b, c] = arith;
+        return canonArith(a, op, b, c);
+    }
+    if (arithRev) {
+        const [, c, a, op, b] = arithRev;
+        return canonArith(a, op, b, c);
+    }
+    // prose: strip trailing punctuation only — DO NOT reorder words (token-sort would
+    // collide different claims). Word order is meaning; the savant preserves it.
+    return s.replace(/[.;!?]+$/, "").trim();
+}
+function canonArith(a, op, b, c) {
+    // + and * are commutative → sort operands so "2+2"≡"2+2", "3*4"≡"4*3". - and / are not.
+    if (op === "+" || op === "*") {
+        const [x, y] = [a, b].sort((p, q) => (parseFloat(p) - parseFloat(q)) || p.localeCompare(q));
+        return `${x}${op}${y}=${c}`;
+    }
+    return `${a}${op}${b}=${c}`;
+}
+// ── durable signed store ──────────────────────────────────────────────────
+function dir(repoRoot) { return join(repoRoot, ".mneme", "anamnesis"); }
+function storePath(repoRoot) { return join(dir(repoRoot), "proofs.jsonl"); }
+function load(repoRoot) {
+    const m = new Map();
+    try {
+        const p = storePath(repoRoot);
+        if (!existsSync(p))
+            return m;
+        for (const line of readFileSync(p, "utf8").split("\n")) {
+            const s = line.trim();
+            if (!s)
+                continue;
+            try {
+                const rec = JSON.parse(s);
+                m.set(rec.claimKey, rec);
+            }
+            catch { /* skip corrupt */ }
+        }
+    }
+    catch { /* */ }
+    return m;
+}
+function persist(repoRoot, m) {
+    try {
+        mkdirSync(dir(repoRoot), { recursive: true });
+        writeFileSync(storePath(repoRoot), [...m.values()].map((r) => JSON.stringify(r)).join("\n") + (m.size ? "\n" : ""), "utf8");
+    }
+    catch { /* best-effort */ }
+}
+/** Re-verify a cached proof: signature valid + body matches the signed payload +
+ *  fresh (within TTL, or eternal) + not invalidated. Refusal #3 — every hit. */
+export function isTrustworthy(rec, now) {
+    if (rec.invalidated)
+        return false;
+    if (rec.ttlMs > 0 && now - rec.computedAt > rec.ttlMs)
+        return false; // stale
+    if (!rec.receipt)
+        return false;
+    try {
+        if (!verifyReceipt(rec.receipt).valid)
+            return false; // forged / tampered
+        const pl = (rec.receipt.payload ?? {});
+        return pl.claimKey === rec.claimKey && pl.verdict === rec.verdict; // body matches signed payload
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * The recollect-or-recompute gate. If a trustworthy proof exists → RECOLLECT
+ * (~0 energy, returns energySavedTokens = the avoided inference cost). Otherwise →
+ * RECOMPUTE: run the expensive `compute`, sign the proof (Ed25519), persist it for
+ * everyone after. Never throws.
+ */
+export async function recollectOrCompute(repoRoot, claim, compute, opts) {
+    const claimKey = canonicalClaimKey(claim);
+    const now = opts.now;
+    const store = load(repoRoot);
+    const hit = store.get(claimKey);
+    if (hit && isTrustworthy(hit, now)) {
+        hit.recollections += 1;
+        store.set(claimKey, hit);
+        persist(repoRoot, store);
+        return { verdict: hit.verdict, lineage: hit.lineage, source: "recollect", energySavedTokens: hit.costTokens, claimKey, reason: "fresh-authentic" };
+    }
+    const reason = !hit ? "miss" : hit.invalidated ? "invalidated" : (hit.ttlMs > 0 && now - hit.computedAt > hit.ttlMs) ? "stale" : "forged";
+    let out;
+    try {
+        out = await compute();
+    }
+    catch {
+        return { verdict: "UNKNOWN", lineage: [], source: "recompute", energySavedTokens: 0, claimKey, reason: "compute-failed" };
+    }
+    const base = {
+        claimKey, claimSample: String(claim ?? "").slice(0, 200), verdict: out.verdict, lineage: out.lineage,
+        computedAt: now, ttlMs: Math.max(0, out.ttlMs | 0), costTokens: Math.max(0, out.costTokens | 0),
+        firstProver: opts.agent ?? "unknown", recollections: 0, invalidated: false,
+    };
+    let receipt = null;
+    try {
+        receipt = issueReceipt(repoRoot, {
+            kind: "claim-verdict",
+            subject: claimKey,
+            payload: { engine: "anamnesis", claimKey, verdict: out.verdict, ttlMs: base.ttlMs, costTokens: base.costTokens },
+            issuedAt: now,
+        });
+    }
+    catch {
+        receipt = null;
+    }
+    store.set(claimKey, { ...base, receipt });
+    persist(repoRoot, store);
+    return { verdict: out.verdict, lineage: out.lineage, source: "recompute", energySavedTokens: 0, claimKey, reason };
+}
+/** Hard-invalidate a cached proof (the world changed). The next ask recomputes.
+ *  Composes with the v2.89 lattice retract + truth_cdn invalidation. */
+export function invalidate(repoRoot, claim, reason) {
+    void reason;
+    const store = load(repoRoot);
+    const key = canonicalClaimKey(claim);
+    const rec = store.get(key);
+    if (!rec)
+        return false;
+    rec.invalidated = true;
+    store.set(key, rec);
+    persist(repoRoot, store);
+    return true;
+}
+/** Read-only stats over the proof cache. Never throws. */
+export function anamnesisStats(repoRoot) {
+    const store = load(repoRoot);
+    let recollections = 0, totalEnergySavedTokens = 0;
+    const rows = [];
+    let chainValid = true;
+    const now = 0; // signature-only validity (TTL not applied to the audit view)
+    for (const rec of store.values()) {
+        recollections += rec.recollections;
+        const saved = rec.recollections * rec.costTokens;
+        totalEnergySavedTokens += saved;
+        rows.push({ claimSample: rec.claimSample, recollections: rec.recollections, costTokens: rec.costTokens, savedTokens: saved });
+        if (rec.receipt) {
+            try {
+                if (!verifyReceipt(rec.receipt).valid)
+                    chainValid = false;
+            }
+            catch {
+                chainValid = false;
+            }
+        }
+    }
+    void now;
+    rows.sort((a, b) => b.savedTokens - a.savedTokens);
+    return { records: store.size, recollections, totalEnergySavedTokens, topProofs: rows.slice(0, 10), chainValid };
+}
+/**
+ * Mint a real, signed savings certificate (proof_of_saving) attributing the energy
+ * ANAMNESIS has saved: each recollection is a Stage-1 (cache) decision that avoided
+ * `costTokens` of inference. Returns the certificate. Never throws.
+ */
+export async function mintEnergyCertificate(repoRoot, opts = { windowStartMs: 0, windowEndMs: 0 }) {
+    try {
+        const { mintSavingsCertificate } = await import("../proof_of_saving/index.js");
+        const store = load(repoRoot);
+        const decisions = [];
+        for (const rec of store.values()) {
+            for (let i = 0; i < rec.recollections; i++) {
+                decisions.push({ signature: `${rec.claimKey}#${i}`, tokensUsedActual: 0, estTokensSavedVsDirect: rec.costTokens, stage: 1 });
+            }
+        }
+        return mintSavingsCertificate({ decisions, windowStartMs: opts.windowStartMs, windowEndMs: opts.windowEndMs, usdPerToken: opts.usdPerToken, nowMs: opts.windowEndMs || undefined });
+    }
+    catch (e) {
+        return { error: e.message };
+    }
+}
+// ── recollectAssertion — ANAMNESIS in front of the savant spine ───────────
+/**
+ * The headline call: verify a claim, but RECOLLECT a signed proof instead of
+ * re-deriving when one is fresh. The first ask runs the full ALETHEIA spine
+ * (`assertClaim`); every later ask of the same claim (or a meaning-preserving
+ * paraphrase) returns the cached signed verdict for ~0 energy. A proven arithmetic
+ * truth is an eternal axiom (ttl 0); everything else gets a freshness window.
+ */
+export async function recollectAssertion(repoRoot, claim, opts = { now: 0 }) {
+    const compute = async () => {
+        const { assertClaim } = await import("./aletheia.js");
+        const r = await assertClaim(repoRoot, claim, { issuedAt: opts.now });
+        const lineage = r.lineage
+            .filter((n) => n.verdict === "TRUE" || n.verdict === "FALSE")
+            .map((n) => ({ sensor: n.sensor, verdict: n.verdict, weight: n.confidence }));
+        const isAxiom = lineage.some((n) => n.sensor === "arithmetic"); // deterministic ⇒ eternal
+        const ttlMs = opts.ttlMs ?? (isAxiom ? 0 : 24 * 60 * 60 * 1000);
+        // honest cost proxy: a real prover supplies measured tokens; default ≈ claim length × 6.
+        const costTokens = opts.estTokens ?? Math.max(200, Math.round(String(claim).length * 6));
+        return { verdict: r.verdict, lineage, ttlMs, costTokens };
+    };
+    return recollectOrCompute(repoRoot, claim, compute, { now: opts.now, agent: opts.agent });
+}
+/**
+ * The Anamnesis Gauntlet — falsifiable proof of the energy layer. Feed a stream
+ * with repeats + paraphrases; measure recollection-rate (↑ good), stale-serve-rate
+ * (MUST be 0 — never serve an unre-verifiable proof), and energy saved. Because every
+ * hit is re-verified, stale-serve-rate is 0 by construction; the test proves it.
+ */
+export async function runAnamnesisGauntlet(repoRoot, stream, opts = { now: 0 }) {
+    let recollects = 0, recomputes = 0, energySavedTokens = 0, staleServes = 0;
+    for (const claim of stream) {
+        const r = await recollectAssertion(repoRoot, claim, { now: opts.now });
+        if (r.source === "recollect") {
+            recollects++;
+            energySavedTokens += r.energySavedTokens;
+            // safety audit: a recollection must have come from a trustworthy record
+            const rec = load(repoRoot).get(r.claimKey);
+            if (!rec || !isTrustworthy(rec, opts.now))
+                staleServes++;
+        }
+        else
+            recomputes++;
+    }
+    const total = stream.length;
+    const recollectionRate = total ? recollects / total : 0;
+    const staleServeRate = recollects ? staleServes / recollects : 0;
+    const headline = `ANAMNESIS GAUNTLET · recollect ${(recollectionRate * 100).toFixed(0)}% · stale-serve ${(staleServeRate * 100).toFixed(0)}% · saved ${energySavedTokens} tokens (stream=${total}, recompute=${recomputes})`;
+    return { total, recollects, recomputes, recollectionRate, staleServeRate, energySavedTokens, headline };
+}
+/** Export this savant's proof cache as a portable, per-proof-signed bundle. */
+export function exportProofs(repoRoot, agent) {
+    return { v: 1, agent: String(agent ?? "anon"), proofs: [...load(repoRoot).values()] };
+}
+/**
+ * Import a peer's proof bundle. Each proof is accepted ONLY IF its Ed25519 signature
+ * verifies offline AND its body matches the signed payload (a claim-swap with a
+ * valid-but-unrelated signature is dropped). Existing keys are skipped → idempotent.
+ * Never throws.
+ */
+export function importProofs(repoRoot, bundle) {
+    const store = load(repoRoot);
+    let added = 0, duplicate = 0, rejectedForged = 0;
+    for (const rec of (Array.isArray(bundle?.proofs) ? bundle.proofs : [])) {
+        if (!rec || typeof rec.claimKey !== "string" || !rec.receipt) {
+            rejectedForged++;
+            continue;
+        }
+        let ok = false;
+        try {
+            if (verifyReceipt(rec.receipt).valid) {
+                const pl = (rec.receipt.payload ?? {});
+                ok = pl.claimKey === rec.claimKey && pl.verdict === rec.verdict;
+            }
+        }
+        catch {
+            ok = false;
+        }
+        if (!ok) {
+            rejectedForged++;
+            continue;
+        }
+        if (store.has(rec.claimKey)) {
+            duplicate++;
+            continue;
+        }
+        store.set(rec.claimKey, { ...rec, recollections: 0 }); // reset local reuse counter
+        added++;
+    }
+    if (added > 0)
+        persist(repoRoot, store);
+    return { added, duplicate, rejectedForged };
+}
+//# sourceMappingURL=anamnesis.js.map

package/dist/truth_kernel/anamnesis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anamnesis.js","sourceRoot":"","sources":["../../src/truth_kernel/anamnesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,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;AAsCrF,6EAA6E;AAC7E,MAAM,YAAY,GAA2B;IAC3C,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG;IACjG,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI;IAC/F,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM;CAC/G,CAAC;AACF,MAAM,QAAQ,GAA4B;IACxC,CAAC,sBAAsB,EAAE,GAAG,CAAC;IAC7B,CAAC,mBAAmB,EAAE,GAAG,CAAC;IAC1B,CAAC,4BAA4B,EAAE,GAAG,CAAC;IACnC,CAAC,wBAAwB,EAAE,GAAG,CAAC;IAC/B,CAAC,oCAAoC,EAAE,GAAG,CAAC;CAC5C,CAAC;AAEF;4DAC4D;AAC5D,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,QAAQ;QAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9D,yEAAyE;IACzE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC3C,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACxF,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,2DAA2D;IAC3D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,yFAAyF;IACzF,MAAM,KAAK,GAAG,iEAAiE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3G,MAAM,QAAQ,GAAG,iEAAiE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9G,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;QAC9B,OAAO,UAAU,CAAC,CAAE,EAAE,EAAG,EAAE,CAAE,EAAE,CAAE,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC;QACjC,OAAO,UAAU,CAAC,CAAE,EAAE,EAAG,EAAE,CAAE,EAAE,CAAE,CAAC,CAAC;IACrC,CAAC;IACD,kFAAkF;IAClF,6EAA6E;IAC7E,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS,EAAE,CAAS;IAC7D,wFAAwF;IACxF,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;QAC7B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9B,CAAC;AAED,6EAA6E;AAC7E,SAAS,GAAG,CAAC,QAAgB,IAAY,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;AACxF,SAAS,SAAS,CAAC,QAAgB,IAAY,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;AAE5F,SAAS,IAAI,CAAC,QAAgB;IAC5B,MAAM,CAAC,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC7B,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,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAgB,CAAC;gBAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC1G,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,CAAC,CAAC;AACX,CAAC;AACD,SAAS,OAAO,CAAC,QAAgB,EAAE,CAA2B;IAC5D,IAAI,CAAC;QACH,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9H,CAAC;IAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;AAC/B,CAAC;AAED;gFACgF;AAChF,MAAM,UAAU,aAAa,CAAC,GAAgB,EAAE,GAAW;IACzD,IAAI,GAAG,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAClC,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,QAAQ;IAC7E,IAAI,CAAC,GAAG,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC,CAAe,oBAAoB;QACvF,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAA4C,CAAC;QAClF,OAAO,EAAE,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,8BAA8B;IACnG,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC3B,CAAC;AAID;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAgB,EAChB,KAAa,EACb,OAAqC,EACrC,IAAqC;IAErC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEhC,IAAI,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,aAAa,IAAI,CAAC,CAAC;QACvB,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACzB,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACrJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAE1I,IAAI,GAAkB,CAAC;IACvB,IAAI,CAAC;QAAC,GAAG,GAAG,MAAM,OAAO,EAAE,CAAC;IAAC,CAAC;IAC9B,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAAC,CAAC;IAEpI,MAAM,IAAI,GAAiC;QACzC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO;QACpG,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;QAC/F,WAAW,EAAE,IAAI,CAAC,KAAK,IAAI,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK;KAC3E,CAAC;IACF,IAAI,OAAO,GAAyB,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;YAC/B,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,QAAQ;YACjB,OAAO,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;YAChH,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,GAAG,IAAI,CAAC;IAAC,CAAC;IAC3B,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACrH,CAAC;AAED;wEACwE;AACxE,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,KAAa,EAAE,MAAc;IACxE,KAAK,MAAM,CAAC;IACZ,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACvB,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC;IACvB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACpB,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC;AAYD,0DAA0D;AAC1D,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,aAAa,GAAG,CAAC,EAAE,sBAAsB,GAAG,CAAC,CAAC;IAClD,MAAM,IAAI,GAAgC,EAAE,CAAC;IAC7C,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,8DAA8D;IAC7E,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,aAAa,IAAI,GAAG,CAAC,aAAa,CAAC;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,GAAG,GAAG,CAAC,UAAU,CAAC;QACjD,sBAAsB,IAAI,KAAK,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9H,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAAC,IAAI,CAAC;gBAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK;oBAAE,UAAU,GAAG,KAAK,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,UAAU,GAAG,KAAK,CAAC;YAAC,CAAC;QAAC,CAAC;IACvH,CAAC;IACD,KAAK,GAAG,CAAC;IACT,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACnD,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,sBAAsB,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;AAClH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,QAAgB,EAAE,OAA6E,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE;IAC7K,IAAI,CAAC;QACH,MAAM,EAAE,sBAAsB,EAAE,GAAG,MAAM,MAAM,CAAC,6BAA6B,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7B,MAAM,SAAS,GAA0G,EAAE,CAAC;QAC5H,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,sBAAsB,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/H,CAAC;QACH,CAAC;QACD,OAAO,sBAAsB,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,WAAW,IAAI,SAAS,EAAE,CAAC,CAAC;IACtL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,EAAE,KAAK,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC;IAAC,CAAC;AACzD,CAAC;AAED,6EAA6E;AAC7E;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAgB,EAChB,KAAa,EACb,OAA4E,EAAE,GAAG,EAAE,CAAC,EAAE;IAEtF,MAAM,OAAO,GAAG,KAAK,IAA4B,EAAE;QACjD,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,eAAe,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACrE,MAAM,OAAO,GAAuB,CAAC,CAAC,OAAO;aAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;aAC5D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,0BAA0B;QAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC;QAChE,yFAAyF;QACzF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACzF,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAC5D,CAAC,CAAC;IACF,OAAO,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;AAC5F,CAAC;AAcD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAgB,EAAE,MAAyB,EAAE,OAAwB,EAAE,GAAG,EAAE,CAAC,EAAE;IACxH,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,EAAE,iBAAiB,GAAG,CAAC,EAAE,WAAW,GAAG,CAAC,CAAC;IAC3E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,MAAM,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAC7B,UAAU,EAAE,CAAC;YAAC,iBAAiB,IAAI,CAAC,CAAC,iBAAiB,CAAC;YACvD,wEAAwE;YACxE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;gBAAE,WAAW,EAAE,CAAC;QAC3D,CAAC;;YAAM,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5B,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,kCAAkC,CAAC,gBAAgB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,iBAAiB,mBAAmB,KAAK,eAAe,UAAU,GAAG,CAAC;IAC7N,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAC;AAC1G,CAAC;AAKD,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,KAAa;IAC1D,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AAID;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,MAAmB;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,KAAK,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YAAC,cAAc,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7F,IAAI,EAAE,GAAG,KAAK,CAAC;QACf,IAAI,CAAC;YACH,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;gBACrC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAA4C,CAAC;gBAClF,EAAE,GAAG,EAAE,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC;YAClE,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YAAC,EAAE,GAAG,KAAK,CAAC;QAAC,CAAC;QACvB,IAAI,CAAC,EAAE,EAAE,CAAC;YAAC,cAAc,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACxC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAC,SAAS,EAAE,CAAC;YAAC,SAAS;QAAC,CAAC;QACvD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,4BAA4B;QACnF,KAAK,EAAE,CAAC;IACV,CAAC;IACD,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC;AAC9C,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * v2.91.0 — 💎⑥ ANAMNESIS tests (compute once, recollect forever).
+ *
+ *   N1  canonicalForm — meaning-preserving paraphrase collapse (arith forms, words, commutative sort, case/space)
+ *   N2  NO false collision — word order preserved; different values ≠; non-commutative not sorted
+ *   N3  recollect-or-recompute — first computes, repeat recollects (~0), compute runs exactly once
+ *   N4  re-verify EVERY hit — tampered body / forged sig / stale / invalidated all force recompute
+ *   N5  freshness window — within ttl → recollect, past ttl → recompute; ttl 0 = eternal axiom
+ *   N6  energy ledger — anamnesisStats totals + mintEnergyCertificate signs the savings
+ *   N7  cross-vendor export/import — added, idempotent, forged (claim-swap) dropped
+ *   N8  Anamnesis Gauntlet — recollection-rate > 0 AND stale-serve-rate === 0
+ *   N9  QUAN — never throws over fuzz; always 3-valued
+ */
+export {};
+//# sourceMappingURL=anamnesis.test.d.ts.map

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

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