@principles/pd-cli 1.135.1 → 1.136.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/commands/demo-story-a.d.ts +2 -0
- package/dist/commands/demo-story-a.d.ts.map +1 -1
- package/dist/commands/demo-story-a.js +41 -0
- package/dist/commands/demo-story-a.js.map +1 -1
- package/dist/commands/runtime-activation.d.ts.map +1 -1
- package/dist/commands/runtime-activation.js +36 -7
- package/dist/commands/runtime-activation.js.map +1 -1
- package/dist/commands/runtime-compatibility-scan.d.ts +32 -0
- package/dist/commands/runtime-compatibility-scan.d.ts.map +1 -0
- package/dist/commands/runtime-compatibility-scan.js +94 -0
- package/dist/commands/runtime-compatibility-scan.js.map +1 -0
- package/dist/commands/runtime-internalization-enqueue-successors.d.ts.map +1 -1
- package/dist/commands/runtime-internalization-enqueue-successors.js +48 -0
- package/dist/commands/runtime-internalization-enqueue-successors.js.map +1 -1
- package/dist/commands/runtime-internalization-retry.d.ts +38 -0
- package/dist/commands/runtime-internalization-retry.d.ts.map +1 -0
- package/dist/commands/runtime-internalization-retry.js +143 -0
- package/dist/commands/runtime-internalization-retry.js.map +1 -0
- package/dist/index.js +15 -0
- package/dist/index.js.map +1 -1
- package/dist/services/__tests__/evaluator-runner-deps.test.js +19 -7
- package/dist/services/__tests__/evaluator-runner-deps.test.js.map +1 -1
- package/dist/services/rulehost-pipeline-runner.d.ts.map +1 -1
- package/dist/services/rulehost-pipeline-runner.js +6 -2
- package/dist/services/rulehost-pipeline-runner.js.map +1 -1
- package/package.json +1 -1
- package/src/commands/demo-story-a.ts +44 -0
- package/src/commands/runtime-activation.ts +38 -6
- package/src/commands/runtime-compatibility-scan.ts +105 -0
- package/src/commands/runtime-internalization-enqueue-successors.ts +48 -0
- package/src/commands/runtime-internalization-retry.ts +163 -0
- package/src/index.ts +17 -0
- package/src/services/__tests__/evaluator-runner-deps.test.ts +20 -8
- package/src/services/rulehost-pipeline-runner.ts +5 -2
- package/tests/commands/cli-command-tree.test.ts +15 -0
- package/tests/commands/demo-story-a.test.ts +63 -0
- package/tests/commands/runtime-compatibility-scan.test.ts +146 -0
- package/tests/commands/runtime-internalization-retry-owner-authority.test.ts +431 -0
- package/tests/e2e/cross-package-acceptance.test.ts +2 -2
- package/tests/services/demo-rule-compiler.test.ts +2 -2
|
@@ -0,0 +1,431 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* T-OWNER-RETRY-1..5 — Owner retry 必须是原子的 completion authority reset。
|
|
3
|
+
*
|
|
4
|
+
* 背景 (PR #1358 final audit follow-up): Owner retry 此前只清 runnerDecision、
|
|
5
|
+
* 保留 completionIntent —— needs_human_review → retry → pending 后,runner
|
|
6
|
+
* 入口门 resume/finalize 旧 intent,LLM 永不运行,Owner retry 实际失效
|
|
7
|
+
* (违反 MVP_CORE_LOOP_CONTRACT INV-03: retry = 重新入队/新一轮机器处理)。
|
|
8
|
+
*
|
|
9
|
+
* 本文件用真实 RuntimeStateManager + 真实 SQLite 临时 workspace 测生产路径
|
|
10
|
+
* (EP-02): 不 mock store,断言真实 DB 行。runner 侧语义(新 LLM verdict 成为
|
|
11
|
+
* authority)在 principles-core verdict-drift-regressions 的 owner-retry
|
|
12
|
+
* describe 中用真实 Runner 验证。
|
|
13
|
+
*/
|
|
14
|
+
import { describe, it, expect, vi, beforeEach, afterEach } from 'vitest';
|
|
15
|
+
import * as fs from 'node:fs';
|
|
16
|
+
import * as path from 'node:path';
|
|
17
|
+
import * as os from 'node:os';
|
|
18
|
+
import {
|
|
19
|
+
RuntimeStateManager,
|
|
20
|
+
hydratePITaskRecord,
|
|
21
|
+
createPITaskDiagnosticJson,
|
|
22
|
+
mergePITaskMetadata,
|
|
23
|
+
RolloutReviewerRunner,
|
|
24
|
+
DefaultRolloutReviewerValidator,
|
|
25
|
+
storeEmitter,
|
|
26
|
+
} from '@principles/core/runtime-v2';
|
|
27
|
+
import type {
|
|
28
|
+
PITaskMetadata,
|
|
29
|
+
RolloutRevisionPayload,
|
|
30
|
+
PDRuntimeAdapter,
|
|
31
|
+
RolloutReviewerOutputV1,
|
|
32
|
+
} from '@principles/core/runtime-v2';
|
|
33
|
+
import { handleRuntimeInternalizationRetry } from '../../src/commands/runtime-internalization-retry.js';
|
|
34
|
+
|
|
35
|
+
/** barrel 未导出 RunnerCompletionIntent — 从 metadata 字段派生 (避免为测试改 core) */
|
|
36
|
+
type RunnerCompletionIntent = NonNullable<PITaskMetadata['completionIntent']>;
|
|
37
|
+
|
|
38
|
+
const TASK_ID = 'rollout_reviewer-owner-retry';
|
|
39
|
+
const SCRIBE_ID = 'scribe-owner-retry';
|
|
40
|
+
const ARTIFICER_ID = 'artificer-owner-retry';
|
|
41
|
+
const EVAL_ID = 'evaluator-owner-retry';
|
|
42
|
+
const EVAL_ART = 'pi-art-eval-owner-retry';
|
|
43
|
+
const SCRIBE_ART = 'pi-art-scribe-owner-retry';
|
|
44
|
+
|
|
45
|
+
let workspaceDir: string;
|
|
46
|
+
let stateManager: RuntimeStateManager;
|
|
47
|
+
let consoleLogSpy: ReturnType<typeof vi.spyOn>;
|
|
48
|
+
|
|
49
|
+
function intent(status: 'pending' | 'applied'): RunnerCompletionIntent {
|
|
50
|
+
return {
|
|
51
|
+
decision: 'needs_revision',
|
|
52
|
+
sourceRunId: 'run-owner-1',
|
|
53
|
+
revisionEpoch: 1,
|
|
54
|
+
status,
|
|
55
|
+
effect: 'needs_human_review',
|
|
56
|
+
};
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
function revisionPayload(): RolloutRevisionPayload {
|
|
60
|
+
return {
|
|
61
|
+
requiredChanges: ['必须改 X'],
|
|
62
|
+
revisionIteration: 2,
|
|
63
|
+
sourceRolloutTaskId: TASK_ID,
|
|
64
|
+
sourceArtifactId: 'pi-art-eval-1',
|
|
65
|
+
targetTaskKind: 'scribe',
|
|
66
|
+
status: 'applied',
|
|
67
|
+
};
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
/** 构造 needs_human_review 的 rollout 任务(带指定 authority/budget metadata) */
|
|
71
|
+
async function seedNeedsHumanReview(meta: Partial<PITaskMetadata>, diagnosticJson?: string): Promise<void> {
|
|
72
|
+
await stateManager.createTask({
|
|
73
|
+
taskId: TASK_ID,
|
|
74
|
+
taskKind: 'rollout_reviewer',
|
|
75
|
+
status: 'needs_human_review',
|
|
76
|
+
attemptCount: 2,
|
|
77
|
+
maxAttempts: 3,
|
|
78
|
+
diagnosticJson: diagnosticJson ?? createPITaskDiagnosticJson({
|
|
79
|
+
dependencyTaskIds: ['evaluator-1'],
|
|
80
|
+
channel: 'prompt',
|
|
81
|
+
timeoutMs: 300_000,
|
|
82
|
+
inputArtifactRefs: [],
|
|
83
|
+
outputArtifactRefs: [],
|
|
84
|
+
correlationId: 'owner-retry',
|
|
85
|
+
revisionCount: 1,
|
|
86
|
+
...meta,
|
|
87
|
+
}),
|
|
88
|
+
});
|
|
89
|
+
}
|
|
90
|
+
|
|
91
|
+
async function readTask() {
|
|
92
|
+
return stateManager.getTask(TASK_ID);
|
|
93
|
+
}
|
|
94
|
+
|
|
95
|
+
async function readMeta() {
|
|
96
|
+
const raw = await readTask();
|
|
97
|
+
return raw ? hydratePITaskRecord(raw) : null;
|
|
98
|
+
}
|
|
99
|
+
|
|
100
|
+
/** 拿 handler 的 JSON 输出(emit 的第一行 console.log = 单 JSON 对象, cli-1) */
|
|
101
|
+
function jsonOutput(): Record<string, unknown> {
|
|
102
|
+
expect(consoleLogSpy.mock.calls.length).toBeGreaterThanOrEqual(1);
|
|
103
|
+
return JSON.parse(consoleLogSpy.mock.calls[0][0] as string) as Record<string, unknown>;
|
|
104
|
+
}
|
|
105
|
+
|
|
106
|
+
beforeEach(async () => {
|
|
107
|
+
workspaceDir = fs.mkdtempSync(path.join(os.tmpdir(), 'pd-owner-retry-'));
|
|
108
|
+
stateManager = new RuntimeStateManager({ workspaceDir });
|
|
109
|
+
await stateManager.initialize();
|
|
110
|
+
consoleLogSpy = vi.spyOn(console, 'log').mockImplementation(() => {});
|
|
111
|
+
});
|
|
112
|
+
|
|
113
|
+
afterEach(async () => {
|
|
114
|
+
consoleLogSpy.mockRestore();
|
|
115
|
+
vi.restoreAllMocks();
|
|
116
|
+
process.exitCode = 0;
|
|
117
|
+
await stateManager.close();
|
|
118
|
+
try { fs.rmSync(workspaceDir, { recursive: true, force: true }); } catch { /* temp */ }
|
|
119
|
+
});
|
|
120
|
+
|
|
121
|
+
describe('T-OWNER-RETRY — pd runtime internalization retry --confirm = atomic authority reset', () => {
|
|
122
|
+
it('T-OWNER-RETRY-1: applied intent 被 reset — status/attemptCount/runnerDecision/completionIntent 全部到位', async () => {
|
|
123
|
+
await seedNeedsHumanReview({
|
|
124
|
+
runnerDecision: 'needs_revision',
|
|
125
|
+
completionIntent: intent('applied'),
|
|
126
|
+
});
|
|
127
|
+
|
|
128
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
129
|
+
|
|
130
|
+
expect(jsonOutput().status).toBe('requeued');
|
|
131
|
+
|
|
132
|
+
const task = await readTask();
|
|
133
|
+
expect(task?.status).toBe('pending');
|
|
134
|
+
expect(task?.attemptCount).toBe(0);
|
|
135
|
+
|
|
136
|
+
const meta = await readMeta();
|
|
137
|
+
expect(meta).not.toBeNull();
|
|
138
|
+
expect(meta?.runnerDecision).toBeUndefined();
|
|
139
|
+
expect(meta?.completionIntent).toBeUndefined();
|
|
140
|
+
// lineage 保留
|
|
141
|
+
expect(meta?.dependencyTaskIds).toEqual(['evaluator-1']);
|
|
142
|
+
expect(meta?.channel).toBe('prompt');
|
|
143
|
+
});
|
|
144
|
+
|
|
145
|
+
it('T-OWNER-RETRY-2: pending intent 同样被 reset — 不得留下可 resume 的旧 effect', async () => {
|
|
146
|
+
await seedNeedsHumanReview({
|
|
147
|
+
runnerDecision: 'needs_revision',
|
|
148
|
+
completionIntent: intent('pending'),
|
|
149
|
+
});
|
|
150
|
+
|
|
151
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
152
|
+
|
|
153
|
+
expect(jsonOutput().status).toBe('requeued');
|
|
154
|
+
const task = await readTask();
|
|
155
|
+
expect(task?.status).toBe('pending');
|
|
156
|
+
const meta = await readMeta();
|
|
157
|
+
expect(meta?.completionIntent).toBeUndefined();
|
|
158
|
+
expect(meta?.runnerDecision).toBeUndefined();
|
|
159
|
+
});
|
|
160
|
+
|
|
161
|
+
it('T-OWNER-RETRY-3: revision budget 证据不动 — rolloutRevisionPayload iteration / revisionCount 保留', async () => {
|
|
162
|
+
await seedNeedsHumanReview({
|
|
163
|
+
runnerDecision: 'needs_revision',
|
|
164
|
+
completionIntent: intent('applied'),
|
|
165
|
+
revisionCount: 1,
|
|
166
|
+
revisionCauseId: `rollout-${TASK_ID}-r2`,
|
|
167
|
+
rolloutRevisionPayload: revisionPayload(),
|
|
168
|
+
});
|
|
169
|
+
|
|
170
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
171
|
+
|
|
172
|
+
const meta = await readMeta();
|
|
173
|
+
// authority 被 reset
|
|
174
|
+
expect(meta?.completionIntent).toBeUndefined();
|
|
175
|
+
expect(meta?.runnerDecision).toBeUndefined();
|
|
176
|
+
// machine revision budget 原样保留 — Owner retry 只 reset authority
|
|
177
|
+
expect(meta?.revisionCount).toBe(1);
|
|
178
|
+
expect(meta?.revisionCauseId).toBe(`rollout-${TASK_ID}-r2`);
|
|
179
|
+
expect(meta?.rolloutRevisionPayload?.revisionIteration).toBe(2);
|
|
180
|
+
expect(meta?.rolloutRevisionPayload?.status).toBe('applied');
|
|
181
|
+
});
|
|
182
|
+
|
|
183
|
+
it('T-OWNER-RETRY-4: dry-run(无 --confirm)完全不落库', async () => {
|
|
184
|
+
await seedNeedsHumanReview({
|
|
185
|
+
runnerDecision: 'needs_revision',
|
|
186
|
+
completionIntent: intent('applied'),
|
|
187
|
+
rolloutRevisionPayload: revisionPayload(),
|
|
188
|
+
});
|
|
189
|
+
|
|
190
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, json: true });
|
|
191
|
+
|
|
192
|
+
const out = jsonOutput();
|
|
193
|
+
expect(out.status).toBe('dry_run');
|
|
194
|
+
expect(process.exitCode).toBe(0);
|
|
195
|
+
|
|
196
|
+
const task = await readTask();
|
|
197
|
+
expect(task?.status).toBe('needs_human_review');
|
|
198
|
+
expect(task?.attemptCount).toBe(2);
|
|
199
|
+
const meta = await readMeta();
|
|
200
|
+
expect(meta?.runnerDecision).toBe('needs_revision');
|
|
201
|
+
expect(meta?.completionIntent).toEqual(intent('applied'));
|
|
202
|
+
expect(meta?.rolloutRevisionPayload?.revisionIteration).toBe(2);
|
|
203
|
+
});
|
|
204
|
+
|
|
205
|
+
it('T-OWNER-RETRY-5: confirm 恰一次 updateTask、同 patch 含全部 reset 字段,且不经过 updateTaskDiagnosticJson', async () => {
|
|
206
|
+
await seedNeedsHumanReview({
|
|
207
|
+
runnerDecision: 'needs_revision',
|
|
208
|
+
completionIntent: intent('applied'),
|
|
209
|
+
});
|
|
210
|
+
|
|
211
|
+
const updateTaskSpy = vi.spyOn(RuntimeStateManager.prototype, 'updateTask');
|
|
212
|
+
const diagSpy = vi.spyOn(RuntimeStateManager.prototype, 'updateTaskDiagnosticJson');
|
|
213
|
+
|
|
214
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
215
|
+
|
|
216
|
+
// 恰一次 confirm mutation,且不经过独立的 diagnostic 写
|
|
217
|
+
expect(updateTaskSpy).toHaveBeenCalledTimes(1);
|
|
218
|
+
expect(diagSpy).not.toHaveBeenCalled();
|
|
219
|
+
|
|
220
|
+
const patch = updateTaskSpy.mock.calls[0][1];
|
|
221
|
+
expect(patch.status).toBe('pending');
|
|
222
|
+
expect(patch.attemptCount).toBe(0);
|
|
223
|
+
// 同一 diagnosticJson 内 authority 已清空
|
|
224
|
+
const envelope = JSON.parse(patch.diagnosticJson as string) as { pi_metadata: Record<string, unknown> };
|
|
225
|
+
expect(Object.hasOwn(envelope.pi_metadata, 'runnerDecision')).toBe(false);
|
|
226
|
+
expect(Object.hasOwn(envelope.pi_metadata, 'completionIntent')).toBe(false);
|
|
227
|
+
});
|
|
228
|
+
|
|
229
|
+
it('T-OWNER-RETRY-5b: 单一 updateTask 抛错 → DB 行保持原样,无 partial reset', async () => {
|
|
230
|
+
await seedNeedsHumanReview({
|
|
231
|
+
runnerDecision: 'needs_revision',
|
|
232
|
+
completionIntent: intent('applied'),
|
|
233
|
+
});
|
|
234
|
+
|
|
235
|
+
const updateTaskSpy = vi.spyOn(RuntimeStateManager.prototype, 'updateTask')
|
|
236
|
+
.mockRejectedValueOnce(new Error('injected update failure'));
|
|
237
|
+
|
|
238
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
239
|
+
|
|
240
|
+
expect(updateTaskSpy).toHaveBeenCalledTimes(1);
|
|
241
|
+
const out = jsonOutput();
|
|
242
|
+
expect(out.status).toBe('failed');
|
|
243
|
+
expect(process.exitCode).toBe(1);
|
|
244
|
+
|
|
245
|
+
// 原行完整保留: 仍 needs_human_review + 原 runnerDecision + 原 completionIntent
|
|
246
|
+
const task = await readTask();
|
|
247
|
+
expect(task?.status).toBe('needs_human_review');
|
|
248
|
+
const meta = await readMeta();
|
|
249
|
+
expect(meta?.runnerDecision).toBe('needs_revision');
|
|
250
|
+
expect(meta?.completionIntent).toEqual(intent('applied'));
|
|
251
|
+
});
|
|
252
|
+
|
|
253
|
+
it('fail-closed: metadata 不可 hydrate → metadata_invalid,不得只改 status 产生 partial retry', async () => {
|
|
254
|
+
// diagnosticJson 不是合法 pi_metadata(损坏/缺字段)
|
|
255
|
+
await seedNeedsHumanReview({}, JSON.stringify({ note: 'not pi metadata' }));
|
|
256
|
+
|
|
257
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
258
|
+
|
|
259
|
+
const out = jsonOutput();
|
|
260
|
+
expect(out.status).toBe('failed');
|
|
261
|
+
expect(out.reason).toBe('metadata_invalid');
|
|
262
|
+
expect(process.exitCode).toBe(1);
|
|
263
|
+
|
|
264
|
+
// 行未被动过 — 没有 "status 翻了但 authority 记录留在损坏 metadata 里" 的窗口
|
|
265
|
+
const task = await readTask();
|
|
266
|
+
expect(task?.status).toBe('needs_human_review');
|
|
267
|
+
expect(task?.attemptCount).toBe(2);
|
|
268
|
+
});
|
|
269
|
+
});
|
|
270
|
+
|
|
271
|
+
// ── 真实 Runner 后半段 (T-OWNER-RETRY-1/2 spec): retry 后新一轮 LLM verdict
|
|
272
|
+
// 成为 authority — 不得 resume/finalize 旧 intent。镜像 principles-core
|
|
273
|
+
// verdict-drift-regressions 的 proven 搭建 (真实 RolloutReviewerRunner + 真实 store)。
|
|
274
|
+
|
|
275
|
+
function rolloutOutput(decision: 'approve_rollout' | 'needs_revision'): RolloutReviewerOutputV1 {
|
|
276
|
+
return {
|
|
277
|
+
taskId: TASK_ID, sourceEvaluatorArtifactId: EVAL_ART,
|
|
278
|
+
review: { decision, summary: 'owner-retry', confidence: 0.9, requiredChanges: [], rolloutRisks: [], safetyChecks: [] },
|
|
279
|
+
sourceTrace: { evaluatorArtifactId: EVAL_ART }, risks: [], generatedAt: new Date().toISOString(),
|
|
280
|
+
};
|
|
281
|
+
}
|
|
282
|
+
|
|
283
|
+
/** 带 LLM 调用计数的 scripted adapter */
|
|
284
|
+
function scriptedAdapter(payload: unknown, spy: { llmCalls: number }, runId: string): PDRuntimeAdapter {
|
|
285
|
+
return {
|
|
286
|
+
startRun: async () => { spy.llmCalls += 1; return { runId, runtimeKind: 'test-double', startedAt: new Date().toISOString() }; },
|
|
287
|
+
pollRun: async () => ({ status: 'succeeded', runId }),
|
|
288
|
+
fetchOutput: async () => ({ runId, payload }),
|
|
289
|
+
cancelRun: async () => undefined,
|
|
290
|
+
} as unknown as PDRuntimeAdapter;
|
|
291
|
+
}
|
|
292
|
+
|
|
293
|
+
async function seedRunnerLineage(): Promise<void> {
|
|
294
|
+
// 依赖链 scribe ← artificer ← evaluator: dispatch 候选解析沿此 BFS
|
|
295
|
+
const chain: readonly [string, string, string[]][] = [
|
|
296
|
+
[SCRIBE_ID, 'scribe', []],
|
|
297
|
+
[ARTIFICER_ID, 'artificer', [SCRIBE_ID]],
|
|
298
|
+
[EVAL_ID, 'evaluator', [ARTIFICER_ID]],
|
|
299
|
+
];
|
|
300
|
+
for (const [id, kind, deps] of chain) {
|
|
301
|
+
await stateManager.createTask({
|
|
302
|
+
taskId: id, taskKind: kind, status: 'pending', attemptCount: 0, maxAttempts: 3,
|
|
303
|
+
diagnosticJson: createPITaskDiagnosticJson({
|
|
304
|
+
dependencyTaskIds: deps, channel: 'prompt', timeoutMs: 300_000,
|
|
305
|
+
inputArtifactRefs: [], outputArtifactRefs: [], correlationId: 'owner-retry',
|
|
306
|
+
}),
|
|
307
|
+
});
|
|
308
|
+
await stateManager.acquireLease({ taskId: id, owner: 'owner-retry', runtimeKind: 'test-double' });
|
|
309
|
+
await stateManager.markTaskSucceeded(id);
|
|
310
|
+
}
|
|
311
|
+
// evaluator 的 principle artifact — rollout buildContext 经 dependency 解析
|
|
312
|
+
await stateManager.piArtifactStore.upsertArtifact({
|
|
313
|
+
artifactId: EVAL_ART, artifactKind: 'principle', sourceTaskId: EVAL_ID,
|
|
314
|
+
lineageArtifactIds: [], validationStatus: 'pending',
|
|
315
|
+
contentJson: JSON.stringify({ evaluation: { decision: 'approved', score: 0.9, strengths: [], concerns: [], requiredChanges: [] } }),
|
|
316
|
+
createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
|
|
317
|
+
});
|
|
318
|
+
// scribe 的 validated principle — prompt 渠道唯一合法 activation 候选
|
|
319
|
+
await stateManager.piArtifactStore.upsertArtifact({
|
|
320
|
+
artifactId: SCRIBE_ART, artifactKind: 'principle', sourceTaskId: SCRIBE_ID,
|
|
321
|
+
lineageArtifactIds: [], validationStatus: 'validated',
|
|
322
|
+
contentJson: JSON.stringify({ principleId: 'owner-retry-p', text: '原则', principleDraft: { title: 'owner-retry-p', statement: '原则' } }),
|
|
323
|
+
createdAt: new Date().toISOString(), updatedAt: new Date().toISOString(),
|
|
324
|
+
});
|
|
325
|
+
}
|
|
326
|
+
|
|
327
|
+
/**
|
|
328
|
+
* 构造 budget-exhausted 终态: rollout needs_human_review + applied/pending
|
|
329
|
+
* intent (effect=needs_human_review) + revision budget 证据 (iteration 2)。
|
|
330
|
+
* applied = 正常完成后的 Owner 审核态;pending = needs_human_review 已写、
|
|
331
|
+
* intent applied 写失败前的 crash 窗口 (T6b 中段)。
|
|
332
|
+
*/
|
|
333
|
+
async function craftOwnerReviewState(intentStatus: 'applied' | 'pending'): Promise<void> {
|
|
334
|
+
await seedRunnerLineage();
|
|
335
|
+
await stateManager.createTask({
|
|
336
|
+
taskId: TASK_ID, taskKind: 'rollout_reviewer', status: 'pending', attemptCount: 0, maxAttempts: 3,
|
|
337
|
+
diagnosticJson: createPITaskDiagnosticJson({
|
|
338
|
+
dependencyTaskIds: [EVAL_ID], channel: 'prompt', timeoutMs: 300_000,
|
|
339
|
+
inputArtifactRefs: [], outputArtifactRefs: [], correlationId: 'owner-retry',
|
|
340
|
+
}),
|
|
341
|
+
});
|
|
342
|
+
await stateManager.acquireLease({ taskId: TASK_ID, owner: 'owner-retry', runtimeKind: 'test-double' });
|
|
343
|
+
const runs = await stateManager.getRunsByTask(TASK_ID);
|
|
344
|
+
const runId = runs[runs.length - 1]?.runId;
|
|
345
|
+
if (!runId) throw new Error('craft: no run row');
|
|
346
|
+
await stateManager.updateRunOutput(runId, JSON.stringify(rolloutOutput('needs_revision')));
|
|
347
|
+
const raw = await readTask();
|
|
348
|
+
const pi = raw ? hydratePITaskRecord(raw) : null;
|
|
349
|
+
if (!pi) throw new Error('craft: not hydratable');
|
|
350
|
+
const payload: RolloutRevisionPayload = {
|
|
351
|
+
requiredChanges: ['前两轮'], revisionIteration: 2, sourceRolloutTaskId: TASK_ID,
|
|
352
|
+
sourceArtifactId: EVAL_ART, targetTaskKind: 'scribe', status: 'applied',
|
|
353
|
+
};
|
|
354
|
+
await stateManager.updateTaskDiagnosticJson(TASK_ID, createPITaskDiagnosticJson(mergePITaskMetadata(pi, {
|
|
355
|
+
runnerDecision: 'needs_revision',
|
|
356
|
+
revisionCount: 1,
|
|
357
|
+
rolloutRevisionPayload: payload,
|
|
358
|
+
completionIntent: {
|
|
359
|
+
decision: 'needs_revision', sourceRunId: runId, revisionEpoch: 1,
|
|
360
|
+
status: intentStatus, effect: 'needs_human_review',
|
|
361
|
+
},
|
|
362
|
+
})));
|
|
363
|
+
await stateManager.updateTask(TASK_ID, { status: 'needs_human_review', attemptCount: 2 });
|
|
364
|
+
}
|
|
365
|
+
|
|
366
|
+
function makeRolloutRunner(adapter: PDRuntimeAdapter, dispatch: (input: { artifactId: string }) => Promise<{ decision: string; activationId?: string }>): RolloutReviewerRunner {
|
|
367
|
+
return new RolloutReviewerRunner({
|
|
368
|
+
stateManager, runtimeAdapter: adapter, eventEmitter: storeEmitter,
|
|
369
|
+
artifactStore: stateManager.piArtifactStore,
|
|
370
|
+
validator: new DefaultRolloutReviewerValidator(),
|
|
371
|
+
dispatchActivation: dispatch,
|
|
372
|
+
reopenRevisionTarget: async () => { throw new Error('owner-retry: reopen must not be called'); },
|
|
373
|
+
}, { owner: 'owner-retry', runtimeKind: 'test-double', pollIntervalMs: 5, timeoutMs: 5_000 });
|
|
374
|
+
}
|
|
375
|
+
|
|
376
|
+
describe('T-OWNER-RETRY — retry 后真实 Runner: 新 LLM verdict 成为 authority', () => {
|
|
377
|
+
it('T-OWNER-RETRY-1(runner): applied intent 被 Owner retry 清除后,LLM calls=1、新 verdict=approve_rollout 生效,不得 finalize 旧 intent', async () => {
|
|
378
|
+
await craftOwnerReviewState('applied');
|
|
379
|
+
|
|
380
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
381
|
+
expect(jsonOutput().status).toBe('requeued');
|
|
382
|
+
|
|
383
|
+
const spy = { llmCalls: 0 };
|
|
384
|
+
const dispatchCalls: string[] = [];
|
|
385
|
+
const runner = makeRolloutRunner(
|
|
386
|
+
scriptedAdapter(rolloutOutput('approve_rollout'), spy, 'run-owner-retry-2'),
|
|
387
|
+
async (input) => { dispatchCalls.push(input.artifactId); return { decision: 'activated', activationId: 'act-owner-retry' }; },
|
|
388
|
+
);
|
|
389
|
+
|
|
390
|
+
const result = await runner.run(TASK_ID);
|
|
391
|
+
expect(result.status).toBe('succeeded');
|
|
392
|
+
|
|
393
|
+
// 新一轮 LLM 真的运行了 (若旧 intent 被 finalize/resume,这里必须是 0)
|
|
394
|
+
expect(spy.llmCalls).toBe(1);
|
|
395
|
+
// 新 verdict 成为 authority
|
|
396
|
+
expect((await readTask())?.status).toBe('succeeded');
|
|
397
|
+
const meta = await readMeta();
|
|
398
|
+
expect(meta?.runnerDecision).toBe('approve_rollout');
|
|
399
|
+
expect(meta?.completionIntent?.decision).toBe('approve_rollout');
|
|
400
|
+
expect(meta?.completionIntent?.status).toBe('applied');
|
|
401
|
+
// approve_rollout 被 dispatch (finalizeAppliedIntentTerminal(oldIntent) 只会
|
|
402
|
+
// 重写 needs_human_review 且零 dispatch)
|
|
403
|
+
expect(dispatchCalls).toEqual([SCRIBE_ART]);
|
|
404
|
+
// revision budget 未被偷偷 reset
|
|
405
|
+
expect(meta?.rolloutRevisionPayload?.revisionIteration).toBe(2);
|
|
406
|
+
expect(meta?.revisionCount).toBe(1);
|
|
407
|
+
});
|
|
408
|
+
|
|
409
|
+
it('T-OWNER-RETRY-2(runner): pending intent 被 Owner retry 清除后,下一次 run 不得 resume 旧 effect (LLM calls=1)', async () => {
|
|
410
|
+
await craftOwnerReviewState('pending');
|
|
411
|
+
|
|
412
|
+
await handleRuntimeInternalizationRetry({ workspace: workspaceDir, taskId: TASK_ID, confirm: true, json: true });
|
|
413
|
+
expect(jsonOutput().status).toBe('requeued');
|
|
414
|
+
|
|
415
|
+
const spy = { llmCalls: 0 };
|
|
416
|
+
const dispatchCalls: string[] = [];
|
|
417
|
+
const runner = makeRolloutRunner(
|
|
418
|
+
scriptedAdapter(rolloutOutput('approve_rollout'), spy, 'run-owner-retry-3'),
|
|
419
|
+
async (input) => { dispatchCalls.push(input.artifactId); return { decision: 'activated', activationId: 'act-owner-retry-2' }; },
|
|
420
|
+
);
|
|
421
|
+
|
|
422
|
+
const result = await runner.run(TASK_ID);
|
|
423
|
+
expect(result.status).toBe('succeeded');
|
|
424
|
+
|
|
425
|
+
// pending intent 若残留,入口门会零 LLM resume 旧 needs_revision effect
|
|
426
|
+
expect(spy.llmCalls).toBe(1);
|
|
427
|
+
const meta = await readMeta();
|
|
428
|
+
expect(meta?.runnerDecision).toBe('approve_rollout');
|
|
429
|
+
expect(dispatchCalls).toEqual([SCRIBE_ART]);
|
|
430
|
+
});
|
|
431
|
+
});
|
|
@@ -416,8 +416,8 @@ describe('Cross-Package Acceptance Test (PRI-408 P1/P2 fixes) — unsplippable c
|
|
|
416
416
|
// undefined (no block) for shadow activations, even for /etc/passwd.
|
|
417
417
|
const makeRuleHostInput = (targetPath: string): RuleHostInput => ({
|
|
418
418
|
action: { toolName: 'write_file', normalizedPath: targetPath, paramsSummary: { path: targetPath } },
|
|
419
|
-
workspace: { isRiskPath: targetPath.startsWith('/etc')
|
|
420
|
-
session: { currentGfi: 0
|
|
419
|
+
workspace: { isRiskPath: targetPath.startsWith('/etc') },
|
|
420
|
+
session: { currentGfi: 0 },
|
|
421
421
|
evolution: { epTier: 0 },
|
|
422
422
|
derived: { estimatedLineChanges: 1, bashRisk: 'safe' },
|
|
423
423
|
});
|
|
@@ -108,8 +108,8 @@ function makeRuleHostInput(estimatedLineChanges = 0): RuleHostInput {
|
|
|
108
108
|
normalizedPath: '/workspace/a.ts',
|
|
109
109
|
paramsSummary: {},
|
|
110
110
|
},
|
|
111
|
-
workspace: { isRiskPath: false
|
|
112
|
-
session: { currentGfi: 0
|
|
111
|
+
workspace: { isRiskPath: false },
|
|
112
|
+
session: { currentGfi: 0 },
|
|
113
113
|
evolution: { epTier: 0 },
|
|
114
114
|
derived: { estimatedLineChanges, bashRisk: 'safe' },
|
|
115
115
|
};
|