melete-ai 0.88.2

package/dist/territory.js

@@ -0,0 +1,102 @@
+function norm(space, e) {
+    return space.dims.map((d) => { const lo = d.min ?? 0, hi = d.max ?? 1; const span = hi - lo || 1; return Math.max(0, Math.min(1, ((+e[d.name] || 0) - lo) / span)); });
+}
+const dist = (a, b) => { let s = 0; for (let i = 0; i < a.length; i++)
+    s += (a[i] - b[i]) ** 2; return Math.sqrt(s); };
+const median = (xs) => { if (!xs.length)
+    return 0; const s = xs.slice().sort((a, b) => a - b); const m = s.length; return m % 2 ? s[(m - 1) / 2] : (s[m / 2 - 1] + s[m / 2]) / 2; };
+/** Is `proposal` a safe refinement inside the measured region, or a leap into unmeasured territory? */
+export function assessTerritory(proposal, obs, space) {
+    const hist = (obs ?? []).filter((o) => o && o.experiment);
+    if ((space?.dims?.length ?? 0) === 0 || hist.length < 3 || !proposal) {
+        return { classification: "unknown", noveltyScore: 0, nearestDist: 0, typicalDist: 0, note: "not enough measured points yet to judge" };
+    }
+    const pts = hist.map((o) => norm(space, o.experiment));
+    const p = norm(space, proposal);
+    const nearestDist = Math.min(...pts.map((q) => dist(p, q)));
+    // the data's own spacing: each point's distance to its nearest OTHER point
+    const nn = [];
+    for (let i = 0; i < pts.length; i++) {
+        let m = Infinity;
+        for (let j = 0; j < pts.length; j++) {
+            if (j !== i) {
+                const d = dist(pts[i], pts[j]);
+                if (d < m)
+                    m = d;
+            }
+        }
+        if (Number.isFinite(m))
+            nn.push(m);
+    }
+    const typicalDist = Math.max(1e-9, median(nn));
+    const noveltyScore = nearestDist / typicalDist;
+    const classification = noveltyScore < 1.5 ? "refine" : noveltyScore < 3 ? "explore" : "leap";
+    const note = classification === "refine" ? "a safe refinement — sits inside the region you've measured"
+        : classification === "explore" ? "a step outward — partly beyond your measured points"
+            : "a leap into unmeasured territory — the prediction here is largely a guess; proceed with care if the experiment is costly or risky";
+    return { classification, noveltyScore: +noveltyScore.toFixed(3), nearestDist: +nearestDist.toFixed(4), typicalDist: +typicalDist.toFixed(4), note };
+}
+/** Fraction of the search space that has been charted (a coarse grid; how many cells hold a measurement). */
+export function coverageScore(obs, space) {
+    const dims = space?.dims ?? [];
+    const D = dims.length;
+    const hist = (obs ?? []).filter((o) => o && o.experiment);
+    if (D === 0 || !hist.length)
+        return { coverage: 0, cells: 0, filled: 0 };
+    const per = Math.max(2, Math.min(6, Math.round(Math.pow(2000, 1 / D)))); // grid resolution, capped so cells stays sane
+    const cells = Math.round(Math.pow(per, D));
+    const seen = new Set();
+    for (const o of hist) {
+        const p = norm(space, o.experiment);
+        const key = p.map((v) => Math.min(per - 1, Math.floor(v * per))).join(",");
+        seen.add(key);
+    }
+    return { coverage: +(seen.size / cells).toFixed(4), cells, filled: seen.size };
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+import { lcg } from "./space.js";
+export function territoryGauntlet() {
+    const space = { dims: [{ name: "x", type: "real", min: 0, max: 1 }, { name: "y", type: "real", min: 0, max: 1 }] };
+    // measured data lives ONLY in the lower-left quarter [0,0.5]²
+    const rnd = lcg(17);
+    const obs = [];
+    for (let i = 0; i < 60; i++)
+        obs.push({ experiment: { x: rnd() * 0.5, y: rnd() * 0.5 }, value: 0 });
+    const inside = assessTerritory({ x: 0.25, y: 0.25 }, obs, space); // dead centre of the data → refine
+    const farLeap = assessTerritory({ x: 0.95, y: 0.95 }, obs, space); // opposite corner, far from all data → leap
+    const edge = assessTerritory({ x: 0.6, y: 0.6 }, obs, space); // just outside → explore-ish
+    const refineInside = inside.classification === "refine";
+    const leapFar = farLeap.classification === "leap";
+    const monotonic = farLeap.noveltyScore > edge.noveltyScore && edge.noveltyScore > inside.noveltyScore; // novelty grows with distance
+    // coverage: data in 1 quarter → low; data spread over the whole space → high
+    const covLow = coverageScore(obs, space).coverage < 0.35;
+    const rnd2 = lcg(4);
+    const full = [];
+    for (let i = 0; i < 400; i++)
+        full.push({ experiment: { x: rnd2(), y: rnd2() }, value: 0 });
+    const covHigh = coverageScore(full, space).coverage > 0.6;
+    // deterministic + abstain + total
+    const det = JSON.stringify(assessTerritory({ x: 0.95, y: 0.95 }, obs, space)) === JSON.stringify(assessTerritory({ x: 0.95, y: 0.95 }, obs, space));
+    const abstains = assessTerritory({ x: 0.5, y: 0.5 }, obs.slice(0, 2), space).classification === "unknown";
+    const total = (() => { try {
+        assessTerritory(null, obs, space);
+        assessTerritory({ x: 0 }, [], space);
+        coverageScore(null, space);
+        return true;
+    }
+    catch {
+        return false;
+    } })();
+    const checks = [
+        { name: "REFINE-INSIDE", pass: refineInside, detail: `a point inside the measured region is "refine" (novelty ${inside.noveltyScore})` },
+        { name: "LEAP-FAR", pass: leapFar, detail: `a point far beyond the data is "leap" (novelty ${farLeap.noveltyScore})` },
+        { name: "NOVELTY-MONOTONIC", pass: monotonic, detail: `novelty grows with distance from data (${inside.noveltyScore} < ${edge.noveltyScore} < ${farLeap.noveltyScore})` },
+        { name: "COVERAGE-LOW-WHEN-CLUSTERED", pass: covLow, detail: `data in one quarter → low coverage (${coverageScore(obs, space).coverage})` },
+        { name: "COVERAGE-HIGH-WHEN-SPREAD", pass: covHigh, detail: `data over the whole space → high coverage (${coverageScore(full, space).coverage})` },
+        { name: "DETERMINISTIC", pass: det, detail: "same proposal + data → same assessment" },
+        { name: "ABSTAINS-WHEN-THIN", pass: abstains, detail: "fewer than 3 measured points → unknown" },
+        { name: "TOTAL", pass: total, detail: "null / empty never throws" },
+    ];
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=territory.js.map

package/dist/territory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"territory.js","sourceRoot":"","sources":["../src/territory.ts"],"names":[],"mappings":"AA4BA,SAAS,IAAI,CAAC,KAAY,EAAE,CAAa;IACvC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,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,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzK,CAAC;AACD,MAAM,IAAI,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;AAC3I,MAAM,MAAM,GAAG,CAAC,EAAY,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,MAAM;IAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9L,uGAAuG;AACvG,MAAM,UAAU,eAAe,CAAC,QAAoB,EAAE,GAA+B,EAAE,KAAY;IACjG,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACrE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,yCAAyC,EAAE,CAAC;IACzI,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACvD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,2EAA2E;IAC3E,MAAM,EAAE,GAAa,EAAE,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;QAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,CAAC,GAAG,CAAC,CAAC;YAAC,CAAC;QAAC,CAAC;QAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1M,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,WAAW,GAAG,WAAW,CAAC;IAC/C,MAAM,cAAc,GAAG,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7F,MAAM,IAAI,GAAG,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,4DAA4D;QACrG,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,qDAAqD;YACtF,CAAC,CAAC,mIAAmI,CAAC;IACxI,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;AACtJ,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,aAAa,CAAC,GAA+B,EAAE,KAAY;IACzE,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,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACzE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAG,8CAA8C;IACzH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAAC,CAAC;IACzJ,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,iFAAiF;AACjF,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,iBAAiB;IAC/B,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;IAC1H,8DAA8D;IAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,GAAG,GAAkB,EAAE,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAEpG,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAG,mCAAmC;IACvG,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAE,4CAA4C;IAChH,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAO,6BAA6B;IAEjG,MAAM,YAAY,GAAG,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC;IAClD,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,CAAE,8BAA8B;IACtI,6EAA6E;IAC7E,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;IACzD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,IAAI,GAAkB,EAAE,CAAC;IAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACjJ,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC;IAC1D,kCAAkC;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACpJ,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC;IAC1G,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,eAAe,CAAC,IAAa,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,aAAa,CAAC,IAAa,EAAE,KAAK,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEhM,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,2DAA2D,MAAM,CAAC,YAAY,GAAG,EAAE;QACxI,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,kDAAkD,OAAO,CAAC,YAAY,GAAG,EAAE;QACtH,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,0CAA0C,MAAM,CAAC,YAAY,MAAM,IAAI,CAAC,YAAY,MAAM,OAAO,CAAC,YAAY,GAAG,EAAE;QACzK,EAAE,IAAI,EAAE,6BAA6B,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,uCAAuC,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,EAAE;QAC3I,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,8CAA8C,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,EAAE;QAClJ,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,wCAAwC,EAAE;QACtF,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,wCAAwC,EAAE;QAChG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE;KACpE,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/trace.d.ts

@@ -0,0 +1,58 @@
+/**
+ * DISCOVERY TRACE — the moat. A signed, hash-chained, offline-verifiable record of HOW a discovery was
+ * made: every hypothesis (proposed experiment + the brain's rationale), every observation, every update,
+ * in causal order. Anyone — a reviewer, a regulator, a journal, an acquirer, a competitor — can verify
+ * OFFLINE, with the public key alone (no Melete, no network, no shared secret), that:
+ *   • the trace was produced by the holder of the private key (Ed25519 signatures),
+ *   • not one frame was altered or reordered (a sha-256 hash chain: each frame commits to the previous),
+ *   • and, given the same seed + oracle, the run reproduces exactly (the engine is deterministic).
+ *
+ * Self-driving labs and Bayesian optimisation exist; a CRYPTOGRAPHIC, reproducible PROVENANCE-OF-DISCOVERY
+ * trail does not. That is the composition Melete owns: discovery you can prove, not just discovery.
+ */
+import { type KeyObject } from "node:crypto";
+export type FrameKind = "genesis" | "hypothesis" | "observation" | "result";
+export interface Frame {
+    seq: number;
+    kind: FrameKind;
+    payload: unknown;
+    prevHash: string;
+    hash: string;
+    sig: string;
+}
+export interface SignedTrace {
+    publicKeyPem: string;
+    algo: "ed25519+sha256-chain";
+    frames: Frame[];
+}
+/** A tamper-evident recorder. Holds a private key; every record() appends a signed, chained frame. */
+export declare class Tracer {
+    private priv;
+    private pub;
+    private frames;
+    private prev;
+    constructor(keys?: {
+        privateKey: KeyObject;
+        publicKey: KeyObject;
+    });
+    record(kind: FrameKind, payload: unknown): Frame;
+    get publicKeyPem(): string;
+    export(): SignedTrace;
+}
+export interface VerifyResult {
+    ok: boolean;
+    frames: number;
+    brokenAt: number | null;
+    reason: string;
+}
+/** Re-verify a trace OFFLINE with the embedded public key: signatures + hash chain + ordering. */
+export declare function verifyTrace(trace: SignedTrace): VerifyResult;
+export declare function traceGauntlet(): {
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+        detail: string;
+    }>;
+};
+//# sourceMappingURL=trace.d.ts.map

package/dist/trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../src/trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAwF,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAEnI,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,aAAa,GAAG,QAAQ,CAAC;AAC5E,MAAM,WAAW,KAAK;IAAG,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE;AACtH,MAAM,WAAW,WAAW;IAAG,YAAY,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,sBAAsB,CAAC;IAAC,MAAM,EAAE,KAAK,EAAE,CAAA;CAAE;AAMpG,sGAAsG;AACtG,qBAAa,MAAM;IACjB,OAAO,CAAC,IAAI,CAAY;IAAC,OAAO,CAAC,GAAG,CAAY;IAAC,OAAO,CAAC,MAAM,CAAe;IAAC,OAAO,CAAC,IAAI,CAAkB;gBACjG,IAAI,CAAC,EAAE;QAAE,UAAU,EAAE,SAAS,CAAC;QAAC,SAAS,EAAE,SAAS,CAAA;KAAE;IAKlE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,GAAG,KAAK;IAOhD,IAAI,YAAY,IAAI,MAAM,CAAwE;IAClG,MAAM,IAAI,WAAW;CACtB;AAED,MAAM,WAAW,YAAY;IAAG,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACtG,kGAAkG;AAClG,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,YAAY,CAiB5D;AAGD,wBAAgB,aAAa,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,CAyBlH"}

package/dist/trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.js","sourceRoot":"","sources":["../src/trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,mBAAmB,EAAE,IAAI,IAAI,MAAM,EAAE,MAAM,IAAI,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAkB,MAAM,aAAa,CAAC;AAMnI,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC3E,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,OAAgB,EAAE,QAAgB,EAAE,EAAE,CAClF,MAAM,CAAC,GAAG,GAAG,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;AAE1E,sGAAsG;AACtG,MAAM,OAAO,MAAM;IACT,IAAI,CAAY;IAAS,GAAG,CAAY;IAAS,MAAM,GAAY,EAAE,CAAC;IAAS,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC7G,YAAY,IAAsD;QAChE,IAAI,IAAI,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;YAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;QAAC,CAAC;aAChE,CAAC;YAAC,MAAM,EAAE,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;YAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC;YAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC;QAAC,CAAC;QACvG,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,sBAAsB,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,CAAC,IAAe,EAAE,OAAgB;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAC/B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACjF,MAAM,KAAK,GAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC5E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QAAC,OAAO,KAAK,CAAC;IAC1D,CAAC;IACD,IAAI,YAAY,KAAa,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,KAAkB,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;CAC9H;AAGD,kGAAkG;AAClG,MAAM,UAAU,WAAW,CAAC,KAAkB;IAC5C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;QAAC,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;QAC/H,IAAI,GAAc,CAAC;QAAC,IAAI,CAAC;YAAC,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QAAC,CAAC;QACpK,IAAI,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;YAC5H,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,mCAAmC,EAAE,CAAC;YACzI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,kCAAkC,EAAE,CAAC;YACjI,IAAI,KAAK,GAAG,KAAK,CAAC;YAAC,IAAI,CAAC;gBAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,KAAK,GAAG,KAAK,CAAC;YAAC,CAAC;YAC1I,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,6BAA6B,EAAE,CAAC;YACtH,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,0CAA0C,EAAE,CAAC;IACjH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAkB,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;IAAC,CAAC;AAC5I,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa;IAC3B,MAAM,CAAC,GAAG,IAAI,MAAM,EAAE,CAAC;IACvB,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAChF,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IAClF,iBAAiB;IACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAgB,CAAC;IAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAkC,CAAC,KAAK,GAAG,IAAI,CAAC;IACvI,MAAM,YAAY,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC;IAChG,UAAU;IACV,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAgB,CAAC;IAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5J,MAAM,aAAa,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;IAC1D,6DAA6D;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAgB,CAAC;IAAC,MAAM,CAAC,YAAY,GAAG,IAAI,MAAM,EAAE,CAAC,YAAY,CAAC;IACjH,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,WAAW,CAAC,IAAa,CAAC,CAAC;QAAC,WAAW,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,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;IAClL,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,gFAAgF,EAAE;QACjI,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,qEAAqE,EAAE;QAC7H,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,6CAA6C,EAAE;QACvG,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,kEAAkE,EAAE;QAC1H,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE;KAClE,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/transfer.d.ts

@@ -0,0 +1,46 @@
+/**
+ * TRANSFER / WARM-START — the brain that remembers, and gets smarter every time. Real labs don't optimize a
+ * brand-new process from scratch each morning; they run things that RHYME with what they ran before — the
+ * same assay on a new compound, the same kiln with a new clay, the same model on a new dataset. A
+ * from-scratch optimizer throws that history away and re-discovers the obvious. TRANSFER doesn't: it mines a
+ * prior run for the regions that worked and starts the new search THERE, so you spend your first precious
+ * experiments near the answer instead of wandering.
+ *
+ * warmStartSeeds pulls the diverse high-value settings out of a prior run; transferDiscover evaluates those
+ * first on the new process, then continues the normal propose-measure loop. When the new problem is similar
+ * to the old one, you reach a strong result in far fewer NEW experiments.
+ *
+ * Honest by construction (DIAKRISIS): transfer helps to the extent the new problem RESEMBLES the prior one —
+ * the seeds are the prior's promising regions, re-measured on the new process (never assumed). If the new
+ * optimum has moved far away, the seeds simply don't score well and the normal search takes over — no harm,
+ * no false speed-up. The gauntlet measures the advantage on a genuinely similar problem, head-to-head
+ * against a cold start; it abstains (falls back to cold) when there's no usable prior.
+ */
+import { type Space, type Experiment } from "./space.js";
+import { type Observation, type Goal } from "./engine.js";
+/** The diverse, high-value settings from a prior run — the regions worth re-checking on a similar new process. */
+export declare function warmStartSeeds(priorObs: ReadonlyArray<Observation>, space: Space, goal?: Goal, k?: number): Experiment[];
+export interface TransferResult {
+    best: Observation;
+    evaluations: number;
+    warmStarted: boolean;
+    obs: Observation[];
+}
+/** Run a discovery on a NEW process, warm-started from a prior (similar) run's promising regions. */
+export declare function transferDiscover(opts: {
+    space: Space;
+    oracle: (e: Experiment) => number;
+    priorObs?: ReadonlyArray<Observation>;
+    budget: number;
+    goal?: Goal;
+    seed?: number;
+}): TransferResult;
+export declare function transferGauntlet(): {
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+        detail: string;
+    }>;
+};
+//# sourceMappingURL=transfer.d.ts.map

package/dist/transfer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transfer.d.ts","sourceRoot":"","sources":["../src/transfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAK1D,kHAAkH;AAClH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAE,IAAiB,EAAE,CAAC,SAAI,GAAG,UAAU,EAAE,CAe/H;AAED,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,WAAW,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,WAAW,EAAE,CAAA;CAAE;AAEpH,qGAAqG;AACrG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,cAAc,CAY7L;AAKD,wBAAgB,gBAAgB,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,CA6CrH"}

package/dist/transfer.js

@@ -0,0 +1,112 @@
+import { proposeNext } from "./interactive.js";
+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); };
+/** The diverse, high-value settings from a prior run — the regions worth re-checking on a similar new process. */
+export function warmStartSeeds(priorObs, space, goal = "maximize", k = 4) {
+    const dims = space?.dims ?? [];
+    const D = dims.length;
+    const hist = (priorObs ?? []).filter((o) => o && o.experiment && Number.isFinite(o.value));
+    if (!D || !hist.length)
+        return [];
+    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 ranked = hist.map((o) => ({ o, p: toN(o.experiment), v: sgn * o.value })).sort((a, b) => b.v - a.v);
+    const kept = [];
+    const seeds = [];
+    for (const r of ranked) {
+        if (kept.some((p) => dst(p, r.p) < 0.2))
+            continue; // keep them genuinely different
+        kept.push(r.p);
+        seeds.push(r.o.experiment);
+        if (seeds.length >= Math.max(1, Math.min(16, Math.floor(k))))
+            break;
+    }
+    return seeds;
+}
+/** Run a discovery on a NEW process, warm-started from a prior (similar) run's promising regions. */
+export function transferDiscover(opts) {
+    const goal = opts.goal ?? "maximize";
+    const sgn = goal === "minimize" ? -1 : 1;
+    const budget = Math.max(1, Math.floor(opts.budget));
+    const seed = (opts.seed ?? 1) | 0;
+    const obs = [];
+    let best = { experiment: {}, value: goal === "minimize" ? Infinity : -Infinity };
+    const take = (e) => { const v = opts.oracle(e); const o = { experiment: e, value: v }; obs.push(o); if (sgn * v > sgn * best.value)
+        best = o; };
+    const seeds = warmStartSeeds(opts.priorObs ?? [], opts.space, goal, Math.ceil(budget / 2));
+    const warmStarted = seeds.length > 0;
+    for (const s of seeds) {
+        if (obs.length >= budget)
+            break;
+        take(s);
+    }
+    while (obs.length < budget) {
+        take(proposeNext(opts.space, obs, goal, seed + obs.length));
+    }
+    return { best, evaluations: obs.length, warmStarted, obs };
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+import { lcg } from "./space.js";
+export function transferGauntlet() {
+    const space = { dims: [{ name: "x", type: "real", min: 0, max: 1 }, { name: "y", type: "real", min: 0, max: 1 }] };
+    // a NARROW peak — hard to find cold in a small budget, easy if you already know roughly where it is
+    const peakAt = (cx, cy) => (x, y) => Math.exp(-(((x - cx) ** 2) + ((y - cy) ** 2)) / 0.004);
+    const f1 = peakAt(0.70, 0.70); // the PRIOR process
+    const f2 = peakAt(0.73, 0.72); // the NEW process — SIMILAR (optimum nearby)
+    // a prior run that found f1's peak
+    const rp = lcg(11);
+    const prior = [];
+    for (let i = 0; i < 40; i++) {
+        const x = rp(), y = rp();
+        prior.push({ experiment: { x, y }, value: f1(x, y) });
+    }
+    for (let i = 0; i < 6; i++)
+        prior.push({ experiment: { x: 0.70 + (rp() - 0.5) * 0.04, y: 0.70 + (rp() - 0.5) * 0.04 }, value: f1(0.70, 0.70) });
+    const B = 10;
+    const cold = transferDiscover({ space, oracle: (e) => f2(e.x ?? 0, e.y ?? 0), budget: B, goal: "maximize", seed: 3 });
+    const warm = transferDiscover({ space, oracle: (e) => f2(e.x ?? 0, e.y ?? 0), priorObs: prior, budget: B, goal: "maximize", seed: 3 });
+    const warmFaster = warm.best.value > cold.best.value + 0.05; // at a small budget, warm reaches a better result
+    const warmGood = warm.best.value > 0.7; // it actually nails the new (nearby) peak
+    const usedSeeds = warm.warmStarted && !cold.warmStarted;
+    const seeds = warmStartSeeds(prior, space, "maximize", 4);
+    const seedNearPrior = seeds.some((s) => Math.abs((s.x ?? 0) - 0.70) < 0.1 && Math.abs((s.y ?? 0) - 0.70) < 0.1);
+    // diverse seeds on a two-region prior
+    const rp2 = lcg(5);
+    const prior2 = [];
+    for (let i = 0; i < 40; i++) {
+        const x = rp2(), y = rp2();
+        const v = Math.max(peakAt(0.2, 0.2)(x, y), peakAt(0.8, 0.8)(x, y));
+        prior2.push({ experiment: { x, y }, value: v });
+    }
+    for (let i = 0; i < 6; i++) {
+        prior2.push({ experiment: { x: 0.2, y: 0.2 }, value: 1 });
+        prior2.push({ experiment: { x: 0.8, y: 0.8 }, value: 1 });
+    }
+    const seeds2 = warmStartSeeds(prior2, space, "maximize", 4);
+    const seedsDiverse = seeds2.length >= 2 && Math.abs((seeds2[0].x ?? 0) - (seeds2[1].x ?? 0)) > 0.4;
+    const noPrior = transferDiscover({ space, oracle: (e) => f2(e.x ?? 0, e.y ?? 0), budget: B, goal: "maximize", seed: 3 });
+    const fallsBack = noPrior.warmStarted === false && noPrior.evaluations === B;
+    const det = transferDiscover({ space, oracle: (e) => f2(e.x ?? 0, e.y ?? 0), priorObs: prior, budget: B, seed: 3 }).best.value === warm.best.value;
+    const total = (() => { try {
+        warmStartSeeds([], space);
+        transferDiscover({ space, oracle: () => 0, budget: 3 });
+        warmStartSeeds(null, { dims: [] });
+        return true;
+    }
+    catch {
+        return false;
+    } })();
+    const checks = [
+        { name: "WARM-START-FASTER", pass: warmFaster, detail: `at budget ${B}: warm best ${warm.best.value.toFixed(3)} > cold best ${cold.best.value.toFixed(3)}` },
+        { name: "REACHES-NEW-OPTIMUM", pass: warmGood, detail: `warm start nails the nearby new peak (${warm.best.value.toFixed(3)})` },
+        { name: "USES-PRIOR-SEEDS", pass: usedSeeds, detail: "warm run is seeded from prior; cold run isn't" },
+        { name: "SEEDS-NEAR-PRIOR-OPTIMUM", pass: seedNearPrior, detail: "the seeds include the prior's best region (≈0.70,0.70)" },
+        { name: "SEEDS-DIVERSE", pass: seedsDiverse, detail: `two-region prior → spread-out seeds (x ${seeds2[0]?.x?.toFixed(2)} vs ${seeds2[1]?.x?.toFixed(2)})` },
+        { name: "FALLS-BACK-WHEN-NO-PRIOR", pass: fallsBack, detail: "no prior → ordinary cold start, no false speed-up" },
+        { name: "DETERMINISTIC", pass: det, detail: "same prior + seed → same result" },
+        { name: "TOTAL", pass: total, detail: "empty / null / no-dims never throws" },
+    ];
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=transfer.js.map

package/dist/transfer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transfer.js","sourceRoot":"","sources":["../src/transfer.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,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,kHAAkH;AAClH,MAAM,UAAU,cAAc,CAAC,QAAoC,EAAE,KAAY,EAAE,OAAa,UAAU,EAAE,CAAC,GAAG,CAAC;IAC/G,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC;IAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,MAAM,IAAI,GAAG,CAAC,QAAQ,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;IAC3F,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAClC,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,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,IAAI,GAAe,EAAE,CAAC;IAAC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;YAAE,SAAS,CAAU,gCAAgC;QAC5F,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,MAAM;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAID,qGAAqG;AACrG,MAAM,UAAU,gBAAgB,CAAC,IAA4I;IAC3K,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC;IAAC,MAAM,GAAG,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACvF,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,IAAI,IAAI,GAAgB,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9F,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK;QAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5J,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QAAC,IAAI,GAAG,CAAC,MAAM,IAAI,MAAM;YAAE,MAAM;QAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IACpE,OAAO,GAAG,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;QAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAAC,CAAC;IAC5F,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;AAC7D,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;IAC1H,oGAAoG;IACpG,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAU,EAAE,EAAE,CAAC,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC5H,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAG,oBAAoB;IACrD,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAG,6CAA6C;IAE9E,mCAAmC;IACnC,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,KAAK,GAAkB,EAAE,CAAC;IACpD,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,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACjH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAEhJ,MAAM,CAAC,GAAG,EAAE,CAAC;IACb,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACtH,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAEvI,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAK,kDAAkD;IACnH,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,CAA0B,0CAA0C;IAC3G,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;IAExD,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;IAChH,sCAAsC;IACtC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACjL,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACrJ,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAEnG,MAAM,OAAO,GAAG,gBAAgB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACzH,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,KAAK,KAAK,IAAI,OAAO,CAAC,WAAW,KAAK,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;IACnJ,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAAC,gBAAgB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,cAAc,CAAC,IAAa,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;IAE1M,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5J,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,yCAAyC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE;QAC/H,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,+CAA+C,EAAE;QACtG,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,wDAAwD,EAAE;QAC3H,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,0CAA0C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE;QAC3J,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,mDAAmD,EAAE;QAClH,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,iCAAiC,EAAE;QAC/E,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/twin.d.ts

@@ -0,0 +1,41 @@
+/**
+ * WHAT-IF TWIN — let anyone poke the result without paying for an experiment. Once Melete has watched your
+ * process a few times, it has effectively learned a cheap stand-in for it — a digital twin. So a
+ * non-technical user can simply ask "what if I set the temperature to 90 and the dose to 19?" and get an
+ * instant predicted score — together with the one thing every other predictor hides: HOW MUCH TO TRUST IT.
+ *
+ * Near settings you've actually measured, the twin is confident and accurate. Far from your data it says so
+ * out loud — "this is a guess" — instead of pretending. That honesty is the whole point: a prediction you
+ * can't trust is worse than no prediction, so the twin grades its own confidence by how close your question
+ * is to real evidence.
+ *
+ * Honest by construction (DIAKRISIS): the prediction is inverse-distance interpolation of your real
+ * measurements (it can't conjure structure that isn't in the data), and confidence is graded purely by
+ * distance to the nearest evidence relative to your data's own spacing. The gauntlet proves it with
+ * leave-one-out cross-validation (accurate where data is dense) AND that it flags far-away queries as
+ * guesses (honest where data is absent). It abstains entirely when there's too little data to stand in for
+ * anything.
+ */
+import { type Space, type Experiment } from "./space.js";
+import { type Observation } from "./engine.js";
+export interface WhatIfReport {
+    predicted: number;
+    confidence: "measured" | "confident" | "rough" | "guess" | "unknown";
+    uncertainty: number;
+    nearestKnown: {
+        distance: number;
+        value: number;
+    } | null;
+    note: string;
+}
+/** Predict the score at a proposed setting from the measurements so far, with an honest confidence grade. */
+export declare function predictAt(obs: ReadonlyArray<Observation>, space: Space, query: Experiment): WhatIfReport;
+export declare function twinGauntlet(): {
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+        detail: string;
+    }>;
+};
+//# sourceMappingURL=twin.d.ts.map

package/dist/twin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"twin.d.ts","sourceRoot":"","sources":["../src/twin.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,UAAU,GAAG,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC;IACrE,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACzD,IAAI,EAAE,MAAM,CAAC;CACd;AAID,6GAA6G;AAC7G,wBAAgB,SAAS,CAAC,GAAG,EAAE,aAAa,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,GAAG,YAAY,CAkCxG;AAKD,wBAAgB,YAAY,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,CA4CjH"}

package/dist/twin.js

@@ -0,0 +1,116 @@
+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); };
+/** Predict the score at a proposed setting from the measurements so far, with an honest confidence grade. */
+export function predictAt(obs, space, query) {
+    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 < 4 || !query) {
+        return { predicted: NaN, confidence: "unknown", uncertainty: NaN, nearestKnown: null, note: `need ≈4+ measurements before the twin can predict (have ${n})` };
+    }
+    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 npts = hist.map((o) => toN(o.experiment));
+    const vals = hist.map((o) => o.value);
+    const q = toN(query);
+    // inverse-distance-weighted prediction (Shepard)
+    let sw = 0, swv = 0, dmin = Infinity, nearVal = vals[0];
+    for (let i = 0; i < n; i++) {
+        const d = dst(q, npts[i]);
+        if (d < dmin) {
+            dmin = d;
+            nearVal = vals[i];
+        }
+        const w = 1 / (d * d + 1e-9);
+        sw += w;
+        swv += w * vals[i];
+    }
+    const predicted = swv / sw;
+    // data's own spacing: median nearest-neighbour distance
+    const nn = [];
+    for (let i = 0; i < n; i++) {
+        let m = Infinity;
+        for (let j = 0; j < n; j++)
+            if (j !== i)
+                m = Math.min(m, dst(npts[i], npts[j]));
+        nn.push(m);
+    }
+    const sortedNN = nn.slice().sort((a, b) => a - b);
+    const spacing = Math.max(1e-6, sortedNN[Math.floor(sortedNN.length / 2)]);
+    const vRange = Math.max(1e-9, Math.max(...vals) - Math.min(...vals));
+    const ratio = dmin / spacing; // how far the query is, in units of normal spacing
+    const uncertainty = +(vRange * (1 - Math.exp(-(ratio * ratio) / 2))).toFixed(4);
+    const confidence = ratio < 0.4 ? "measured" : ratio < 1.2 ? "confident" : ratio < 2.5 ? "rough" : "guess";
+    const f = (x) => (Math.abs(x) < 1 ? +x.toFixed(3) : +x.toFixed(2));
+    const note = confidence === "measured" ? `≈ ${f(predicted)} — you've measured almost exactly here, so this is reliable`
+        : confidence === "confident" ? `≈ ${f(predicted)} ± ${f(uncertainty)} — close to settings you've tested, fairly reliable`
+            : confidence === "rough" ? `≈ ${f(predicted)} ± ${f(uncertainty)} — a rough estimate; you haven't tested near here`
+                : `≈ ${f(predicted)} but this is a GUESS — far from anything you've measured; test it before trusting it`;
+    return { predicted: +predicted.toFixed(6), confidence, uncertainty, nearestKnown: { distance: +dmin.toFixed(4), value: +nearVal.toFixed(6) }, note };
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+import { lcg } from "./space.js";
+export function twinGauntlet() {
+    const space = { dims: [{ name: "x", type: "real", min: 0, max: 1 }, { name: "y", type: "real", min: 0, max: 1 }] };
+    const f = (x, y) => 0.5 * (x + y) + 0.15 * Math.sin(3 * x); // smooth, spans a clear range
+    const rnd = lcg(13);
+    const obs = [];
+    for (let i = 0; i < 90; i++) {
+        const x = rnd(), y = rnd();
+        obs.push({ experiment: { x, y }, value: f(x, y) });
+    }
+    // ACCURATE-IN-REGION: leave-one-out cross-validation — predict each point from the OTHERS, mean error small
+    let sumErr = 0, cnt = 0;
+    for (let i = 0; i < obs.length; i += 3) {
+        const rest = obs.filter((_, j) => j !== i);
+        const r = predictAt(rest, space, obs[i].experiment);
+        if (Number.isFinite(r.predicted)) {
+            sumErr += Math.abs(r.predicted - obs[i].value);
+            cnt++;
+        }
+    }
+    const cvErr = sumErr / cnt;
+    const accurate = cvErr < 0.05;
+    // CONFIDENT-NEAR-DATA: query an actual measured point → high confidence + prediction ≈ truth
+    const probe = obs[10];
+    const near = predictAt(obs, space, probe.experiment);
+    const confidentNear = (near.confidence === "measured" || near.confidence === "confident") && Math.abs(near.predicted - probe.value) < 0.05;
+    // HONEST-FAR: a query far outside the sampled cloud → flagged a guess, big uncertainty
+    // (sample only the lower-left; ask about the far corner)
+    const corner = [];
+    const r2 = lcg(4);
+    for (let i = 0; i < 60; i++) {
+        const x = r2() * 0.3, y = r2() * 0.3;
+        corner.push({ experiment: { x, y }, value: f(x, y) });
+    }
+    const far = predictAt(corner, space, { x: 0.95, y: 0.95 });
+    const honestFar = far.confidence === "guess" && far.uncertainty > 0.05;
+    // MONOTONE-UNCERTAINTY: farther from data → not-smaller uncertainty
+    const u1 = predictAt(corner, space, { x: 0.2, y: 0.2 }).uncertainty;
+    const u2 = predictAt(corner, space, { x: 0.6, y: 0.6 }).uncertainty;
+    const u3 = predictAt(corner, space, { x: 0.95, y: 0.95 }).uncertainty;
+    const monotone = u2 >= u1 - 1e-9 && u3 >= u2 - 1e-9;
+    const det = JSON.stringify(predictAt(obs, space, { x: 0.5, y: 0.5 })) === JSON.stringify(predictAt(obs, space, { x: 0.5, y: 0.5 }));
+    const abstains = predictAt(obs.slice(0, 3), space, { x: 0.5, y: 0.5 }).confidence === "unknown";
+    const total = (() => { try {
+        predictAt(null, space, { x: 0 });
+        predictAt([], space, { x: 0 });
+        predictAt(obs, space, null);
+        return true;
+    }
+    catch {
+        return false;
+    } })();
+    const checks = [
+        { name: "ACCURATE-IN-REGION", pass: accurate, detail: `leave-one-out mean error ${cvErr.toFixed(4)} < 0.05` },
+        { name: "CONFIDENT-NEAR-DATA", pass: confidentNear, detail: `at a measured point → "${near.confidence}", predicted ${near.predicted.toFixed(3)} vs true ${probe.value.toFixed(3)}` },
+        { name: "HONEST-WHEN-FAR", pass: honestFar, detail: `far corner → "${far.confidence}" (±${far.uncertainty}) — owns up that it's guessing` },
+        { name: "UNCERTAINTY-GROWS-WITH-DISTANCE", pass: monotone, detail: `± rises as you leave the data (${u1} → ${u2} → ${u3})` },
+        { name: "DETERMINISTIC", pass: det, detail: "same query → same prediction" },
+        { name: "ABSTAINS-WHEN-THIN", pass: abstains, detail: "too few measurements → unknown" },
+        { name: "TOTAL", pass: total, detail: "null / empty / null-query never throws" },
+    ];
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=twin.js.map

package/dist/twin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"twin.js","sourceRoot":"","sources":["../src/twin.ts"],"names":[],"mappings":"AA6BA,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,6GAA6G;AAC7G,MAAM,UAAU,SAAS,CAAC,GAA+B,EAAE,KAAY,EAAE,KAAiB;IACxF,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,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,2DAA2D,CAAC,GAAG,EAAE,CAAC;IAChK,CAAC;IACD,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,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IAErB,iDAAiD;IACjD,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,EAAE,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,CAAC,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAAC,EAAE,IAAI,CAAC,CAAC;QAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IACpK,MAAM,SAAS,GAAG,GAAG,GAAG,EAAE,CAAC;IAE3B,wDAAwD;IACxD,MAAM,EAAE,GAAa,EAAE,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;QAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,KAAK,CAAC;gBAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC9I,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAErE,MAAM,KAAK,GAAG,IAAI,GAAG,OAAO,CAAC,CAAmC,mDAAmD;IACnH,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,UAAU,GAA+B,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACtI,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,UAAU,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,6DAA6D;QACrH,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,qDAAqD;YACzH,CAAC,CAAC,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,mDAAmD;gBACnH,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,sFAAsF,CAAC;IAC5G,OAAO,EAAE,SAAS,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;AACvJ,CAAC;AAED,iFAAiF;AACjF,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,UAAU,YAAY;IAC1B,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;IAC1H,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAG,8BAA8B;IAC5G,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,GAAG,GAAkB,EAAE,CAAC;IACnD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAEhH,4GAA4G;IAC5G,IAAI,MAAM,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAAC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAAC,GAAG,EAAE,CAAC;QAAC,CAAC;IAAC,CAAC;IACzO,MAAM,KAAK,GAAG,MAAM,GAAG,GAAG,CAAC;IAC3B,MAAM,QAAQ,GAAG,KAAK,GAAG,IAAI,CAAC;IAE9B,6FAA6F;IAC7F,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,WAAW,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IAE3I,uFAAuF;IACvF,yDAAyD;IACzD,MAAM,MAAM,GAAkB,EAAE,CAAC;IAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAC7H,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,KAAK,OAAO,IAAI,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC;IAEvE,oEAAoE;IACpE,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC;IACpE,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC;IACpE,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,CAAC;IACtE,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAEpD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACpI,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC;IAChG,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,SAAS,CAAC,IAAa,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,IAAa,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE1L,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,4BAA4B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE;QAC7G,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,IAAI,CAAC,UAAU,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACpL,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,GAAG,CAAC,UAAU,OAAO,GAAG,CAAC,WAAW,gCAAgC,EAAE;QAC3I,EAAE,IAAI,EAAE,iCAAiC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,kCAAkC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE;QAC5H,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,8BAA8B,EAAE;QAC5E,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gCAAgC,EAAE;QACxF,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,wCAAwC,EAAE;KACjF,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/examples/train.mjs

@@ -0,0 +1,8 @@
+// A stand-in for YOUR real process (a trainer, a simulator, a benchmark). It takes parameters and prints
+// ONE number — the score. Melete never sees inside; it only reads the number. No dataset needed up front.
+const a = process.argv.slice(2);
+const get = (k, d) => { const i = a.indexOf("--" + k); return i >= 0 ? +a[i + 1] : d; };
+const lr = get("lr", 0.01), depth = get("depth", 6);
+// pretend "accuracy" peaks at lr=0.03, depth=8 (in reality this is your real measured result)
+const accuracy = 0.95 - 8 * (lr - 0.03) ** 2 - 0.004 * (depth - 8) ** 2;
+console.log(accuracy.toFixed(5));   // ← the only thing Melete reads

package/examples/tune.mjs

@@ -0,0 +1,11 @@
+// Connect Melete to the real process above — NO dataset, NO formula. Melete proposes params, runs the
+// script, reads the score, and converges to the best params with a signed trace.
+import { discoverSigned, cliOracle, verifyTrace } from "melete-ai";
+const space = { dims: [
+  { name: "lr",    type: "real", min: 0.001, max: 0.1 },
+  { name: "depth", type: "int",  min: 1,     max: 12  },
+]};
+const oracle = cliOracle(e => `node examples/train.mjs --lr ${e.lr} --depth ${e.depth}`);  // runs YOUR process
+const { result, trace } = await discoverSigned({ space, oracle, budget: 25, goal: "maximize", engine: "portfolio" });
+console.log("best params:", result.best.experiment, "→ score", result.best.value.toFixed(5));
+console.log("experiments run:", result.evaluations, "· trace verified:", verifyTrace(trace).ok);