@principles/core 1.151.0 → 1.153.0

package/dist/runtime-v2/internalization/__tests__/evaluator-prompt-builder-v2.test.js

@@ -0,0 +1,125 @@
+/**
+ * EvaluatorPromptBuilder V2 tests (RuleHost MVP Activation, PRI-425).
+ *
+ * TDD Phase 5.1 RED — asserts behavior not yet implemented.
+ *
+ * Coverage (PRD Decision 7 Part A — Passive Review):
+ *   - V2 artificer input (has implementationCode) → prompt includes code review
+ *     three-dimension instruction (intentConsistency / scopePrecision / traceCoverage)
+ *   - V2 input → scribe principle text is passed through to prompt input
+ *   - V1 artificer input (no code) → prompt unchanged (backward compat)
+ *   - short-circuit: instruction tells LLM to skip adversarial cases when
+ *     passive review fails
+ *
+ * ERR checklist (EP-01): untrusted artificer artifact kept as `unknown` in the
+ * prompt input; builder does not validate its shape (that is the validator's job).
+ */
+import { describe, it, expect } from 'vitest';
+import { EvaluatorPromptBuilder, EVALUATOR_PROTOCOL_INSTRUCTION, } from '../evaluator-prompt-builder.js';
+const V1_ARTIFICER = {
+    taskId: 'artificer-task-001',
+    implementationPlan: {
+        summary: 'Add input validation',
+        targetSurface: 'src/ops/*.ts',
+        changes: ['Add try-catch'],
+        tests: ['Unit test for error handling'],
+        rolloutNotes: ['Deploy behind feature flag'],
+        confidence: 0.85,
+    },
+};
+const V2_ARTIFICER = {
+    ...V1_ARTIFICER,
+    implementationCode: 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }',
+    goldenTraceCases: [
+        { caseId: 'negative-1', kind: 'negative', toolName: 'edit', params: { path: '/etc/x' }, expectedDecision: 'block' },
+        { caseId: 'positive-1', kind: 'positive', toolName: 'read', params: { path: '/tmp/y' }, expectedDecision: 'allow' },
+    ],
+    affectedTools: ['edit'],
+};
+const SCRIBE_PRINCIPLE = {
+    principleDraft: {
+        title: 'Block writes to system directories',
+        statement: 'Never allow edits to /etc without explicit approval.',
+    },
+    painReasonSummary: 'AI deleted a side-effect cleanup function during refactor.',
+};
+describe('EvaluatorPromptBuilder — V2 code review (PRI-425)', () => {
+    const builder = new EvaluatorPromptBuilder();
+    // ── V2 input triggers code review instruction ──────────────────────────────
+    it('V2 artificer input → instruction mentions intentConsistency', () => {
+        builder.buildPrompt({
+            taskId: 'eval-task-001',
+            contextHash: 'ctx-abc',
+            sourceArtificerArtifactId: 'pi-art-artificer-001',
+            artificerArtifact: V2_ARTIFICER,
+            scribeArtifact: SCRIBE_PRINCIPLE,
+        });
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('intentConsistency');
+    });
+    it('V2 artificer input → instruction mentions scopePrecision', () => {
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('scopePrecision');
+    });
+    it('V2 artificer input → instruction mentions traceCoverage', () => {
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('traceCoverage');
+    });
+    it('V2 instruction includes the three scopePrecision verdicts', () => {
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('precise');
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('too_broad');
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toContain('too_narrow');
+    });
+    it('V2 example includes codeReview and adversarialCases so the model cannot copy a V1 response', () => {
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toMatch(/COMPLETE EXAMPLE OUTPUT[\s\S]*"codeReview"/);
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION).toMatch(/COMPLETE EXAMPLE OUTPUT[\s\S]*"adversarialCases"/);
+    });
+    // ── short-circuit: skip adversarial when passive review fails ──────────────
+    it('instruction tells LLM to skip adversarial cases when passive review fails', () => {
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION.toLowerCase()).toContain('adversarial');
+        // The instruction must communicate the short-circuit rule.
+        expect(EVALUATOR_PROTOCOL_INSTRUCTION.toLowerCase()).toMatch(/skip|only.*pass|do not.*generat.*adversarial.*fail/);
+    });
+    // ── scribe principle text passed through ────────────────────────────────────
+    it('V2 input → scribeArtifact passed through to prompt input', () => {
+        const { promptInput } = builder.buildPrompt({
+            taskId: 'eval-task-001',
+            contextHash: 'ctx-abc',
+            sourceArtificerArtifactId: 'pi-art-artificer-001',
+            artificerArtifact: V2_ARTIFICER,
+            scribeArtifact: SCRIBE_PRINCIPLE,
+        });
+        expect(promptInput.scribeArtifact).toEqual(SCRIBE_PRINCIPLE);
+    });
+    it('V2 input → artificerArtifact still passed through', () => {
+        const { promptInput } = builder.buildPrompt({
+            taskId: 'eval-task-001',
+            contextHash: 'ctx-abc',
+            sourceArtificerArtifactId: 'pi-art-artificer-001',
+            artificerArtifact: V2_ARTIFICER,
+            scribeArtifact: SCRIBE_PRINCIPLE,
+        });
+        expect(promptInput.artificerArtifact).toEqual(V2_ARTIFICER);
+    });
+    // ── V1 backward compatibility ────────────────────────────────────────────────
+    it('V1 artificer input (no code) → buildPrompt succeeds without scribeArtifact', () => {
+        const { promptInput } = builder.buildPrompt({
+            taskId: 'eval-task-001',
+            contextHash: 'ctx-abc',
+            sourceArtificerArtifactId: 'pi-art-artificer-001',
+            artificerArtifact: V1_ARTIFICER,
+        });
+        expect(promptInput.artificerArtifact).toEqual(V1_ARTIFICER);
+        expect(promptInput.scribeArtifact).toBeUndefined();
+    });
+    it('V1 input → instruction still works (code review section is conditional on V2 fields)', () => {
+        // The instruction can mention code review unconditionally; the LLM only
+        // produces codeReview when the artificer artifact carries implementationCode.
+        // This test just ensures V1 path doesn't crash.
+        const result = builder.buildPrompt({
+            taskId: 'eval-task-001',
+            contextHash: 'ctx-abc',
+            sourceArtificerArtifactId: 'pi-art-artificer-001',
+            artificerArtifact: V1_ARTIFICER,
+        });
+        expect(result.message).toContain('eval-task-001');
+    });
+});
+//# sourceMappingURL=evaluator-prompt-builder-v2.test.js.map

package/dist/runtime-v2/internalization/__tests__/evaluator-prompt-builder-v2.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator-prompt-builder-v2.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/evaluator-prompt-builder-v2.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,sBAAsB,EACtB,8BAA8B,GAC/B,MAAM,gCAAgC,CAAC;AAExC,MAAM,YAAY,GAAG;IACnB,MAAM,EAAE,oBAAoB;IAC5B,kBAAkB,EAAE;QAClB,OAAO,EAAE,sBAAsB;QAC/B,aAAa,EAAE,cAAc;QAC7B,OAAO,EAAE,CAAC,eAAe,CAAC;QAC1B,KAAK,EAAE,CAAC,8BAA8B,CAAC;QACvC,YAAY,EAAE,CAAC,4BAA4B,CAAC;QAC5C,UAAU,EAAE,IAAI;KACjB;CACF,CAAC;AAEF,MAAM,YAAY,GAAG;IACnB,GAAG,YAAY;IACf,kBAAkB,EAAE,mGAAmG;IACvH,gBAAgB,EAAE;QAChB,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;QACnH,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;KACpH;IACD,aAAa,EAAE,CAAC,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,gBAAgB,GAAG;IACvB,cAAc,EAAE;QACd,KAAK,EAAE,oCAAoC;QAC3C,SAAS,EAAE,sDAAsD;KAClE;IACD,iBAAiB,EAAE,4DAA4D;CAChF,CAAC;AAEF,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;IAE7C,8EAA8E;IAE9E,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,OAAO,CAAC,WAAW,CAAC;YAClB,MAAM,EAAE,eAAe;YACvB,WAAW,EAAE,SAAS;YACtB,yBAAyB,EAAE,sBAAsB;YACjD,iBAAiB,EAAE,YAAY;YAC/B,cAAc,EAAE,gBAAgB;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,8BAA8B,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,8BAA8B,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,8BAA8B,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,8BAA8B,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC5D,MAAM,CAAC,8BAA8B,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC9D,MAAM,CAAC,8BAA8B,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;QACpG,MAAM,CAAC,8BAA8B,CAAC,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC;QAC7F,MAAM,CAAC,8BAA8B,CAAC,CAAC,OAAO,CAAC,kDAAkD,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAE9E,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,8BAA8B,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC9E,2DAA2D;QAC3D,MAAM,CAAC,8BAA8B,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC;IACrH,CAAC,CAAC,CAAC;IAEH,+EAA+E;IAE/E,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC1C,MAAM,EAAE,eAAe;YACvB,WAAW,EAAE,SAAS;YACtB,yBAAyB,EAAE,sBAAsB;YACjD,iBAAiB,EAAE,YAAY;YAC/B,cAAc,EAAE,gBAAgB;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC1C,MAAM,EAAE,eAAe;YACvB,WAAW,EAAE,SAAS;YACtB,yBAAyB,EAAE,sBAAsB;YACjD,iBAAiB,EAAE,YAAY;YAC/B,cAAc,EAAE,gBAAgB;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAEhF,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC1C,MAAM,EAAE,eAAe;YACvB,WAAW,EAAE,SAAS;YACtB,yBAAyB,EAAE,sBAAsB;YACjD,iBAAiB,EAAE,YAAY;SAChC,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;QAC9F,wEAAwE;QACxE,8EAA8E;QAC9E,gDAAgD;QAChD,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;YACjC,MAAM,EAAE,eAAe;YACvB,WAAW,EAAE,SAAS;YACtB,yBAAyB,EAAE,sBAAsB;YACjD,iBAAiB,EAAE,YAAY;SAChC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/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/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/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/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/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/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/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/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/dist/runtime-v2/internalization/artificer-output.d.ts

@@ -1,4 +1,5 @@
 import { type Static } from '@sinclair/typebox';
+import type { GoldenTraceDecision } from '../golden-trace.js';
 export interface ArtificerImplementationPlan {
     readonly summary: string;
     readonly targetSurface: string;
@@ -20,6 +21,37 @@ export interface ArtificerOutputV1 {
     readonly risks: readonly string[];
     readonly generatedAt: string;
 }
+/**
+ * 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';
+}
+/**
+ * ArtificerOutputV2 — V1 plus executable rule code fields (Decision 1).
+ *
+ * A V2 output is produced only by `ArtificerL2Adapter` (write-test-fix loop).
+ * V1 outputs (no code fields) flow through the existing principle-artifact
+ * path unchanged. `isArtificerOutputV2()` distinguishes the two at runtime;
+ * never `as`-cast (Runtime Contract Rule 2, ERR-001).
+ */
+export interface ArtificerOutputV2 extends ArtificerOutputV1 {
+    readonly implementationCode: string;
+    readonly goldenTraceCases: readonly GoldenTraceCaseInput[];
+    readonly affectedTools: readonly string[];
+}
 export declare const ArtificerImplementationPlanSchema: import("@sinclair/typebox").TObject<{
     summary: import("@sinclair/typebox").TString;
     targetSurface: import("@sinclair/typebox").TString;
@@ -62,6 +94,16 @@ export interface ArtificerValidator {
     /** Validate untrusted output. Accepts `unknown` — must perform runtime checks (ERR-001). */
     validate(output: unknown, taskId: string, expectedSourceScribeArtifactId?: string): Promise<ArtificerValidationResult>;
 }
+/**
+ * Runtime type guard distinguishing V2 (code-bearing) artificer output from V1.
+ * Use this — not `as ArtificerOutputV2` — after `validate()` succeeds to decide
+ * whether the rule-artifact assembly path applies (Runtime Contract Rule 2).
+ *
+ * Detection: V2 requires ALL three code fields present and well-formed. A
+ * partially-populated object is NOT V2 (it is malformed and will have been
+ * rejected by validate()).
+ */
+export declare function isArtificerOutputV2(output: unknown): output is ArtificerOutputV2;
 export declare class DefaultArtificerValidator implements ArtificerValidator {
     validate(output: unknown, taskId: string, expectedSourceScribeArtifactId?: string): Promise<ArtificerValidationResult>;
 }

package/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,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;;;;;;;;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;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;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;AA0GD;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAMhF;AAED,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC;CA6G7H"}

package/dist/runtime-v2/internalization/artificer-output.js

@@ -23,6 +23,123 @@ export const ArtificerOutputV1Schema = Type.Object({
 function isRecord(v) {
     return v !== null && typeof v === 'object' && !Array.isArray(v);
 }
+const GOLDEN_TRACE_DECISIONS = new Set(['allow', 'block', 'propose_correction']);
+const MAX_GOLDEN_TRACE_CASES = 10;
+const MIN_GOLDEN_TRACE_CASES = 2;
+/**
+ * Validate Artificer's goldenTraceCases input. Mirrors the structural invariants
+ * of `validateGoldenTraceCase` / `validateGoldenTrace` in golden-trace.ts but
+ * operates on the artificer-input shape (GoldenTraceCaseInput, no sourceRefs).
+ * - At least 1 positive + 1 negative case (PRD Decision 1).
+ * - 2..10 cases inclusive.
+ * - positive case must expect 'allow' (golden-trace.ts:116).
+ * - expectedDecision ∈ {allow, block, propose_correction}.
+ */
+function validateGoldenTraceCasesInput(raw) {
+    const errors = [];
+    if (!Array.isArray(raw)) {
+        errors.push('goldenTraceCases must be an array');
+        return errors;
+    }
+    if (raw.length < MIN_GOLDEN_TRACE_CASES) {
+        errors.push(`goldenTraceCases must contain at least ${MIN_GOLDEN_TRACE_CASES} cases (1 positive + 1 negative), got ${raw.length}`);
+    }
+    if (raw.length > MAX_GOLDEN_TRACE_CASES) {
+        errors.push(`goldenTraceCases must contain at most ${MAX_GOLDEN_TRACE_CASES} cases, got ${raw.length}`);
+    }
+    let hasPositive = false;
+    let hasNegative = false;
+    raw.forEach((entry, index) => {
+        const prefix = `goldenTraceCases[${index}]`;
+        if (!isRecord(entry)) {
+            errors.push(`${prefix} must be an object`);
+            return;
+        }
+        if (!Object.hasOwn(entry, 'caseId') || typeof entry.caseId !== 'string' || entry.caseId.trim() === '') {
+            errors.push(`${prefix}.caseId must be a non-empty string`);
+        }
+        if (!Object.hasOwn(entry, 'kind') || (entry.kind !== 'positive' && entry.kind !== 'negative')) {
+            errors.push(`${prefix}.kind must be 'positive' or 'negative'`);
+        }
+        else if (entry.kind === 'positive') {
+            hasPositive = true;
+        }
+        else {
+            hasNegative = true;
+        }
+        if (!Object.hasOwn(entry, 'toolName') || typeof entry.toolName !== 'string' || entry.toolName.trim() === '') {
+            errors.push(`${prefix}.toolName must be a non-empty string`);
+        }
+        if (!Object.hasOwn(entry, 'params') || !isRecord(entry.params)) {
+            errors.push(`${prefix}.params must be an object`);
+        }
+        if (!Object.hasOwn(entry, 'expectedDecision')
+            || typeof entry.expectedDecision !== 'string'
+            || !GOLDEN_TRACE_DECISIONS.has(entry.expectedDecision)) {
+            errors.push(`${prefix}.expectedDecision must be one of allow|block|propose_correction, got ${String(entry.expectedDecision)}`);
+        }
+        else if (entry.kind === 'positive' && entry.expectedDecision !== 'allow') {
+            errors.push(`${prefix}: positive cases must expect allow (got ${entry.expectedDecision})`);
+        }
+        // propose_correction requires expectedProposedParams + expectedApplicationMode
+        // (mirrors golden-trace.ts:110-114). Enforced here so malformed V2 output
+        // fails at validation, not later in the sandbox.
+        if (entry.expectedDecision === 'propose_correction') {
+            if (!Object.hasOwn(entry, 'expectedProposedParams') || !isRecord(entry.expectedProposedParams)) {
+                errors.push(`${prefix}.expectedProposedParams is required when expectedDecision is propose_correction`);
+            }
+            if (!Object.hasOwn(entry, 'expectedApplicationMode')
+                || (entry.expectedApplicationMode !== 'shadow' && entry.expectedApplicationMode !== 'live')) {
+                errors.push(`${prefix}.expectedApplicationMode must be shadow or live when expectedDecision is propose_correction`);
+            }
+        }
+    });
+    // Only check positive/negative presence when array shape is valid (avoid
+    // double-reporting on the same malformed array).
+    if (Array.isArray(raw) && raw.length > 0) {
+        if (!hasPositive)
+            errors.push('goldenTraceCases must include at least one positive case');
+        if (!hasNegative)
+            errors.push('goldenTraceCases must include at least one negative case');
+    }
+    return errors;
+}
+function validateAffectedTools(raw) {
+    const errors = [];
+    if (!Array.isArray(raw)) {
+        errors.push('affectedTools must be an array');
+        return errors;
+    }
+    if (raw.length === 0) {
+        errors.push('affectedTools must be a non-empty array');
+    }
+    raw.forEach((entry, index) => {
+        if (typeof entry !== 'string' || entry.trim() === '') {
+            errors.push(`affectedTools[${index}] must be a non-empty string`);
+        }
+    });
+    return errors;
+}
+/**
+ * Runtime type guard distinguishing V2 (code-bearing) artificer output from V1.
+ * Use this — not `as ArtificerOutputV2` — after `validate()` succeeds to decide
+ * whether the rule-artifact assembly path applies (Runtime Contract Rule 2).
+ *
+ * Detection: V2 requires ALL three code fields present and well-formed. A
+ * partially-populated object is NOT V2 (it is malformed and will have been
+ * rejected by validate()).
+ */
+export function isArtificerOutputV2(output) {
+    if (!isRecord(output))
+        return false;
+    if (typeof output.implementationCode !== 'string' || output.implementationCode.trim() === '')
+        return false;
+    if (!Array.isArray(output.goldenTraceCases) || output.goldenTraceCases.length === 0)
+        return false;
+    if (!Array.isArray(output.affectedTools) || output.affectedTools.length === 0)
+        return false;
+    return true;
+}
 export class DefaultArtificerValidator {
     // eslint-disable-next-line @typescript-eslint/class-methods-use-this
     async validate(output, taskId, expectedSourceScribeArtifactId) {
@@ -104,6 +221,36 @@ export class DefaultArtificerValidator {
         if (!Object.hasOwn(rec, 'generatedAt') || typeof rec.generatedAt !== 'string' || rec.generatedAt.trim() === '') {
             errors.push('generatedAt must be non-empty string');
         }
+        // ── V2 fields (optional; present when ArtificerL2Adapter produces code) ──
+        // V1 backward compatibility: absence of code fields is valid (existing path).
+        // When ANY V2 field is present, ALL must be present and well-formed (fail loud,
+        // ERR-009/010). Detection via Object.hasOwn (ERR-013), never `in`.
+        const hasCode = Object.hasOwn(rec, 'implementationCode');
+        const hasCases = Object.hasOwn(rec, 'goldenTraceCases');
+        const hasTools = Object.hasOwn(rec, 'affectedTools');
+        if (hasCode || hasCases || hasTools) {
+            // All three must be present together — partial V2 is malformed.
+            if (!hasCode)
+                errors.push('implementationCode is required when goldenTraceCases or affectedTools are present (V2 output)');
+            if (!hasCases)
+                errors.push('goldenTraceCases is required when implementationCode or affectedTools are present (V2 output)');
+            if (!hasTools)
+                errors.push('affectedTools is required when implementationCode or goldenTraceCases are present (V2 output)');
+            if (hasCode) {
+                const code = rec.implementationCode;
+                if (typeof code !== 'string' || code.trim() === '') {
+                    errors.push('implementationCode must be a non-empty string');
+                }
+            }
+            if (hasCases) {
+                const casesErr = validateGoldenTraceCasesInput(rec.goldenTraceCases);
+                errors.push(...casesErr);
+            }
+            if (hasTools) {
+                const toolsErr = validateAffectedTools(rec.affectedTools);
+                errors.push(...toolsErr);
+            }
+        }
         return errors.length > 0
             ? { valid: false, errors, errorCategory: 'output_invalid' }
             : { valid: true, errors: [] };

package/dist/runtime-v2/internalization/artificer-output.js.map

@@ -1 +1 @@
-{"version":3,"file":"artificer-output.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AA0BtD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC5C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;CACpD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC/C,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnD,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAChD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,sBAAsB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrD,kBAAkB,EAAE,iCAAiC;IACrD,WAAW,EAAE,0BAA0B;IACvC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CAC3C,CAAC,CAAC;AAeH,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,MAAM,OAAO,yBAAyB;IACpC,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CAAC,MAAe,EAAE,MAAc,EAAE,8BAAuC;QACrF,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,yBAAyB,CAAC,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;QAChG,CAAC;QAED,MAAM,GAAG,GAAG,MAAM,CAAC;QAEnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,6BAA6B,MAAM,SAAS,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,wBAAwB,CAAC,IAAI,OAAO,GAAG,CAAC,sBAAsB,KAAK,QAAQ,IAAI,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAChJ,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,8BAA8B,IAAI,GAAG,CAAC,sBAAsB,KAAK,8BAA8B,EAAE,CAAC;YAC3G,MAAM,CAAC,IAAI,CAAC,6CAA6C,8BAA8B,SAAS,GAAG,CAAC,sBAAsB,EAAE,CAAC,CAAC;QAChI,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACnF,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,GAAG,GAAG,CAAC,kBAAkB,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC,OAAO,KAAK,QAAQ,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;YACpK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,OAAO,EAAE,CAAC,aAAa,KAAK,QAAQ,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;YAC5L,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;iBACvH,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;YACzI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;iBACjH,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;YACrI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;iBACtI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;YACnJ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,OAAO,EAAE,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;iBACrK,IAAI,EAAE,CAAC,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;QAClH,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,kBAAkB,CAAC,IAAI,OAAO,EAAE,CAAC,gBAAgB,KAAK,QAAQ,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC3H,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;YACvE,CAAC;iBAAM,IAAI,8BAA8B,IAAI,EAAE,CAAC,gBAAgB,KAAK,8BAA8B,EAAE,CAAC;gBACpG,MAAM,CAAC,IAAI,CAAC,mDAAmD,8BAA8B,SAAS,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC;YAC/H,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,uBAAuB,CAAC,IAAI,EAAE,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;gBACzF,IAAI,OAAO,EAAE,CAAC,qBAAqB,KAAK,QAAQ,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBAC3F,MAAM,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACjF,IAAI,OAAO,EAAE,CAAC,iBAAiB,KAAK,QAAQ,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnF,MAAM,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,sBAAsB,KAAK,QAAQ,IAAI,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE;eACzF,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;eACzB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,kBAAkB,CAAC;eAClD,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,KAAK,QAAQ;eACpD,GAAG,CAAC,sBAAsB,KAAK,GAAG,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;YACtB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE;YAC3D,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;CACF"}
+{"version":3,"file":"artificer-output.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AA4DtD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC5C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;CACpD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC/C,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnD,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAChD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,sBAAsB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrD,kBAAkB,EAAE,iCAAiC;IACrD,WAAW,EAAE,0BAA0B;IACvC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CAC3C,CAAC,CAAC;AAeH,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,MAAM,sBAAsB,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,oBAAoB,CAAC,CAAC,CAAC;AACtG,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAClC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAEjC;;;;;;;;GAQG;AACH,SAAS,6BAA6B,CAAC,GAAY;IACjD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,0CAA0C,sBAAsB,yCAAyC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IACrI,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,yCAAyC,sBAAsB,eAAe,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1G,CAAC;IAED,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC3B,MAAM,MAAM,GAAG,oBAAoB,KAAK,GAAG,CAAC;QAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,oBAAoB,CAAC,CAAC;YAC3C,OAAO;QACT,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,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,oCAAoC,CAAC,CAAC;QAC7D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;YAC9F,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,wCAAwC,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,IAAI,CAAC;QACrB,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,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,sCAAsC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,2BAA2B,CAAC,CAAC;QACpD,CAAC;QACD,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC;eACtC,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ;eAC1C,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,EACtD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,wEAAwE,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACjI,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,gBAAgB,KAAK,OAAO,EAAE,CAAC;YAC3E,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,2CAA2C,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC;QAC7F,CAAC;QACD,+EAA+E;QAC/E,0EAA0E;QAC1E,iDAAiD;QACjD,IAAI,KAAK,CAAC,gBAAgB,KAAK,oBAAoB,EAAE,CAAC;YACpD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC;gBAC/F,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,iFAAiF,CAAC,CAAC;YAC1G,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,yBAAyB,CAAC;mBAC/C,CAAC,KAAK,CAAC,uBAAuB,KAAK,QAAQ,IAAI,KAAK,CAAC,uBAAuB,KAAK,MAAM,CAAC,EAAE,CAAC;gBAC9F,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,6FAA6F,CAAC,CAAC;YACtH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,yEAAyE;IACzE,iDAAiD;IACjD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,WAAW;YAAE,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QAC1F,IAAI,CAAC,WAAW;YAAE,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;IAC5F,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAY;IACzC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC9C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,iBAAiB,KAAK,8BAA8B,CAAC,CAAC;QACpE,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAe;IACjD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,OAAO,MAAM,CAAC,kBAAkB,KAAK,QAAQ,IAAI,MAAM,CAAC,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3G,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,OAAO,yBAAyB;IACpC,qEAAqE;IACrE,KAAK,CAAC,QAAQ,CAAC,MAAe,EAAE,MAAc,EAAE,8BAAuC;QACrF,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,yBAAyB,CAAC,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;QAChG,CAAC;QAED,MAAM,GAAG,GAAG,MAAM,CAAC;QAEnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,6BAA6B,MAAM,SAAS,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,wBAAwB,CAAC,IAAI,OAAO,GAAG,CAAC,sBAAsB,KAAK,QAAQ,IAAI,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAChJ,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,8BAA8B,IAAI,GAAG,CAAC,sBAAsB,KAAK,8BAA8B,EAAE,CAAC;YAC3G,MAAM,CAAC,IAAI,CAAC,6CAA6C,8BAA8B,SAAS,GAAG,CAAC,sBAAsB,EAAE,CAAC,CAAC;QAChI,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACnF,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,GAAG,GAAG,CAAC,kBAAkB,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC,OAAO,KAAK,QAAQ,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;YACpK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,OAAO,EAAE,CAAC,aAAa,KAAK,QAAQ,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;YAC5L,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;iBACvH,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;YACzI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;iBACjH,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,sDAAsD,CAAC,CAAC;YACrI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;iBACtI,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;YACnJ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,OAAO,EAAE,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;iBACrK,IAAI,EAAE,CAAC,UAAU,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;QAClH,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,kBAAkB,CAAC,IAAI,OAAO,EAAE,CAAC,gBAAgB,KAAK,QAAQ,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC3H,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;YACvE,CAAC;iBAAM,IAAI,8BAA8B,IAAI,EAAE,CAAC,gBAAgB,KAAK,8BAA8B,EAAE,CAAC;gBACpG,MAAM,CAAC,IAAI,CAAC,mDAAmD,8BAA8B,SAAS,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC;YAC/H,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,uBAAuB,CAAC,IAAI,EAAE,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;gBACzF,IAAI,OAAO,EAAE,CAAC,qBAAqB,KAAK,QAAQ,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBAC3F,MAAM,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,mBAAmB,CAAC,IAAI,EAAE,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACjF,IAAI,OAAO,EAAE,CAAC,iBAAiB,KAAK,QAAQ,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnF,MAAM,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,sBAAsB,KAAK,QAAQ,IAAI,GAAG,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE;eACzF,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;eACzB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,kBAAkB,CAAC;eAClD,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,KAAK,QAAQ;eACpD,GAAG,CAAC,sBAAsB,KAAK,GAAG,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,oEAAoE,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACtD,CAAC;QAED,4EAA4E;QAC5E,8EAA8E;QAC9E,gFAAgF;QAChF,mEAAmE;QACnE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;QACrD,IAAI,OAAO,IAAI,QAAQ,IAAI,QAAQ,EAAE,CAAC;YACpC,gEAAgE;YAChE,IAAI,CAAC,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,+FAA+F,CAAC,CAAC;YAC3H,IAAI,CAAC,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,+FAA+F,CAAC,CAAC;YAC5H,IAAI,CAAC,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,+FAA+F,CAAC,CAAC;YAE5H,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,GAAG,CAAC,kBAAkB,CAAC;gBACpC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;oBACnD,MAAM,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;gBAC/D,CAAC;YACH,CAAC;YAED,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,QAAQ,GAAG,6BAA6B,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBACrE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAC3B,CAAC;YAED,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC;YACtB,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE;YAC3D,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;CACF"}

package/dist/runtime-v2/internalization/artificer-prompt-builder.d.ts

@@ -3,6 +3,12 @@ export interface ArtificerPromptBuilderInput {
     contextHash: string;
     sourceScribeArtifactId: string;
     scribeArtifact: unknown;
+    /**
+     * Prior adversarial replay failures to address (RuleHost MVP, PRI-428).
+     * Present only on Round-2+ retries inside runAdversarialLoop. When absent,
+     * the prompt is the initial generation prompt (backward compatible).
+     */
+    adversarialFeedback?: string;
 }
 export interface ArtificerPromptInput {
     taskId: string;
@@ -11,13 +17,15 @@ export interface ArtificerPromptInput {
     scribeArtifact: unknown;
     artificerInstruction: string;
     promptContractVersion: string;
+    /** Present only when this is a retry with prior adversarial failures. */
+    adversarialFeedback?: string;
 }
 export interface ArtificerPromptBuildResult {
     readonly message: string;
     readonly promptInput: ArtificerPromptInput;
 }
-export declare const ARTIFICER_PROTOCOL_INSTRUCTION = "You are an Artificer agent in a principle internalization pipeline. Your role is to transform the Scribe's formal principle draft into an implementation-oriented plan with concrete changes, tests, and rollout notes.\n\nPROTOCOL:\n1. Review the scribeArtifact to understand the formal principle draft\n2. Transform the principle draft into an implementation plan with summary, target surface, specific changes, test requirements, and rollout notes\n3. Preserve the lineage trace from scribe, philosopher, and dreamer artifacts\n4. Identify risks associated with implementing this principle\n5. The implementation plan should be concrete enough to guide code changes, not just philosophical\n\nOUTPUT FORMAT (pure JSON, no markdown):\n{\n  \"taskId\": \"<from input>\",\n  \"sourceScribeArtifactId\": \"<copy exactly from input.sourceScribeArtifactId>\",\n  \"implementationPlan\": {\n    \"summary\": \"<concise summary of the implementation approach>\",\n    \"targetSurface\": \"<specific code/module/surface area to modify>\",\n    \"changes\": [\"<specific change 1>\", \"<specific change 2>\"],\n    \"tests\": [\"<test requirement 1>\", \"<test requirement 2>\"],\n    \"rolloutNotes\": [\"<rollout consideration 1>\", \"<rollout consideration 2>\"],\n    \"confidence\": 0.8\n  },\n  \"sourceTrace\": {\n    \"scribeArtifactId\": \"<copy exactly from input.sourceScribeArtifactId>\",\n    \"philosopherArtifactId\": \"<from scribe artifact if available, or omit>\",\n    \"dreamerArtifactId\": \"<from scribe artifact if available, or omit>\"\n  },\n  \"risks\": [\"<risk 1>\", \"<risk 2>\"],\n  \"generatedAt\": \"<ISO-8601 timestamp>\"\n}\n\nCONSTRAINTS:\n- Output ONLY valid JSON (no markdown, no explanatory text, no code fences)\n- implementationPlan.summary MUST be a non-empty string\n- implementationPlan.targetSurface MUST be a non-empty string\n- implementationPlan.changes MUST be an array of strings\n- implementationPlan.tests MUST be an array of strings\n- implementationPlan.rolloutNotes MUST be an array of strings\n- implementationPlan.confidence MUST be a number between 0.0 and 1.0 (NOT a string, NOT a percentage)\n- sourceScribeArtifactId MUST be copied exactly from input.sourceScribeArtifactId (non-empty string)\n- sourceTrace.scribeArtifactId MUST be copied exactly from input.sourceScribeArtifactId\n- sourceTrace.philosopherArtifactId is optional \u2014 include only if available from scribe artifact\n- sourceTrace.dreamerArtifactId is optional \u2014 include only if available from scribe artifact\n- risks MUST be an array of strings (can be empty if no risks identified)\n- generatedAt MUST be the current ISO-8601 timestamp (use the actual current time, NOT a placeholder)\n";
-export declare const ARTIFICER_PROMPT_CONTRACT_VERSION = "artificer-output-v1.prompt.v1";
+export declare const ARTIFICER_PROTOCOL_INSTRUCTION = "You are an Artificer agent in a principle internalization pipeline. Your role is to transform the Scribe's formal principle draft into an implementation-oriented plan with concrete changes, tests, and rollout notes.\n\nPROTOCOL:\n1. Review the scribeArtifact to understand the formal principle draft\n2. Transform the principle draft into an implementation plan and executable RuleHost code\n3. Preserve the lineage trace from scribe, philosopher, and dreamer artifacts\n4. Identify risks associated with implementing this principle\n5. The implementation plan should be concrete enough to guide code changes, not just philosophical\n\nOUTPUT FORMAT (pure JSON, no markdown):\n{\n  \"taskId\": \"<from input>\",\n  \"sourceScribeArtifactId\": \"<copy exactly from input.sourceScribeArtifactId>\",\n  \"implementationPlan\": {\n    \"summary\": \"<concise summary of the implementation approach>\",\n    \"targetSurface\": \"<specific code/module/surface area to modify>\",\n    \"changes\": [\"<specific change 1>\", \"<specific change 2>\"],\n    \"tests\": [\"<test requirement 1>\", \"<test requirement 2>\"],\n    \"rolloutNotes\": [\"<rollout consideration 1>\", \"<rollout consideration 2>\"],\n    \"confidence\": 0.8\n  },\n  \"sourceTrace\": {\n    \"scribeArtifactId\": \"<copy exactly from input.sourceScribeArtifactId>\",\n    \"philosopherArtifactId\": \"<from scribe artifact if available, or omit>\",\n    \"dreamerArtifactId\": \"<from scribe artifact if available, or omit>\"\n  },\n  \"risks\": [\"<risk 1>\", \"<risk 2>\"],\n  \"implementationCode\": \"function evaluate(input, helpers) { ... }\",\n  \"goldenTraceCases\": [\n    {\"caseId\":\"negative-1\",\"kind\":\"negative\",\"toolName\":\"write_file\",\"params\":{\"path\":\"/system/file\"},\"expectedDecision\":\"block\"},\n    {\"caseId\":\"positive-1\",\"kind\":\"positive\",\"toolName\":\"write_file\",\"params\":{\"path\":\"/workspace/file\"},\"expectedDecision\":\"allow\"}\n  ],\n  \"affectedTools\": [\"write_file\"],\n  \"generatedAt\": \"<ISO-8601 timestamp>\"\n}\n\nCONSTRAINTS:\n- Output ONLY valid JSON (no markdown, no explanatory text, no code fences)\n- implementationPlan.summary MUST be a non-empty string\n- implementationPlan.targetSurface MUST be a non-empty string\n- implementationPlan.changes MUST be an array of strings\n- implementationPlan.tests MUST be an array of strings\n- implementationPlan.rolloutNotes MUST be an array of strings\n- implementationPlan.confidence MUST be a number between 0.0 and 1.0 (NOT a string, NOT a percentage)\n- sourceScribeArtifactId MUST be copied exactly from input.sourceScribeArtifactId (non-empty string)\n- sourceTrace.scribeArtifactId MUST be copied exactly from input.sourceScribeArtifactId\n- sourceTrace.philosopherArtifactId is optional \u2014 include only if available from scribe artifact\n- sourceTrace.dreamerArtifactId is optional \u2014 include only if available from scribe artifact\n- risks MUST be an array of strings (can be empty if no risks identified)\n- generatedAt MUST be the current ISO-8601 timestamp (use the actual current time, NOT a placeholder)\n- implementationCode MUST define exactly function evaluate(input, helpers) and return { decision, matched, reason }\n- input.action contains toolName, normalizedPath, and paramsSummary; inspect only these RuleHost inputs\n- implementationCode MUST be deterministic and self-contained: no imports, require, eval, Function, I/O, network, timers, Date.now, or randomness\n- goldenTraceCases MUST contain 2-10 cases with at least one positive allow case and one negative block/propose_correction case\n- propose_correction cases MUST include expectedProposedParams and expectedApplicationMode (shadow or live)\n- affectedTools MUST contain the non-empty tool names the rule can match\n\nPRIOR ADVERSARIAL FAILURES (when `adversarialFeedback` is present):\n- This is a RETRY. A prior version of your generated code was reviewed and failed adversarial sandbox replay.\n- The `adversarialFeedback` field lists the specific cases that failed, each with the attack type, the expected vs actual decision, and a rationale.\n- You MUST address each listed failure specifically \u2014 do not regenerate blind. Adjust the matcher/logic so the failed cases produce the expected decision while preserving the cases that previously passed.\n";
+export declare const ARTIFICER_PROMPT_CONTRACT_VERSION = "artificer-output-v2.prompt.v1";
 export declare class ArtificerPromptBuilder {
     buildPrompt(input: ArtificerPromptBuilderInput): ArtificerPromptBuildResult;
 }

package/dist/runtime-v2/internalization/artificer-prompt-builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"artificer-prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-prompt-builder.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;CAC5C;AAED,eAAO,MAAM,8BAA8B,6pFA4C1C,CAAC;AAEF,eAAO,MAAM,iCAAiC,kCAAkC,CAAC;AAEjF,qBAAa,sBAAsB;IAEjC,WAAW,CAAC,KAAK,EAAE,2BAA2B,GAAG,0BAA0B;CAc5E"}
+{"version":3,"file":"artificer-prompt-builder.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-prompt-builder.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC;IACxB;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,cAAc,EAAE,OAAO,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,yEAAyE;IACzE,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;CAC5C;AAED,eAAO,MAAM,8BAA8B,svIA6D1C,CAAC;AAEF,eAAO,MAAM,iCAAiC,kCAAkC,CAAC;AAEjF,qBAAa,sBAAsB;IAEjC,WAAW,CAAC,KAAK,EAAE,2BAA2B,GAAG,0BAA0B;CAmB5E"}