@principles/core 1.271.0 → 1.272.0

package/dist/runtime-v2/internalization/artificer-code-bearing.d.ts

@@ -0,0 +1,39 @@
+/**
+ * PRI-634 A2（authority migration）— code-bearing Artificer artifact 判定。
+ *
+ * 设计裁决（Owner 评审 2026-08-31 冻结）：`这条链是否需要 deterministic
+ * RuleHost gate` 的 authority 是 **durable Artificer artifact 是否
+ * code-bearing**，而不是 evaluator LLM 是否恰好输出了 optional 的 V2 字段
+ * （`isEvaluatorOutputV2()`）。原控制流把 optional LLM output shape 当作
+ * gate 前置 —— V2 字段全部 optional 且 validator 明确允许 V1 缺失
+ * （evaluator-output.ts），导致一个完整 code-bearing 的 Artificer 产物可以在
+ * evaluator 只返回 V1 shape 时结构性跳过安全门（48371236 链 attempt 17）。
+ *
+ * 评审实现约束：**不得**把「字段碰巧存在」当成新的弱 heuristic authority。
+ * 本函数逐项镜像 `assembleRuleArtifact()`（evaluator-runner.ts）的静态前置
+ * 验证 —— 返回 codeBearing=true 严格等价于「rule assembly 的全部静态检查
+ * 将通过」。这样 authority 定义收敛到唯一的、机器可验证的语义：
+ * 经 runtime validation 的 durable Artificer capability。
+ *
+ * 验证序列（与 assemble 的 rule_assembly_failed reasons 一一对应）：
+ *   1. contentJson 缺失            → no_artificer_artifact
+ *   2. JSON 解析失败 / 非 object   → artificer_artifact_unparseable
+ *   3. implementationCode 非空串   → artificer_artifact_has_no_implementation_code
+ *   4. goldenTraceCases 非数组     → artificer_golden_trace_cases_not_array
+ *   5. buildGoldenTraceFromArtificer 失败（结构非法 / 无 positive+negative）
+ *                                  → golden_trace_build_failed:<reason>
+ *
+ * affectedTools 刻意**不**作为硬条件：assemble 的真实语义是 tolerant
+ * （optional 数组、元素 filter string、缺省 []）。把它收紧成硬失败会造出
+ * 比 assemble 更严的假 authority，违反 One Source of Truth。
+ *
+ * 纯函数：无 I/O、无注入依赖，可直接单测。
+ */
+export type ArtificerCodeBearingAssessment = {
+    readonly codeBearing: true;
+} | {
+    readonly codeBearing: false;
+    readonly reason: string;
+};
+export declare function assessArtificerCodeBearing(contentJson: string | null | undefined): ArtificerCodeBearingAssessment;
+//# sourceMappingURL=artificer-code-bearing.d.ts.map

package/dist/runtime-v2/internalization/artificer-code-bearing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-code-bearing.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-code-bearing.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,8BAA8B,GACtC;IAAE,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;CAAE,GAC9B;IAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,8BAA8B,CAqCjH"}

package/dist/runtime-v2/internalization/artificer-code-bearing.js

@@ -0,0 +1,33 @@
+import { buildGoldenTraceFromArtificer } from '../golden-trace.js';
+export function assessArtificerCodeBearing(contentJson) {
+    if (typeof contentJson !== 'string' || contentJson.trim() === '') {
+        return { codeBearing: false, reason: 'no_artificer_artifact' };
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(contentJson);
+    }
+    catch {
+        return { codeBearing: false, reason: 'artificer_artifact_unparseable' };
+    }
+    if (typeof parsed !== 'object' || parsed === null || Array.isArray(parsed)) {
+        return { codeBearing: false, reason: 'artificer_artifact_unparseable' };
+    }
+    // runtime-contract-exempt: ERR-001 object-guarded unknown property extraction;
+    // values are typeof-checked / structurally validated immediately below.
+    const { implementationCode, goldenTraceCases } = parsed;
+    if (typeof implementationCode !== 'string' || implementationCode.trim() === '') {
+        return { codeBearing: false, reason: 'artificer_artifact_has_no_implementation_code' };
+    }
+    if (!Array.isArray(goldenTraceCases)) {
+        return { codeBearing: false, reason: 'artificer_golden_trace_cases_not_array' };
+    }
+    // assemble 要求 ≥1 positive + ≥1 negative 且逐 case 结构合法
+    // （buildGoldenTraceFromArtificer 内部对每项做 validateGoldenTraceCase）。
+    const traceBuild = buildGoldenTraceFromArtificer({ cases: goldenTraceCases });
+    if (!traceBuild.ok) {
+        return { codeBearing: false, reason: `golden_trace_build_failed: ${traceBuild.reason}` };
+    }
+    return { codeBearing: true };
+}
+//# sourceMappingURL=artificer-code-bearing.js.map

package/dist/runtime-v2/internalization/artificer-code-bearing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-code-bearing.js","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/artificer-code-bearing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAqCnE,MAAM,UAAU,0BAA0B,CAAC,WAAsC;IAC/E,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;IACjE,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IAC1E,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IAC1E,CAAC;IAED,+EAA+E;IAC/E,wEAAwE;IACxE,MAAM,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,GAAG,MAGhD,CAAC;IAEF,IAAI,OAAO,kBAAkB,KAAK,QAAQ,IAAI,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/E,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,+CAA+C,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC;IAClF,CAAC;IAED,qDAAqD;IACrD,kEAAkE;IAClE,MAAM,UAAU,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC9E,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;IAC3F,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC"}

package/dist/runtime-v2/internalization/evaluator-runner.d.ts

@@ -311,17 +311,20 @@ export declare class EvaluatorRunner extends BasePeerRunner<EvaluatorContext, Ev
      */
     protected checkLineageIntegrity(taskId: string, output: EvaluatorOutputV1, _context: EvaluatorContext): void;
     /**
-     * Run a single-round adversarial sandbox replay on the evaluator's V2 output
-     * (PRD Decision 11d). Pure orchestration of pure functions:
+     * Run a single-round adversarial sandbox replay (PRD Decision 11d).
+     * PRI-634 A2/R1: the `output` is accepted in V1 shape too — a code-bearing
+     * Artificer artifact requires the gate regardless of whether the evaluator
+     * LLM emitted optional V2 fields. Only V2-shaped outputs can contribute
+     * LLM-supplied adversarialCases (checked via isEvaluatorOutputV2 below).
+     * Pure orchestration of pure functions:
      *   1. Skip if passive review failed (decision !== 'approved' is the LLM's
-     *      short-circuit signal — no code to defend).
-     *   2. Skip if no adversarialCases present (V2 with codeReview only).
-     *   3. Convert adversarialCases → GoldenTrace (all negative, PRI-423).
-     *   4. Merge ≥1 positive case from the Artificer golden trace. If the
+     *      short-circuit signal — no code to defend). Now observable (R9).
+     *   2. Convert adversarialCases → GoldenTrace (all negative, PRI-423).
+     *   3. Merge ≥1 positive case from the Artificer golden trace. If the
      *      artificer artifact has no goldenTraceCases (V1 mismatch), degrade:
      *      skip replay with telemetry — do NOT crash.
-     *   5. Invoke evaluateRefinerRuleHostGate via injected gateDeps.
-     *   6. Populate adversarialResult from the gate result.
+     *   4. Invoke evaluateRefinerRuleHostGate via injected gateDeps.
+     *   5. Populate adversarialResult from the gate result.
      *
      * Never throws — all failure modes degrade to a returned result with a
      * structured reason (ERR-018). The caller persists the updated output.

package/dist/runtime-v2/internalization/evaluator-runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluator-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EAInB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAqB,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAwE,KAAK,aAAa,EAAqE,MAAM,sBAAsB,CAAC;AAQnM,OAAO,EAAmD,KAAK,yBAAyB,EAAE,KAAK,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC3J,OAAO,EAAwB,KAAK,sBAAsB,EAAE,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjH,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAA+B,KAAK,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAWvG,uFAAuF;AACvF,UAAU,gBAAgB;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,aAAa,CAAC;IACjD,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;CACzD;AAoGD,MAAM,MAAM,2BAA2B,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC;CACjD;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,eAAO,MAAM,gCAAgC,EAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,EAAE,OAAO,GAAG,aAAa,CAAC,CAK3G,CAAC;AAEX,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,sBAAsB,GAAG,8BAA8B,CAS7G;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,MAAM,EAAE,CAAC;IACvD,0DAA0D;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,OAAO,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC3F;AAID,qBAAa,eAAgB,SAAQ,cAAc,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACtF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiC;IAC1D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAyB;IACnE;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAkE;IACnG,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAE9D,YAAY,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,sBAAsB,EAYrE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiF5D;IAED,gFAAgF;IAChF,MAAM,CAAC,QAAQ,CAAC,yBAAyB,8BAA8B;IACvE,OAAO,CAAC,sBAAsB,CAAsB;IACpD,OAAO,CAAC,oBAAoB,CAAS;IAE/B,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CAyDjF;IAED;;;;;OAKG;IACH,UAAyB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAKnF;IAED;;;;OAIG;IACH,UAAyB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAK5F;IAED;;;OAGG;IAEH,OAAO,CAAC,mBAAmB;IAE3B;;;OAGG;IACH;;;;;;OAMG;YACW,yBAAyB;IAkGvC,OAAO,CAAC,oBAAoB;IA8B5B,2DAA2D;YAC7C,wBAAwB;IAYhC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA8BpH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAiL9C;IAED;;;;;;;;;OASG;YACW,6BAA6B;IAsI3C;;;;;;;;OAQG;YACW,2BAA2B;IAuBzC;;;;OAIG;IAGH;;;;;OAKG;YACW,2BAA2B;IAmDzC;;;;OAIG;YACW,uBAAuB;IA8BrC,mEAAmE;YACrD,kCAAkC;IAmBhD;;;;;OAKG;IACH,UAAyB,wBAAwB,CAC/C,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GACrB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAAC,CAgGrD;IAED;;;OAGG;YACW,6BAA6B;IA2C3C;;;;;;;OAOG;YACW,oCAAoC;IAgHlD;;;;OAIG;YACW,mBAAmB;IAiCjC;;;;;;;;;;;;OAYG;YACW,wBAAwB;IAsHtC;;;;;;;OAOG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAoBhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAKvF;IAED;;;OAGG;IACH,UAAmB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CASpH;IAID;;;;;;;;;;;;;;;OAeG;YAEW,oBAAoB;IAwJlC;;;OAGG;IAEH,OAAO,CAAC,sBAAsB;IAyB9B;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,MAAM,CAAC,8BAA8B;IA8B7C;;;;;;OAMG;IAEH,OAAO,CAAC,oBAAoB;IAO5B;;;;;;;;;;;;;;;OAeG;IAEH,OAAO,CAAC,4BAA4B;IA0EpC;;;;;;;;;OASG;IAEH,OAAO,CAAC,cAAc;IAqBtB;;;;;;;;;;OAUG;YAEW,oBAAoB;IAwLlC;;;;;;;;;;OAUG;YACW,8BAA8B;IAmE5C;;;OAGG;IAEH,OAAO,CAAC,wBAAwB;IAwBhC,OAAO,CAAC,MAAM,CAAC,QAAQ;IAIvB;;;;;;;;;;;OAWG;YACW,oCAAoC;CA+BnD"}
+{"version":3,"file":"evaluator-runner.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-runner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EACV,iBAAiB,EAEjB,kBAAkB,EAInB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAkB,KAAK,eAAe,EAAqB,MAAM,wBAAwB,CAAC;AACjG,OAAO,EAAwE,KAAK,aAAa,EAAqE,MAAM,sBAAsB,CAAC;AAQnM,OAAO,EAAmD,KAAK,yBAAyB,EAAE,KAAK,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAC3J,OAAO,EAAwB,KAAK,sBAAsB,EAAE,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjH,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,0BAA0B,EAC3B,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAA+B,KAAK,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAWvG,uFAAuF;AACvF,UAAU,gBAAgB;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,aAAa,CAAC;IACjD,mEAAmE;IACnE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;CACzD;AA4HD,MAAM,MAAM,2BAA2B,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,CAAC;AAE7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,uBAAuB,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC;CACjD;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,eAAO,MAAM,gCAAgC,EAAE,QAAQ,CAAC,IAAI,CAAC,8BAA8B,EAAE,OAAO,GAAG,aAAa,CAAC,CAK3G,CAAC;AAEX,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,sBAAsB,GAAG,8BAA8B,CAS7G;AAID;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,yEAAyE;IACzE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,kEAAkE;IAClE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,MAAM,EAAE,CAAC;IACvD,0DAA0D;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,0BAA0B,EAAE,SAAS,WAAW,EAAE,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,OAAO,CAAC;IAC7C;;;;;;;;;OASG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC3F;AAID,qBAAa,eAAgB,SAAQ,cAAc,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;IACtF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAC/C;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAiC;IAC1D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAyB;IACnE;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAkE;IACnG,sGAAsG;IACtG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAE9D,YAAY,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,sBAAsB,EAYrE;IAED;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAO3B,IAAI,wBAAwB,IAAI,WAAW,CAAC,eAAe,CAAC,CAE3D;IAEK,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAiF5D;IAED,gFAAgF;IAChF,MAAM,CAAC,QAAQ,CAAC,yBAAyB,8BAA8B;IACvE,OAAO,CAAC,sBAAsB,CAAsB;IACpD,OAAO,CAAC,oBAAoB,CAAS;IAE/B,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,SAAS,CAAC,CAyDjF;IAED;;;;;OAKG;IACH,UAAyB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAKnF;IAED;;;;OAIG;IACH,UAAyB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAK5F;IAED;;;OAGG;IAEH,OAAO,CAAC,mBAAmB;IAE3B;;;OAGG;IACH;;;;;;OAMG;YACW,yBAAyB;IAkGvC,OAAO,CAAC,oBAAoB;IA8B5B,2DAA2D;YAC7C,wBAAwB;IAYhC,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CA8BpH;IAGK,WAAW,CACf,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAmP9C;IAED;;;;;;;;;OASG;YACW,6BAA6B;IAsI3C;;;;;;;;OAQG;YACW,2BAA2B;IAuBzC;;;;OAIG;IAGH;;;;;OAKG;YACW,2BAA2B;IAmDzC;;;;OAIG;YACW,uBAAuB;IA8BrC,mEAAmE;YACrD,kCAAkC;IAmBhD;;;;;OAKG;IACH,UAAyB,wBAAwB,CAC/C,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,UAAU,GACrB,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAAC,CAgGrD;IAED;;;OAGG;YACW,6BAA6B;IA2C3C;;;;;;;OAOG;YACW,oCAAoC;IAgHlD;;;;OAIG;YACW,mBAAmB;IAiCjC;;;;;;;;;;;;OAYG;YACW,wBAAwB;IAsHtC;;;;;;;OAOG;IACH,UAAmB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAoBhH;IAED,UAAmB,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAKvF;IAED;;;OAGG;IACH,UAAmB,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CASpH;IAID;;;;;;;;;;;;;;;;;;OAkBG;YAEW,oBAAoB;IAiMlC;;;OAGG;IAEH,OAAO,CAAC,sBAAsB;IAyB9B;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,MAAM,CAAC,8BAA8B;IA8B7C;;;;;;OAMG;IAEH,OAAO,CAAC,oBAAoB;IAO5B;;;;;;;;;;;;;;;OAeG;IAEH,OAAO,CAAC,4BAA4B;IAmFpC;;;;;;;;;OASG;IAEH,OAAO,CAAC,cAAc;IAqBtB;;;;;;;;;;OAUG;YAEW,oBAAoB;IAwLlC;;;;;;;;;;OAUG;YACW,8BAA8B;IAmE5C;;;OAGG;IAEH,OAAO,CAAC,wBAAwB;IAwBhC,OAAO,CAAC,MAAM,CAAC,QAAQ;IAIvB;;;;;;;;;;;OAWG;YACW,oCAAoC;CA+BnD"}

package/dist/runtime-v2/internalization/evaluator-runner.js

@@ -1,4 +1,7 @@
 import { isEvaluatorOutputV2 } from './evaluator-output.js';
+// PRI-634 A2 (authority migration): gate necessity derives from the durable
+// Artificer artifact, not from optional LLM output shape.
+import { assessArtificerCodeBearing } from './artificer-code-bearing.js';
 import { PDRuntimeError, isPDErrorCategory } from '../error-categories.js';
 import { hydratePITaskRecord, createPITaskDiagnosticJson, mergePITaskMetadata } from './pitask-metadata.js';
 import { HUMAN_REVIEW_REASON, planOwnerVerdictOverrideResume, markOwnerResolutionApplied, computeArtifactContentHash, } from './owner-review.js';
@@ -18,6 +21,31 @@ import { canonicalizeToolKind } from './rule-context-v2.js';
 function isRecordValue(value) {
     return value !== null && typeof value === 'object' && !Array.isArray(value);
 }
+/**
+ * PRI-634: resolve a golden-trace case's target path across the host tool
+ * schemas actually observed on real chains.
+ *
+ * Golden-trace params are echoed verbatim from the host trajectory
+ * (behavior-example-pack-assembler `params: parsedParams`), so the field name
+ * follows whatever the host tool used — the dominant write-tool schema spells
+ * it `file_path` (OpenClaw / Claude Code), while PRI-485's v2 generator only
+ * read `path`. Reading a single spelling made v2 auto-generation structurally
+ * unreachable: the merged adversarial set stayed empty, the deterministic gate
+ * never ran, and an LLM-declared `adversarialResult.passed = true` silently
+ * stood in for a real replay (chain 48371236).
+ *
+ * Returns null when neither spelling yields a non-empty string.
+ */
+function resolveCasePathParam(params) {
+    if (!isRecordValue(params))
+        return null;
+    for (const key of ['path', 'file_path']) {
+        const raw = params[key];
+        if (typeof raw === 'string' && raw.trim() !== '')
+            return raw;
+    }
+    return null;
+}
 /**
  * Extract scribeArtifactId from an artificer artifact's contentJson (PRD Decision 12).
  * The contentJson is untrusted — parsed defensively with type guards, never as-cast
@@ -587,21 +615,64 @@ export class EvaluatorRunner extends BasePeerRunner {
             });
         }
         // ── PRI-426: single-round adversarial sandbox replay ──
-        // Runs only when (a) the output is V2 (code-bearing), (b) gateDeps is
-        // injected, and (c) passive review passed (LLM short-circuits to
-        // needs_revision when any of the 3 dimensions fail, so by the time we get
-        // here with decision='approved' the passive review already passed).
+        // PRI-634 A2 (authority migration): gate necessity is decided by the
+        // DURABLE Artificer artifact — assessArtificerCodeBearing() mirrors
+        // assembleRuleArtifact()'s static preconditions exactly — never by
+        // whether the LLM happened to emit optional V2 fields
+        // (isEvaluatorOutputV2). A V2-shaped output over a non-code-bearing
+        // Artificer keeps the legacy behavior (attempt replay, degrade with
+        // telemetry) so the old path stays observable.
         //
         // PRI-423 contract: adversarialCasesToGoldenTrace yields an all-negative
         // trace. We MUST merge ≥1 positive case from the Artificer golden trace
         // before replaying, otherwise the merged trace fails validateGoldenTrace.
         //
-        // This block never throws into the caller — a sandbox/gate failure degrades
-        // to adversarialResult.passed=false with a structured reason (ERR-018).
-        // The principle artifact is already persisted, so prompt-channel fallback
-        // remains available regardless of replay outcome (PRD Decision 11d §h).
+        // The replay itself never throws into the caller — a sandbox/gate failure
+        // degrades to adversarialResult.passed=false with a structured reason
+        // (ERR-018). The principle artifact is already persisted, so
+        // prompt-channel fallback remains available regardless of replay outcome
+        // (PRD Decision 11d §h). The ONE deliberate exception is the R2 wiring
+        // guard below: a code-bearing artifact without gateDeps fails loud
+        // (capability_missing, permanent) instead of succeeding un-gated.
         let finalOutput = output;
-        if (isEvaluatorOutputV2(output) && this.gateDeps) {
+        const gateAssessment = assessArtificerCodeBearing(context.artificerArtifact);
+        const outputWantsGate = isEvaluatorOutputV2(output);
+        const evaluatorDecision = output.evaluation.decision;
+        if (evaluatorDecision !== 'approved') {
+            // Passive review short-circuit: the LLM emits needs_revision/rejected
+            // when its review fails — no gate needed. Previously silent inside
+            // runAdversarialReplay; now observable at the gate decision point
+            // (Runtime Contract Rule 9).
+            if (gateAssessment.codeBearing || outputWantsGate) {
+                this.emitEvent('adversarial_replay_skipped', taskId, {
+                    runId,
+                    reason: 'evaluation_not_approved',
+                    nextAction: 'repair_loop_or_next_review_round',
+                });
+            }
+        }
+        else if (!this.gateDeps) {
+            this.emitEvent('adversarial_replay_skipped', taskId, {
+                runId,
+                reason: 'gate_deps_not_injected',
+                nextAction: 'wire_gateDeps_createProductionGateDeps_into_evaluator_runner_assembly',
+            });
+            if (gateAssessment.codeBearing) {
+                // PRI-634 R2 (wiring regression guard): a code-bearing Artificer
+                // artifact REQUIRES the deterministic gate. Proceeding would yield
+                // succeeded + adversarialResult=null — the exact state that broke
+                // chain 48371236. capability_missing is a permanent error: the task
+                // fails loud (markTaskFailed) instead of retry-burning LLM budget —
+                // a missing gateDeps is an assembly defect, not a transient fault.
+                return this.retryOrFail({
+                    taskId,
+                    task,
+                    errorCategory: 'capability_missing',
+                    failureReason: `PRI-634 R2: Artificer artifact ${context.sourceArtificerArtifactId ?? '(unknown)'} is code-bearing but EvaluatorRunner was assembled without gateDeps — deterministic adversarial replay cannot run. Fix: inject gateDeps: createProductionGateDeps() into the EvaluatorRunner assembly.`,
+                });
+            }
+        }
+        else if (gateAssessment.codeBearing || outputWantsGate) {
             const replayOutcome = await this.runAdversarialReplay(output, taskId, runId, context);
             if (replayOutcome.updatedOutput) {
                 finalOutput = replayOutcome.updatedOutput;
@@ -633,6 +704,30 @@ export class EvaluatorRunner extends BasePeerRunner {
                     });
                 }
             }
+            else if (gateAssessment.codeBearing) {
+                // ── PRI-634 R3 (terminal-state invariant) ──
+                // A code-bearing Artificer artifact that reached `approved` MUST leave
+                // this block carrying an adversarialResult. Anything else reproduces
+                // the chain-48371236 terminal state — approved with the deterministic
+                // gate never executed, adversarialResult=null, and therefore no
+                // pi-rule-* downstream — regardless of WHICH cause prevented the
+                // replay (zero adversarial cases, no positive case, unparseable
+                // artifact, conversion drift…). Telemetry is not recovery: a task that
+                // ends `succeeded` here is indistinguishable from the original defect.
+                //
+                // errorCategory is `input_invalid` (already listed in
+                // permanentErrorCategories) rather than `capability_missing`: the gate
+                // IS wired correctly (R2 owns the wiring case) — the upstream
+                // Artificer content simply cannot be turned into gate input. Permanent
+                // because retrying the LLM cannot make the Artificer emit the missing
+                // affectedTools / positive-case path.
+                return this.retryOrFail({
+                    taskId,
+                    task,
+                    errorCategory: 'input_invalid',
+                    failureReason: `PRI-634 R3: Artificer artifact ${context.sourceArtificerArtifactId ?? '(unknown)'} is code-bearing and the evaluator approved it, but the deterministic adversarial replay did not run (reason: ${replayOutcome.skipReason ?? 'unknown'}). Refusing to report succeeded with adversarialResult=null — that is the chain-48371236 terminal state. Fix: have the Artificer emit affectedTools plus at least one positive golden-trace case carrying a path, or supply LLM adversarialCases.`,
+                });
+            }
         }
         // ── P0 (verdict drift): verdict + completion intent 原子落库 ──
         // 必须先于一切治理 side effect (validate bearer / seed repair / rule
@@ -1412,17 +1507,20 @@ export class EvaluatorRunner extends BasePeerRunner {
     }
     // ── PRI-426: adversarial sandbox replay ─────────────────────────────────────
     /**
-     * Run a single-round adversarial sandbox replay on the evaluator's V2 output
-     * (PRD Decision 11d). Pure orchestration of pure functions:
+     * Run a single-round adversarial sandbox replay (PRD Decision 11d).
+     * PRI-634 A2/R1: the `output` is accepted in V1 shape too — a code-bearing
+     * Artificer artifact requires the gate regardless of whether the evaluator
+     * LLM emitted optional V2 fields. Only V2-shaped outputs can contribute
+     * LLM-supplied adversarialCases (checked via isEvaluatorOutputV2 below).
+     * Pure orchestration of pure functions:
      *   1. Skip if passive review failed (decision !== 'approved' is the LLM's
-     *      short-circuit signal — no code to defend).
-     *   2. Skip if no adversarialCases present (V2 with codeReview only).
-     *   3. Convert adversarialCases → GoldenTrace (all negative, PRI-423).
-     *   4. Merge ≥1 positive case from the Artificer golden trace. If the
+     *      short-circuit signal — no code to defend). Now observable (R9).
+     *   2. Convert adversarialCases → GoldenTrace (all negative, PRI-423).
+     *   3. Merge ≥1 positive case from the Artificer golden trace. If the
      *      artificer artifact has no goldenTraceCases (V1 mismatch), degrade:
      *      skip replay with telemetry — do NOT crash.
-     *   5. Invoke evaluateRefinerRuleHostGate via injected gateDeps.
-     *   6. Populate adversarialResult from the gate result.
+     *   4. Invoke evaluateRefinerRuleHostGate via injected gateDeps.
+     *   5. Populate adversarialResult from the gate result.
      *
      * Never throws — all failure modes degrade to a returned result with a
      * structured reason (ERR-018). The caller persists the updated output.
@@ -1434,15 +1532,29 @@ export class EvaluatorRunner extends BasePeerRunner {
         // eslint-disable-next-line @typescript-eslint/prefer-destructuring
         const gateDeps = this.gateDeps;
         if (!gateDeps) {
-            return { updatedOutput: null };
+            // Defensive — unreachable via the current caller (R2 fails loud before
+            // this point). Kept observable so a future caller cannot silently
+            // reintroduce the un-gated path (PRI-634 A3).
+            this.emitEvent('adversarial_replay_skipped', taskId, {
+                runId,
+                reason: 'gate_deps_not_injected',
+                nextAction: 'wire_gateDeps_createProductionGateDeps_into_evaluator_runner_assembly',
+            });
+            return { updatedOutput: null, skipReason: 'gate_deps_not_injected' };
         }
         // (1) Passive review short-circuit: the LLM emits decision='needs_revision'
         // when any of intentConsistency/scopePrecision/traceCoverage fails. Only
         // replay when the LLM judged the code worth defending. This check is
-        // defensive — by PRD contract the prompt instructs the LLM to short-circuit,
-        // but we don't trust the LLM to be the sole gate (Runtime Contract Rule 3).
+        // defensive — the caller already gated on decision='approved' (PRI-634 A2
+        // moved the check to the gate decision point); kept here so a future
+        // caller cannot silently bypass it (Runtime Contract Rule 3).
         if (output.evaluation.decision !== 'approved') {
-            return { updatedOutput: null };
+            this.emitEvent('adversarial_replay_skipped', taskId, {
+                runId,
+                reason: 'evaluation_not_approved',
+                nextAction: 'repair_loop_or_next_review_round',
+            });
+            return { updatedOutput: null, skipReason: 'evaluation_not_approved' };
         }
         // (2) Resolve the Artificer artifact early — we need it both to derive
         // the v2 adversarial spec (PRI-485) and to merge positive cases (PRI-423).
@@ -1452,7 +1564,7 @@ export class EvaluatorRunner extends BasePeerRunner {
                 reason: 'no_artificer_artifact_in_context',
                 nextAction: 'verify_buildContext_resolves_artificer_artifact',
             });
-            return { updatedOutput: null };
+            return { updatedOutput: null, skipReason: 'no_artificer_artifact_in_context' };
         }
         const artificerParsed = this.parseArtificerArtifact(context.artificerArtifact);
         if (!artificerParsed) {
@@ -1461,7 +1573,7 @@ export class EvaluatorRunner extends BasePeerRunner {
                 reason: 'artificer_artifact_unparseable',
                 nextAction: 'verify_artificer_artifact_contentJson',
             });
-            return { updatedOutput: null };
+            return { updatedOutput: null, skipReason: 'artificer_artifact_unparseable' };
         }
         const { implementationCode, goldenTraceCases, affectedTools } = artificerParsed;
         if (typeof implementationCode !== 'string' || implementationCode.trim() === '') {
@@ -1472,7 +1584,7 @@ export class EvaluatorRunner extends BasePeerRunner {
                 reason: 'artificer_artifact_has_no_implementation_code',
                 nextAction: 'verify_artificer_l2_adapter_emitted_v2',
             });
-            return { updatedOutput: null };
+            return { updatedOutput: null, skipReason: 'artificer_artifact_has_no_implementation_code' };
         }
         // Merge positive cases from the Artificer golden trace into the adversarial
         // trace. buildGoldenTraceFromArtificer validates each case structurally
@@ -1484,20 +1596,36 @@ export class EvaluatorRunner extends BasePeerRunner {
                 reason: 'no_positive_case_in_artificer_golden_trace',
                 nextAction: 'verify_artificer_emitted_at_least_one_positive_case',
             });
-            return { updatedOutput: null };
+            return { updatedOutput: null, skipReason: 'no_positive_case_in_artificer_golden_trace' };
         }
         // (3) PRI-485 Phase 6: auto-generate 5 v2 adversarial cases from the
         // Artificer's affectedTools + first positive case's path. These defend
         // against the most common false-positive patterns (unavailable/truncation/
         // alias/path/combination). Degrade with telemetry (rc-9) if the spec
         // cannot be derived — LLM-supplied adversarialCases still replay.
-        const llmCases = output.adversarialCases ?? [];
+        // PRI-634 R1: V1-shaped outputs carry no adversarialCases — the merged
+        // set below then relies entirely on the auto-generated v2 cases.
+        const llmCases = isEvaluatorOutputV2(output) ? (output.adversarialCases ?? []) : [];
         const v2Cases = this.generateV2CasesFromArtificer(affectedTools, positiveCases, taskId, runId);
         const mergedAdversarialCases = [...v2Cases, ...llmCases];
         // (4) No adversarial cases (neither v2-generated nor LLM-supplied) →
         // nothing to replay. codeReview may still be present (passive review only).
+        // Previously a silent return (PRI-634 A3 hole #3); now observable (R9).
+        //
+        // PRI-634 R3: for a code-bearing Artificer artifact this is NOT a benign
+        // degradation — it reproduces the chain-48371236 terminal state (approved
+        // with no gate executed, adversarialResult=null, no pi-rule-* ever
+        // emitted). The caller fails loud on this skipReason instead of reporting
+        // succeeded. Non-code-bearing artifacts keep the legacy degrade (R1's
+        // authority is the durable Artificer content, and only code-bearing
+        // content can reach rule assembly).
         if (mergedAdversarialCases.length === 0) {
-            return { updatedOutput: null };
+            this.emitEvent('adversarial_replay_skipped', taskId, {
+                runId,
+                reason: 'no_adversarial_cases_after_merge',
+                nextAction: 'verify_artificer_affectedTools_or_positive_case_path_derivable',
+            });
+            return { updatedOutput: null, skipReason: 'no_adversarial_cases_after_merge' };
         }
         // (5) Convert the merged adversarial cases to an all-negative GoldenTrace.
         const conversion = adversarialCasesToGoldenTrace(mergedAdversarialCases);
@@ -1509,7 +1637,7 @@ export class EvaluatorRunner extends BasePeerRunner {
                 reason: `adversarial_conversion_failed: ${conversion.reason}`,
                 nextAction: 'verify_adversarial_case_validator_alignment',
             });
-            return { updatedOutput: null };
+            return { updatedOutput: null, skipReason: `adversarial_conversion_failed: ${conversion.reason}` };
         }
         const mergedTrace = {
             traceId: `golden-trace-evaluator-replay-${taskId}-${Date.now().toString(36)}`,
@@ -1538,6 +1666,7 @@ export class EvaluatorRunner extends BasePeerRunner {
             };
             return {
                 updatedOutput: { ...output, adversarialResult: failedResult },
+                skipReason: null,
             };
         }
         this.emitEvent('adversarial_replay', taskId, {
@@ -1557,6 +1686,7 @@ export class EvaluatorRunner extends BasePeerRunner {
         };
         return {
             updatedOutput: { ...output, adversarialResult },
+            skipReason: null,
         };
     }
     /**
@@ -1691,12 +1821,21 @@ export class EvaluatorRunner extends BasePeerRunner {
             });
             return [];
         }
-        const pathParam = firstPositive.params?.path;
-        if (typeof pathParam !== 'string' || pathParam.trim() === '') {
+        // PRI-634: golden-trace params are echoed verbatim from the host
+        // trajectory, and the dominant write-tool schema names its target
+        // `file_path` (OpenClaw / Claude Code), not `path`. Reading only `path`
+        // made v2 auto-generation structurally unreachable on real chains: the
+        // merged case set stayed empty, so the gate never ran and an
+        // LLM-declared adversarialResult.passed=true could stand in for a real
+        // replay (chain 48371236). Accept both spellings — this is the input that
+        // makes the deterministic gate reachable at all.
+        const { params } = firstPositive;
+        const pathParam = resolveCasePathParam(params);
+        if (pathParam === null) {
             this.emitEvent('v2_adversarial_cases_skipped', taskId, {
                 runId,
                 reason: 'no_path_param_for_v2_adversarial_cases',
-                nextAction: 'verify_positive_case_has_string_path_param',
+                nextAction: 'verify_positive_case_has_string_path_or_file_path_param',
             });
             return [];
         }