create-principles-disciple 1.112.2 → 1.113.0

package/core/dist/runtime-v2/internalization/__tests__/crash-liveness-regressions.test.js

@@ -0,0 +1,311 @@
+/**
+ * C (crash/restart liveness 轮): rollout revision budget persistence fail-closed。
+ *
+ * 顺序契约 (record-first): routing intent (iteration/cause) 持久化成功是
+ * reopen 的前置 — 禁止 "reopen 成功 + budget metadata 丢失 + rollout 正常完成"。
+ *
+ * 故障注入: 真实 store 上包装 stateManager,令 rollout 任务元数据写入在
+ * 第一次携带 rolloutRevisionPayload 时失败;随后恢复并重放 revision flow。
+ */
+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 { RolloutReviewerRunner } from '../rollout-reviewer-runner.js';
+import { DefaultRolloutReviewerValidator } from '../rollout-reviewer-output.js';
+import { SqliteConnection } from '../../store/sqlite-connection.js';
+import { SqlitePIArtifactStore } from '../../store/artifact/sqlite-pi-artifact-store.js';
+import { storeEmitter } from '../../store/event-emitter.js';
+import { hydratePITaskRecord, createPITaskDiagnosticJson, mergePITaskMetadata } from '../pitask-metadata.js';
+let workspaceDir;
+let stateManager;
+let orchestrator;
+const SCRIBE_ID = 'scribe-c-prompt';
+const ARTIFICER_ID = 'artificer-c-prompt';
+const EVAL_ID = 'evaluator-c-prompt';
+const ROLLOUT_ID = 'rollout_reviewer-c-prompt';
+const SCRIBE_ART = 'pi-art-scribe-c';
+beforeEach(async () => {
+    workspaceDir = fs.mkdtempSync(path.join(os.tmpdir(), 'pd-clv-'));
+    stateManager = new RuntimeStateManager({ workspaceDir });
+    await stateManager.initialize();
+    orchestrator = new InternalizationOrchestrator({ stateManager }, { owner: 'clv', 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(id, kind, deps) {
+    await stateManager.createTask({ taskId: id, taskKind: kind, status: 'pending', attemptCount: 0, maxAttempts: 3, diagnosticJson: meta({ correlationId: 'c', dependencyTaskIds: deps }) });
+}
+async function succeed(id) {
+    await stateManager.acquireLease({ taskId: id, owner: 'clv', runtimeKind: 'test-double' });
+    await stateManager.markTaskSucceeded(id);
+}
+function makeOutput(decision) {
+    return {
+        taskId: ROLLOUT_ID, sourceEvaluatorArtifactId: 'pi-art-eval-c',
+        review: { decision, summary: 'c', confidence: 0.9, requiredChanges: decision === 'needs_revision' ? ['必须改 X'] : [], rolloutRisks: [], safetyChecks: [] },
+        sourceTrace: { evaluatorArtifactId: 'pi-art-eval-c' }, risks: [], generatedAt: new Date().toISOString(),
+    };
+}
+function scriptedAdapter(output) {
+    return {
+        startRun: async () => ({ runId: 'run-c', runtimeKind: 'test-double', startedAt: new Date().toISOString() }),
+        pollRun: async () => ({ status: 'succeeded', runId: 'run-c' }),
+        fetchOutput: async () => ({ runId: 'run-c', payload: output }),
+        cancelRun: async () => undefined,
+    };
+}
+/** 包装 stateManager: 对 ROLLOUT_ID 的 rolloutRevisionPayload 元数据写入前 failN 次失败 */
+function wrapRoutingWriteFailure(failures) {
+    const inner = stateManager;
+    const orig = inner.updateTaskDiagnosticJson;
+    inner.updateTaskDiagnosticJson = async (taskId, json) => {
+        if (taskId === ROLLOUT_ID && json.includes('"rolloutRevisionPayload"') && failures.count > 0) {
+            failures.count -= 1;
+            throw new Error('injected routing metadata write failure (disk)');
+        }
+        return orig.call(stateManager, taskId, json);
+    };
+    return stateManager;
+}
+async function resetRolloutForRerun() {
+    // 生产语义的"新一轮" = reopenTaskForRevision: 清 runnerDecision +
+    // completionIntent (epoch 前进)。fixture 必须镜像同一清理,否则残留的
+    // applied completionIntent 会触发补 terminal 分支而非新一轮评估。
+    const t = await stateManager.getTask(ROLLOUT_ID);
+    const pi = hydratePITaskRecord(t);
+    if (pi) {
+        await stateManager.updateTaskDiagnosticJson(ROLLOUT_ID, createPITaskDiagnosticJson(mergePITaskMetadata(pi, { runnerDecision: undefined, completionIntent: undefined })));
+    }
+    await stateManager.updateTask(ROLLOUT_ID, { status: 'pending', attemptCount: 0 });
+}
+function makeRunner(injected) {
+    return new RolloutReviewerRunner({
+        stateManager: injected, runtimeAdapter: scriptedAdapter(makeOutput('needs_revision')),
+        eventEmitter: storeEmitter, validator: new DefaultRolloutReviewerValidator(),
+        artifactStore: new SqlitePIArtifactStore(new SqliteConnection(workspaceDir)),
+        reopenRevisionTarget: async (input) => {
+            const r = await orchestrator.reopenTaskForRevision(input.targetTaskId, {
+                revisionFeedback: input.revisionFeedback,
+                revisionCauseId: `rollout-${input.sourceRolloutTaskId}-r${input.revisionIteration}`,
+            });
+            return r.ok ? { ok: true, reason: r.reason, reopenedTaskId: input.targetTaskId } : { ok: false, reason: r.reason };
+        },
+    }, { owner: 'clv', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000 });
+}
+async function readRolloutRouting() {
+    const t = await stateManager.getTask(ROLLOUT_ID);
+    const pi = hydratePITaskRecord(t);
+    return {
+        iteration: pi?.rolloutRevisionPayload?.revisionIteration,
+        causeId: pi?.revisionCauseId,
+        runnerDecision: pi?.runnerDecision,
+    };
+}
+describe('C — rollout revision budget persistence fail-closed (record-first)', () => {
+    it('routing 元数据写失败 → 不 reopen + 任务不 succeeded;恢复后重放恰一次;iteration 不回退;2-round bound 保持', async () => {
+        // lineage: scribe(validated bearer) → artificer → evaluator(succeeded+approved) → rollout
+        await mkTask(SCRIBE_ID, 'scribe', []);
+        await succeed(SCRIBE_ID);
+        await mkTask(ARTIFICER_ID, 'artificer', [SCRIBE_ID]);
+        await succeed(ARTIFICER_ID);
+        await mkTask(EVAL_ID, 'evaluator', [ARTIFICER_ID]);
+        await succeed(EVAL_ID);
+        const evalRaw = await stateManager.getTask(EVAL_ID);
+        if (!evalRaw)
+            throw new Error('seed: evaluator missing');
+        const evalPi = hydratePITaskRecord(evalRaw);
+        if (!evalPi)
+            throw new Error('seed: evaluator not hydratable');
+        await stateManager.updateTaskDiagnosticJson(EVAL_ID, createPITaskDiagnosticJson(mergePITaskMetadata(evalPi, { runnerDecision: 'approved' })));
+        await mkTask(ROLLOUT_ID, 'rollout_reviewer', [EVAL_ID]);
+        const conn = new SqliteConnection(workspaceDir);
+        const store = new SqlitePIArtifactStore(conn);
+        await store.upsertArtifact({
+            artifactId: 'pi-art-eval-c', artifactKind: 'principle', sourceTaskId: EVAL_ID,
+            lineageArtifactIds: [], validationStatus: 'pending',
+            contentJson: JSON.stringify({ evaluation: { decision: 'approved', score: 0.9, strengths: [], concerns: [], requiredChanges: [] } }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        await store.upsertArtifact({
+            artifactId: SCRIBE_ART, artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
+            lineageArtifactIds: [], validationStatus: 'validated',
+            contentJson: JSON.stringify({ principleId: 'c-p', text: '原则', principleDraft: { title: 'c-p', statement: '原则' } }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        conn.close();
+        // ── 1) 注入: 第一次 routing 元数据写失败 ──
+        const failures = { count: 1 };
+        const injected = wrapRoutingWriteFailure(failures);
+        const r1 = await makeRunner(injected).run(ROLLOUT_ID);
+        // fail-closed: 任务未 succeeded (retry 路径),scribe 未被 reopen
+        expect(r1.status).not.toBe('succeeded');
+        expect((await stateManager.getTask(SCRIBE_ID))?.status).toBe('succeeded');
+        expect((await readRolloutRouting()).iteration).toBeUndefined(); // budget 未落
+        // ── 2) 恢复 + 重放 (模拟重启后的 revision flow) ──
+        // run1 的 payload 写失败已把任务置 retry_wait (intent 已 pending durable)
+        // — 直接重跑即触发入口门 resume (无 LLM 重问),无需手工 reset。
+        const r1Task = await stateManager.getTask(ROLLOUT_ID);
+        if (r1Task?.status !== 'retry_wait')
+            throw new Error(`C: expected retry_wait after failure, got ${r1Task?.status}`);
+        const r2 = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r2.status).toBe('succeeded');
+        expect((await stateManager.getTask(SCRIBE_ID))?.status).toBe('pending'); // reopen 恰发生一次
+        const after1 = await readRolloutRouting();
+        expect(after1.iteration).toBe(1); // 不回退、不重复
+        // ── 3) 第二轮 revision (target 完成后再次 needs_revision) ──
+        await succeed(SCRIBE_ID); // target 修订完成
+        await resetRolloutForRerun();
+        const r3 = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r3.status).toBe('succeeded');
+        const after2 = await readRolloutRouting();
+        expect(after2.iteration).toBe(2); // 递进, 未重置
+        // ── 4) 第三轮 → budget exhausted → needs_human_review (2-round bound) ──
+        await succeed(SCRIBE_ID);
+        await resetRolloutForRerun();
+        const r4 = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r4.status).toBe('succeeded'); // runner 完成
+        expect((await stateManager.getTask(ROLLOUT_ID))?.status).toBe('needs_human_review');
+        expect((await stateManager.getTask(SCRIBE_ID))?.status).toBe('succeeded'); // 未产生额外 revision
+    });
+});
+describe('B — revision intent materialization state machine', () => {
+    // 复用 C describe 的 lineage 构造: 提取为 helper
+    async function seedLineage() {
+        await mkTask(SCRIBE_ID, 'scribe', []);
+        await succeed(SCRIBE_ID);
+        await mkTask(ARTIFICER_ID, 'artificer', [SCRIBE_ID]);
+        await succeed(ARTIFICER_ID);
+        await mkTask(EVAL_ID, 'evaluator', [ARTIFICER_ID]);
+        await succeed(EVAL_ID);
+        const evalRaw = await stateManager.getTask(EVAL_ID);
+        if (!evalRaw)
+            throw new Error('seed: evaluator missing');
+        const evalPi = hydratePITaskRecord(evalRaw);
+        if (!evalPi)
+            throw new Error('seed: evaluator not hydratable');
+        await stateManager.updateTaskDiagnosticJson(EVAL_ID, createPITaskDiagnosticJson(mergePITaskMetadata(evalPi, { runnerDecision: 'approved' })));
+        await mkTask(ROLLOUT_ID, 'rollout_reviewer', [EVAL_ID]);
+        const conn = new SqliteConnection(workspaceDir);
+        const store = new SqlitePIArtifactStore(conn);
+        await store.upsertArtifact({
+            artifactId: 'pi-art-eval-c', artifactKind: 'principle', sourceTaskId: EVAL_ID,
+            lineageArtifactIds: [], validationStatus: 'pending',
+            contentJson: JSON.stringify({ evaluation: { decision: 'approved', score: 0.9, strengths: [], concerns: [], requiredChanges: [] } }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        await store.upsertArtifact({
+            artifactId: SCRIBE_ART, artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
+            lineageArtifactIds: [], validationStatus: 'validated',
+            contentJson: JSON.stringify({ principleId: 'c-p', text: '原则', principleDraft: { title: 'c-p', statement: '原则' } }),
+            createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
+        });
+        conn.close();
+    }
+    function runnerWithInjectedWriteFailure(failures) {
+        return makeRunner(wrapRoutingWriteFailure(failures));
+    }
+    async function readIntent() {
+        const pi = hydratePITaskRecord(await stateManager.getTask(ROLLOUT_ID));
+        return { iteration: pi?.rolloutRevisionPayload?.revisionIteration, status: pi?.rolloutRevisionPayload?.status };
+    }
+    async function scribeRc() {
+        const pi = hydratePITaskRecord(await stateManager.getTask(SCRIBE_ID));
+        return pi?.revisionCount ?? 0;
+    }
+    it('B1: persist intent r1 → crash before reopen → restart 继续执行 r1 (不自动 r2),budget 只耗 1', async () => {
+        await seedLineage();
+        // 手工构造 crash 态: 只完成 intent 持久化 (status pending, r1), 不 reopen
+        const raw = await stateManager.getTask(ROLLOUT_ID);
+        if (!raw)
+            throw new Error('B1: rollout task missing');
+        const pi = hydratePITaskRecord(raw);
+        if (!pi)
+            throw new Error('B1: rollout task not hydratable');
+        await stateManager.updateTaskDiagnosticJson(ROLLOUT_ID, createPITaskDiagnosticJson(mergePITaskMetadata(pi, {
+            rolloutRevisionPayload: {
+                requiredChanges: ['x'], revisionIteration: 1, sourceRolloutTaskId: ROLLOUT_ID,
+                sourceArtifactId: SCRIBE_ART, targetTaskKind: 'scribe', status: 'pending',
+            },
+        })));
+        // restart 后 revision flow 重放 (rollout runner 正常跑 needs_revision)
+        const r = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r.status).toBe('succeeded');
+        const intent = await readIntent();
+        expect(intent.iteration).toBe(1); // 继续 r1, 未跳 r2
+        expect(intent.status).toBe('applied');
+        expect(await scribeRc()).toBe(1); // target revisionCount 只 +1
+    });
+    it('B2: persist r1 + reopen r1 → crash before rollout succeeded → restart 识别已 materialize,不 reopen r2,revisionCount 不变', async () => {
+        await seedLineage();
+        // 正常跑完第一轮 (含 reopen + applied + succeeded)
+        const r1 = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r1.status).toBe('succeeded');
+        expect(await scribeRc()).toBe(1);
+        const rcAfterRound1 = await scribeRc();
+        // 构造 B2 crash 态 (现代协议): "reopen 已 materialize 但 rollout 未标
+        // succeeded 前崩溃" = completionIntent 回 pending (保留 target 的
+        // causeId=r1);payload 回 pending 模拟 markRevisionIntentApplied 前窗口。
+        const runs = await stateManager.getRunsByTask(ROLLOUT_ID);
+        const sourceRunId = runs[runs.length - 1]?.runId;
+        if (!sourceRunId)
+            throw new Error('B2: no durable run for intent sourceRunId');
+        const pi = hydratePITaskRecord(await stateManager.getTask(ROLLOUT_ID));
+        if (!pi)
+            throw new Error('B2: rollout not hydratable');
+        const payload = pi.rolloutRevisionPayload;
+        if (!payload)
+            throw new Error('B2: revision intent payload missing');
+        await stateManager.updateTaskDiagnosticJson(ROLLOUT_ID, createPITaskDiagnosticJson(mergePITaskMetadata(pi, {
+            completionIntent: { decision: 'needs_revision', sourceRunId, revisionEpoch: pi.revisionCount ?? 0, status: 'pending', revisionIteration: 1 },
+            rolloutRevisionPayload: { ...payload, status: 'pending' },
+        })));
+        await stateManager.updateTask(ROLLOUT_ID, { status: 'pending', attemptCount: 0 });
+        // restart 后重放: 必须识别 r1 已 materialize (target causeId 匹配)
+        const r2 = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r2.status).toBe('succeeded');
+        const intent = await readIntent();
+        expect(intent.iteration).toBe(1); // 未进到 r2
+        expect(intent.status).toBe('applied');
+        expect(await scribeRc()).toBe(rcAfterRound1); // 未产生额外 reopen
+    });
+    it('B3: budget 按 materialized 计数 — r1/r2 applied 后第三个 verdict 才 needs_human_review', async () => {
+        await seedLineage();
+        // r1
+        expect((await makeRunner(stateManager).run(ROLLOUT_ID)).status).toBe('succeeded');
+        await succeed(SCRIBE_ID);
+        await resetRolloutForRerun();
+        // r2
+        expect((await makeRunner(stateManager).run(ROLLOUT_ID)).status).toBe('succeeded');
+        expect((await readIntent()).iteration).toBe(2);
+        await succeed(SCRIBE_ID);
+        await resetRolloutForRerun();
+        // 第三个 verdict → exhausted (applied=2)
+        const r3 = await makeRunner(stateManager).run(ROLLOUT_ID);
+        expect(r3.status).toBe('succeeded');
+        expect((await stateManager.getTask(ROLLOUT_ID))?.status).toBe('needs_human_review');
+        expect(await scribeRc()).toBe(2); // 恰两次 materialized reopen
+    });
+    it('B4: intent 写失败 → 无 reopen,任务重试,budget/intent 不变', async () => {
+        await seedLineage();
+        const before = await readIntent();
+        const r = await runnerWithInjectedWriteFailure({ count: 1 }).run(ROLLOUT_ID);
+        expect(r.status).not.toBe('succeeded');
+        expect((await stateManager.getTask(SCRIBE_ID))?.status).toBe('succeeded'); // 未 reopen
+        expect(await readIntent()).toEqual(before); // budget 未写
+    });
+});
+//# sourceMappingURL=crash-liveness-regressions.test.js.map

package/core/dist/runtime-v2/internalization/__tests__/crash-liveness-regressions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"crash-liveness-regressions.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/internalization/__tests__/crash-liveness-regressions.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;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,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAEhF,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAG7G,IAAI,YAAoB,CAAC;AACzB,IAAI,YAAiC,CAAC;AACtC,IAAI,YAAyC,CAAC;AAE9C,MAAM,SAAS,GAAG,iBAAiB,CAAC;AACpC,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAC1C,MAAM,OAAO,GAAG,oBAAoB,CAAC;AACrC,MAAM,UAAU,GAAG,2BAA2B,CAAC;AAC/C,MAAM,UAAU,GAAG,iBAAiB,CAAC;AAErC,UAAU,CAAC,KAAK,IAAI,EAAE;IACpB,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC;IACjE,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,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,CAC7E,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,EAAU,EAAE,IAAY,EAAE,IAAc;IAC5D,MAAM,YAAY,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AAC3L,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,EAAU;IAC/B,MAAM,YAAY,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;IAC1F,MAAM,YAAY,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,UAAU,CAAC,QAA8C;IAChE,OAAO;QACL,MAAM,EAAE,UAAU,EAAE,yBAAyB,EAAE,eAAe;QAC9D,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,eAAe,EAAE,QAAQ,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE;QACxJ,WAAW,EAAE,EAAE,mBAAmB,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACxG,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,MAA+B;IACtD,OAAO;QACL,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAC3G,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAC9D,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC9D,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;KACxB,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,SAAS,uBAAuB,CAAC,QAA2B;IAC1D,MAAM,KAAK,GAAG,YAAkD,CAAC;IACjE,MAAM,IAAI,GAAG,KAAK,CAAC,wBAA2E,CAAC;IAC/F,KAAK,CAAC,wBAAwB,GAAG,KAAK,EAAE,MAAc,EAAE,IAAY,EAAiB,EAAE;QACrF,IAAI,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,0BAA0B,CAAC,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC;IACF,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,KAAK,UAAU,oBAAoB;IACjC,yDAAyD;IACzD,qDAAqD;IACrD,oDAAoD;IACpD,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAe,CAAC,CAAC;IAChD,IAAI,EAAE,EAAE,CAAC;QACP,MAAM,YAAY,CAAC,wBAAwB,CAAC,UAAU,EAAE,0BAA0B,CAChF,mBAAmB,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,CACpF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,UAAU,CAAC,QAA6B;IAC/C,OAAO,IAAI,qBAAqB,CAAC;QAC/B,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,eAAe,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;QACrF,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,+BAA+B,EAAE;QAC5E,aAAa,EAAE,IAAI,qBAAqB,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAC5E,oBAAoB,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACpC,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,qBAAqB,CAAC,KAAK,CAAC,YAAY,EAAE;gBACrE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;gBACxC,eAAe,EAAE,WAAW,KAAK,CAAC,mBAAmB,KAAK,KAAK,CAAC,iBAAiB,EAAE;aACpF,CAAC,CAAC;YACH,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACrH,CAAC;KACF,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,KAAK,UAAU,kBAAkB;IAC/B,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAe,CAAC,CAAC;IAChD,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,iBAAiB;QACxD,OAAO,EAAE,EAAE,EAAE,eAAe;QAC5B,cAAc,EAAE,EAAE,EAAE,cAAc;KACnC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAClF,EAAE,CAAC,mFAAmF,EAAE,KAAK,IAAI,EAAE;QACjG,0FAA0F;QAC1F,MAAM,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QACrD,MAAM,OAAO,CAAC,YAAY,CAAC,CAAC;QAC5B,MAAM,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QACnD,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC/D,MAAM,YAAY,CAAC,wBAAwB,CAAC,OAAO,EAAE,0BAA0B,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9I,MAAM,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAExD,MAAM,IAAI,GAAG,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO;YAC7E,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS;YACnD,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE,CAAC;YACnI,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS;YAC1E,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;QACH,IAAI,CAAC,KAAK,EAAE,CAAC;QAEb,kCAAkC;QAClC,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAEtD,yDAAyD;QACzD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1E,MAAM,CAAC,CAAC,MAAM,kBAAkB,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,YAAY;QAE5E,0CAA0C;QAC1C,gEAAgE;QAChE,6CAA6C;QAC7C,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,MAAM,EAAE,MAAM,KAAK,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACpH,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe;QACxF,MAAM,MAAM,GAAG,MAAM,kBAAkB,EAAE,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;QAE5C,sDAAsD;QACtD,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc;QACxC,MAAM,oBAAoB,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,kBAAkB,EAAE,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;QAE5C,uEAAuE;QACvE,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,oBAAoB,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;QACjD,MAAM,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACpF,MAAM,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,iBAAiB;IAC9F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAGH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,yCAAyC;IACzC,KAAK,UAAU,WAAW;QACxB,MAAM,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QACrD,MAAM,OAAO,CAAC,YAAY,CAAC,CAAC;QAC5B,MAAM,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QACnD,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC/D,MAAM,YAAY,CAAC,wBAAwB,CAAC,OAAO,EAAE,0BAA0B,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9I,MAAM,MAAM,CAAC,UAAU,EAAE,kBAAkB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAExD,MAAM,IAAI,GAAG,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO;YAC7E,kBAAkB,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS;YACnD,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE,CAAC;YACnI,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACzE,CAAC,CAAC;QACH,MAAM,KAAK,CAAC,cAAc,CAAC;YACzB,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS;YAC1E,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;QACH,IAAI,CAAC,KAAK,EAAE,CAAC;IACf,CAAC;IAED,SAAS,8BAA8B,CAAC,QAA2B;QACjE,OAAO,UAAU,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,KAAK,UAAU,UAAU;QACvB,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAe,CAAC,CAAC;QACrF,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,EAAE,EAAE,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC;IAClH,CAAC;IAED,KAAK,UAAU,QAAQ;QACrB,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,SAAS,CAAe,CAAC,CAAC;QACpF,OAAO,EAAE,EAAE,aAAa,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,EAAE,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,WAAW,EAAE,CAAC;QACpB,8DAA8D;QAC9D,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAC5D,MAAM,YAAY,CAAC,wBAAwB,CAAC,UAAU,EAAE,0BAA0B,CAAC,mBAAmB,CAAC,EAAE,EAAE;YACzG,sBAAsB,EAAE;gBACtB,eAAe,EAAE,CAAC,GAAG,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,mBAAmB,EAAE,UAAU;gBAC7E,gBAAgB,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS;aAC1E;SACF,CAAC,CAAC,CAAC,CAAC;QACL,iEAAiE;QACjE,MAAM,CAAC,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAG,eAAe;QACnD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAG,4BAA4B;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oHAAoH,EAAE,KAAK,IAAI,EAAE;QAClI,MAAM,WAAW,EAAE,CAAC;QACpB,2CAA2C;QAC3C,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,MAAM,QAAQ,EAAE,CAAC;QAEvC,2DAA2D;QAC3D,2DAA2D;QAC3D,kEAAkE;QAClE,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC;QACjD,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/E,MAAM,EAAE,GAAG,mBAAmB,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAe,CAAC,CAAC;QACrF,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,EAAE,CAAC,sBAAsB,CAAC;QAC1C,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrE,MAAM,YAAY,CAAC,wBAAwB,CAAC,UAAU,EAAE,0BAA0B,CAAC,mBAAmB,CAAC,EAAE,EAAE;YACzG,gBAAgB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE,aAAa,EAAE,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC,EAAE;YAC5I,sBAAsB,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,SAAkB,EAAE;SACnE,CAAC,CAAC,CAAC,CAAC;QACL,MAAM,YAAY,CAAC,UAAU,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC;QAElF,yDAAyD;QACzD,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAO,SAAS;QACjD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC9F,MAAM,WAAW,EAAE,CAAC;QACpB,KAAK;QACL,MAAM,CAAC,CAAC,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClF,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,oBAAoB,EAAE,CAAC;QAC7B,KAAK;QACL,MAAM,CAAC,CAAC,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClF,MAAM,CAAC,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,oBAAoB,EAAE,CAAC;QAC7B,sCAAsC;QACtC,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1D,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACpF,MAAM,CAAC,MAAM,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,0BAA0B;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,WAAW,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,UAAU,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,MAAM,8BAA8B,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;QACtF,MAAM,CAAC,MAAM,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/core/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=external-review-p0-regressions.test.d.ts.map

package/core/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.d.ts.map

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

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

@@ -0,0 +1,171 @@
+/**
+ * 外部复核 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';
+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(), contentHashFn: undefined,
+        }, { 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/core/dist/runtime-v2/internalization/__tests__/external-review-p0-regressions.test.js.map

@@ -0,0 +1 @@
+{"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;AAI5D,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,EAAE,aAAa,EAAE,SAAS;SACpF,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/core/dist/runtime-v2/internalization/__tests__/internalization-task-guards.test.js

@@ -175,12 +175,21 @@ describe('Internalization Task Guards (PRI-62)', () => {
         it('disallows retry_wait -> retry_wait (self-transition)', () => {
             expect(canTransitionTo('retry_wait', 'retry_wait')).toBe(false);
         });
-        it('disallows succeeded -> any state', () => {
-            expect(canTransitionTo('succeeded', 'pending')).toBe(false);
+        it('allows succeeded -> pending ONLY for revision reopen (P0-D, INV-02); disallows other successors', () => {
+            // 契约变更 (2026-08-18, MVP core-loop closure): succeeded → pending 是
+            // revision reopen 的合法出边 (orchestrator.reopenTaskForRevision:
+            // evaluator repair 轮、rollout revision 路由、上游修订级联)。
+            // 其余 succeeded 出边仍然全部禁止。
+            expect(canTransitionTo('succeeded', 'pending')).toBe(true);
             expect(canTransitionTo('succeeded', 'leased')).toBe(false);
             expect(canTransitionTo('succeeded', 'failed')).toBe(false);
             expect(canTransitionTo('succeeded', 'retry_wait')).toBe(false);
         });
+        it('allows needs_human_review -> pending (owner retry out-edge, INV-03); disallows others', () => {
+            expect(canTransitionTo('needs_human_review', 'pending')).toBe(true);
+            expect(canTransitionTo('needs_human_review', 'leased')).toBe(false);
+            expect(canTransitionTo('needs_human_review', 'failed')).toBe(false);
+        });
         it('disallows failed -> any state', () => {
             expect(canTransitionTo('failed', 'pending')).toBe(false);
             expect(canTransitionTo('failed', 'leased')).toBe(false);