@mneme-ai/core 2.95.0 → 2.97.0

package/dist/hydra/guard.js

@@ -0,0 +1,171 @@
+/**
+ * v2.97.0 — HYDRA · GUARDED EXPANSION ("Time-To-Trust").
+ *
+ * The fusion gem: HYDRA codebook × the knowledge-atrophy clock × NOTARY.
+ * A normal expand() is byte-lossless. A GUARDED expand is lossless for
+ * TRUSTED content but provably REDACTS stale/quarantined content down to a
+ * signed abstract (sha256 + byte-count) — so an AI literally cannot
+ * hallucinate from expired memory, yet can still verify the redacted
+ * region's identity and request re-hydration.
+ *
+ * Prior-art research (v2.96) found no signed + lossless + TTL-guarded
+ * codebook anywhere. This is that unfilled lane, made measurable:
+ *   - all-fresh ⟹ guarded output is BYTE-IDENTICAL to the original (boolean)
+ *   - any stale entry ⟹ its raw phrase NEVER appears, its sha256 DOES,
+ *     fresh entries stay byte-exact (boolean)
+ *   - deterministic: same input → same bytes (boolean)
+ *
+ * STABILITY: every function is total — it never throws. Malformed input,
+ * a missing field, an unknown trust level → the SAFEST outcome (redact).
+ * The 108-error rule: when in doubt, guard, don't crash and don't leak.
+ */
+import { sha256Hex } from "./engine.js";
+export function trustFromMap(map) {
+    return (sym) => (map && Object.prototype.hasOwnProperty.call(map, sym) ? map[sym] ?? "fresh" : "fresh");
+}
+/**
+ * The deterministic redaction placeholder for a guarded entry. Carries the
+ * sha256 of the original phrase (identity-verifiable) + byte count + the
+ * reason — but NOT the content. Re-hydration replaces it with the real
+ * phrase once the symbol is re-verified.
+ */
+export function guardedPlaceholder(phrase, level) {
+    const sha = sha256Hex(phrase).slice(0, 16);
+    const bytes = Buffer.byteLength(phrase, "utf8");
+    return `[mneme:redacted trust=${level} sha256=${sha} bytes=${bytes} — re-verify to access]`;
+}
+/**
+ * GUARDED EXPAND. Fresh symbols expand to their phrase (byte-exact); stale
+ * or quarantined symbols expand to a signed abstract. Total: never throws;
+ * a bad entry is treated as quarantined (fail-closed, never leak).
+ */
+export function expandGuarded(encoded, cb, trustOf) {
+    if (typeof encoded !== "string")
+        return "";
+    if (!cb || !Array.isArray(cb.entries))
+        return encoded;
+    let out = encoded;
+    for (const e of cb.entries) {
+        if (!e || typeof e.sym !== "string" || typeof e.phrase !== "string" || e.phrase.length === 0)
+            continue;
+        let level;
+        try {
+            level = trustOf(e.sym) ?? "fresh";
+        }
+        catch {
+            level = "quarantined";
+        }
+        const replacement = level === "fresh" ? e.phrase : guardedPlaceholder(e.phrase, level);
+        out = out.split(e.sym).join(replacement);
+    }
+    return out;
+}
+/**
+ * RE-HYDRATE a guarded output: given the set of symbols whose access has
+ * been re-verified, replace their placeholders with the real phrase. Total:
+ * unknown symbols / malformed input are left untouched (no throw, no leak).
+ */
+export function rehydrate(encoded, cb, approvedSyms, trustOf) {
+    if (typeof encoded !== "string")
+        return "";
+    if (!cb || !Array.isArray(cb.entries))
+        return encoded;
+    const approved = new Set();
+    try {
+        for (const s of approvedSyms)
+            approved.add(s);
+    }
+    catch { /* leave empty */ }
+    const t = (sym) => (approved.has(sym) ? "fresh" : (() => { try {
+        return trustOf(sym) ?? "fresh";
+    }
+    catch {
+        return "quarantined";
+    } })());
+    return expandGuarded(encoded, cb, t);
+}
+/**
+ * The guarded gauntlet — proves the four Time-To-Trust invariants over a
+ * concrete trust assignment. Total + deterministic. `compressFn` lets the
+ * caller pass the engine's compress to avoid an import cycle; if omitted we
+ * verify directly against the codebook entries.
+ */
+export function guardedGauntlet(original, encoded, cb, trustMap) {
+    try {
+        const allFresh = () => "fresh";
+        const resolver = trustFromMap(trustMap);
+        const freshOut = expandGuarded(encoded, cb, allFresh);
+        const freshLossless = sha256Hex(freshOut) === sha256Hex(original);
+        const guarded1 = expandGuarded(encoded, cb, resolver);
+        const guarded2 = expandGuarded(encoded, cb, resolver);
+        const deterministic = sha256Hex(guarded1) === sha256Hex(guarded2);
+        let redactionSound = true;
+        let freshPreserved = true;
+        let redactedCount = 0;
+        let freshCount = 0;
+        for (const e of cb.entries) {
+            if (!e || typeof e.phrase !== "string" || e.phrase.length === 0)
+                continue;
+            const level = trustMap[e.sym] ?? "fresh";
+            if (level === "fresh") {
+                freshCount++;
+                continue;
+            }
+            redactedCount++;
+            // Correct, honest invariant — per OCCURRENCE, not per text:
+            //   - the stale SYMBOL must be fully consumed (no un-redacted
+            //     expansion survives), and
+            //   - IF the symbol actually occurs in the encoded stream, its
+            //     identity sha must appear (proof the redaction happened).
+            // A "dead" symbol (its phrase was nested-consumed by a longer phrase
+            // during compress, so it never appears in `encoded`) has nothing to
+            // redact → vacuously sound. We do NOT require the phrase TEXT to be
+            // globally absent: identical text inside a FRESH entry the caller
+            // trusts is not a leak of the stale source.
+            if (guarded1.includes(e.sym))
+                redactionSound = false;
+            if (encoded.includes(e.sym)) {
+                const sha = sha256Hex(e.phrase).slice(0, 16);
+                if (!guarded1.includes(sha))
+                    redactionSound = false;
+            }
+        }
+        // Fresh-preserved: redacting some entries must not corrupt the fresh
+        // ones. We check by re-hydrating ALL symbols → must equal fresh output.
+        const rehydrated = rehydrate(encoded, cb, cb.entries.map((e) => e.sym), resolver);
+        freshPreserved = sha256Hex(rehydrated) === sha256Hex(freshOut);
+        const perfect = freshLossless && redactionSound && freshPreserved && deterministic;
+        return { freshLossless, redactionSound, freshPreserved, deterministic, redactedCount, freshCount, score: perfect ? 100 : 0 };
+    }
+    catch {
+        // Total: any unexpected failure → score 0, never throw.
+        return { freshLossless: false, redactionSound: false, freshPreserved: false, deterministic: false, redactedCount: 0, freshCount: 0, score: 0 };
+    }
+}
+/**
+ * Compose the ATROPHY clock: mark a codebook's entries stale when the
+ * caller's age map says their source region is older than the half-life.
+ * `ageMsOf` returns the age (ms) of the source behind a symbol, or
+ * undefined if unknown (unknown ⇒ fresh, the least-surprising default —
+ * we only redact what we can PROVE is stale). Total; never throws.
+ */
+export function trustByAtrophy(cb, ageMsOf, halfLifeMs) {
+    const out = {};
+    if (!cb || !Array.isArray(cb.entries) || !(halfLifeMs > 0))
+        return out;
+    for (const e of cb.entries) {
+        if (!e || typeof e.sym !== "string")
+            continue;
+        let age;
+        try {
+            age = ageMsOf(e.sym);
+        }
+        catch {
+            age = undefined;
+        }
+        if (typeof age === "number" && Number.isFinite(age) && age > halfLifeMs * 2)
+            out[e.sym] = "stale";
+    }
+    return out;
+}
+//# sourceMappingURL=guard.js.map

package/dist/hydra/guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.js","sourceRoot":"","sources":["../../src/hydra/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAiB,SAAS,EAAE,MAAM,aAAa,CAAC;AAOvD,MAAM,UAAU,YAAY,CAAC,GAA+B;IAC1D,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC1G,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,KAAiB;IAClE,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,OAAO,yBAAyB,KAAK,WAAW,GAAG,UAAU,KAAK,yBAAyB,CAAC;AAC9F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,EAAY,EAAE,OAAsB;IACjF,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC3C,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACtD,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvG,IAAI,KAAiB,CAAC;QACtB,IAAI,CAAC;YAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,KAAK,GAAG,aAAa,CAAC;QAAC,CAAC;QAC3E,MAAM,WAAW,GAAG,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvF,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,EAAY,EAAE,YAA8B,EAAE,OAAsB;IAC7G,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC3C,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,CAAC;QAAC,KAAK,MAAM,CAAC,IAAI,YAAY;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,iBAAiB,CAAC,CAAC;IAClF,MAAM,CAAC,GAAkB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,aAAa,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxJ,OAAO,aAAa,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AACvC,CAAC;AAiBD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAgB,EAChB,OAAe,EACf,EAAY,EACZ,QAAoC;IAEpC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAkB,GAAG,EAAE,CAAC,OAAO,CAAC;QAC9C,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,CAAC;QAElE,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,CAAC;QAElE,IAAI,cAAc,GAAG,IAAI,CAAC;QAC1B,IAAI,cAAc,GAAG,IAAI,CAAC;QAC1B,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;YACzC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBACtB,UAAU,EAAE,CAAC;gBACb,SAAS;YACX,CAAC;YACD,aAAa,EAAE,CAAC;YAChB,4DAA4D;YAC5D,8DAA8D;YAC9D,+BAA+B;YAC/B,+DAA+D;YAC/D,+DAA+D;YAC/D,qEAAqE;YACrE,oEAAoE;YACpE,oEAAoE;YACpE,kEAAkE;YAClE,4CAA4C;YAC5C,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAAE,cAAc,GAAG,KAAK,CAAC;YACrD,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7C,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,cAAc,GAAG,KAAK,CAAC;YACtD,CAAC;QACH,CAAC;QACD,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC;QAClF,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,CAAC;QAE/D,MAAM,OAAO,GAAG,aAAa,IAAI,cAAc,IAAI,cAAc,IAAI,aAAa,CAAC;QACnF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/H,CAAC;IAAC,MAAM,CAAC;QACP,wDAAwD;QACxD,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACjJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,EAAY,EAAE,OAA4C,EAAE,UAAkB;IAC3G,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IACvE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;YAAE,SAAS;QAC9C,IAAI,GAAuB,CAAC;QAC5B,IAAI,CAAC;YAAC,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,GAAG,GAAG,SAAS,CAAC;QAAC,CAAC;QACxD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,UAAU,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;IACpG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/hydra/guard.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=guard.test.d.ts.map

package/dist/hydra/guard.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.test.d.ts","sourceRoot":"","sources":["../../src/hydra/guard.test.ts"],"names":[],"mappings":""}

package/dist/hydra/guard.test.js

@@ -0,0 +1,79 @@
+import { describe, it, expect } from "vitest";
+import { forgeCodebook, compress, sha256Hex } from "./index.js";
+import { expandGuarded, rehydrate, guardedGauntlet, trustFromMap, trustByAtrophy, guardedPlaceholder } from "./guard.js";
+const CORPUS = [
+    "fresh module does the new thing. fresh module is current.",
+    "legacy helper is ancient and stale. legacy helper has not changed in years.",
+].join("\n").repeat(6);
+function setup() {
+    const { codebook } = forgeCodebook(CORPUS, { minHits: 2 });
+    const encoded = compress(CORPUS, codebook);
+    return { codebook, encoded };
+}
+describe("v2.97 HYDRA GUARD · Time-To-Trust", () => {
+    it("all-fresh guarded expand is byte-identical to the original", () => {
+        const { codebook, encoded } = setup();
+        const out = expandGuarded(encoded, codebook, () => "fresh");
+        expect(out).toBe(CORPUS);
+    });
+    it("a stale entry is redacted: raw phrase gone, sha present, fresh untouched", () => {
+        const { codebook, encoded } = setup();
+        const stale = codebook.entries[0];
+        const map = { [stale.sym]: "stale" };
+        const out = expandGuarded(encoded, codebook, trustFromMap(map));
+        expect(out.includes(stale.phrase)).toBe(false); // raw content gone
+        expect(out).toContain(sha256Hex(stale.phrase).slice(0, 16)); // identity still verifiable
+        // fresh preserved: a fresh entry that lives OUTSIDE the stale region
+        // still expands byte-exact.
+        const other = codebook.entries.find((e) => e.sym !== stale.sym && !stale.phrase.includes(e.phrase) && CORPUS.split(stale.phrase).join("").includes(e.phrase));
+        if (other)
+            expect(out).toContain(other.phrase); // fresh preserved
+    });
+    it("re-hydration restores a redacted entry once approved", () => {
+        const { codebook, encoded } = setup();
+        const stale = codebook.entries[0];
+        const map = { [stale.sym]: "stale" };
+        const guarded = expandGuarded(encoded, codebook, trustFromMap(map));
+        expect(guarded.includes(stale.phrase)).toBe(false);
+        const restored = rehydrate(encoded, codebook, [stale.sym], trustFromMap(map));
+        expect(restored).toContain(stale.phrase); // disclosed after approval
+    });
+    it("guarded gauntlet scores 100 on a sound trust assignment", () => {
+        const { codebook, encoded } = setup();
+        const map = {};
+        if (codebook.entries[0])
+            map[codebook.entries[0].sym] = "stale";
+        const g = guardedGauntlet(CORPUS, encoded, codebook, map);
+        expect(g.freshLossless).toBe(true);
+        expect(g.redactionSound).toBe(true);
+        expect(g.freshPreserved).toBe(true);
+        expect(g.deterministic).toBe(true);
+        expect(g.score).toBe(100);
+    });
+    it("STABILITY — total functions never throw on malformed input", () => {
+        const bad = { v: 1, open: "", close: "", corpusHash: "", entries: [null, { sym: "x", phrase: "y" }] };
+        expect(() => expandGuarded("anything", bad, () => { throw new Error("boom"); })).not.toThrow();
+        expect(expandGuarded(null, bad, () => "fresh")).toBe("");
+        expect(guardedGauntlet("", "", bad, {}).score).toBe(0);
+        expect(rehydrate(undefined, bad, ["x"], () => "fresh")).toBe("");
+    });
+    it("ATROPHY composition — only PROVEN-old entries go stale (unknown ⇒ fresh)", () => {
+        const { codebook } = setup();
+        const halfLife = 1000;
+        const old = codebook.entries[0]?.sym;
+        const map = trustByAtrophy(codebook, (sym) => (sym === old ? halfLife * 10 : undefined), halfLife);
+        if (old)
+            expect(map[old]).toBe("stale");
+        // unknown age → NOT in the map → treated fresh (we only redact proven-stale)
+        const other = codebook.entries.find((e) => e.sym !== old);
+        if (other)
+            expect(map[other.sym]).toBeUndefined();
+    });
+    it("placeholder carries identity but not content", () => {
+        const ph = guardedPlaceholder("super secret phrase", "stale");
+        expect(ph).not.toContain("super secret phrase");
+        expect(ph).toContain(sha256Hex("super secret phrase").slice(0, 16));
+        expect(ph).toContain("trust=stale");
+    });
+});
+//# sourceMappingURL=guard.test.js.map

package/dist/hydra/guard.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.test.js","sourceRoot":"","sources":["../../src/hydra/guard.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEzH,MAAM,MAAM,GAAG;IACb,2DAA2D;IAC3D,6EAA6E;CAC9E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEvB,SAAS,KAAK;IACZ,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,OAAgB,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAsB,mBAAmB;QACxF,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAS,4BAA4B;QACjG,qEAAqE;QACrE,4BAA4B;QAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9J,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAsB,kBAAkB;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,OAAgB,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAA4B,2BAA2B;IAClG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;QACtC,MAAM,GAAG,GAAsD,EAAE,CAAC;QAClE,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;QAChE,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAU,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,IAAa,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAW,CAAC,EAAE,CAAC;QACjI,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC/F,MAAM,CAAC,aAAa,CAAC,IAAa,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,eAAe,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,SAAS,CAAC,SAAkB,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC;QACtB,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;QACrC,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;QACnG,IAAI,GAAG;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,6EAA6E;QAC7E,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QAC1D,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,EAAE,GAAG,kBAAkB,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/hydra/hydra.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=hydra.test.d.ts.map

package/dist/hydra/hydra.test.d.ts.map

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

package/dist/hydra/hydra.test.js

@@ -0,0 +1,90 @@
+import { describe, it, expect } from "vitest";
+import { forgeCodebook, collisions, compress, expand, proveLossless, chooseMarkers, sha256Hex, mineCandidates, hydraForge, verifyCodebook, } from "./index.js";
+const CORPUS = [
+    "HMAC-chained ledger is tamper-evident. The HMAC-chained ledger signs each row.",
+    "Ed25519-signed receipt verifies offline. Another Ed25519-signed receipt chains.",
+    "HMAC-chained ledger plus Ed25519-signed receipt equals tamper-evident provenance.",
+].join("\n").repeat(4);
+describe("v2.96 HYDRA · L3+L4 lossless engine", () => {
+    it("round-trips byte-identical (lossless proof is true)", () => {
+        const { codebook } = forgeCodebook(CORPUS, { minHits: 2 });
+        const p = proveLossless(CORPUS, codebook);
+        expect(p.lossless).toBe(true);
+        expect(p.originalHash).toBe(p.roundTripHash);
+        expect(expand(compress(CORPUS, codebook), codebook)).toBe(CORPUS);
+    });
+    it("markers are PUA chars absent from the corpus", () => {
+        const [o, c] = chooseMarkers(CORPUS, []);
+        expect(CORPUS.includes(o)).toBe(false);
+        expect(CORPUS.includes(c)).toBe(false);
+        expect(o.charCodeAt(0)).toBeGreaterThanOrEqual(0xe000);
+    });
+    it("does NOT munge a corpus that already contains a candidate marker — falls back", () => {
+        const tricky = String.fromCharCode(0xe000) + " " + CORPUS; // corpus carries the first marker
+        const { codebook } = forgeCodebook(tricky, { minHits: 2 });
+        expect(proveLossless(tricky, codebook).lossless).toBe(true); // still lossless via fallback marker
+        expect(codebook.open).not.toBe(String.fromCharCode(0xe000));
+    });
+});
+describe("v2.96 HYDRA · L7 collision-free (can't hold two meanings)", () => {
+    it("a forged codebook has zero collisions", () => {
+        const { codebook } = forgeCodebook(CORPUS, { minHits: 2 });
+        expect(collisions(codebook).collisions).toBe(0);
+    });
+    it("detects an injected duplicate symbol / phrase", () => {
+        const { codebook } = forgeCodebook(CORPUS, { minHits: 2 });
+        const dup = { v: 1, open: codebook.open, close: codebook.close, corpusHash: codebook.corpusHash,
+            entries: [...codebook.entries, codebook.entries[0]] };
+        expect(collisions(dup).collisions).toBeGreaterThan(0);
+    });
+});
+describe("v2.96 HYDRA · L9 self-refining forge converges + L6 portable", () => {
+    it("converges with a perfect gauntlet (score 100)", () => {
+        const r = forgeCodebook(CORPUS, { minHits: 2 });
+        expect(r.converged).toBe(true);
+        expect(r.gauntlet.score).toBe(100);
+        expect(r.gauntlet.lossless).toBe(true);
+        expect(r.gauntlet.collisions).toBe(0);
+        expect(r.gauntlet.portable).toBe(true);
+    });
+    it("is deterministic — same corpus → identical codebook hash", () => {
+        const a = forgeCodebook(CORPUS, { minHits: 2 });
+        const b = forgeCodebook(CORPUS, { minHits: 2 });
+        expect(sha256Hex(JSON.stringify(a.codebook.entries))).toBe(sha256Hex(JSON.stringify(b.codebook.entries)));
+    });
+    it("reports an HONEST net ratio (never claims single-shot magic)", () => {
+        const r = forgeCodebook(CORPUS, { minHits: 2 });
+        expect(r.gauntlet.netRatio).toBeGreaterThan(0);
+        expect(typeof r.gauntlet.codebookBytes).toBe("number");
+    });
+});
+describe("v2.96 HYDRA · L5 signed + L8 energy (offline-verifiable)", () => {
+    it("signs the codebook and verifies offline; catches tampering", () => {
+        const f = hydraForge(process.cwd(), CORPUS, 1700000000000, { minHits: 2 });
+        expect(verifyCodebook(f.receipt, f.forge.codebook).bound).toBe(true);
+        const tampered = JSON.parse(JSON.stringify(f.forge.codebook));
+        tampered.entries[0].phrase += "X";
+        expect(verifyCodebook(f.receipt, tampered).bound).toBe(false); // swap-after-sign caught
+    });
+    it("mints an energy certificate and binds axioms (L7/L8)", () => {
+        const f = hydraForge(process.cwd(), CORPUS, 1700000000000, { minHits: 2 });
+        expect(f.energy.bytesSaved).toBeGreaterThanOrEqual(0);
+        expect(f.axioms.length).toBe(f.forge.codebook.entries.length);
+        expect(f.axioms[0]?.claim).toContain("expands to");
+    });
+    it("L6 portable artifact carries a self-describing grammar", () => {
+        const f = hydraForge(process.cwd(), CORPUS, 1700000000000, { minHits: 2 });
+        expect(f.portable.kind).toBe("hydra/portable-codebook");
+        expect(f.portable.grammar.rule).toContain("replace");
+        expect(f.portable.codebookHash).toHaveLength(64);
+    });
+});
+describe("v2.96 HYDRA · L1/L2 mining is MDL-positive", () => {
+    it("only mines phrases that pay back more than they cost", () => {
+        const cands = mineCandidates(CORPUS, { minHits: 2 });
+        expect(cands.length).toBeGreaterThan(0);
+        for (const c of cands)
+            expect(c.gain).toBeGreaterThan(0);
+    });
+});
+//# sourceMappingURL=hydra.test.js.map

package/dist/hydra/hydra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hydra.test.js","sourceRoot":"","sources":["../../src/hydra/hydra.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,aAAa,EAAY,UAAU,EACnC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,SAAS,EACzD,cAAc,EACd,UAAU,EAAE,cAAc,GAC3B,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,GAAG;IACb,gFAAgF;IAChF,iFAAiF;IACjF,mFAAmF;CACpF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEvB,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,GAAG,GAAG,MAAM,CAAC,CAAK,kCAAkC;QACjG,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAG,qCAAqC;QACpG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,QAAQ,EAAE,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU;YACtG,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8DAA8D,EAAE,GAAG,EAAE;IAC5E,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9D,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC;QAClC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,yBAAyB;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACxD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/hydra/index.d.ts

@@ -0,0 +1,77 @@
+/**
+ * v2.96.0 — HYDRA · public surface. Signed, deterministic, provably-
+ * lossless, vendor-neutral context codebook that Mneme forges from its own
+ * corpus. The 9 facets of the gem:
+ *
+ *   L1 semantic mining ········· mine.ts        (mineCandidates)
+ *   L2 MDL-optimal selection ··· mine.ts        (gain scoring)
+ *   L3 deterministic expansion · engine.ts      (compress/expand)
+ *   L4 lossless proof ·········· engine.ts      (proveLossless — boolean)
+ *   L5 signed codebook ········· attest.ts      (signCodebook — NOTARY)
+ *   L6 vendor-neutral ·········· this file       (portableArtifact)
+ *   L7 axiom-lattice binding ··· analytic.ts+here(collisions + bindAxioms)
+ *   L8 energy certificate ······ attest.ts      (mintEnergyCert)
+ *   L9 self-refining forge ····· analytic.ts    (forgeCodebook — converges)
+ *
+ * The super-bot analytic engine (forgeCodebook) keeps improving until it
+ * cannot add a byte of value, gating every step on lossless ∧ no-collision
+ * so it can never ship a lie.
+ */
+export * from "./engine.js";
+export * from "./mine.js";
+export * from "./analytic.js";
+export * from "./attest.js";
+export * from "./guard.js";
+import type { Codebook } from "./engine.js";
+import { type ForgeOpts, type ForgeResult, type Gauntlet } from "./analytic.js";
+import { type EnergyCert } from "./attest.js";
+import type { NotaryReceipt } from "../notary/receipt.js";
+/**
+ * L6 — the VENDOR-NEUTRAL portable artifact. Because a deterministic engine
+ * expands this BEFORE any LLM sees it, the artifact is tokenizer-independent
+ * BY CONSTRUCTION — it works identically for Claude / GPT / Gemini / open
+ * models. The bundle carries everything a third party needs to expand +
+ * verify offline: the codebook, its signature, and the expansion grammar
+ * (which is simply "replace sym → phrase"; no model required).
+ */
+export interface PortableArtifact {
+    kind: "hydra/portable-codebook";
+    v: 1;
+    codebook: Codebook;
+    /** NOTARY receipt binding the codebook (L5). */
+    receipt: NotaryReceipt;
+    /** Self-describing expansion grammar so ANY engine can rehydrate. */
+    grammar: {
+        rule: string;
+        markerOpen: string;
+        markerClose: string;
+    };
+    codebookHash: string;
+}
+export declare function portableArtifact(cb: Codebook, receipt: NotaryReceipt): PortableArtifact;
+/**
+ * L7 — bind each codebook entry as a signed "axiom": `sym ⇒ phrase`. These
+ * compose with Mneme's truth-kernel lattice (each is a deterministic,
+ * collision-checked fact). Returned as a list ready for assertClaim/lattice
+ * recording; emitted here so HYDRA stays decoupled from lattice I/O.
+ */
+export interface CodebookAxiom {
+    claim: string;
+    sym: string;
+    phrase: string;
+}
+export declare function bindAxioms(cb: Codebook): CodebookAxiom[];
+export interface HydraForgeResult {
+    forge: ForgeResult;
+    gauntlet: Gauntlet;
+    receipt: NotaryReceipt;
+    energy: EnergyCert;
+    portable: PortableArtifact;
+    axioms: CodebookAxiom[];
+}
+/**
+ * THE FULL PIPELINE — L1→L9 in one deterministic call. `at` is the issue
+ * timestamp (CLI passes Date.now(); tests pass a fixed value).
+ */
+export declare function hydraForge(repoRoot: string, corpus: string, at: number, opts?: ForgeOpts): HydraForgeResult;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/hydra/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAE3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAA2B,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzG,OAAO,EAAsD,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AAClG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,yBAAyB,CAAC;IAChC,CAAC,EAAE,CAAC,CAAC;IACL,QAAQ,EAAE,QAAQ,CAAC;IACnB,gDAAgD;IAChD,OAAO,EAAE,aAAa,CAAC;IACvB,qEAAqE;IACrE,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,GAAG,gBAAgB,CAavF;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;CAChB;AACD,wBAAgB,UAAU,CAAC,EAAE,EAAE,QAAQ,GAAG,aAAa,EAAE,CAMxD;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,WAAW,CAAC;IACnB,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAE,SAAc,GAAG,gBAAgB,CAQ/G"}

package/dist/hydra/index.js

@@ -0,0 +1,62 @@
+/**
+ * v2.96.0 — HYDRA · public surface. Signed, deterministic, provably-
+ * lossless, vendor-neutral context codebook that Mneme forges from its own
+ * corpus. The 9 facets of the gem:
+ *
+ *   L1 semantic mining ········· mine.ts        (mineCandidates)
+ *   L2 MDL-optimal selection ··· mine.ts        (gain scoring)
+ *   L3 deterministic expansion · engine.ts      (compress/expand)
+ *   L4 lossless proof ·········· engine.ts      (proveLossless — boolean)
+ *   L5 signed codebook ········· attest.ts      (signCodebook — NOTARY)
+ *   L6 vendor-neutral ·········· this file       (portableArtifact)
+ *   L7 axiom-lattice binding ··· analytic.ts+here(collisions + bindAxioms)
+ *   L8 energy certificate ······ attest.ts      (mintEnergyCert)
+ *   L9 self-refining forge ····· analytic.ts    (forgeCodebook — converges)
+ *
+ * The super-bot analytic engine (forgeCodebook) keeps improving until it
+ * cannot add a byte of value, gating every step on lossless ∧ no-collision
+ * so it can never ship a lie.
+ */
+export * from "./engine.js";
+export * from "./mine.js";
+export * from "./analytic.js";
+export * from "./attest.js";
+export * from "./guard.js";
+import { sha256Hex } from "./engine.js";
+import { forgeCodebook, gauntlet } from "./analytic.js";
+import { signCodebook, mintEnergyCert, canonicalizeCodebook } from "./attest.js";
+export function portableArtifact(cb, receipt) {
+    return {
+        kind: "hydra/portable-codebook",
+        v: 1,
+        codebook: cb,
+        receipt,
+        grammar: {
+            rule: "for each entry, replace every occurrence of `sym` with `phrase` (single deterministic pass; phrases never contain markers)",
+            markerOpen: cb.open,
+            markerClose: cb.close,
+        },
+        codebookHash: sha256Hex(canonicalizeCodebook(cb)),
+    };
+}
+export function bindAxioms(cb) {
+    return cb.entries.map((e) => ({
+        claim: `hydra-symbol ${JSON.stringify(e.sym)} expands to ${JSON.stringify(e.phrase)}`,
+        sym: e.sym,
+        phrase: e.phrase,
+    }));
+}
+/**
+ * THE FULL PIPELINE — L1→L9 in one deterministic call. `at` is the issue
+ * timestamp (CLI passes Date.now(); tests pass a fixed value).
+ */
+export function hydraForge(repoRoot, corpus, at, opts = {}) {
+    const forge = forgeCodebook(corpus, opts);
+    const g = gauntlet(corpus, forge.codebook);
+    const receipt = signCodebook(repoRoot, forge.codebook, g, at);
+    const energy = mintEnergyCert(repoRoot, forge.codebook, g, at);
+    const portable = portableArtifact(forge.codebook, receipt);
+    const axioms = bindAxioms(forge.codebook);
+    return { forge, gauntlet: g, receipt, energy, portable, axioms };
+}
+//# sourceMappingURL=index.js.map

package/dist/hydra/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/hydra/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAG3B,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAmD,MAAM,eAAe,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,oBAAoB,EAAmB,MAAM,aAAa,CAAC;AAsBlG,MAAM,UAAU,gBAAgB,CAAC,EAAY,EAAE,OAAsB;IACnE,OAAO;QACL,IAAI,EAAE,yBAAyB;QAC/B,CAAC,EAAE,CAAC;QACJ,QAAQ,EAAE,EAAE;QACZ,OAAO;QACP,OAAO,EAAE;YACP,IAAI,EAAE,4HAA4H;YAClI,UAAU,EAAE,EAAE,CAAC,IAAI;YACnB,WAAW,EAAE,EAAE,CAAC,KAAK;SACtB;QACD,YAAY,EAAE,SAAS,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;KAClD,CAAC;AACJ,CAAC;AAaD,MAAM,UAAU,UAAU,CAAC,EAAY;IACrC,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,KAAK,EAAE,gBAAgB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE;QACrF,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC,CAAC;AACN,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,MAAc,EAAE,EAAU,EAAE,OAAkB,EAAE;IAC3F,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1C,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACnE,CAAC"}

package/dist/hydra/mine.d.ts

@@ -0,0 +1,42 @@
+/**
+ * v2.96.0 — HYDRA · L1 semantic mining + L2 MDL-optimal selection.
+ *
+ * The codebook Mneme mines from its OWN corpus — "the rarest gem the
+ * system forges itself". Different from BPE (subword) and LZ (byte): we
+ * mine over SEMANTIC token-windows (whole recurring phrases like
+ * "HMAC-chained ledger", "Ed25519-signed", "tamper-evident") so the
+ * symbols carry meaning, and we keep them as EXACT corpus substrings so
+ * the round-trip stays byte-lossless by construction.
+ *
+ * Selection is L2 MDL-optimal: a phrase earns its place only if it pays
+ * back more bytes than it costs to store — an information-theoretic
+ * objective (Rissanen's Minimum Description Length), not a heuristic.
+ *
+ * Pure + deterministic: same corpus → same candidates → same ranking.
+ */
+export interface PhraseCandidate {
+    phrase: string;
+    hits: number;
+    /** MDL net byte gain if this phrase becomes a symbol. */
+    gain: number;
+}
+/**
+ * Tokenize into an alternating stream of word-runs and whitespace-runs.
+ * `tokens.join("")` reconstructs the input EXACTLY — that exactness is
+ * what keeps every mined phrase a real substring (→ lossless).
+ */
+export declare function tokenize(text: string): string[];
+/**
+ * L1 — generate candidate phrases as windows of consecutive tokens. Odd
+ * window sizes straddle word·space·word so a candidate is always an exact
+ * substring. L2 — score each by MDL net gain and keep only payers.
+ *
+ * @param windowSizes token-window widths to consider (default 3..15 odd)
+ * @param minHits     minimum occurrences to be worth a symbol
+ */
+export declare function mineCandidates(corpus: string, opts?: {
+    windowSizes?: number[];
+    minHits?: number;
+    maxCandidates?: number;
+}): PhraseCandidate[];
+//# sourceMappingURL=mine.d.ts.map

package/dist/hydra/mine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mine.d.ts","sourceRoot":"","sources":["../../src/hydra/mine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;CACd;AAOD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,IAAI,GAAE;IAAE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAAO,GAC9E,eAAe,EAAE,CAgCnB"}