@principles/core 1.287.1 → 1.287.2

package/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.js

@@ -1,195 +0,0 @@
-/**
- * 外部复核 P0 回归测试 (P0-3 / P0-4 / P1-1)。
- *
- * P0-4 fault injection: repair seed 成功后模拟 evaluator completion crash,
- * 重放同一 commit — 断言 repair task 唯一 (确定性 id) 且 reopen 真幂等
- * (revisionCount 不递增)。
- * P0-3 orchestrator 传导: durable verdict 缺失时 runs.output_payload 的
- * 显式 verdict 是唯一 legacy 判据。
- * P1-1: artificer prompt 真实携带 rollout revisionFeedback。
- */
-import { describe, it, expect, beforeEach, afterEach } from 'vitest';
-import * as fs from 'node:fs';
-import * as path from 'node:path';
-import * as os from 'node:os';
-import { RuntimeStateManager } from '../../store/runtime-state-manager.js';
-import { InternalizationOrchestrator } from '../internalization-orchestrator.js';
-import { ArtificerRunner } from '../artificer-runner.js';
-import { DefaultArtificerValidator } from '../artificer-output.js';
-import { MemoryPIArtifactStore } from '../pi-artifact-store.js';
-import { hydratePITaskRecord, createPITaskDiagnosticJson, mergePITaskMetadata } from '../pitask-metadata.js';
-import { storeEmitter } from '../../store/event-emitter.js';
-// PRI-780: v2-only generation — the artificer prompt only builds with a pack.
-// Case-level ruleContext is included so the fixture could also represent an
-// output that passes the v2 contract (M8: not a latent v1-shaped fixture).
-const P0_RULE_CONTEXT = {
-    version: 2,
-    history: { status: 'available', truncated: false, calls: [] },
-    facts: { priorReadOfTarget: 'unknown', readCount: 0, writeCount: 0, uniqueWritePathCount: 0, sameActionBlockCount: null },
-};
-const P0_TEST_PACK = {
-    sourceNegativeCase: {
-        caseId: 'neg-1', kind: 'negative', toolName: 'write_file',
-        params: { path: '/etc/passwd' }, expectedDecision: 'block',
-        ruleContext: P0_RULE_CONTEXT,
-    },
-    ownerDesiredOutcome: 'read before write',
-    positiveCounterexamples: [{
-            caseId: 'pos-1', kind: 'positive', toolName: 'write_file',
-            params: { path: '/workspace/src/a.ts' }, expectedDecision: 'allow',
-            ruleContext: P0_RULE_CONTEXT,
-        }],
-    evidenceRefs: ['pain://p0-1'],
-    redactionNotes: [],
-};
-let workspaceDir;
-let stateManager;
-let orchestrator;
-beforeEach(async () => {
-    workspaceDir = fs.mkdtempSync(path.join(os.tmpdir(), 'pd-p0reg-'));
-    stateManager = new RuntimeStateManager({ workspaceDir });
-    await stateManager.initialize();
-    orchestrator = new InternalizationOrchestrator({ stateManager }, { owner: 'p0reg', runtimeKind: 'test-double', dryRun: true });
-});
-afterEach(async () => {
-    await stateManager.close();
-    try {
-        fs.rmSync(workspaceDir, { recursive: true, force: true });
-    }
-    catch { /* temp */ }
-});
-function meta(o = {}) {
-    return createPITaskDiagnosticJson({
-        dependencyTaskIds: [], channel: 'prompt', timeoutMs: 300_000,
-        inputArtifactRefs: [], outputArtifactRefs: [], ...o,
-    });
-}
-async function mkTask(taskId, taskKind, diagnosticJson) {
-    await stateManager.createTask({
-        taskId, taskKind, status: 'pending', attemptCount: 0, maxAttempts: 3, diagnosticJson,
-    });
-}
-async function succeed(taskId, runnerDecision) {
-    await stateManager.acquireLease({ taskId, owner: 'p0reg', runtimeKind: 'test-double' });
-    await stateManager.markTaskSucceeded(taskId);
-    if (runnerDecision) {
-        const t = await stateManager.getTask(taskId);
-        const pi = hydratePITaskRecord(t);
-        if (pi) {
-            await stateManager.updateTaskDiagnosticJson(taskId, createPITaskDiagnosticJson(mergePITaskMetadata(pi, { runnerDecision: runnerDecision })));
-        }
-    }
-}
-// ── P0-4: deterministic repair identity + idempotent reopen ──────────────────
-describe('P0-4 — repair/reopen 真幂等 (fault injection)', () => {
-    it('repair 完成后 evaluator completion crash → 重放 commit: repair task 唯一,revisionCount 不递增', async () => {
-        const EVAL_ID = 'evaluator-p04-prompt';
-        const SCRIBE_ID = 'scribe-p04-prompt';
-        const REPAIR_ID = 'artificer-repair-evaluator-p04-prompt-r1'; // 确定性 id
-        await mkTask(SCRIBE_ID, 'scribe', meta({ correlationId: 'p04' }));
-        await succeed(SCRIBE_ID);
-        await mkTask('artificer-p04-prompt', 'artificer', meta({ dependencyTaskIds: [SCRIBE_ID], correlationId: 'p04' }));
-        await succeed('artificer-p04-prompt');
-        await mkTask(EVAL_ID, 'evaluator', meta({ dependencyTaskIds: ['artificer-p04-prompt'], correlationId: 'p04' }));
-        await succeed(EVAL_ID, 'needs_revision');
-        // evaluator runner 已 seed repair (生产由 seeder 创建; 此处按生产确定性 id)
-        await mkTask(REPAIR_ID, 'artificer', meta({
-            dependencyTaskIds: [SCRIBE_ID], correlationId: 'p04',
-            repairPayload: { requiredChanges: ['x'], concerns: [], previousScore: 0.4, repairIteration: 1, sourceArtificerArtifactId: 'pi-art-a', sourceEvaluatorTaskId: EVAL_ID },
-        }));
-        // repair 完成 → commit → evaluator reopen (第一次)
-        await succeed(REPAIR_ID);
-        const r1 = await orchestrator.commitNextTaskProposal(REPAIR_ID);
-        expect(r1.decision).toBe('revision_reopened');
-        let evalTask = await stateManager.getTask(EVAL_ID);
-        let evalPi = hydratePITaskRecord(evalTask);
-        expect(evalPi?.revisionCount).toBe(1);
-        // ── fault injection: 模拟 evaluator 修订轮完成过程中 crash ──
-        // (不推进 evaluator; consumer 下一周期重放同一 repair commit)
-        const r2 = await orchestrator.commitNextTaskProposal(REPAIR_ID);
-        // crash-liveness 轮: 同 cause 重放 = 真 no-op (不再是 revision_reopened)
-        expect(r2.decision).toBe('revision_reopen_noop');
-        // 关键断言: revisionCount 不递增 (同 causeId 重放 = no-op 语义)
-        evalTask = await stateManager.getTask(EVAL_ID);
-        evalPi = hydratePITaskRecord(evalTask);
-        expect(evalPi?.revisionCount).toBe(1);
-        // repair task 唯一: 重放没有创建第二个 repair 任务
-        const tasks = await stateManager.listTasks({});
-        const repairTasks = tasks.filter((t) => t.taskKind === 'artificer' && t.taskId.startsWith('artificer-repair-'));
-        expect(repairTasks.length).toBe(1);
-        expect(repairTasks[0]?.taskId).toBe(REPAIR_ID);
-    });
-});
-// ── P0-3: orchestrator legacy verdict 传导 ───────────────────────────────────
-describe('P0-3 — durable verdict 缺失时的显式 legacy 解析', () => {
-    it('runs.output_payload 携带 needs_revision → blocked_by_revision (不 ADVANCE,不 BLOCKED)', async () => {
-        const EVAL_ID = 'evaluator-p03-prompt';
-        await mkTask(EVAL_ID, 'evaluator', meta({ correlationId: 'p03' }));
-        await succeed(EVAL_ID); // 无 runnerDecision (历史数据形状)
-        // 历史 verdict 载体: 最近 succeeded run 的 output_payload
-        const runs = await stateManager.getRunsByTask(EVAL_ID);
-        expect(runs.length).toBeGreaterThan(0);
-        const runId = runs[runs.length - 1]?.runId ?? '';
-        await stateManager.updateRunOutput(runId, JSON.stringify({
-            evaluation: { decision: 'needs_revision', summary: 'x', score: 0.4, strengths: [], concerns: [], requiredChanges: ['y'] },
-        }));
-        const r = await orchestrator.commitNextTaskProposal(EVAL_ID);
-        expect(r.decision).toBe('blocked_by_revision');
-    });
-    it('无 durable 且 runs 无可解析 verdict → blocked_missing_verdict (fail-closed)', async () => {
-        const EVAL_ID = 'evaluator-p03b-prompt';
-        await mkTask(EVAL_ID, 'evaluator', meta({ correlationId: 'p03b' }));
-        await succeed(EVAL_ID);
-        // runs 存在但 output_payload 为空/非 JSON
-        const runs = await stateManager.getRunsByTask(EVAL_ID);
-        const runId = runs[runs.length - 1]?.runId ?? '';
-        const r1 = await orchestrator.commitNextTaskProposal(EVAL_ID);
-        expect(r1.decision).toBe('blocked_missing_verdict');
-        await stateManager.updateRunOutput(runId, 'not-json');
-        const r2 = await orchestrator.commitNextTaskProposal(EVAL_ID);
-        expect(r2.decision).toBe('blocked_missing_verdict');
-    });
-});
-// ── P1-1: artificer prompt 携带 rollout revisionFeedback ─────────────────────
-describe('P1-1 — artificer 真实消费 rollout requiredChanges', () => {
-    it('revisionFeedback 存在时,发给 RuntimeAdapter 的 prompt 包含 requiredChanges 文本', async () => {
-        const SCRIBE_ID = 'scribe-p11-prompt';
-        const ARTIFICER_ID = 'artificer-p11-prompt';
-        await mkTask(SCRIBE_ID, 'scribe', meta({ correlationId: 'p11' }));
-        await succeed(SCRIBE_ID);
-        const artifactStore = new MemoryPIArtifactStore();
-        await artifactStore.upsertArtifact({
-            artifactId: 'pi-art-scribe-p11', artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
-            lineageArtifactIds: [], validationStatus: 'validated',
-            contentJson: JSON.stringify({ principleId: 'p11', text: '原则', principleDraft: { title: 'p11', statement: '原则' } }),
-            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
-        });
-        // artificer 任务带 rollout revisionFeedback (reopen 注入)
-        await mkTask(ARTIFICER_ID, 'artificer', meta({
-            dependencyTaskIds: [SCRIBE_ID], correlationId: 'p11',
-            revisionFeedback: 'Rollout review 判定 needs_revision,请修订后重新走验证链:\n- 必须修改: 规则必须覆盖子目录场景\n- 风险: 未覆盖 nested path',
-        }));
-        const capturedPrompts = [];
-        const adapter = {
-            startRun: async (input) => {
-                capturedPrompts.push(String(input.inputPayload));
-                return { runId: 'run-p11', runtimeKind: 'test-double', startedAt: new Date().toISOString() };
-            },
-            pollRun: async () => ({ status: 'succeeded', runId: 'run-p11' }),
-            fetchOutput: async () => ({ runId: 'run-p11', payload: null }),
-            cancelRun: async () => undefined,
-        };
-        const runner = new ArtificerRunner({
-            stateManager, runtimeAdapter: adapter, eventEmitter: storeEmitter,
-            artifactStore, validator: new DefaultArtificerValidator(),
-            behaviorExamplePack: P0_TEST_PACK,
-        }, { owner: 'p11', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000 });
-        // fetchOutput 返回 null → runner 走失败路径;但 prompt 已捕获 — 断言 prompt 内容
-        await runner.run(ARTIFICER_ID).catch(() => undefined);
-        expect(capturedPrompts.length).toBeGreaterThan(0);
-        const prompt = capturedPrompts.join('\n');
-        expect(prompt).toContain('规则必须覆盖子目录场景'); // requiredChange 原文
-        expect(prompt).toContain('rollout_revision_feedback'); // 注入信封标记
-    });
-});
-//# sourceMappingURL=external-review-p0-regressions.test.js.map

package/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"external-review-p0-regressions.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC7G,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAK5D,8EAA8E;AAC9E,4EAA4E;AAC5E,2EAA2E;AAC3E,MAAM,eAAe,GAAG;IACtB,OAAO,EAAE,CAAU;IACnB,OAAO,EAAE,EAAE,MAAM,EAAE,WAAoB,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;IACtE,KAAK,EAAE,EAAE,iBAAiB,EAAE,SAAkB,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,EAAE,oBAAoB,EAAE,IAAI,EAAE;CACnI,CAAC;AACF,MAAM,YAAY,GAAwB;IACxC,kBAAkB,EAAE;QAClB,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,gBAAgB,EAAE,OAAO;QAC1D,WAAW,EAAE,eAAe;KAC7B;IACD,mBAAmB,EAAE,mBAAmB;IACxC,uBAAuB,EAAE,CAAC;YACxB,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY;YACzD,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,EAAE,gBAAgB,EAAE,OAAO;YAClE,WAAW,EAAE,eAAe;SAC7B,CAAC;IACF,YAAY,EAAE,CAAC,aAAa,CAAC;IAC7B,cAAc,EAAE,EAAE;CACnB,CAAC;AAEF,IAAI,YAAoB,CAAC;AACzB,IAAI,YAAiC,CAAC;AACtC,IAAI,YAAyC,CAAC;AAE9C,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC;IACnE,YAAY,GAAG,IAAI,mBAAmB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;IACzD,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC;IAChC,YAAY,GAAG,IAAI,2BAA2B,CAC5C,EAAE,YAAY,EAAE,EAChB,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,CAC7D,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,SAAS,CAAC,KAAK,IAAI,EAAE;IACnB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;IAC3B,IAAI,CAAC;QAAC,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;AACzF,CAAC,CAAC,CAAC;AAEH,SAAS,IAAI,CAAC,CAAC,GAA4B,EAAE;IAC3C,OAAO,0BAA0B,CAAC;QAChC,iBAAiB,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO;QAC5D,iBAAiB,EAAE,EAAE,EAAE,kBAAkB,EAAE,EAAE,EAAE,GAAG,CAAC;KACpD,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,MAAM,CAAC,MAAc,EAAE,QAAgB,EAAE,cAAsB;IAC5E,MAAM,YAAY,CAAC,UAAU,CAAC;QAC5B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,cAAc;KACrF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,MAAc,EAAE,cAAuB;IAC5D,MAAM,YAAY,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;IACxF,MAAM,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAe,CAAC,CAAC;QAChD,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,YAAY,CAAC,wBAAwB,CAAC,MAAM,EAAE,0BAA0B,CAC5E,mBAAmB,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,cAAuB,EAAE,CAAC,CACrE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,qFAAqF,EAAE,KAAK,IAAI,EAAE;QACnG,MAAM,OAAO,GAAG,sBAAsB,CAAC;QACvC,MAAM,SAAS,GAAG,mBAAmB,CAAC;QACtC,MAAM,SAAS,GAAG,0CAA0C,CAAC,CAAC,SAAS;QAEvE,MAAM,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,MAAM,CAAC,sBAAsB,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,iBAAiB,EAAE,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAClH,MAAM,OAAO,CAAC,sBAAsB,CAAC,CAAC;QACtC,MAAM,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,iBAAiB,EAAE,CAAC,sBAAsB,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAChH,MAAM,OAAO,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAEzC,8DAA8D;QAC9D,MAAM,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC;YACxC,iBAAiB,EAAE,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,KAAK;YACpD,aAAa,EAAE,EAAE,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE,qBAAqB,EAAE,OAAO,EAAE;SACvK,CAAC,CAAC,CAAC;QAEJ,8CAA8C;QAC9C,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9C,IAAI,QAAQ,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,MAAM,GAAG,mBAAmB,CAAC,QAAsB,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEtC,qDAAqD;QACrD,mDAAmD;QACnD,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAChE,iEAAiE;QACjE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAEjD,oDAAoD;QACpD,QAAQ,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,GAAG,mBAAmB,CAAC,QAAsB,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEtC,sCAAsC;QACtC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC/C,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAChH,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,EAAE,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;QACjG,MAAM,OAAO,GAAG,sBAAsB,CAAC;QACvC,MAAM,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,4BAA4B;QAEpD,mDAAmD;QACnD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;QACjD,MAAM,YAAY,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC;YACvD,UAAU,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE;SAC1H,CAAC,CAAC,CAAC;QAEJ,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,OAAO,GAAG,uBAAuB,CAAC;QACxC,MAAM,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACpE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;QACvB,oCAAoC;QACpC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;QAEjD,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAEpD,MAAM,YAAY,CAAC,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,SAAS,GAAG,mBAAmB,CAAC;QACtC,MAAM,YAAY,GAAG,sBAAsB,CAAC;QAC5C,MAAM,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QAEzB,MAAM,aAAa,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAClD,MAAM,aAAa,CAAC,cAAc,CAAC;YACjC,UAAU,EAAE,mBAAmB,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS;YACnF,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW;YACrD,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC;YAClH,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC;QAEH,qDAAqD;QACrD,MAAM,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,IAAI,CAAC;YAC3C,iBAAiB,EAAE,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,KAAK;YACpD,gBAAgB,EAAE,0FAA0F;SAC7G,CAAC,CAAC,CAAC;QAEJ,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG;YACd,QAAQ,EAAE,KAAK,EAAE,KAAgC,EAAsB,EAAE;gBACvE,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;gBACjD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;YAC/F,CAAC;YACD,OAAO,EAAE,KAAK,IAAwB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YACpF,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC9D,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;SACF,CAAC;QAEjC,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC;YACjC,YAAY,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY;YACjE,aAAa,EAAE,SAAS,EAAE,IAAI,yBAAyB,EAAE;YACzD,mBAAmB,EAAE,YAAY;SAClC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAEtF,iEAAiE;QACjE,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAEtD,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAO,oBAAoB;QACnE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC,CAAK,SAAS;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/internalization/__tests__/formation-context.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=formation-context.test.d.ts.map

package/dist/runtime-v2/internalization/__tests__/formation-context.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"formation-context.test.d.ts","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/formation-context.test.ts"],"names":[],"mappings":""}

package/dist/runtime-v2/internalization/__tests__/formation-context.test.js

@@ -1,428 +0,0 @@
-/**
- * PRI-838 / PRI-839 — formation context resolver unit tests.
- *
- * Covers the three cases the ticket names explicitly:
- *   Case 1  dreamer + diagnosis both present        → full context
- *   Case 2  dreamer present, evidence missing       → DEGRADE, never fail
- *   Case 3  legacy artifact                          → compatible
- * plus the bound contract (Phase 2) and the never-throws guarantee.
- */
-import { describe, expect, it, vi } from 'vitest';
-import { MemoryPIArtifactStore } from '../pi-artifact-store.js';
-import { FORMATION_CANDIDATE_LIMIT, FORMATION_CONTEXT_VERSION, FORMATION_DIAGNOSIS_EVIDENCE_LIMIT, FORMATION_FIELD_MAX_CHARS, FORMATION_TOTAL_MAX_CHARS, projectDreamerProposals, resolveFormationContext, summarizeCandidateDifferences, } from '../formation-context.js';
-// ── Fixtures ────────────────────────────────────────────────────────────────
-const DREAMER_ART_ID = 'pi-art-dreamer-1';
-const DIAG_ART_ID = 'pi-art-diag-router-1';
-const DREAMER_TASK_ID = 'dreamer-task-1';
-const DIAG_TASK_ID = 'diag-router-task-1';
-function makeArtifact(params) {
-    return {
-        artifactId: params.artifactId,
-        artifactKind: 'principle',
-        sourceTaskId: params.sourceTaskId,
-        lineageArtifactIds: [...(params.lineageArtifactIds ?? [])],
-        validationStatus: 'pending',
-        contentJson: typeof params.content === 'string' ? params.content : JSON.stringify(params.content),
-        createdAt: '2026-09-18T00:00:00.000Z',
-        updatedAt: '2026-09-18T00:00:00.000Z',
-    };
-}
-function dreamerContent(overrides = {}) {
-    return {
-        valid: true,
-        taskId: DREAMER_TASK_ID,
-        candidates: [
-            {
-                candidateIndex: 0,
-                badDecision: 'agent wrote without validating the parent path',
-                betterDecision: 'resolve and validate the parent path before writing',
-                rationale: 'unvalidated parents allow traversal',
-                confidence: 0.4,
-                riskLevel: 'high',
-                strategicPerspective: 'defensive',
-            },
-            {
-                candidateIndex: 1,
-                badDecision: 'agent ignored the contract file',
-                betterDecision: 'read the contract before acting',
-                rationale: 'guessing contracts produces silent drift',
-                confidence: 0.9,
-                riskLevel: 'low',
-                strategicPerspective: 'evidence-first',
-            },
-        ],
-        sourcePainId: 'pain-1',
-        contextRefs: ['pi-art-pain-1'],
-        generatedAt: '2026-09-18T00:00:00.000Z',
-        ...overrides,
-    };
-}
-function routerDiagnosisContent() {
-    return {
-        valid: true,
-        diagnosisId: 'diag-1',
-        summary: 'contract guessed from examples',
-        rootCause: 'Assumption: the agent inferred a configuration contract from example files',
-        violatedPrinciples: [
-            { principleId: 'T-03', title: 'Evidence first', rationale: 'contracts must be read, not guessed' },
-        ],
-        evidence: [
-            { sourceRef: 'trajectory://session-1/turn-4', note: 'agent wrote a config without reading the contract' },
-        ],
-        recommendations: [
-            { kind: 'principle', description: 'read the authoritative contract before mutating config' },
-        ],
-        confidence: 0.8,
-    };
-}
-async function makeHarness(params) {
-    const store = new MemoryPIArtifactStore();
-    for (const artifact of params.artifacts) {
-        await store.upsertArtifact(artifact);
-    }
-    const events = [];
-    const tasks = new Map(Object.entries(params.tasks ?? {}));
-    if (params.storeThrows) {
-        vi.spyOn(store, 'getArtifactById').mockRejectedValue(new Error('storage_unavailable'));
-    }
-    return {
-        store,
-        events,
-        tasks,
-        resolve: (dreamerArtifactId) => resolveFormationContext({
-            sourceDreamerArtifactId: dreamerArtifactId,
-            artifactStore: store,
-            lookupTask: async (id) => tasks.get(id) ?? null,
-            emitEvent: (eventName, taskId, payload) => events.push({ eventName, taskId, payload }),
-            taskId: 'scribe-task-1',
-        }),
-    };
-}
-/** Dreamer task whose direct predecessor is the diag_router stage. */
-const DREAMER_TASK_WITH_ROUTER = {
-    taskKind: 'dreamer',
-    status: 'succeeded',
-    dependencyTaskIds: [DIAG_TASK_ID],
-};
-// ── Case 1: normal ──────────────────────────────────────────────────────────
-describe('PRI-838 Case 1 — dreamer + diagnosis both resolvable', () => {
-    it('resolves the full bounded formation context', async () => {
-        const harness = await makeHarness({
-            artifacts: [
-                makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent(), lineageArtifactIds: [DIAG_ART_ID] }),
-                makeArtifact({ artifactId: DIAG_ART_ID, sourceTaskId: DIAG_TASK_ID, content: routerDiagnosisContent() }),
-            ],
-            tasks: { [DREAMER_TASK_ID]: DREAMER_TASK_WITH_ROUTER, [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'succeeded', dependencyTaskIds: [] } },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context).toBeDefined();
-        expect(context?.version).toBe(FORMATION_CONTEXT_VERSION);
-        // Dreamer: ALL candidates survive — this is the DC-1/DC-3 fix.
-        expect(context?.dreamerProposals).toHaveLength(2);
-        expect(context?.dreamerProposals.map((c) => c.candidateIndex)).toEqual([1, 0]); // confidence DESC
-        expect(context?.dreamerProposals.map((c) => c.priorityRank)).toEqual([1, 2]);
-        expect(context?.dreamerContextRefs).toEqual(['pi-art-pain-1']);
-        // Diagnosis: root cause + evidence + violated principles.
-        expect(context?.sourceDiagnosis?.stage).toBe('diag_router');
-        expect(context?.sourceDiagnosis?.rootCause).toContain('Assumption:');
-        expect(context?.sourceDiagnosis?.evidence).toHaveLength(1);
-        expect(context?.sourceDiagnosis?.violatedPrinciples[0]?.principleId).toBe('T-03');
-        expect(context?.sourceDiagnosis?.recommendations[0]).toContain('[principle]');
-        // Provenance: ids + lineage preserved.
-        expect(context?.provenance.sourceDreamerArtifactId).toBe(DREAMER_ART_ID);
-        expect(context?.provenance.sourceDiagnosisArtifactId).toBe(DIAG_ART_ID);
-        expect(context?.provenance.sourcePainId).toBe('pain-1');
-        expect(context?.provenance.lineageArtifactIds).toEqual([DIAG_ART_ID]);
-        expect(context?.truncationNotes).toEqual([]);
-        expect(harness.events.at(-1)?.eventName).toBe('formation_context_resolved');
-    });
-    it('prefers diag_router over the earlier diagnostic stages', async () => {
-        const distillerArtId = 'pi-art-diag-distiller-1';
-        const harness = await makeHarness({
-            artifacts: [
-                makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() }),
-                makeArtifact({ artifactId: 'pi-art-diag-distiller-1', sourceTaskId: 'diag-distiller-task-1', content: routerDiagnosisContent() }),
-                makeArtifact({ artifactId: DIAG_ART_ID, sourceTaskId: DIAG_TASK_ID, content: routerDiagnosisContent() }),
-            ],
-            tasks: {
-                [DREAMER_TASK_ID]: { taskKind: 'dreamer', status: 'succeeded', dependencyTaskIds: ['diag-distiller-task-1', DIAG_TASK_ID] },
-                'diag-distiller-task-1': { taskKind: 'diag_distiller', status: 'succeeded', dependencyTaskIds: [] },
-                [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'succeeded', dependencyTaskIds: [] },
-            },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context?.sourceDiagnosis?.stage).toBe('diag_router');
-        expect(context?.sourceDiagnosis?.artifactId).toBe(DIAG_ART_ID);
-        void distillerArtId;
-    });
-    it('is deterministic — identical input yields identical output', async () => {
-        const build = async () => makeHarness({
-            artifacts: [
-                makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() }),
-                makeArtifact({ artifactId: DIAG_ART_ID, sourceTaskId: DIAG_TASK_ID, content: routerDiagnosisContent() }),
-            ],
-            tasks: { [DREAMER_TASK_ID]: DREAMER_TASK_WITH_ROUTER, [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'succeeded', dependencyTaskIds: [] } },
-        });
-        const first = await (await build()).resolve(DREAMER_ART_ID);
-        const second = await (await build()).resolve(DREAMER_ART_ID);
-        expect(JSON.stringify(first)).toBe(JSON.stringify(second));
-    });
-});
-// ── Case 2: degrade, never fail ─────────────────────────────────────────────
-describe('PRI-838 Case 2 — evidence missing degrades without failing', () => {
-    it('dreamer resolvable but no diagnostic predecessor → context without diagnosis', async () => {
-        const harness = await makeHarness({
-            artifacts: [makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() })],
-            tasks: { [DREAMER_TASK_ID]: { taskKind: 'dreamer', status: 'succeeded', dependencyTaskIds: [] } },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        // Degraded, NOT undefined: the proposals are still worth carrying.
-        expect(context).toBeDefined();
-        expect(context?.sourceDiagnosis).toBeUndefined();
-        expect(context?.dreamerProposals).toHaveLength(2);
-        expect(context?.truncationNotes.some((note) => note.includes('diagnosis omitted'))).toBe(true);
-    });
-    it('diagnostic predecessor exists but is not succeeded → diagnosis omitted, no throw', async () => {
-        const harness = await makeHarness({
-            artifacts: [makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() })],
-            tasks: {
-                [DREAMER_TASK_ID]: DREAMER_TASK_WITH_ROUTER,
-                [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'running', dependencyTaskIds: [] },
-            },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context).toBeDefined();
-        expect(context?.sourceDiagnosis).toBeUndefined();
-    });
-    it('dreamer artifact missing → undefined plus an observable event (never throws)', async () => {
-        const harness = await makeHarness({ artifacts: [] });
-        const context = await harness.resolve('pi-art-does-not-exist');
-        expect(context).toBeUndefined();
-        expect(harness.events.some((event) => event.eventName === 'formation_dreamer_artifact_missing')).toBe(true);
-    });
-    it('no dreamer id at all → undefined plus an observable event', async () => {
-        const harness = await makeHarness({ artifacts: [] });
-        const context = await harness.resolve(undefined);
-        expect(context).toBeUndefined();
-        expect(harness.events[0]?.eventName).toBe('formation_context_skipped');
-        expect(harness.events[0]?.payload.reason).toBe('dreamer_artifact_id_missing');
-    });
-    it('artifact store failure is contained — undefined + event, never a throw', async () => {
-        const harness = await makeHarness({
-            artifacts: [makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() })],
-            storeThrows: true,
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context).toBeUndefined();
-        expect(harness.events.at(-1)?.eventName).toBe('formation_context_failed');
-    });
-    it('dreamer contentJson is not JSON → undefined plus an observable event', async () => {
-        const harness = await makeHarness({
-            artifacts: [makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: '{not json' })],
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context).toBeUndefined();
-        expect(harness.events.at(-1)?.eventName).toBe('formation_context_invalid');
-    });
-});
-// ── Case 3: legacy compatibility ────────────────────────────────────────────
-describe('PRI-838 Case 3 — legacy artifacts stay compatible', () => {
-    it('legacy dreamer artifact without optional signals resolves with explicit nulls', async () => {
-        const harness = await makeHarness({
-            artifacts: [
-                makeArtifact({
-                    artifactId: DREAMER_ART_ID,
-                    sourceTaskId: DREAMER_TASK_ID,
-                    content: {
-                        // pre-PRI-508 shape: only the three required fields, no contextRefs,
-                        // no sourcePainId, no confidence/riskLevel/strategicPerspective.
-                        candidates: [{ badDecision: 'bad', betterDecision: 'better', rationale: 'why' }],
-                    },
-                }),
-            ],
-            tasks: { [DREAMER_TASK_ID]: { taskKind: 'dreamer', status: 'succeeded', dependencyTaskIds: [] } },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context?.dreamerProposals).toHaveLength(1);
-        const [candidate] = context?.dreamerProposals ?? [];
-        expect(candidate?.badDecision).toBe('bad');
-        expect(candidate?.confidence).toBeNull();
-        expect(candidate?.riskLevel).toBeNull();
-        expect(candidate?.strategicPerspective).toBeNull();
-        expect(context?.dreamerContextRefs).toEqual([]);
-        expect(context?.provenance.sourcePainId).toBeNull();
-    });
-    it('legacy dreamer task with no enqueued dependencies → still resolves the proposals', async () => {
-        const harness = await makeHarness({
-            artifacts: [makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() })],
-            // task row absent entirely (pre-PRI-508 chains)
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context?.dreamerProposals).toHaveLength(2);
-        expect(context?.truncationNotes.some((note) => note.includes('not resolvable'))).toBe(true);
-    });
-});
-// ── Phase 2: the bound contract ─────────────────────────────────────────────
-describe('PRI-838 Phase 2 — bounded projection', () => {
-    it('candidates beyond FORMATION_CANDIDATE_LIMIT are dropped and counted', () => {
-        const candidates = Array.from({ length: FORMATION_CANDIDATE_LIMIT + 3 }, (_, index) => ({
-            candidateIndex: index,
-            badDecision: `bad-${index}`,
-            betterDecision: `better-${index}`,
-            rationale: `why-${index}`,
-            confidence: 0.5,
-            riskLevel: 'low',
-            strategicPerspective: `lens-${index}`,
-        }));
-        const projection = projectDreamerProposals({ candidates });
-        expect(projection.candidates).toHaveLength(FORMATION_CANDIDATE_LIMIT);
-        expect(projection.omittedCandidateCount).toBe(3);
-        expect(projection.truncationNotes.some((note) => note.includes('truncated'))).toBe(true);
-    });
-    it('per-field values are clamped, so one huge field cannot blow the budget', () => {
-        const projection = projectDreamerProposals({
-            candidates: [{
-                    badDecision: 'x'.repeat(FORMATION_FIELD_MAX_CHARS * 5),
-                    betterDecision: 'b',
-                    rationale: 'r',
-                }],
-        });
-        const [candidate] = projection.candidates;
-        expect(candidate?.badDecision.length).toBe(FORMATION_FIELD_MAX_CHARS);
-        expect(candidate?.badDecision.endsWith('…')).toBe(true);
-    });
-    it('a malformed candidate is skipped without discarding the valid ones', () => {
-        const projection = projectDreamerProposals({
-            candidates: [
-                { badDecision: 'bad-0', betterDecision: 'better-0', rationale: 'why-0' },
-                { betterDecision: 'b', rationale: 'r' }, // missing badDecision
-                'not-a-record',
-                { badDecision: 'bad-3', betterDecision: 'better-3', rationale: 'why-3' },
-            ],
-        });
-        expect(projection.candidates.map((candidate) => candidate.candidateIndex)).toEqual([0, 3]);
-        expect(projection.truncationNotes.some((note) => note.includes('malformed'))).toBe(true);
-    });
-    it('bounds the diagnosis evidence array', () => {
-        const evidence = Array.from({ length: FORMATION_DIAGNOSIS_EVIDENCE_LIMIT + 4 }, (_, index) => ({
-            sourceRef: `ref-${index}`,
-            note: `note-${index}`,
-        }));
-        const harness = makeHarness({
-            artifacts: [
-                makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() }),
-                makeArtifact({ artifactId: DIAG_ART_ID, sourceTaskId: DIAG_TASK_ID, content: { ...routerDiagnosisContent(), evidence } }),
-            ],
-            tasks: { [DREAMER_TASK_ID]: DREAMER_TASK_WITH_ROUTER, [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'succeeded', dependencyTaskIds: [] } },
-        });
-        return harness.then(async (h) => {
-            const context = await h.resolve(DREAMER_ART_ID);
-            expect(context?.sourceDiagnosis?.evidence).toHaveLength(FORMATION_DIAGNOSIS_EVIDENCE_LIMIT);
-            expect(context?.sourceDiagnosis?.omittedFields.some((field) => field.startsWith('evidence['))).toBe(true);
-        });
-    });
-    it('the serialized block never exceeds the documented cap and says what it lost', async () => {
-        // A diagnosis whose bulk cannot fit alongside a full proposal set.
-        const evidence = Array.from({ length: FORMATION_DIAGNOSIS_EVIDENCE_LIMIT }, (_, index) => ({
-            sourceRef: `ref-${index}`.padEnd(FORMATION_FIELD_MAX_CHARS, 'r'),
-            note: `note-${index}`.padEnd(FORMATION_FIELD_MAX_CHARS, 'n'),
-        }));
-        const harness = await makeHarness({
-            artifacts: [
-                makeArtifact({ artifactId: DREAMER_ART_ID, sourceTaskId: DREAMER_TASK_ID, content: dreamerContent() }),
-                makeArtifact({
-                    artifactId: DIAG_ART_ID,
-                    sourceTaskId: DIAG_TASK_ID,
-                    content: { ...routerDiagnosisContent(), summary: 's'.padEnd(FORMATION_FIELD_MAX_CHARS, 's'), evidence },
-                }),
-            ],
-            tasks: { [DREAMER_TASK_ID]: DREAMER_TASK_WITH_ROUTER, [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'succeeded', dependencyTaskIds: [] } },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context).toBeDefined();
-        expect(JSON.stringify(context).length).toBeLessThanOrEqual(FORMATION_TOTAL_MAX_CHARS);
-        expect(context?.truncationNotes.length).toBeGreaterThan(0);
-    });
-    it('holds the cap even when every field is maximal and the drops themselves add notes', async () => {
-        // Regression for review finding PRI-1756-P2: `trimSection` records one note
-        // per dropped item, and those notes are part of the serialized object. A
-        // single lineage truncation therefore could not bring the block back under
-        // the cap — five maximal candidates plus a maximal diagnosis produced 8550
-        // chars against an 8000 budget, leaving the prompt boundary unbounded.
-        const max = FORMATION_FIELD_MAX_CHARS;
-        const maximalCandidates = Array.from({ length: FORMATION_CANDIDATE_LIMIT }, (_, index) => ({
-            candidateIndex: index,
-            badDecision: 'B'.padEnd(max, 'b'),
-            betterDecision: 'D'.padEnd(max, 'd'),
-            rationale: 'R'.padEnd(max, 'r'),
-            confidence: 0.9,
-            riskLevel: 'medium',
-            strategicPerspective: 'S'.padEnd(max, 's'),
-        }));
-        const harness = await makeHarness({
-            artifacts: [
-                makeArtifact({
-                    artifactId: DREAMER_ART_ID,
-                    sourceTaskId: DREAMER_TASK_ID,
-                    content: { ...dreamerContent(), candidates: maximalCandidates },
-                    // Far more lineage ids than the last-resort limit.
-                    lineageArtifactIds: Array.from({ length: 64 }, (_, i) => `lineage-artifact-id-${String(i).padStart(3, '0')}`),
-                }),
-                makeArtifact({
-                    artifactId: DIAG_ART_ID,
-                    sourceTaskId: DIAG_TASK_ID,
-                    content: {
-                        ...routerDiagnosisContent(),
-                        summary: 'M'.padEnd(max, 'm'),
-                        rootCause: 'C'.padEnd(max, 'c'),
-                        violatedPrinciples: Array.from({ length: 8 }, (_, i) => ({
-                            principleId: `P-${i}`,
-                            title: 'T'.padEnd(max, 't'),
-                            rationale: 'V'.padEnd(max, 'v'),
-                        })),
-                        evidence: Array.from({ length: 8 }, (_, i) => ({
-                            sourceRef: `ref-${i}`.padEnd(max, 'e'),
-                            note: 'N'.padEnd(max, 'n'),
-                        })),
-                        recommendations: Array.from({ length: 5 }, (_, i) => ({
-                            kind: 'principle',
-                            description: `R${i}`.padEnd(max - 8, 'x'),
-                        })),
-                    },
-                }),
-            ],
-            tasks: {
-                [DREAMER_TASK_ID]: DREAMER_TASK_WITH_ROUTER,
-                [DIAG_TASK_ID]: { taskKind: 'diag_router', status: 'succeeded', dependencyTaskIds: [] },
-            },
-        });
-        const context = await harness.resolve(DREAMER_ART_ID);
-        expect(context).toBeDefined();
-        // The cap is a hard prompt-boundary contract, not a best-effort target.
-        const serialized = JSON.stringify(context);
-        expect(serialized.length).toBeLessThanOrEqual(FORMATION_TOTAL_MAX_CHARS);
-        // Degradation must stay observable (rc-9) — never silent.
-        expect(context?.truncationNotes.length).toBeGreaterThan(0);
-        // And it must be VALID JSON, never a mid-value slice.
-        expect(() => JSON.parse(serialized)).not.toThrow();
-    });
-});
-// ── Difference summary (PRI-839) ────────────────────────────────────────────
-describe('PRI-839 summarizeCandidateDifferences', () => {
-    it('states the count, risk spread and distinct better-decisions', () => {
-        const { candidates } = projectDreamerProposals(dreamerContent());
-        const summary = summarizeCandidateDifferences(candidates);
-        expect(summary).toContain('2 mutually distinct proposals');
-        expect(summary).toContain('risk spread');
-        expect(summary).toContain('distinct better-decisions: 2');
-        expect(summary).toContain('dreamer confidence range: 0.4..0.9');
-    });
-    it('says so explicitly when there was only one proposal', () => {
-        expect(summarizeCandidateDifferences([])).toContain('No dreamer proposals');
-        const { candidates } = projectDreamerProposals({
-            candidates: [{ badDecision: 'b', betterDecision: 'bb', rationale: 'r' }],
-        });
-        expect(summarizeCandidateDifferences(candidates)).toContain('no alternatives were proposed');
-    });
-});
-//# sourceMappingURL=formation-context.test.js.map