create-principles-disciple 1.85.0 → 1.87.0

package/core/dist/runtime-v2/internalization/__tests__/split-diagnostician-runner-retry.test.js

@@ -0,0 +1,227 @@
+/**
+ * ERR-067 fix: SplitDiagnosticianRunner retry chain tests.
+ *
+ * Verifies that when a sub-runner returns `retried`, the orchestrator
+ * waits for backoff and re-runs the stage instead of treating it as failure.
+ *
+ * ERR entries considered:
+ *   - ERR-067: Orchestrator treats `retried` status as failure
+ *   - ERR-009: Required fields must fail loud
+ *   - ERR-015: Retry/repair loops must distinguish current/next/recorded state
+ */
+import { describe, it, expect, vi } from 'vitest';
+import { SplitDiagnosticianRunner } from '../split-diagnostician-runner.js';
+// ── Fixtures ──────────────────────────────────────────────────────────────────
+const PARENT_TASK_ID = 'diagnosis_pain-err067';
+const STAGE_A_TASK_ID = `diag_rootcause-${PARENT_TASK_ID}`;
+const STAGE_B_TASK_ID = `diag_distiller-${PARENT_TASK_ID}`;
+const STAGE_C_TASK_ID = `diag_router-${PARENT_TASK_ID}`;
+function makeTask(taskId, overrides = {}) {
+    return {
+        taskId,
+        taskKind: 'diag_rootcause',
+        status: 'pending',
+        attemptCount: 0,
+        maxAttempts: 3,
+        inputRef: PARENT_TASK_ID,
+        diagnosticJson: '{}',
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+        ...overrides,
+    };
+}
+function makeSucceededResult(taskId) {
+    return { status: 'succeeded', taskId, attemptCount: 1 };
+}
+function makeRetriedResult(taskId, failureReason) {
+    return { status: 'retried', taskId, errorCategory: 'output_invalid', failureReason, attemptCount: 1 };
+}
+function makeFailedResult(taskId, failureReason) {
+    return { status: 'failed', taskId, errorCategory: 'output_invalid', failureReason, attemptCount: 3 };
+}
+// ── Mock factories ────────────────────────────────────────────────────────────
+function makeMockStateManager(tasks = {}) {
+    return {
+        getTask: vi.fn().mockImplementation((id) => {
+            return Promise.resolve(tasks[id] ?? null);
+        }),
+        createTask: vi.fn().mockImplementation((record) => {
+            const task = {
+                ...record,
+                createdAt: new Date().toISOString(),
+                updatedAt: new Date().toISOString(),
+            };
+            tasks[record.taskId] = task;
+            return Promise.resolve(task);
+        }),
+        updateTask: vi.fn().mockImplementation((taskId, patch) => {
+            if (tasks[taskId]) {
+                Object.assign(tasks[taskId], patch);
+            }
+            return Promise.resolve(true);
+        }),
+        markTaskSucceeded: vi.fn().mockResolvedValue(undefined),
+        markTaskFailed: vi.fn().mockResolvedValue(undefined),
+        markTaskRetryWait: vi.fn().mockResolvedValue(undefined),
+        getRetryPolicy: vi.fn().mockReturnValue({
+            shouldRetry: () => true,
+            calculateBackoff: () => 10, // 10ms for fast tests
+            markRetryWait: vi.fn().mockResolvedValue({ taskId: '', errorCategory: 'output_invalid' }),
+            markFailed: vi.fn().mockResolvedValue({ taskId: '', errorCategory: 'output_invalid' }),
+        }),
+        getRunsByTask: vi.fn().mockResolvedValue([]),
+        acquireLease: vi.fn().mockImplementation((params) => {
+            const task = tasks[params.taskId];
+            return task ? Promise.resolve(task) : Promise.resolve(undefined);
+        }),
+    };
+}
+function makeMockRunner() {
+    return {
+        run: vi.fn().mockResolvedValue(makeSucceededResult('')),
+    };
+}
+function makeMockCommitter() {
+    return {
+        commit: vi.fn().mockResolvedValue({ commitId: 'commit-1', artifactId: 'art-1' }),
+    };
+}
+// ── Tests ─────────────────────────────────────────────────────────────────────
+describe('ERR-067: SplitDiagnosticianRunner retry chain', () => {
+    it('should retry Stage A when sub-runner returns retried, then succeed', async () => {
+        const tasks = {};
+        const stateManager = makeMockStateManager(tasks);
+        const rootCauseRunner = makeMockRunner();
+        const distillerRunner = makeMockRunner();
+        const routerRunner = makeMockRunner();
+        // Stage A: first call returns retried, second call succeeds
+        rootCauseRunner.run
+            .mockResolvedValueOnce(makeRetriedResult(STAGE_A_TASK_ID, 'Schema validation failed'))
+            .mockResolvedValueOnce(makeSucceededResult(STAGE_A_TASK_ID));
+        const runner = new SplitDiagnosticianRunner({
+            rootCauseRunner: rootCauseRunner,
+            distillerRunner: distillerRunner,
+            routerRunner: routerRunner,
+            stateManager: stateManager,
+            committer: makeMockCommitter(),
+            perStageTimeoutMs: 30_000,
+        });
+        const result = await runner.run(PARENT_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        expect(rootCauseRunner.run).toHaveBeenCalledTimes(2);
+    });
+    it('should retry Stage A multiple times, then fail after max attempts', async () => {
+        const tasks = {};
+        const stateManager = makeMockStateManager(tasks);
+        const rootCauseRunner = makeMockRunner();
+        // Stage A: always returns retried (simulates persistent schema failure)
+        rootCauseRunner.run.mockResolvedValue(makeRetriedResult(STAGE_A_TASK_ID, 'Schema validation failed'));
+        const runner = new SplitDiagnosticianRunner({
+            rootCauseRunner: rootCauseRunner,
+            distillerRunner: makeMockRunner(),
+            routerRunner: makeMockRunner(),
+            stateManager: stateManager,
+            committer: makeMockCommitter(),
+            perStageTimeoutMs: 30_000,
+        });
+        const result = await runner.run(PARENT_TASK_ID);
+        expect(result.status).toBe('failed');
+        expect(rootCauseRunner.run.mock.calls.length).toBeGreaterThan(1);
+    });
+    it('should NOT reset attemptCount when transitioning retry_wait task to pending', async () => {
+        const tasks = {
+            [STAGE_A_TASK_ID]: makeTask(STAGE_A_TASK_ID, {
+                status: 'retry_wait',
+                attemptCount: 2,
+                lastError: 'output_invalid',
+            }),
+        };
+        const stateManager = makeMockStateManager(tasks);
+        const rootCauseRunner = makeMockRunner();
+        rootCauseRunner.run.mockResolvedValue(makeSucceededResult(STAGE_A_TASK_ID));
+        const runner = new SplitDiagnosticianRunner({
+            rootCauseRunner: rootCauseRunner,
+            distillerRunner: makeMockRunner(),
+            routerRunner: makeMockRunner(),
+            stateManager: stateManager,
+            committer: makeMockCommitter(),
+            perStageTimeoutMs: 30_000,
+        });
+        await runner.run(PARENT_TASK_ID);
+        // Verify updateTask was called WITHOUT attemptCount: 0
+        const updateCalls = stateManager.updateTask.mock.calls;
+        const stageAUpdate = updateCalls.find((c) => c[0] === STAGE_A_TASK_ID);
+        if (stageAUpdate) {
+            const patch = stageAUpdate[1];
+            expect(patch).not.toHaveProperty('attemptCount', 0);
+        }
+    });
+    it('should retry Stage B when sub-runner returns retried', async () => {
+        const tasks = {};
+        const stateManager = makeMockStateManager(tasks);
+        const rootCauseRunner = makeMockRunner();
+        const distillerRunner = makeMockRunner();
+        const routerRunner = makeMockRunner();
+        // Stage A: succeeds immediately
+        rootCauseRunner.run.mockResolvedValue(makeSucceededResult(STAGE_A_TASK_ID));
+        // Stage B: first call retried, second call succeeds
+        distillerRunner.run
+            .mockResolvedValueOnce(makeRetriedResult(STAGE_B_TASK_ID, 'Schema validation failed'))
+            .mockResolvedValueOnce(makeSucceededResult(STAGE_B_TASK_ID));
+        const runner = new SplitDiagnosticianRunner({
+            rootCauseRunner: rootCauseRunner,
+            distillerRunner: distillerRunner,
+            routerRunner: routerRunner,
+            stateManager: stateManager,
+            committer: makeMockCommitter(),
+            perStageTimeoutMs: 30_000,
+        });
+        const result = await runner.run(PARENT_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        expect(distillerRunner.run).toHaveBeenCalledTimes(2);
+    });
+    it('should retry Stage C when sub-runner returns retried', async () => {
+        const tasks = {};
+        const stateManager = makeMockStateManager(tasks);
+        const rootCauseRunner = makeMockRunner();
+        const distillerRunner = makeMockRunner();
+        const routerRunner = makeMockRunner();
+        // Stages A and B: succeed immediately
+        rootCauseRunner.run.mockResolvedValue(makeSucceededResult(STAGE_A_TASK_ID));
+        distillerRunner.run.mockResolvedValue(makeSucceededResult(STAGE_B_TASK_ID));
+        // Stage C: first call retried, second call succeeds
+        routerRunner.run
+            .mockResolvedValueOnce(makeRetriedResult(STAGE_C_TASK_ID, 'Schema validation failed'))
+            .mockResolvedValueOnce(makeSucceededResult(STAGE_C_TASK_ID));
+        const runner = new SplitDiagnosticianRunner({
+            rootCauseRunner: rootCauseRunner,
+            distillerRunner: distillerRunner,
+            routerRunner: routerRunner,
+            stateManager: stateManager,
+            committer: makeMockCommitter(),
+            perStageTimeoutMs: 30_000,
+        });
+        const result = await runner.run(PARENT_TASK_ID);
+        expect(result.status).toBe('succeeded');
+        expect(routerRunner.run).toHaveBeenCalledTimes(2);
+    });
+    it('should return failed when sub-runner returns failed (not retried)', async () => {
+        const tasks = {};
+        const stateManager = makeMockStateManager(tasks);
+        const rootCauseRunner = makeMockRunner();
+        // Stage A: returns failed (not retried) — should not retry
+        rootCauseRunner.run.mockResolvedValue(makeFailedResult(STAGE_A_TASK_ID, 'Max attempts exceeded'));
+        const runner = new SplitDiagnosticianRunner({
+            rootCauseRunner: rootCauseRunner,
+            distillerRunner: makeMockRunner(),
+            routerRunner: makeMockRunner(),
+            stateManager: stateManager,
+            committer: makeMockCommitter(),
+            perStageTimeoutMs: 30_000,
+        });
+        const result = await runner.run(PARENT_TASK_ID);
+        expect(result.status).toBe('failed');
+        expect(rootCauseRunner.run).toHaveBeenCalledTimes(1);
+    });
+});
+//# sourceMappingURL=split-diagnostician-runner-retry.test.js.map

package/core/dist/runtime-v2/internalization/__tests__/split-diagnostician-runner-retry.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"split-diagnostician-runner-retry.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/split-diagnostician-runner-retry.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAKlD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAI5E,iFAAiF;AAEjF,MAAM,cAAc,GAAG,uBAAuB,CAAC;AAC/C,MAAM,eAAe,GAAG,kBAAkB,cAAc,EAAE,CAAC;AAC3D,MAAM,eAAe,GAAG,kBAAkB,cAAc,EAAE,CAAC;AAC3D,MAAM,eAAe,GAAG,eAAe,cAAc,EAAE,CAAC;AAExD,SAAS,QAAQ,CAAC,MAAc,EAAE,YAAiC,EAAE;IACnE,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,SAAS;QACjB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,cAAc;QACxB,cAAc,EAAE,IAAI;QACpB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAI,MAAc;IAC5C,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,iBAAiB,CAAI,MAAc,EAAE,aAAqB;IACjE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;AACxG,CAAC;AAED,SAAS,gBAAgB,CAAI,MAAc,EAAE,aAAqB;IAChE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;AACvG,CAAC;AAED,iFAAiF;AAEjF,SAAS,oBAAoB,CAAC,QAAoC,EAAE;IAClE,OAAO;QACL,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAU,EAAE,EAAE;YACjD,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;QAC5C,CAAC,CAAC;QACF,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,MAAmD,EAAE,EAAE;YAC7F,MAAM,IAAI,GAAe;gBACvB,GAAG,MAAM;gBACT,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC;YACF,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;YAC5B,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,MAAc,EAAE,KAA0B,EAAE,EAAE;YACpF,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACvD,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACpD,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QACvD,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC;YACtC,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI;YACvB,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,sBAAsB;YAClD,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;YACzF,UAAU,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;SACjE,CAAC;QACxB,aAAa,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC5C,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,MAA0B,EAAE,EAAE;YACtE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAClC,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACnE,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,cAAc;IACrB,OAAO;QACL,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,mBAAmB,CAAI,EAAE,CAAC,CAAC;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB;IACxB,OAAO;QACL,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAW,CAAC;KAC1F,CAAC;AACJ,CAAC;AAED,iFAAiF;AAEjF,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAChE,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAChE,MAAM,YAAY,GAAG,cAAc,EAAyB,CAAC;QAE7D,4DAA4D;QAC5D,eAAe,CAAC,GAAG;aAChB,qBAAqB,CAAC,iBAAiB,CAAwB,eAAe,EAAE,0BAA0B,CAAC,CAAC;aAC5G,qBAAqB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QAEtF,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC;YAC1C,eAAe,EAAE,eAAwB;YACzC,eAAe,EAAE,eAAwB;YACzC,YAAY,EAAE,YAAqB;YACnC,YAAY,EAAE,YAAqB;YACnC,SAAS,EAAE,iBAAiB,EAAE;YAC9B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAEhE,wEAAwE;QACxE,eAAe,CAAC,GAAG,CAAC,iBAAiB,CACnC,iBAAiB,CAAwB,eAAe,EAAE,0BAA0B,CAAC,CACtF,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC;YAC1C,eAAe,EAAE,eAAwB;YACzC,eAAe,EAAE,cAAc,EAAkC;YACjE,YAAY,EAAE,cAAc,EAAkC;YAC9D,YAAY,EAAE,YAAqB;YACnC,SAAS,EAAE,iBAAiB,EAAE;YAC9B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;QAC3F,MAAM,KAAK,GAA+B;YACxC,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,eAAe,EAAE;gBAC3C,MAAM,EAAE,YAAY;gBACpB,YAAY,EAAE,CAAC;gBACf,SAAS,EAAE,gBAAgB;aAC5B,CAAC;SACH,CAAC;QACF,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAEhE,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QAEnG,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC;YAC1C,eAAe,EAAE,eAAwB;YACzC,eAAe,EAAE,cAAc,EAAkC;YACjE,YAAY,EAAE,cAAc,EAAkC;YAC9D,YAAY,EAAE,YAAqB;YACnC,SAAS,EAAE,iBAAiB,EAAE;YAC9B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;QAEH,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEjC,uDAAuD;QACvD,MAAM,WAAW,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;QACvD,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAY,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC;QAClF,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAwB,CAAC;YACrD,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAChE,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAChE,MAAM,YAAY,GAAG,cAAc,EAAyB,CAAC;QAE7D,gCAAgC;QAChC,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QAEnG,oDAAoD;QACpD,eAAe,CAAC,GAAG;aAChB,qBAAqB,CAAC,iBAAiB,CAAwB,eAAe,EAAE,0BAA0B,CAAC,CAAC;aAC5G,qBAAqB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QAEtF,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC;YAC1C,eAAe,EAAE,eAAwB;YACzC,eAAe,EAAE,eAAwB;YACzC,YAAY,EAAE,YAAqB;YACnC,YAAY,EAAE,YAAqB;YACnC,SAAS,EAAE,iBAAiB,EAAE;YAC9B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAChE,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAChE,MAAM,YAAY,GAAG,cAAc,EAAyB,CAAC;QAE7D,sCAAsC;QACtC,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QACnG,eAAe,CAAC,GAAG,CAAC,iBAAiB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QAEnG,oDAAoD;QACpD,YAAY,CAAC,GAAG;aACb,qBAAqB,CAAC,iBAAiB,CAAwB,eAAe,EAAE,0BAA0B,CAAC,CAAC;aAC5G,qBAAqB,CAAC,mBAAmB,CAAwB,eAAe,CAAC,CAAC,CAAC;QAEtF,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC;YAC1C,eAAe,EAAE,eAAwB;YACzC,eAAe,EAAE,eAAwB;YACzC,YAAY,EAAE,YAAqB;YACnC,YAAY,EAAE,YAAqB;YACnC,SAAS,EAAE,iBAAiB,EAAE;YAC9B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,KAAK,GAA+B,EAAE,CAAC;QAC7C,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,cAAc,EAAyB,CAAC;QAEhE,2DAA2D;QAC3D,eAAe,CAAC,GAAG,CAAC,iBAAiB,CACnC,gBAAgB,CAAwB,eAAe,EAAE,uBAAuB,CAAC,CAClF,CAAC;QAEF,MAAM,MAAM,GAAG,IAAI,wBAAwB,CAAC;YAC1C,eAAe,EAAE,eAAwB;YACzC,eAAe,EAAE,cAAc,EAAkC;YACjE,YAAY,EAAE,cAAc,EAAkC;YAC9D,YAAY,EAAE,YAAqB;YACnC,SAAS,EAAE,iBAAiB,EAAE;YAC9B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAEhD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/internalization/adversarial-case.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Adversarial case → GoldenTrace conversion (RuleHost MVP Activation, ADR-0014
+ * Amendment 2026-06-17, PRD Decision 11d).
+ *
+ * Adversarial cases are generated by the Evaluator LLM to attack the Artificer's
+ * generated code. Every adversarial case is conceptually a NEGATIVE expectation
+ * (the attack should reveal a gap), so the converted GoldenTrace marks all
+ * cases kind='negative'.
+ *
+ * IMPORTANT design contract: the converted trace intentionally does NOT pass
+ * `validateGoldenTrace()` on its own, because it has no positive case. The
+ * caller (Evaluator.succeedTask, Phase 5) must append a positive case (or
+ * merge with the Artificer's golden trace) before the combined trace can be
+ * replayed. This is pinned by adversarial-case.test.ts.
+ */
+import type { GoldenTrace } from '../golden-trace.js';
+export type AdversarialConversionResult = {
+    readonly ok: true;
+    readonly trace: GoldenTrace;
+} | {
+    readonly ok: false;
+    readonly reason: string;
+};
+/**
+ * Convert AdversarialCase[] (all attacks, all negative) into a GoldenTrace.
+ *
+ * Does NOT synthesize a positive case — see file header. The caller is
+ * responsible for ensuring the replayed trace has ≥1 positive case, either
+ * by merging with the Artificer's golden trace or appending one.
+ */
+export declare function adversarialCasesToGoldenTrace(cases: unknown): AdversarialConversionResult;
+//# sourceMappingURL=adversarial-case.d.ts.map

package/core/dist/runtime-v2/internalization/adversarial-case.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial-case.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/adversarial-case.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,WAAW,EAAwC,MAAM,oBAAoB,CAAC;AAS5F,MAAM,MAAM,2BAA2B,GACnC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAMpD;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAyDzF"}

package/core/dist/runtime-v2/internalization/adversarial-case.js

@@ -0,0 +1,68 @@
+const ADVERSARIAL_ATTACK_TYPES = new Set(['boundary', 'omission', 'inversion']);
+const GOLDEN_TRACE_DECISIONS = new Set(['allow', 'block', 'propose_correction']);
+function isGoldenTraceDecision(v) {
+    return GOLDEN_TRACE_DECISIONS.has(v);
+}
+function isRecord(v) {
+    return v !== null && typeof v === 'object' && !Array.isArray(v);
+}
+/**
+ * Convert AdversarialCase[] (all attacks, all negative) into a GoldenTrace.
+ *
+ * Does NOT synthesize a positive case — see file header. The caller is
+ * responsible for ensuring the replayed trace has ≥1 positive case, either
+ * by merging with the Artificer's golden trace or appending one.
+ */
+export function adversarialCasesToGoldenTrace(cases) {
+    if (!Array.isArray(cases)) {
+        return { ok: false, reason: 'adversarialCases must be an array' };
+    }
+    if (cases.length === 0) {
+        return { ok: false, reason: 'adversarialCases must contain at least one case, got 0' };
+    }
+    const mappedCases = [];
+    for (let index = 0; index < cases.length; index += 1) {
+        const entry = cases[index];
+        const prefix = `adversarialCases[${index}]`;
+        if (!isRecord(entry)) {
+            return { ok: false, reason: `${prefix} must be an object` };
+        }
+        if (!Object.hasOwn(entry, 'caseId') || typeof entry.caseId !== 'string' || entry.caseId.trim() === '') {
+            return { ok: false, reason: `${prefix}.caseId must be a non-empty string` };
+        }
+        if (!Object.hasOwn(entry, 'attackType') || typeof entry.attackType !== 'string' || !ADVERSARIAL_ATTACK_TYPES.has(entry.attackType)) {
+            return { ok: false, reason: `${prefix}.attackType must be one of boundary|omission|inversion, got ${String(entry.attackType)}` };
+        }
+        if (!Object.hasOwn(entry, 'toolName') || typeof entry.toolName !== 'string' || entry.toolName.trim() === '') {
+            return { ok: false, reason: `${prefix}.toolName must be a non-empty string` };
+        }
+        if (!Object.hasOwn(entry, 'params') || !isRecord(entry.params)) {
+            return { ok: false, reason: `${prefix}.params must be an object` };
+        }
+        if (!Object.hasOwn(entry, 'expectedDecision')
+            || typeof entry.expectedDecision !== 'string'
+            || !isGoldenTraceDecision(entry.expectedDecision)) {
+            return { ok: false, reason: `${prefix}.expectedDecision must be one of allow|block|propose_correction, got ${String(entry.expectedDecision)}` };
+        }
+        if (!Object.hasOwn(entry, 'rationale') || typeof entry.rationale !== 'string' || entry.rationale.trim() === '') {
+            return { ok: false, reason: `${prefix}.rationale must be a non-empty string` };
+        }
+        mappedCases.push({
+            caseId: entry.caseId,
+            // All adversarial cases are attacks → negative expectations.
+            kind: 'negative',
+            toolName: entry.toolName,
+            params: entry.params,
+            // Narrowed by isGoldenTraceDecision above (Runtime Contract Rule 2).
+            expectedDecision: entry.expectedDecision,
+        });
+    }
+    const trace = {
+        traceId: `golden-trace-adversarial-${Date.now().toString(36)}`,
+        version: 1,
+        createdAt: new Date().toISOString(),
+        cases: mappedCases,
+    };
+    return { ok: true, trace };
+}
+//# sourceMappingURL=adversarial-case.js.map

package/core/dist/runtime-v2/internalization/adversarial-case.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial-case.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/adversarial-case.ts"],"names":[],"mappings":"AAiBA,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AACrG,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAEtG,SAAS,qBAAqB,CAAC,CAAS;IACtC,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAMD,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;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE,CAAC;IACpE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wDAAwD,EAAE,CAAC;IACzF,CAAC;IAED,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,oBAAoB,KAAK,GAAG,CAAC;QAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,oBAAoB,EAAE,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACtG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,oCAAoC,EAAE,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YACnI,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,+DAA+D,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnI,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5G,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,sCAAsC,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,2BAA2B,EAAE,CAAC;QACrE,CAAC;QACD,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC;eACtC,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ;eAC1C,CAAC,qBAAqB,CAAC,KAAK,CAAC,gBAAgB,CAAC,EACjD,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,wEAAwE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC;QAClJ,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/G,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,uCAAuC,EAAE,CAAC;QACjF,CAAC;QAED,WAAW,CAAC,IAAI,CAAC;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,6DAA6D;YAC7D,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,qEAAqE;YACrE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;SACzC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAgB;QACzB,OAAO,EAAE,4BAA4B,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC9D,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,KAAK,EAAE,WAAW;KACnB,CAAC;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC"}

package/core/dist/runtime-v2/internalization/adversarial-feedback.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Adversarial feedback formatter (RuleHost MVP, PRI-428).
+ *
+ * Converts EvaluatorAdversarialResult.failedCases into a deterministic,
+ * human-readable text block that is injected into a Round-2 Artificer prompt
+ * so the LLM can make targeted code corrections instead of blind regeneration.
+ *
+ * Design:
+ *   - Pure function, no I/O, no timestamps/random (deterministic).
+ *   - Each failed case becomes one line: caseId | attackType | expected vs
+ *     actual | rationale.
+ *   - Empty input still yields a usable, non-empty string (the gate may
+ *     reject on a runtime error with no per-case detail).
+ */
+import type { AdversarialFailedCase } from './evaluator-output.js';
+/**
+ * Format a list of adversarial failed cases into a prompt-injectable text block.
+ *
+ * @param failedCases - from EvaluatorAdversarialResult.failedCases (may be empty)
+ * @returns a deterministic multi-line string; never empty
+ */
+export declare function formatAdversarialFeedback(failedCases: readonly AdversarialFailedCase[]): string;
+//# sourceMappingURL=adversarial-feedback.d.ts.map

package/core/dist/runtime-v2/internalization/adversarial-feedback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial-feedback.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/adversarial-feedback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAInE;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,GAAG,MAAM,CAa/F"}

package/core/dist/runtime-v2/internalization/adversarial-feedback.js

@@ -0,0 +1,20 @@
+const HEADER = '--- Prior adversarial replay failures (address these in your revised code) ---';
+/**
+ * Format a list of adversarial failed cases into a prompt-injectable text block.
+ *
+ * @param failedCases - from EvaluatorAdversarialResult.failedCases (may be empty)
+ * @returns a deterministic multi-line string; never empty
+ */
+export function formatAdversarialFeedback(failedCases) {
+    if (failedCases.length === 0) {
+        return `${HEADER}\n(0 structured failures recorded — the prior code failed the adversarial sandbox replay on a runtime/structural error. Re-examine the matcher logic.)`;
+    }
+    const lines = failedCases.map((fc) => {
+        const rationale = typeof fc.rationale === 'string' && fc.rationale.trim() !== ''
+            ? fc.rationale
+            : '(no rationale provided)';
+        return `- ${fc.caseId} [${fc.attackType}]: expected ${fc.expectedDecision}, got ${fc.actualDecision} — ${rationale}`;
+    });
+    return `${HEADER}\n${lines.join('\n')}`;
+}
+//# sourceMappingURL=adversarial-feedback.js.map

package/core/dist/runtime-v2/internalization/adversarial-feedback.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adversarial-feedback.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/adversarial-feedback.ts"],"names":[],"mappings":"AAgBA,MAAM,MAAM,GAAG,gFAAgF,CAAC;AAEhG;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,WAA6C;IACrF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,GAAG,MAAM,wJAAwJ,CAAC;IAC3K,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACnC,MAAM,SAAS,GAAG,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE;YAC9E,CAAC,CAAC,EAAE,CAAC,SAAS;YACd,CAAC,CAAC,yBAAyB,CAAC;QAC9B,OAAO,KAAK,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,UAAU,eAAe,EAAE,CAAC,gBAAgB,SAAS,EAAE,CAAC,cAAc,MAAM,SAAS,EAAE,CAAC;IACvH,CAAC,CAAC,CAAC;IAEH,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1C,CAAC"}

package/core/dist/runtime-v2/internalization/artificer-output.d.ts

@@ -1,58 +1,82 @@
 import { type Static } from '@sinclair/typebox';
-export interface ArtificerImplementationPlan {
-    readonly summary: string;
-    readonly targetSurface: string;
-    readonly changes: readonly string[];
-    readonly tests: readonly string[];
-    readonly rolloutNotes: readonly string[];
-    readonly confidence: number;
-}
+import type { GoldenTraceDecision } from '../golden-trace.js';
+/**
+ * Artificer source trace — lineage back to upstream peer artifacts.
+ */
 export interface ArtificerSourceTrace {
     readonly scribeArtifactId: string;
     readonly philosopherArtifactId?: string;
     readonly dreamerArtifactId?: string;
 }
-export interface ArtificerOutputV1 {
+/**
+ * Artificer-generated golden trace case input (RuleHost MVP Activation, ADR-0014
+ * Amendment 2026-06-17 Decision 1).
+ *
+ * `expectedDecision` uses `GoldenTraceDecision` ('allow'|'block'|'propose_correction'),
+ * NOT `RuleHostDecision`. The sandbox replay layer maps the two enums (see PRD
+ * Decision 1 mapping table). `kind='positive'` requires `expectedDecision='allow'`
+ * (mirrors `validateGoldenTraceCase` invariant in golden-trace.ts:116).
+ */
+export interface GoldenTraceCaseInput {
+    readonly caseId: string;
+    readonly kind: 'positive' | 'negative';
+    readonly toolName: string;
+    readonly params: Record<string, unknown>;
+    readonly expectedDecision: GoldenTraceDecision;
+    readonly expectedProposedParams?: Record<string, unknown>;
+    readonly expectedApplicationMode?: 'shadow' | 'live';
+}
+/**
+ * ArtificerRuleOutput — the UNIFIED Artificer output (PRI-439).
+ *
+ * Replaces the former V1/V2 dual-version system. `implementationCode` is now
+ * MANDATORY; there is no plan-only (V1) acceptance path and no degradation.
+ * Missing, invalid, or replay-failing RuleCode fails loud and creates no rule
+ * artifact, approval, or activation.
+ *
+ * `meta`, `taskId`, lineage, and `generatedAt` are server-injected / model-filled
+ * per the existing contract; the validator enforces their presence and consistency.
+ */
+export interface ArtificerRuleOutput {
     readonly taskId: string;
     readonly sourceScribeArtifactId: string;
-    readonly implementationPlan: ArtificerImplementationPlan;
-    readonly sourceTrace: ArtificerSourceTrace;
+    readonly implementationCode: string;
+    readonly goldenTraceCases: readonly GoldenTraceCaseInput[];
+    readonly affectedTools: readonly string[];
+    readonly implementationSummary: string;
     readonly risks: readonly string[];
+    readonly sourceTrace: ArtificerSourceTrace;
     readonly generatedAt: string;
 }
-export declare const ArtificerImplementationPlanSchema: import("@sinclair/typebox").TObject<{
-    summary: import("@sinclair/typebox").TString;
-    targetSurface: import("@sinclair/typebox").TString;
-    changes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
-    tests: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
-    rolloutNotes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
-    confidence: import("@sinclair/typebox").TNumber;
-}>;
 export declare const ArtificerSourceTraceSchema: import("@sinclair/typebox").TObject<{
     scribeArtifactId: import("@sinclair/typebox").TString;
     philosopherArtifactId: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
     dreamerArtifactId: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
 }>;
-export declare const ArtificerOutputV1Schema: import("@sinclair/typebox").TObject<{
+export declare const ArtificerRuleOutputSchema: import("@sinclair/typebox").TObject<{
     taskId: import("@sinclair/typebox").TString;
     sourceScribeArtifactId: import("@sinclair/typebox").TString;
-    implementationPlan: import("@sinclair/typebox").TObject<{
-        summary: import("@sinclair/typebox").TString;
-        targetSurface: import("@sinclair/typebox").TString;
-        changes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
-        tests: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
-        rolloutNotes: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
-        confidence: import("@sinclair/typebox").TNumber;
-    }>;
+    implementationCode: import("@sinclair/typebox").TString;
+    goldenTraceCases: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        caseId: import("@sinclair/typebox").TString;
+        kind: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"positive">, import("@sinclair/typebox").TLiteral<"negative">]>;
+        toolName: import("@sinclair/typebox").TString;
+        params: import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, import("@sinclair/typebox").TUnknown>;
+        expectedDecision: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"allow">, import("@sinclair/typebox").TLiteral<"block">, import("@sinclair/typebox").TLiteral<"propose_correction">]>;
+        expectedProposedParams: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, import("@sinclair/typebox").TUnknown>>;
+        expectedApplicationMode: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"shadow">, import("@sinclair/typebox").TLiteral<"live">]>>;
+    }>>;
+    affectedTools: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    implementationSummary: import("@sinclair/typebox").TString;
+    risks: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
     sourceTrace: import("@sinclair/typebox").TObject<{
         scribeArtifactId: import("@sinclair/typebox").TString;
         philosopherArtifactId: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
         dreamerArtifactId: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
     }>;
-    risks: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
     generatedAt: import("@sinclair/typebox").TString;
 }>;
-export type ArtificerOutputV1TB = Static<typeof ArtificerOutputV1Schema>;
+export type ArtificerRuleOutputTB = Static<typeof ArtificerRuleOutputSchema>;
 export interface ArtificerValidationResult {
     readonly valid: boolean;
     readonly errors: readonly string[];

package/core/dist/runtime-v2/internalization/artificer-output.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"artificer-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEtD,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,kBAAkB,EAAE,2BAA2B,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,eAAO,MAAM,iCAAiC;;;;;;;EAO5C,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;EAIrC,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;EAOlC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEzE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACxH;AAMD,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC;CA8E7H"}
+{"version":3,"file":"artificer-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACrC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAC/C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,QAAQ,CAAC,uBAAuB,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAC;CACtD;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,eAAO,MAAM,0BAA0B;;;;EAIrC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;EAyBpC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE7E,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACxH;AA0GD,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC;CA8F7H"}