create-principles-disciple 1.133.11 → 1.133.13

package/core/dist/runtime-v2/internalization/__tests__/evolution-alignment-contract.test.js

@@ -0,0 +1,457 @@
+/**
+ * PRI-703 / PRI-705 / PRI-700 — Evolution Alignment contract tests
+ * (Owner decision 2026-09-07, task §8 test requirements).
+ *
+ * Covers the four required test classes:
+ *   1. Intent Consistency — the intent contract flows scribe → prompt → rule
+ *      artifact without mutation (same principle ⇒ same contract).
+ *   2. Failure Attribution — partitionV2OutOfScopeFailures classifies
+ *      rule-error / test-error / infra scenarios correctly (v2×v1 out-of-scope
+ *      is the Episode-001 PRI-700 shape).
+ *   3. Repair feedback circuit — priorValidatorErrors reaches the artificer
+ *      prompt (PRI-700 factor B) and the case-id vocabulary note is present
+ *      (factor C).
+ *   4. Scribe contract validation — intentContract present-but-malformed is
+ *      a hard rejection; absent stays valid (backward compatibility).
+ */
+import { describe, expect, it } from 'vitest';
+import { extractIntentContract, isValidIntentContractV1, } from '../intent-contract.js';
+import { DefaultScribeValidator } from '../scribe-output.js';
+import { attributionFromLayer, partitionV2OutOfScopeFailures, v2TemplateOracleExpectedDecision, resolveRequiresContextVersionFromArtifact, V2_TEMPLATE_CASE_IDS, } from '../rule-reliability-validation.js';
+import { generateV2ContextAdversarialCases } from '../v2-adversarial-cases.js';
+import { ArtificerPromptBuilder } from '../artificer-prompt-builder.js';
+import { DefaultArtificerValidator, } from '../artificer-output.js';
+import { parseLastValidatorErrors, isFreshForNextAttempt, parsePITaskMetadata } from '../pitask-metadata.js';
+const VALID_CONTRACT = {
+    ownerIntent: 'avoid the agent guessing configuration contracts from example files',
+    targetBehavior: 'verify a config field has a real consumer before writing it',
+    forbiddenBehavior: 'inferring field existence from example files or naming conventions',
+    evidenceSource: 'pain manual_1788707211638 (invented config fields, 4th recurrence)',
+    validationExpectation: 'absent consumer evidence must surface as an explicit risk',
+};
+function scribeOutputWithContract(overrides = {}) {
+    return {
+        taskId: 'scribe-1',
+        sourcePhilosopherArtifactId: 'pi-art-phil-1',
+        principleDraft: {
+            title: 'No config field without a verified consumer',
+            statement: 'A config field must not be written unless a real consumer is verified.',
+            rationale: 'Invented fields from example files caused repeated failures.',
+            applicability: ['config', 'env', 'api payloads'],
+            antiPatterns: ['copying fields from deploy.example.yml'],
+            confidence: 0.86,
+        },
+        intentContract: { ...VALID_CONTRACT, ...overrides },
+        sourceTrace: { philosopherArtifactId: 'pi-art-phil-1' },
+        risks: [],
+        generatedAt: '2026-09-07T00:00:00.000Z',
+    };
+}
+describe('1. Intent Consistency — contract flows scribe → prompt → rule artifact unchanged', () => {
+    it('extractIntentContract round-trips the validated contract verbatim (no field drift)', () => {
+        const artifact = scribeOutputWithContract();
+        const extracted = extractIntentContract(artifact);
+        expect(extracted).not.toBeNull();
+        expect(extracted).toEqual(artifact.intentContract);
+    });
+    it('the artificer prompt carries the exact contract the scribe produced (byte-identical intent anchor)', () => {
+        const builder = new ArtificerPromptBuilder();
+        const { promptInput } = builder.buildPrompt({
+            contextMode: 'v1',
+            taskId: 'artificer-1',
+            contextHash: 'hash-1',
+            sourceScribeArtifactId: 'pi-art-scribe-1',
+            scribeArtifact: scribeOutputWithContract(),
+            intentContract: VALID_CONTRACT,
+        });
+        expect(promptInput.intentContract).toEqual(VALID_CONTRACT);
+        const message = JSON.stringify(promptInput);
+        expect(message).toContain('avoid the agent guessing configuration contracts');
+        // The intent anchor block must instruct contract precedence over repair
+        // instructions — the alignment rule itself is part of the contract.
+        expect(promptInput.artificerInstruction).toContain('OWNER INTENT CONTRACT');
+        expect(promptInput.artificerInstruction).toContain('intentContract wins');
+    });
+    it('pre-contract scribe artifacts produce prompts WITHOUT the contract key (backward compatible)', () => {
+        const builder = new ArtificerPromptBuilder();
+        const legacyArtifact = scribeOutputWithContract();
+        delete legacyArtifact.intentContract;
+        const { promptInput } = builder.buildPrompt({
+            contextMode: 'v1',
+            taskId: 'artificer-2',
+            contextHash: 'hash-2',
+            sourceScribeArtifactId: 'pi-art-scribe-2',
+            scribeArtifact: legacyArtifact,
+        });
+        expect(promptInput).not.toHaveProperty('intentContract');
+    });
+    it('the scribe validator requires all five contract fields to be non-empty strings', async () => {
+        const validator = new DefaultScribeValidator();
+        // any single missing/empty field → hard rejection (a corrupted anchor is
+        // worse than none)
+        for (const field of Object.keys(VALID_CONTRACT)) {
+            const bad = scribeOutputWithContract({ [field]: '' });
+            const result = await validator.validate(bad, 'scribe-1', 'pi-art-phil-1');
+            expect(result.valid).toBe(false);
+            expect(result.errors.join(' ')).toContain('intentContract');
+        }
+    });
+    it('absent intentContract stays valid (pre-contract outputs pass unchanged)', async () => {
+        const validator = new DefaultScribeValidator();
+        const legacy = scribeOutputWithContract();
+        delete legacy.intentContract;
+        const result = await validator.validate(legacy, 'scribe-1', 'pi-art-phil-1');
+        expect(result.valid).toBe(true);
+    });
+});
+describe('2. Failure Attribution — where/why/what-next classification', () => {
+    // Round-2 R1 (Owner 口径 b): 出界判定按「oracle 期望决策 + 逐 case 验证」，
+    // 不按模板名单断言。expectedDecision 的分类真值 = 编译期模板 oracle
+    // (generateV2ContextAdversarialCases 定义)；沙箱回带值仅作一致性比对
+    // (防 caseId 冒名)，绝非判定来源。
+    it('Case B: pure context-only allow-template failures against a v1 rule ARE out-of-scope (Episode-001 death loop breaker preserved)', () => {
+        const partition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: undefined, // v1 action-only rule
+            failedCases: [
+                { caseId: 'v2-unavailable', expectedDecision: 'allow' },
+                { caseId: 'v2-truncated', expectedDecision: 'allow' },
+                { caseId: 'v2-alias', expectedDecision: 'allow' },
+            ],
+        });
+        expect(partition.isPureOutOfScope).toBe(true);
+        expect(partition.outOfScope).toEqual(['v2-unavailable', 'v2-truncated', 'v2-alias']);
+        expect(partition.inScope).toEqual([]);
+        expect(attributionFromLayer('test')).toBe('FAILED_TEST');
+    });
+    it('Case A: a rule that violates an explicit block requirement MUST reach repair — block-expecting v2 templates are never out-of-scope', () => {
+        // R1 复现回归：原则禁止写危险文件，规则输出 allow，v2-combination
+        // (期望 block) 失败——必须进 Rule 修复，禁止被 NHR 豁免。
+        const partition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: undefined,
+            failedCases: [{ caseId: 'v2-combination', expectedDecision: 'block' }],
+        });
+        expect(partition.isPureOutOfScope).toBe(false);
+        expect(partition.outOfScope).toEqual([]);
+        expect(partition.inScope).toEqual(['v2-combination']);
+        // path-boundary 同理：期望 block 的模板 v1 完全可实现
+        const boundaryPartition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: undefined,
+            failedCases: [
+                { caseId: 'v2-path-boundary', expectedDecision: 'block' },
+                { caseId: 'v2-unavailable', expectedDecision: 'allow' },
+            ],
+        });
+        expect(boundaryPartition.isPureOutOfScope).toBe(false);
+        expect(boundaryPartition.inScope).toEqual(['v2-path-boundary']);
+        expect(boundaryPartition.outOfScope).toEqual(['v2-unavailable']);
+    });
+    it('Case C: expectedDecision missing or mismatched → fail-closed IN SCOPE (never exempts the rule)', () => {
+        const missing = partitionV2OutOfScopeFailures({
+            requiresContextVersion: undefined,
+            failedCases: [
+                { caseId: 'v2-unavailable' },
+                { caseId: 'v2-alias', expectedDecision: 'block' }, // 冒名/不一致 → in-scope
+            ],
+        });
+        expect(missing.isPureOutOfScope).toBe(false);
+        expect(missing.outOfScope).toEqual([]);
+        expect(missing.inScope).toEqual(['v2-unavailable', 'v2-alias']);
+    });
+    it('the same v2 cases against a v2 rule are in scope (the channel CAN express them)', () => {
+        const partition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: 2,
+            failedCases: [
+                { caseId: 'v2-unavailable', expectedDecision: 'allow' },
+                { caseId: 'v2-truncated', expectedDecision: 'allow' },
+                { caseId: 'case-ordinary-1', expectedDecision: 'block' },
+            ],
+        });
+        expect(partition.isPureOutOfScope).toBe(false);
+        expect(partition.outOfScope).toEqual([]);
+        expect(partition.inScope).toEqual(['v2-unavailable', 'v2-truncated', 'case-ordinary-1']);
+    });
+    it('mixed failures on a v1 rule: ordinary cases stay in-scope (real rule defect)', () => {
+        const partition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: undefined,
+            failedCases: [
+                { caseId: 'case-ordinary-1', expectedDecision: 'block' },
+                { caseId: 'v2-unavailable', expectedDecision: 'allow' },
+            ],
+        });
+        expect(partition.isPureOutOfScope).toBe(false);
+        expect(partition.inScope).toEqual(['case-ordinary-1']);
+        expect(partition.outOfScope).toEqual(['v2-unavailable']);
+    });
+    it('a v1 rule failing ONLY on custom v2-* ids stays IN SCOPE (no false test-out-of-scope routing)', () => {
+        const partition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: undefined,
+            failedCases: [
+                { caseId: 'v2-business-boundary', expectedDecision: 'block' },
+                { caseId: 'v2-custom-2', expectedDecision: 'allow' },
+            ],
+        });
+        expect(partition.isPureOutOfScope).toBe(false);
+        expect(partition.inScope).toEqual(['v2-business-boundary', 'v2-custom-2']);
+        expect(partition.outOfScope).toEqual([]);
+    });
+    it('v2TemplateOracleExpectedDecision reflects the compile-time template definitions (block templates are never context-only)', () => {
+        expect(v2TemplateOracleExpectedDecision('v2-unavailable')).toBe('allow');
+        expect(v2TemplateOracleExpectedDecision('v2-truncated')).toBe('allow');
+        expect(v2TemplateOracleExpectedDecision('v2-alias')).toBe('allow');
+        expect(v2TemplateOracleExpectedDecision('v2-path-boundary')).toBe('block');
+        expect(v2TemplateOracleExpectedDecision('v2-combination')).toBe('block');
+        expect(v2TemplateOracleExpectedDecision('v2-business-boundary')).toBeNull();
+        expect(v2TemplateOracleExpectedDecision('negative-1')).toBeNull();
+    });
+    it('attributionFromLayer maps the full stage-answer taxonomy onto one vocabulary', () => {
+        const expected = [
+            ['principle', 'FAILED_PRINCIPLE'],
+            ['rule', 'FAILED_RULE'],
+            ['evaluation', 'FAILED_EVALUATION'],
+            ['test', 'FAILED_TEST'],
+            ['runtime', 'INFRA_BLOCKED'],
+            ['adapter', 'UNKNOWN'],
+            ['unknown', 'UNKNOWN'],
+        ];
+        for (const [layer, attribution] of expected) {
+            expect(attributionFromLayer(layer)).toBe(attribution);
+        }
+    });
+    it('resolveRequiresContextVersionFromArtifact distinguishes v1 (key-absent) from unresolvable — the out-of-scope wiring regression', () => {
+        // 评审 P1 回归：key-absent on a PARSED artifact is deterministically v1
+        // (artificer schema only ever writes literal 2)。此前 runner 把它折叠成
+        // null，导致 partition 在生产中永远不运行——出界路由的全部目标人群
+        // (v1 规则) 被接线断点排除。
+        expect(resolveRequiresContextVersionFromArtifact('{"title":"t","statement":"s"}')).toBeUndefined();
+        expect(resolveRequiresContextVersionFromArtifact('{"requiresContextVersion":2}')).toBe(2);
+        // unresolvable (fail-open) cases must stay null, never v1:
+        expect(resolveRequiresContextVersionFromArtifact(null)).toBeNull();
+        expect(resolveRequiresContextVersionFromArtifact(undefined)).toBeNull();
+        expect(resolveRequiresContextVersionFromArtifact('')).toBeNull();
+        expect(resolveRequiresContextVersionFromArtifact('not json')).toBeNull();
+        expect(resolveRequiresContextVersionFromArtifact('[1,2]')).toBeNull();
+        expect(resolveRequiresContextVersionFromArtifact('{"requiresContextVersion":"2"}')).toBeNull();
+    });
+    it('WIRING: a resolved v1 artifact whose replay failures are all oracle-verified allow templates routes pure out-of-scope', () => {
+        const v1ArtifactContentJson = '{"taskId":"a","ruleCode":"...","statement":"s"}';
+        const resolved = resolveRequiresContextVersionFromArtifact(v1ArtifactContentJson);
+        expect(resolved).toBeUndefined();
+        const partition = partitionV2OutOfScopeFailures({
+            requiresContextVersion: resolved === 2 ? 2 : undefined,
+            failedCases: [
+                { caseId: 'v2-unavailable', expectedDecision: 'allow' },
+                { caseId: 'v2-alias', expectedDecision: 'allow' },
+            ],
+        });
+        expect(partition.isPureOutOfScope).toBe(true);
+        expect(partition.outOfScope).toEqual(['v2-unavailable', 'v2-alias']);
+        expect(partition.inScope).toEqual([]);
+    });
+    it('V2_TEMPLATE_CASE_IDS stays equivalent to the generator output (drift would silently re-open the death loop)', () => {
+        const generated = generateV2ContextAdversarialCases({
+            toolName: 'write_file',
+            targetPath: '/workspace/report.md',
+            canonicalKind: 'write',
+        });
+        const generatedIds = new Set(generated.map((c) => c.caseId));
+        expect(generatedIds.size).toBe(5);
+        expect([...generatedIds].sort()).toEqual([...V2_TEMPLATE_CASE_IDS].sort());
+        // Round-2 R1: the oracle-expected decision per generated template must
+        // match the partition's oracle map — generator drift in expectations is
+        // caught here, not silently in production routing.
+        for (const c of generated) {
+            const oracle = v2TemplateOracleExpectedDecision(c.caseId);
+            expect(oracle).not.toBeNull();
+            expect(oracle).toBe(c.expectedDecision);
+        }
+    });
+});
+describe('3. Repair feedback circuit — PRI-700 factors B + C', () => {
+    it('priorValidatorErrors reaches the serialized artificer prompt (the dead loop is broken)', () => {
+        const builder = new ArtificerPromptBuilder();
+        const { promptInput, message } = builder.buildPrompt({
+            contextMode: 'v1',
+            taskId: 'artificer-repair-r1',
+            contextHash: 'hash-r1',
+            sourceScribeArtifactId: 'pi-art-scribe-1',
+            scribeArtifact: scribeOutputWithContract(),
+            repairFeedback: 'Previous attempt scored 0.7 (needs_revision).\nEvaluator concerns:\nRequired changes:\n1. handle unavailable context\nFix ALL the above.',
+            priorValidatorErrors: {
+                recordedAt: '2026-09-07T01:00:00.000Z',
+                errorCategory: 'output_invalid',
+                errors: [
+                    'goldenTraceCases[0].ruleContext is required when requiresContextVersion: 2 is declared',
+                    "expectedDecision 'propose_correction' is forbidden in v2 seed rules",
+                ],
+                // 评审修正: prompt fixture 是"本 attempt 将回喂上一轮"的形态——
+                // base runner 泄漏面按 attempt-1 新鲜度判定
+                sourceAttemptCount: 1,
+            },
+        });
+        expect(promptInput.priorValidatorErrors?.errors).toHaveLength(2);
+        // The verbatim rejection reasons are IN the prompt the repair LLM sees —
+        // attempt N+1 is no longer a zero-information retry.
+        expect(message).toContain('expectedDecision \'propose_correction\' is forbidden');
+        expect(promptInput.artificerInstruction).toContain('PRIOR OUTPUT-CONTRACT REJECTIONS');
+    });
+    it('the case-id vocabulary note is part of the prompt contract (factor C)', () => {
+        const builder = new ArtificerPromptBuilder();
+        const { promptInput } = builder.buildPrompt({
+            contextMode: 'v1',
+            taskId: 'artificer-repair-r1',
+            contextHash: 'hash-r1',
+            sourceScribeArtifactId: 'pi-art-scribe-1',
+            scribeArtifact: scribeOutputWithContract(),
+            repairFeedback: 'Required changes:\n1. allow the evidence-availability boundary cases (v2-unavailable, v2-truncated, v2-alias)',
+        });
+        expect(promptInput.artificerInstruction).toContain('ADVERSARIAL CASE VOCABULARY NOTE');
+        expect(promptInput.artificerInstruction).toContain('v2-*');
+        expect(promptInput.artificerInstruction).toContain('NEVER respond to a case id by declaring');
+    });
+    it('parseLastValidatorErrors guards the trust boundary (malformed data → null, never a crash)', () => {
+        expect(parseLastValidatorErrors(null)).toBeNull();
+        expect(parseLastValidatorErrors('')).toBeNull();
+        expect(parseLastValidatorErrors('not json')).toBeNull();
+        expect(parseLastValidatorErrors('{"other":1}')).toBeNull();
+        expect(parseLastValidatorErrors('{"lastValidatorErrors":{}}')).toBeNull();
+        expect(parseLastValidatorErrors('{"lastValidatorErrors":{"recordedAt":"t","errorCategory":"output_invalid","errors":[]}}')).toBeNull();
+        // legacy shape without sourceAttemptCount → null (宁可少回喂一次，不回喂
+        // 来源不明的旧错误 — 评审 P1)
+        expect(parseLastValidatorErrors('{"lastValidatorErrors":{"recordedAt":"t","errorCategory":"output_invalid","errors":["e1"]}}')).toBeNull();
+        expect(parseLastValidatorErrors('{"lastValidatorErrors":{"recordedAt":"t","errorCategory":"output_invalid","errors":["e1"],"sourceAttemptCount":-1}}')).toBeNull();
+        const valid = parseLastValidatorErrors('{"lastValidatorErrors":{"recordedAt":"t","errorCategory":"output_invalid","errors":["e1"],"sourceAttemptCount":3}}');
+        expect(valid?.errors).toEqual(['e1']);
+        expect(valid?.sourceAttemptCount).toBe(3);
+    });
+    it('parseLastValidatorErrors bounds the re-fed error payload (rc-8: echoed LLM output must not overflow the prompt budget)', () => {
+        const longError = 'x'.repeat(1200);
+        const parsed = parseLastValidatorErrors(`{"lastValidatorErrors":{"recordedAt":"t","errorCategory":"output_invalid","errors":["${longError}"],"sourceAttemptCount":2}}`);
+        expect(parsed).not.toBeNull();
+        expect(parsed?.errors[0]?.length).toBeLessThanOrEqual(500 + '…[truncated]'.length);
+        expect(parsed?.errors[0]).toContain('…[truncated]');
+        // >10 errors: first 10 kept, remainder collapsed into a visible marker
+        const many = Array.from({ length: 15 }, (_, i) => `e${i}`);
+        const capped = parseLastValidatorErrors(`{"lastValidatorErrors":{"recordedAt":"t","errorCategory":"output_invalid","errors":${JSON.stringify(many)},"sourceAttemptCount":2}}`);
+        expect(capped?.errors).toHaveLength(11);
+        expect(capped?.errors[9]).toBe('e9');
+        expect(capped?.errors[10]).toBe('[+5 more validation error(s) omitted for prompt budget]');
+    });
+    it('isFreshForNextAttempt: only the immediately-preceding attempt\'s record is re-fed (rc-7, restart-safe)', () => {
+        const record = { recordedAt: 't', errorCategory: 'output_invalid', errors: ['e1'], sourceAttemptCount: 2 };
+        // fresh: attempt 3 follows the failed attempt 2
+        expect(isFreshForNextAttempt(record, 3)).toBe(true);
+        // stale: attempt 4 after a runtime-error attempt 3 did not clear the record
+        expect(isFreshForNextAttempt(record, 4)).toBe(false);
+        // no lease context (non-leased invocation) → suppress, never guess
+        expect(isFreshForNextAttempt(record, undefined)).toBe(false);
+        // same attempt re-reading its own just-written record (source === current)
+        expect(isFreshForNextAttempt(record, 2)).toBe(false);
+    });
+    it('extractIntentContract returns null on the FOCUSED (flattened) manifest shape — documents why capture-before-narrowing is load-bearing', () => {
+        // The focused manifest resolves scribeArtifactInput to resolved.fields —
+        // flat summary strings with no root intentContract object. Extraction
+        // must yield null there; artificer-runner therefore captures the FULL
+        // artifact before resolveContextInjectionAsync (评审 P1 wiring fix).
+        const flattenedSummaryShape = {
+            summary: '…',
+            intentOwner: 'avoid guessing config contracts',
+            intentForbidden: 'inferring field existence from examples',
+            intentValidation: 'absent consumer evidence surfaces as risk',
+        };
+        expect(extractIntentContract(flattenedSummaryShape)).toBeNull();
+    });
+    it('the artificer validator still rejects the forbidden v2 declarations that killed 18/18 attempts', async () => {
+        // The gate that CORRECTLY rejected Episode-001 outputs must stay closed —
+        // the fix feeds errors back, it does not weaken the contract.
+        const validator = new DefaultArtificerValidator();
+        const violatingOutput = {
+            taskId: 'artificer-repair-r1',
+            sourceScribeArtifactId: 'pi-art-scribe-1',
+            implementationSummary: 'x',
+            sourceTrace: { scribeArtifactId: 'pi-art-scribe-1' },
+            risks: [],
+            implementationCode: 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "r" }; }',
+            goldenTraceCases: [
+                { caseId: 'v2-unavailable', kind: 'negative', toolName: 'write_file', params: { path: '/w/f' }, expectedDecision: 'propose_correction', ruleContext: {} },
+            ],
+            affectedTools: ['write_file'],
+            generatedAt: '2026-09-07T00:00:00.000Z',
+            requiresContextVersion: 2,
+        };
+        const result = await validator.validate(violatingOutput, 'artificer-repair-r1', 'pi-art-scribe-1');
+        expect(result.valid).toBe(false);
+        const joined = result.errors.join(' ');
+        expect(joined).toContain('propose_correction');
+    });
+});
+describe('4. Scribe contract — trust boundary on the intent contract', () => {
+    it('isValidIntentContractV1 accepts only the five non-empty string fields', () => {
+        expect(isValidIntentContractV1(VALID_CONTRACT)).toBe(true);
+        expect(isValidIntentContractV1({ ...VALID_CONTRACT, evidenceSource: '  ' })).toBe(false);
+        expect(isValidIntentContractV1({ ...VALID_CONTRACT, extra: 'x' })).toBe(true); // additive keys tolerated
+        expect(isValidIntentContractV1(null)).toBe(false);
+        expect(isValidIntentContractV1('contract')).toBe(false);
+    });
+});
+describe('2b. Failure Attribution — RepairPayload carries attribution context', () => {
+    it('failureAttribution validates at the metadata trust boundary (malformed → whole metadata invalid)', () => {
+        const baseMeta = {
+            dependencyTaskIds: ['scribe-1'],
+            channel: 'prompt',
+            timeoutMs: 300000,
+            inputArtifactRefs: [],
+            outputArtifactRefs: [],
+            repairPayload: {
+                requiredChanges: ['fix the ordinary case'],
+                concerns: [],
+                previousScore: 0.7,
+                repairIteration: 1,
+                sourceArtificerArtifactId: 'pi-art-art-1',
+                sourceEvaluatorTaskId: 'evaluator-1',
+            },
+        };
+        // Valid payload with attribution hydrates
+        const valid = parsePITaskMetadata(JSON.stringify({
+            pi_metadata: {
+                ...baseMeta,
+                repairPayload: {
+                    ...baseMeta.repairPayload,
+                    failureAttribution: {
+                        attribution: 'FAILED_RULE',
+                        outOfScopeCaseIds: ['v2-unavailable'],
+                        reason: 'mixed failures: ordinary in-scope case + channel-limitation v2 case',
+                    },
+                },
+            },
+        }));
+        expect(valid).not.toBeNull();
+        expect(valid?.repairPayload?.failureAttribution?.attribution).toBe('FAILED_RULE');
+        // Base payload without attribution still valid (backward compatible)
+        const legacy = parsePITaskMetadata(JSON.stringify({ pi_metadata: baseMeta }));
+        expect(legacy).not.toBeNull();
+        expect(legacy?.repairPayload?.failureAttribution).toBeUndefined();
+        // Malformed attribution invalidates the WHOLE metadata (rc-3 fail loud) —
+        // a corrupted attribution must never silently steer the repair prompt
+        const emptyAttribution = parsePITaskMetadata(JSON.stringify({
+            pi_metadata: {
+                ...baseMeta,
+                repairPayload: {
+                    ...baseMeta.repairPayload,
+                    failureAttribution: { attribution: '', reason: 'x' },
+                },
+            },
+        }));
+        expect(emptyAttribution).toBeNull();
+        const badCaseId = parsePITaskMetadata(JSON.stringify({
+            pi_metadata: {
+                ...baseMeta,
+                repairPayload: {
+                    ...baseMeta.repairPayload,
+                    failureAttribution: { attribution: 'FAILED_TEST', reason: 'x', outOfScopeCaseIds: ['ok', 42] },
+                },
+            },
+        }));
+        expect(badCaseId).toBeNull();
+    });
+});
+//# sourceMappingURL=evolution-alignment-contract.test.js.map

package/core/dist/runtime-v2/internalization/__tests__/evolution-alignment-contract.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evolution-alignment-contract.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/evolution-alignment-contract.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GAExB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,6BAA6B,EAC7B,gCAAgC,EAChC,yCAAyC,EACzC,oBAAoB,GAErB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EACL,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE7G,MAAM,cAAc,GAAqB;IACvC,WAAW,EAAE,qEAAqE;IAClF,cAAc,EAAE,6DAA6D;IAC7E,iBAAiB,EAAE,oEAAoE;IACvF,cAAc,EAAE,oEAAoE;IACpF,qBAAqB,EAAE,2DAA2D;CACnF,CAAC;AAEF,SAAS,wBAAwB,CAAC,SAAS,GAA8B,EAAE;IACzE,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,2BAA2B,EAAE,eAAe;QAC5C,cAAc,EAAE;YACd,KAAK,EAAE,6CAA6C;YACpD,SAAS,EAAE,wEAAwE;YACnF,SAAS,EAAE,8DAA8D;YACzE,aAAa,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC;YAChD,YAAY,EAAE,CAAC,wCAAwC,CAAC;YACxD,UAAU,EAAE,IAAI;SACjB;QACD,cAAc,EAAE,EAAE,GAAG,cAAc,EAAE,GAAG,SAAS,EAAE;QACnD,WAAW,EAAE,EAAE,qBAAqB,EAAE,eAAe,EAAE;QACvD,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,0BAA0B;KACxC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,kFAAkF,EAAE,GAAG,EAAE;IAChG,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,QAAQ,GAAG,wBAAwB,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oGAAoG,EAAE,GAAG,EAAE;QAC5G,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC1C,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,aAAa;YACrB,WAAW,EAAE,QAAQ;YACrB,sBAAsB,EAAE,iBAAiB;YACzC,cAAc,EAAE,wBAAwB,EAAE;YAC1C,cAAc,EAAE,cAAc;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC9E,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QAC5E,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,MAAM,cAAc,GAAG,wBAAwB,EAAE,CAAC;QAClD,OAAQ,cAA0C,CAAC,cAAc,CAAC;QAClE,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC1C,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,aAAa;YACrB,WAAW,EAAE,QAAQ;YACrB,sBAAsB,EAAE,iBAAiB;YACzC,cAAc,EAAE,cAAc;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,gBAAgB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,SAAS,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC/C,yEAAyE;QACzE,mBAAmB;QACnB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAA+B,EAAE,CAAC;YAC9E,MAAM,GAAG,GAAG,wBAAwB,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;YAC1E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,SAAS,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,wBAAwB,EAA6B,CAAC;QACrE,OAAO,MAAM,CAAC,cAAc,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6DAA6D,EAAE,GAAG,EAAE;IAC3E,2DAA2D;IAC3D,iDAAiD;IACjD,sDAAsD;IACtD,wBAAwB;IAExB,EAAE,CAAC,iIAAiI,EAAE,GAAG,EAAE;QACzI,MAAM,SAAS,GAAG,6BAA6B,CAAC;YAC9C,sBAAsB,EAAE,SAAS,EAAE,sBAAsB;YACzD,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACvD,EAAE,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACrD,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE;aAClD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oIAAoI,EAAE,GAAG,EAAE;QAC5I,8CAA8C;QAC9C,yCAAyC;QACzC,MAAM,SAAS,GAAG,6BAA6B,CAAC;YAC9C,sBAAsB,EAAE,SAAS;YACjC,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;SACvE,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,yCAAyC;QACzC,MAAM,iBAAiB,GAAG,6BAA6B,CAAC;YACtD,sBAAsB,EAAE,SAAS;YACjC,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACzD,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE;aACxD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gGAAgG,EAAE,GAAG,EAAE;QACxG,MAAM,OAAO,GAAG,6BAA6B,CAAC;YAC5C,sBAAsB,EAAE,SAAS;YACjC,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,gBAAgB,EAAE;gBAC5B,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,oBAAoB;aACxE;SACF,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,SAAS,GAAG,6BAA6B,CAAC;YAC9C,sBAAsB,EAAE,CAAC;YACzB,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACvD,EAAE,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACrD,EAAE,MAAM,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,EAAE;aACzD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,SAAS,GAAG,6BAA6B,CAAC;YAC9C,sBAAsB,EAAE,SAAS;YACjC,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACxD,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE;aACxD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,SAAS,GAAG,6BAA6B,CAAC;YAC9C,sBAAsB,EAAE,SAAS;YACjC,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBAC7D,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,OAAO,EAAE;aACrD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0HAA0H,EAAE,GAAG,EAAE;QAClI,MAAM,CAAC,gCAAgC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,CAAC,gCAAgC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvE,MAAM,CAAC,gCAAgC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnE,MAAM,CAAC,gCAAgC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3E,MAAM,CAAC,gCAAgC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,CAAC,gCAAgC,CAAC,sBAAsB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5E,MAAM,CAAC,gCAAgC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,QAAQ,GAA6B;YACzC,CAAC,WAAW,EAAE,kBAAkB,CAAC;YACjC,CAAC,MAAM,EAAE,aAAa,CAAC;YACvB,CAAC,YAAY,EAAE,mBAAmB,CAAC;YACnC,CAAC,MAAM,EAAE,aAAa,CAAC;YACvB,CAAC,SAAS,EAAE,eAAe,CAAC;YAC5B,CAAC,SAAS,EAAE,SAAS,CAAC;YACtB,CAAC,SAAS,EAAE,SAAS,CAAC;SACvB,CAAC;QACF,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC5C,MAAM,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gIAAgI,EAAE,GAAG,EAAE;QACxI,mEAAmE;QACnE,gEAAgE;QAChE,2CAA2C;QAC3C,mBAAmB;QACnB,MAAM,CAAC,yCAAyC,CAAC,+BAA+B,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACnG,MAAM,CAAC,yCAAyC,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1F,2DAA2D;QAC3D,MAAM,CAAC,yCAAyC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnE,MAAM,CAAC,yCAAyC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxE,MAAM,CAAC,yCAAyC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjE,MAAM,CAAC,yCAAyC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzE,MAAM,CAAC,yCAAyC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACtE,MAAM,CAAC,yCAAyC,CAAC,gCAAgC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uHAAuH,EAAE,GAAG,EAAE;QAC/H,MAAM,qBAAqB,GAAG,iDAAiD,CAAC;QAChF,MAAM,QAAQ,GAAG,yCAAyC,CAAC,qBAAqB,CAAC,CAAC;QAClF,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,6BAA6B,CAAC;YAC9C,sBAAsB,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;YACtD,WAAW,EAAE;gBACX,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE;gBACvD,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE;aAClD;SACF,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6GAA6G,EAAE,GAAG,EAAE;QACrH,MAAM,SAAS,GAAG,iCAAiC,CAAC;YAClD,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,sBAAsB;YAClC,aAAa,EAAE,OAAO;SACvB,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3E,uEAAuE;QACvE,wEAAwE;QACxE,mDAAmD;QACnD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,gCAAgC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YACnD,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,SAAS;YACtB,sBAAsB,EAAE,iBAAiB;YACzC,cAAc,EAAE,wBAAwB,EAAE;YAC1C,cAAc,EAAE,0IAA0I;YAC1J,oBAAoB,EAAE;gBACpB,UAAU,EAAE,0BAA0B;gBACtC,aAAa,EAAE,gBAAgB;gBAC/B,MAAM,EAAE;oBACN,wFAAwF;oBACxF,qEAAqE;iBACtE;gBACD,gDAAgD;gBAChD,mCAAmC;gBACnC,kBAAkB,EAAE,CAAC;aACtB;SACF,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjE,yEAAyE;QACzE,qDAAqD;QACrD,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,sDAAsD,CAAC,CAAC;QAClF,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,OAAO,GAAG,IAAI,sBAAsB,EAAE,CAAC;QAC7C,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC1C,WAAW,EAAE,IAAI;YACjB,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,SAAS;YACtB,sBAAsB,EAAE,iBAAiB;YACzC,cAAc,EAAE,wBAAwB,EAAE;YAC1C,cAAc,EAAE,+GAA+G;SAChI,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,kCAAkC,CAAC,CAAC;QACvF,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC3D,MAAM,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,yCAAyC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClD,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAChD,MAAM,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxD,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3D,MAAM,CAAC,wBAAwB,CAAC,4BAA4B,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1E,MAAM,CAAC,wBAAwB,CAAC,yFAAyF,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACvI,8DAA8D;QAC9D,oBAAoB;QACpB,MAAM,CAAC,wBAAwB,CAAC,6FAA6F,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3I,MAAM,CAAC,wBAAwB,CAAC,qHAAqH,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnK,MAAM,KAAK,GAAG,wBAAwB,CACpC,oHAAoH,CACrH,CAAC;QACF,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wHAAwH,EAAE,GAAG,EAAE;QAChI,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,wBAAwB,CACrC,wFAAwF,SAAS,6BAA6B,CAC/H,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,mBAAmB,CAAC,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACnF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACpD,uEAAuE;QACvE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,wBAAwB,CACrC,sFAAsF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,2BAA2B,CACtI,CAAC;QACF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wGAAwG,EAAE,GAAG,EAAE;QAChH,MAAM,MAAM,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAC;QAC3G,gDAAgD;QAChD,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,4EAA4E;QAC5E,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,mEAAmE;QACnE,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,2EAA2E;QAC3E,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uIAAuI,EAAE,GAAG,EAAE;QAC/I,yEAAyE;QACzE,sEAAsE;QACtE,sEAAsE;QACtE,mEAAmE;QACnE,MAAM,qBAAqB,GAAG;YAC5B,OAAO,EAAE,GAAG;YACZ,WAAW,EAAE,iCAAiC;YAC9C,eAAe,EAAE,yCAAyC;YAC1D,gBAAgB,EAAE,2CAA2C;SAC9D,CAAC;QACF,MAAM,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gGAAgG,EAAE,KAAK,IAAI,EAAE;QAC9G,0EAA0E;QAC1E,8DAA8D;QAC9D,MAAM,SAAS,GAAG,IAAI,yBAAyB,EAAE,CAAC;QAClD,MAAM,eAAe,GAAG;YACtB,MAAM,EAAE,qBAAqB;YAC7B,sBAAsB,EAAE,iBAAiB;YACzC,qBAAqB,EAAE,GAAG;YAC1B,WAAW,EAAE,EAAE,gBAAgB,EAAE,iBAAiB,EAAE;YACpD,KAAK,EAAE,EAAE;YACT,kBAAkB,EAAE,kGAAkG;YACtH,gBAAgB,EAAE;gBAChB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,WAAW,EAAE,EAAE,EAAE;aAC1J;YACD,aAAa,EAAE,CAAC,YAAY,CAAC;YAC7B,WAAW,EAAE,0BAA0B;YACvC,sBAAsB,EAAE,CAAC;SAC1B,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,qBAAqB,EAAE,iBAAiB,CAAC,CAAC;QACnG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,CAAC,uBAAuB,CAAC,EAAE,GAAG,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,MAAM,CAAC,uBAAuB,CAAC,EAAE,GAAG,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B;QACzG,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qEAAqE,EAAE,GAAG,EAAE;IACnF,EAAE,CAAC,kGAAkG,EAAE,GAAG,EAAE;QAC1G,MAAM,QAAQ,GAAG;YACf,iBAAiB,EAAE,CAAC,UAAU,CAAC;YAC/B,OAAO,EAAE,QAAQ;YACjB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,EAAE;YACrB,kBAAkB,EAAE,EAAE;YACtB,aAAa,EAAE;gBACb,eAAe,EAAE,CAAC,uBAAuB,CAAC;gBAC1C,QAAQ,EAAE,EAAE;gBACZ,aAAa,EAAE,GAAG;gBAClB,eAAe,EAAE,CAAC;gBAClB,yBAAyB,EAAE,cAAc;gBACzC,qBAAqB,EAAE,aAAa;aACrC;SACF,CAAC;QACF,0CAA0C;QAC1C,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC;YAC/C,WAAW,EAAE;gBACX,GAAG,QAAQ;gBACX,aAAa,EAAE;oBACb,GAAG,QAAQ,CAAC,aAAa;oBACzB,kBAAkB,EAAE;wBAClB,WAAW,EAAE,aAAa;wBAC1B,iBAAiB,EAAE,CAAC,gBAAgB,CAAC;wBACrC,MAAM,EAAE,qEAAqE;qBAC9E;iBACF;aACF;SACF,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAElF,qEAAqE;QACrE,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,kBAAkB,CAAC,CAAC,aAAa,EAAE,CAAC;QAElE,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC;YAC1D,WAAW,EAAE;gBACX,GAAG,QAAQ;gBACX,aAAa,EAAE;oBACb,GAAG,QAAQ,CAAC,aAAa;oBACzB,kBAAkB,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;iBACrD;aACF;SACF,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE,CAAC;QAEpC,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC;YACnD,WAAW,EAAE;gBACX,GAAG,QAAQ;gBACX,aAAa,EAAE;oBACb,GAAG,QAAQ,CAAC,aAAa;oBACzB,kBAAkB,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE;iBAC/F;aACF;SACF,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/internalization/__tests__/owner-decision-review.test.js

@@ -84,6 +84,7 @@ function makeStore(options = {}) {
                     applicability: ['filesystem writes'],
                     antiPatterns: ['guessing the target'],
                 },
+                ...options.scribeExtra,
             } }),
         artifact({ artifactId: ARTIFICER_ARTIFACT_ID, sourceTaskId: ARTIFICER_TASK_ID, lineageArtifactIds: [SCRIBE_ARTIFACT_ID], content: {
                 ...(options.codeBearingArtificer
@@ -165,6 +166,93 @@ describe('Owner Decision Review Snapshot', () => {
         ]);
         expect(snapshot.evidence.completeness).toBe('complete');
     });
+    it('derives the 5-item quality checklist; boundary passes via antiPatterns on the standard fixture', async () => {
+        const snapshot = await buildOwnerDecisionReview(makeStore(), EVALUATOR_ID);
+        expect(snapshot?.brief.kind).toBe('evaluator');
+        if (snapshot?.brief.kind !== 'evaluator')
+            throw new Error('expected evaluator brief');
+        const checklist = snapshot.brief.qualityChecklist;
+        expect(checklist).toBeDefined();
+        expect(checklist?.schemaVersion).toBe(1);
+        expect(checklist?.items.map((item) => item.id)).toEqual([
+            'understandability', 'evidence', 'actionability', 'generalization', 'boundary',
+        ]);
+        const byId = new Map(checklist?.items.map((item) => [item.id, item]));
+        expect(byId.get('understandability')?.pass).toBe(true);
+        expect(byId.get('boundary')?.pass).toBe(true);
+        expect(byId.get('boundary')?.note).toContain('anti-pattern');
+        // 标准单上下文 fixture：generalization 必须 fail（over-fitting 信号）
+        expect(byId.get('generalization')?.pass).toBe(false);
+    });
+    it('boundary: intent-contract forbiddenBehavior is the ONLY accepted fallback — ownerIntent (a goal) must not count (评审 P1)', async () => {
+        const draftWithoutAntiPatterns = {
+            title: 'Confirm destructive changes',
+            statement: 'Before destructive changes, confirm the exact target with the Owner.',
+            rationale: 'Prevents irreversible work against an ambiguous target.',
+            applicability: ['filesystem writes', 'shell commands'],
+        };
+        const boundaryItem = async (options) => {
+            const snapshot = await buildOwnerDecisionReview(makeStore(options), EVALUATOR_ID);
+            expect(snapshot?.brief.kind).toBe('evaluator');
+            if (snapshot?.brief.kind !== 'evaluator')
+                throw new Error('expected evaluator brief');
+            return snapshot.brief.qualityChecklist?.items.find((item) => item.id === 'boundary');
+        };
+        // forbiddenBehavior present → boundary pass even without antiPatterns
+        const forbiddenItem = await boundaryItem({
+            scribeExtra: {
+                principleDraft: draftWithoutAntiPatterns,
+                intentContract: {
+                    ownerIntent: 'prevent ambiguous destructive targets',
+                    targetBehavior: 'confirm the exact target before destructive writes',
+                    forbiddenBehavior: 'guessing or inferring the target without confirmation',
+                    evidenceSource: 'pain destructive-write misses',
+                    validationExpectation: 'unconfirmed targets are blocked',
+                },
+            },
+        });
+        expect(forbiddenItem?.pass).toBe(true);
+        expect(forbiddenItem?.note).toContain('forbiddenBehavior');
+        // ownerIntent present but forbiddenBehavior EMPTY → boundary must FAIL
+        // (回归：旧实现误把 intentOwner 当 forbidden 证据)
+        const ownerOnlyItem = await boundaryItem({
+            scribeExtra: {
+                principleDraft: draftWithoutAntiPatterns,
+                intentContract: {
+                    ownerIntent: 'prevent ambiguous destructive targets',
+                    forbiddenBehavior: '',
+                },
+            },
+        });
+        expect(ownerOnlyItem?.pass).toBe(false);
+        expect(ownerOnlyItem?.note).toContain('no antiPatterns and no intent-contract forbiddenBehavior present');
+    });
+    it('R3: evidence item binds to resolvable ancestors beyond scribe; generalization dedups applicability (评审探针正式化)', async () => {
+        // 标准链只有 evaluator→artificer→scribe，无 philosopher/dreamer/diag
+        // 祖先 —— evidence 项必须 fail（不得宣称 "evidence-derived"）。
+        const standard = await buildOwnerDecisionReview(makeStore(), EVALUATOR_ID);
+        const stdChecklist = standard?.brief.kind === 'evaluator' ? standard.brief.qualityChecklist : undefined;
+        const stdEvidence = stdChecklist?.items.find((item) => item.id === 'evidence');
+        expect(stdEvidence?.pass).toBe(false);
+        expect(stdEvidence?.note).toContain('no ancestor artifact resolvable beyond scribe');
+        // 重复同一文件不得计为多上下文：generalization 按去重计数。
+        const dupStore = makeStore({
+            scribeExtra: {
+                principleDraft: {
+                    title: 'x',
+                    statement: 'Only patch /tmp/a.ts',
+                    rationale: 'x',
+                    applicability: ['/tmp/a.ts', '/tmp/a.ts'],
+                    antiPatterns: ['x'],
+                },
+            },
+        });
+        const dup = await buildOwnerDecisionReview(dupStore, EVALUATOR_ID);
+        const dupChecklist = dup?.brief.kind === 'evaluator' ? dup.brief.qualityChecklist : undefined;
+        const dupGeneralization = dupChecklist?.items.find((item) => item.id === 'generalization');
+        expect(dupGeneralization?.pass).toBe(false);
+        expect(dupGeneralization?.note).toContain('distinct applicability entries: 1');
+    });
     it('requires acknowledgement for a partial but still identifiable review', async () => {
         const snapshot = await buildOwnerDecisionReview(makeStore({ includeScribe: false }), EVALUATOR_ID);
         expect(snapshot?.evidence.completeness).toBe('partial');