codex-orchestrator 2.0.11 → 2.0.12

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.
Files changed (262) hide show
  1. package/CHANGELOG.md +15 -0
  2. package/README.md +25 -51
  3. package/dist/src/index.d.ts +2 -8
  4. package/dist/src/index.d.ts.map +1 -1
  5. package/dist/src/index.js +1 -4
  6. package/dist/src/index.js.map +1 -1
  7. package/dist/src/v2/acceptance-proof.d.ts +46 -31
  8. package/dist/src/v2/acceptance-proof.d.ts.map +1 -1
  9. package/dist/src/v2/acceptance-proof.js +157 -195
  10. package/dist/src/v2/acceptance-proof.js.map +1 -1
  11. package/dist/src/v2/active-attempt.d.ts +94 -0
  12. package/dist/src/v2/active-attempt.d.ts.map +1 -0
  13. package/dist/src/v2/active-attempt.js +200 -0
  14. package/dist/src/v2/active-attempt.js.map +1 -0
  15. package/dist/src/v2/adapters/command.d.ts +6 -0
  16. package/dist/src/v2/adapters/command.d.ts.map +1 -1
  17. package/dist/src/v2/adapters/command.js +43 -2
  18. package/dist/src/v2/adapters/command.js.map +1 -1
  19. package/dist/src/v2/candidate.d.ts +15 -31
  20. package/dist/src/v2/candidate.d.ts.map +1 -1
  21. package/dist/src/v2/candidate.js +7 -29
  22. package/dist/src/v2/candidate.js.map +1 -1
  23. package/dist/src/v2/checked-change.d.ts +3 -2
  24. package/dist/src/v2/checked-change.d.ts.map +1 -1
  25. package/dist/src/v2/checked-change.js +4 -3
  26. package/dist/src/v2/checked-change.js.map +1 -1
  27. package/dist/src/v2/cli-contract.d.ts +1 -1
  28. package/dist/src/v2/cli-contract.d.ts.map +1 -1
  29. package/dist/src/v2/cli-contract.js +4 -6
  30. package/dist/src/v2/cli-contract.js.map +1 -1
  31. package/dist/src/v2/cli.d.ts +8 -0
  32. package/dist/src/v2/cli.d.ts.map +1 -1
  33. package/dist/src/v2/cli.js +13 -0
  34. package/dist/src/v2/cli.js.map +1 -1
  35. package/dist/src/v2/code-review-report.d.ts +10 -18
  36. package/dist/src/v2/code-review-report.d.ts.map +1 -1
  37. package/dist/src/v2/code-review-report.js +63 -60
  38. package/dist/src/v2/code-review-report.js.map +1 -1
  39. package/dist/src/v2/codex-process.d.ts +6 -2
  40. package/dist/src/v2/codex-process.d.ts.map +1 -1
  41. package/dist/src/v2/codex-process.js +25 -9
  42. package/dist/src/v2/codex-process.js.map +1 -1
  43. package/dist/src/v2/config.d.ts +0 -2
  44. package/dist/src/v2/config.d.ts.map +1 -1
  45. package/dist/src/v2/config.js +3 -6
  46. package/dist/src/v2/config.js.map +1 -1
  47. package/dist/src/v2/contained-report-operation.d.ts +41 -196
  48. package/dist/src/v2/contained-report-operation.d.ts.map +1 -1
  49. package/dist/src/v2/contained-report-operation.js +139 -466
  50. package/dist/src/v2/contained-report-operation.js.map +1 -1
  51. package/dist/src/v2/containment.d.ts +1 -0
  52. package/dist/src/v2/containment.d.ts.map +1 -1
  53. package/dist/src/v2/containment.js +12 -2
  54. package/dist/src/v2/containment.js.map +1 -1
  55. package/dist/src/v2/delivery-authority.d.ts +26 -0
  56. package/dist/src/v2/delivery-authority.d.ts.map +1 -0
  57. package/dist/src/v2/delivery-authority.js +44 -0
  58. package/dist/src/v2/delivery-authority.js.map +1 -0
  59. package/dist/src/v2/direct-delivery.d.ts +16 -36
  60. package/dist/src/v2/direct-delivery.d.ts.map +1 -1
  61. package/dist/src/v2/direct-delivery.js +135 -122
  62. package/dist/src/v2/direct-delivery.js.map +1 -1
  63. package/dist/src/v2/immutable-workflow-publisher.d.ts.map +1 -1
  64. package/dist/src/v2/immutable-workflow-publisher.js +3 -1
  65. package/dist/src/v2/immutable-workflow-publisher.js.map +1 -1
  66. package/dist/src/v2/implementation-report.d.ts +3 -1
  67. package/dist/src/v2/implementation-report.d.ts.map +1 -1
  68. package/dist/src/v2/implementation-report.js +17 -4
  69. package/dist/src/v2/implementation-report.js.map +1 -1
  70. package/dist/src/v2/implementation-reviewer.d.ts +41 -12
  71. package/dist/src/v2/implementation-reviewer.d.ts.map +1 -1
  72. package/dist/src/v2/implementation-reviewer.js +114 -42
  73. package/dist/src/v2/implementation-reviewer.js.map +1 -1
  74. package/dist/src/v2/pending-effect-settlement.d.ts +44 -0
  75. package/dist/src/v2/pending-effect-settlement.d.ts.map +1 -0
  76. package/dist/src/v2/pending-effect-settlement.js +69 -0
  77. package/dist/src/v2/pending-effect-settlement.js.map +1 -0
  78. package/dist/src/v2/process-identity.d.ts +45 -0
  79. package/dist/src/v2/process-identity.d.ts.map +1 -0
  80. package/dist/src/v2/process-identity.js +118 -0
  81. package/dist/src/v2/process-identity.js.map +1 -0
  82. package/dist/src/v2/proof-report.d.ts +2 -1
  83. package/dist/src/v2/proof-report.d.ts.map +1 -1
  84. package/dist/src/v2/proof-report.js +10 -4
  85. package/dist/src/v2/proof-report.js.map +1 -1
  86. package/dist/src/v2/review-feedback-coordinator.d.ts +1 -1
  87. package/dist/src/v2/review-feedback-coordinator.d.ts.map +1 -1
  88. package/dist/src/v2/review-feedback-coordinator.js +1 -1
  89. package/dist/src/v2/review-feedback-coordinator.js.map +1 -1
  90. package/dist/src/v2/review-feedback.d.ts +14 -20
  91. package/dist/src/v2/review-feedback.d.ts.map +1 -1
  92. package/dist/src/v2/review-feedback.js +45 -87
  93. package/dist/src/v2/review-feedback.js.map +1 -1
  94. package/dist/src/v2/run-issue.d.ts +129 -88
  95. package/dist/src/v2/run-issue.d.ts.map +1 -1
  96. package/dist/src/v2/run-issue.js +1965 -2381
  97. package/dist/src/v2/run-issue.js.map +1 -1
  98. package/dist/src/v2/run-state-projections.d.ts +84 -0
  99. package/dist/src/v2/run-state-projections.d.ts.map +1 -0
  100. package/dist/src/v2/run-state-projections.js +142 -0
  101. package/dist/src/v2/run-state-projections.js.map +1 -0
  102. package/dist/src/v2/run-store.d.ts +99 -81
  103. package/dist/src/v2/run-store.d.ts.map +1 -1
  104. package/dist/src/v2/run-store.js +245 -542
  105. package/dist/src/v2/run-store.js.map +1 -1
  106. package/dist/src/v2/runtime-assets.d.ts +3 -0
  107. package/dist/src/v2/runtime-assets.d.ts.map +1 -1
  108. package/dist/src/v2/runtime-assets.js +104 -0
  109. package/dist/src/v2/runtime-assets.js.map +1 -1
  110. package/dist/src/v2/runtime.d.ts +56 -44
  111. package/dist/src/v2/runtime.d.ts.map +1 -1
  112. package/dist/src/v2/runtime.js +383 -503
  113. package/dist/src/v2/runtime.js.map +1 -1
  114. package/dist/src/v2/setup.js +0 -2
  115. package/dist/src/v2/setup.js.map +1 -1
  116. package/dist/src/v2/validation-progression.d.ts +70 -0
  117. package/dist/src/v2/validation-progression.d.ts.map +1 -0
  118. package/dist/src/v2/validation-progression.js +247 -0
  119. package/dist/src/v2/validation-progression.js.map +1 -0
  120. package/dist/src/v2/workflow-assets.d.ts +9 -3
  121. package/dist/src/v2/workflow-assets.d.ts.map +1 -1
  122. package/dist/src/v2/workflow-assets.js +256 -43
  123. package/dist/src/v2/workflow-assets.js.map +1 -1
  124. package/internal-workflow/docs/agents/bug-workflow-routing.md +9 -7
  125. package/internal-workflow/docs/agents/coding-skill-routing.md +170 -120
  126. package/internal-workflow/docs/agents/tool-usage.md +23 -12
  127. package/internal-workflow/manifest.json +1 -1
  128. package/internal-workflow/operations/code-review/SKILL.md +34 -15
  129. package/internal-workflow/operations/implementation/SKILL.md +21 -16
  130. package/internal-workflow/profiles/implementer.toml +9 -0
  131. package/internal-workflow/profiles/review_coordinator.toml +9 -0
  132. package/internal-workflow/profiles/spec_reviewer.toml +9 -0
  133. package/internal-workflow/profiles/standards_reviewer.toml +9 -0
  134. package/internal-workflow/schemas/code-review-v1.json +1 -1
  135. package/internal-workflow/schemas/implementation-report-v1.json +1 -1
  136. package/internal-workflow/schemas/proof-report-v1.json +1 -1
  137. package/internal-workflow/skills/bug-root-cause-explainer/SKILL.md +114 -0
  138. package/internal-workflow/skills/bug-root-cause-explainer/agents/openai.yaml +7 -0
  139. package/internal-workflow/skills/bug-root-cause-explainer/evals/evals.json +18 -0
  140. package/internal-workflow/skills/code-review/SKILL.md +84 -306
  141. package/internal-workflow/skills/code-review/agents/openai.yaml +5 -3
  142. package/internal-workflow/skills/code-review/evals/evals.json +83 -0
  143. package/internal-workflow/skills/code-review/references/standards-smells.md +41 -0
  144. package/internal-workflow/skills/diagnosing-bugs/SKILL.md +69 -32
  145. package/internal-workflow/skills/diagnosing-bugs/agents/openai.yaml +2 -2
  146. package/internal-workflow/skills/diagnosing-bugs/evals/evals.json +63 -0
  147. package/internal-workflow/skills/grilling/SKILL.md +51 -0
  148. package/internal-workflow/skills/grilling/agents/openai.yaml +6 -0
  149. package/internal-workflow/skills/grilling/evals/evals.json +47 -0
  150. package/internal-workflow/skills/implement/SKILL.md +135 -0
  151. package/internal-workflow/skills/implement/agents/openai.yaml +6 -0
  152. package/internal-workflow/skills/implement/evals/evals.json +150 -0
  153. package/internal-workflow/skills/plan/SKILL.md +59 -0
  154. package/internal-workflow/skills/plan/agents/openai.yaml +6 -0
  155. package/internal-workflow/skills/plan/evals/evals.json +36 -0
  156. package/internal-workflow/skills/prototype/LOGIC.md +130 -0
  157. package/internal-workflow/skills/prototype/SKILL.md +69 -0
  158. package/internal-workflow/skills/prototype/UI.md +157 -0
  159. package/internal-workflow/skills/prototype/agents/openai.yaml +6 -0
  160. package/internal-workflow/skills/prototype/evals/evals.json +67 -0
  161. package/internal-workflow/skills/research/SKILL.md +110 -0
  162. package/internal-workflow/skills/research/agents/openai.yaml +6 -0
  163. package/internal-workflow/skills/research/evals/evals.json +49 -0
  164. package/internal-workflow/skills/tdd/SKILL.md +72 -67
  165. package/internal-workflow/skills/tdd/agents/openai.yaml +2 -2
  166. package/internal-workflow/skills/tdd/evals/evals.json +12 -0
  167. package/internal-workflow/skills/tdd/mocking.md +48 -1
  168. package/internal-workflow/skills/tdd/refactoring.md +3 -3
  169. package/internal-workflow/skills/tickets-orchestrator/SKILL.md +199 -0
  170. package/internal-workflow/skills/tickets-orchestrator/agents/openai.yaml +6 -0
  171. package/internal-workflow/skills/tickets-orchestrator/evals/evals.json +126 -0
  172. package/internal-workflow/skills/tickets-orchestrator/references/delegate-integrate.md +83 -0
  173. package/internal-workflow/skills/tickets-orchestrator/references/finish-delivery.md +69 -0
  174. package/internal-workflow/skills/tickets-orchestrator/references/stop-completion.md +63 -0
  175. package/internal-workflow/skills/to-spec/SKILL.md +133 -0
  176. package/internal-workflow/skills/to-spec/agents/openai.yaml +6 -0
  177. package/internal-workflow/skills/to-spec/evals/evals.json +24 -0
  178. package/internal-workflow/skills/to-tickets/SKILL.md +189 -0
  179. package/internal-workflow/skills/to-tickets/agents/openai.yaml +6 -0
  180. package/internal-workflow/skills/to-tickets/evals/evals.json +79 -0
  181. package/internal-workflow/skills/to-tickets/references/publishing-details.md +117 -0
  182. package/package.json +1 -1
  183. package/dist/src/v2/proof-store.d.ts +0 -54
  184. package/dist/src/v2/proof-store.d.ts.map +0 -1
  185. package/dist/src/v2/proof-store.js +0 -301
  186. package/dist/src/v2/proof-store.js.map +0 -1
  187. package/dist/src/v2/route-continuations.d.ts +0 -32
  188. package/dist/src/v2/route-continuations.d.ts.map +0 -1
  189. package/dist/src/v2/route-continuations.js +0 -2
  190. package/dist/src/v2/route-continuations.js.map +0 -1
  191. package/dist/src/v2/route-coordinator.d.ts +0 -72
  192. package/dist/src/v2/route-coordinator.d.ts.map +0 -1
  193. package/dist/src/v2/route-coordinator.js +0 -275
  194. package/dist/src/v2/route-coordinator.js.map +0 -1
  195. package/dist/src/v2/route-decision.d.ts +0 -120
  196. package/dist/src/v2/route-decision.d.ts.map +0 -1
  197. package/dist/src/v2/route-decision.js +0 -380
  198. package/dist/src/v2/route-decision.js.map +0 -1
  199. package/dist/src/v2/spec-coordinator.d.ts +0 -73
  200. package/dist/src/v2/spec-coordinator.d.ts.map +0 -1
  201. package/dist/src/v2/spec-coordinator.js +0 -126
  202. package/dist/src/v2/spec-coordinator.js.map +0 -1
  203. package/dist/src/v2/spec-delivery.d.ts +0 -112
  204. package/dist/src/v2/spec-delivery.d.ts.map +0 -1
  205. package/dist/src/v2/spec-delivery.js +0 -336
  206. package/dist/src/v2/spec-delivery.js.map +0 -1
  207. package/dist/src/v2/triage-route.d.ts +0 -68
  208. package/dist/src/v2/triage-route.d.ts.map +0 -1
  209. package/dist/src/v2/triage-route.js +0 -223
  210. package/dist/src/v2/triage-route.js.map +0 -1
  211. package/dist/src/v2/waiting-human-coordinator.d.ts +0 -49
  212. package/dist/src/v2/waiting-human-coordinator.d.ts.map +0 -1
  213. package/dist/src/v2/waiting-human-coordinator.js +0 -509
  214. package/dist/src/v2/waiting-human-coordinator.js.map +0 -1
  215. package/dist/src/v2/waiting-human.d.ts +0 -143
  216. package/dist/src/v2/waiting-human.d.ts.map +0 -1
  217. package/dist/src/v2/waiting-human.js +0 -408
  218. package/dist/src/v2/waiting-human.js.map +0 -1
  219. package/internal-workflow/docs/agents/contract-test-ledger.md +0 -71
  220. package/internal-workflow/docs/agents/review-gates.md +0 -42
  221. package/internal-workflow/docs/agents/review-protocol.md +0 -98
  222. package/internal-workflow/evals/coding-skill-evals.json +0 -373
  223. package/internal-workflow/operations/ambiguity-review/SKILL.md +0 -5
  224. package/internal-workflow/operations/qualification-repair/SKILL.md +0 -17
  225. package/internal-workflow/operations/spec-author/SKILL.md +0 -12
  226. package/internal-workflow/operations/spec-review/SKILL.md +0 -12
  227. package/internal-workflow/operations/triage/SKILL.md +0 -12
  228. package/internal-workflow/profiles/analyst_deep.toml +0 -9
  229. package/internal-workflow/profiles/implementer_standard.toml +0 -9
  230. package/internal-workflow/profiles/proof_agent.toml +0 -8
  231. package/internal-workflow/profiles/reviewer_deep.toml +0 -9
  232. package/internal-workflow/profiles/reviewer_standard.toml +0 -9
  233. package/internal-workflow/schemas/ambiguity-review-v1.json +0 -1
  234. package/internal-workflow/schemas/spec-author-v1.json +0 -1
  235. package/internal-workflow/schemas/spec-review-v1.json +0 -30
  236. package/internal-workflow/schemas/triage-route-v1.json +0 -1
  237. package/internal-workflow/skills/agent-auto/SKILL.md +0 -19
  238. package/internal-workflow/skills/agent-auto/agents/openai.yaml +0 -6
  239. package/internal-workflow/skills/code-debugger/SKILL.md +0 -122
  240. package/internal-workflow/skills/code-debugger/agents/openai.yaml +0 -7
  241. package/internal-workflow/skills/code-review/references/bug-classes.md +0 -56
  242. package/internal-workflow/skills/code-review/references/cleanup-lens.md +0 -52
  243. package/internal-workflow/skills/code-review/references/framework-lenses.md +0 -34
  244. package/internal-workflow/skills/code-review/references/targeted-recipes.md +0 -49
  245. package/internal-workflow/skills/implementation-spec-maker/SKILL.md +0 -107
  246. package/internal-workflow/skills/implementation-spec-maker/agents/openai.yaml +0 -6
  247. package/internal-workflow/skills/implementation-spec-maker/references/source-modes.md +0 -32
  248. package/internal-workflow/skills/implementation-spec-maker/references/spec-template.md +0 -146
  249. package/internal-workflow/skills/implementation-spec-review/SKILL.md +0 -131
  250. package/internal-workflow/skills/implementation-spec-review/agents/openai.yaml +0 -6
  251. package/internal-workflow/skills/implementation-spec-review/evals/evals.json +0 -78
  252. package/internal-workflow/skills/implementation-spec-review/references/review-loop.md +0 -121
  253. package/internal-workflow/skills/small-task-implementer/SKILL.md +0 -112
  254. package/internal-workflow/skills/small-task-implementer/agents/openai.yaml +0 -6
  255. package/internal-workflow/skills/spec-implementer/SKILL.md +0 -133
  256. package/internal-workflow/skills/spec-implementer/agents/openai.yaml +0 -6
  257. package/internal-workflow/skills/spec-implementer/evals/evals.json +0 -30
  258. package/internal-workflow/skills/spec-implementer/references/review-loop.md +0 -100
  259. package/internal-workflow/skills/triage/AGENT-BRIEF.md +0 -192
  260. package/internal-workflow/skills/triage/OUT-OF-SCOPE.md +0 -101
  261. package/internal-workflow/skills/triage/SKILL.md +0 -134
  262. package/internal-workflow/skills/triage/agents/openai.yaml +0 -6
@@ -1,275 +0,0 @@
1
- import { canonicalJson } from './containment.js';
2
- import { decodeAgentReportForValidation } from './report-envelope.js';
3
- import { hashAmbiguityReviewArtifact, hashTriageArtifact, validateAmbiguityReviewArtifact, } from './route-decision.js';
4
- import { validateTriageRoute } from './triage-route.js';
5
- const TRIAGE_AUTHORITY_FACTS = [
6
- 'inspect=issue-body-and-comments',
7
- 'inspect=relevant-implementation-callers-and-tests',
8
- 'inspect=repository-instructions-context-domain-adrs-and-existing-behavior',
9
- 'unavailable-evidence=record-inspected-absence',
10
- 'technical-and-reversible-engineering-choices=resolve-autonomously',
11
- 'source-supported-interpretation=choose-and-record-assumption',
12
- 'awaiting-user=two-materially-different-observable-product-outcomes-only',
13
- ];
14
- export function initialRouteExecution() {
15
- return {
16
- version: 1,
17
- phase: 'triage-ready',
18
- triageRepairs: 0,
19
- candidateReviews: 0,
20
- };
21
- }
22
- export class RouteCoordinator {
23
- dependencies;
24
- constructor(dependencies) {
25
- this.dependencies = dependencies;
26
- }
27
- async run(input) {
28
- const execution = await this.dependencies.state.read();
29
- switch (execution.phase) {
30
- case 'triage-ready':
31
- return this.launchTriage(input, execution, null);
32
- case 'malformed-repair-ready':
33
- return this.launchTriage(input, execution, { kind: 'malformed', findings: execution.findings });
34
- case 'candidate-repair-ready':
35
- return this.launchTriage(input, execution, {
36
- kind: 'rejected-candidate',
37
- candidate: execution.candidate,
38
- triage: execution.triage,
39
- review: execution.review,
40
- findings: execution.findings,
41
- });
42
- case 'candidate-ready':
43
- return this.launchReview(input, execution);
44
- case 'triage-in-flight':
45
- return this.executeTriage(input, execution, null);
46
- case 'repair-in-flight':
47
- return this.executeTriage(input, execution, execution.repairInput);
48
- case 'review-in-flight':
49
- return this.executeReview(input, execution);
50
- case 'route-complete':
51
- return blocked('safety', 'route-coordinator-already-complete', ['Routed state must dispatch without rerunning routing.']);
52
- }
53
- }
54
- async launchTriage(input, ready, repairInput) {
55
- const inFlight = {
56
- ...budgets(ready),
57
- phase: repairInput === null ? 'triage-in-flight' : 'repair-in-flight',
58
- ...(repairInput === null ? {} : { repairInput }),
59
- };
60
- if (!await this.dependencies.state.compareAndSwap(ready, inFlight))
61
- return stateConflict();
62
- return this.executeTriage(input, inFlight, repairInput);
63
- }
64
- async executeTriage(input, inFlight, repairInput) {
65
- const result = await this.dependencies.operation.run({
66
- operation: 'triage',
67
- runId: input.runId,
68
- worktreePath: input.worktreePath,
69
- workflowGeneration: input.workflowGeneration,
70
- promptFacts: triagePromptFacts(input.promptFacts, repairInput),
71
- signal: input.signal,
72
- invocationState: this.dependencies.state.invocation,
73
- });
74
- return this.adoptTriage(input, inFlight, repairInput, result);
75
- }
76
- async adoptTriage(input, inFlight, repairInput, result) {
77
- if (result.status === 'cancelled')
78
- return this.cancel(inFlight);
79
- if (result.status === 'blocked')
80
- return blocked(result.kind, result.code, []);
81
- if (result.status === 'retryable' || result.status === 'safe-halt')
82
- return result;
83
- let artifact;
84
- try {
85
- artifact = validateTriageRoute(decodeAgentReportForValidation(result.reportBytes));
86
- }
87
- catch (error) {
88
- return this.invalidTriage(inFlight, repairInput, [finding(error)], result.attemptId);
89
- }
90
- if (artifact.status === 'blocked') {
91
- return blocked(artifact.blocker.kind, artifact.blocker.code, artifact.blocker.evidence);
92
- }
93
- if (artifact.status === 'awaiting-user' && repairInput !== null) {
94
- return blocked('exhausted', 'waiting-candidate-repair-exhausted', [
95
- 'A repaired candidate may not ask another question.',
96
- ]);
97
- }
98
- const triage = {
99
- operation: 'triage',
100
- attemptId: result.attemptId,
101
- artifactSha256: hashTriageArtifact(artifact),
102
- generationHash: input.workflowGeneration.generationHash,
103
- };
104
- if (artifact.status === 'awaiting-user') {
105
- const candidateReady = {
106
- ...budgets(inFlight), phase: 'candidate-ready', candidate: artifact, triage,
107
- };
108
- if (!await this.dependencies.state.settle(inFlight, candidateReady, result.attemptId))
109
- return stateConflict();
110
- return this.launchReview(input, candidateReady);
111
- }
112
- return this.complete(inFlight, artifact, triage, null, result.attemptId);
113
- }
114
- async launchReview(input, ready) {
115
- if (ready.candidateReviews === 1) {
116
- return blocked('exhausted', 'candidate-reviews-exhausted', [ready.triage.artifactSha256]);
117
- }
118
- const inFlight = {
119
- ...budgets(ready),
120
- phase: 'review-in-flight',
121
- candidate: ready.candidate,
122
- triage: ready.triage,
123
- };
124
- if (!await this.dependencies.state.compareAndSwap(ready, inFlight))
125
- return stateConflict();
126
- return this.executeReview(input, inFlight);
127
- }
128
- async executeReview(input, inFlight) {
129
- const result = await this.dependencies.operation.run({
130
- operation: 'ambiguity-review',
131
- runId: input.runId,
132
- worktreePath: input.worktreePath,
133
- workflowGeneration: input.workflowGeneration,
134
- promptFacts: reviewPromptFacts(input.promptFacts, inFlight),
135
- signal: input.signal,
136
- invocationState: this.dependencies.state.invocation,
137
- forbiddenAttemptIds: [inFlight.triage.attemptId],
138
- });
139
- return this.adoptReview(input, inFlight, result);
140
- }
141
- async adoptReview(input, inFlight, result) {
142
- if (result.status === 'cancelled')
143
- return this.cancel(inFlight);
144
- if (result.status === 'blocked')
145
- return blocked(result.kind, result.code, []);
146
- if (result.status === 'retryable' || result.status === 'safe-halt')
147
- return result;
148
- let review;
149
- try {
150
- review = validateAmbiguityReviewArtifact(decodeAgentReportForValidation(result.reportBytes));
151
- }
152
- catch (error) {
153
- return blocked('safety', 'ambiguity-review-artifact-invalid', [finding(error)]);
154
- }
155
- if (review.candidateSha256 !== inFlight.triage.artifactSha256) {
156
- return blocked('safety', 'ambiguity-review-candidate-mismatch', [
157
- `Expected ${inFlight.triage.artifactSha256} but review echoed ${review.candidateSha256}.`,
158
- ]);
159
- }
160
- if (review.verdict === 'blocked') {
161
- const consumed = {
162
- ...budgets(inFlight),
163
- phase: 'candidate-ready',
164
- candidate: inFlight.candidate,
165
- triage: inFlight.triage,
166
- candidateReviews: 1,
167
- };
168
- if (!await this.dependencies.state.settle(inFlight, consumed, result.attemptId))
169
- return stateConflict();
170
- return blocked('safety', 'ambiguity-review-blocked', nonEmptyFindings(review.findings, 'Ambiguity review blocked.'));
171
- }
172
- const reviewRef = {
173
- operation: 'ambiguity-review',
174
- attemptId: result.attemptId,
175
- candidateSha256: review.candidateSha256,
176
- artifactSha256: hashAmbiguityReviewArtifact(review),
177
- verdict: review.verdict,
178
- generationHash: input.workflowGeneration.generationHash,
179
- };
180
- if (review.verdict === 'rejected') {
181
- if (inFlight.triageRepairs === 1 || inFlight.candidateReviews === 1) {
182
- return blocked('exhausted', 'waiting-candidate-repair-exhausted', review.findings);
183
- }
184
- const findings = nonEmptyFindings(review.findings, 'Ambiguity review rejected the waiting candidate.');
185
- const repairReady = {
186
- ...budgets(inFlight),
187
- phase: 'candidate-repair-ready',
188
- candidate: inFlight.candidate,
189
- triage: inFlight.triage,
190
- review: reviewRef,
191
- findings,
192
- triageRepairs: 1,
193
- candidateReviews: 1,
194
- };
195
- if (!await this.dependencies.state.settle(inFlight, repairReady, result.attemptId))
196
- return stateConflict();
197
- return { status: 'repairable', code: 'waiting-candidate-rejected', findings };
198
- }
199
- const reviewed = { ...inFlight, candidateReviews: 1 };
200
- return this.complete(inFlight, inFlight.candidate, inFlight.triage, reviewRef, result.attemptId, reviewed);
201
- }
202
- async invalidTriage(inFlight, repairInput, findings, attemptId) {
203
- findings = nonEmptyFindings(findings, 'Triage artifact validation failed.');
204
- if (repairInput !== null || inFlight.triageRepairs === 1) {
205
- return blocked('exhausted', 'triage-repair-exhausted', findings);
206
- }
207
- const repairReady = {
208
- ...budgets(inFlight), phase: 'malformed-repair-ready', findings, triageRepairs: 1,
209
- };
210
- if (!await this.dependencies.state.settle(inFlight, repairReady, attemptId))
211
- return stateConflict();
212
- return { status: 'repairable', code: 'triage-artifact-invalid', findings };
213
- }
214
- async complete(expected, artifact, triage, review, attemptId, budgetSource = expected) {
215
- let receipt;
216
- try {
217
- receipt = this.dependencies.createReceipt({ artifact, triage, review, decidedAt: this.dependencies.now() });
218
- }
219
- catch (error) {
220
- return blocked('safety', 'route-receipt-creation-failed', [finding(error)]);
221
- }
222
- const complete = { ...budgets(budgetSource), phase: 'route-complete', triage, review };
223
- if (!await this.dependencies.state.complete(expected, complete, receipt, attemptId))
224
- return stateConflict();
225
- return artifact.status === 'awaiting-user'
226
- ? { status: 'awaiting-user', receipt }
227
- : { status: 'succeeded', receipt };
228
- }
229
- async cancel(expected) {
230
- if (!await this.dependencies.state.cancel(expected))
231
- return stateConflict();
232
- return { status: 'cancelled' };
233
- }
234
- }
235
- function triagePromptFacts(base, repairInput) {
236
- const facts = [...base, ...TRIAGE_AUTHORITY_FACTS];
237
- if (repairInput === null)
238
- return facts;
239
- facts.push(`repairKind=${repairInput.kind}`, `repairFindings=${canonicalJson(repairInput.findings)}`);
240
- if (repairInput.kind === 'rejected-candidate') {
241
- facts.push(`candidateSha256=${repairInput.triage.artifactSha256}`, `candidateArtifact=${canonicalJson(repairInput.candidate)}`, `reviewRef=${canonicalJson(repairInput.review)}`, 'repairResult=direct-or-spec-required-or-typed-blocker', 'repairResultMayNotAwaitUser=true');
242
- }
243
- return facts;
244
- }
245
- function reviewPromptFacts(base, ready) {
246
- return [
247
- ...base,
248
- `candidateSha256=${ready.triage.artifactSha256}`,
249
- `candidateArtifact=${canonicalJson(ready.candidate)}`,
250
- `candidateEvidence=${canonicalJson(ready.candidate.inspectedEvidence)}`,
251
- 'review=materially-different-observable-product-outcomes',
252
- 'review=authorized-source-choice-must-be-absent',
253
- 'triage-process-identity=withheld',
254
- ];
255
- }
256
- function budgets(execution) {
257
- return {
258
- version: execution.version,
259
- triageRepairs: execution.triageRepairs,
260
- candidateReviews: execution.candidateReviews,
261
- };
262
- }
263
- function blocked(kind, code, evidence) {
264
- return { status: 'blocked', kind, code, evidence };
265
- }
266
- function stateConflict() {
267
- return blocked('safety', 'route-state-conflict', ['Durable route state changed before compare-and-swap.']);
268
- }
269
- function finding(error) {
270
- return error instanceof Error && error.message.length > 0 ? error.message : 'route validation failed';
271
- }
272
- function nonEmptyFindings(findings, fallback) {
273
- return findings.length > 0 ? findings : [fallback];
274
- }
275
- //# sourceMappingURL=route-coordinator.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"route-coordinator.js","sourceRoot":"","sources":["../../../src/v2/route-coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,+BAA+B,GAQhC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mBAAmB,EAAsB,MAAM,mBAAmB,CAAC;AA0D5E,MAAM,sBAAsB,GAAG;IAC7B,iCAAiC;IACjC,mDAAmD;IACnD,2EAA2E;IAC3E,+CAA+C;IAC/C,mEAAmE;IACnE,8DAA8D;IAC9D,yEAAyE;CACjE,CAAC;AAEX,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,cAAc;QACrB,aAAa,EAAE,CAAC;QAChB,gBAAgB,EAAE,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,gBAAgB;IACE;IAA7B,YAA6B,YAA0C;QAA1C,iBAAY,GAAZ,YAAY,CAA8B;IAAG,CAAC;IAE3E,KAAK,CAAC,GAAG,CAAC,KAA4B;QACpC,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACvD,QAAQ,SAAS,CAAC,KAAK,EAAE,CAAC;YACxB,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACnD,KAAK,wBAAwB;gBAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClG,KAAK,wBAAwB;gBAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE;oBACzC,IAAI,EAAE,oBAAoB;oBAC1B,SAAS,EAAE,SAAS,CAAC,SAAS;oBAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ;iBAC7B,CAAC,CAAC;YACL,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC7C,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACpD,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;YACrE,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC9C,KAAK,gBAAgB;gBACnB,OAAO,OAAO,CAAC,QAAQ,EAAE,oCAAoC,EAAE,CAAC,uDAAuD,CAAC,CAAC,CAAC;QAC9H,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,YAAY,CACxB,KAA4B,EAC5B,KAAiH,EACjH,WAAmE;QAEnE,MAAM,QAAQ,GAAG;YACf,GAAG,OAAO,CAAC,KAAK,CAAC;YACjB,KAAK,EAAE,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,kBAAkB;YACrE,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;SACgC,CAAC;QACnF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAE3F,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,KAA4B,EAC5B,QAAuF,EACvF,WAAmE;QAEnE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC;YACnD,SAAS,EAAE,QAAQ;YACnB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC;YAC9D,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU;SACpD,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,KAA4B,EAC5B,QAAuF,EACvF,WAAmE,EACnE,MAAsC;QAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QAElF,IAAI,QAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,QAAQ,GAAG,mBAAmB,CAAC,8BAA8B,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;QACrF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YAChE,OAAO,OAAO,CAAC,WAAW,EAAE,oCAAoC,EAAE;gBAChE,oDAAoD;aACrD,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAuB;YACjC,SAAS,EAAE,QAAQ;YACnB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,cAAc,EAAE,kBAAkB,CAAC,QAAQ,CAAC;YAC5C,cAAc,EAAE,KAAK,CAAC,kBAAkB,CAAC,cAAc;SACxD,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,cAAc,GAAqB;gBACvC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM;aAC5E,CAAC;YACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC;gBAAE,OAAO,aAAa,EAAE,CAAC;YAC9G,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC3E,CAAC;IAEO,KAAK,CAAC,YAAY,CACxB,KAA4B,EAC5B,KAA8D;QAE9D,IAAI,KAAK,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,OAAO,CAAC,WAAW,EAAE,6BAA6B,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,QAAQ,GAAqB;YACjC,GAAG,OAAO,CAAC,KAAK,CAAC;YACjB,KAAK,EAAE,kBAAkB;YACzB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;SACrB,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,KAA4B,EAC5B,QAAkE;QAElE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC;YACnD,SAAS,EAAE,kBAAkB;YAC7B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;YAC5C,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,CAAC;YAC3D,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU;YACnD,mBAAmB,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC;SACjD,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,KAA4B,EAC5B,QAAkE,EAClE,MAAsC;QAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QAElF,IAAI,MAAiC,CAAC;QACtC,IAAI,CAAC;YACH,MAAM,GAAG,+BAA+B,CAAC,8BAA8B,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;QAC/F,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,OAAO,CAAC,QAAQ,EAAE,mCAAmC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;YAC9D,OAAO,OAAO,CAAC,QAAQ,EAAE,qCAAqC,EAAE;gBAC9D,YAAY,QAAQ,CAAC,MAAM,CAAC,cAAc,sBAAsB,MAAM,CAAC,eAAe,GAAG;aAC1F,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAqB;gBACjC,GAAG,OAAO,CAAC,QAAQ,CAAC;gBACpB,KAAK,EAAE,iBAAiB;gBACxB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,gBAAgB,EAAE,CAAC;aACpB,CAAC;YACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC;gBAAE,OAAO,aAAa,EAAE,CAAC;YACxG,OAAO,OAAO,CAAC,QAAQ,EAAE,0BAA0B,EAAE,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC,CAAC;QACvH,CAAC;QACD,MAAM,SAAS,GAAyB;YACtC,SAAS,EAAE,kBAAkB;YAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,cAAc,EAAE,2BAA2B,CAAC,MAAM,CAAC;YACnD,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,cAAc,EAAE,KAAK,CAAC,kBAAkB,CAAC,cAAc;SACxD,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,CAAC,EAAE,CAAC;gBACpE,OAAO,OAAO,CAAC,WAAW,EAAE,oCAAoC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,kDAAkD,CAAC,CAAC;YACvG,MAAM,WAAW,GAAqB;gBACpC,GAAG,OAAO,CAAC,QAAQ,CAAC;gBACpB,KAAK,EAAE,wBAAwB;gBAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,MAAM,EAAE,SAAS;gBACjB,QAAQ;gBACR,aAAa,EAAE,CAAC;gBAChB,gBAAgB,EAAE,CAAC;aACpB,CAAC;YACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC;gBAAE,OAAO,aAAa,EAAE,CAAC;YAC3G,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,4BAA4B,EAAE,QAAQ,EAAE,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,gBAAgB,EAAE,CAAU,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC7G,CAAC;IAEO,KAAK,CAAC,aAAa,CACzB,QAAuF,EACvF,WAAmE,EACnE,QAAkB,EAClB,SAAiB;QAEjB,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAC;QAC5E,IAAI,WAAW,KAAK,IAAI,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,OAAO,CAAC,WAAW,EAAE,yBAAyB,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,WAAW,GAAqB;YACpC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;SAClF,CAAC;QACF,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QACpG,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,yBAAyB,EAAE,QAAQ,EAAE,CAAC;IAC7E,CAAC;IAEO,KAAK,CAAC,QAAQ,CACpB,QAA0B,EAC1B,QAAuB,EACvB,MAA0B,EAC1B,MAAmC,EACnC,SAAiB,EACjB,eAAiC,QAAQ;QAEzC,IAAI,OAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9G,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,OAAO,CAAC,QAAQ,EAAE,+BAA+B,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,QAAQ,GAAqB,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACzG,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC5G,OAAO,QAAQ,CAAC,MAAM,KAAK,eAAe;YACxC,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE;YACtC,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IAEO,KAAK,CAAC,MAAM,CAAC,QAA0B;QAC7C,IAAI,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,OAAO,aAAa,EAAE,CAAC;QAC5E,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACjC,CAAC;CACF;AAED,SAAS,iBAAiB,CACxB,IAAc,EACd,WAAmE;IAEnE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,sBAAsB,CAAC,CAAC;IACnD,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,cAAc,WAAW,CAAC,IAAI,EAAE,EAAE,kBAAkB,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACtG,IAAI,WAAW,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,mBAAmB,WAAW,CAAC,MAAM,CAAC,cAAc,EAAE,EACtD,qBAAqB,aAAa,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAC3D,aAAa,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,EAChD,uDAAuD,EACvD,kCAAkC,CACnC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAc,EACd,KAAiH;IAEjH,OAAO;QACL,GAAG,IAAI;QACP,mBAAmB,KAAK,CAAC,MAAM,CAAC,cAAc,EAAE;QAChD,qBAAqB,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE;QACrD,qBAAqB,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE;QACvE,yDAAyD;QACzD,gDAAgD;QAChD,kCAAkC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,SAA2B;IAC1C,OAAO;QACL,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CACd,IAAyC,EACzC,IAAY,EACZ,QAAkB;IAElB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,OAAO,CAAC,QAAQ,EAAE,sBAAsB,EAAE,CAAC,sDAAsD,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC;AACxG,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAkB,EAAE,QAAgB;IAC5D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC"}
@@ -1,120 +0,0 @@
1
- import { type TriageRouteV1 } from './triage-route.js';
2
- import type { WaitingHumanExecutionV1 } from './waiting-human.js';
3
- export type DeliveryRoute = 'direct' | 'spec-required' | 'awaiting-user';
4
- export interface RouteArtifactRefV1 {
5
- operation: 'triage';
6
- attemptId: string;
7
- artifactSha256: string;
8
- generationHash: string;
9
- }
10
- export interface AmbiguityReviewRefV1 {
11
- operation: 'ambiguity-review';
12
- attemptId: string;
13
- candidateSha256: string;
14
- artifactSha256: string;
15
- verdict: 'approved' | 'rejected';
16
- generationHash: string;
17
- }
18
- export interface AmbiguityReviewArtifactV1 {
19
- version: 1;
20
- candidateSha256: string;
21
- verdict: 'approved' | 'rejected' | 'blocked';
22
- evidenceReviewed: string[];
23
- findings: string[];
24
- recommendation: string;
25
- }
26
- export interface RouteReceiptV1 {
27
- version: 1;
28
- route: DeliveryRoute;
29
- triage: RouteArtifactRefV1;
30
- review: AmbiguityReviewRefV1 | null;
31
- artifact: TriageRouteV1;
32
- decisionSha256: string;
33
- decidedAt: string;
34
- assumptions: string[];
35
- }
36
- export interface RouteBudgetsV1 {
37
- version: 1;
38
- triageRepairs: 0 | 1;
39
- candidateReviews: 0 | 1;
40
- }
41
- export type MalformedRepairInputV1 = {
42
- kind: 'malformed';
43
- findings: string[];
44
- };
45
- export type CandidateRepairInputV1 = {
46
- kind: 'rejected-candidate';
47
- candidate: TriageRouteV1;
48
- triage: RouteArtifactRefV1;
49
- review: AmbiguityReviewRefV1;
50
- findings: string[];
51
- };
52
- export type RouteExecutionV1 = RouteBudgetsV1 & ({
53
- phase: 'triage-ready';
54
- } | {
55
- phase: 'triage-in-flight';
56
- } | {
57
- phase: 'candidate-ready';
58
- candidate: TriageRouteV1;
59
- triage: RouteArtifactRefV1;
60
- } | {
61
- phase: 'review-in-flight';
62
- candidate: TriageRouteV1;
63
- triage: RouteArtifactRefV1;
64
- } | {
65
- phase: 'malformed-repair-ready';
66
- findings: string[];
67
- } | {
68
- phase: 'candidate-repair-ready';
69
- candidate: TriageRouteV1;
70
- triage: RouteArtifactRefV1;
71
- review: AmbiguityReviewRefV1;
72
- findings: string[];
73
- } | {
74
- phase: 'repair-in-flight';
75
- repairInput: MalformedRepairInputV1 | CandidateRepairInputV1;
76
- } | {
77
- phase: 'route-complete';
78
- triage: RouteArtifactRefV1;
79
- review: AmbiguityReviewRefV1 | null;
80
- });
81
- export type RouteLifecycle = 'claimed' | 'triaging' | 'routed' | 'implementing' | 'waiting-human' | 'spec-authoring' | 'reworking' | 'checking' | 'proving' | 'publishing' | 'safe-halt' | 'review-ready' | 'blocked' | 'transport-failed' | 'cancelled' | 'internal-error';
82
- export type RoutedLifecycle = 'implementing' | 'spec-authoring' | 'waiting-human';
83
- export declare function hashTriageArtifact(value: unknown): string;
84
- export declare function hashAmbiguityReviewArtifact(value: unknown): string;
85
- export declare function hashRouteDecision(value: RouteReceiptV1): string;
86
- export declare function validateAmbiguityReviewArtifact(value: unknown): AmbiguityReviewArtifactV1;
87
- export declare function validateRouteArtifactRef(value: unknown, expectedGenerationHash?: string): RouteArtifactRefV1;
88
- export declare function validateAmbiguityReviewRef(value: unknown, expectedGenerationHash?: string): AmbiguityReviewRefV1;
89
- export declare function validateRouteReceipt(value: unknown, expectedGenerationHash?: string): RouteReceiptV1;
90
- export declare function validateRouteExecution(value: unknown, expectedGenerationHash?: string): RouteExecutionV1;
91
- export declare function validateRouteStateInvariant(input: {
92
- lifecycle: RouteLifecycle;
93
- routeExecution: unknown;
94
- routeReceipt: unknown;
95
- generationHash: string;
96
- }): void;
97
- export declare function downstreamLifecycleForRoute(receiptValue: unknown, expectedGenerationHash?: string): RoutedLifecycle;
98
- export declare function validateRouteTransition(previous: {
99
- lifecycle: RouteLifecycle;
100
- routeExecution: unknown;
101
- routeReceipt: unknown;
102
- generationHash: string;
103
- }, next: {
104
- lifecycle: RouteLifecycle;
105
- routeExecution: unknown;
106
- routeReceipt: unknown;
107
- generationHash: string;
108
- }): void;
109
- export declare function validateTrustedAnswerResumeTransition(previous: {
110
- lifecycle: RouteLifecycle;
111
- routeExecution: unknown;
112
- routeReceipt: unknown;
113
- generationHash: string;
114
- }, next: {
115
- lifecycle: RouteLifecycle;
116
- routeExecution: unknown;
117
- routeReceipt: unknown;
118
- generationHash: string;
119
- }, waitingHuman: WaitingHumanExecutionV1): void;
120
- //# sourceMappingURL=route-decision.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"route-decision.d.ts","sourceRoot":"","sources":["../../../src/v2/route-decision.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC5E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAUlE,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,eAAe,GAAG,eAAe,CAAC;AAEzE,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,QAAQ,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,UAAU,GAAG,UAAU,CAAC;IACjC,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,OAAO,EAAE,CAAC,CAAC;IACX,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;IAC7C,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,KAAK,EAAE,aAAa,CAAC;IACrB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACpC,QAAQ,EAAE,aAAa,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,CAAC,CAAC;IACX,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC;IACrB,gBAAgB,EAAE,CAAC,GAAG,CAAC,CAAC;CACzB;AAED,MAAM,MAAM,sBAAsB,GAAG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,SAAS,EAAE,aAAa,CAAC;IACzB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG,CAC5C;IAAE,KAAK,EAAE,cAAc,CAAA;CAAE,GACzB;IAAE,KAAK,EAAE,kBAAkB,CAAA;CAAE,GAC7B;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GAClF;IAAE,KAAK,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GACnF;IAAE,KAAK,EAAE,wBAAwB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,KAAK,EAAE,wBAAwB,CAAC;IAAC,SAAS,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GAC3I;IAAE,KAAK,EAAE,kBAAkB,CAAC;IAAC,WAAW,EAAE,sBAAsB,GAAG,sBAAsB,CAAA;CAAE,GAC3F;IAAE,KAAK,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAAA;CAAE,CAC/F,CAAC;AAEF,MAAM,MAAM,cAAc,GACtB,SAAS,GACT,UAAU,GACV,QAAQ,GACR,cAAc,GACd,eAAe,GACf,gBAAgB,GAChB,WAAW,GACX,UAAU,GACV,SAAS,GACT,YAAY,GACZ,WAAW,GACX,cAAc,GACd,SAAS,GACT,kBAAkB,GAClB,WAAW,GACX,gBAAgB,CAAC;AAErB,MAAM,MAAM,eAAe,GAAG,cAAc,GAAG,gBAAgB,GAAG,eAAe,CAAC;AAElF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEzD;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAElE;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAG/D;AAED,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,CAezF;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,kBAAkB,CAO5G;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,oBAAoB,CAWhH;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,cAAc,CAEpG;AAsDD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,EAAE,sBAAsB,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAgDxG;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,SAAS,EAAE,cAAc,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB,GAAG,IAAI,CAiCP;AAED,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,OAAO,EACrB,sBAAsB,CAAC,EAAE,MAAM,GAC9B,eAAe,CAKjB;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE;IACR,SAAS,EAAE,cAAc,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB,EACD,IAAI,EAAE;IACJ,SAAS,EAAE,cAAc,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB,GACA,IAAI,CAcN;AAED,wBAAgB,qCAAqC,CACnD,QAAQ,EAAE;IAAE,SAAS,EAAE,cAAc,CAAC;IAAC,cAAc,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,EAC/G,IAAI,EAAE;IAAE,SAAS,EAAE,cAAc,CAAC;IAAC,cAAc,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,EAC3G,YAAY,EAAE,uBAAuB,GACpC,IAAI,CAYN"}