@mneme-ai/core 2.86.0 → 2.88.0

package/dist/truth_kernel/aletheia.d.ts

@@ -0,0 +1,123 @@
+/**
+ * v2.88.0 — ALETHEIA · the savant spine (Prove-or-Unknown).
+ *
+ * Identity manifesto: docs/ALETHEIA.md. ἀλήθεια = "truth as un-forgetting"
+ * (a- "not" + lḗthē "forgetting"); the opposite of the river Lethe, the native
+ * tongue of Mnemosyne — of whom Mneme is a daughter.
+ *
+ * THE SAVANT THESIS: an LLM is the generalist brain — fluent, abstracting,
+ * therefore lossy + hallucination-prone + forgetful. ALETHEIA is the opposite
+ * cognitive style: a savant that REFUSES to abstract. It consolidates Mneme's
+ * truth-family sensors into ONE 3-valued assertion channel — TRUE / FALSE /
+ * UNKNOWN — under a HARD discipline: if it cannot be proven, it says UNKNOWN and
+ * NEVER fills the gap (the anti-hallucination vow, enforced in code). Every
+ * definite verdict (TRUE/FALSE) carries a lineage proof tree + an Ed25519 NOTARY
+ * signature (Refusal 5: no assertion without signature + lineage).
+ *
+ * The code spine lives HERE in truth_kernel/ (the `aletheia/` module name is
+ * already taken by vendor-reputation scoring). ALETHEIA is built ON
+ * truth_kernel's sensor fusion (checkTruth) — it is the discipline layer, not a
+ * new truth engine. It is sensor-agnostic and NEVER throws.
+ */
+import { type SensorAdapter, type SensorVerdict } from "./index.js";
+import { type NotaryReceipt } from "../notary/index.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";
+/** The Six Refusals — the "lesion". Identity is defined by what we give up. */
+export declare const REFUSALS: readonly string[];
+/** The Three Vows — what ALETHEIA does. */
+export declare const VOWS: ReadonlyArray<{
+    vow: string;
+    meaning: string;
+}>;
+/** One node in the proof tree — a single sensor's contribution. */
+export interface LineageNode {
+    sensor: string;
+    verdict: SensorVerdict;
+    confidence: number;
+    rationale?: string;
+    ms?: number;
+}
+export interface AletheiaResult {
+    claim: string;
+    /** TRUE / FALSE / UNKNOWN — the disciplined verdict. */
+    verdict: AletheiaVerdict;
+    /** Fused probability the claim is true, 0..1 (from truth_kernel). */
+    pTrue: number;
+    /** 0..1 — how much the sensors disagreed. */
+    disagreement: number;
+    sensorsConsulted: number;
+    /** How many sensors carried truth information (the rest were INAPPLICABLE). */
+    informational: number;
+    /** The proof tree: every sensor's verdict + rationale. */
+    lineage: LineageNode[];
+    /** Human-readable evidence string. */
+    evidence: string;
+    /** Which Refusal governed the outcome (esp. #1 on UNKNOWN). null on a clean definite verdict. */
+    refusalApplied: string | null;
+    /** Ed25519 signature over {claim, verdict, lineage}. null ONLY if signing degraded. */
+    receipt: NotaryReceipt | null;
+    totalMs: number;
+}
+export interface AletheiaOpts {
+    /** Sensors to consult. Defaults to defaultAletheiaSensors(repoRoot). */
+    sensors?: readonly SensorAdapter[];
+    /** pTrue ≥ this (with low disagreement) ⇒ TRUE. Default 0.85 — a HIGH bar. */
+    proveThreshold?: number;
+    /** pTrue ≤ this (with low disagreement) ⇒ FALSE. Default 0.15. */
+    refuteThreshold?: number;
+    /** disagreement ≥ this ⇒ UNKNOWN regardless of pTrue. Default 0.5. */
+    maxDisagreement?: number;
+    perSensorTimeoutMs?: number;
+    /** Deterministic issue time for the receipt (tests). */
+    issuedAt?: number;
+    /** Skip the NOTARY signature (tests / offline). */
+    noSign?: boolean;
+}
+/**
+ * Assert a claim through the savant spine. Fans out to the sensors, fuses with
+ * truth_kernel, applies the Prove-or-Unknown gate, attaches a lineage proof tree,
+ * and signs every definite verdict with a NOTARY receipt. Never throws.
+ */
+export declare function assertClaim(repoRoot: string, claim: string, opts?: AletheiaOpts): Promise<AletheiaResult>;
+/** The default savant sensor pack: arithmetic (deterministic) + apoptosis
+ *  (repo-grounded 7-witness) + humility (overconfidence guard). */
+export declare function defaultAletheiaSensors(repoRoot: string): SensorAdapter[];
+export interface GauntletCase {
+    claim: string;
+    /** Ground truth for scoring: TRUE / FALSE / UNPROVABLE (the spine must abstain). */
+    truth: "TRUE" | "FALSE" | "UNPROVABLE";
+}
+export interface SavantGauntletReport {
+    n: number;
+    /** Fraction that asserted a definite verdict that was WRONG, or asserted ANY
+     *  definite verdict on an UNPROVABLE case (it should have said UNKNOWN). 0 = perfect. */
+    falseAssertionRate: number;
+    /** Fraction of signed verdicts whose receipt fails to re-verify. 0 = nothing forgotten. */
+    forgetRate: number;
+    /** Fraction of definite (TRUE/FALSE) verdicts that carry a signed lineage. 1 = fully provable. */
+    provability: number;
+    /** Fraction where the spine correctly abstained (UNKNOWN) on an UNPROVABLE case. */
+    abstentionRate: number;
+    results: Array<{
+        claim: string;
+        expected: GauntletCase["truth"];
+        verdict: AletheiaVerdict;
+        falseAssertion: boolean;
+        signed: boolean;
+    }>;
+    headline: string;
+}
+/** Run the Savant Gauntlet over labeled cases. Never throws. */
+export declare function runSavantGauntlet(repoRoot: string, cases: readonly GauntletCase[], opts?: AletheiaOpts): Promise<SavantGauntletReport>;
+/** The creed — the Six Refusals + Three Vows, for the savant.creed surface. */
+export declare function creed(): {
+    refusals: readonly string[];
+    vows: ReadonlyArray<{
+        vow: string;
+        meaning: string;
+    }>;
+    thesis: string;
+};
+//# sourceMappingURL=aletheia.d.ts.map

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

@@ -0,0 +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"}

package/dist/truth_kernel/aletheia.js

@@ -0,0 +1,266 @@
+/**
+ * v2.88.0 — ALETHEIA · the savant spine (Prove-or-Unknown).
+ *
+ * Identity manifesto: docs/ALETHEIA.md. ἀλήθεια = "truth as un-forgetting"
+ * (a- "not" + lḗthē "forgetting"); the opposite of the river Lethe, the native
+ * tongue of Mnemosyne — of whom Mneme is a daughter.
+ *
+ * THE SAVANT THESIS: an LLM is the generalist brain — fluent, abstracting,
+ * therefore lossy + hallucination-prone + forgetful. ALETHEIA is the opposite
+ * cognitive style: a savant that REFUSES to abstract. It consolidates Mneme's
+ * truth-family sensors into ONE 3-valued assertion channel — TRUE / FALSE /
+ * UNKNOWN — under a HARD discipline: if it cannot be proven, it says UNKNOWN and
+ * NEVER fills the gap (the anti-hallucination vow, enforced in code). Every
+ * definite verdict (TRUE/FALSE) carries a lineage proof tree + an Ed25519 NOTARY
+ * signature (Refusal 5: no assertion without signature + lineage).
+ *
+ * The code spine lives HERE in truth_kernel/ (the `aletheia/` module name is
+ * already taken by vendor-reputation scoring). ALETHEIA is built ON
+ * truth_kernel's sensor fusion (checkTruth) — it is the discipline layer, not a
+ * new truth engine. It is sensor-agnostic and NEVER throws.
+ */
+import { checkTruth } from "./index.js";
+import { issueReceipt, verifyReceipt } from "../notary/index.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.",
+    "No forgetting / no lossy compression — never summarize until provenance is lost.",
+    "Trust nothing — including itself; every assertion must be independently re-verifiable.",
+    "Not a chatbot — no creative generation, no open-ended conversation (that is LLM territory).",
+    "No assertion without a signature + lineage.",
+    "No answer faster than it can be verified — slowness in service of truth is acceptable.",
+];
+/** The Three Vows — what ALETHEIA does. */
+export const VOWS = [
+    { vow: "Prove-or-Unknown", meaning: "Speak only what carries signed evidence; otherwise say 'unknown'." },
+    { vow: "Never Forget", meaning: "Every fact is lossless, signed, and retrievable forever." },
+    { vow: "Trust Nothing", meaning: "Everything is re-verifiable — including ALETHEIA's own memory." },
+];
+const DEFAULTS = { proveThreshold: 0.85, refuteThreshold: 0.15, maxDisagreement: 0.5 };
+/**
+ * The Prove-or-Unknown gate — the discipline, in code. A claim becomes a definite
+ * TRUE/FALSE ONLY when the evidence clears a HIGH bar with low sensor conflict.
+ * Anything short of that — no informational sensor, sensors in conflict, or a
+ * probability in the murky middle — is UNKNOWN. UNKNOWN NEVER fills the gap.
+ */
+function proveOrUnknown(pTrue, disagreement, informational, opts) {
+    if (informational === 0) {
+        return { verdict: "UNKNOWN", refusalApplied: REFUSALS[0] }; // no evidence → no gap-fill
+    }
+    if (disagreement >= opts.maxDisagreement) {
+        return { verdict: "UNKNOWN", refusalApplied: REFUSALS[2] }; // sensors conflict → cannot prove
+    }
+    if (pTrue >= opts.proveThreshold)
+        return { verdict: "TRUE", refusalApplied: null };
+    if (pTrue <= opts.refuteThreshold)
+        return { verdict: "FALSE", refusalApplied: null };
+    return { verdict: "UNKNOWN", refusalApplied: REFUSALS[0] }; // not provable enough → unknown
+}
+/**
+ * Assert a claim through the savant spine. Fans out to the sensors, fuses with
+ * truth_kernel, applies the Prove-or-Unknown gate, attaches a lineage proof tree,
+ * and signs every definite verdict with a NOTARY receipt. Never throws.
+ */
+export async function assertClaim(repoRoot, claim, opts = {}) {
+    const t0 = Date.now();
+    const sensors = opts.sensors ?? defaultAletheiaSensors(repoRoot);
+    const thresholds = {
+        proveThreshold: opts.proveThreshold ?? DEFAULTS.proveThreshold,
+        refuteThreshold: opts.refuteThreshold ?? DEFAULTS.refuteThreshold,
+        maxDisagreement: opts.maxDisagreement ?? DEFAULTS.maxDisagreement,
+    };
+    let tv;
+    try {
+        tv = await checkTruth({ claim, sensors, perSensorTimeoutMs: opts.perSensorTimeoutMs });
+    }
+    catch {
+        // checkTruth is designed not to throw; this is plan-C insurance → honest UNKNOWN.
+        return {
+            claim, verdict: "UNKNOWN", pTrue: 0.5, disagreement: 0, sensorsConsulted: sensors.length,
+            informational: 0, lineage: [], evidence: "verification pipeline unavailable — UNKNOWN (never guess)",
+            refusalApplied: REFUSALS[5], receipt: null, totalMs: Date.now() - t0,
+        };
+    }
+    const lineage = tv.sensorOutputs.map((o) => ({
+        sensor: o.sensor, verdict: o.verdict, confidence: o.confidence, rationale: o.rationale, ms: o.ms,
+    }));
+    const informational = tv.sensorOutputs.filter((o) => o.verdict === "TRUE" || o.verdict === "FALSE").length;
+    const { verdict, refusalApplied } = proveOrUnknown(tv.pTrue, tv.disagreement, informational, thresholds);
+    const drivers = lineage.filter((n) => n.verdict === "TRUE" || n.verdict === "FALSE");
+    const evidence = verdict === "UNKNOWN"
+        ? (informational === 0 ? "no sensor could prove or refute this — UNKNOWN (never guess)" : refusalApplied ?? "insufficient proof — UNKNOWN")
+        : (drivers.map((n) => `${n.sensor}: ${n.rationale ?? n.verdict}`).join(" · ") || `${tv.dominantSensor ?? "fused"} → ${verdict}`);
+    // Refusal 5: no assertion without a signature + lineage. We sign every definite
+    // verdict (and UNKNOWN too — an honest "I don't know" is also attestable).
+    let receipt = null;
+    if (!opts.noSign) {
+        try {
+            receipt = issueReceipt(repoRoot, {
+                kind: "claim-verdict",
+                subject: claim,
+                payload: { engine: "aletheia", verdict, pTrue: tv.pTrue, disagreement: tv.disagreement, lineage },
+                issuedAt: opts.issuedAt,
+            });
+        }
+        catch {
+            receipt = null;
+        }
+    }
+    return {
+        claim, verdict, pTrue: tv.pTrue, disagreement: tv.disagreement,
+        sensorsConsulted: sensors.length, informational, lineage, evidence, refusalApplied, receipt,
+        totalMs: Date.now() - t0,
+    };
+}
+// ════════════════════════════════════════════════════════════════════════
+// Default sensor pack — real Mneme organs wired as truth sensors. Each is
+// sensor-agnostic + dynamic-imported inside run() so the spine stays cycle-free
+// and never throws (a failing organ degrades to UNCERTAIN).
+// ════════════════════════════════════════════════════════════════════════
+/** Deterministic arithmetic/structural sensor — the savant's "sees pixels" axis.
+ *  Catches exact falsehoods (2+2=5) with full confidence; INAPPLICABLE otherwise. */
+function arithmeticSensor() {
+    return {
+        id: "arithmetic",
+        weight: 2.0,
+        run: (claim) => {
+            const m = /(-?\d+(?:\.\d+)?)\s*([+\-*/])\s*(-?\d+(?:\.\d+)?)\s*=\s*(-?\d+(?:\.\d+)?)/.exec(claim);
+            if (!m)
+                return { sensor: "arithmetic", verdict: "INAPPLICABLE", confidence: 0 };
+            const a = parseFloat(m[1]), op = m[2], b = parseFloat(m[3]), c = parseFloat(m[4]);
+            const real = op === "+" ? a + b : op === "-" ? a - b : op === "*" ? a * b : b !== 0 ? a / b : NaN;
+            if (!Number.isFinite(real))
+                return { sensor: "arithmetic", verdict: "INAPPLICABLE", confidence: 0 };
+            const ok = Math.abs(real - c) < 1e-9;
+            return {
+                sensor: "arithmetic",
+                verdict: ok ? "TRUE" : "FALSE",
+                confidence: 1,
+                rationale: ok ? `${a} ${op} ${b} = ${c} ✓` : `${a} ${op} ${b} = ${real}, not ${c}`,
+            };
+        },
+    };
+}
+/** APOPTOSIS 7-witness sensor — the real truth detector grounded in the repo.
+ *
+ *  CRITICAL discipline (Prove-or-Unknown): apoptosis is good at REFUTING — a
+ *  NECROTIC/APOPTOTIC verdict is real evidence-of-falsehood. But its HEALTHY
+ *  means only "no evidence AGAINST the claim was found" — which is NOT proof of
+ *  truth (apoptosis defaults to HEALTHY for any claim it cannot ground, e.g. a
+ *  future world-fact). Under the anti-hallucination vow, absence of refutation
+ *  must NOT become a TRUE. So HEALTHY → INAPPLICABLE: this sensor can refute,
+ *  it cannot prove on its own. (A positive-proof sensor like `arithmetic` — or a
+ *  future file/symbol witness — supplies TRUE.) */
+function apoptosisSensor(repoRoot) {
+    return {
+        id: "apoptosis",
+        weight: 1.5,
+        run: async (claim) => {
+            try {
+                const { detect } = await import("../apoptosis/index.js");
+                const rep = detect(repoRoot, claim);
+                const v = rep.verdict;
+                if (v === "NECROTIC" || v === "APOPTOTIC")
+                    return { sensor: "apoptosis", verdict: "FALSE", confidence: 0.85, rationale: rep.headline };
+                if (v === "INFLAMED")
+                    return { sensor: "apoptosis", verdict: "UNCERTAIN", confidence: 0.3, rationale: rep.headline };
+                // HEALTHY (or anything else): no evidence AGAINST ≠ proof FOR → carry no truth signal.
+                return { sensor: "apoptosis", verdict: "INAPPLICABLE", confidence: 0, rationale: `${rep.headline ?? v} (no refutation found — not proof of truth)` };
+            }
+            catch (e) {
+                return { sensor: "apoptosis", verdict: "UNCERTAIN", confidence: 0, rationale: `apoptosis unavailable: ${e.message?.slice(0, 60)}` };
+            }
+        },
+    };
+}
+/** Epistemic-humility sensor — overconfidence detector. Low weight + never asserts
+ *  truth on its own; an absolutist claim is nudged toward scrutiny, not toward FALSE.
+ *  Mostly INAPPLICABLE (it measures phrasing, not facthood). */
+function humilitySensor() {
+    return {
+        id: "humility",
+        weight: 0.4,
+        run: async (claim) => {
+            try {
+                const { humilityDensity } = await import("../apoptosis/epistemic_humility.js");
+                const r = humilityDensity(claim);
+                // Humility never proves a claim true/false — it only flags overconfident
+                // phrasing as a weak UNCERTAIN (so an absolutist claim can't sail to TRUE
+                // on confidence alone). Grounded / inapplicable phrasing carries no info.
+                if (r.verdict === "ALERT")
+                    return { sensor: "humility", verdict: "UNCERTAIN", confidence: 0.2, rationale: r.detail };
+                return { sensor: "humility", verdict: "INAPPLICABLE", confidence: 0, rationale: r.detail };
+            }
+            catch {
+                return { sensor: "humility", verdict: "INAPPLICABLE", confidence: 0 };
+            }
+        },
+    };
+}
+/** The default savant sensor pack: arithmetic (deterministic) + apoptosis
+ *  (repo-grounded 7-witness) + humility (overconfidence guard). */
+export function defaultAletheiaSensors(repoRoot) {
+    return [arithmeticSensor(), apoptosisSensor(repoRoot), humilitySensor()];
+}
+/** Run the Savant Gauntlet over labeled cases. Never throws. */
+export async function runSavantGauntlet(repoRoot, cases, opts = {}) {
+    const results = [];
+    let falseAssertions = 0;
+    let definite = 0;
+    let definiteSigned = 0;
+    let signed = 0;
+    let forgot = 0;
+    let abstainedCorrectly = 0;
+    let unprovable = 0;
+    for (const c of cases) {
+        const r = await assertClaim(repoRoot, c.claim, opts);
+        const isDefinite = r.verdict === "TRUE" || r.verdict === "FALSE";
+        // A false assertion: a definite verdict that doesn't match ground truth, OR any
+        // definite verdict on an UNPROVABLE case (the savant must abstain, not guess).
+        const falseAssertion = (c.truth === "UNPROVABLE" && isDefinite) ||
+            (c.truth === "TRUE" && r.verdict === "FALSE") ||
+            (c.truth === "FALSE" && r.verdict === "TRUE");
+        if (falseAssertion)
+            falseAssertions++;
+        if (isDefinite) {
+            definite++;
+            if (r.receipt)
+                definiteSigned++;
+        }
+        if (r.receipt) {
+            signed++;
+            try {
+                const ok = verifyReceipt(r.receipt).valid;
+                if (!ok)
+                    forgot++;
+            }
+            catch {
+                forgot++;
+            }
+        }
+        if (c.truth === "UNPROVABLE") {
+            unprovable++;
+            if (r.verdict === "UNKNOWN")
+                abstainedCorrectly++;
+        }
+        results.push({ claim: c.claim, expected: c.truth, verdict: r.verdict, falseAssertion, signed: !!r.receipt });
+    }
+    const n = cases.length;
+    const falseAssertionRate = n === 0 ? 0 : falseAssertions / n;
+    const forgetRate = signed === 0 ? 0 : forgot / signed;
+    const provability = definite === 0 ? 1 : definiteSigned / definite;
+    const abstentionRate = unprovable === 0 ? 1 : abstainedCorrectly / unprovable;
+    const headline = `SAVANT GAUNTLET · false-assert ${(falseAssertionRate * 100).toFixed(0)}% · forget ${(forgetRate * 100).toFixed(0)}% · provable ${(provability * 100).toFixed(0)}% · abstained ${(abstentionRate * 100).toFixed(0)}% (n=${n})`;
+    return { n, falseAssertionRate, forgetRate, provability, abstentionRate, results, headline };
+}
+/** The creed — the Six Refusals + Three Vows, for the savant.creed surface. */
+export function creed() {
+    return {
+        refusals: REFUSALS,
+        vows: VOWS,
+        thesis: "ALETHEIA is the savant prosthesis for the LLM's structural disability: it refuses to abstract, " +
+            "so it perceives + retains the exact, verifiable structure LLMs compress away. Superhuman ONLY on " +
+            "truth · memory · structure — and that narrowness is the moat. Prove-or-Unknown: never fill the gap.",
+    };
+}
+//# sourceMappingURL=aletheia.js.map

package/dist/truth_kernel/aletheia.js.map

@@ -0,0 +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"}

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

@@ -0,0 +1,15 @@
+/**
+ * v2.88.0 — ALETHEIA savant spine tests (Prove-or-Unknown discipline).
+ *
+ *   A1  provable arithmetic → TRUE + signed + lineage
+ *   A2  arithmetic falsehood → FALSE + signed + lineage cites the refutation
+ *   A3  unprovable claim → UNKNOWN, refusal #1 applied, NEVER fills the gap
+ *   A4  Prove-or-Unknown gate: high-conf→definite · conflict→UNKNOWN · murky→UNKNOWN
+ *   A5  Refusal 5 — every verdict carries a re-verifiable signature + lineage
+ *   A6  never throws (a throwing sensor degrades; fuzz stays total) + always 3-valued
+ *   A7  Savant Gauntlet — false-assert 0% · forget 0% · provable 100% · abstained 100%
+ *   A8  creed = 6 refusals + 3 vows
+ *   A9  tamper-evidence — a flipped receipt fails re-verification (forget detection)
+ */
+export {};
+//# sourceMappingURL=aletheia.test.d.ts.map

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"aletheia.test.js","sourceRoot":"","sources":["../../src/truth_kernel/aletheia.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,KAAK,EAAE,sBAAsB,EAAE,QAAQ,EAAE,IAAI,EAAwB,MAAM,eAAe,CAAC;AAEpI,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,SAAS,IAAI,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,MAAM,CAAC,GAAG,iBAAiB,CAAC;AAE5B,kDAAkD;AAClD,SAAS,MAAM,CAAC,EAAU,EAAE,OAAuD,EAAE,UAAkB,EAAE,MAAM,GAAG,CAAC;IACjH,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,OAAgB,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5F,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,+CAA+C,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACtG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB;QAC7D,+CAA+C;QAC/C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC/F,wCAAwC;QACxC,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACxH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,6FAA6F;QAC7F,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7H,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,mCAAmC;QACtF,oEAAoE;QACpE,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACnG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,0CAA0C;QAC1C,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9F,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,wCAAwC,CAAC,EAAE,CAAC;YACjF,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,OAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,4CAA4C;YAC5C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;QACpD,CAAC;QACD,yEAAyE;QACzE,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,IAAI,GAAkB,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAClF,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B;QAClE,oFAAoF;QACpF,MAAM,QAAQ,GAAG,IAAI,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAC5H,MAAM,EAAE,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAC/D,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;QACjG,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,EAAE;YACxC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;YACjC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE;YACrC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE;YACpC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;YAClC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;YACnC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;YACnC,EAAE,KAAK,EAAE,mCAAmC,EAAE,KAAK,EAAE,YAAY,EAAE;YACnE,EAAE,KAAK,EAAE,sDAAsD,EAAE,KAAK,EAAE,YAAY,EAAE;YACtF,EAAE,KAAK,EAAE,uCAAuC,EAAE,KAAK,EAAE,YAAY,EAAE;SACxE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QACpB,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,2BAA2B;QACjE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAS,4BAA4B;QAClE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAQ,mCAAmC;QACzE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAK,wCAAwC;IAChF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC;QAClB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,CAAC,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,OAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,kEAAkE;QAClE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,OAAO,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;YAAE,MAAM,CAAC,OAAO,CAAC,OAAO,GAAG,MAAM,CAAC;QAC1F,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,80 +1,80 @@
-{
-  "name": "@mneme-ai/core",
-  "version": "2.86.0",
-  "description": "Core indexing, retrieval, and graph engine for Mneme",
-  "type": "module",
-  "main": "./dist/index.js",
-  "types": "./dist/index.d.ts",
-  "exports": {
-    ".": {
-      "import": "./dist/index.js",
-      "types": "./dist/index.d.ts"
-    },
-    "./public": {
-      "import": "./dist/public.js",
-      "types": "./dist/public.d.ts"
-    },
-    "./git": {
-      "import": "./dist/git/index.js",
-      "types": "./dist/git/index.d.ts"
-    },
-    "./store": {
-      "import": "./dist/store/index.js",
-      "types": "./dist/store/index.d.ts"
-    },
-    "./indexer": {
-      "import": "./dist/indexer/index.js",
-      "types": "./dist/indexer/index.d.ts"
-    },
-    "./retrieve": {
-      "import": "./dist/retrieve/index.js",
-      "types": "./dist/retrieve/index.d.ts"
-    },
-    "./correlate": {
-      "import": "./dist/correlate/index.js",
-      "types": "./dist/correlate/index.d.ts"
-    },
-    "./dynamic": {
-      "import": "./dist/dynamic/index.js",
-      "types": "./dist/dynamic/index.d.ts"
-    },
-    "./metrics": {
-      "import": "./dist/metrics/index.js",
-      "types": "./dist/metrics/index.d.ts"
-    },
-    "./nemesis": {
-      "import": "./dist/nemesis/index.js",
-      "types": "./dist/nemesis/index.d.ts"
-    }
-  },
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/patsa2561-art/mneme-ai.git",
-    "directory": "packages/core"
-  },
-  "homepage": "https://github.com/patsa2561-art/mneme-ai#readme",
-  "bugs": {
-    "url": "https://github.com/patsa2561-art/mneme-ai/issues"
-  },
-  "license": "MIT",
-  "files": [
-    "dist",
-    "src/dynamic/packs/*.yml",
-    "README.md"
-  ],
-  "scripts": {
-    "build": "tsc -b",
-    "clean": "tsc -b --clean"
-  },
-  "dependencies": {
-    "typescript": "^5.6.3",
-    "yaml": "^2.6.1",
-    "zod": "^3.23.8"
-  },
-  "engines": {
-    "node": ">=22.13.0 <25.0.0"
-  },
-  "optionalDependencies": {
-    "z3-solver": "^4.16.0"
-  }
-}
+{
+  "name": "@mneme-ai/core",
+  "version": "2.88.0",
+  "description": "Core indexing, retrieval, and graph engine for Mneme",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./public": {
+      "import": "./dist/public.js",
+      "types": "./dist/public.d.ts"
+    },
+    "./git": {
+      "import": "./dist/git/index.js",
+      "types": "./dist/git/index.d.ts"
+    },
+    "./store": {
+      "import": "./dist/store/index.js",
+      "types": "./dist/store/index.d.ts"
+    },
+    "./indexer": {
+      "import": "./dist/indexer/index.js",
+      "types": "./dist/indexer/index.d.ts"
+    },
+    "./retrieve": {
+      "import": "./dist/retrieve/index.js",
+      "types": "./dist/retrieve/index.d.ts"
+    },
+    "./correlate": {
+      "import": "./dist/correlate/index.js",
+      "types": "./dist/correlate/index.d.ts"
+    },
+    "./dynamic": {
+      "import": "./dist/dynamic/index.js",
+      "types": "./dist/dynamic/index.d.ts"
+    },
+    "./metrics": {
+      "import": "./dist/metrics/index.js",
+      "types": "./dist/metrics/index.d.ts"
+    },
+    "./nemesis": {
+      "import": "./dist/nemesis/index.js",
+      "types": "./dist/nemesis/index.d.ts"
+    }
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/patsa2561-art/mneme-ai.git",
+    "directory": "packages/core"
+  },
+  "homepage": "https://github.com/patsa2561-art/mneme-ai#readme",
+  "bugs": {
+    "url": "https://github.com/patsa2561-art/mneme-ai/issues"
+  },
+  "license": "MIT",
+  "files": [
+    "dist",
+    "src/dynamic/packs/*.yml",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "tsc -b",
+    "clean": "tsc -b --clean"
+  },
+  "dependencies": {
+    "typescript": "^5.6.3",
+    "yaml": "^2.6.1",
+    "zod": "^3.23.8"
+  },
+  "engines": {
+    "node": ">=22.13.0 <25.0.0"
+  },
+  "optionalDependencies": {
+    "z3-solver": "^4.16.0"
+  }
+}