@principles/core 1.270.5 → 1.272.0

package/dist/runtime-v2/internalization/__tests__/rule-activation-contract.test.js

@@ -0,0 +1,187 @@
+/**
+ * PRI-634 — 可激活 rule 产物内容契约测试。
+ *
+ * 背景（PRI-634 取证结论）：PRI-629 的数据修复把 artificer 原始产物改标成
+ * kind='rule' + validated，造出一个 kind/validated 全匹配、内容却是 artificer
+ * schema（goldenTraceCases，无 goldenTrace / ruleHostGateDecision）的伪候选。
+ * 修复前 resolveActivationCandidate 只按 kind+validated 过滤，伪候选被放行到
+ * RuleHostWriter.canActivate，直到那里才以 no_golden_trace 爆炸 —— Owner 侧
+ * 只剩一个无解释力的 rollout_dispatch_refused。
+ *
+ * 本测试锁定两件事：
+ *   1. 契约函数能区分「evaluator assemble 产物」与「伪候选」；
+ *   2. 契约函数的判定与 RuleHostWriter.canActivate 的静态检查一致（防漂移）。
+ */
+import { describe, it, expect } from 'vitest';
+import { checkRuleActivationContent } from '../rule-activation-contract.js';
+import { buildGoldenTraceFromArtificer } from '../../golden-trace.js';
+import { RuleHostWriter } from '../../activation/writers/rule-host-writer.js';
+/** 构造一条结构合法的 goldenTrace（走生产同款 builder，避免手搓 schema 漂移）。 */
+function buildValidTrace() {
+    const built = buildGoldenTraceFromArtificer({
+        cases: [
+            {
+                caseId: 'case-positive',
+                kind: 'positive',
+                toolName: 'edit',
+                params: { path: 'src/a.ts' },
+                expectedDecision: 'allow',
+            },
+            {
+                caseId: 'case-negative',
+                kind: 'negative',
+                toolName: 'bash',
+                params: { command: 'rm -rf /' },
+                expectedDecision: 'block',
+            },
+        ],
+        sourceArtifactId: 'pi-art-artificer-1',
+    });
+    if (!built.ok)
+        throw new Error(`fixture goldenTrace build failed: ${built.reason}`);
+    return built.trace;
+}
+/** evaluator assembleRuleArtifact 产出的合法可激活产物。 */
+function validRuleContent() {
+    return JSON.stringify({
+        implementationCode: 'export function evaluate() { return { decision: "allow" }; }',
+        goldenTrace: buildValidTrace(),
+        goldenTraceCases: buildValidTrace().cases,
+        affectedTools: ['edit'],
+        ruleHostGateDecision: 'accepted_shadow',
+        sourceArtificerArtifactId: 'pi-art-artificer-1',
+    });
+}
+/**
+ * PRI-634 真实伪候选：artificer 原始产物被改标 kind='rule' + validated。
+ * 关键特征（与 state.db 取证记录一致）—— artificer schema 全字段都在
+ * （implementationCode / goldenTraceCases / affectedTools），**只缺 evaluator
+ * assemble 才会写入的 goldenTrace 与 ruleHostGateDecision**。回归失败原因
+ * 因此精确锁定这两个缺口，而不是顺便靠 implementationCode 缺失把测试打红。
+ */
+function pseudoCandidateContent() {
+    return JSON.stringify({
+        implementationCode: 'export function evaluate() { return { decision: "allow" }; }',
+        goldenTraceCases: buildValidTrace().cases,
+        affectedTools: ['edit'],
+        sourceArtifactId: 'pi-art-artificer-1',
+    });
+}
+function snapshot(contentJson) {
+    return {
+        artifactId: 'pi-art-under-test',
+        artifactKind: 'rule',
+        sourceTaskId: 'task-under-test',
+        validationStatus: 'validated',
+        contentJson,
+        createdAt: new Date().toISOString(),
+    };
+}
+/**
+ * 沙箱永不该被调用：契约函数判定失败的产物，writer 的静态检查必然先返回。
+ * 因此这里用一个会抛错的 stub 来证明「没走到沙箱」。
+ */
+const neverCalledSandbox = (_code, _trace, _opts) => {
+    throw new Error('sandbox must not be reached for contract-rejected artifacts');
+};
+describe('checkRuleActivationContent (PRI-634)', () => {
+    it('接受 evaluator assemble 的合法 rule 产物', () => {
+        expect(checkRuleActivationContent(validRuleContent())).toEqual({ ok: true });
+    });
+    it('拒绝 PRI-634 伪候选 (artificer schema 被改标 rule+validated)', () => {
+        const result = checkRuleActivationContent(pseudoCandidateContent());
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        // 真实形态（取证记录）: artificer 产物自带 implementationCode,缺口精确
+        // 锁定为 evaluator assemble 未写入的两项 —— goldenTrace 与 gate decision。
+        expect(result.missingFields).toEqual(['goldenTrace', 'ruleHostGateDecision:accepted_shadow']);
+    });
+    it('goldenTrace 结构非法时拒绝 (即使字段存在)', () => {
+        const result = checkRuleActivationContent(JSON.stringify({
+            implementationCode: 'export function evaluate() {}',
+            goldenTrace: { traceId: 'x' }, // 缺 cases / version / createdAt
+            ruleHostGateDecision: 'accepted_shadow',
+        }));
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        expect(result.missingFields).toEqual(['goldenTrace']);
+    });
+    it('gate decision 非 accepted_shadow 时拒绝', () => {
+        const result = checkRuleActivationContent(JSON.stringify({
+            implementationCode: 'export function evaluate() {}',
+            goldenTrace: buildValidTrace(),
+            ruleHostGateDecision: 'rejected_validation_failed',
+        }));
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        expect(result.missingFields).toEqual(['ruleHostGateDecision:accepted_shadow']);
+    });
+    it('implementationCode 为空串时拒绝', () => {
+        const result = checkRuleActivationContent(JSON.stringify({
+            implementationCode: '   ',
+            goldenTrace: buildValidTrace(),
+            ruleHostGateDecision: 'accepted_shadow',
+        }));
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        expect(result.missingFields).toEqual(['implementationCode']);
+    });
+    it('contentJson 不可解析 / 非对象时不抛异常，返回 content_json_unparseable', () => {
+        expect(checkRuleActivationContent('not-json')).toEqual({
+            ok: false,
+            missingFields: ['content_json_unparseable'],
+        });
+        expect(checkRuleActivationContent(JSON.stringify([1, 2, 3]))).toEqual({
+            ok: false,
+            missingFields: ['content_json_unparseable'],
+        });
+        expect(checkRuleActivationContent(JSON.stringify(null))).toEqual({
+            ok: false,
+            missingFields: ['content_json_unparseable'],
+        });
+    });
+});
+/**
+ * 契约一致性 (防漂移)：
+ * 契约函数放行的产物，writer 的静态检查必须也放行（不因缺字段在沙箱前被拒）；
+ * 契约函数拒绝的产物，writer 必须在沙箱调用之前就拒绝。
+ */
+describe('与 RuleHostWriter.canActivate 静态检查一致 (防漂移)', () => {
+    const writer = new RuleHostWriter({ gateDeps: { evaluateInSandbox: neverCalledSandbox } });
+    it('伪候选：契约拒绝 ⇒ writer 也在沙箱前拒绝，且不触碰沙箱', async () => {
+        const contentJson = pseudoCandidateContent();
+        expect(checkRuleActivationContent(contentJson).ok).toBe(false);
+        const result = await writer.canActivate(snapshot(contentJson));
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        // 真实形态下 implementationCode 存在,writer 的静态检查走到 goldenTrace
+        // 提取处失败 —— 与 PRI-634 生产事故的原始失败 reason 完全一致,证明
+        // 回归复现的就是那条真实失败链,而非另一个缺字段变体。
+        expect(result.reason).toBe('no_golden_trace');
+    });
+    it('合法产物：契约接受 ⇒ writer 不因缺字段拒绝 (进入沙箱/门禁阶段)', async () => {
+        const contentJson = validRuleContent();
+        expect(checkRuleActivationContent(contentJson)).toEqual({ ok: true });
+        // 用会在被调用时返回 rejected_no_cases 的沙箱，把「走到了门禁」与
+        // 「静态检查拒绝」区分开：静态拒绝的 reason 集合不含 gate_* 前缀。
+        const sandboxWriter = new RuleHostWriter({
+            gateDeps: {
+                evaluateInSandbox: () => ({
+                    success: false,
+                    failedCases: [],
+                    executionTimeMs: 0,
+                    forbiddenPatternViolations: [],
+                }),
+            },
+        });
+        const result = await sandboxWriter.canActivate(snapshot(contentJson));
+        expect(result.ok).toBe(false);
+        expect(String(result.ok ? '' : result.reason).startsWith('gate_decision_not_accepted_shadow')).toBe(true);
+    });
+});
+//# sourceMappingURL=rule-activation-contract.test.js.map

package/dist/runtime-v2/internalization/__tests__/rule-activation-contract.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-activation-contract.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/rule-activation-contract.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,8CAA8C,CAAC;AAK9E,2DAA2D;AAC3D,SAAS,eAAe;IACtB,MAAM,KAAK,GAAG,6BAA6B,CAAC;QAC1C,KAAK,EAAE;YACL;gBACE,MAAM,EAAE,eAAe;gBACvB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;gBAC5B,gBAAgB,EAAE,OAAO;aAC1B;YACD;gBACE,MAAM,EAAE,eAAe;gBACvB,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE;gBAC/B,gBAAgB,EAAE,OAAO;aAC1B;SACF;QACD,gBAAgB,EAAE,oBAAoB;KACvC,CAAC,CAAC;IACH,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC;AAED,iDAAiD;AACjD,SAAS,gBAAgB;IACvB,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,kBAAkB,EAAE,8DAA8D;QAClF,WAAW,EAAE,eAAe,EAAE;QAC9B,gBAAgB,EAAE,eAAe,EAAE,CAAC,KAAK;QACzC,aAAa,EAAE,CAAC,MAAM,CAAC;QACvB,oBAAoB,EAAE,iBAAiB;QACvC,yBAAyB,EAAE,oBAAoB;KAChD,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sBAAsB;IAC7B,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,kBAAkB,EAAE,8DAA8D;QAClF,gBAAgB,EAAE,eAAe,EAAE,CAAC,KAAK;QACzC,aAAa,EAAE,CAAC,MAAM,CAAC;QACvB,gBAAgB,EAAE,oBAAoB;KACvC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,WAAmB;IACnC,OAAO;QACL,UAAU,EAAE,mBAAmB;QAC/B,YAAY,EAAE,MAAM;QACpB,YAAY,EAAE,iBAAiB;QAC/B,gBAAgB,EAAE,WAAW;QAC7B,WAAW;QACX,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACH,CAAC;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CACzB,KAAa,EACb,MAAmB,EACnB,KAA6B,EACP,EAAE;IACxB,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;AACjF,CAAC,CAAC;AAEF,QAAQ,CAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,0BAA0B,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,0BAA0B,CAAC,sBAAsB,EAAE,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,qDAAqD;QACrD,gEAAgE;QAChE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,sCAAsC,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC;YACvD,kBAAkB,EAAE,+BAA+B;YACnD,WAAW,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,gCAAgC;YAC/D,oBAAoB,EAAE,iBAAiB;SACxC,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC;YACvD,kBAAkB,EAAE,+BAA+B;YACnD,WAAW,EAAE,eAAe,EAAE;YAC9B,oBAAoB,EAAE,4BAA4B;SACnD,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC;YACvD,kBAAkB,EAAE,KAAK;YACzB,WAAW,EAAE,eAAe,EAAE;YAC9B,oBAAoB,EAAE,iBAAiB;SACxC,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;YACrD,EAAE,EAAE,KAAK;YACT,aAAa,EAAE,CAAC,0BAA0B,CAAC;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACpE,EAAE,EAAE,KAAK;YACT,aAAa,EAAE,CAAC,0BAA0B,CAAC;SAC5C,CAAC,CAAC;QACH,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/D,EAAE,EAAE,KAAK;YACT,aAAa,EAAE,CAAC,0BAA0B,CAAC;SAC5C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH;;;;GAIG;AACH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,MAAM,MAAM,GAAG,IAAI,cAAc,CAAC,EAAE,QAAQ,EAAE,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,EAAE,CAAC,CAAC;IAE3F,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,WAAW,GAAG,sBAAsB,EAAE,CAAC;QAC7C,MAAM,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QAC/D,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,yDAAyD;QACzD,8CAA8C;QAC9C,6BAA6B;QAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,WAAW,GAAG,gBAAgB,EAAE,CAAC;QACvC,MAAM,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,4CAA4C;QAC5C,2CAA2C;QAC3C,MAAM,aAAa,GAAG,IAAI,cAAc,CAAC;YACvC,QAAQ,EAAE;gBACR,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;oBACxB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,EAAE;oBACf,eAAe,EAAE,CAAC;oBAClB,0BAA0B,EAAE,EAAE;iBAC/B,CAAC;aACH;SACF,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,mCAAmC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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-output.d.ts

@@ -50,6 +50,15 @@ export interface EvaluatorAdversarialResult {
     readonly passed: boolean;
     readonly failedCases: readonly AdversarialFailedCase[];
 }
+/**
+ * PRI-630 收敛契约: 第二轮及之后,评估器必须对上轮 review contract 的每个
+ * 稳定需求 id 裁定 resolved / still_open / regressed。
+ */
+export type PriorRequirementStatus = 'resolved' | 'still_open' | 'regressed';
+export interface PriorRequirementStatusEntry {
+    readonly id: string;
+    readonly status: PriorRequirementStatus;
+}
 export interface EvaluatorEvaluation {
     readonly decision: 'approved' | 'needs_revision' | 'rejected';
     readonly summary: string;
@@ -57,6 +66,17 @@ export interface EvaluatorEvaluation {
     readonly strengths: readonly string[];
     readonly concerns: readonly string[];
     readonly requiredChanges: readonly string[];
+    /** PRI-630: 上轮需求的逐条核销 (仅有上轮上下文时合法;首轮省略) */
+    readonly priorRequirementStatuses?: readonly PriorRequirementStatusEntry[];
+    /**
+     * PRI-630 P1 评审修复: 输入需求的 ledger echo ({id, statement, status}) —
+     * 下一轮上下文的身份载体,保证 requirement id 跨轮稳定。
+     */
+    readonly requirementLedger?: readonly {
+        readonly id: string;
+        readonly statement: string;
+        readonly status: PriorRequirementStatus;
+    }[];
 }
 export interface EvaluatorSourceTrace {
     readonly artificerArtifactId: string;
@@ -113,6 +133,15 @@ export interface EvaluatorOutputV2 extends EvaluatorOutputV1 {
     readonly compressionFidelity?: EvaluatorCompressionFidelity;
 }
 export declare const EVALUATOR_DECISIONS: readonly ['approved', 'needs_revision', 'rejected'];
+export declare const PriorRequirementStatusEntrySchema: import("@sinclair/typebox").TObject<{
+    id: import("@sinclair/typebox").TString;
+    status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"resolved">, import("@sinclair/typebox").TLiteral<"still_open">, import("@sinclair/typebox").TLiteral<"regressed">]>;
+}>;
+export declare const RequirementLedgerEntrySchema: import("@sinclair/typebox").TObject<{
+    id: import("@sinclair/typebox").TString;
+    statement: import("@sinclair/typebox").TString;
+    status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"resolved">, import("@sinclair/typebox").TLiteral<"still_open">, import("@sinclair/typebox").TLiteral<"regressed">]>;
+}>;
 export declare const EvaluatorEvaluationSchema: import("@sinclair/typebox").TObject<{
     decision: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"approved">, import("@sinclair/typebox").TLiteral<"needs_revision">, import("@sinclair/typebox").TLiteral<"rejected">]>;
     summary: import("@sinclair/typebox").TString;
@@ -120,6 +149,15 @@ export declare const EvaluatorEvaluationSchema: import("@sinclair/typebox").TObj
     strengths: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
     concerns: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
     requiredChanges: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+    priorRequirementStatuses: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        id: import("@sinclair/typebox").TString;
+        status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"resolved">, import("@sinclair/typebox").TLiteral<"still_open">, import("@sinclair/typebox").TLiteral<"regressed">]>;
+    }>>>;
+    requirementLedger: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        id: import("@sinclair/typebox").TString;
+        statement: import("@sinclair/typebox").TString;
+        status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"resolved">, import("@sinclair/typebox").TLiteral<"still_open">, import("@sinclair/typebox").TLiteral<"regressed">]>;
+    }>>>;
 }>;
 export declare const EvaluatorSourceTraceSchema: import("@sinclair/typebox").TObject<{
     artificerArtifactId: import("@sinclair/typebox").TString;
@@ -137,6 +175,15 @@ export declare const EvaluatorOutputV1Schema: import("@sinclair/typebox").TObjec
         strengths: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
         concerns: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
         requiredChanges: import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>;
+        priorRequirementStatuses: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+            id: import("@sinclair/typebox").TString;
+            status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"resolved">, import("@sinclair/typebox").TLiteral<"still_open">, import("@sinclair/typebox").TLiteral<"regressed">]>;
+        }>>>;
+        requirementLedger: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+            id: import("@sinclair/typebox").TString;
+            statement: import("@sinclair/typebox").TString;
+            status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"resolved">, import("@sinclair/typebox").TLiteral<"still_open">, import("@sinclair/typebox").TLiteral<"regressed">]>;
+        }>>>;
     }>;
     sourceTrace: import("@sinclair/typebox").TObject<{
         artificerArtifactId: import("@sinclair/typebox").TString;
@@ -160,9 +207,23 @@ export interface EvaluatorValidationResult {
  */
 export declare function isEvaluatorOutputV2(output: unknown): output is EvaluatorOutputV2;
 export interface EvaluatorValidator {
-    validate(output: unknown, taskId: string, expectedSourceArtificerArtifactId?: string): Promise<EvaluatorValidationResult>;
+    validate(output: unknown, taskId: string, expectedSourceArtificerArtifactId?: string, convergence?: EvaluatorConvergenceContext): Promise<EvaluatorValidationResult>;
+}
+export interface EvaluatorExpectedRequirement {
+    /** 上轮分配的稳定 id (req-N) */
+    readonly id: string;
+    /** 上轮注入上下文的陈述原文 — ledger 必须 verbatim echo */
+    readonly statement: string;
+}
+export interface EvaluatorConvergenceContext {
+    /**
+     * 评审轮 2 P1: authoritative 修复轮契约 — runner 从上一轮上下文原样传入。
+     * repair round 的 priorRequirementStatuses 与 requirementLedger 都以此为准
+     * 做机器校验 (存在/完整/不重复/不重编号/statement 原文/status 互洽)。
+     */
+    readonly expectedRequirements?: readonly EvaluatorExpectedRequirement[];
 }
 export declare class DefaultEvaluatorValidator implements EvaluatorValidator {
-    validate(output: unknown, taskId: string, expectedSourceArtificerArtifactId?: string): Promise<EvaluatorValidationResult>;
+    validate(output: unknown, taskId: string, expectedSourceArtificerArtifactId?: string, convergence?: EvaluatorConvergenceContext): Promise<EvaluatorValidationResult>;
 }
 //# sourceMappingURL=evaluator-output.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"evaluator-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAE1E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;CACtC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,iBAAiB,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE;QACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,WAAW,GAAG,YAAY,CAAC;QACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;QACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACxD;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,GAAG,UAAU,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,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,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,sEAAsE;IACtE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,0BAA0B,CAAC;IACxD,oDAAoD;IACpD,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sDAAsD;IACtD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,4BAA4B,CAAC;CAC7D;AAED,eAAO,MAAM,mBAAmB,YAAI,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAU,CAAC;AAEvF,eAAO,MAAM,yBAAyB;;;;;;;EAWpC,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;;EAKrC,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;AAqJD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAehF;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CAC3H;AAED,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CA0F9H;CACF"}
+{"version":3,"file":"evaluator-output.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/internalization/evaluator-output.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAE1E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC;CACtC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,iBAAiB,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE;QACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,WAAW,GAAG,YAAY,CAAC;QACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE;QACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;QACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACxD;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,YAAY,GAAG,WAAW,CAAC;AAE7E,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,gBAAgB,GAAG,UAAU,CAAC;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,2CAA2C;IAC3C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC3E;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS;QACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;KACzC,EAAE,CAAC;CACL;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,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,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,sEAAsE;IACtE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,mBAAmB,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,0BAA0B,CAAC;IACxD,oDAAoD;IACpD,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sDAAsD;IACtD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,4BAA4B,CAAC;CAC7D;AAED,eAAO,MAAM,mBAAmB,YAAI,UAAU,EAAE,gBAAgB,EAAE,UAAU,CAAU,CAAC;AAEvF,eAAO,MAAM,iCAAiC;;;EAO5C,CAAC;AAEH,eAAO,MAAM,4BAA4B;;;;EAQvC,CAAC;AAEH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;EAapC,CAAC;AAEH,eAAO,MAAM,0BAA0B;;;;;EAKrC,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;AAqJD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,IAAI,iBAAiB,CAehF;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;CACtK;AAED,MAAM,WAAW,4BAA4B;IAC3C,yBAAyB;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,2BAA2B;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACzE;AAED,qBAAa,yBAA0B,YAAW,kBAAkB;IAE5D,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iCAAiC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,2BAA2B,GAAG,OAAO,CAAC,yBAAyB,CAAC,CA2MzK;CACF"}

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

@@ -1,6 +1,23 @@
 import { Type } from '@sinclair/typebox';
 import { validateRuleContextV2 } from './rule-context-v2.js';
 export const EVALUATOR_DECISIONS = ['approved', 'needs_revision', 'rejected'];
+export const PriorRequirementStatusEntrySchema = Type.Object({
+    id: Type.String({ minLength: 1 }),
+    status: Type.Union([
+        Type.Literal('resolved'),
+        Type.Literal('still_open'),
+        Type.Literal('regressed'),
+    ]),
+});
+export const RequirementLedgerEntrySchema = Type.Object({
+    id: Type.String({ minLength: 1 }),
+    statement: Type.String({ minLength: 1 }),
+    status: Type.Union([
+        Type.Literal('resolved'),
+        Type.Literal('still_open'),
+        Type.Literal('regressed'),
+    ]),
+});
 export const EvaluatorEvaluationSchema = Type.Object({
     decision: Type.Union([
         Type.Literal('approved'),
@@ -12,6 +29,8 @@ export const EvaluatorEvaluationSchema = Type.Object({
     strengths: Type.Array(Type.String()),
     concerns: Type.Array(Type.String()),
     requiredChanges: Type.Array(Type.String()),
+    priorRequirementStatuses: Type.Optional(Type.Array(PriorRequirementStatusEntrySchema)),
+    requirementLedger: Type.Optional(Type.Array(RequirementLedgerEntrySchema)),
 });
 export const EvaluatorSourceTraceSchema = Type.Object({
     artificerArtifactId: Type.String({ minLength: 1 }),
@@ -192,8 +211,8 @@ export function isEvaluatorOutputV2(output) {
         && (!hasResult || validateAdversarialResult(output.adversarialResult).length === 0);
 }
 export class DefaultEvaluatorValidator {
-    // eslint-disable-next-line @typescript-eslint/class-methods-use-this
-    async validate(output, taskId, expectedSourceArtificerArtifactId) {
+    // eslint-disable-next-line @typescript-eslint/class-methods-use-this, @typescript-eslint/max-params -- 4th param is the PRI-630 convergence context (mirrors EvaluatorValidator interface); a params object would break existing call sites
+    async validate(output, taskId, expectedSourceArtificerArtifactId, convergence) {
         const errors = [];
         if (!isRecord(output)) {
             return { valid: false, errors: ['Output is not an object'], errorCategory: 'output_invalid' };
@@ -236,6 +255,55 @@ export class DefaultEvaluatorValidator {
                 errors.push('evaluation.requiredChanges must be an array');
             else if (!ev.requiredChanges.every((e) => typeof e === 'string'))
                 errors.push('evaluation.requiredChanges must be an array of strings');
+            // PRI-630 (SPEC §18.4) schema invariant: needs_revision 必须携带至少一条
+            // 可执行修改 — 空清单的 revision 判定是裁决与依据脱节 (链 48371236 轮3)。
+            else if (ev.decision === 'needs_revision' && ev.requiredChanges.length === 0) {
+                errors.push('evaluation.requiredChanges must be non-empty when decision is needs_revision (PRI-630 convergence invariant)');
+            }
+            // PRI-630 (SPEC §18.2): 上轮需求核销 — 结构校验 + id/status 枚举
+            if (Object.hasOwn(ev, 'priorRequirementStatuses') && ev.priorRequirementStatuses !== undefined) {
+                if (!Array.isArray(ev.priorRequirementStatuses)) {
+                    errors.push('evaluation.priorRequirementStatuses must be an array');
+                }
+                else {
+                    for (const entry of ev.priorRequirementStatuses) {
+                        if (!isRecord(entry)) {
+                            errors.push('evaluation.priorRequirementStatuses entries must be objects');
+                            break;
+                        }
+                        if (typeof entry.id !== 'string' || entry.id.trim() === '') {
+                            errors.push('evaluation.priorRequirementStatuses entries must have non-empty id');
+                        }
+                        if (entry.status !== 'resolved' && entry.status !== 'still_open' && entry.status !== 'regressed') {
+                            errors.push(`evaluation.priorRequirementStatuses status must be resolved/still_open/regressed, got ${String(entry.status)}`);
+                        }
+                    }
+                }
+            }
+            // PRI-630 P1 评审修复: requirementLedger 结构校验 (id/statement 非空,
+            // status 枚举;『new』是上下文构建侧的状态,evaluator 输出不含)
+            if (Object.hasOwn(ev, 'requirementLedger') && ev.requirementLedger !== undefined) {
+                if (!Array.isArray(ev.requirementLedger)) {
+                    errors.push('evaluation.requirementLedger must be an array');
+                }
+                else {
+                    for (const entry of ev.requirementLedger) {
+                        if (!isRecord(entry)) {
+                            errors.push('evaluation.requirementLedger entries must be objects');
+                            break;
+                        }
+                        if (typeof entry.id !== 'string' || entry.id.trim() === '') {
+                            errors.push('evaluation.requirementLedger entries must have non-empty id');
+                        }
+                        if (typeof entry.statement !== 'string' || entry.statement.trim() === '') {
+                            errors.push('evaluation.requirementLedger entries must have non-empty statement');
+                        }
+                        if (entry.status !== 'resolved' && entry.status !== 'still_open' && entry.status !== 'regressed') {
+                            errors.push(`evaluation.requirementLedger status must be resolved/still_open/regressed, got ${String(entry.status)}`);
+                        }
+                    }
+                }
+            }
         }
         if (!Object.hasOwn(output, 'sourceTrace') || !isRecord(output.sourceTrace)) {
             errors.push('sourceTrace must be an object');
@@ -285,6 +353,75 @@ export class DefaultEvaluatorValidator {
         if (Object.hasOwn(output, 'adversarialResult')) {
             errors.push(...validateAdversarialResult(output.adversarialResult));
         }
+        // 评审轮 2 P1: requirementLedger 从 prompt-only echo 收紧为
+        // validator-enforced authoritative contract (机器可验证,不再依赖模型自觉):
+        //   statuses   — 每个 expected id 恰好一次 (不缺、不重复、无幻觉 id)
+        //   ledger     — 必须存在;每个 expected id 恰好一次;不重编号 (额外 id 拒绝);
+        //                statement 与上下文原文一致;status 与 statuses 同 id 一致
+        const expectedReqs = convergence?.expectedRequirements;
+        if (expectedReqs && expectedReqs.length > 0) {
+            const ev = (isRecord(output) && isRecord(output.evaluation)) ? output.evaluation : undefined;
+            const statuses = ev && Array.isArray(ev.priorRequirementStatuses) ? ev.priorRequirementStatuses : undefined;
+            const ledger = ev && Array.isArray(ev.requirementLedger) ? ev.requirementLedger : undefined;
+            if (!statuses) {
+                errors.push('evaluation.priorRequirementStatuses is required in a repair round (previous evaluation context was provided)');
+            }
+            if (!ledger) {
+                errors.push('evaluation.requirementLedger is required in a repair round (previous evaluation context was provided)');
+            }
+            if (statuses && ledger) {
+                const statusById = new Map();
+                for (const entry of statuses) {
+                    if (!isRecord(entry) || typeof entry.id !== 'string')
+                        continue;
+                    const prev = statusById.get(entry.id) ?? { count: 0, status: entry.status };
+                    statusById.set(entry.id, { count: prev.count + 1, status: entry.status });
+                }
+                const ledgerById = new Map();
+                for (const entry of ledger) {
+                    if (!isRecord(entry) || typeof entry.id !== 'string')
+                        continue;
+                    const prev = ledgerById.get(entry.id) ?? { count: 0, statement: entry.statement, status: entry.status };
+                    ledgerById.set(entry.id, { count: prev.count + 1, statement: entry.statement, status: entry.status });
+                }
+                for (const expected of expectedReqs) {
+                    const st = statusById.get(expected.id);
+                    if (st === undefined || st.count === 0) {
+                        errors.push(`evaluation.priorRequirementStatuses must cover prior requirement id ${expected.id} (missing)`);
+                    }
+                    else if (st.count > 1) {
+                        errors.push(`evaluation.priorRequirementStatuses id ${expected.id} must appear exactly once (got ${st.count})`);
+                    }
+                    const lg = ledgerById.get(expected.id);
+                    if (lg === undefined || lg.count === 0) {
+                        errors.push(`evaluation.requirementLedger must cover prior requirement id ${expected.id} (missing or renumbered)`);
+                    }
+                    else if (lg.count > 1) {
+                        errors.push(`evaluation.requirementLedger id ${expected.id} must appear exactly once (got ${lg.count})`);
+                    }
+                    else {
+                        if (lg.statement !== expected.statement) {
+                            errors.push(`evaluation.requirementLedger statement for ${expected.id} must match the authoritative context verbatim (got ${String(lg.statement)})`);
+                        }
+                        if (st !== undefined && st.count === 1 && lg.status !== st.status) {
+                            errors.push(`evaluation.requirementLedger status for ${expected.id} (${String(lg.status)}) must match priorRequirementStatuses (${String(st.status)})`);
+                        }
+                    }
+                }
+                // 幻觉/重编号 id: expected 之外的任何 id 都不允许 (echo 契约)
+                const expectedIdSet = new Set(expectedReqs.map((e) => e.id));
+                for (const [id] of statusById) {
+                    if (!expectedIdSet.has(id)) {
+                        errors.push(`evaluation.priorRequirementStatuses has unexpected id ${id} (not in prior context — renumbering/fabrication)`);
+                    }
+                }
+                for (const [id] of ledgerById) {
+                    if (!expectedIdSet.has(id)) {
+                        errors.push(`evaluation.requirementLedger has unexpected id ${id} (not in prior context — renumbering/fabrication)`);
+                    }
+                }
+            }
+        }
         return errors.length > 0
             ? { valid: false, errors, errorCategory: 'output_invalid' }
             : { valid: true, errors: [] };