harness-engineering-agent 0.3.28 → 0.3.29
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/README.md +3 -0
- package/dist/controller/agent-output-contracts.d.ts +16 -0
- package/dist/controller/agent-output-contracts.d.ts.map +1 -1
- package/dist/controller/agent-output.d.ts.map +1 -1
- package/dist/controller/agent-output.js +48 -1
- package/dist/controller/agent-output.js.map +1 -1
- package/dist/controller/agent-session.d.ts +2 -0
- package/dist/controller/agent-session.d.ts.map +1 -1
- package/dist/controller/agent-session.js +1 -0
- package/dist/controller/agent-session.js.map +1 -1
- package/dist/controller/contracts.d.ts +5 -0
- package/dist/controller/contracts.d.ts.map +1 -1
- package/dist/controller/planner-context-contract.d.ts +12 -0
- package/dist/controller/planner-context-contract.d.ts.map +1 -1
- package/dist/controller/run-controller.d.ts.map +1 -1
- package/dist/controller/run-controller.js +30 -1
- package/dist/controller/run-controller.js.map +1 -1
- package/dist/controller/run-persistence.d.ts +1 -1
- package/dist/controller/run-persistence.d.ts.map +1 -1
- package/dist/controller/run-persistence.js +14 -12
- package/dist/controller/run-persistence.js.map +1 -1
- package/dist/controller/run-stage-projection.d.ts +13 -0
- package/dist/controller/run-stage-projection.d.ts.map +1 -1
- package/dist/controller/run-stage-projection.js +35 -0
- package/dist/controller/run-stage-projection.js.map +1 -1
- package/dist/controller/task-agent-schemas.d.ts +20 -0
- package/dist/controller/task-agent-schemas.d.ts.map +1 -1
- package/dist/controller/task-graph-contract.d.ts +1 -0
- package/dist/controller/task-graph-contract.d.ts.map +1 -1
- package/dist/controller/task-graph-contract.js +1 -0
- package/dist/controller/task-graph-contract.js.map +1 -1
- package/dist/domain/context-package.d.ts +4 -0
- package/dist/domain/context-package.d.ts.map +1 -1
- package/dist/domain/context-package.js +8 -0
- package/dist/domain/context-package.js.map +1 -1
- package/dist/domain/index.d.ts +1 -1
- package/dist/domain/index.d.ts.map +1 -1
- package/dist/domain/index.js +1 -1
- package/dist/domain/index.js.map +1 -1
- package/dist/domain/plan-artifacts.d.ts +8 -0
- package/dist/domain/plan-artifacts.d.ts.map +1 -1
- package/dist/domain/report.d.ts +32 -0
- package/dist/domain/report.d.ts.map +1 -1
- package/dist/domain/requirement.d.ts +17 -0
- package/dist/domain/requirement.d.ts.map +1 -1
- package/dist/domain/requirement.js +10 -0
- package/dist/domain/requirement.js.map +1 -1
- package/dist/domain/run.d.ts +32 -0
- package/dist/domain/run.d.ts.map +1 -1
- package/dist/plugin/harness-escalate-tool.d.ts.map +1 -1
- package/dist/plugin/harness-escalate-tool.js +11 -2
- package/dist/plugin/harness-escalate-tool.js.map +1 -1
- package/dist/plugin/harness-intent.d.ts +12 -0
- package/dist/plugin/harness-intent.d.ts.map +1 -1
- package/dist/plugin/harness-intent.js +2 -1
- package/dist/plugin/harness-intent.js.map +1 -1
- package/dist/plugin/harness-plugin-runtime.d.ts +1 -0
- package/dist/plugin/harness-plugin-runtime.d.ts.map +1 -1
- package/dist/plugin/harness-plugin-runtime.js +39 -7
- package/dist/plugin/harness-plugin-runtime.js.map +1 -1
- package/dist/plugin/harness-plugin-scheduler.d.ts +7 -2
- package/dist/plugin/harness-plugin-scheduler.d.ts.map +1 -1
- package/dist/plugin/harness-plugin-scheduler.js +4 -2
- package/dist/plugin/harness-plugin-scheduler.js.map +1 -1
- package/dist/plugin/harness-requirement.d.ts.map +1 -1
- package/dist/plugin/harness-requirement.js +4 -0
- package/dist/plugin/harness-requirement.js.map +1 -1
- package/dist/store/pending-start.d.ts +4 -0
- package/dist/store/pending-start.d.ts.map +1 -1
- package/dist/store/run-event.d.ts +32 -0
- package/dist/store/run-event.d.ts.map +1 -1
- package/package.json +1 -1
|
@@ -17,29 +17,31 @@ export const createRunPersistence = (options) => {
|
|
|
17
17
|
};
|
|
18
18
|
return {
|
|
19
19
|
createEvent,
|
|
20
|
-
persist(run, event) {
|
|
21
|
-
const
|
|
22
|
-
...
|
|
23
|
-
idempotencyKey:
|
|
20
|
+
persist(run, event, ...extraEvents) {
|
|
21
|
+
const committedEvents = [event, ...extraEvents].map((candidate) => ({
|
|
22
|
+
...candidate,
|
|
23
|
+
idempotencyKey: candidate.idempotencyKey ?? candidate.eventId,
|
|
24
24
|
state: createEventStateSnapshot(run),
|
|
25
|
-
};
|
|
25
|
+
}));
|
|
26
|
+
const lastCommittedEvent = committedEvents.at(-1);
|
|
26
27
|
const previousOperation = writeChain;
|
|
27
28
|
const operation = (async () => {
|
|
28
29
|
if (previousOperation !== undefined) {
|
|
29
30
|
await previousOperation;
|
|
30
31
|
}
|
|
31
32
|
const knownKeys = persistedIdempotencyKeys.get(run.runId) ?? new Set();
|
|
32
|
-
|
|
33
|
-
await options.store.saveState(run, committedEvent.eventId);
|
|
34
|
-
return;
|
|
35
|
-
}
|
|
33
|
+
const pendingEvents = committedEvents.filter((committed) => !knownKeys.has(committed.idempotencyKey ?? committed.eventId));
|
|
36
34
|
if (!bootstrapSnapshotRunIds.has(run.runId)) {
|
|
37
35
|
await options.store.saveState(run);
|
|
38
36
|
bootstrapSnapshotRunIds.add(run.runId);
|
|
39
37
|
}
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
38
|
+
if (pendingEvents.length > 0) {
|
|
39
|
+
await options.store.appendEvents(run.runId, pendingEvents);
|
|
40
|
+
}
|
|
41
|
+
await options.store.saveState(run, lastCommittedEvent?.eventId);
|
|
42
|
+
for (const committed of pendingEvents) {
|
|
43
|
+
knownKeys.add(committed.idempotencyKey ?? committed.eventId);
|
|
44
|
+
}
|
|
43
45
|
persistedIdempotencyKeys.set(run.runId, knownKeys);
|
|
44
46
|
})();
|
|
45
47
|
writeChain = operation.catch(() => undefined);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"run-persistence.js","sourceRoot":"","sources":["../../src/controller/run-persistence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;
|
|
1
|
+
{"version":3,"file":"run-persistence.js","sourceRoot":"","sources":["../../src/controller/run-persistence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAqBxC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAA8B,EAAkB,EAAE;IACrF,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAS,CAAA;IAChD,IAAI,UAAqC,CAAA;IACzC,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAsB,CAAA;IAE9D,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,IAAY,EAAE,OAA4B,EAAY,EAAE;QACzF,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;QAChE,OAAO;YACL,aAAa,EAAE,OAAO;YACtB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,SAAS,WAAW,EAAE,CAAC;YAC1D,cAAc,EAAE,eAAe,WAAW,EAAE;YAC5C,KAAK;YACL,IAAI;YACJ,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;YAC5C,OAAO;SACR,CAAA;IACH,CAAC,CAAA;IAED,OAAO;QACL,WAAW;QACX,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,WAAW;YAChC,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,CAAC,GAAG,CACjD,CAAC,SAAS,EAAY,EAAE,CAAC,CAAC;gBACxB,GAAG,SAAS;gBACZ,cAAc,EAAE,SAAS,CAAC,cAAc,IAAI,SAAS,CAAC,OAAO;gBAC7D,KAAK,EAAE,wBAAwB,CAAC,GAAG,CAAC;aACrC,CAAC,CACH,CAAA;YACD,MAAM,kBAAkB,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;YACjD,MAAM,iBAAiB,GAAG,UAAU,CAAA;YACpC,MAAM,SAAS,GAAG,CAAC,KAAK,IAAI,EAAE;gBAC5B,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;oBACpC,MAAM,iBAAiB,CAAA;gBACzB,CAAC;gBACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;gBAC9E,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAC1C,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,SAAS,CAAC,OAAO,CAAC,CAC7E,CAAA;gBACD,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5C,MAAM,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;oBAClC,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACxC,CAAC;gBACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,MAAM,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAA;gBAC5D,CAAC;gBACD,MAAM,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,kBAAkB,EAAE,OAAO,CAAC,CAAA;gBAC/D,KAAK,MAAM,SAAS,IAAI,aAAa,EAAE,CAAC;oBACtC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,IAAI,SAAS,CAAC,OAAO,CAAC,CAAA;gBAC9D,CAAC;gBACD,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;YACpD,CAAC,CAAC,EAAE,CAAA;YACJ,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAA;YAC7C,OAAO,SAAS,CAAA;QAClB,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,CAAC,GAAQ,EAAO,EAAE,CAAC,CAAC;IACnD,GAAG,GAAG;IACN,SAAS,EAAE;QACT,GAAG,GAAG,CAAC,SAAS;QAChB,GAAG,EAAE;YACH,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG;YACpB,iBAAiB,EAAE,EAAE;SACtB;KACF;CACF,CAAC,CAAA;AAEF,MAAM,sBAAsB,GAAG,CAC7B,KAAY,EACZ,IAAY,EACZ,OAA4B,EACpB,EAAE;IACV,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC;SAC9B,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,KAAK,CAAC;SACb,MAAM,CAAC,IAAI,CAAC;SACZ,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;SAChC,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACf,OAAO,GAAG,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAA;AACxD,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAA0B,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;AAEpG,MAAM,aAAa,GAAG,CAAC,KAA0B,EAAuB,EAAE;IACxE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;IACjC,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SACtB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;SAChD,MAAM,CAAsC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QAC3D,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,aAAa,CAAC,CAAA;QAC5C,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,EAAE,EAAE,CAAC,CAAA;AACV,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CACnB,KAA0B,EACgC,EAAE,CAC5D,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA"}
|
|
@@ -7,6 +7,18 @@ export type RunStageEntry = {
|
|
|
7
7
|
readonly taskId?: string;
|
|
8
8
|
readonly taskOutcome?: "started" | "completed" | "failed";
|
|
9
9
|
};
|
|
10
|
+
/** 子 agent 阶段产出摘要（来自最近的 run.stage.progress 事件） */
|
|
11
|
+
export type AgentProgressEntry = {
|
|
12
|
+
readonly role: string;
|
|
13
|
+
readonly phase: string;
|
|
14
|
+
readonly summaryText: string;
|
|
15
|
+
readonly refutations: readonly {
|
|
16
|
+
claim: string;
|
|
17
|
+
evidenceSummary: string;
|
|
18
|
+
}[];
|
|
19
|
+
};
|
|
20
|
+
/** 提取事件流中最近一条 run.stage.progress 摘要；不存在时返回 undefined */
|
|
21
|
+
export declare const latestAgentProgress: (events: readonly RunEvent[]) => AgentProgressEntry | undefined;
|
|
10
22
|
/**
|
|
11
23
|
* 将 run store 事件流折叠为带时间戳的阶段/任务投影序列。
|
|
12
24
|
* 任务级 started/completed/failed 在投影中以 taskOutcome 区分；心跳与租约事件不进入投影。
|
|
@@ -27,6 +39,7 @@ export type RunStatusSnapshot = {
|
|
|
27
39
|
readonly reasons: readonly string[];
|
|
28
40
|
} | undefined;
|
|
29
41
|
readonly stages: readonly RunStageEntry[];
|
|
42
|
+
readonly agentProgress?: AgentProgressEntry | undefined;
|
|
30
43
|
};
|
|
31
44
|
/** 从已加载的 run 状态与事件流构造 run_status 查询快照。 */
|
|
32
45
|
export declare const deriveRunStatusSnapshot: (run: Run, events: readonly RunEvent[]) => RunStatusSnapshot;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"run-stage-projection.d.ts","sourceRoot":"","sources":["../../src/controller/run-stage-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAE3D,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAA;CAC1D,CAAA;AA+
|
|
1
|
+
{"version":3,"file":"run-stage-projection.d.ts","sourceRoot":"","sources":["../../src/controller/run-stage-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAE3D,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAA;CAC1D,CAAA;AAED,kDAAkD;AAClD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,eAAe,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAC5E,CAAA;AA+CD,wDAAwD;AACxD,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,SAAS,QAAQ,EAAE,KAC1B,kBAAkB,GAAG,SAWvB,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,SAAS,QAAQ,EAAE,KAAG,SAAS,aAAa,EA+BpF,CAAA;AAED,eAAO,MAAM,oBAAoB,GAAI,QAAQ,SAAS,QAAQ,EAAE,KAAG,MAAM,GAAG,SAClD,CAAA;AAE1B,eAAO,MAAM,uBAAuB,GAAI,QAAQ,SAAS,QAAQ,EAAE,KAAG,MAAM,GAAG,SAe9E,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3C,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,CAAA;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,QAAQ,CAAC,eAAe,CAAC,EACrB;QACE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;QAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;QAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KACpC,GACD,SAAS,CAAA;IACb,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,kBAAkB,GAAG,SAAS,CAAA;CACxD,CAAA;AAED,0CAA0C;AAC1C,eAAO,MAAM,uBAAuB,GAClC,KAAK,GAAG,EACR,QAAQ,SAAS,QAAQ,EAAE,KAC1B,iBAuCF,CAAA;AAED,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAA;CAAE,GACnF;IACE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,aAAa,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;CAC7F,CAAA;AAEL,eAAO,MAAM,oBAAoB,GAAI,OAAO;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE;mBAC1C,MAAM,KAAG,OAAO,CAAC,cAAc,CAAC;CAoB7D,CAAA;AAED,eAAO,MAAM,sBAAsB,GAAI,OAAO,OAAO,EAAE,OAAO,MAAM,KAAG,OAatE,CAAA"}
|
|
@@ -21,6 +21,37 @@ const readPayloadString = (payload, key) => {
|
|
|
21
21
|
const value = Reflect.get(payload, key);
|
|
22
22
|
return typeof value === "string" ? value : undefined;
|
|
23
23
|
};
|
|
24
|
+
const readPayloadRefutations = (payload) => {
|
|
25
|
+
if (typeof payload !== "object" || payload === null || Array.isArray(payload))
|
|
26
|
+
return [];
|
|
27
|
+
const value = Reflect.get(payload, "refutations");
|
|
28
|
+
if (!Array.isArray(value))
|
|
29
|
+
return [];
|
|
30
|
+
return value.flatMap((item) => {
|
|
31
|
+
if (typeof item !== "object" || item === null)
|
|
32
|
+
return [];
|
|
33
|
+
const claim = Reflect.get(item, "claim");
|
|
34
|
+
const evidenceSummary = Reflect.get(item, "evidenceSummary");
|
|
35
|
+
return typeof claim === "string" && typeof evidenceSummary === "string"
|
|
36
|
+
? [{ claim, evidenceSummary }]
|
|
37
|
+
: [];
|
|
38
|
+
});
|
|
39
|
+
};
|
|
40
|
+
/** 提取事件流中最近一条 run.stage.progress 摘要；不存在时返回 undefined */
|
|
41
|
+
export const latestAgentProgress = (events) => {
|
|
42
|
+
for (let index = events.length - 1; index >= 0; index -= 1) {
|
|
43
|
+
const event = events[index];
|
|
44
|
+
if (event?.type !== "run.stage.progress")
|
|
45
|
+
continue;
|
|
46
|
+
const role = readPayloadString(event.payload, "role");
|
|
47
|
+
const phase = readPayloadString(event.payload, "phase");
|
|
48
|
+
const summaryText = readPayloadString(event.payload, "summaryText");
|
|
49
|
+
if (role === undefined || phase === undefined || summaryText === undefined)
|
|
50
|
+
continue;
|
|
51
|
+
return { role, phase, summaryText, refutations: readPayloadRefutations(event.payload) };
|
|
52
|
+
}
|
|
53
|
+
return undefined;
|
|
54
|
+
};
|
|
24
55
|
/**
|
|
25
56
|
* 将 run store 事件流折叠为带时间戳的阶段/任务投影序列。
|
|
26
57
|
* 任务级 started/completed/failed 在投影中以 taskOutcome 区分；心跳与租约事件不进入投影。
|
|
@@ -110,6 +141,10 @@ export const deriveRunStatusSnapshot = (run, events) => {
|
|
|
110
141
|
},
|
|
111
142
|
}),
|
|
112
143
|
stages: projectRunStages(events),
|
|
144
|
+
...(() => {
|
|
145
|
+
const agentProgress = latestAgentProgress(events);
|
|
146
|
+
return agentProgress === undefined ? {} : { agentProgress };
|
|
147
|
+
})(),
|
|
113
148
|
};
|
|
114
149
|
};
|
|
115
150
|
export const createRunStatusQuery = (input) => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"run-stage-projection.js","sourceRoot":"","sources":["../../src/controller/run-stage-projection.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"run-stage-projection.js","sourceRoot":"","sources":["../../src/controller/run-stage-projection.ts"],"names":[],"mappings":"AAmBA,MAAM,kCAAkC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAU,CAAA;AAEnF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,aAAa;IACb,cAAc;IACd,eAAe;IACf,YAAY;IACZ,YAAY;IACZ,eAAe;IACf,eAAe;CAChB,CAAC,CAAA;AAEF,MAAM,qBAAqB,GAA2D;IACpF,cAAc,EAAE,SAAS;IACzB,gBAAgB,EAAE,WAAW;IAC7B,aAAa,EAAE,QAAQ;CACxB,CAAA;AAED,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAW,EAAE,CACxD,kCAAkC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAA;AAE9E,MAAM,iBAAiB,GAAG,CAAC,OAA4B,EAAE,GAAW,EAAsB,EAAE;IAC1F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;IACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACtD,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAC7B,OAA4B,EAC2B,EAAE;IACzD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAA;IACxF,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACpC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,CAAA;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QACxC,MAAM,eAAe,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAA;QAC5D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,eAAe,KAAK,QAAQ;YACrE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;YAC9B,CAAC,CAAC,EAAE,CAAA;IACR,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,wDAAwD;AACxD,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAA2B,EACK,EAAE;IAClC,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;QAC3B,IAAI,KAAK,EAAE,IAAI,KAAK,oBAAoB;YAAE,SAAQ;QAClD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QACrD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,CAAA;QACnE,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS;YAAE,SAAQ;QACpF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAA;IACzF,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAA2B,EAA4B,EAAE;IACxF,MAAM,MAAM,GAAoB,EAAE,CAAA;IAClC,IAAI,YAAuC,CAAA;IAE3C,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAQ,EAAE;QACnD,IAAI,YAAY,KAAK,SAAS;YAAE,OAAM;QACtC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAA;QAC1C,YAAY,GAAG,SAAS,CAAA;IAC1B,CAAC,CAAA;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAQ;QACjD,MAAM,WAAW,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACrD,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACzD,IAAI,WAAW,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACtD,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,KAAK,CAAC,IAAI;gBACjB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,MAAM;gBACN,WAAW;aACZ,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;YAClC,YAAY,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAA;QAClE,CAAC;IACH,CAAC;IACD,IAAI,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IACzD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,MAA2B,EAAsB,EAAE,CACtF,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAA;AAE1B,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,MAA2B,EAAsB,EAAE;IACzF,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,IACE,KAAK,CAAC,IAAI,KAAK,cAAc;YAC7B,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAC/B,KAAK,CAAC,IAAI,KAAK,aAAa,EAC5B,CAAC;YACD,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAA;QACnD,OAAO,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAoBD,0CAA0C;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,GAAQ,EACR,MAA2B,EACR,EAAE;IACrB,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,IAAI,GAAG,CAAC,UAAU,CAAC,kBAAkB,KAAK,IAAI,EAAE,CAAC;QAC/C,QAAQ,CAAC,IAAI,CAAC,qBAAqB,GAAG,CAAC,UAAU,CAAC,kBAAkB,EAAE,CAAC,CAAA;IACzE,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAA;IAClE,CAAC;IACD,IAAI,GAAG,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAA;IAC/D,CAAC;IACD,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,IAAI,WAAW,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC,WAAW,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAA;IAClD,CAAC;IACD,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,KAAK,EAAE,GAAG,CAAC,MAAM;QACjB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,WAAW,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW;YAC1D,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE;YACpD,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7E,QAAQ;QACR,GAAG,CAAC,GAAG,CAAC,eAAe,KAAK,SAAS;YACnC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,eAAe,EAAE;oBACf,UAAU,EAAE,GAAG,CAAC,eAAe,CAAC,UAAU;oBAC1C,UAAU,EAAE,GAAG,CAAC,eAAe,CAAC,UAAU;oBAC1C,OAAO,EAAE,GAAG,CAAC,eAAe,CAAC,OAAO;iBACrC;aACF,CAAC;QACN,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC;QAChC,GAAG,CAAC,GAAG,EAAE;YACP,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAA;YACjD,OAAO,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAA;QAC7D,CAAC,CAAC,EAAE;KACL,CAAA;AACH,CAAC,CAAA;AAUD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAmC,EAAE,EAAE;IAC1E,MAAM,KAAK,GAAG,KAAK,EAAE,KAAa,EAA2B,EAAE;QAC7D,IAAI,GAAQ,CAAA;QACZ,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,KAAqB,CAAC,CAAA;QAC1D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK;gBACL,KAAK,EAAE,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC;oBACzC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,EAAE;oBACxD,CAAC,CAAC;wBACE,IAAI,EAAE,aAAa;wBACnB,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB;qBAC5E;aACN,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAqB,CAAC,CAAA;QAClE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,uBAAuB,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAA;IAC5E,CAAC,CAAA;IACD,OAAO,EAAE,KAAK,EAAE,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAE,KAAa,EAAW,EAAE;IAC/E,IAAI,KAAK,YAAY,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,eAAe,KAAK,EAAE;QAAE,OAAO,IAAI,CAAA;IACvF,IACE,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACd,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAClD,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,KAAK,GAAI,KAAkD,EAAE,KAAK,CAAA;IACxE,OAAO,CACL,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,CAChG,CAAA;AACH,CAAC,CAAA"}
|
|
@@ -225,6 +225,10 @@ export declare const VerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion
|
|
|
225
225
|
routingRationale: z.ZodString;
|
|
226
226
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
227
227
|
}, z.core.$strict>>>;
|
|
228
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
229
|
+
claim: z.ZodString;
|
|
230
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
231
|
+
}, z.core.$strict>>>>;
|
|
228
232
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
229
233
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
230
234
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -365,6 +369,10 @@ export declare const VerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion
|
|
|
365
369
|
question: z.ZodString;
|
|
366
370
|
impact: z.ZodString;
|
|
367
371
|
}, z.core.$strip>>>>;
|
|
372
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
373
|
+
claim: z.ZodString;
|
|
374
|
+
evidenceSummary: z.ZodString;
|
|
375
|
+
}, z.core.$strip>>>>;
|
|
368
376
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
369
377
|
}, z.core.$strip>>;
|
|
370
378
|
coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
@@ -463,6 +471,10 @@ export declare const VerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion
|
|
|
463
471
|
routingRationale: z.ZodString;
|
|
464
472
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
465
473
|
}, z.core.$strict>>>;
|
|
474
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
475
|
+
claim: z.ZodString;
|
|
476
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
477
|
+
}, z.core.$strict>>>>;
|
|
466
478
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
467
479
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
468
480
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -603,6 +615,10 @@ export declare const VerifierOutputSchema: z.ZodReadonly<z.ZodDiscriminatedUnion
|
|
|
603
615
|
question: z.ZodString;
|
|
604
616
|
impact: z.ZodString;
|
|
605
617
|
}, z.core.$strip>>>>;
|
|
618
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
619
|
+
claim: z.ZodString;
|
|
620
|
+
evidenceSummary: z.ZodString;
|
|
621
|
+
}, z.core.$strip>>>>;
|
|
606
622
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
607
623
|
}, z.core.$strip>>;
|
|
608
624
|
coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
@@ -934,6 +950,10 @@ export declare const PlannerContextOutputSchema: z.ZodReadonly<z.ZodDiscriminate
|
|
|
934
950
|
question: z.ZodString;
|
|
935
951
|
impact: z.ZodString;
|
|
936
952
|
}, z.core.$strip>>>>;
|
|
953
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
954
|
+
claim: z.ZodString;
|
|
955
|
+
evidenceSummary: z.ZodString;
|
|
956
|
+
}, z.core.$strip>>>>;
|
|
937
957
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
938
958
|
}, z.core.$strip>>;
|
|
939
959
|
}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-agent-schemas.d.ts","sourceRoot":"","sources":["../../src/controller/task-agent-schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAcvB,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAA;AAQ3E,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAgClB,CAAA;AAEb,eAAO,MAAM,oBAAoB
|
|
1
|
+
{"version":3,"file":"task-agent-schemas.d.ts","sourceRoot":"","sources":["../../src/controller/task-agent-schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAcvB,YAAY,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAA;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAA;AAQ3E,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAgClB,CAAA;AAEb,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBA2DpB,CAAA;AAEb,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAqC9B,CAAA;AAEb,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBAkC1B,CAAA;AAEb,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;sBAkCtB,CAAA;AAEb,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAUxB,CAAA;AAEb,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAC7D,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AACjE,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,8BAA8B,CAAC,CAAA;AACrF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AACrE,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
|
|
@@ -25,6 +25,7 @@ export declare const TaskGraphPlannerContract: {
|
|
|
25
25
|
readonly fromTaskId: "task id";
|
|
26
26
|
readonly toTaskId: "task id";
|
|
27
27
|
};
|
|
28
|
+
readonly dependencies: "per-task prerequisites as an array of taskId strings only; edge objects {fromTaskId, toTaskId} belong exclusively in the top-level edges array";
|
|
28
29
|
readonly evidenceRefs: "existing lowercase kebab-case EvidenceId values only; never paths, line numbers, URLs, symbols, or summaries";
|
|
29
30
|
};
|
|
30
31
|
readonly example: Readonly<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-graph-contract.d.ts","sourceRoot":"","sources":["../../src/controller/task-graph-contract.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AA0ChE,eAAO,MAAM,wBAAwB
|
|
1
|
+
{"version":3,"file":"task-graph-contract.d.ts","sourceRoot":"","sources":["../../src/controller/task-graph-contract.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AA0ChE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0C+B,CAAA;AAEpE,eAAO,MAAM,2BAA2B,QAAO,qBAAqB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAG5F,CAAA"}
|
|
@@ -74,6 +74,7 @@ export const TaskGraphPlannerContract = {
|
|
|
74
74
|
workspaceMutation: "must be forbidden for every Task when requirement.workspaceMutation is forbidden; otherwise use the task's explicit mutation policy",
|
|
75
75
|
retryBudget: { maxAttempts: "non-negative integer", maxRepairAttempts: "non-negative integer" },
|
|
76
76
|
dependencyEdge: { fromTaskId: "task id", toTaskId: "task id" },
|
|
77
|
+
dependencies: "per-task prerequisites as an array of taskId strings only; edge objects {fromTaskId, toTaskId} belong exclusively in the top-level edges array",
|
|
77
78
|
evidenceRefs: "existing lowercase kebab-case EvidenceId values only; never paths, line numbers, URLs, symbols, or summaries",
|
|
78
79
|
},
|
|
79
80
|
example: minimalTaskGraphExample,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"task-graph-contract.js","sourceRoot":"","sources":["../../src/controller/task-graph-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAGhG,MAAM,uBAAuB,GAAG,eAAe,CAAC,KAAK,CAAC;IACpD,aAAa,EAAE,OAAO;IACtB,OAAO,EAAE,eAAe;IACxB,KAAK,EAAE,aAAa;IACpB,OAAO,EAAE,CAAC;IACV,KAAK,EAAE;QACL;YACE,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,cAAc;YACtB,KAAK,EAAE,aAAa;YACpB,cAAc,EAAE,CAAC,qBAAqB,CAAC;YACvC,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,8CAA8C;YACvD,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,CAAC,KAAK,CAAC;YACrB,gBAAgB,EAAE;gBAChB;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,MAAM;oBACf,IAAI,EAAE,CAAC,WAAW,CAAC;oBACnB,gBAAgB,EAAE,GAAG;oBACrB,KAAK,EAAE,MAAM;oBACb,eAAe,EAAE,WAAW;oBAC5B,SAAS,EAAE,MAAM;oBACjB,MAAM,EAAE,SAAS;iBAClB;aACF;YACD,WAAW,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE;YACrD,YAAY,EAAE,EAAE;YAChB,YAAY,EAAE,EAAE;YAChB,iBAAiB,EAAE,QAAQ;YAC3B,iBAAiB,EAAE,OAAO;YAC1B,sBAAsB,EAAE,EAAE;YAC1B,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,SAAS;SAC7B;KACF;IACD,KAAK,EAAE,EAAE;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,aAAa,EAAE,OAAgB;IAC/B,IAAI,EAAE,WAAoB;IAC1B,cAAc,EAAE,CAAC,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC;IAClF,YAAY,EAAE;QACZ,eAAe;QACf,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,OAAO;QACP,SAAS;QACT,QAAQ;QACR,cAAc;QACd,kBAAkB;QAClB,aAAa;QACb,cAAc;QACd,cAAc;QACd,mBAAmB;QACnB,mBAAmB;KACpB;IACD,eAAe,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE,eAAe,CAAC;IACnE,MAAM,EAAE;QACN,UAAU,EAAE,gBAAgB;QAC5B,iBAAiB,EAAE,eAAe;QAClC,iBAAiB,EAAE,uBAAuB;QAC1C,YAAY,EAAE,uDAAuD;QACrE,gBAAgB,EAAE;YAChB,IAAI,EAAE,kBAAkB;YACxB,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,CAAC;YAC1F,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC;YACzC,eAAe,EAAE,CAAC,WAAW,EAAE,iBAAiB,EAAE,sBAAsB,CAAC;SAC1E;QACD,iBAAiB,EACf,qIAAqI;QACvI,WAAW,EAAE,EAAE,WAAW,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE;QAC/F,cAAc,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE;QAC9D,YAAY,EACV,8GAA8G;KACjH;IACD,OAAO,EAAE,uBAAuB;CACkC,CAAA;AAEpE,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAoD,EAAE;IAC/F,eAAe,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAA;IAC9C,OAAO,wBAAwB,CAAA;AACjC,CAAC,CAAA"}
|
|
1
|
+
{"version":3,"file":"task-graph-contract.js","sourceRoot":"","sources":["../../src/controller/task-graph-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAGhG,MAAM,uBAAuB,GAAG,eAAe,CAAC,KAAK,CAAC;IACpD,aAAa,EAAE,OAAO;IACtB,OAAO,EAAE,eAAe;IACxB,KAAK,EAAE,aAAa;IACpB,OAAO,EAAE,CAAC;IACV,KAAK,EAAE;QACL;YACE,aAAa,EAAE,OAAO;YACtB,MAAM,EAAE,cAAc;YACtB,KAAK,EAAE,aAAa;YACpB,cAAc,EAAE,CAAC,qBAAqB,CAAC;YACvC,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,8CAA8C;YACvD,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,CAAC,KAAK,CAAC;YACrB,gBAAgB,EAAE;gBAChB;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,MAAM;oBACf,IAAI,EAAE,CAAC,WAAW,CAAC;oBACnB,gBAAgB,EAAE,GAAG;oBACrB,KAAK,EAAE,MAAM;oBACb,eAAe,EAAE,WAAW;oBAC5B,SAAS,EAAE,MAAM;oBACjB,MAAM,EAAE,SAAS;iBAClB;aACF;YACD,WAAW,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE;YACrD,YAAY,EAAE,EAAE;YAChB,YAAY,EAAE,EAAE;YAChB,iBAAiB,EAAE,QAAQ;YAC3B,iBAAiB,EAAE,OAAO;YAC1B,sBAAsB,EAAE,EAAE;YAC1B,aAAa,EAAE,KAAK;YACpB,iBAAiB,EAAE,SAAS;SAC7B;KACF;IACD,KAAK,EAAE,EAAE;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,aAAa,EAAE,OAAgB;IAC/B,IAAI,EAAE,WAAoB;IAC1B,cAAc,EAAE,CAAC,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC;IAClF,YAAY,EAAE;QACZ,eAAe;QACf,QAAQ;QACR,OAAO;QACP,gBAAgB;QAChB,OAAO;QACP,SAAS;QACT,QAAQ;QACR,cAAc;QACd,kBAAkB;QAClB,aAAa;QACb,cAAc;QACd,cAAc;QACd,mBAAmB;QACnB,mBAAmB;KACpB;IACD,eAAe,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE,eAAe,CAAC;IACnE,MAAM,EAAE;QACN,UAAU,EAAE,gBAAgB;QAC5B,iBAAiB,EAAE,eAAe;QAClC,iBAAiB,EAAE,uBAAuB;QAC1C,YAAY,EAAE,uDAAuD;QACrE,gBAAgB,EAAE;YAChB,IAAI,EAAE,kBAAkB;YACxB,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,CAAC;YAC1F,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC;YACzC,eAAe,EAAE,CAAC,WAAW,EAAE,iBAAiB,EAAE,sBAAsB,CAAC;SAC1E;QACD,iBAAiB,EACf,qIAAqI;QACvI,WAAW,EAAE,EAAE,WAAW,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE;QAC/F,cAAc,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE;QAC9D,YAAY,EACV,gJAAgJ;QAClJ,YAAY,EACV,8GAA8G;KACjH;IACD,OAAO,EAAE,uBAAuB;CACkC,CAAA;AAEpE,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAoD,EAAE;IAC/F,eAAe,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAA;IAC9C,OAAO,wBAAwB,CAAA;AACjC,CAAC,CAAA"}
|
|
@@ -31,6 +31,10 @@ export declare const ContextPackageSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
31
31
|
question: z.ZodString;
|
|
32
32
|
impact: z.ZodString;
|
|
33
33
|
}, z.core.$strip>>>>;
|
|
34
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
35
|
+
claim: z.ZodString;
|
|
36
|
+
evidenceSummary: z.ZodString;
|
|
37
|
+
}, z.core.$strip>>>>;
|
|
34
38
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
35
39
|
}, z.core.$strip>>;
|
|
36
40
|
export type ContextPackage = z.infer<typeof ContextPackageSchema>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"context-package.d.ts","sourceRoot":"","sources":["../../src/domain/context-package.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;
|
|
1
|
+
{"version":3,"file":"context-package.d.ts","sourceRoot":"","sources":["../../src/domain/context-package.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AA+CvB,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAqBpB,CAAA;AAEb,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,oBAAoB,qDAAsD,CAAA;AAEvF,eAAO,MAAM,oBAAoB;;;EAA+B,CAAA;AAEhE,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA"}
|
|
@@ -30,6 +30,13 @@ const UnresolvedQuestionSchema = z
|
|
|
30
30
|
impact: z.string().trim().min(1),
|
|
31
31
|
})
|
|
32
32
|
.readonly();
|
|
33
|
+
/** escalate 假设证伪记录：planner 核实 requirement.hypotheses 后回填 */
|
|
34
|
+
const HypothesisRefutationSchema = z
|
|
35
|
+
.object({
|
|
36
|
+
claim: z.string().trim().min(1),
|
|
37
|
+
evidenceSummary: z.string().trim().min(1),
|
|
38
|
+
})
|
|
39
|
+
.readonly();
|
|
33
40
|
export const ContextPackageSchema = z
|
|
34
41
|
.object({
|
|
35
42
|
schemaVersion: SchemaVersionSchema,
|
|
@@ -46,6 +53,7 @@ export const ContextPackageSchema = z
|
|
|
46
53
|
.readonly(),
|
|
47
54
|
externalReferences: z.array(ExternalReferenceSchema).readonly(),
|
|
48
55
|
unresolvedQuestions: z.array(UnresolvedQuestionSchema).readonly(),
|
|
56
|
+
refutations: z.array(HypothesisRefutationSchema).optional(),
|
|
49
57
|
constraints: z.array(z.string().trim().min(1)).readonly(),
|
|
50
58
|
})
|
|
51
59
|
.readonly();
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"context-package.js","sourceRoot":"","sources":["../../src/domain/context-package.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAA;AACvE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAElG,MAAM,6BAA6B,GAAG;IACpC,IAAI,EAAE,2BAA2B;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACA,CAAA;AAElC,MAAM,6BAA6B,GAAG,CAAC;KACpC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,6BAA6B,EAAE,CAAC;KACrE,QAAQ,EAAE,CAAA;AAEb,MAAM,+BAA+B,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,GAAG,6BAA6B;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,uBAAuB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,UAAU,EAAE,aAAa;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,gBAAgB,EAAE,aAAa;IAC/B,KAAK,EAAE,WAAW;IAClB,aAAa,EAAE,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,oBAAoB,EAAE,CAAC;SACpB,KAAK,CACJ,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;QAC3B,6BAA6B;QAC7B,+BAA+B;KAChC,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,EAAE;IACb,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IAC/D,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC,QAAQ,EAAE;IACjE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC1D,CAAC;KACD,QAAQ,EAAE,CAAA;AAIb,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,cAAc,EAAE,wBAAwB,CAAU,CAAA;AAEvF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA"}
|
|
1
|
+
{"version":3,"file":"context-package.js","sourceRoot":"","sources":["../../src/domain/context-package.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAA;AACvE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAElG,MAAM,6BAA6B,GAAG;IACpC,IAAI,EAAE,2BAA2B;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACA,CAAA;AAElC,MAAM,6BAA6B,GAAG,CAAC;KACpC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,6BAA6B,EAAE,CAAC;KACrE,QAAQ,EAAE,CAAA;AAEb,MAAM,+BAA+B,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,GAAG,6BAA6B;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,uBAAuB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,UAAU,EAAE,aAAa;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACjC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,4DAA4D;AAC5D,MAAM,0BAA0B,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1C,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,gBAAgB,EAAE,aAAa;IAC/B,KAAK,EAAE,WAAW;IAClB,aAAa,EAAE,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,oBAAoB,EAAE,CAAC;SACpB,KAAK,CACJ,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;QAC3B,6BAA6B;QAC7B,+BAA+B;KAChC,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,EAAE;IACb,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC,QAAQ,EAAE;IAC/D,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC,QAAQ,EAAE;IACjE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,QAAQ,EAAE;IAC3D,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC1D,CAAC;KACD,QAAQ,EAAE,CAAA;AAIb,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,cAAc,EAAE,wBAAwB,CAAU,CAAA;AAEvF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA"}
|
package/dist/domain/index.d.ts
CHANGED
|
@@ -21,7 +21,7 @@ export { ProjectContextSchema } from "./project-context.js";
|
|
|
21
21
|
export type { AcceptanceSummary, Report } from "./report.js";
|
|
22
22
|
export { AcceptanceSummarySchema, ReportSchema } from "./report.js";
|
|
23
23
|
export type { Requirement, RequirementInput } from "./requirement.js";
|
|
24
|
-
export { RequirementInputSchema, RequirementPersistenceSchema, RequirementSchema, } from "./requirement.js";
|
|
24
|
+
export { HypothesisSchema, RequirementInputSchema, RequirementPersistenceSchema, RequirementSchema, } from "./requirement.js";
|
|
25
25
|
export type { BlockingDetails, BlockReason, ReflectionSummary, Run, RunActor, RunAnswerRecord, RunBudgetState, RunGovernance, RunPauseRecord, RunWaiverRecord, } from "./run.js";
|
|
26
26
|
export { ReflectionSummarySchema, RunSchema } from "./run.js";
|
|
27
27
|
export type { RunAcceptance } from "./run-acceptance.js";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,GAClB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EACV,mBAAmB,EACnB,qBAAqB,EACrB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,iCAAiC,EACjC,wBAAwB,EACxB,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACV,oBAAoB,EACpB,cAAc,EACd,UAAU,EACV,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,cAAc,GACf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AACjF,YAAY,EACV,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,eAAe,GAChB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAClE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AACrE,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AACtD,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAC3D,YAAY,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AACnE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACrE,OAAO,EACL,sBAAsB,EACtB,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kBAAkB,CAAA;AACzB,YAAY,EACV,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,GAAG,EACH,QAAQ,EACR,eAAe,EACf,cAAc,EACd,aAAa,EACb,cAAc,EACd,eAAe,GAChB,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAC7D,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,YAAY,EACV,mBAAmB,EACnB,qBAAqB,EACrB,UAAU,EACV,iBAAiB,EACjB,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,KAAK,EACL,MAAM,EACN,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,aAAa,CAAA;AACpB,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,uBAAuB,EACvB,UAAU,EACV,wBAAwB,EACxB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,aAAa,CAAA;AACpB,YAAY,EACV,YAAY,EACZ,UAAU,EACV,WAAW,EACX,IAAI,EACJ,SAAS,EACT,mBAAmB,GACpB,MAAM,WAAW,CAAA;AAClB,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,4BAA4B,EAC5B,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,yBAAyB,GAC1B,MAAM,WAAW,CAAA;AAClB,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,GAClB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EACV,mBAAmB,EACnB,qBAAqB,EACrB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,iCAAiC,EACjC,wBAAwB,EACxB,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACV,oBAAoB,EACpB,cAAc,EACd,UAAU,EACV,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,cAAc,GACf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AACxB,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AACjF,YAAY,EACV,qBAAqB,EACrB,WAAW,EACX,eAAe,EACf,eAAe,EACf,cAAc,EACd,eAAe,GAChB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAClE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AACrE,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AACtD,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAC3D,YAAY,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AACnE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACrE,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kBAAkB,CAAA;AACzB,YAAY,EACV,eAAe,EACf,WAAW,EACX,iBAAiB,EACjB,GAAG,EACH,QAAQ,EACR,eAAe,EACf,cAAc,EACd,aAAa,EACb,cAAc,EACd,eAAe,GAChB,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAC7D,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,YAAY,EACV,mBAAmB,EACnB,qBAAqB,EACrB,UAAU,EACV,iBAAiB,EACjB,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,KAAK,EACL,MAAM,EACN,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,aAAa,CAAA;AACpB,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,uBAAuB,EACvB,UAAU,EACV,wBAAwB,EACxB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,aAAa,CAAA;AACpB,YAAY,EACV,YAAY,EACZ,UAAU,EACV,WAAW,EACX,IAAI,EACJ,SAAS,EACT,mBAAmB,GACpB,MAAM,WAAW,CAAA;AAClB,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,4BAA4B,EAC5B,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,yBAAyB,GAC1B,MAAM,WAAW,CAAA;AAClB,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA"}
|
package/dist/domain/index.js
CHANGED
|
@@ -9,7 +9,7 @@ export { FailureSchema } from "./failure.js";
|
|
|
9
9
|
export { PlanReviewSchema } from "./plan-artifacts.js";
|
|
10
10
|
export { ProjectContextSchema } from "./project-context.js";
|
|
11
11
|
export { AcceptanceSummarySchema, ReportSchema } from "./report.js";
|
|
12
|
-
export { RequirementInputSchema, RequirementPersistenceSchema, RequirementSchema, } from "./requirement.js";
|
|
12
|
+
export { HypothesisSchema, RequirementInputSchema, RequirementPersistenceSchema, RequirementSchema, } from "./requirement.js";
|
|
13
13
|
export { ReflectionSummarySchema, RunSchema } from "./run.js";
|
|
14
14
|
export { RunAcceptanceSchema } from "./run-acceptance.js";
|
|
15
15
|
export { AcceptanceCriterionIdSchema, AcceptanceCriterionSchema, AgentRoleSchema, EvidenceIdSchema, EvidenceKindSchema, ExecutionCategorySchema, PathSchema, PlanReviewDecisionSchema, RepositoryIdSchema, RequirementIdSchema, RunIdSchema, RunStatusSchema, SchemaVersionSchema, TaskIdSchema, TaskStatusSchema, WorkspaceDecisionSchema, WorkspaceMutationSchema, } from "./shared.js";
|
package/dist/domain/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAOrD,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,iCAAiC,EACjC,wBAAwB,EACxB,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,oBAAoB,CAAA;AAW3B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AAExB,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AASjF,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAEtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAE3D,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAEnE,OAAO,EACL,sBAAsB,EACtB,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kBAAkB,CAAA;AAazB,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAE7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAczD,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,uBAAuB,EACvB,UAAU,EACV,wBAAwB,EACxB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,aAAa,CAAA;AASpB,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,4BAA4B,EAC5B,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,yBAAyB,GAC1B,MAAM,WAAW,CAAA;AAElB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAOrD,OAAO,EACL,yBAAyB,EACzB,2BAA2B,EAC3B,iCAAiC,EACjC,wBAAwB,EACxB,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,GACnB,MAAM,oBAAoB,CAAA;AAW3B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iBAAiB,CAAA;AAExB,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AASjF,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAEtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAE3D,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAEnE,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EACtB,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,kBAAkB,CAAA;AAazB,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAE7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAczD,OAAO,EACL,2BAA2B,EAC3B,yBAAyB,EACzB,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,uBAAuB,EACvB,UAAU,EACV,wBAAwB,EACxB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,aAAa,CAAA;AASpB,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,4BAA4B,EAC5B,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,yBAAyB,GAC1B,MAAM,WAAW,CAAA;AAElB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA"}
|
|
@@ -58,6 +58,10 @@ export declare const PlanReviewSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
58
58
|
routingRationale: z.ZodString;
|
|
59
59
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
60
60
|
}, z.core.$strict>>>;
|
|
61
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
62
|
+
claim: z.ZodString;
|
|
63
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
64
|
+
}, z.core.$strict>>>>;
|
|
61
65
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
62
66
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
63
67
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -198,6 +202,10 @@ export declare const PlanReviewSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
198
202
|
question: z.ZodString;
|
|
199
203
|
impact: z.ZodString;
|
|
200
204
|
}, z.core.$strip>>>>;
|
|
205
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
206
|
+
claim: z.ZodString;
|
|
207
|
+
evidenceSummary: z.ZodString;
|
|
208
|
+
}, z.core.$strip>>>>;
|
|
201
209
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
202
210
|
}, z.core.$strip>>;
|
|
203
211
|
coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"plan-artifacts.d.ts","sourceRoot":"","sources":["../../src/domain/plan-artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAoDvB,eAAO,MAAM,gBAAgB
|
|
1
|
+
{"version":3,"file":"plan-artifacts.d.ts","sourceRoot":"","sources":["../../src/domain/plan-artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAoDvB,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0KhB,CAAA;AAEb,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAA"}
|
package/dist/domain/report.d.ts
CHANGED
|
@@ -237,6 +237,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
237
237
|
routingRationale: z.ZodString;
|
|
238
238
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
239
239
|
}, z.core.$strict>>>;
|
|
240
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
241
|
+
claim: z.ZodString;
|
|
242
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
243
|
+
}, z.core.$strict>>>>;
|
|
240
244
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
241
245
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
242
246
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -742,6 +746,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
742
746
|
question: z.ZodString;
|
|
743
747
|
impact: z.ZodString;
|
|
744
748
|
}, z.core.$strip>>>>;
|
|
749
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
750
|
+
claim: z.ZodString;
|
|
751
|
+
evidenceSummary: z.ZodString;
|
|
752
|
+
}, z.core.$strip>>>>;
|
|
745
753
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
746
754
|
}, z.core.$strip>>>;
|
|
747
755
|
contextSnapshot: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
|
|
@@ -862,6 +870,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
862
870
|
routingRationale: z.ZodString;
|
|
863
871
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
864
872
|
}, z.core.$strict>>>;
|
|
873
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
874
|
+
claim: z.ZodString;
|
|
875
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
876
|
+
}, z.core.$strict>>>>;
|
|
865
877
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
866
878
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
867
879
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1002,6 +1014,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
1002
1014
|
question: z.ZodString;
|
|
1003
1015
|
impact: z.ZodString;
|
|
1004
1016
|
}, z.core.$strip>>>>;
|
|
1017
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
1018
|
+
claim: z.ZodString;
|
|
1019
|
+
evidenceSummary: z.ZodString;
|
|
1020
|
+
}, z.core.$strip>>>>;
|
|
1005
1021
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
1006
1022
|
}, z.core.$strip>>;
|
|
1007
1023
|
coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
@@ -1270,6 +1286,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
1270
1286
|
routingRationale: z.ZodString;
|
|
1271
1287
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
1272
1288
|
}, z.core.$strict>>>;
|
|
1289
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
1290
|
+
claim: z.ZodString;
|
|
1291
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
1292
|
+
}, z.core.$strict>>>>;
|
|
1273
1293
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
1274
1294
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
1275
1295
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1775,6 +1795,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
1775
1795
|
question: z.ZodString;
|
|
1776
1796
|
impact: z.ZodString;
|
|
1777
1797
|
}, z.core.$strip>>>>;
|
|
1798
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
1799
|
+
claim: z.ZodString;
|
|
1800
|
+
evidenceSummary: z.ZodString;
|
|
1801
|
+
}, z.core.$strip>>>>;
|
|
1778
1802
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
1779
1803
|
}, z.core.$strip>>>;
|
|
1780
1804
|
contextSnapshot: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
|
|
@@ -1895,6 +1919,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
1895
1919
|
routingRationale: z.ZodString;
|
|
1896
1920
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
1897
1921
|
}, z.core.$strict>>>;
|
|
1922
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
1923
|
+
claim: z.ZodString;
|
|
1924
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
1925
|
+
}, z.core.$strict>>>>;
|
|
1898
1926
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
1899
1927
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
1900
1928
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -2035,6 +2063,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
2035
2063
|
question: z.ZodString;
|
|
2036
2064
|
impact: z.ZodString;
|
|
2037
2065
|
}, z.core.$strip>>>>;
|
|
2066
|
+
refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
2067
|
+
claim: z.ZodString;
|
|
2068
|
+
evidenceSummary: z.ZodString;
|
|
2069
|
+
}, z.core.$strip>>>>;
|
|
2038
2070
|
constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
2039
2071
|
}, z.core.$strip>>;
|
|
2040
2072
|
coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/domain/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAmBvB,eAAO,MAAM,uBAAuB;;;;;;;;;;kBAOvB,CAAA;AAEb,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;kBAerB,CAAA;AAEb,eAAO,MAAM,uBAAuB;;;;;;kBAQvB,CAAA;AAEb,eAAO,MAAM,yBAAyB;;;;;;;;;;kBAYzB,CAAA;AAEb,eAAO,MAAM,0BAA0B;;;;;;;kBAS1B,CAAA;AAEb,eAAO,MAAM,wBAAwB;;;;;kBAOxB,CAAA;AAEb,eAAO,MAAM,mBAAmB;;;;;;kBAQnB,CAAA;AAEb,eAAO,MAAM,YAAY
|
|
1
|
+
{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/domain/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAmBvB,eAAO,MAAM,uBAAuB;;;;;;;;;;kBAOvB,CAAA;AAEb,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;kBAerB,CAAA;AAEb,eAAO,MAAM,uBAAuB;;;;;;kBAQvB,CAAA;AAEb,eAAO,MAAM,yBAAyB;;;;;;;;;;kBAYzB,CAAA;AAEb,eAAO,MAAM,0BAA0B;;;;;;;kBAS1B,CAAA;AAEb,eAAO,MAAM,wBAAwB;;;;;kBAOxB,CAAA;AAEb,eAAO,MAAM,mBAAmB;;;;;;kBAQnB,CAAA;AAEb,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAgBZ,CAAA;AAEb,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAA"}
|
|
@@ -11,6 +11,11 @@ export declare const TaskSchedulingAnalysisSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
11
11
|
routingRationale: z.ZodString;
|
|
12
12
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
13
13
|
}, z.core.$strict>>;
|
|
14
|
+
/** escalate 入口未经验证的判断：planner 必须逐条核实，证伪写入 contextPackage.refutations */
|
|
15
|
+
export declare const HypothesisSchema: z.ZodReadonly<z.ZodObject<{
|
|
16
|
+
claim: z.ZodString;
|
|
17
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
18
|
+
}, z.core.$strict>>;
|
|
14
19
|
export declare const RequirementInputSchema: z.ZodReadonly<z.ZodObject<{
|
|
15
20
|
requirementId: z.ZodString;
|
|
16
21
|
title: z.ZodString;
|
|
@@ -55,6 +60,10 @@ export declare const RequirementInputSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
55
60
|
routingRationale: z.ZodString;
|
|
56
61
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
57
62
|
}, z.core.$strict>>>;
|
|
63
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
64
|
+
claim: z.ZodString;
|
|
65
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
66
|
+
}, z.core.$strict>>>>;
|
|
58
67
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
59
68
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
60
69
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -110,6 +119,10 @@ export declare const RequirementPersistenceSchema: z.ZodReadonly<z.ZodObject<{
|
|
|
110
119
|
routingRationale: z.ZodString;
|
|
111
120
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
112
121
|
}, z.core.$strict>>>;
|
|
122
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
123
|
+
claim: z.ZodString;
|
|
124
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
125
|
+
}, z.core.$strict>>>>;
|
|
113
126
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
114
127
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
115
128
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -165,6 +178,10 @@ export declare const RequirementSchema: z.ZodPipe<z.ZodTransform<unknown, unknow
|
|
|
165
178
|
routingRationale: z.ZodString;
|
|
166
179
|
rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
|
|
167
180
|
}, z.core.$strict>>>;
|
|
181
|
+
hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
|
|
182
|
+
claim: z.ZodString;
|
|
183
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
184
|
+
}, z.core.$strict>>>>;
|
|
168
185
|
repositoryId: z.ZodOptional<z.ZodString>;
|
|
169
186
|
targetRepository: z.ZodOptional<z.ZodString>;
|
|
170
187
|
workspaceMutation: z.ZodOptional<z.ZodEnum<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"requirement.d.ts","sourceRoot":"","sources":["../../src/domain/requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,4BAA4B;;;;;;;;;;;mBAS5B,CAAA;AA4Bb,eAAO,MAAM,sBAAsB
|
|
1
|
+
{"version":3,"file":"requirement.d.ts","sourceRoot":"","sources":["../../src/domain/requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,4BAA4B;;;;;;;;;;;mBAS5B,CAAA;AAEb,wEAAwE;AACxE,eAAO,MAAM,gBAAgB;;;mBAMhB,CAAA;AA4Bb,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAuBtB,CAAA;AAEb,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAwB5B,CAAA;AAEb,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAG7B,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AACrE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
|
|
@@ -12,6 +12,14 @@ export const TaskSchedulingAnalysisSchema = z
|
|
|
12
12
|
})
|
|
13
13
|
.strict()
|
|
14
14
|
.readonly();
|
|
15
|
+
/** escalate 入口未经验证的判断：planner 必须逐条核实，证伪写入 contextPackage.refutations */
|
|
16
|
+
export const HypothesisSchema = z
|
|
17
|
+
.object({
|
|
18
|
+
claim: z.string().trim().min(1),
|
|
19
|
+
evidence: z.string().trim().min(1).optional(),
|
|
20
|
+
})
|
|
21
|
+
.strict()
|
|
22
|
+
.readonly();
|
|
15
23
|
const normalizeRequirementPersistence = (input) => {
|
|
16
24
|
if (typeof input !== "object" || input === null || Array.isArray(input)) {
|
|
17
25
|
return input;
|
|
@@ -47,6 +55,7 @@ export const RequirementInputSchema = z
|
|
|
47
55
|
.readonly()
|
|
48
56
|
.optional(),
|
|
49
57
|
taskSchedulingAnalysis: TaskSchedulingAnalysisSchema.optional(),
|
|
58
|
+
hypotheses: z.array(HypothesisSchema).optional(),
|
|
50
59
|
repositoryId: RepositoryIdSchema.optional(),
|
|
51
60
|
targetRepository: z.string().trim().min(1).optional(),
|
|
52
61
|
workspaceMutation: WorkspaceMutationSchema.optional(),
|
|
@@ -71,6 +80,7 @@ export const RequirementPersistenceSchema = z
|
|
|
71
80
|
.readonly()
|
|
72
81
|
.optional(),
|
|
73
82
|
taskSchedulingAnalysis: TaskSchedulingAnalysisSchema.optional(),
|
|
83
|
+
hypotheses: z.array(HypothesisSchema).optional(),
|
|
74
84
|
repositoryId: RepositoryIdSchema.optional(),
|
|
75
85
|
targetRepository: z.string().trim().min(1).optional(),
|
|
76
86
|
workspaceMutation: WorkspaceMutationSchema.optional(),
|