melete-ai 0.88.2

package/dist/rashomon.js

@@ -0,0 +1,93 @@
+const dst = (a, c) => { let s = 0; for (let i = 0; i < a.length; i++)
+    s += (a[i] - c[i]) ** 2; return Math.sqrt(s); };
+/** Find the family of genuinely different recipes that all score within `tolFrac` of the best. */
+export function analyzeRashomon(obs, space, goal = "maximize", tolFrac = 0.05) {
+    const dims = space?.dims ?? [];
+    const D = dims.length;
+    const hist = (obs ?? []).filter((o) => o && o.experiment && Number.isFinite(o.value));
+    const n = hist.length;
+    if (D === 0 || n < 6)
+        return { recipes: [], flexibility: "one", tolerance: NaN, note: `need ≈6+ measurements to map the family (have ${n})` };
+    const sgn = goal === "minimize" ? -1 : 1;
+    const lo = (i) => dims[i].min ?? 0, hi = (i) => dims[i].max ?? 1;
+    const toN = (e) => dims.map((d, i) => { const sp = hi(i) - lo(i) || 1; return Math.max(0, Math.min(1, ((+e[d.name] || 0) - lo(i)) / sp)); });
+    const V = hist.map((o) => sgn * o.value);
+    const range = Math.max(1e-9, Math.max(...V) - Math.min(...V));
+    const best = Math.max(...V);
+    const threshold = best - tolFrac * range;
+    // all near-optimal points, ranked best-first, then greedily kept if spatially distinct
+    const near = hist.map((o, i) => ({ o, v: V[i], p: toN(o.experiment) })).filter((x) => x.v >= threshold - 1e-12).sort((a, b) => b.v - a.v);
+    const keptP = [];
+    const recipes = [];
+    for (const x of near) {
+        if (keptP.some((p) => dst(p, x.p) < 0.2))
+            continue; // already represented by a nearby recipe
+        keptP.push(x.p);
+        const settings = {};
+        dims.forEach((d) => { settings[d.name] = +(+x.o.experiment[d.name]).toFixed(d.type === "int" ? 0 : 4); });
+        recipes.push({ settings, value: +x.o.value.toFixed(6) });
+        if (recipes.length >= 6)
+            break;
+    }
+    const flexibility = recipes.length >= 3 ? "many" : recipes.length === 2 ? "few" : "one";
+    const tolerance = +(tolFrac * range).toFixed(4);
+    const note = recipes.length <= 1
+        ? "there's essentially one best recipe — no equally-good alternatives to choose from"
+        : `you have ${recipes.length} genuinely different recipes that all score within ${tolerance} of the best — pick the cheapest, safest, or most convenient`;
+    return { recipes, flexibility, tolerance, note };
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+import { lcg } from "./space.js";
+export function rashomonGauntlet() {
+    const space = { dims: [{ name: "x", type: "real", min: 0, max: 1 }, { name: "y", type: "real", min: 0, max: 1 }] };
+    // TWO equal optima at (0.2,0.2) and (0.8,0.8) — there should be TWO distinct near-best recipes
+    const twin = (x, y) => Math.max(Math.exp(-(((x - 0.2) ** 2) + ((y - 0.2) ** 2)) / 0.02), Math.exp(-(((x - 0.8) ** 2) + ((y - 0.8) ** 2)) / 0.02));
+    const r1 = lcg(17);
+    const o1 = [];
+    for (let i = 0; i < 50; i++) {
+        const x = r1(), y = r1();
+        o1.push({ experiment: { x, y }, value: twin(x, y) });
+    }
+    for (let i = 0; i < 8; i++) {
+        o1.push({ experiment: { x: 0.2 + (r1() - 0.5) * 0.06, y: 0.2 + (r1() - 0.5) * 0.06 }, value: twin(0.2, 0.2) });
+        o1.push({ experiment: { x: 0.8 + (r1() - 0.5) * 0.06, y: 0.8 + (r1() - 0.5) * 0.06 }, value: twin(0.8, 0.8) });
+    }
+    const s1 = analyzeRashomon(o1, space, "maximize", 0.05);
+    const findsTwo = s1.recipes.length >= 2;
+    const recipesDistinct = s1.recipes.length >= 2 && (Math.abs(s1.recipes[0].settings.x - s1.recipes[1].settings.x) > 0.4);
+    const allNearBest = s1.recipes.every((r) => r.value >= 0.93); // all within ~5% of the peak (1.0)
+    // SINGLE peak → one recipe
+    const single = (x, y) => Math.exp(-(((x - 0.5) ** 2) + ((y - 0.5) ** 2)) / 0.03);
+    const r2 = lcg(5);
+    const o2 = [];
+    for (let i = 0; i < 60; i++) {
+        const x = r2(), y = r2();
+        o2.push({ experiment: { x, y }, value: single(x, y) });
+    }
+    for (let i = 0; i < 10; i++)
+        o2.push({ experiment: { x: 0.5 + (r2() - 0.5) * 0.05, y: 0.5 + (r2() - 0.5) * 0.05 }, value: single(0.5, 0.5) });
+    const s2 = analyzeRashomon(o2, space, "maximize", 0.05);
+    const singleOk = s2.recipes.length === 1 && s2.flexibility === "one";
+    const det = JSON.stringify(analyzeRashomon(o1, space, "maximize")) === JSON.stringify(analyzeRashomon(o1, space, "maximize"));
+    const abstains = analyzeRashomon(o1.slice(0, 4), space, "maximize").note.indexOf("need") >= 0;
+    const total = (() => { try {
+        analyzeRashomon([], space);
+        analyzeRashomon(null, space);
+        analyzeRashomon(o1, { dims: [] });
+        return true;
+    }
+    catch {
+        return false;
+    } })();
+    const checks = [
+        { name: "FINDS-MULTIPLE-OPTIMA", pass: findsTwo, detail: `two equal peaks → ${s1.recipes.length} distinct near-best recipes (flexibility "${s1.flexibility}")` },
+        { name: "RECIPES-ARE-DISTINCT", pass: recipesDistinct, detail: `the alternatives are genuinely different (x ${s1.recipes[0]?.settings.x} vs ${s1.recipes[1]?.settings.x})` },
+        { name: "ALL-WITHIN-TOLERANCE", pass: allNearBest, detail: `every recipe scores within tolerance of the best (≥0.93 of 1.0)` },
+        { name: "SINGLE-PEAK-ONE-RECIPE", pass: singleOk, detail: `one peak → ${s2.recipes.length} recipe (no false alternatives)` },
+        { name: "DETERMINISTIC", pass: det, detail: "same data → same family" },
+        { name: "ABSTAINS-WHEN-THIN", pass: abstains, detail: "too few measurements → no claim" },
+        { name: "TOTAL", pass: total, detail: "empty / null / no-dims never throws" },
+    ];
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=rashomon.js.map

package/dist/rashomon.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rashomon.js","sourceRoot":"","sources":["../src/rashomon.ts"],"names":[],"mappings":"AA4BA,MAAM,GAAG,GAAG,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;IAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1I,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAAC,GAA+B,EAAE,KAAY,EAAE,OAAa,UAAU,EAAE,OAAO,GAAG,IAAI;IACpH,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC;IAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,iDAAiD,CAAC,GAAG,EAAE,CAAC;IAC9I,MAAM,GAAG,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACjF,MAAM,GAAG,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzJ,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,KAAK,CAAC;IAEzC,uFAAuF;IACvF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1I,MAAM,KAAK,GAAe,EAAE,CAAC;IAAC,MAAM,OAAO,GAAqB,EAAE,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YAAE,SAAS,CAAU,yCAAyC;QACtG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvJ,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzD,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,MAAM;IACjC,CAAC;IACD,MAAM,WAAW,GAAkC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACvH,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC;QAC9B,CAAC,CAAC,mFAAmF;QACrF,CAAC,CAAC,YAAY,OAAO,CAAC,MAAM,sDAAsD,SAAS,8DAA8D,CAAC;IAC5J,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,iFAAiF;AACjF,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,gBAAgB;IAC9B,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAE1H,+FAA+F;IAC/F,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAClK,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,GAAkB,EAAE,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;QAAC,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAChH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAC/P,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IACxH,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAG,mCAAmC;IAEnG,2BAA2B;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACjG,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAkB,EAAE,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;QAAC,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAClH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9I,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,KAAK,KAAK,CAAC;IAErE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;IAC9H,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9F,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,eAAe,CAAC,IAAa,EAAE,KAAK,CAAC,CAAC;QAAC,eAAe,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE/K,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,OAAO,CAAC,MAAM,6CAA6C,EAAE,CAAC,WAAW,IAAI,EAAE;QAChK,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,+CAA+C,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE;QAC5K,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,iEAAiE,EAAE;QAC9H,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,OAAO,CAAC,MAAM,iCAAiC,EAAE;QAC5H,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,yBAAyB,EAAE;QACvE,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iCAAiC,EAAE;QACzF,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE;KAC9E,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;AAClE,CAAC"}

package/dist/reliability.d.ts

@@ -0,0 +1,79 @@
+/**
+ * RELIABILITY — the falsifiable "97.5% on every landscape" bar.
+ *
+ * A single benchmark function proves nothing; an optimizer that wins on a smooth bowl can fail badly on a
+ * deceptive, multi-trap, or high-dimensional surface. RELIABILITY runs the engine across a deliberately
+ * adversarial BATTERY — smooth, many-trap (Rastrigin), deceptive (Ackley), curved-valley (Rosenbrock),
+ * oscillatory (Griewank), high-dimensional, and a sharp needle — each NORMALISED so the true global
+ * optimum is exactly 1.0. The score for a run is therefore literally "% of the true optimum reached".
+ *
+ * The bar: the engine must reach a high fraction of the true optimum on EVERY landscape, averaged over
+ * several seeds — not just on average across the battery (which would let a smooth-surface win hide a
+ * pathological failure). The gauntlet reports the worst landscape, so the claim is honest and falsifiable:
+ * anyone can re-run it and check the per-landscape numbers.
+ */
+import { type Space, type Experiment } from "./space.js";
+import { type Goal, type Observation } from "./engine.js";
+export interface Landscape {
+    name: string;
+    space: Space;
+    f: (e: Experiment) => number;
+    budget: number;
+    note: string;
+}
+/**
+ * POLISH — a deterministic compass / pattern search (Hooke–Jeeves style) that follows a curved valley the
+ * global explorer can only get near. From the incumbent best it probes ± a step along each axis; on an
+ * improvement it keeps the move, otherwise it halves the step — so it converges into ridges (Rosenbrock)
+ * that random/Bayesian sampling burns hundreds of experiments failing to nail. No randomness, no deps:
+ * the local exploiter that turns "near the optimum" into "on the optimum".
+ */
+export declare function polish(space: Space, oracle: (e: Experiment) => number, start: Experiment, evals: number, goal?: Goal): {
+    experiment: Experiment;
+    value: number;
+};
+/**
+ * RELIABLE DISCOVER — Melete's signature 3-paradigm memetic engine. Three fundamentally different searchers
+ * compose into one run: (1) the self-allocating PORTFOLIO explores globally to find the right basin;
+ * (2) an OPTIMISTIC LIPSCHITZ INFILL (DIRECT-style) turns Melete's own optimality certificate INTO an
+ * acquisition — it samples the single point where the certified upper bound is highest, i.e. the most
+ * promising unexplored region the data cannot yet rule out; (3) NELDER–MEAD polish exploits locally to nail
+ * the optimum. Global basin → certificate-guided infill of the gaps → local precision. Fully deterministic
+ * ⇒ reproducible + signable. The diamond (CERTIFY) is not just a report here — it steers the search.
+ */
+export declare function reliableDiscover(opts: {
+    space: Space;
+    oracle: (e: Experiment) => number;
+    budget: number;
+    seed?: number;
+    goal?: Goal;
+}): Promise<{
+    best: Observation;
+    armStats: import("./portfolio.js").ArmStat[];
+    evaluations: number;
+    goal: Goal;
+}>;
+/** All landscapes are maximise, normalised so the global optimum value == 1.0 (so best.value == % of optimum). */
+export declare function landscapes(): Landscape[];
+export interface LandscapeResult {
+    name: string;
+    meanPct: number;
+    minPct: number;
+    note: string;
+    budget: number;
+    seeds: number;
+}
+/** Run the portfolio engine over every landscape × `seeds` seeds; return % of true optimum reached. */
+export declare function reliabilityBench(seeds?: number): Promise<{
+    results: LandscapeResult[];
+    worst: LandscapeResult;
+}>;
+export declare function reliabilityGauntlet(): Promise<{
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+        detail: string;
+    }>;
+}>;
+//# sourceMappingURL=reliability.d.ts.map

package/dist/reliability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reliability.d.ts","sourceRoot":"","sources":["../src/reliability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAG1D,MAAM,WAAW,SAAS;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAErH;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,IAAiB,GAAG;IAAE,UAAU,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAmC5K;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,IAAI,CAAA;CAAE;;;;;GAgC3I;AAMD,kHAAkH;AAClH,wBAAgB,UAAU,IAAI,SAAS,EAAE,CAiBxC;AAED,MAAM,WAAW,eAAe;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAE/H,uGAAuG;AACvG,wBAAsB,gBAAgB,CAAC,KAAK,SAAI,GAAG,OAAO,CAAC;IAAE,OAAO,EAAE,eAAe,EAAE,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE,CAAC,CAajH;AAMD,wBAAsB,mBAAmB,IAAI,OAAO,CAAC;IAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC,CAUvI"}

package/dist/reliability.js

@@ -0,0 +1,197 @@
+import { portfolioDiscover } from "./portfolio.js";
+/**
+ * POLISH — a deterministic compass / pattern search (Hooke–Jeeves style) that follows a curved valley the
+ * global explorer can only get near. From the incumbent best it probes ± a step along each axis; on an
+ * improvement it keeps the move, otherwise it halves the step — so it converges into ridges (Rosenbrock)
+ * that random/Bayesian sampling burns hundreds of experiments failing to nail. No randomness, no deps:
+ * the local exploiter that turns "near the optimum" into "on the optimum".
+ */
+export function polish(space, oracle, start, evals, goal = "maximize") {
+    const dims = space.dims;
+    const n = dims.length;
+    const names = dims.map((d) => d.name);
+    const clampV = (i, v) => Math.max(dims[i].min ?? -Infinity, Math.min(dims[i].max ?? Infinity, v));
+    const toArr = (e) => names.map((nm) => +(e[nm] || 0));
+    const toExp = (a) => { const e = {}; a.forEach((v, i) => (e[names[i]] = clampV(i, v))); return e; };
+    const sgn = goal === "minimize" ? 1 : -1; // we MINIMISE F = sgn·f, so higher f ⇒ lower F
+    let used = 0;
+    const F = (a) => { used++; return sgn * oracle(toExp(a)); };
+    // initial simplex: the incumbent + one axis-perturbed point per dimension
+    let pts = [toArr(start)];
+    for (let i = 0; i < n; i++) {
+        const p = toArr(start).slice();
+        const span = (dims[i].max ?? 1) - (dims[i].min ?? 0) || 1;
+        p[i] = clampV(i, p[i] + 0.08 * span);
+        pts.push(p);
+    }
+    let fv = pts.map(F);
+    const order = () => { const idx = [...pts.keys()].sort((a, b) => fv[a] - fv[b]); pts = idx.map((i) => pts[i]); fv = idx.map((i) => fv[i]); };
+    const A = 1, G = 2, R = 0.5, S = 0.5; // reflect / expand / contract / shrink
+    while (used < evals - 1) {
+        order();
+        const c = new Array(n).fill(0);
+        for (let i = 0; i < n; i++)
+            for (let j = 0; j < n; j++)
+                c[j] += pts[i][j];
+        for (let j = 0; j < n; j++)
+            c[j] /= n;
+        const worst = pts[n], fWorst = fv[n], fBest = fv[0], fSecond = fv[n - 1];
+        const xr = c.map((cj, j) => clampV(j, cj + A * (cj - worst[j])));
+        const fr = F(xr);
+        if (fr < fBest) {
+            const xe = c.map((cj, j) => clampV(j, cj + G * (xr[j] - cj)));
+            const fe = F(xe);
+            if (fe < fr) {
+                pts[n] = xe;
+                fv[n] = fe;
+            }
+            else {
+                pts[n] = xr;
+                fv[n] = fr;
+            }
+        }
+        else if (fr < fSecond) {
+            pts[n] = xr;
+            fv[n] = fr;
+        }
+        else {
+            const xc = c.map((cj, j) => clampV(j, cj + R * (worst[j] - cj)));
+            const fc = F(xc);
+            if (fc < fWorst) {
+                pts[n] = xc;
+                fv[n] = fc;
+            }
+            else {
+                for (let i = 1; i <= n && used < evals; i++) {
+                    pts[i] = pts[i].map((v, j) => clampV(j, pts[0][j] + S * (v - pts[0][j])));
+                    fv[i] = F(pts[i]);
+                }
+            }
+        }
+    }
+    order();
+    return { experiment: toExp(pts[0]), value: sgn * fv[0] };
+}
+/**
+ * RELIABLE DISCOVER — Melete's signature 3-paradigm memetic engine. Three fundamentally different searchers
+ * compose into one run: (1) the self-allocating PORTFOLIO explores globally to find the right basin;
+ * (2) an OPTIMISTIC LIPSCHITZ INFILL (DIRECT-style) turns Melete's own optimality certificate INTO an
+ * acquisition — it samples the single point where the certified upper bound is highest, i.e. the most
+ * promising unexplored region the data cannot yet rule out; (3) NELDER–MEAD polish exploits locally to nail
+ * the optimum. Global basin → certificate-guided infill of the gaps → local precision. Fully deterministic
+ * ⇒ reproducible + signable. The diamond (CERTIFY) is not just a report here — it steers the search.
+ */
+export async function reliableDiscover(opts) {
+    const goal = opts.goal ?? "maximize";
+    const space = opts.space, oracle = opts.oracle, dims = space.dims, D = dims.length;
+    const sgn = goal === "minimize" ? -1 : 1;
+    const better = (a, b) => (goal === "minimize" ? a < b : a > b);
+    const globalBudget = Math.max(8, Math.round(opts.budget * 0.30));
+    const infillBudget = Math.max(0, Math.round(opts.budget * 0.20));
+    const localBudget = Math.max(8, opts.budget - globalBudget - infillBudget);
+    // PHASE 1 — global explore (find the basin)
+    const g = await portfolioDiscover({ space, oracle, budget: globalBudget, seed: opts.seed ?? 1, goal });
+    const obs = (g.history || []).map((s) => ({ experiment: s.experiment, value: s.value }));
+    // normalise ↔ real + a deterministic Halton space-filling probe
+    const lo = (i) => dims[i].min ?? 0, hi = (i) => dims[i].max ?? 1;
+    const toN = (e) => dims.map((d, i) => { const sp = hi(i) - lo(i) || 1; return Math.max(0, Math.min(1, ((+e[d.name] || 0) - lo(i)) / sp)); });
+    const toE = (v) => { const e = {}; dims.forEach((d, i) => (e[d.name] = lo(i) + v[i] * (hi(i) - lo(i)))); return e; };
+    const HB = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37];
+    const hal = (k, b) => { let f = 1, r = 0, i = k + 1; while (i > 0) {
+        f /= b;
+        r += f * (i % b);
+        i = Math.floor(i / b);
+    } return r; };
+    const dst = (a, c) => { let s = 0; for (let i = 0; i < a.length; i++)
+        s += (a[i] - c[i]) ** 2; return Math.sqrt(s); };
+    // PHASE 2 — optimistic Lipschitz infill (certificate-guided): each step samples the point of highest upper bound
+    for (let k = 0; k < infillBudget; k++) {
+        const npts = obs.map((o) => toN(o.experiment)), vals = obs.map((o) => sgn * o.value);
+        let L = 0;
+        for (let i = 0; i < npts.length; i++)
+            for (let j = i + 1; j < npts.length; j++) {
+                const dx = dst(npts[i], npts[j]);
+                if (dx > 1e-9)
+                    L = Math.max(L, Math.abs(vals[i] - vals[j]) / dx);
+            }
+        L = (L > 0 ? L : 1e-6) * 1.3;
+        let bestC = null, bestUB = -Infinity;
+        for (let s = 0; s < 1500; s++) {
+            const c = [];
+            for (let d = 0; d < D; d++)
+                c.push(hal(k * 1500 + s + 1, HB[d % HB.length]));
+            let ub = Infinity;
+            for (let i = 0; i < npts.length; i++) {
+                const b = vals[i] + L * dst(c, npts[i]);
+                if (b < ub)
+                    ub = b;
+            }
+            if (ub > bestUB) {
+                bestUB = ub;
+                bestC = c;
+            }
+        }
+        if (bestC) {
+            const e = toE(bestC);
+            obs.push({ experiment: e, value: oracle(e) });
+        }
+    }
+    let best = obs.reduce((a, b) => (better(b.value, a.value) ? b : a), g.best);
+    // PHASE 3 — Nelder–Mead local polish (nail the optimum)
+    const p = polish(space, oracle, best.experiment, localBudget, goal);
+    if (better(p.value, best.value))
+        best = { experiment: p.experiment, value: p.value };
+    return { best, armStats: g.armStats, evaluations: globalBudget + infillBudget + localBudget, goal };
+}
+const realDims = (n, lo = -5, hi = 5) => ({ dims: Array.from({ length: n }, (_, i) => ({ name: "x" + i, type: "real", min: lo, max: hi })) });
+const vec = (e, n) => Array.from({ length: n }, (_, i) => +(e["x" + i] ?? 0));
+const TAU = Math.PI * 2;
+/** All landscapes are maximise, normalised so the global optimum value == 1.0 (so best.value == % of optimum). */
+export function landscapes() {
+    return [
+        { name: "smooth-bowl", space: realDims(2), budget: 50, note: "convex — the easy baseline",
+            f: (e) => { const x = vec(e, 2); return Math.exp(-(x[0] * x[0] + x[1] * x[1]) / 8); } },
+        { name: "rastrigin-2d", space: realDims(2, -5.12, 5.12), budget: 70, note: "dozens of regular traps",
+            f: (e) => { const x = vec(e, 2); const r = 10 * 2 + x.reduce((s, v) => s + v * v - 10 * Math.cos(TAU * v), 0); return 1 / (1 + r); } },
+        { name: "ackley-2d", space: realDims(2, -5, 5), budget: 70, note: "deceptive — flat rim, narrow centre",
+            f: (e) => { const x = vec(e, 2); const a = -20 * Math.exp(-0.2 * Math.sqrt((x[0] * x[0] + x[1] * x[1]) / 2)) - Math.exp((Math.cos(TAU * x[0]) + Math.cos(TAU * x[1])) / 2) + 20 + Math.E; return Math.exp(-a / 3); } },
+        { name: "rosenbrock-2d", space: realDims(2, -2, 2), budget: 130, note: "curved banana valley",
+            f: (e) => { const x = vec(e, 2); const r = 100 * (x[1] - x[0] * x[0]) ** 2 + (1 - x[0]) ** 2; return 1 / (1 + r); } },
+        { name: "griewank-2d", space: realDims(2, -8, 8), budget: 70, note: "wide + fine oscillation",
+            f: (e) => { const x = vec(e, 2); const s = (x[0] * x[0] + x[1] * x[1]) / 4000; const p = Math.cos(x[0] / Math.sqrt(1)) * Math.cos(x[1] / Math.sqrt(2)); return 1 / (1 + (s - p + 1)); } },
+        { name: "high-dim-5d", space: realDims(5), budget: 100, note: "5 variables — curse of dimensionality",
+            f: (e) => { const x = vec(e, 5); return Math.exp(-x.reduce((s, v) => s + v * v, 0) / 20); } },
+        { name: "needle-2d", space: realDims(2, -5, 5), budget: 90, note: "one sharp narrow peak in a flat plain",
+            f: (e) => { const x = vec(e, 2); const c0 = 2.3, c1 = -1.7; return Math.exp(-((x[0] - c0) ** 2 + (x[1] - c1) ** 2) / 0.8); } },
+    ];
+}
+/** Run the portfolio engine over every landscape × `seeds` seeds; return % of true optimum reached. */
+export async function reliabilityBench(seeds = 4) {
+    const results = [];
+    for (const L of landscapes()) {
+        const pcts = [];
+        for (let s = 1; s <= seeds; s++) {
+            const r = await reliableDiscover({ space: L.space, oracle: L.f, budget: L.budget, seed: s, goal: "maximize" });
+            pcts.push(Math.max(0, Math.min(1, r.best.value))); // optimum == 1, so best.value == % of optimum
+        }
+        const meanPct = pcts.reduce((a, b) => a + b, 0) / pcts.length;
+        results.push({ name: L.name, meanPct, minPct: Math.min(...pcts), note: L.note, budget: L.budget, seeds });
+    }
+    const worst = results.reduce((a, b) => (b.meanPct < a.meanPct ? b : a));
+    return { results, worst };
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+const BAR = 0.99; // every landscape must reach ≥ 99% of its true optimum (mean over seeds)
+const SEED_BAR = 0.97; // and no single seed may fall below 97% (no lucky-average hiding a bad run)
+export async function reliabilityGauntlet() {
+    const { results, worst } = await reliabilityBench(4);
+    const checks = results.map((r) => ({
+        name: r.name.toUpperCase(),
+        pass: r.meanPct >= BAR && r.minPct >= SEED_BAR,
+        detail: `reached ${(r.meanPct * 100).toFixed(1)}% of optimum (worst seed ${(r.minPct * 100).toFixed(1)}%) — ${r.note}`,
+    }));
+    const minMean = Math.min(...results.map((r) => r.meanPct)), minSeed = Math.min(...results.map((r) => r.minPct));
+    checks.push({ name: "EVERY-LANDSCAPE≥99%", pass: minMean >= BAR && minSeed >= SEED_BAR, detail: `worst mean = ${worst.name} ${(minMean * 100).toFixed(1)}%; worst single seed ${(minSeed * 100).toFixed(1)}%` });
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=reliability.js.map

package/dist/reliability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reliability.js","sourceRoot":"","sources":["../src/reliability.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAInD;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CAAC,KAAY,EAAE,MAAiC,EAAE,KAAiB,EAAE,KAAa,EAAE,OAAa,UAAU;IAC/H,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAClH,MAAM,KAAK,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,CAAC,CAAW,EAAc,EAAE,GAAG,MAAM,CAAC,GAAe,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACtI,MAAM,GAAG,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAK,+CAA+C;IAC7F,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,CAAC,GAAG,CAAC,CAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,0EAA0E;IAC1E,IAAI,GAAG,GAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;QAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC7K,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG,GAAG,EAAE,GAAG,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7I,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAU,uCAAuC;IACtF,OAAO,IAAI,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,EAAE,CAAC;QACR,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACnF,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC;YACf,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YAChF,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;gBAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAAC,CAAC;iBAAM,CAAC;gBAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAAC,CAAC;QAC7E,CAAC;aAAM,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC1B,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACnF,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC;gBAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAAC,CAAC;iBACxC,CAAC;gBAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;oBAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,CAAC;YAAC,CAAC;QACzJ,CAAC;IACH,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAqG;IAC1I,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACnF,MAAM,GAAG,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,YAAY,GAAG,YAAY,CAAC,CAAC;IAC3E,4CAA4C;IAC5C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IACvG,MAAM,GAAG,GAAkB,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxG,gEAAgE;IAChE,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACjF,MAAM,GAAG,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzJ,MAAM,GAAG,GAAG,CAAC,CAAW,EAAc,EAAE,GAAG,MAAM,CAAC,GAAe,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACvJ,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAAC,CAAC,IAAI,CAAC,CAAC;QAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACpJ,MAAM,GAAG,GAAG,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1I,iHAAiH;IACjH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACrF,IAAI,CAAC,GAAG,CAAC,CAAC;QAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAAC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,IAAI,EAAE,GAAG,IAAI;oBAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YAAC,CAAC;QAClM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;QAC7B,IAAI,KAAK,GAAoB,IAAI,EAAE,MAAM,GAAG,CAAC,QAAQ,CAAC;QACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAAC,MAAM,CAAC,GAAa,EAAE,CAAC;YAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAAC,IAAI,EAAE,GAAG,QAAQ,CAAC;YAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,GAAG,EAAE;oBAAE,EAAE,GAAG,CAAC,CAAC;YAAC,CAAC;YAAC,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC;gBAAC,MAAM,GAAG,EAAE,CAAC;gBAAC,KAAK,GAAG,CAAC,CAAC;YAAC,CAAC;QAAC,CAAC;QAC/S,IAAI,KAAK,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;IACrF,CAAC;IACD,IAAI,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5E,wDAAwD;IACxD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IACrF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,GAAG,YAAY,GAAG,WAAW,EAAE,IAAI,EAAE,CAAC;AACtG,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7J,MAAM,GAAG,GAAG,CAAC,CAAa,EAAE,CAAS,EAAY,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5G,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;AAExB,kHAAkH;AAClH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,4BAA4B;YACvF,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACzF,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,yBAAyB;YAClG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACxI,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,qCAAqC;YACrG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACxN,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,sBAAsB;YAC3F,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACvH,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,yBAAyB;YAC3F,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QAC3L,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,uCAAuC;YACnG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;QAC/F,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,uCAAuC;YACvG,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;KACjI,CAAC;AACJ,CAAC;AAID,uGAAuG;AACvG,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAK,GAAG,CAAC;IAC9C,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,gBAAgB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;YAC/G,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAG,8CAA8C;QACrG,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,iFAAiF;AACjF,MAAM,GAAG,GAAG,IAAI,CAAC,CAAQ,yEAAyE;AAClG,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAG,4EAA4E;AAErG,MAAM,CAAC,KAAK,UAAU,mBAAmB;IACvC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,MAAM,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE;QAC1B,IAAI,EAAE,CAAC,CAAC,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,MAAM,IAAI,QAAQ;QAC9C,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;KACvH,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAChH,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,OAAO,IAAI,GAAG,IAAI,OAAO,IAAI,QAAQ,EAAE,MAAM,EAAE,gBAAgB,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,wBAAwB,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACjN,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;AAClE,CAAC"}

package/dist/replay.d.ts

@@ -0,0 +1,62 @@
+/**
+ * REPLAY TOKEN — the auditor's time machine. When a regulated lab/bank gets audited, or a system behaves
+ * unexpectedly, the worst words are "we can't reproduce how that decision was reached." Melete's engines are
+ * fully DETERMINISTIC (seeded; no wall-clock, no randomness), so an analysis is exactly reproducible. The
+ * Replay Token captures everything needed to re-derive a verdict — the measured inputs, the goal — plus a
+ * per-step hash chain and an Ed25519 signature, in one self-contained, offline artifact.
+ *
+ * Hand the token to an auditor and they don't have to trust Melete (or you): they re-run it on their own
+ * machine and get a BYTE-IDENTICAL verdict, step by step (DISCOVER → DECIDE → DIAGNOSE). If even one input
+ * was altered, the signature fails; if the engine ever diverged, the replay names the exact step that
+ * differs. "Here is cryptographic proof of exactly how this decision was reached, re-derivable by anyone,
+ * forever, with no server."
+ *
+ * Honest by construction (DIAKRISIS): a Replay Token reproduces MELETE'S OWN analysis/decision from the
+ * signed inputs — it is the audit trail of the reasoning, NOT a recording of the customer's production RAM /
+ * network / environment (that is a different, kernel-level product). What it proves is real and exact:
+ * provenance (these inputs, this result, unaltered) + reproducibility (re-derivable offline, step by step).
+ */
+import { type KeyObject } from "node:crypto";
+import { type Space } from "./space.js";
+import { type Observation, type Goal } from "./engine.js";
+export interface ReplayStep {
+    name: string;
+    hash: string;
+}
+export interface ReplayToken {
+    standard: "melete-replay-token/v1";
+    space: Space;
+    goal: Goal;
+    observations: Observation[];
+    steps: ReplayStep[];
+    verdictHash: string;
+    signature: string;
+    publicKeyPem: string;
+    algo: "ed25519+sha256";
+    issuedAtMs: number;
+}
+/** Issue a self-contained, signed Replay Token for an analysis run. */
+export declare function issueReplayToken(obs: ReadonlyArray<Observation>, space: Space, goal?: Goal, opts?: {
+    keys?: {
+        privateKey: KeyObject;
+        publicKey: KeyObject;
+    };
+    issuedAtMs?: number;
+}): ReplayToken;
+export interface ReplayResult {
+    signatureValid: boolean;
+    reproduced: boolean;
+    firstDivergingStep: string | null;
+    reason: string;
+}
+/** Re-run a Replay Token OFFLINE: check its signature, then deterministically reproduce the verdict step-by-step. */
+export declare function replayToken(token: ReplayToken): ReplayResult;
+export declare function replayGauntlet(): {
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+        detail: string;
+    }>;
+};
+//# sourceMappingURL=replay.d.ts.map

package/dist/replay.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../src/replay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAwF,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AACnI,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAG1D,MAAM,WAAW,UAAU;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE;AAC1D,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,wBAAwB,CAAC;IACnC,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;IACX,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB;AA2BD,uEAAuE;AACvE,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,aAAa,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAE,IAAiB,EAAE,IAAI,GAAE;IAAE,IAAI,CAAC,EAAE;QAAE,UAAU,EAAE,SAAS,CAAC;QAAC,SAAS,EAAE,SAAS,CAAA;KAAE,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,WAAW,CAOhN;AAED,MAAM,WAAW,YAAY;IAAG,cAAc,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAEjI,qHAAqH;AACrH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,CAc5D;AAKD,wBAAgB,cAAc,IAAI;IAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CA4CnH"}