melete-ai 0.88.2

package/dist/noiserobust.js

@@ -0,0 +1,215 @@
+/**
+ * 🛰 NOISE-ROBUST DISCOVERY — the engine that doesn't get fooled by luck.
+ *
+ * Every ordinary optimizer trusts the single highest reading it ever saw. In a deterministic lab that's fine.
+ * But run Melete as a 24/7 service on a real system — a satellite link in a solar storm, a database under a
+ * traffic spike, an assay with batch-to-batch drift — and the measurements are NOISY: the SAME setting can
+ * read 99% one second and 40% the next. A naive optimizer locks onto a setting that got one lucky high
+ * reading and then collapses in production. That is the single most expensive failure mode in real Bayesian
+ * optimization.
+ *
+ * NOISE-ROBUST fixes it the honest way:
+ *   1. REPLICATE — it re-measures each candidate several times to estimate not just the mean μ but the
+ *      spread σ. Noise is HETEROSCEDASTIC (different in different regions), so σ is estimated PER POINT from
+ *      that point's own replicates — never assumed global.
+ *   2. RACE (LUCB) — it spends extra measurements where it matters: tightening the confidence interval of the
+ *      current leader and its closest challenger, so the winner is decided by evidence, not by a single fluke.
+ *   3. SELECT BY TRUST — the winner is the point with the highest LOWER confidence bound (μ − z·σ/√n): the
+ *      value you can actually rely on. A lucky spike with huge σ has a low LCB and loses; a genuinely good,
+ *      quiet setting wins. It also reports the "lucky max" (the naive answer) it rejected and a per-point risk
+ *      band, so a human/dashboard can see the noise it filtered.
+ *
+ * Honest by construction (DIAKRISIS): σ is measured from real replicates, not modelled from a prior; the
+ * guarantee is statistical (it needs a few replicates per point) and the gauntlet proves it on a deliberately
+ * noisy landscape where a high-variance trap occasionally out-reads the true optimum — NOISE-ROBUST picks the
+ * trustworthy optimum ≥97.5% of seeds while a naive max-picker is fooled most of the time. Distinct from
+ * AEGIS (which is robust to INPUT wobble / landscape geometry); this is robust to OUTPUT measurement noise.
+ */
+import { lcg } from "./space.js";
+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 dist = (a, c) => { let s = 0; for (let i = 0; i < a.length; i++)
+    s += (a[i] - c[i]) ** 2; return Math.sqrt(s); };
+/**
+ * Noise-robust discovery on a stochastic oracle. `replicates` = initial measurements per candidate (≥3);
+ * `z` = confidence multiplier for the lower bound (higher = more conservative / trust-demanding).
+ */
+export function noiseRobustDiscover(opts) {
+    const goal = opts.goal ?? "maximize";
+    const sgn = goal === "minimize" ? -1 : 1;
+    const budget = Math.max(6, Math.floor(opts.budget));
+    const seed = (opts.seed ?? 1) | 0;
+    const z = opts.z ?? 1.85;
+    const r0 = Math.max(3, Math.floor(opts.replicates ?? 5));
+    const dims = opts.space.dims, D = dims.length;
+    const lo = (i) => dims[i].min ?? 0, hi = (i) => dims[i].max ?? 1;
+    const toE = (v) => { const e = {}; dims.forEach((d, i) => { let x = lo(i) + v[i] * (hi(i) - lo(i)); if (d.type === "int")
+        x = Math.round(x); e[d.name] = x; }); return e; };
+    const rnd = lcg((seed >>> 0) || 1);
+    const arms = [];
+    let evals = 0;
+    // one measurement of arm a (in sgn-space so we always "maximize"); Welford running mean/variance
+    const measure = (a) => {
+        const e = toE(a.p);
+        const raw = opts.oracle(e);
+        const v = sgn * raw;
+        evals++;
+        a.n++;
+        const d = v - a.mean;
+        a.mean += d / a.n;
+        a.M2 += d * (v - a.mean);
+        if (raw * sgn > a.maxRaw * sgn || a.n === 1) {
+            a.maxRaw = raw;
+            a.maxObs = { experiment: e, value: raw };
+        }
+    };
+    const newArm = (p, reps) => { const a = { p, n: 0, mean: 0, M2: 0, maxRaw: -Infinity * sgn, maxObs: { experiment: toE(p), value: 0 } }; arms.push(a); for (let k = 0; k < reps && evals < budget; k++)
+        measure(a); return a; };
+    const std = (a) => (a.n > 1 ? Math.sqrt(Math.max(0, a.M2 / (a.n - 1))) : 0);
+    // a small noise floor (a fraction of the spread of arm-means) so a single-region with 0 sampled variance
+    // can't masquerade as perfectly certain; keeps the LCB honest when replicates are few.
+    const noiseFloor = () => { if (arms.length < 2)
+        return 0; const ms = arms.map((a) => a.mean); const sp = Math.max(...ms) - Math.min(...ms); return sp * 0.04; };
+    const se = (a, floor) => Math.max(std(a), floor) / Math.sqrt(a.n);
+    const lcbOf = (a, floor) => a.mean - z * se(a, floor);
+    const ucbOf = (a, floor) => a.mean + z * se(a, floor);
+    // PHASE 1 — space-filling seeds, each replicated r0 times so every arm starts with a real σ estimate
+    const seeds = Math.max(6, Math.min(16, Math.round(budget / (r0 * 2))));
+    for (let k = 0; k < seeds && evals < budget; k++) {
+        const p = [];
+        for (let d = 0; d < D; d++)
+            p.push(hal(k * 5 + 1, HB[d % HB.length]));
+        newArm(p, r0);
+    }
+    // PHASE 2 — LUCB race + local refine, until the measurement budget is spent
+    let refineTick = 0;
+    while (evals < budget) {
+        const floor = noiseFloor();
+        let leader = arms[0], li = 0;
+        for (let i = 1; i < arms.length; i++)
+            if (lcbOf(arms[i], floor) > lcbOf(leader, floor)) {
+                leader = arms[i];
+                li = i;
+            }
+        let chal = null;
+        for (let i = 0; i < arms.length; i++) {
+            if (i === li)
+                continue;
+            if (!chal || ucbOf(arms[i], floor) > ucbOf(chal, floor))
+                chal = arms[i];
+        }
+        // every few rounds, open a NEW candidate near the current leader (refine) + an exploratory one (don't miss a region)
+        if ((refineTick++ % 3) === 2 && evals + r0 <= budget) {
+            const near = leader.p.map((x) => Math.max(0, Math.min(1, x + (rnd() - 0.5) * 0.16)));
+            newArm(near, r0);
+            continue;
+        }
+        // LUCB: tighten the leader (by LCB) and the challenger (by UCB) — decide the winner by evidence
+        measure(leader);
+        if (chal && evals < budget)
+            measure(chal);
+    }
+    // SELECT — highest lower-confidence-bound = the value you can trust
+    const floor = noiseFloor();
+    let best = arms[0];
+    for (const a of arms)
+        if (lcbOf(a, floor) > lcbOf(best, floor))
+            best = a;
+    // the naive answer: the single highest raw reading anyone ever saw
+    let lucky = arms[0];
+    for (const a of arms)
+        if (a.maxRaw * sgn > lucky.maxRaw * sgn)
+            lucky = a;
+    const points = arms.map((a) => ({ experiment: toE(a.p), mean: +(sgn * a.mean).toFixed(4), std: +std(a).toFixed(4), n: a.n, lcb: +(sgn * lcbOf(a, floor)).toFixed(4), ucb: +(sgn * ucbOf(a, floor)).toFixed(4) }))
+        .sort((p, q) => sgn * (q.lcb - p.lcb));
+    const bestObs = { experiment: toE(best.p), value: +(sgn * best.mean).toFixed(4) };
+    const rejected = JSON.stringify(best.p) !== JSON.stringify(lucky.p);
+    return {
+        best: bestObs,
+        bestMean: +(sgn * best.mean).toFixed(4), bestStd: +std(best).toFixed(4), bestN: best.n, bestLcb: +(sgn * lcbOf(best, floor)).toFixed(4),
+        luckyMax: lucky.maxObs, rejectedLucky: rejected,
+        noiseFiltered: +Math.abs(lucky.maxRaw - sgn * best.mean).toFixed(4),
+        points, evaluations: evals,
+    };
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+// A deliberately noisy 2-D landscape: a TRAP at (0.8,0.8) whose TRUE mean is mediocre but whose noise is HUGE
+// (it occasionally reads higher than anything else — pure luck), and the REAL optimum at (0.3,0.3) with a high
+// true mean and LOW noise. A naive max-of-readings is repeatedly fooled by the trap; NOISE-ROBUST must pick the
+// real optimum ≥97.5% of seeds. The claim is statistical, so it is measured over many independent seeds.
+export function noiseRobustGauntlet() {
+    const space = { dims: [{ name: "x", type: "real", min: 0, max: 1 }, { name: "y", type: "real", min: 0, max: 1 }] };
+    const trueMean = (x, y) => {
+        const real = 0.9 * Math.exp(-(((x - 0.3) ** 2) + ((y - 0.3) ** 2)) / 0.05); // the genuine optimum (quiet)
+        const trap = 0.62 * Math.exp(-(((x - 0.8) ** 2) + ((y - 0.8) ** 2)) / 0.05); // mediocre true value (loud)
+        return Math.max(real, trap);
+    };
+    const noiseStd = (x, y) => 0.05 + 0.85 * Math.exp(-(((x - 0.8) ** 2) + ((y - 0.8) ** 2)) / 0.05); // huge noise at the trap
+    // a deterministic noisy oracle per seed (gaussian via Box–Muller from a seeded LCG)
+    const makeOracle = (s) => { const r = lcg((s >>> 0) || 1); return (e) => { const x = e.x ?? 0, y = e.y ?? 0; const u1 = Math.max(1e-9, r()), u2 = r(); const g = Math.sqrt(-2 * Math.log(u1)) * Math.cos(2 * Math.PI * u2); return trueMean(x, y) + noiseStd(x, y) * g; }; };
+    const inReal = (e) => Math.hypot((e.x ?? 0) - 0.3, (e.y ?? 0) - 0.3) < 0.22;
+    const inTrap = (e) => Math.hypot((e.x ?? 0) - 0.8, (e.y ?? 0) - 0.8) < 0.22;
+    const SEEDS = 200;
+    let robustHits = 0, naiveHits = 0, rejected = 0;
+    for (let s = 1; s <= SEEDS; s++) {
+        const oracle = makeOracle(s * 1009 + 7);
+        const res = noiseRobustDiscover({ space, oracle, budget: 220, goal: "maximize", seed: s, z: 1.85, replicates: 6 });
+        if (inReal(res.best.experiment))
+            robustHits++;
+        if (inReal(res.luckyMax.experiment))
+            naiveHits++; // how often the NAIVE max happens to land in the real optimum
+        if (res.rejectedLucky)
+            rejected++;
+    }
+    const robustRate = robustHits / SEEDS; // point estimate
+    const naiveRate = naiveHits / SEEDS; // the naive max-picker is fooled by the loud trap much of the time
+    // honest statistical claim: require the Wilson 95% LOWER bound ≥ 97.5% (not just the point estimate)
+    const wilsonLB = (p, n) => { const zz = 1.96; const d = 1 + zz * zz / n; return (p + zz * zz / (2 * n) - zz * Math.sqrt(p * (1 - p) / n + zz * zz / (4 * n * n))) / d; };
+    const robustLB = wilsonLB(robustRate, SEEDS);
+    // goal-direction sanity: on a MINIMIZE problem, noise-robust must pick the quiet LOW-value optimum, not a
+    // lucky low single reading at the high-variance trap.
+    const trueMeanMin = (x, y) => 0.9
+        - 0.8 * Math.exp(-(((x - 0.3) ** 2) + ((y - 0.3) ** 2)) / 0.05) // genuine LOW optimum at (0.3,0.3): 0.1
+        - 0.4 * Math.exp(-(((x - 0.8) ** 2) + ((y - 0.8) ** 2)) / 0.05); // mediocre dip at the loud trap: 0.5
+    const minOracle = (s) => { const r = lcg((s >>> 0) || 1); return (e) => { const x = e.x ?? 0, y = e.y ?? 0; const u1 = Math.max(1e-9, r()), u2 = r(); const g = Math.sqrt(-2 * Math.log(u1)) * Math.cos(2 * Math.PI * u2); return trueMeanMin(x, y) + noiseStd(x, y) * g; }; };
+    let minHits = 0;
+    const MS = 30;
+    for (let s = 1; s <= MS; s++) {
+        const res = noiseRobustDiscover({ space, oracle: minOracle(s * 31 + 3), budget: 180, goal: "minimize", seed: s, z: 1.85, replicates: 6 });
+        if (inReal(res.best.experiment))
+            minHits++;
+    }
+    const minOk = minHits / MS >= 0.9;
+    // determinism + heteroscedastic estimate sanity (the trap really reads as higher-variance than the optimum)
+    const o1 = makeOracle(123);
+    const a = noiseRobustDiscover({ space, oracle: o1, budget: 120, seed: 5, z: 1.85, replicates: 6 });
+    const o2 = makeOracle(123);
+    const b = noiseRobustDiscover({ space, oracle: o2, budget: 120, seed: 5, z: 1.85, replicates: 6 });
+    const det = JSON.stringify(a.best.experiment) === JSON.stringify(b.best.experiment) && a.bestLcb === b.bestLcb;
+    const trapPt = a.points.find((p) => inTrap(p.experiment));
+    const realPt = a.points.find((p) => inReal(p.experiment));
+    const heteroSeen = !!(trapPt && realPt) && trapPt.std > realPt.std; // σ is genuinely higher at the trap
+    const total = (() => { try {
+        noiseRobustDiscover({ space, oracle: () => 0, budget: 8 });
+        noiseRobustDiscover({ space: { dims: [{ name: "x", type: "real", min: 0, max: 1 }] }, oracle: () => 1, budget: 10 });
+        return true;
+    }
+    catch {
+        return false;
+    } })();
+    const checks = [
+        { name: "PICKS-TRUSTWORTHY-OPTIMUM-≥97.5%(Wilson-LB)", pass: robustLB >= 0.975, detail: `noise-robust picked the real (quiet) optimum in ${robustHits}/${SEEDS} seeds = ${(robustRate * 100).toFixed(1)}% · Wilson-95%-LB ${(robustLB * 100).toFixed(1)}% (target LB ≥97.5%)` },
+        { name: "BEATS-THE-NAIVE-MAX-PICKER", pass: robustRate >= naiveRate + 0.2, detail: `robust ${(robustRate * 100).toFixed(1)}% vs a naive single-reading max ${(naiveRate * 100).toFixed(1)}% — it filters the lucky trap` },
+        { name: "REJECTS-THE-LUCKY-SPIKE", pass: rejected >= Math.ceil(SEEDS * 0.5), detail: `robust selection refused the lucky single-reading max in ${rejected}/${SEEDS} seeds` },
+        { name: "WORKS-ON-MINIMIZE-TOO", pass: minOk, detail: `minimize goal: picked the quiet low optimum in ${minHits}/${MS} seeds (≥90%)` },
+        { name: "HETEROSCEDASTIC-σ-ESTIMATED", pass: heteroSeen, detail: trapPt && realPt ? `measured σ at the trap ${trapPt.std} > σ at the optimum ${realPt.std}` : "n/a" },
+        { name: "DETERMINISTIC", pass: det, detail: "same seed + same noisy oracle → identical trustworthy optimum" },
+        { name: "TOTAL", pass: total, detail: "flat oracle / 1-D / tiny budget never throws" },
+    ];
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=noiserobust.js.map

package/dist/noiserobust.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"noiserobust.js","sourceRoot":"","sources":["../src/noiserobust.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAA+B,GAAG,EAAE,MAAM,YAAY,CAAC;AAG9D,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;AACxD,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;IAAC,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACpJ,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;AAe3I;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAsI;IACxK,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,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,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,CAAW,EAAc,EAAE,GAAG,MAAM,CAAC,GAAe,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,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,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9M,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEnC,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,iGAAiG;IACjG,MAAM,OAAO,GAAG,CAAC,CAAM,EAAE,EAAE;QACzB,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC;QAAC,KAAK,EAAE,CAAC;QAC7E,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC;YAAC,CAAC,CAAC,MAAM,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAAC,CAAC;IAC5G,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAW,EAAE,IAAY,EAAE,EAAE,GAAG,MAAM,CAAC,GAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,QAAQ,GAAG,GAAG,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,GAAG,MAAM,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACtP,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,yGAAyG;IACzG,uFAAuF;IACvF,MAAM,UAAU,GAAG,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAChK,MAAM,EAAE,GAAG,CAAC,CAAM,EAAE,KAAa,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,CAAC,CAAM,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,CAAC,CAAM,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEnE,qGAAqG;IACrG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,KAAK,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,CAAC,GAAa,EAAE,CAAC;QAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAAC,CAAC;IAEnK,4EAA4E;IAC5E,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,OAAO,KAAK,GAAG,MAAM,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;QAC3B,IAAI,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;gBAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAC,EAAE,GAAG,CAAC,CAAC;YAAC,CAAC;QACnJ,IAAI,IAAI,GAAe,IAAI,CAAC;QAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAAC,IAAI,CAAC,KAAK,EAAE;gBAAE,SAAS;YAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;QACvK,qHAAqH;QACrH,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,EAAE,IAAI,MAAM,EAAE,CAAC;YACrD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrF,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjB,SAAS;QACX,CAAC;QACD,gGAAgG;QAChG,OAAO,CAAC,MAAM,CAAC,CAAC;QAChB,IAAI,IAAI,IAAI,KAAK,GAAG,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED,oEAAoE;IACpE,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,IAAI,GAAG,CAAC,CAAC;IAC7F,mEAAmE;IACnE,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,KAAK,GAAG,CAAC,CAAC;IAE9F,MAAM,MAAM,GAAkB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7N,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,MAAM,OAAO,GAAgB,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACvI,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ;QAC/C,aAAa,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACnE,MAAM,EAAE,WAAW,EAAE,KAAK;KAC3B,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,8GAA8G;AAC9G,+GAA+G;AAC/G,gHAAgH;AAChH,yGAAyG;AACzG,MAAM,UAAU,mBAAmB;IACjC,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,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE;QACxC,MAAM,IAAI,GAAG,GAAG,GAAG,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,CAAI,8BAA8B;QAC7G,MAAM,IAAI,GAAG,IAAI,GAAG,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,CAAG,6BAA6B;QAC5G,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,GAAG,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,yBAAyB;IAC3I,oFAAoF;IACpF,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAa,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjS,MAAM,MAAM,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IACxF,MAAM,MAAM,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;IAExF,MAAM,KAAK,GAAG,GAAG,CAAC;IAAC,IAAI,UAAU,GAAG,CAAC,EAAE,SAAS,GAAG,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC;IACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACnH,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,UAAU,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,SAAS,EAAE,CAAC,CAAK,8DAA8D;QACpH,IAAI,GAAG,CAAC,aAAa;YAAE,QAAQ,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,GAAG,KAAK,CAAC,CAAK,iBAAiB;IAC5D,MAAM,SAAS,GAAG,SAAS,GAAG,KAAK,CAAC,CAAO,mEAAmE;IAC9G,qGAAqG;IACrG,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACzL,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAE7C,0GAA0G;IAC1G,sDAAsD;IACtD,MAAM,WAAW,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG;UAC7C,GAAG,GAAG,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,CAAI,wCAAwC;UACzG,GAAG,GAAG,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,CAAG,qCAAqC;IAC1G,MAAM,SAAS,GAAG,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAa,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnS,IAAI,OAAO,GAAG,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,MAAM,GAAG,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,EAAE,CAAC;IAAC,CAAC;IACxN,MAAM,KAAK,GAAG,OAAO,GAAG,EAAE,IAAI,GAAG,CAAC;IAElC,4GAA4G;IAC5G,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAAC,MAAM,CAAC,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/H,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAAC,MAAM,CAAC,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/H,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;IAC/G,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACrH,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAU,oCAAoC;IACjH,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,mBAAmB,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,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;IAE3P,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,6CAA6C,EAAE,IAAI,EAAE,QAAQ,IAAI,KAAK,EAAE,MAAM,EAAE,mDAAmD,UAAU,IAAI,KAAK,YAAY,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB,EAAE;QAC/Q,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,UAAU,IAAI,SAAS,GAAG,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mCAAmC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,+BAA+B,EAAE;QAC1N,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,MAAM,EAAE,4DAA4D,QAAQ,IAAI,KAAK,QAAQ,EAAE;QAC5K,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,kDAAkD,OAAO,IAAI,EAAE,eAAe,EAAE;QACtI,EAAE,IAAI,EAAE,6BAA6B,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,0BAA0B,MAAM,CAAC,GAAG,uBAAuB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE;QACrK,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,+DAA+D,EAAE;QAC7G,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,8CAA8C,EAAE;KACvF,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/oracle.d.ts

@@ -0,0 +1,63 @@
+/**
+ * ORACLE — the pluggable thing that runs an experiment and returns a result.
+ *
+ * The whole point of Melete: the brain does not care WHAT the oracle is. The same closed loop drives a
+ * simulated objective, a wet-lab robot over HTTP, a factory process, a hyperparameter trainer, or an
+ * expensive A/B test. An oracle is just `(experiment) => number | Promise<number>` — the measured outcome
+ * of one experiment. The brain proposes; the oracle measures; the brain learns. Swap the oracle, keep the
+ * brain.
+ */
+import { type Experiment } from "./space.js";
+export type Oracle = (e: Experiment) => number | Promise<number>;
+/** In-process oracle from a pure objective function — used for simulation, benchmarking, and tests. */
+export declare function simOracle(fn: (e: Experiment) => number): Oracle;
+/**
+ * HTTP oracle — POSTs {experiment} to a lab/robot/service endpoint and reads {result} (or a number).
+ * This is the slot a real self-driving lab plugs its robot into; the brain is unchanged.
+ */
+export declare function httpOracle(url: string, opts?: {
+    resultKey?: string;
+    headers?: Record<string, string>;
+    fetchImpl?: typeof fetch;
+}): Oracle;
+/**
+ * ★ EVERYTHING IS f(x) — the universal adapter that expands the brain's universe far past "wet lab".
+ * An oracle is just measured-outcome-of-an-experiment. `scoredOracle` turns ANY two-step process into one:
+ *   run(x)  → produce an artifact (compile a program, render a design, synthesise a molecule, draft a
+ *             prompt, configure a process, ask a model to generate something) — may be async/expensive,
+ *   score(a)→ a single number measuring how good that artifact is (a benchmark, an assay, a metric, or
+ *             an LLM/judge grading a qualitative result).
+ * So f(x) = score(run(x)). Suddenly the discovery brain optimises things no Bayesian-lab targets: prompts,
+ * UI layouts, compiler flags, trading policies, material recipes, model hyperparameters — anything whose
+ * output can be SCORED. The expensive black box stays opaque; the brain only needs the number.
+ */
+export declare function scoredOracle<A>(run: (e: Experiment) => A | Promise<A>, score: (a: A, e: Experiment) => number | Promise<number>): Oracle;
+/**
+ * CLI oracle — runs a shell command for each experiment and parses a number from its stdout. This is the
+ * real-world adapter for CI / training / process tuning: optimise compiler flags by running the build +
+ * parsing the benchmark, tune hyperparameters by running the trainer + parsing the metric, tune a process
+ * script by running it + parsing the yield. `cmd(e)` builds the command for experiment e; `parse(stdout)`
+ * extracts the metric (defaults to the last number printed). Provided as a factory so the heavy node:
+ * child_process import is lazy (keeps the core dependency-free + browser-safe).
+ */
+export declare function cliOracle(cmd: (e: Experiment) => string, parse?: (stdout: string) => number, opts?: {
+    cwd?: string;
+    timeoutMs?: number;
+}): Oracle;
+/** Multi-objective → one number: a weighted sum of several oracles (e.g. maximise yield − cost − toxicity). */
+export declare function compositeOracle(parts: ReadonlyArray<{
+    oracle: Oracle;
+    weight: number;
+}>): Oracle;
+/** Wrap any oracle with a hard call budget + a counter (real experiments cost money — never overspend). */
+export declare function meteredOracle(oracle: Oracle, maxCalls: number): Oracle & {
+    calls: () => number;
+};
+export declare function oracleGauntlet(): {
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+    }>;
+};
+//# sourceMappingURL=oracle.d.ts.map

package/dist/oracle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle.d.ts","sourceRoot":"","sources":["../src/oracle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AAEjE,uGAAuG;AACvG,wBAAgB,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,GAAG,MAAM,CAE/D;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,KAAK,CAAA;CAAE,GAAG,MAAM,CAWzI;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAExI;AAED;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAQjJ;AAED,+GAA+G;AAC/G,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,MAAM,CAEhG;AAED,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG;IAAE,KAAK,EAAE,MAAM,MAAM,CAAA;CAAE,CAMhG;AAGD,wBAAgB,cAAc,IAAI;IAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAAE,CAwBnG"}

package/dist/oracle.js

@@ -0,0 +1,106 @@
+/** In-process oracle from a pure objective function — used for simulation, benchmarking, and tests. */
+export function simOracle(fn) {
+    return (e) => fn(e);
+}
+/**
+ * HTTP oracle — POSTs {experiment} to a lab/robot/service endpoint and reads {result} (or a number).
+ * This is the slot a real self-driving lab plugs its robot into; the brain is unchanged.
+ */
+export function httpOracle(url, opts) {
+    const key = opts?.resultKey ?? "result";
+    const f = opts?.fetchImpl ?? globalThis.fetch;
+    return async (e) => {
+        const res = await f(url, { method: "POST", headers: { "content-type": "application/json", ...(opts?.headers ?? {}) }, body: JSON.stringify({ experiment: e }) });
+        if (!res.ok)
+            throw new Error(`oracle HTTP ${res.status}`);
+        const j = await res.json();
+        const v = typeof j === "number" ? j : Number(j?.[key]);
+        if (!Number.isFinite(v))
+            throw new Error("oracle returned a non-numeric result");
+        return v;
+    };
+}
+/**
+ * ★ EVERYTHING IS f(x) — the universal adapter that expands the brain's universe far past "wet lab".
+ * An oracle is just measured-outcome-of-an-experiment. `scoredOracle` turns ANY two-step process into one:
+ *   run(x)  → produce an artifact (compile a program, render a design, synthesise a molecule, draft a
+ *             prompt, configure a process, ask a model to generate something) — may be async/expensive,
+ *   score(a)→ a single number measuring how good that artifact is (a benchmark, an assay, a metric, or
+ *             an LLM/judge grading a qualitative result).
+ * So f(x) = score(run(x)). Suddenly the discovery brain optimises things no Bayesian-lab targets: prompts,
+ * UI layouts, compiler flags, trading policies, material recipes, model hyperparameters — anything whose
+ * output can be SCORED. The expensive black box stays opaque; the brain only needs the number.
+ */
+export function scoredOracle(run, score) {
+    return async (e) => { const artifact = await run(e); const v = Number(await score(artifact, e)); if (!Number.isFinite(v))
+        throw new Error("score() returned a non-numeric value"); return v; };
+}
+/**
+ * CLI oracle — runs a shell command for each experiment and parses a number from its stdout. This is the
+ * real-world adapter for CI / training / process tuning: optimise compiler flags by running the build +
+ * parsing the benchmark, tune hyperparameters by running the trainer + parsing the metric, tune a process
+ * script by running it + parsing the yield. `cmd(e)` builds the command for experiment e; `parse(stdout)`
+ * extracts the metric (defaults to the last number printed). Provided as a factory so the heavy node:
+ * child_process import is lazy (keeps the core dependency-free + browser-safe).
+ */
+export function cliOracle(cmd, parse, opts) {
+    return async (e) => {
+        const { execSync } = await import("node:child_process");
+        const stdout = String(execSync(cmd(e), { encoding: "utf8", cwd: opts?.cwd, timeout: opts?.timeoutMs ?? 600_000, stdio: ["ignore", "pipe", "ignore"] }));
+        const v = parse ? parse(stdout) : Number((stdout.match(/-?\d+(?:\.\d+)?(?:[eE][-+]?\d+)?/g) ?? []).at(-1));
+        if (!Number.isFinite(v))
+            throw new Error("cliOracle: could not parse a number from stdout");
+        return v;
+    };
+}
+/** Multi-objective → one number: a weighted sum of several oracles (e.g. maximise yield − cost − toxicity). */
+export function compositeOracle(parts) {
+    return async (e) => { let s = 0; for (const p of parts ?? [])
+        s += (Number(p.weight) || 0) * Number(await p.oracle(e)); return s; };
+}
+/** Wrap any oracle with a hard call budget + a counter (real experiments cost money — never overspend). */
+export function meteredOracle(oracle, maxCalls) {
+    let n = 0;
+    // throws SYNCHRONOUSLY when over budget (so callers can guard with a plain try/catch), then delegates.
+    const wrapped = ((e) => { if (n >= maxCalls)
+        throw new Error(`oracle budget exhausted (${maxCalls})`); n++; return oracle(e); });
+    wrapped.calls = () => n;
+    return wrapped;
+}
+// ── gauntlet ──────────────────────────────────────────────────────────────────
+export function oracleGauntlet() {
+    let sync = false, metered = false, budget = false, total = true;
+    try {
+        const o = simOracle((e) => (e.x ?? 0) * 2);
+        sync = o({ x: 21 }) === 42;
+        const m = meteredOracle(o, 2);
+        void m({ x: 1 });
+        void m({ x: 2 });
+        metered = m.calls() === 2;
+        try {
+            void m({ x: 3 });
+        }
+        catch {
+            budget = true;
+        } // 3rd call must throw synchronously (budget=2)
+    }
+    catch {
+        total = false;
+    }
+    // ★ everything-is-f(x): scoredOracle composes run()+score(); compositeOracle does weighted multi-objective
+    let scored = false, composite = false;
+    const so = scoredOracle((e) => `art:${e.x}`, (a) => a.length); // f(x) = length of the produced artifact string
+    Promise.resolve(so({ x: 12345 })).then((v) => { scored = v === "art:12345".length; }).catch(() => { });
+    const co = compositeOracle([{ oracle: simOracle((e) => e.x ?? 0), weight: 2 }, { oracle: simOracle(() => 10), weight: -1 }]);
+    Promise.resolve(co({ x: 5 })).then((v) => { composite = v === 0; }).catch(() => { }); // 2*5 − 1*10 = 0
+    const checks = [
+        { name: "SIM-ORACLE", pass: sync }, { name: "METERED", pass: metered }, { name: "BUDGET-ENFORCED", pass: budget },
+        { name: "HTTP-WIRED", pass: typeof httpOracle("http://x") === "function" },
+        { name: "EVERYTHING-IS-FX", pass: typeof scoredOracle((e) => e, () => 1) === "function" && typeof compositeOracle([]) === "function" },
+        { name: "TOTAL", pass: total },
+    ];
+    void scored;
+    void composite;
+    return { score: checks.every((c) => c.pass) ? 100 : 0, checks };
+}
+//# sourceMappingURL=oracle.js.map

package/dist/oracle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle.js","sourceRoot":"","sources":["../src/oracle.ts"],"names":[],"mappings":"AAaA,uGAAuG;AACvG,MAAM,UAAU,SAAS,CAAC,EAA6B;IACrD,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,IAAyF;IAC/H,MAAM,GAAG,GAAG,IAAI,EAAE,SAAS,IAAI,QAAQ,CAAC;IACxC,MAAM,CAAC,GAAG,IAAI,EAAE,SAAS,IAAK,UAAU,CAAC,KAAsB,CAAC;IAChE,OAAO,KAAK,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjK,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,IAAI,EAA6B,CAAC;QACtD,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;QACjF,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAI,GAAsC,EAAE,KAAwD;IAC9H,OAAO,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACjM,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,GAA8B,EAAE,KAAkC,EAAE,IAA2C;IACvI,OAAO,KAAK,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,IAAI,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QACxJ,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3G,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAC5F,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;AACJ,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,eAAe,CAAC,KAAwD;IACtF,OAAO,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE;QAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACtI,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,QAAgB;IAC5D,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,uGAAuG;IACvG,MAAM,OAAO,GAAG,CAAC,CAAC,CAAa,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAqC,CAAC;IACjL,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC;IACxB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,cAAc;IAC5B,IAAI,IAAI,GAAG,KAAK,EAAE,OAAO,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAChE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,GAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAY,KAAK,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnC,OAAO,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC;YAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,MAAM,GAAG,IAAI,CAAC;QAAC,CAAC,CAAG,+CAA+C;IACtG,CAAC;IAAC,MAAM,CAAC;QAAC,KAAK,GAAG,KAAK,CAAC;IAAC,CAAC;IAC1B,2GAA2G;IAC3G,IAAI,MAAM,GAAG,KAAK,EAAE,SAAS,GAAG,KAAK,CAAC;IACtC,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAG,gDAAgD;IACjH,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,GAAG,CAAC,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACtG,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7H,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,SAAS,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAG,iBAAiB;IACxG,MAAM,MAAM,GAAG;QACb,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE;QACjH,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,UAAU,CAAC,UAAU,CAAC,KAAK,UAAU,EAAE;QAC1E,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,UAAU,IAAI,OAAO,eAAe,CAAC,EAAE,CAAC,KAAK,UAAU,EAAE;QACtI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;KAC/B,CAAC;IACF,KAAK,MAAM,CAAC;IAAC,KAAK,SAAS,CAAC;IAC5B,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/poopt.d.ts

@@ -0,0 +1,79 @@
+/**
+ * PROOF OF OPTIMIZATION (PoOpt) — the portable, offline-verifiable certificate that a result was reached
+ * EFFICIENTLY, not just reached.
+ *
+ * Cloud optimizers (Vizier, SigOpt, Optuna) hand you a number. None hand you a cryptographic proof that
+ * "this was found in N experiments instead of a full grid sweep of M, by an engine certified to be within
+ * X% of the global best — here is the signature, verify it yourself without trusting us, even air-gapped."
+ * PoOpt fuses what Melete already produces — the signed discovery trace, the fewer-experiments savings, and
+ * the optimality certificate — into ONE Ed25519-signed record that a reviewer, regulator, auditor, ESG
+ * registry, or counterparty re-checks OFFLINE with the embedded public key alone.
+ *
+ * Honest by construction (DIAKRISIS): the EFFICIENCY claim (experiments saved vs a grid sweep) is exact and
+ * recomputable; the optimality figure is the conditional Lipschitz certificate; and a RESOURCE figure
+ * (energy / CO₂ saved) appears ONLY if you supply your own per-experiment energy and grid carbon factors —
+ * never fabricated. PoOpt is the verifiable SUBSTRATE a carbon-credit / green-certificate scheme could
+ * accept; whether a market accepts it is a business outcome, not a claim this code makes.
+ */
+import { type KeyObject } from "node:crypto";
+export interface PoOptInput {
+    subject: string;
+    goal: "maximize" | "minimize";
+    dims: number;
+    experimentsUsed: number;
+    bestValue: number;
+    certifiedWithinPct?: number | null;
+    traceHash?: string | null;
+    issuedAtMs?: number;
+    energyPerExperimentKwh?: number | null;
+    carbonKgPerKwh?: number | null;
+}
+export interface PoOptCertificate {
+    v: "poopt/1";
+    subject: string;
+    goal: "maximize" | "minimize";
+    dims: number;
+    experimentsUsed: number;
+    gridBaseline: number;
+    experimentsSaved: number;
+    efficiencyPct: number;
+    bestValue: number;
+    certifiedWithinPct: number | null;
+    traceHash: string | null;
+    energyPerExperimentKwh: number | null;
+    energySavedKwh: number | null;
+    carbonKgPerKwh: number | null;
+    co2SavedKg: number | null;
+    issuedAtMs: number;
+    publicKeyPem: string;
+    payloadHash: string;
+    sig: string;
+    algo: "ed25519+sha256";
+}
+/** A full grid sweep at ~8 points per dimension, capped — the honest brute-force reference. */
+export declare function gridBaselineFor(dims: number): number;
+/** Issue a signed Proof of Optimization. Generates an Ed25519 keypair if none is supplied. */
+export declare function issueProofOfOptimization(input: PoOptInput, keys?: {
+    privateKey: KeyObject;
+    publicKey: KeyObject;
+}): PoOptCertificate;
+export interface PoOptVerify {
+    ok: boolean;
+    reason: string;
+    recomputed: {
+        gridBaseline: number;
+        experimentsSaved: number;
+        efficiencyPct: number;
+    } | null;
+}
+/** Verify a PoOpt OFFLINE: recompute the efficiency claim + check the hash + check the Ed25519 signature. */
+export declare function verifyProofOfOptimization(cert: PoOptCertificate): PoOptVerify;
+export declare function pooptGauntlet(): {
+    score: 0 | 100;
+    checks: Array<{
+        name: string;
+        pass: boolean;
+        detail: string;
+    }>;
+};
+//# sourceMappingURL=poopt.d.ts.map

package/dist/poopt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"poopt.d.ts","sourceRoot":"","sources":["../src/poopt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAwF,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAEnI,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,SAAS,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAKD,+FAA+F;AAC/F,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGpD;AAcD,8FAA8F;AAC9F,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;IAAE,UAAU,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,SAAS,CAAA;CAAE,GAAG,gBAAgB,CAsBpI;AAED,MAAM,WAAW,WAAW;IAAG,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE;AAE1J,6GAA6G;AAC7G,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,gBAAgB,GAAG,WAAW,CA0B7E;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,CAmClH"}