@miller-tech/uap 1.59.0 → 1.61.0

package/dist/self-harness/pending.js

@@ -0,0 +1,86 @@
+/**
+ * Self-Harness — gated promotion queue (P3).
+ *
+ * Proposals mined from PRODUCTION traces are never auto-applied: they are
+ * enqueued here as `PendingProposal`s awaiting validation + a human gate. The
+ * promotion policy decides what may auto-promote after validation (low-risk env
+ * knobs) vs what always needs human review (scaffold/middleware). docs/design/
+ * SELF_HARNESS.md §9, §10.
+ */
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'fs';
+import { dirname } from 'path';
+/**
+ * Promotion policy: env-knob Mods are low-risk and may auto-promote after they
+ * pass validation; scaffold + middleware Mods change behavior more broadly and
+ * always require a human gate. This is the safety boundary for online learning.
+ */
+export function promotionGate(mod) {
+    return mod.kind === 'env' ? 'auto-after-validation' : 'human';
+}
+export class PendingQueue {
+    path;
+    items = [];
+    constructor(path) {
+        this.path = path;
+        if (existsSync(path)) {
+            try {
+                this.items = JSON.parse(readFileSync(path, 'utf-8'));
+            }
+            catch {
+                this.items = [];
+            }
+        }
+    }
+    persist() {
+        mkdirSync(dirname(this.path), { recursive: true });
+        writeFileSync(this.path, JSON.stringify(this.items, null, 2), 'utf-8');
+    }
+    /** Enqueue a proposal, de-duped by (model, signature, mod-shape) while pending. */
+    enqueue(p) {
+        const full = { ...p, gate: promotionGate(p.mod), status: 'pending' };
+        const exists = this.items.some((x) => x.status === 'pending' &&
+            x.model === full.model &&
+            x.signature === full.signature &&
+            JSON.stringify(x.mod) === JSON.stringify(full.mod));
+        if (!exists) {
+            this.items.push(full);
+            this.persist();
+        }
+        return full;
+    }
+    list(status) {
+        return status ? this.items.filter((x) => x.status === status) : [...this.items];
+    }
+    update(id, patch) {
+        const it = this.items.find((x) => x.id === id);
+        if (it) {
+            Object.assign(it, patch);
+            this.persist();
+        }
+    }
+    /**
+     * Drop terminal (promoted/rejected) entries older than `maxAgeDays`, and stale
+     * still-pending entries older than `maxPendingDays` (never validated → likely
+     * obsolete). Returns the removed items.
+     */
+    prune(opts = {}) {
+        const maxAge = (opts.maxAgeDays ?? 30) * 86_400_000;
+        const maxPending = (opts.maxPendingDays ?? 14) * 86_400_000;
+        const now = opts.now ?? Date.now();
+        const removed = [];
+        this.items = this.items.filter((it) => {
+            const age = now - (Date.parse(it.createdAt) || 0);
+            const terminalStale = (it.status === 'promoted' || it.status === 'rejected') && age > maxAge;
+            const pendingStale = it.status === 'pending' && age > maxPending;
+            if (terminalStale || pendingStale) {
+                removed.push(it);
+                return false;
+            }
+            return true;
+        });
+        if (removed.length)
+            this.persist();
+        return removed;
+    }
+}
+//# sourceMappingURL=pending.js.map

package/dist/self-harness/pending.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending.js","sourceRoot":"","sources":["../../src/self-harness/pending.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAM/B;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAQ;IACpC,OAAO,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC;AAChE,CAAC;AAmBD,MAAM,OAAO,YAAY;IAGM;IAFrB,KAAK,GAAsB,EAAE,CAAC;IAEtC,YAA6B,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;QACvC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC;gBACH,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YACvD,CAAC;YAAC,MAAM,CAAC;gBACP,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAEO,OAAO;QACb,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,mFAAmF;IACnF,OAAO,CAAC,CAAiF;QACvF,MAAM,IAAI,GAAoB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACtF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,MAAM,KAAK,SAAS;YACtB,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;YACtB,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;YAC9B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CACrD,CAAC;QACF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,MAAkC;QACrC,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,CAAC,EAAU,EAAE,KAA+B;QAChD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACzB,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,OAAuE,EAAE;QAC7E,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC;QACpD,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC;QAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACnC,MAAM,OAAO,GAAsB,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YACpC,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YAClD,MAAM,aAAa,GAAG,CAAC,EAAE,CAAC,MAAM,KAAK,UAAU,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,GAAG,GAAG,MAAM,CAAC;YAC7F,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,GAAG,UAAU,CAAC;YACjE,IAAI,aAAa,IAAI,YAAY,EAAE,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACjB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM;YAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;CACF"}

package/dist/self-harness/profile.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Self-Harness — the versioned harness profile + env-file apply/revert.
+ *
+ * A `HarnessProfile` is the source of truth for the current harness state the
+ * proposer reads and the orchestrator commits. P1 physically applies `env` Mods
+ * to a KEY=value env file (e.g. ~/.config/uap/llama-server.env) and captures the
+ * prior value for one-step revert; scaffold/middleware Mods are recorded in the
+ * profile (their physical wiring is P1+/P2). All edits are reversible.
+ */
+import type { UapComponent } from '../benchmarks/paired/types.js';
+import { KnownKnob, EnvMod } from './mods.js';
+export interface HarnessProfile {
+    /** Allow-listed env knob values currently in effect (string form). */
+    env: Partial<Record<KnownKnob, string>>;
+    /** Accepted scaffold component overrides (component -> full text). */
+    scaffold: Partial<Record<UapComponent, string>>;
+    /** Accepted middleware configs (id -> params). */
+    middleware: Record<string, Record<string, string | number | boolean>>;
+}
+export declare function emptyProfile(): HarnessProfile;
+/** Parse a KEY=value env file into a flat map (ignores comments/blank lines). */
+export declare function parseEnvFile(path: string): Record<string, string>;
+/** Build a profile from an env file, keeping only allow-listed knobs. */
+export declare function profileFromEnvFile(path: string): HarnessProfile;
+/**
+ * Apply an `EnvMod` to a KEY=value env file in place (replacing the line if the
+ * key exists, else appending). Returns the prior value (or null if absent) so
+ * the caller can record a precise revert. Verifies the Mod's `from` matches the
+ * file's current value when present (guards against a stale proposal).
+ */
+export declare function applyEnvModToFile(path: string, mod: EnvMod): {
+    priorValue: string | null;
+};
+/** Apply an accepted Mod's effect to the in-memory profile (after acceptance). */
+export declare function recordModInProfile(profile: HarnessProfile, mod: EnvMod): HarnessProfile;
+/** Default values for allow-listed knobs (used to seed a profile if a knob is unset). */
+export declare function knobDefault(key: KnownKnob): string | null;
+//# sourceMappingURL=profile.d.ts.map

package/dist/self-harness/profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile.d.ts","sourceRoot":"","sources":["../../src/self-harness/profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAkB,SAAS,EAAE,MAAM,EAAe,MAAM,WAAW,CAAC;AAE3E,MAAM,WAAW,cAAc;IAC7B,sEAAsE;IACtE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACxC,sEAAsE;IACtE,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;IAChD,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;CACvE;AAED,wBAAgB,YAAY,IAAI,cAAc,CAE7C;AAED,iFAAiF;AACjF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAWjE;AAED,yEAAyE;AACzE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAO/D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG;IAAE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAkB1F;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,GAAG,cAAc,CAEvF;AAED,yFAAyF;AACzF,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAMzD"}

package/dist/self-harness/profile.js

@@ -0,0 +1,80 @@
+/**
+ * Self-Harness — the versioned harness profile + env-file apply/revert.
+ *
+ * A `HarnessProfile` is the source of truth for the current harness state the
+ * proposer reads and the orchestrator commits. P1 physically applies `env` Mods
+ * to a KEY=value env file (e.g. ~/.config/uap/llama-server.env) and captures the
+ * prior value for one-step revert; scaffold/middleware Mods are recorded in the
+ * profile (their physical wiring is P1+/P2). All edits are reversible.
+ */
+import { readFileSync, writeFileSync, existsSync } from 'fs';
+import { KNOB_ALLOWLIST, isKnownKnob } from './mods.js';
+export function emptyProfile() {
+    return { env: {}, scaffold: {}, middleware: {} };
+}
+/** Parse a KEY=value env file into a flat map (ignores comments/blank lines). */
+export function parseEnvFile(path) {
+    if (!existsSync(path))
+        return {};
+    const out = {};
+    for (const line of readFileSync(path, 'utf-8').split('\n')) {
+        const t = line.trim();
+        if (!t || t.startsWith('#'))
+            continue;
+        const eq = t.indexOf('=');
+        if (eq <= 0)
+            continue;
+        out[t.slice(0, eq).trim()] = t.slice(eq + 1).trim();
+    }
+    return out;
+}
+/** Build a profile from an env file, keeping only allow-listed knobs. */
+export function profileFromEnvFile(path) {
+    const all = parseEnvFile(path);
+    const p = emptyProfile();
+    for (const [k, v] of Object.entries(all)) {
+        if (isKnownKnob(k))
+            p.env[k] = v;
+    }
+    return p;
+}
+/**
+ * Apply an `EnvMod` to a KEY=value env file in place (replacing the line if the
+ * key exists, else appending). Returns the prior value (or null if absent) so
+ * the caller can record a precise revert. Verifies the Mod's `from` matches the
+ * file's current value when present (guards against a stale proposal).
+ */
+export function applyEnvModToFile(path, mod) {
+    const lines = existsSync(path) ? readFileSync(path, 'utf-8').split('\n') : [];
+    let prior = null;
+    let replaced = false;
+    const key = mod.key;
+    for (let i = 0; i < lines.length; i++) {
+        const t = lines[i].trim();
+        if (t.startsWith('#') || !t.includes('='))
+            continue;
+        if (t.slice(0, t.indexOf('=')).trim() === key) {
+            prior = t.slice(t.indexOf('=') + 1).trim();
+            lines[i] = `${key}=${mod.to}`;
+            replaced = true;
+            break;
+        }
+    }
+    if (!replaced)
+        lines.push(`${key}=${mod.to}`);
+    writeFileSync(path, lines.join('\n'), 'utf-8');
+    return { priorValue: prior };
+}
+/** Apply an accepted Mod's effect to the in-memory profile (after acceptance). */
+export function recordModInProfile(profile, mod) {
+    return { ...profile, env: { ...profile.env, [mod.key]: mod.to } };
+}
+/** Default values for allow-listed knobs (used to seed a profile if a knob is unset). */
+export function knobDefault(key) {
+    // The allow-list declares ranges, not defaults; defaults live in the proxy/
+    // launch script. We return null and let the proposer skip knobs with no
+    // observed current value rather than guess.
+    void KNOB_ALLOWLIST[key];
+    return null;
+}
+//# sourceMappingURL=profile.js.map

package/dist/self-harness/profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile.js","sourceRoot":"","sources":["../../src/self-harness/profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAE7D,OAAO,EAAE,cAAc,EAAqB,WAAW,EAAE,MAAM,WAAW,CAAC;AAW3E,MAAM,UAAU,YAAY;IAC1B,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;AACnD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,EAAE,IAAI,CAAC;YAAE,SAAS;QACtB,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,WAAW,CAAC,CAAC,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,GAAW;IACzD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9E,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QACpD,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9C,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;YAC9B,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9C,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,OAAuB,EAAE,GAAW;IACrE,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC;AACpE,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,WAAW,CAAC,GAAc;IACxC,4EAA4E;IAC5E,wEAAwE;IACxE,4CAA4C;IAC5C,KAAK,cAAc,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/self-harness/propose.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Self-Harness — Stage 2 harness-proposal.
+ *
+ * A `Proposer` turns a ranked `WeaknessReport[]` + the current harness profile
+ * into candidate `Mod`s (all DSL-validated). P1 ships a deterministic
+ * `heuristicProposer` (a known-failure -> candidate-Mod mapping) so the whole
+ * loop runs and is testable without an LLM; the `Proposer` interface is the seam
+ * an LLM proposer (P1+) drops into. Proposals are biased toward MINIMAL edits
+ * (single knob / single block), per the paper.
+ */
+import { Mod, KNOB_ALLOWLIST } from './mods.js';
+import { WeaknessReport } from './weakness.js';
+import type { HarnessProfile } from './profile.js';
+export interface Proposer {
+    readonly id: string;
+    propose(weaknesses: WeaknessReport[], profile: HarnessProfile): Mod[];
+}
+/**
+ * Deterministic heuristic proposer: maps each weakness kind to a minimal,
+ * known-good candidate Mod. This intentionally encodes the fixes that worked in
+ * the manual campaign (e.g. halving LLAMA_N_PREDICT for runaway generation).
+ */
+export declare const heuristicProposer: Proposer;
+export { KNOB_ALLOWLIST };
+//# sourceMappingURL=propose.d.ts.map

package/dist/self-harness/propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../src/self-harness/propose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,GAAG,EAAqB,cAAc,EAAyB,MAAM,WAAW,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAe,MAAM,eAAe,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,UAAU,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,cAAc,GAAG,GAAG,EAAE,CAAC;CACvE;AA+BD;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAU/B,CAAC;AA8BF,OAAO,EAAE,cAAc,EAAE,CAAC"}

package/dist/self-harness/propose.js

@@ -0,0 +1,86 @@
+/**
+ * Self-Harness — Stage 2 harness-proposal.
+ *
+ * A `Proposer` turns a ranked `WeaknessReport[]` + the current harness profile
+ * into candidate `Mod`s (all DSL-validated). P1 ships a deterministic
+ * `heuristicProposer` (a known-failure -> candidate-Mod mapping) so the whole
+ * loop runs and is testable without an LLM; the `Proposer` interface is the seam
+ * an LLM proposer (P1+) drops into. Proposals are biased toward MINIMAL edits
+ * (single knob / single block), per the paper.
+ */
+import { KNOB_ALLOWLIST, validateMod, knobSpec } from './mods.js';
+/** Clamp a numeric knob value to its declared safe range. */
+function clampKnob(key, value) {
+    const spec = knobSpec(key);
+    if (spec.type !== 'number')
+        return value;
+    const v = Math.max(spec.min, Math.min(spec.max, value));
+    return spec.integer ? Math.round(v) : v;
+}
+/** Read the current value of a knob from the profile (or its declared default). */
+function currentKnob(profile, key) {
+    const raw = profile.env[key];
+    if (raw == null)
+        return null;
+    const n = Number(raw);
+    return Number.isFinite(n) ? n : null;
+}
+/**
+ * Build a numeric env Mod that moves `key` toward `factor`×current (clamped),
+ * or null if the current value is unknown or the move is a no-op / out of range.
+ */
+function scaleKnob(profile, key, factor) {
+    const cur = currentKnob(profile, key);
+    if (cur == null)
+        return null;
+    const next = clampKnob(key, cur * factor);
+    if (next === cur)
+        return null;
+    const mod = { kind: 'env', key, from: String(cur), to: String(next) };
+    return validateMod(mod).ok ? mod : null;
+}
+/**
+ * Deterministic heuristic proposer: maps each weakness kind to a minimal,
+ * known-good candidate Mod. This intentionally encodes the fixes that worked in
+ * the manual campaign (e.g. halving LLAMA_N_PREDICT for runaway generation).
+ */
+export const heuristicProposer = {
+    id: 'heuristic',
+    propose(weaknesses, profile) {
+        const out = [];
+        for (const w of weaknesses) {
+            const cand = HEURISTICS[w.kind]?.(profile);
+            if (cand && validateMod(cand).ok)
+                out.push(cand);
+        }
+        return out;
+    },
+};
+const HEURISTICS = {
+    // Runaway generation eating the wall-clock -> halve the per-turn cap.
+    'gen.runaway.npredict': (p) => scaleKnob(p, 'LLAMA_N_PREDICT', 0.5),
+    // Non-termination loops -> tighten the hard finalize ceiling.
+    'loop.nonterminate': (p) => scaleKnob(p, 'PROXY_HARD_FINALIZE_TURNS', 0.75),
+    // Wall-clock timeouts are usually runaway-driven on this stack -> cap n-predict.
+    'agent.timeout': (p) => scaleKnob(p, 'LLAMA_N_PREDICT', 0.5),
+    // Wrong answers -> append a "verify before done" directive to the gates block.
+    'verify.fail': () => ({
+        kind: 'scaffold',
+        component: 'gates',
+        op: 'append',
+        text: 'After writing, run the verify/test command and confirm exit 0 before declaring done. ' +
+            'If it fails, fix in place at the same path and re-run.',
+    }),
+    // Path garbling -> enable the mechanical path-normalizer middleware (P2). This
+    // snaps a garbled tool-call path to a path the model already used correctly,
+    // fixing the failure the instruction-level attempts couldn't (the small quant
+    // can't reliably follow "use the exact path").
+    'toolcall.path.garbled': () => ({
+        kind: 'middleware',
+        id: 'toolcall-path-normalizer',
+        params: { enabled: true },
+    }),
+};
+// Re-export so callers don't need the allow-list import path.
+export { KNOB_ALLOWLIST };
+//# sourceMappingURL=propose.js.map

package/dist/self-harness/propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../src/self-harness/propose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAA0B,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAS1F,6DAA6D;AAC7D,SAAS,SAAS,CAAC,GAAc,EAAE,KAAa;IAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,OAAuB,EAAE,GAAc;IAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,GAAG,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACtB,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,OAAuB,EAAE,GAAc,EAAE,MAAc;IACxE,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,GAAG,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,EAAE,EAAE,WAAW;IACf,OAAO,CAAC,UAA4B,EAAE,OAAuB;QAC3D,MAAM,GAAG,GAAU,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,GAAoE;IAClF,sEAAsE;IACtE,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC;IACnE,8DAA8D;IAC9D,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,2BAA2B,EAAE,IAAI,CAAC;IAC3E,iFAAiF;IACjF,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC;IAC5D,+EAA+E;IAC/E,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,UAAU;QAChB,SAAS,EAAE,OAAO;QAClB,EAAE,EAAE,QAAQ;QACZ,IAAI,EACF,uFAAuF;YACvF,wDAAwD;KAC3D,CAAC;IACF,+EAA+E;IAC/E,6EAA6E;IAC7E,8EAA8E;IAC9E,+CAA+C;IAC/C,uBAAuB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9B,IAAI,EAAE,YAAY;QAClB,EAAE,EAAE,0BAA0B;QAC9B,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;KAC1B,CAAC;CACH,CAAC;AAEF,8DAA8D;AAC9D,OAAO,EAAE,cAAc,EAAE,CAAC"}

package/dist/self-harness/trace-mine.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Self-Harness — online weakness mining from PRODUCTION traces (P3).
+ *
+ * The records-miner (mine.ts) needs a paired bench. Online mining works on real
+ * traffic from two sources:
+ *  - HALO spans (.uap/halo/traces.jsonl) — the `uap deliver` pipeline.
+ *  - Proxy log signals (journald) — the claude-local proxy path, where
+ *    toolcall.path.garbled actually surfaces (records can't distinguish it from a
+ *    logic error; the proxy's TOOLCALL PATH NORMALIZER line proves it occurred).
+ *
+ * Both produce the same ranked WeaknessReport[] keyed by stable signature.
+ * Mining is READ-ONLY; prod-mined proposals are enqueued for gated validation,
+ * never auto-applied (see pending.ts). docs/design/SELF_HARNESS.md §9.
+ */
+import { FailureKind, WeaknessReport } from './weakness.js';
+/** Minimal shape of a HALO span we classify (subset of HaloSpan). */
+export interface HaloSpanLike {
+    name?: string;
+    status?: {
+        code?: string;
+    };
+    attributes?: Record<string, unknown>;
+}
+/** Classify one HALO span into a FailureKind, or null if it's not a failure. */
+export declare function classifyHaloSpan(span: HaloSpanLike): FailureKind | null;
+/**
+ * Classify one proxy journal line. The proxy already logs the structured signals
+ * we care about; this turns them into FailureKinds for online mining.
+ */
+export declare function classifyProxyLogLine(line: string): FailureKind | null;
+export interface OnlineMineOptions {
+    model: string;
+    minFrequency?: number;
+}
+/** Mine weaknesses from HALO spans (the deliver pipeline). */
+export declare function mineFromHaloSpans(spans: HaloSpanLike[], opts: OnlineMineOptions): WeaknessReport[];
+/** Mine weaknesses from proxy journal lines (the claude-local proxy path). */
+export declare function mineFromProxyLogLines(lines: string[], opts: OnlineMineOptions): WeaknessReport[];
+//# sourceMappingURL=trace-mine.d.ts.map

package/dist/self-harness/trace-mine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-mine.d.ts","sourceRoot":"","sources":["../../src/self-harness/trace-mine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,WAAW,EACX,cAAc,EAGf,MAAM,eAAe,CAAC;AAEvB,qEAAqE;AACrE,MAAM,WAAW,YAAY;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACtC;AAED,gFAAgF;AAChF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,YAAY,GAAG,WAAW,GAAG,IAAI,CAmBvE;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAOrE;AAwCD,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,8DAA8D;AAC9D,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,iBAAiB,GAAG,cAAc,EAAE,CASlG;AAED,8EAA8E;AAC9E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,GAAG,cAAc,EAAE,CAUhG"}

package/dist/self-harness/trace-mine.js

@@ -0,0 +1,109 @@
+/**
+ * Self-Harness — online weakness mining from PRODUCTION traces (P3).
+ *
+ * The records-miner (mine.ts) needs a paired bench. Online mining works on real
+ * traffic from two sources:
+ *  - HALO spans (.uap/halo/traces.jsonl) — the `uap deliver` pipeline.
+ *  - Proxy log signals (journald) — the claude-local proxy path, where
+ *    toolcall.path.garbled actually surfaces (records can't distinguish it from a
+ *    logic error; the proxy's TOOLCALL PATH NORMALIZER line proves it occurred).
+ *
+ * Both produce the same ranked WeaknessReport[] keyed by stable signature.
+ * Mining is READ-ONLY; prod-mined proposals are enqueued for gated validation,
+ * never auto-applied (see pending.ts). docs/design/SELF_HARNESS.md §9.
+ */
+import { signatureHash, rankWeaknesses, } from './weakness.js';
+/** Classify one HALO span into a FailureKind, or null if it's not a failure. */
+export function classifyHaloSpan(span) {
+    const attrs = span.attributes ?? {};
+    const isError = (span.status?.code ?? '').toUpperCase().includes('ERROR');
+    const execErr = String(attrs['delivery.executor_error'] ?? '').toLowerCase();
+    const applyErr = String(attrs['delivery.apply_error'] ?? '').toLowerCase();
+    const err = `${execErr} ${applyErr}`.trim();
+    if (err.includes('timed out') || err.includes('timeout'))
+        return 'agent.timeout';
+    // An apply error mentioning a path/file that could not be located → garbled path.
+    if (applyErr && /(no such file|not found|does not exist|invalid path|outside)/.test(applyErr)) {
+        return 'toolcall.path.garbled';
+    }
+    if (err.includes('exit') || err.includes('spawn') || err.includes('killed'))
+        return 'agent.error';
+    // Gates failed but the turn produced output → a wrong/insufficient deliverable.
+    const gatesFailed = attrs['delivery.gates_failed'];
+    if (isError || (typeof gatesFailed === 'string' && gatesFailed) || (Array.isArray(gatesFailed) && gatesFailed.length)) {
+        return 'verify.fail';
+    }
+    return null;
+}
+/**
+ * Classify one proxy journal line. The proxy already logs the structured signals
+ * we care about; this turns them into FailureKinds for online mining.
+ */
+export function classifyProxyLogLine(line) {
+    if (line.includes('TOOLCALL PATH NORMALIZER'))
+        return 'toolcall.path.garbled';
+    if (line.includes('TURN-COUNT FINALIZE BREAKER'))
+        return 'loop.nonterminate';
+    if (line.includes('RECON CONVERGENCE') && line.includes('hard-escalated'))
+        return 'guardrail.poison.recon';
+    if (line.includes('exceeds the available context size'))
+        return 'gen.runaway.npredict';
+    if (line.includes('should_stop condition'))
+        return 'agent.timeout';
+    return null;
+}
+function aggregate(kinds, model, minFrequency) {
+    const byKind = new Map();
+    for (const { kind, task, evidence } of kinds) {
+        let a = byKind.get(kind);
+        if (!a) {
+            a = { count: 0, tasks: new Set(), evidence: [] };
+            byKind.set(kind, a);
+        }
+        a.count += 1;
+        a.tasks.add(task);
+        if (a.evidence.length < 5)
+            a.evidence.push(evidence);
+    }
+    const reports = [];
+    for (const [kind, a] of byKind) {
+        if (a.count < minFrequency)
+            continue;
+        reports.push({
+            signature: signatureHash({ kind, model }),
+            kind,
+            model,
+            frequency: a.count,
+            affectedTasks: [...a.tasks],
+            hypothesis: `Observed in production traces (${a.count}×).`,
+            evidence: a.evidence,
+        });
+    }
+    return rankWeaknesses(reports);
+}
+/** Mine weaknesses from HALO spans (the deliver pipeline). */
+export function mineFromHaloSpans(spans, opts) {
+    const hits = [];
+    for (const span of spans) {
+        const kind = classifyHaloSpan(span);
+        if (!kind)
+            continue;
+        const task = String(span.attributes?.['inference.project_id'] ?? span.name ?? 'unknown');
+        hits.push({ kind, task, evidence: `${span.name}: ${kind}` });
+    }
+    return aggregate(hits, opts.model, opts.minFrequency ?? 1);
+}
+/** Mine weaknesses from proxy journal lines (the claude-local proxy path). */
+export function mineFromProxyLogLines(lines, opts) {
+    const hits = [];
+    for (const line of lines) {
+        const kind = classifyProxyLogLine(line);
+        if (!kind)
+            continue;
+        // Sessions aren't tasks; use the proxy session fingerprint if present.
+        const m = /fp:[0-9a-f]+/.exec(line);
+        hits.push({ kind, task: m ? m[0] : 'proxy', evidence: line.slice(0, 160) });
+    }
+    return aggregate(hits, opts.model, opts.minFrequency ?? 1);
+}
+//# sourceMappingURL=trace-mine.js.map

package/dist/self-harness/trace-mine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-mine.js","sourceRoot":"","sources":["../../src/self-harness/trace-mine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAGL,aAAa,EACb,cAAc,GACf,MAAM,eAAe,CAAC;AASvB,gFAAgF;AAChF,MAAM,UAAU,gBAAgB,CAAC,IAAkB;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3E,MAAM,GAAG,GAAG,GAAG,OAAO,IAAI,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;IAE5C,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,eAAe,CAAC;IACjF,kFAAkF;IAClF,IAAI,QAAQ,IAAI,8DAA8D,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9F,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,aAAa,CAAC;IAClG,gFAAgF;IAChF,MAAM,WAAW,GAAG,KAAK,CAAC,uBAAuB,CAAC,CAAC;IACnD,IAAI,OAAO,IAAI,CAAC,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACtH,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,IAAI,IAAI,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QAAE,OAAO,uBAAuB,CAAC;IAC9E,IAAI,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC;QAAE,OAAO,mBAAmB,CAAC;IAC7E,IAAI,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,wBAAwB,CAAC;IAC3G,IAAI,IAAI,CAAC,QAAQ,CAAC,oCAAoC,CAAC;QAAE,OAAO,sBAAsB,CAAC;IACvF,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAAE,OAAO,eAAe,CAAC;IACnE,OAAO,IAAI,CAAC;AACd,CAAC;AAQD,SAAS,SAAS,CAChB,KAAsE,EACtE,KAAa,EACb,YAAoB;IAEpB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,EAAE,CAAC;QAC7C,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;QACD,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,KAAK,GAAG,YAAY;YAAE,SAAS;QACrC,OAAO,CAAC,IAAI,CAAC;YACX,SAAS,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACzC,IAAI;YACJ,KAAK;YACL,SAAS,EAAE,CAAC,CAAC,KAAK;YAClB,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAC3B,UAAU,EAAE,kCAAkC,CAAC,CAAC,KAAK,KAAK;YAC1D,QAAQ,EAAE,CAAC,CAAC,QAAQ;SACrB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AAOD,8DAA8D;AAC9D,MAAM,UAAU,iBAAiB,CAAC,KAAqB,EAAE,IAAuB;IAC9E,MAAM,IAAI,GAA4D,EAAE,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,sBAAsB,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC;QACzF,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,qBAAqB,CAAC,KAAe,EAAE,IAAuB;IAC5E,MAAM,IAAI,GAA4D,EAAE,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,uEAAuE;QACvE,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC;AAC7D,CAAC"}

package/dist/self-harness/transfer.d.ts

@@ -0,0 +1,99 @@
+/**
+ * Self-Harness — cross-model transfer store (P3).
+ *
+ * Addresses the paper's stated limitation (fixes stay model-specific). Every
+ * accepted Mod is recorded keyed by (model family, failure kind, signature) with
+ * its measured delta + provenance. When a NEW model hits the same failure KIND,
+ * the proposer seeds from Mods that already worked for that kind on OTHER models
+ * — those still go through full validation (transfer is a prior, not a shortcut),
+ * and negative results are recorded so known-bad Mods are not re-proposed.
+ *
+ * See docs/design/SELF_HARNESS.md §8, §11 (P3).
+ */
+import { Mod } from './mods.js';
+import { FailureKind } from './weakness.js';
+import type { Proposer } from './propose.js';
+export interface TransferEntry {
+    /** Full (model-specific) signature the Mod was mined against. */
+    signature: string;
+    kind: FailureKind;
+    /** Normalized model family the Mod was validated on. */
+    model: string;
+    mod: Mod;
+    /** Measured validation correctness delta when accepted (or rejected: <=0). */
+    delta: number;
+    /** Whether this entry was an acceptance (true) or a recorded rejection (false). */
+    accepted: boolean;
+    /** ISO timestamp; provenance string (suite, n, stats). */
+    validatedAt: string;
+    provenance: string;
+}
+/** Structural identity of a Mod, for de-duplication across sources. */
+export declare function modKey(mod: Mod): string;
+export declare function dedupeMods(mods: Mod[]): Mod[];
+export interface TransferQueryOptions {
+    /** Exclude entries already validated on this (normalized) model family. */
+    excludeModel?: string;
+    /** Only entries that were ACCEPTED (positive). Default true. */
+    acceptedOnly?: boolean;
+}
+export interface PruneOptions {
+    /** Drop ACCEPTED entries whose measured delta is <= this (no longer worth
+     * transferring — the ablation idea: stop carrying a Mod that stopped paying
+     * off). Default 0 (keep only strictly-positive accepted). */
+    minDelta?: number;
+    /** Drop ANY entry older than this many days. Default 90. */
+    maxAgeDays?: number;
+    /** Override "now" (ms epoch) for deterministic tests. */
+    now?: number;
+}
+export interface PruneResult {
+    removed: TransferEntry[];
+    kept: number;
+}
+export interface TransferStore {
+    record(entry: TransferEntry): void;
+    /** Cross-model lookup by failure kind, ranked by measured delta (desc). */
+    query(kind: FailureKind, opts?: TransferQueryOptions): TransferEntry[];
+    all(): TransferEntry[];
+    /** Ablation-prune: drop stale / no-longer-paying-off entries. */
+    prune(opts?: PruneOptions): PruneResult;
+}
+/** In-memory store (tests, ephemeral runs). */
+export declare class MemoryTransferStore implements TransferStore {
+    protected entries: TransferEntry[];
+    record(entry: TransferEntry): void;
+    query(kind: FailureKind, opts?: TransferQueryOptions): TransferEntry[];
+    all(): TransferEntry[];
+    prune(opts?: PruneOptions): PruneResult;
+}
+/** JSON-file-backed store (persisted across runs; default under .uap/self-harness). */
+export declare class JsonTransferStore extends MemoryTransferStore {
+    private readonly path;
+    constructor(path: string);
+    record(entry: TransferEntry): void;
+    prune(opts?: PruneOptions): PruneResult;
+    private persist;
+}
+/** Build a TransferEntry from an accepted/rejected Mod + measured delta. */
+export declare function makeEntry(args: {
+    signature: string;
+    kind: FailureKind;
+    model: string;
+    mod: Mod;
+    delta: number;
+    accepted: boolean;
+    validatedAt: string;
+    provenance: string;
+}): TransferEntry;
+/** One-line description of a transfer entry, for `uap self-harness transfer` output. */
+export declare function describeEntry(e: TransferEntry): string;
+/**
+ * Wrap a base proposer so it SEEDS candidates from the transfer store: for each
+ * weakness, Mods that worked for the same failure kind on OTHER model families
+ * are proposed first (as priors that still get fully validated), then the base
+ * proposer's candidates. De-duped so a transferred Mod the base would also emit
+ * isn't validated twice.
+ */
+export declare function makeTransferProposer(store: TransferStore, base: Proposer): Proposer;
+//# sourceMappingURL=transfer.d.ts.map

package/dist/self-harness/transfer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transfer.d.ts","sourceRoot":"","sources":["../../src/self-harness/transfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,GAAG,EAA4B,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAkC,MAAM,eAAe,CAAC;AAC5E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAG7C,MAAM,WAAW,aAAa;IAC5B,iEAAiE;IACjE,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,GAAG,CAAC;IACT,8EAA8E;IAC9E,KAAK,EAAE,MAAM,CAAC;IACd,mFAAmF;IACnF,QAAQ,EAAE,OAAO,CAAC;IAClB,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,uEAAuE;AACvE,wBAAgB,MAAM,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CASvC;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,CAW7C;AAED,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B;;iEAE6D;IAC7D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI,CAAC;IACnC,2EAA2E;IAC3E,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,oBAAoB,GAAG,aAAa,EAAE,CAAC;IACvE,GAAG,IAAI,aAAa,EAAE,CAAC;IACvB,iEAAiE;IACjE,KAAK,CAAC,IAAI,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC;CACzC;AAED,+CAA+C;AAC/C,qBAAa,mBAAoB,YAAW,aAAa;IACvD,SAAS,CAAC,OAAO,EAAE,aAAa,EAAE,CAAM;IAExC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI;IAOlC,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,GAAE,oBAAyB,GAAG,aAAa,EAAE;IAU1E,GAAG,IAAI,aAAa,EAAE;IAItB,KAAK,CAAC,IAAI,GAAE,YAAiB,GAAG,WAAW;CAiB5C;AAED,uFAAuF;AACvF,qBAAa,iBAAkB,SAAQ,mBAAmB;IAC5C,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAAJ,IAAI,EAAE,MAAM;IAWhC,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,IAAI;IAKlC,KAAK,CAAC,IAAI,GAAE,YAAiB,GAAG,WAAW;IAMpD,OAAO,CAAC,OAAO;CAIhB;AAED,4EAA4E;AAC5E,wBAAgB,SAAS,CAAC,IAAI,EAAE;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,GAAG,CAAC;IACT,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,GAAG,aAAa,CAEhB;AAED,wFAAwF;AACxF,wBAAgB,aAAa,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,CAGtD;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAanF"}