@principles/core 1.151.0 → 1.152.0

package/dist/runtime-v2/adapter/artificer-l2-adapter.js

@@ -0,0 +1,307 @@
+/**
+ * ArtificerL2Adapter (RuleHost MVP Activation, ADR-0014 Amendment 2026-06-17,
+ * PRD Decision 8, PRI-424).
+ *
+ * A PDRuntimeAdapter that runs Artificer through a write-test-fix loop:
+ *   generate code (LLM) → validate → sandbox replay → on failure, inject
+ *   RefinerSandboxFailedCase[] feedback into the next attempt → regenerate.
+ *   Max 3 attempts. On exhaustion, degrade to a V1 output (plan only, no code
+ *   fields) so the downstream Evaluator's isArtificerOutputV2() returns false
+ *   and the principle-artifact path remains usable.
+ *
+ * Why the loop lives in the adapter (not in BasePeerRunner.succeedTask):
+ *   BasePeerRunner.run() is strictly linear (lease → buildContext → invokeRuntime
+ *   → poll → fetch → validate → succeedTask). succeedTask runs AFTER invokeRuntime
+ *   returns a terminal output and cannot loop back to invokeRuntime. Encapsulating
+ *   the write-test-fix loop inside a PDRuntimeAdapter (like Dreamer's
+ *   L2AgentLoopAdapter) keeps BasePeerRunner unchanged — it still sees a single
+ *   startRun() that blocks until the loop finishes.
+ *
+ * Testability: the LLM call is an injected `generateCode` function (mockable).
+ * Sandbox replay uses the real evaluateRefinerRuleHostGate with an injected
+ * RefinerRuleHostGateDeps. No real LLM calls in tests.
+ *
+ * ERR considerations (EP-05 Loop State Freshness):
+ *   - Each attempt reads FRESH sandbox errors. The feedback string injected into
+ *     attempt N+1 is built from attempt N's RefinerSandboxFailedCase[], never
+ *     from a stale earlier attempt. (ERR-015/018/019)
+ *   - The recorded output is always from the attempt that produced it, not a
+ *     blend of multiple attempts.
+ */
+import { randomUUID } from 'node:crypto';
+import { evaluateRefinerRuleHostGate } from '../internalization/refiner-rulehost-gate.js';
+import { isArtificerOutputV2 } from '../internalization/artificer-output.js';
+import { buildGoldenTraceFromArtificer } from '../golden-trace.js';
+import { PDRuntimeError } from '../error-categories.js';
+import { storeEmitter } from '../store/event-emitter.js';
+import { safeStringifyPreview, truncatePreview } from './output-repair-contract.js';
+const DEFAULT_MAX_ATTEMPTS = 3;
+const MAX_RETAINED_RUNS = 100;
+/** Build the feedback string injected into the next LLM attempt. */
+function isRecord(v) {
+    return v !== null && typeof v === 'object' && !Array.isArray(v);
+}
+/**
+ * Ensure the candidate carries the expected taskId (LLM may echo a stale or
+ * example id). Only fills when absent via Object.hasOwn — present-but-wrong
+ * values reach the validator and fail loud (Runtime Contract Rule 3).
+ */
+function injectTaskId(candidate, taskId) {
+    if (isRecord(candidate) && !Object.hasOwn(candidate, 'taskId')) {
+        candidate.taskId = taskId;
+    }
+    return candidate;
+}
+function formatSandboxFeedback(failedCases) {
+    const lines = failedCases.map((c) => `- caseId: ${c.caseId} | errorType: ${c.errorType} | message: ${c.message}`);
+    return [
+        '--- Previous sandbox replay failures (fix these) ---',
+        ...lines,
+        '--- end failures ---',
+    ].join('\n');
+}
+/**
+ * Strip the V2 code fields from an output, producing a V1-compatible object
+ * (plan + lineage only). Used on L2 exhaustion so the principle-artifact path
+ * still works. Returns a fresh object; does not mutate the input.
+ */
+function degradeToV1(v2) {
+    const { implementationCode: _code, goldenTraceCases: _cases, affectedTools: _tools, ...v1 } = v2;
+    void _code;
+    void _cases;
+    void _tools;
+    return v1;
+}
+export class ArtificerL2Adapter {
+    config;
+    generateCode;
+    gateDeps;
+    validator;
+    eventEmitter;
+    runs = new Map();
+    constructor(config) {
+        const maxAttempts = config.maxAttempts ?? DEFAULT_MAX_ATTEMPTS;
+        if (!Number.isInteger(maxAttempts) || maxAttempts <= 0) {
+            throw new RangeError('maxAttempts must be a positive integer');
+        }
+        this.generateCode = config.generateCode;
+        this.gateDeps = config.gateDeps;
+        this.validator = config.validator;
+        this.eventEmitter = config.eventEmitter ?? storeEmitter;
+        this.config = { maxAttempts };
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this -- required by interface
+    kind() {
+        return 'pi-ai-l2';
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this -- required by interface
+    async getCapabilities() {
+        return {
+            supportsStructuredJsonOutput: true,
+            supportsToolUse: false,
+            supportsWorkingDirectory: false,
+            supportsModelSelection: true,
+            supportsLongRunningSessions: false,
+            supportsCancellation: true,
+            supportsArtifactWriteBack: false,
+            supportsConcurrentRuns: false,
+            supportsStreaming: false,
+        };
+    }
+    async refreshCapabilities() {
+        return this.getCapabilities();
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this -- required by interface
+    async healthCheck() {
+        return {
+            healthy: true,
+            degraded: false,
+            warnings: [],
+            lastCheckedAt: new Date().toISOString(),
+        };
+    }
+    async startRun(input) {
+        const runId = randomUUID();
+        const startedAt = new Date().toISOString();
+        const taskId = input.taskRef?.taskId ?? runId;
+        const initialPrompt = typeof input.inputPayload === 'string'
+            ? truncatePreview(input.inputPayload, 50_000)
+            : safeStringifyPreview(input.inputPayload, 50_000);
+        const runState = {
+            runId,
+            startedAt,
+            endedAt: startedAt,
+            status: 'failed',
+            output: null,
+        };
+        this.runs.set(runId, runState);
+        this.evictOldRuns();
+        let lastValidV2 = null;
+        let lastFailureFeedback = null;
+        for (let attempt = 1; attempt <= this.config.maxAttempts; attempt += 1) {
+            // Build prompt: initial + (on retry) the IMMEDIATELY-PRIOR attempt's failure feedback.
+            // EP-05: lastFailureFeedback is reassigned each iteration from the current attempt's
+            // sandbox result, so attempt N+1 always sees attempt N's errors, never stale ones.
+            const prompt = lastFailureFeedback === null
+                ? initialPrompt
+                : `${initialPrompt}\n\n${lastFailureFeedback}`;
+            let candidateRaw;
+            try {
+                candidateRaw = await this.generateCode(prompt);
+            }
+            catch (err) {
+                // LLM call threw — record and continue to next attempt (or degrade).
+                const llmError = err instanceof Error ? err.message : String(err);
+                lastFailureFeedback = `--- LLM call failed ---\n${llmError}`;
+                this.emitAttempt({ taskId, runId, attempt, decision: 'llm_error' });
+                continue;
+            }
+            // Validate the candidate. taskId is injected for lineage consistency.
+            const candidateWithTaskId = injectTaskId(candidateRaw, taskId);
+            const validation = await this.validator.validate(candidateWithTaskId, taskId);
+            if (!validation.valid) {
+                // Malformed output (e.g. missing affectedTools). Feed the validator errors back.
+                // P2 fix: do NOT update lastValidV2 here — degradation must only trust candidates
+                // that PASSED validation, otherwise we'd emit an unvalidated V1 downstream.
+                lastFailureFeedback = `--- Validator rejected previous output ---\n${validation.errors.join('\n')}`;
+                this.emitAttempt({ taskId, runId, attempt, decision: 'validator_rejected' });
+                continue;
+            }
+            // V1 output (no code fields) — nothing to replay. Accept as-is (L1 equivalent).
+            if (!isArtificerOutputV2(candidateWithTaskId)) {
+                this.emitAttempt({ taskId, runId, attempt, decision: 'v1_accepted' });
+                this.emitComplete({ taskId, runId, attempts: attempt, degraded: false, succeeded: true });
+                this.completeRun(runId, 'succeeded', candidateWithTaskId);
+                return this.runHandle(runId, startedAt);
+            }
+            const v2 = candidateWithTaskId;
+            lastValidV2 = v2;
+            // Build the GoldenTrace for sandbox replay.
+            const traceResult = buildGoldenTraceFromArtificer({
+                cases: v2.goldenTraceCases,
+                sourceArtifactId: undefined,
+            });
+            if (!traceResult.ok) {
+                lastFailureFeedback = `--- Golden trace build failed ---\n${traceResult.reason}`;
+                this.emitAttempt({ taskId, runId, attempt, decision: 'trace_build_failed' });
+                continue;
+            }
+            // Sandbox replay.
+            const gateResult = evaluateRefinerRuleHostGate({ code: v2.implementationCode, goldenTrace: traceResult.trace }, this.gateDeps);
+            if (gateResult.decision === 'accepted_shadow') {
+                // Success — store the V2 output.
+                this.emitAttempt({ taskId, runId, attempt, decision: 'replay_passed' });
+                this.emitComplete({ taskId, runId, attempts: attempt, degraded: false, succeeded: true });
+                this.completeRun(runId, 'succeeded', v2);
+                return this.runHandle(runId, startedAt);
+            }
+            // Replay failed — capture THIS attempt's failures for the next prompt (EP-05).
+            const { failedCases } = gateResult.sandboxResult;
+            lastFailureFeedback = failedCases.length > 0
+                ? formatSandboxFeedback(failedCases)
+                : `--- Sandbox replay failed ---\n${gateResult.decision}: ${gateResult.reasons.join('; ')}`;
+            this.emitAttempt({ taskId, runId, attempt, decision: 'replay_failed' });
+        }
+        // Exhaustion: degrade to V1 if we ever saw a VALIDATED V2 candidate, else fail.
+        if (lastValidV2) {
+            const v1 = degradeToV1(lastValidV2);
+            this.emitComplete({ taskId, runId, attempts: this.config.maxAttempts, degraded: true, succeeded: false });
+            this.completeRun(runId, 'succeeded', v1);
+            return this.runHandle(runId, startedAt);
+        }
+        // No validated candidate ever produced — fail loud (Runtime Contract Rule 9).
+        // Throw PDRuntimeError so BasePeerRunner's handlePostLeaseError handles it
+        // (aligns with Dreamer L2's failure pattern in L2AgentLoopAdapter).
+        runState.status = 'failed';
+        runState.endedAt = new Date().toISOString();
+        runState.reason = `Artificer L2 exhausted ${this.config.maxAttempts} attempts without a validated candidate`;
+        this.emitComplete({ taskId, runId, attempts: this.config.maxAttempts, degraded: false, succeeded: false });
+        throw new PDRuntimeError('output_invalid', runState.reason, { nextAction: 'inspect artificer L2 feedback chain; verify LLM produces parseable ArtificerOutputV1/V2' });
+    }
+    async pollRun(runId) {
+        const state = this.runs.get(runId);
+        if (!state) {
+            return { runId, status: 'failed', reason: 'run not found' };
+        }
+        return {
+            runId: state.runId,
+            status: state.status,
+            startedAt: state.startedAt,
+            endedAt: state.endedAt,
+            reason: state.reason,
+        };
+    }
+    async cancelRun(runId) {
+        const state = this.runs.get(runId);
+        if (state && state.status !== 'succeeded') {
+            state.status = 'failed';
+            state.endedAt = new Date().toISOString();
+            state.reason = 'cancelled';
+        }
+    }
+    async fetchOutput(runId) {
+        const state = this.runs.get(runId);
+        return state?.output ?? null;
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this -- required by interface
+    async fetchArtifacts(_runId) {
+        return [];
+    }
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this -- required by interface, no-op for L2 artificer
+    async appendContext(_runId, _items) {
+        // No-op: L2 artificer builds its full prompt in startRun.
+    }
+    // ── internals ──────────────────────────────────────────────────────────────
+    completeRun(runId, status, payload) {
+        const state = this.runs.get(runId);
+        if (!state)
+            return;
+        state.status = status;
+        state.endedAt = new Date().toISOString();
+        state.output = { runId, payload };
+    }
+    runHandle(runId, startedAt) {
+        // RunHandleSchema = { runId, runtimeKind, startedAt } — no status field.
+        // The run's terminal status is reported via pollRun(), not the handle.
+        return {
+            runId,
+            runtimeKind: this.kind(),
+            startedAt,
+        };
+    }
+    emitAttempt(opts) {
+        this.eventEmitter.emitTelemetry({
+            eventType: 'artificer_l2_attempt',
+            traceId: opts.taskId,
+            timestamp: new Date().toISOString(),
+            sessionId: 'l2-adapter',
+            agentId: 'artificer-l2',
+            payload: { runId: opts.runId, attempt: opts.attempt, decision: opts.decision },
+        });
+    }
+    emitComplete(opts) {
+        this.eventEmitter.emitTelemetry({
+            eventType: 'artificer_l2_complete',
+            traceId: opts.taskId,
+            timestamp: new Date().toISOString(),
+            sessionId: 'l2-adapter',
+            agentId: 'artificer-l2',
+            payload: {
+                runId: opts.runId,
+                attempts: opts.attempts,
+                degraded: opts.degraded,
+                succeeded: opts.succeeded,
+            },
+        });
+    }
+    evictOldRuns() {
+        if (this.runs.size <= MAX_RETAINED_RUNS)
+            return;
+        const excess = this.runs.size - MAX_RETAINED_RUNS;
+        const keys = [...this.runs.keys()].slice(0, excess);
+        for (const key of keys) {
+            this.runs.delete(key);
+        }
+    }
+}
+//# sourceMappingURL=artificer-l2-adapter.js.map

package/dist/runtime-v2/adapter/artificer-l2-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-l2-adapter.js","sourceRoot":"","sources":["../../../src/runtime-v2/adapter/artificer-l2-adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAczC,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAG1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AA+BpF,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAE9B,oEAAoE;AACpE,SAAS,QAAQ,CAAC,CAAU;IAC1B,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,SAAkB,EAAE,MAAc;IACtD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/D,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAuC;IACpE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,SAAS,eAAe,CAAC,CAAC,OAAO,EAAE,CACnF,CAAC;IACF,OAAO;QACL,sDAAsD;QACtD,GAAG,KAAK;QACR,sBAAsB;KACvB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,EAAqB;IACxC,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;IACjG,KAAK,KAAK,CAAC;IACX,KAAK,MAAM,CAAC;IACZ,KAAK,MAAM,CAAC;IACZ,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,OAAO,kBAAkB;IACZ,MAAM,CAAuG;IAC7G,YAAY,CAA4B;IACxC,QAAQ,CAA0B;IAClC,SAAS,CAAqB;IAC9B,YAAY,CAAoB;IAChC,IAAI,GAAG,IAAI,GAAG,EAA+B,CAAC;IAE/D,YAAY,MAAgC;QAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,oBAAoB,CAAC;QAC/D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,UAAU,CAAC,wCAAwC,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;QACxC,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QAChC,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAClC,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,YAAY,CAAC;QACxD,IAAI,CAAC,MAAM,GAAG,EAAE,WAAW,EAAE,CAAC;IAChC,CAAC;IAED,8FAA8F;IAC9F,IAAI;QACF,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,8FAA8F;IAC9F,KAAK,CAAC,eAAe;QACnB,OAAO;YACL,4BAA4B,EAAE,IAAI;YAClC,eAAe,EAAE,KAAK;YACtB,wBAAwB,EAAE,KAAK;YAC/B,sBAAsB,EAAE,IAAI;YAC5B,2BAA2B,EAAE,KAAK;YAClC,oBAAoB,EAAE,IAAI;YAC1B,yBAAyB,EAAE,KAAK;YAChC,sBAAsB,EAAE,KAAK;YAC7B,iBAAiB,EAAE,KAAK;SACzB,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,mBAAmB;QACvB,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC;IAChC,CAAC;IAED,8FAA8F;IAC9F,KAAK,CAAC,WAAW;QACf,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,EAAE;YACZ,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACxC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,KAAoB;QACjC,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,IAAI,KAAK,CAAC;QAC9C,MAAM,aAAa,GAAG,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ;YAC1D,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC;YAC7C,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAErD,MAAM,QAAQ,GAAwB;YACpC,KAAK;YACL,SAAS;YACT,OAAO,EAAE,SAAS;YAClB,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,IAAI;SACb,CAAC;QACF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC/B,IAAI,CAAC,YAAY,EAAE,CAAC;QAEpB,IAAI,WAAW,GAA6B,IAAI,CAAC;QACjD,IAAI,mBAAmB,GAAkB,IAAI,CAAC;QAE9C,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YACvE,uFAAuF;YACvF,qFAAqF;YACrF,mFAAmF;YACnF,MAAM,MAAM,GAAG,mBAAmB,KAAK,IAAI;gBACzC,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,GAAG,aAAa,OAAO,mBAAmB,EAAE,CAAC;YAEjD,IAAI,YAAqB,CAAC;YAC1B,IAAI,CAAC;gBACH,YAAY,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YACjD,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,qEAAqE;gBACrE,MAAM,QAAQ,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClE,mBAAmB,GAAG,4BAA4B,QAAQ,EAAE,CAAC;gBAC7D,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;gBACpE,SAAS;YACX,CAAC;YAED,sEAAsE;YACtE,MAAM,mBAAmB,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC/D,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;YAC9E,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;gBACtB,iFAAiF;gBACjF,kFAAkF;gBAClF,4EAA4E;gBAC5E,mBAAmB,GAAG,+CAA+C,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;gBAC7E,SAAS;YACX,CAAC;YAED,gFAAgF;YAChF,IAAI,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC9C,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;gBACtE,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1F,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,mBAAmB,CAAC,CAAC;gBAC1D,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;YAED,MAAM,EAAE,GAAG,mBAAmB,CAAC;YAC/B,WAAW,GAAG,EAAE,CAAC;YAEjB,4CAA4C;YAC5C,MAAM,WAAW,GAAG,6BAA6B,CAAC;gBAChD,KAAK,EAAE,EAAE,CAAC,gBAAgB;gBAC1B,gBAAgB,EAAE,SAAS;aAC5B,CAAC,CAAC;YACH,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;gBACpB,mBAAmB,GAAG,sCAAsC,WAAW,CAAC,MAAM,EAAE,CAAC;gBACjF,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;gBAC7E,SAAS;YACX,CAAC;YAED,kBAAkB;YAClB,MAAM,UAAU,GAA8B,2BAA2B,CACvE,EAAE,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,EAC/D,IAAI,CAAC,QAAQ,CACd,CAAC;YAEF,IAAI,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;gBAC9C,iCAAiC;gBACjC,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;gBACxE,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1F,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;gBACzC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,CAAC;YAED,+EAA+E;YAC/E,MAAM,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,aAAa,CAAC;YACjD,mBAAmB,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC;gBAC1C,CAAC,CAAC,qBAAqB,CAAC,WAAW,CAAC;gBACpC,CAAC,CAAC,kCAAkC,UAAU,CAAC,QAAQ,KAAK,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9F,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;QAC1E,CAAC;QAED,gFAAgF;QAChF,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,EAAE,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;YACpC,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1G,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YACzC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC;QAED,8EAA8E;QAC9E,2EAA2E;QAC3E,oEAAoE;QACpE,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC;QAC3B,QAAQ,CAAC,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC5C,QAAQ,CAAC,MAAM,GAAG,0BAA0B,IAAI,CAAC,MAAM,CAAC,WAAW,yCAAyC,CAAC;QAC7G,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3G,MAAM,IAAI,cAAc,CACtB,gBAAgB,EAChB,QAAQ,CAAC,MAAM,EACf,EAAE,UAAU,EAAE,yFAAyF,EAAE,CAC1G,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,KAAa;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;QAC9D,CAAC;QACD,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,KAAa;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAC1C,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;YACxB,KAAK,CAAC,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACzC,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,KAAa;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,KAAK,EAAE,MAAM,IAAI,IAAI,CAAC;IAC/B,CAAC;IAED,8FAA8F;IAC9F,KAAK,CAAC,cAAc,CAAC,MAAc;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,sHAAsH;IACtH,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,MAAqB;QACvD,0DAA0D;IAC5D,CAAC;IAED,8EAA8E;IAEtE,WAAW,CAAC,KAAa,EAAE,MAA8B,EAAE,OAAgB;QACjF,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC;QACtB,KAAK,CAAC,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACzC,KAAK,CAAC,MAAM,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACpC,CAAC;IAEO,SAAS,CAAC,KAAa,EAAE,SAAiB;QAChD,yEAAyE;QACzE,uEAAuE;QACvE,OAAO;YACL,KAAK;YACL,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE;YACxB,SAAS;SACV,CAAC;IACJ,CAAC;IAEO,WAAW,CAAC,IAKnB;QACC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC;YAC9B,SAAS,EAAE,sBAAsB;YACjC,OAAO,EAAE,IAAI,CAAC,MAAM;YACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,YAAY;YACvB,OAAO,EAAE,cAAc;YACvB,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;SAC/E,CAAC,CAAC;IACL,CAAC;IAEO,YAAY,CAAC,IAMpB;QACC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC;YAC9B,SAAS,EAAE,uBAAuB;YAClC,OAAO,EAAE,IAAI,CAAC,MAAM;YACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,YAAY;YACvB,OAAO,EAAE,cAAc;YACvB,OAAO,EAAE;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B;SACF,CAAC,CAAC;IACL,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,iBAAiB;YAAE,OAAO;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAClD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;CACF"}

package/dist/runtime-v2/adversarial-loop.d.ts

@@ -0,0 +1,65 @@
+/**
+ * runAdversarialLoop — synchronous Round 1→N Artificer↔Evaluator adversarial
+ * loop (RuleHost MVP, PRI-428, PRD Decision 11 multi-round).
+ *
+ * This is a SEPARATE execution entry point from the lease-based
+ * InternalizationOrchestrator (which is single-step + successor-proposal).
+ * It wraps real ArtificerRunner + EvaluatorRunner instances and drives the
+ * cross-runner retry loop synchronously, injecting prior adversarial
+ * failures into Round-2+ Artificer prompts.
+ *
+ * Design constraints:
+ *   - Does NOT modify InternalizationOrchestrator, BasePeerRunner, or the
+ *     lease-based execution model.
+ *   - Creates fresh task records per round (deterministic IDs) so the runners
+ *     can lease + run them through their normal pipeline.
+ *   - Every failure mode degrades to { decision: 'rejected' } with a
+ *     structured degradationReason — the loop never throws (ERR-018).
+ *   - PRD hard cap: maxRounds = 2.
+ *
+ * @see docs/plans/rulehost-mvp-activation.md Decision 11 multi-round pseudocode
+ */
+import type { ArtificerRunner } from './internalization/artificer-runner.js';
+import type { EvaluatorRunner } from './internalization/evaluator-runner.js';
+import type { RuntimeStateManager } from './store/runtime-state-manager.js';
+import type { PIArtifactStore } from './internalization/pi-artifact.js';
+import type { EvaluatorAdversarialResult } from './internalization/evaluator-output.js';
+/** PRD hard cap on adversarial rounds. */
+export declare const DEFAULT_MAX_ROUNDS = 2;
+export interface AdversarialLoopInput {
+    readonly artificerRunner: ArtificerRunner;
+    readonly evaluatorRunner: EvaluatorRunner;
+    readonly stateManager: RuntimeStateManager;
+    /** Shared artifact store (the same one both runners were constructed with). */
+    readonly artifactStore: PIArtifactStore;
+    /** Succeeded scribe task the Round-1 Artificer depends on. */
+    readonly scribeTaskId: string;
+    /** Max rounds (PRD cap = 2). Defaults to DEFAULT_MAX_ROUNDS. */
+    readonly maxRounds?: number;
+    /** Correlation prefix for task IDs (default 'adversarial-loop'). */
+    readonly correlationId?: string;
+    /** Channel for created tasks (default 'prompt'). */
+    readonly channel?: 'prompt' | 'code_tool_hook' | 'defer_archive';
+}
+export interface AdversarialLoopResult {
+    /** Final outcome. 'approved' = rule artifact written; 'rejected' = degraded. */
+    readonly decision: 'approved' | 'rejected';
+    /** Number of rounds actually executed (1..maxRounds). */
+    readonly rounds: number;
+    /** The final evaluator task's ID (for lineage/telemetry lookup). */
+    readonly finalEvaluatorTaskId: string;
+    /** Rule artifact ID when approved; null otherwise. */
+    readonly ruleArtifactId: string | null;
+    /** Principle artifact ID (always present on the final evaluator task). */
+    readonly principleArtifactId: string | null;
+    /** Adversarial result from the final round, when V2 path ran. */
+    readonly adversarialResult?: EvaluatorAdversarialResult;
+    /** Structured reason when decision === 'rejected'. */
+    readonly degradationReason?: string;
+}
+/**
+ * Run the multi-round adversarial loop. Never throws — all failure modes
+ * return { decision: 'rejected', degradationReason }.
+ */
+export declare function runAdversarialLoop(input: AdversarialLoopInput): Promise<AdversarialLoopResult>;
+//# sourceMappingURL=adversarial-loop.d.ts.map

package/dist/runtime-v2/adversarial-loop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial-loop.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/adversarial-loop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AAC7E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AAC7E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAGxE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AAKxF,0CAA0C;AAC1C,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;IAC3C,+EAA+E;IAC/E,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,oDAAoD;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,GAAG,gBAAgB,GAAG,eAAe,CAAC;CAClE;AAED,MAAM,WAAW,qBAAqB;IACpC,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;IAC3C,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,oEAAoE;IACpE,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,sDAAsD;IACtD,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,iEAAiE;IACjE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,0BAA0B,CAAC;IACxD,sDAAsD;IACtD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED;;;GAGG;AACH,wBAAsB,kBAAkB,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CA4JpG"}

package/dist/runtime-v2/adversarial-loop.js

@@ -0,0 +1,203 @@
+import { isArtificerOutputV2 } from './internalization/artificer-output.js';
+import { isEvaluatorOutputV2 } from './internalization/evaluator-output.js';
+import { formatAdversarialFeedback } from './internalization/adversarial-feedback.js';
+/* eslint-disable @typescript-eslint/no-use-before-define -- helper functions declared after main, matching codebase convention */
+import { createPITaskDiagnosticJson } from './internalization/pitask-metadata.js';
+/** PRD hard cap on adversarial rounds. */
+export const DEFAULT_MAX_ROUNDS = 2;
+/**
+ * Run the multi-round adversarial loop. Never throws — all failure modes
+ * return { decision: 'rejected', degradationReason }.
+ */
+export async function runAdversarialLoop(input) {
+    const requestedRounds = input.maxRounds ?? DEFAULT_MAX_ROUNDS;
+    const maxRounds = Number.isFinite(requestedRounds)
+        ? Math.max(1, Math.min(DEFAULT_MAX_ROUNDS, Math.floor(requestedRounds)))
+        : DEFAULT_MAX_ROUNDS;
+    const correlation = input.correlationId ?? 'adversarial-loop';
+    const channel = input.channel ?? 'prompt';
+    let adversarialFeedback = undefined;
+    let lastEvaluatorTaskId = '';
+    let lastPrincipleArtifactId = null;
+    let lastAdversarialResult;
+    for (let round = 1; round <= maxRounds; round += 1) {
+        // ── Round N: Artificer ──
+        const artificerTaskId = `${correlation}-artificer-r${round}-${Date.now().toString(36)}`;
+        try {
+            await input.stateManager.createTask({
+                taskId: artificerTaskId,
+                taskKind: 'artificer',
+                status: 'pending',
+                attemptCount: 0,
+                maxAttempts: 3,
+                diagnosticJson: createPITaskDiagnosticJson({
+                    dependencyTaskIds: [input.scribeTaskId],
+                    channel,
+                    timeoutMs: 300_000,
+                    inputArtifactRefs: [],
+                    outputArtifactRefs: [],
+                    adversarialFeedback,
+                }),
+            });
+        }
+        catch (createErr) {
+            return rejected(round, lastEvaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, `artificer_task_create_failed: ${createErr instanceof Error ? createErr.message : String(createErr)}`);
+        }
+        let artificerResult;
+        try {
+            artificerResult = await input.artificerRunner.run(artificerTaskId);
+        }
+        catch (runErr) {
+            return rejected(round, lastEvaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, `artificer_run_threw: ${runErr instanceof Error ? runErr.message : String(runErr)}`);
+        }
+        if (artificerResult.status !== 'succeeded' || !artificerResult.output) {
+            return rejected(round, lastEvaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, `artificer_run_status_${artificerResult.status ?? 'unknown'}`);
+        }
+        const artificerOutput = artificerResult.output;
+        const artificerArtifactId = artificerResult.artifactId ?? null;
+        // ── V1 degradation: Artificer L2 fell back to plan-only (no code) ──
+        // Per PRD: skip code review, run evaluator on the V1 plan, degrade.
+        if (!isArtificerOutputV2(artificerOutput)) {
+            const v1EvaluatorTaskId = `${correlation}-evaluator-r${round}-${Date.now().toString(36)}`;
+            try {
+                await createEvaluatorTask(input.stateManager, v1EvaluatorTaskId, artificerTaskId, channel);
+                await input.evaluatorRunner.run(v1EvaluatorTaskId);
+            }
+            catch (v1Err) {
+                // Non-fatal: we're degrading anyway. Principle artifact may still be
+                // written by the evaluator; if not, principleArtifactId resolves null.
+                // Catching here preserves the loop's never-throws contract (ERR-018).
+                void v1Err;
+            }
+            const v1Principle = await resolvePrincipleArtifactId(input, v1EvaluatorTaskId);
+            return {
+                decision: 'rejected',
+                rounds: round,
+                finalEvaluatorTaskId: v1EvaluatorTaskId,
+                ruleArtifactId: null,
+                principleArtifactId: v1Principle,
+                degradationReason: 'artificer_degraded_to_v1_no_implementation_code',
+            };
+        }
+        // ── Round N: Evaluator (V2 code-review + adversarial replay) ──
+        const evaluatorTaskId = `${correlation}-evaluator-r${round}-${Date.now().toString(36)}`;
+        lastEvaluatorTaskId = evaluatorTaskId;
+        try {
+            await createEvaluatorTask(input.stateManager, evaluatorTaskId, artificerTaskId, channel);
+        }
+        catch (createErr) {
+            return rejected(round, lastEvaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, `evaluator_task_create_failed: ${createErr instanceof Error ? createErr.message : String(createErr)}`);
+        }
+        let evaluatorResult;
+        try {
+            evaluatorResult = await input.evaluatorRunner.run(evaluatorTaskId);
+        }
+        catch (runErr) {
+            return rejected(round, evaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, `evaluator_run_threw: ${runErr instanceof Error ? runErr.message : String(runErr)}`);
+        }
+        if (evaluatorResult.status !== 'succeeded' || !evaluatorResult.output) {
+            return rejected(round, evaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, `evaluator_run_status_${evaluatorResult.status ?? 'unknown'}`);
+        }
+        const evaluatorOutput = evaluatorResult.output;
+        const { decision } = evaluatorOutput.evaluation;
+        lastPrincipleArtifactId = evaluatorResult.artifactId ?? await resolvePrincipleArtifactId(input, evaluatorTaskId);
+        if (isEvaluatorOutputV2(evaluatorOutput) && evaluatorOutput.adversarialResult) {
+            lastAdversarialResult = evaluatorOutput.adversarialResult;
+        }
+        if (decision === 'approved') {
+            // Rule artifact written by EvaluatorRunner.succeedTask (PRI-427) when
+            // adversarialResult.passed === true. Resolve it from the store.
+            const ruleArtifactId = await resolveRuleArtifactId(input, evaluatorTaskId);
+            if (!ruleArtifactId) {
+                return rejected(round, evaluatorTaskId, lastPrincipleArtifactId, lastAdversarialResult, 'evaluator_approved_without_rule_artifact');
+            }
+            return {
+                decision: 'approved',
+                rounds: round,
+                finalEvaluatorTaskId: evaluatorTaskId,
+                ruleArtifactId,
+                principleArtifactId: lastPrincipleArtifactId,
+                adversarialResult: lastAdversarialResult,
+            };
+        }
+        if (decision === 'rejected') {
+            return {
+                decision: 'rejected',
+                rounds: round,
+                finalEvaluatorTaskId: evaluatorTaskId,
+                ruleArtifactId: null,
+                principleArtifactId: lastPrincipleArtifactId,
+                adversarialResult: lastAdversarialResult,
+                degradationReason: 'evaluator_rejected',
+            };
+        }
+        // needs_revision: prepare feedback for the next round.
+        const failedCases = isEvaluatorOutputV2(evaluatorOutput) && evaluatorOutput.adversarialResult
+            ? evaluatorOutput.adversarialResult.failedCases
+            : [];
+        adversarialFeedback = formatAdversarialFeedback(failedCases);
+        // Loop continues to next round.
+        void artificerArtifactId;
+    }
+    // ── Round (maxRounds + 1): exhausted, degrade ──
+    return {
+        decision: 'rejected',
+        rounds: maxRounds,
+        finalEvaluatorTaskId: lastEvaluatorTaskId,
+        ruleArtifactId: null,
+        principleArtifactId: lastPrincipleArtifactId,
+        adversarialResult: lastAdversarialResult,
+        degradationReason: `max_rounds_exhausted_after_${maxRounds}`,
+    };
+}
+// ── Helpers ──────────────────────────────────────────────────────────────────
+// eslint-disable-next-line @typescript-eslint/max-params
+async function createEvaluatorTask(stateManager, evaluatorTaskId, artificerTaskId, channel) {
+    await stateManager.createTask({
+        taskId: evaluatorTaskId,
+        taskKind: 'evaluator',
+        status: 'pending',
+        attemptCount: 0,
+        maxAttempts: 3,
+        diagnosticJson: createPITaskDiagnosticJson({
+            dependencyTaskIds: [artificerTaskId],
+            channel,
+            timeoutMs: 300_000,
+            inputArtifactRefs: [],
+            outputArtifactRefs: [],
+        }),
+    });
+}
+async function resolvePrincipleArtifactId(input, evaluatorTaskId) {
+    try {
+        const artifacts = await input.artifactStore.listBySourceTaskId(evaluatorTaskId);
+        const principle = artifacts.find((a) => a.artifactKind === 'principle');
+        return principle?.artifactId ?? null;
+    }
+    catch {
+        return null;
+    }
+}
+async function resolveRuleArtifactId(input, evaluatorTaskId) {
+    try {
+        const artifacts = await input.artifactStore.listBySourceTaskId(evaluatorTaskId);
+        const rule = artifacts.find((a) => a.artifactKind === 'rule');
+        return rule?.artifactId ?? null;
+    }
+    catch {
+        return null;
+    }
+}
+// eslint-disable-next-line @typescript-eslint/max-params
+function rejected(rounds, finalEvaluatorTaskId, principleArtifactId, adversarialResult, reason) {
+    return {
+        decision: 'rejected',
+        rounds,
+        finalEvaluatorTaskId,
+        ruleArtifactId: null,
+        principleArtifactId,
+        adversarialResult,
+        degradationReason: reason,
+    };
+}
+//# sourceMappingURL=adversarial-loop.js.map

package/dist/runtime-v2/adversarial-loop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial-loop.js","sourceRoot":"","sources":["../../src/runtime-v2/adversarial-loop.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAE5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,kIAAkI;AAClI,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAElF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAmCpC;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAA2B;IAClE,MAAM,eAAe,GAAG,KAAK,CAAC,SAAS,IAAI,kBAAkB,CAAC;IAC9D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;QACxE,CAAC,CAAC,kBAAkB,CAAC;IACvB,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,IAAI,kBAAkB,CAAC;IAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC;IAE1C,IAAI,mBAAmB,GAAuB,SAAS,CAAC;IACxD,IAAI,mBAAmB,GAAG,EAAE,CAAC;IAC7B,IAAI,uBAAuB,GAAkB,IAAI,CAAC;IAClD,IAAI,qBAA6D,CAAC;IAElE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,SAAS,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACnD,2BAA2B;QAC3B,MAAM,eAAe,GAAG,GAAG,WAAW,eAAe,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACxF,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC;gBAClC,MAAM,EAAE,eAAe;gBACvB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,CAAC;gBACf,WAAW,EAAE,CAAC;gBACd,cAAc,EAAE,0BAA0B,CAAC;oBACzC,iBAAiB,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC;oBACvC,OAAO;oBACP,SAAS,EAAE,OAAO;oBAClB,iBAAiB,EAAE,EAAE;oBACrB,kBAAkB,EAAE,EAAE;oBACtB,mBAAmB;iBACpB,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,OAAO,QAAQ,CAAC,KAAK,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,qBAAqB,EACxF,iCAAiC,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3G,CAAC;QAED,IAAI,eAAe,CAAC;QACpB,IAAI,CAAC;YACH,eAAe,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,MAAM,EAAE,CAAC;YAChB,OAAO,QAAQ,CAAC,KAAK,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,qBAAqB,EACxF,wBAAwB,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YACtE,OAAO,QAAQ,CAAC,KAAK,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,qBAAqB,EACxF,wBAAwB,eAAe,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC;QAC/C,MAAM,mBAAmB,GAAG,eAAe,CAAC,UAAU,IAAI,IAAI,CAAC;QAE/D,sEAAsE;QACtE,oEAAoE;QACpE,IAAI,CAAC,mBAAmB,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,MAAM,iBAAiB,GAAG,GAAG,WAAW,eAAe,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1F,IAAI,CAAC;gBACH,MAAM,mBAAmB,CAAC,KAAK,CAAC,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;gBAC3F,MAAM,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;YACrD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,qEAAqE;gBACrE,uEAAuE;gBACvE,sEAAsE;gBACtE,KAAK,KAAK,CAAC;YACb,CAAC;YACD,MAAM,WAAW,GAAG,MAAM,0BAA0B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;YAC/E,OAAO;gBACL,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,KAAK;gBACb,oBAAoB,EAAE,iBAAiB;gBACvC,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,WAAW;gBAChC,iBAAiB,EAAE,iDAAiD;aACrE,CAAC;QACJ,CAAC;QAED,iEAAiE;QACjE,MAAM,eAAe,GAAG,GAAG,WAAW,eAAe,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACxF,mBAAmB,GAAG,eAAe,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,mBAAmB,CAAC,KAAK,CAAC,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC;QAC3F,CAAC;QAAC,OAAO,SAAS,EAAE,CAAC;YACnB,OAAO,QAAQ,CAAC,KAAK,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,qBAAqB,EACxF,iCAAiC,SAAS,YAAY,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3G,CAAC;QAED,IAAI,eAAe,CAAC;QACpB,IAAI,CAAC;YACH,eAAe,GAAG,MAAM,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QACrE,CAAC;QAAC,OAAO,MAAM,EAAE,CAAC;YAChB,OAAO,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,qBAAqB,EACpF,wBAAwB,MAAM,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;QAED,IAAI,eAAe,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;YACtE,OAAO,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,qBAAqB,EACpF,wBAAwB,eAAe,CAAC,MAAM,IAAI,SAAS,EAAE,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC;QAC/C,MAAM,EAAE,QAAQ,EAAE,GAAG,eAAe,CAAC,UAAU,CAAC;QAChD,uBAAuB,GAAG,eAAe,CAAC,UAAU,IAAI,MAAM,0BAA0B,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACjH,IAAI,mBAAmB,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,iBAAiB,EAAE,CAAC;YAC9E,qBAAqB,GAAG,eAAe,CAAC,iBAAiB,CAAC;QAC5D,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,sEAAsE;YACtE,gEAAgE;YAChE,MAAM,cAAc,GAAG,MAAM,qBAAqB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAC3E,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,OAAO,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,qBAAqB,EACpF,0CAA0C,CAAC,CAAC;YAChD,CAAC;YACD,OAAO;gBACL,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,KAAK;gBACb,oBAAoB,EAAE,eAAe;gBACrC,cAAc;gBACd,mBAAmB,EAAE,uBAAuB;gBAC5C,iBAAiB,EAAE,qBAAqB;aACzC,CAAC;QACJ,CAAC;QAED,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YAC5B,OAAO;gBACL,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,KAAK;gBACb,oBAAoB,EAAE,eAAe;gBACrC,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,uBAAuB;gBAC5C,iBAAiB,EAAE,qBAAqB;gBACxC,iBAAiB,EAAE,oBAAoB;aACxC,CAAC;QACJ,CAAC;QAED,uDAAuD;QACvD,MAAM,WAAW,GAAG,mBAAmB,CAAC,eAAe,CAAC,IAAI,eAAe,CAAC,iBAAiB;YAC3F,CAAC,CAAC,eAAe,CAAC,iBAAiB,CAAC,WAAW;YAC/C,CAAC,CAAC,EAAE,CAAC;QACP,mBAAmB,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;QAC7D,gCAAgC;QAChC,KAAK,mBAAmB,CAAC;IAC3B,CAAC;IAED,kDAAkD;IAClD,OAAO;QACL,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,SAAS;QACjB,oBAAoB,EAAE,mBAAmB;QACzC,cAAc,EAAE,IAAI;QACpB,mBAAmB,EAAE,uBAAuB;QAC5C,iBAAiB,EAAE,qBAAqB;QACxC,iBAAiB,EAAE,8BAA8B,SAAS,EAAE;KAC7D,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,yDAAyD;AACzD,KAAK,UAAU,mBAAmB,CAChC,YAAiC,EACjC,eAAuB,EACvB,eAAuB,EACvB,OAAsD;IAEtD,MAAM,YAAY,CAAC,UAAU,CAAC;QAC5B,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,WAAW;QACrB,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,cAAc,EAAE,0BAA0B,CAAC;YACzC,iBAAiB,EAAE,CAAC,eAAe,CAAC;YACpC,OAAO;YACP,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,EAAE;YACrB,kBAAkB,EAAE,EAAE;SACvB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,0BAA0B,CACvC,KAA2B,EAC3B,eAAuB;IAEvB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAChF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,CAAC,CAAC;QACxE,OAAO,SAAS,EAAE,UAAU,IAAI,IAAI,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,KAA2B,EAC3B,eAAuB;IAEvB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAChF,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,CAAC;QAC9D,OAAO,IAAI,EAAE,UAAU,IAAI,IAAI,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,yDAAyD;AACzD,SAAS,QAAQ,CACf,MAAc,EACd,oBAA4B,EAC5B,mBAAkC,EAClC,iBAAyD,EACzD,MAAc;IAEd,OAAO;QACL,QAAQ,EAAE,UAAU;QACpB,MAAM;QACN,oBAAoB;QACpB,cAAc,EAAE,IAAI;QACpB,mBAAmB;QACnB,iBAAiB;QACjB,iBAAiB,EAAE,MAAM;KAC1B,CAAC;AACJ,CAAC"}

package/dist/runtime-v2/golden-trace.d.ts

@@ -1,5 +1,6 @@
 import { type Static } from '@sinclair/typebox';
 import type { RuleHostInput } from './internalization/rule-host-contracts.js';
+import type { GoldenTraceCaseInput } from './internalization/artificer-output.js';
 export declare const CorrectionApplicationModeSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"shadow">, import("@sinclair/typebox").TLiteral<"live">]>;
 export declare const GoldenTraceDecisionSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"allow">, import("@sinclair/typebox").TLiteral<"block">, import("@sinclair/typebox").TLiteral<"propose_correction">]>;
 export declare const GoldenTraceCaseKindSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"negative">, import("@sinclair/typebox").TLiteral<"positive">]>;
@@ -77,4 +78,33 @@ export declare function validateGoldenTraceCase(input: unknown): GoldenTraceVali
 export declare function validateGoldenTrace(input: unknown): GoldenTraceValidationResult;
 export declare function createSyntheticRuleHostInput(snapshot: ToolCallSnapshot, overrides?: SyntheticRuleHostInputOverrides): RuleHostInput;
 export declare function createGoldenTraceFixture(input: GoldenTraceFixtureInput): GoldenTrace;
+/**
+ * Input for buildGoldenTraceFromArtificer (RuleHost MVP Activation, PRD Decision 5).
+ */
+export interface BuildGoldenTraceFromArtificerInput {
+    readonly cases: readonly GoldenTraceCaseInput[];
+    readonly sourceArtifactId?: string;
+    /** Override for createdAt; defaults to current ISO-8601 UTC timestamp. */
+    readonly createdAt?: string;
+}
+export type BuildGoldenTraceResult = {
+    readonly ok: true;
+    readonly trace: GoldenTrace;
+} | {
+    readonly ok: false;
+    readonly reason: string;
+};
+/**
+ * Wrap Artificer's 2-10 GoldenTraceCaseInput[] into a complete GoldenTrace with
+ * metadata (traceId / createdAt / version). Unlike createGoldenTraceFixture
+ * (fixed 2-case shape), this preserves an arbitrary number of cases.
+ *
+ * Returns a discriminated union rather than throwing: 0 cases, missing
+ * positive/negative partner, or malformed input yields `{ ok: false, reason }`
+ * so the caller (Evaluator assembly) can degrade gracefully without try/catch.
+ *
+ * The produced GoldenTrace is validated against validateGoldenTrace() before
+ * returning; a result with ok=true always passes structural validation.
+ */
+export declare function buildGoldenTraceFromArtificer(input: BuildGoldenTraceFromArtificerInput): BuildGoldenTraceResult;
 //# sourceMappingURL=golden-trace.d.ts.map