@miller-tech/uap 1.60.0 → 1.61.0

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

@@ -0,0 +1,61 @@
+/**
+ * Self-Harness — the P1 orchestrator: one autonomous mine -> propose -> validate
+ * -> decide iteration.
+ *
+ * The `validate` dependency is INJECTED so the loop is testable without the slow
+ * paired bench: tests pass a stub; the CLI wires a real validator that runs
+ * `runPaired` + `analyze` on the validation and held-out suites (and, for env
+ * Mods, physically applies the env edit + restarts the server around the run).
+ * Each candidate is validated in isolation; rejected Mods are reverted, accepted
+ * Mods are recorded into the profile and logged. Budget-bounded.
+ *
+ * See docs/design/SELF_HARNESS.md §3, §7, §11 (P1).
+ */
+import type { RunRecord } from '../benchmarks/paired/types.js';
+import type { Comparison } from '../benchmarks/paired/report.js';
+import { Mod } from './mods.js';
+import { WeaknessReport } from './weakness.js';
+import { Proposer } from './propose.js';
+import { Decision, DecisionOptions } from './decide.js';
+import { HarnessProfile } from './profile.js';
+import { TransferStore } from './transfer.js';
+export interface ValidationOutcome {
+    validation: Comparison;
+    /** Held-out comparison; null when the held-out suite was skipped. */
+    heldout: Comparison | null;
+}
+export type Validator = (mod: Mod) => Promise<ValidationOutcome>;
+export interface OrchestratorOptions {
+    model: string;
+    /** Records mined for weaknesses (e.g. a prior baseline bench). */
+    records: RunRecord[];
+    profile: HarnessProfile;
+    validate: Validator;
+    proposer?: Proposer;
+    /** Max candidate Mods to validate this iteration (token/time budget). Default 3. */
+    maxCandidates?: number;
+    decision?: DecisionOptions;
+    minFrequency?: number;
+    log?: (msg: string) => void;
+    /** Optional cross-model transfer store; outcomes are recorded into it (P3). */
+    transferStore?: TransferStore;
+    /** ISO timestamp + provenance string stamped on recorded transfer entries. */
+    validatedAt?: string;
+    provenance?: string;
+}
+export interface CandidateOutcome {
+    mod: Mod;
+    decision: Decision;
+    accepted: boolean;
+}
+export interface IterationResult {
+    weaknesses: WeaknessReport[];
+    proposed: Mod[];
+    outcomes: CandidateOutcome[];
+    accepted: Mod[];
+    /** Profile after applying all accepted Mods. */
+    profile: HarnessProfile;
+}
+/** Run one self-harness iteration. */
+export declare function runIteration(opts: OrchestratorOptions): Promise<IterationResult>;
+//# sourceMappingURL=orchestrator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/self-harness/orchestrator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,GAAG,EAAe,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAqB,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAgB,QAAQ,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAqB,MAAM,eAAe,CAAC;AAEjE,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,UAAU,CAAC;IACvB,qEAAqE;IACrE,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;CAC5B;AAED,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAEjE,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,kEAAkE;IAClE,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,OAAO,EAAE,cAAc,CAAC;IACxB,QAAQ,EAAE,SAAS,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,oFAAoF;IACpF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;IAC5B,+EAA+E;IAC/E,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,8EAA8E;IAC9E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,GAAG,CAAC;IACT,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,QAAQ,EAAE,GAAG,EAAE,CAAC;IAChB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,QAAQ,EAAE,GAAG,EAAE,CAAC;IAChB,gDAAgD;IAChD,OAAO,EAAE,cAAc,CAAC;CACzB;AAED,sCAAsC;AACtC,wBAAsB,YAAY,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,CAiEtF"}

package/dist/self-harness/orchestrator.js

@@ -0,0 +1,110 @@
+/**
+ * Self-Harness — the P1 orchestrator: one autonomous mine -> propose -> validate
+ * -> decide iteration.
+ *
+ * The `validate` dependency is INJECTED so the loop is testable without the slow
+ * paired bench: tests pass a stub; the CLI wires a real validator that runs
+ * `runPaired` + `analyze` on the validation and held-out suites (and, for env
+ * Mods, physically applies the env edit + restarts the server around the run).
+ * Each candidate is validated in isolation; rejected Mods are reverted, accepted
+ * Mods are recorded into the profile and logged. Budget-bounded.
+ *
+ * See docs/design/SELF_HARNESS.md §3, §7, §11 (P1).
+ */
+import { describeMod } from './mods.js';
+import { mineFromRecords } from './mine.js';
+import { heuristicProposer } from './propose.js';
+import { decideAccept } from './decide.js';
+import { modKey, makeEntry } from './transfer.js';
+/** Run one self-harness iteration. */
+export async function runIteration(opts) {
+    const log = opts.log ?? (() => { });
+    const proposer = opts.proposer ?? heuristicProposer;
+    const maxC = opts.maxCandidates ?? 3;
+    // Stage 1 — mine
+    const weaknesses = mineFromRecords(opts.records, {
+        model: opts.model,
+        minFrequency: opts.minFrequency,
+    });
+    log(`mined ${weaknesses.length} weakness(es): ${weaknesses.map((w) => w.kind).join(', ') || '(none)'}`);
+    // Stage 2 — propose (bounded, minimal)
+    const proposed = proposer.propose(weaknesses, opts.profile).slice(0, maxC);
+    log(`proposed ${proposed.length} candidate Mod(s) via ${proposer.id}`);
+    // Stage 3+4 — validate + decide, each candidate in isolation
+    const outcomes = [];
+    const accepted = [];
+    let profile = opts.profile;
+    for (const mod of proposed) {
+        log(`validating: ${describeMod(mod)}`);
+        let decision;
+        try {
+            const { validation, heldout } = await opts.validate(mod);
+            decision = decideAccept(validation, heldout, opts.decision);
+        }
+        catch (e) {
+            decision = {
+                verdict: 'reject',
+                reason: `validation error: ${e instanceof Error ? e.message : String(e)}`,
+                validationDelta: NaN,
+                heldoutDelta: null,
+            };
+        }
+        const ok = decision.verdict === 'accept';
+        log(`  -> ${decision.verdict.toUpperCase()}: ${decision.reason}`);
+        outcomes.push({ mod, decision, accepted: ok });
+        if (ok) {
+            accepted.push(mod);
+            profile = applyAcceptedToProfile(profile, mod);
+        }
+        // Record the outcome (accept OR reject) into the transfer store, attributed
+        // to the weakness whose heuristic produced this Mod, so the fix transfers to
+        // future models and known-bad Mods aren't re-proposed.
+        if (opts.transferStore) {
+            const w = attributeWeakness(mod, weaknesses, proposer, profile);
+            if (w) {
+                opts.transferStore.record(makeEntry({
+                    signature: w.signature,
+                    kind: w.kind,
+                    model: opts.model,
+                    mod,
+                    delta: Number.isFinite(decision.validationDelta) ? decision.validationDelta : 0,
+                    accepted: ok,
+                    validatedAt: opts.validatedAt ?? '',
+                    provenance: opts.provenance ?? 'self-harness iteration',
+                }));
+            }
+        }
+    }
+    return { weaknesses, proposed, outcomes, accepted, profile };
+}
+/**
+ * Attribute a Mod back to the weakness that produced it, by re-running the
+ * proposer on each single weakness and matching by structural key. Works for the
+ * heuristic and transfer proposers (deterministic kind -> Mod mapping).
+ */
+function attributeWeakness(mod, weaknesses, proposer, profile) {
+    const target = modKey(mod);
+    for (const w of weaknesses) {
+        if (proposer.propose([w], profile).some((m) => modKey(m) === target))
+            return w;
+    }
+    return null;
+}
+/** Fold an accepted Mod into the in-memory profile (env/scaffold/middleware). */
+function applyAcceptedToProfile(profile, mod) {
+    switch (mod.kind) {
+        case 'env':
+            return { ...profile, env: { ...profile.env, [mod.key]: mod.to } };
+        case 'scaffold': {
+            const prev = profile.scaffold[mod.component] ?? '';
+            const text = mod.op === 'append' ? `${prev}\n${mod.text}`.trim() : mod.text;
+            return { ...profile, scaffold: { ...profile.scaffold, [mod.component]: text } };
+        }
+        case 'middleware':
+            return {
+                ...profile,
+                middleware: { ...profile.middleware, [mod.id]: { ...mod.params } },
+            };
+    }
+}
+//# sourceMappingURL=orchestrator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../src/self-harness/orchestrator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAO,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAY,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,YAAY,EAA6B,MAAM,aAAa,CAAC;AAEtE,OAAO,EAAiB,MAAM,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AA4CjE,sCAAsC;AACtC,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAyB;IAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,iBAAiB,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC;IAErC,iBAAiB;IACjB,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE;QAC/C,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,YAAY,EAAE,IAAI,CAAC,YAAY;KAChC,CAAC,CAAC;IACH,GAAG,CAAC,SAAS,UAAU,CAAC,MAAM,kBAAkB,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IAExG,uCAAuC;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3E,GAAG,CAAC,YAAY,QAAQ,CAAC,MAAM,yBAAyB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IAEvE,6DAA6D;IAC7D,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAU,EAAE,CAAC;IAC3B,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAE3B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,GAAG,CAAC,eAAe,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,QAAkB,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACzD,QAAQ,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,QAAQ,GAAG;gBACT,OAAO,EAAE,QAAQ;gBACjB,MAAM,EAAE,qBAAqB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;gBACzE,eAAe,EAAE,GAAG;gBACpB,YAAY,EAAE,IAAI;aACnB,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC;QACzC,GAAG,CAAC,QAAQ,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,EAAE,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,OAAO,GAAG,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACjD,CAAC;QACD,4EAA4E;QAC5E,6EAA6E;QAC7E,uDAAuD;QACvD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAChE,IAAI,CAAC,EAAE,CAAC;gBACN,IAAI,CAAC,aAAa,CAAC,MAAM,CACvB,SAAS,CAAC;oBACR,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,GAAG;oBACH,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;oBAC/E,QAAQ,EAAE,EAAE;oBACZ,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;oBACnC,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,wBAAwB;iBACxD,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CACxB,GAAQ,EACR,UAA4B,EAC5B,QAAkB,EAClB,OAAuB;IAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;YAAE,OAAO,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,SAAS,sBAAsB,CAAC,OAAuB,EAAE,GAAQ;IAC/D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,KAAK;YACR,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;QACpE,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;YAC5E,OAAO,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QAClF,CAAC;QACD,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,OAAO;gBACV,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,EAAE;aACnE,CAAC;IACN,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,57 @@
+/**
+ * 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 { Mod } from './mods.js';
+import { FailureKind } from './weakness.js';
+export type PromotionGate = 'auto-after-validation' | 'human';
+/**
+ * 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 declare function promotionGate(mod: Mod): PromotionGate;
+export interface PendingProposal {
+    id: string;
+    signature: string;
+    kind: FailureKind;
+    model: string;
+    mod: Mod;
+    gate: PromotionGate;
+    /** Where it came from: 'halo' | 'proxy-log' | transfer source. */
+    source: string;
+    frequency: number;
+    createdAt: string;
+    status: 'pending' | 'validated' | 'rejected' | 'promoted';
+    /** Set once validated. */
+    validationDelta?: number;
+    note?: string;
+}
+export declare class PendingQueue {
+    private readonly path;
+    private items;
+    constructor(path: string);
+    private persist;
+    /** Enqueue a proposal, de-duped by (model, signature, mod-shape) while pending. */
+    enqueue(p: Omit<PendingProposal, 'gate' | 'status' | 'createdAt'> & {
+        createdAt: string;
+    }): PendingProposal;
+    list(status?: PendingProposal['status']): PendingProposal[];
+    update(id: string, patch: Partial<PendingProposal>): void;
+    /**
+     * 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?: {
+        maxAgeDays?: number;
+        maxPendingDays?: number;
+        now?: number;
+    }): PendingProposal[];
+}
+//# sourceMappingURL=pending.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pending.d.ts","sourceRoot":"","sources":["../../src/self-harness/pending.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,MAAM,MAAM,aAAa,GAAG,uBAAuB,GAAG,OAAO,CAAC;AAE9D;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,aAAa,CAErD;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,GAAG,CAAC;IACT,IAAI,EAAE,aAAa,CAAC;IACpB,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;IAC1D,0BAA0B;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,qBAAa,YAAY;IAGX,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFjC,OAAO,CAAC,KAAK,CAAyB;gBAET,IAAI,EAAE,MAAM;IAUzC,OAAO,CAAC,OAAO;IAKf,mFAAmF;IACnF,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,eAAe;IAgB3G,IAAI,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,GAAG,eAAe,EAAE;IAI3D,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI;IAQzD;;;;OAIG;IACH,KAAK,CAAC,IAAI,GAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,cAAc,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,eAAe,EAAE;CAkBpG"}

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"}