codex-orchestrator 0.1.51 → 2.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (570) hide show
  1. package/CHANGELOG.md +21 -0
  2. package/README.md +45 -389
  3. package/dist/src/index.d.ts +16 -46
  4. package/dist/src/index.d.ts.map +1 -1
  5. package/dist/src/index.js +8 -24
  6. package/dist/src/index.js.map +1 -1
  7. package/dist/src/v2/acceptance-proof.d.ts +111 -0
  8. package/dist/src/v2/acceptance-proof.d.ts.map +1 -0
  9. package/dist/src/v2/acceptance-proof.js +427 -0
  10. package/dist/src/v2/acceptance-proof.js.map +1 -0
  11. package/dist/src/v2/adapters/command.d.ts.map +1 -0
  12. package/dist/src/v2/adapters/command.js.map +1 -0
  13. package/dist/src/v2/adapters/durable-atomic-file.d.ts.map +1 -0
  14. package/dist/src/v2/adapters/durable-atomic-file.js.map +1 -0
  15. package/dist/src/v2/adapters/gh-cli.d.ts.map +1 -0
  16. package/dist/src/v2/adapters/gh-cli.js.map +1 -0
  17. package/dist/src/v2/adapters/gh-issue-adapter.d.ts.map +1 -0
  18. package/dist/src/v2/adapters/gh-issue-adapter.js.map +1 -0
  19. package/dist/src/v2/adapters/gh-pull-request-adapter.d.ts.map +1 -0
  20. package/dist/src/v2/adapters/gh-pull-request-adapter.js.map +1 -0
  21. package/dist/src/v2/adapters/issues.d.ts.map +1 -0
  22. package/dist/src/v2/adapters/issues.js.map +1 -0
  23. package/dist/src/v2/adapters/mission-coordinator-lock.d.ts.map +1 -0
  24. package/dist/src/v2/adapters/mission-coordinator-lock.js.map +1 -0
  25. package/dist/src/v2/adapters/path-policy.d.ts.map +1 -0
  26. package/dist/src/v2/adapters/path-policy.js.map +1 -0
  27. package/dist/src/v2/adapters/pull-requests.d.ts.map +1 -0
  28. package/dist/src/v2/adapters/pull-requests.js.map +1 -0
  29. package/dist/src/v2/adapters/target-activity-fence.d.ts.map +1 -0
  30. package/dist/src/{runner → v2/adapters}/target-activity-fence.js +1 -1
  31. package/dist/src/v2/adapters/target-activity-fence.js.map +1 -0
  32. package/dist/src/{git → v2/adapters}/worktree.d.ts +1 -1
  33. package/dist/src/v2/adapters/worktree.d.ts.map +1 -0
  34. package/dist/src/{git → v2/adapters}/worktree.js +2 -2
  35. package/dist/src/v2/adapters/worktree.js.map +1 -0
  36. package/dist/src/v2/atomic-store.d.ts +36 -0
  37. package/dist/src/v2/atomic-store.d.ts.map +1 -0
  38. package/dist/src/v2/atomic-store.js +328 -0
  39. package/dist/src/v2/atomic-store.js.map +1 -0
  40. package/dist/src/v2/candidate-cli.d.ts +22 -0
  41. package/dist/src/v2/candidate-cli.d.ts.map +1 -0
  42. package/dist/src/v2/candidate-cli.js +161 -0
  43. package/dist/src/v2/candidate-cli.js.map +1 -0
  44. package/dist/src/v2/checked-change.d.ts +49 -0
  45. package/dist/src/v2/checked-change.d.ts.map +1 -0
  46. package/dist/src/v2/checked-change.js +139 -0
  47. package/dist/src/v2/checked-change.js.map +1 -0
  48. package/dist/src/v2/cli-contract.d.ts +8 -0
  49. package/dist/src/v2/cli-contract.d.ts.map +1 -0
  50. package/dist/src/v2/cli-contract.js +32 -0
  51. package/dist/src/v2/cli-contract.js.map +1 -0
  52. package/dist/src/v2/codex-process.d.ts +71 -0
  53. package/dist/src/v2/codex-process.d.ts.map +1 -0
  54. package/dist/src/v2/codex-process.js +404 -0
  55. package/dist/src/v2/codex-process.js.map +1 -0
  56. package/dist/src/v2/config.d.ts +45 -0
  57. package/dist/src/v2/config.d.ts.map +1 -0
  58. package/dist/src/v2/config.js +139 -0
  59. package/dist/src/v2/config.js.map +1 -0
  60. package/dist/src/v2/containment.d.ts +55 -0
  61. package/dist/src/v2/containment.d.ts.map +1 -0
  62. package/dist/src/v2/containment.js +370 -0
  63. package/dist/src/v2/containment.js.map +1 -0
  64. package/dist/src/v2/implementation-report.d.ts +18 -0
  65. package/dist/src/v2/implementation-report.d.ts.map +1 -0
  66. package/dist/src/v2/implementation-report.js +147 -0
  67. package/dist/src/v2/implementation-report.js.map +1 -0
  68. package/dist/src/v2/legacy-cutover.d.ts +52 -0
  69. package/dist/src/v2/legacy-cutover.d.ts.map +1 -0
  70. package/dist/src/v2/legacy-cutover.js +87 -0
  71. package/dist/src/v2/legacy-cutover.js.map +1 -0
  72. package/dist/src/v2/mobile-lease.d.ts +97 -0
  73. package/dist/src/v2/mobile-lease.d.ts.map +1 -0
  74. package/dist/src/v2/mobile-lease.js +253 -0
  75. package/dist/src/v2/mobile-lease.js.map +1 -0
  76. package/dist/src/v2/proof-report.d.ts +118 -0
  77. package/dist/src/v2/proof-report.d.ts.map +1 -0
  78. package/dist/src/v2/proof-report.js +703 -0
  79. package/dist/src/v2/proof-report.js.map +1 -0
  80. package/dist/src/v2/proof-store.d.ts +42 -0
  81. package/dist/src/v2/proof-store.d.ts.map +1 -0
  82. package/dist/src/v2/proof-store.js +180 -0
  83. package/dist/src/v2/proof-store.js.map +1 -0
  84. package/dist/src/v2/report-envelope.d.ts +4 -0
  85. package/dist/src/v2/report-envelope.d.ts.map +1 -0
  86. package/dist/src/v2/report-envelope.js +46 -0
  87. package/dist/src/v2/report-envelope.js.map +1 -0
  88. package/dist/src/v2/run-issue.d.ts +213 -0
  89. package/dist/src/v2/run-issue.d.ts.map +1 -0
  90. package/dist/src/v2/run-issue.js +906 -0
  91. package/dist/src/v2/run-issue.js.map +1 -0
  92. package/dist/src/v2/run-store.d.ts +136 -0
  93. package/dist/src/v2/run-store.d.ts.map +1 -0
  94. package/dist/src/v2/run-store.js +346 -0
  95. package/dist/src/v2/run-store.js.map +1 -0
  96. package/dist/src/v2/runtime-assets.d.ts +31 -0
  97. package/dist/src/v2/runtime-assets.d.ts.map +1 -0
  98. package/dist/src/v2/runtime-assets.js +473 -0
  99. package/dist/src/v2/runtime-assets.js.map +1 -0
  100. package/dist/src/v2/runtime.d.ts +137 -0
  101. package/dist/src/v2/runtime.d.ts.map +1 -0
  102. package/dist/src/v2/runtime.js +847 -0
  103. package/dist/src/v2/runtime.js.map +1 -0
  104. package/dist/src/v2/setup-cli.d.ts +5 -0
  105. package/dist/src/v2/setup-cli.d.ts.map +1 -0
  106. package/dist/src/v2/setup-cli.js +83 -0
  107. package/dist/src/v2/setup-cli.js.map +1 -0
  108. package/dist/src/v2/setup-runtime.d.ts +6 -0
  109. package/dist/src/v2/setup-runtime.d.ts.map +1 -0
  110. package/dist/src/v2/setup-runtime.js +213 -0
  111. package/dist/src/v2/setup-runtime.js.map +1 -0
  112. package/dist/src/v2/setup-store.d.ts +19 -0
  113. package/dist/src/v2/setup-store.d.ts.map +1 -0
  114. package/dist/src/v2/setup-store.js +208 -0
  115. package/dist/src/v2/setup-store.js.map +1 -0
  116. package/dist/src/v2/setup.d.ts +147 -0
  117. package/dist/src/v2/setup.d.ts.map +1 -0
  118. package/dist/src/v2/setup.js +529 -0
  119. package/dist/src/v2/setup.js.map +1 -0
  120. package/docs/deep-dive.md +54 -803
  121. package/internal-skills/acceptance-proof/SKILL.md +14 -0
  122. package/internal-skills/acceptance-proof/references/android.md +14 -0
  123. package/internal-skills/acceptance-proof/references/browser.md +13 -0
  124. package/internal-skills/acceptance-proof/references/ios.md +14 -0
  125. package/internal-skills/acceptance-proof/tools/android-lease.mjs +280 -0
  126. package/internal-skills/acceptance-proof/tools/ios-lease.mjs +288 -0
  127. package/internal-skills/agent-auto/SKILL.md +14 -0
  128. package/package.json +11 -18
  129. package/bridge-runtime.json +0 -2719
  130. package/dist/src/bridge-runtime.d.ts +0 -17
  131. package/dist/src/bridge-runtime.d.ts.map +0 -1
  132. package/dist/src/bridge-runtime.js +0 -170
  133. package/dist/src/bridge-runtime.js.map +0 -1
  134. package/dist/src/cli.d.ts +0 -3
  135. package/dist/src/cli.d.ts.map +0 -1
  136. package/dist/src/cli.js +0 -569
  137. package/dist/src/cli.js.map +0 -1
  138. package/dist/src/codex/command-adapter.d.ts +0 -47
  139. package/dist/src/codex/command-adapter.d.ts.map +0 -1
  140. package/dist/src/codex/command-adapter.js +0 -169
  141. package/dist/src/codex/command-adapter.js.map +0 -1
  142. package/dist/src/codex/mobile-device-guard.d.ts +0 -7
  143. package/dist/src/codex/mobile-device-guard.d.ts.map +0 -1
  144. package/dist/src/codex/mobile-device-guard.js +0 -63
  145. package/dist/src/codex/mobile-device-guard.js.map +0 -1
  146. package/dist/src/config/constants.d.ts +0 -6
  147. package/dist/src/config/constants.d.ts.map +0 -1
  148. package/dist/src/config/constants.js +0 -19
  149. package/dist/src/config/constants.js.map +0 -1
  150. package/dist/src/config/schema.d.ts +0 -234
  151. package/dist/src/config/schema.d.ts.map +0 -1
  152. package/dist/src/config/schema.js +0 -673
  153. package/dist/src/config/schema.js.map +0 -1
  154. package/dist/src/fs/durable-atomic-file.d.ts.map +0 -1
  155. package/dist/src/fs/durable-atomic-file.js.map +0 -1
  156. package/dist/src/git/base-branch.d.ts +0 -26
  157. package/dist/src/git/base-branch.d.ts.map +0 -1
  158. package/dist/src/git/base-branch.js +0 -45
  159. package/dist/src/git/base-branch.js.map +0 -1
  160. package/dist/src/git/worktree.d.ts.map +0 -1
  161. package/dist/src/git/worktree.js.map +0 -1
  162. package/dist/src/github/gh-cli.d.ts.map +0 -1
  163. package/dist/src/github/gh-cli.js.map +0 -1
  164. package/dist/src/github/gh-issue-adapter.d.ts.map +0 -1
  165. package/dist/src/github/gh-issue-adapter.js.map +0 -1
  166. package/dist/src/github/gh-pull-request-adapter.d.ts.map +0 -1
  167. package/dist/src/github/gh-pull-request-adapter.js.map +0 -1
  168. package/dist/src/github/issues.d.ts.map +0 -1
  169. package/dist/src/github/issues.js.map +0 -1
  170. package/dist/src/github/pull-requests.d.ts.map +0 -1
  171. package/dist/src/github/pull-requests.js.map +0 -1
  172. package/dist/src/package-info.d.ts +0 -6
  173. package/dist/src/package-info.d.ts.map +0 -1
  174. package/dist/src/package-info.js +0 -13
  175. package/dist/src/package-info.js.map +0 -1
  176. package/dist/src/path-policy.d.ts.map +0 -1
  177. package/dist/src/path-policy.js.map +0 -1
  178. package/dist/src/process/command.d.ts.map +0 -1
  179. package/dist/src/process/command.js.map +0 -1
  180. package/dist/src/review-handoff.d.ts +0 -3
  181. package/dist/src/review-handoff.d.ts.map +0 -1
  182. package/dist/src/review-handoff.js +0 -8
  183. package/dist/src/review-handoff.js.map +0 -1
  184. package/dist/src/runner/acceptance-proof-loop.d.ts +0 -97
  185. package/dist/src/runner/acceptance-proof-loop.d.ts.map +0 -1
  186. package/dist/src/runner/acceptance-proof-loop.js +0 -404
  187. package/dist/src/runner/acceptance-proof-loop.js.map +0 -1
  188. package/dist/src/runner/acceptance-proof-runner.d.ts +0 -24
  189. package/dist/src/runner/acceptance-proof-runner.d.ts.map +0 -1
  190. package/dist/src/runner/acceptance-proof-runner.js +0 -121
  191. package/dist/src/runner/acceptance-proof-runner.js.map +0 -1
  192. package/dist/src/runner/acceptance-proof.d.ts +0 -189
  193. package/dist/src/runner/acceptance-proof.d.ts.map +0 -1
  194. package/dist/src/runner/acceptance-proof.js +0 -594
  195. package/dist/src/runner/acceptance-proof.js.map +0 -1
  196. package/dist/src/runner/agent-attempt.d.ts +0 -105
  197. package/dist/src/runner/agent-attempt.d.ts.map +0 -1
  198. package/dist/src/runner/agent-attempt.js +0 -245
  199. package/dist/src/runner/agent-attempt.js.map +0 -1
  200. package/dist/src/runner/android-visual-proof-command.d.ts +0 -26
  201. package/dist/src/runner/android-visual-proof-command.d.ts.map +0 -1
  202. package/dist/src/runner/android-visual-proof-command.js +0 -592
  203. package/dist/src/runner/android-visual-proof-command.js.map +0 -1
  204. package/dist/src/runner/auto-visual-proof-command.d.ts +0 -15
  205. package/dist/src/runner/auto-visual-proof-command.d.ts.map +0 -1
  206. package/dist/src/runner/auto-visual-proof-command.js +0 -64
  207. package/dist/src/runner/auto-visual-proof-command.js.map +0 -1
  208. package/dist/src/runner/browser-proof-contract.d.ts +0 -134
  209. package/dist/src/runner/browser-proof-contract.d.ts.map +0 -1
  210. package/dist/src/runner/browser-proof-contract.js +0 -400
  211. package/dist/src/runner/browser-proof-contract.js.map +0 -1
  212. package/dist/src/runner/browser-visual-proof-command.d.ts +0 -101
  213. package/dist/src/runner/browser-visual-proof-command.d.ts.map +0 -1
  214. package/dist/src/runner/browser-visual-proof-command.js +0 -532
  215. package/dist/src/runner/browser-visual-proof-command.js.map +0 -1
  216. package/dist/src/runner/command-utils.d.ts +0 -15
  217. package/dist/src/runner/command-utils.d.ts.map +0 -1
  218. package/dist/src/runner/command-utils.js +0 -228
  219. package/dist/src/runner/command-utils.js.map +0 -1
  220. package/dist/src/runner/completion-report.d.ts +0 -121
  221. package/dist/src/runner/completion-report.d.ts.map +0 -1
  222. package/dist/src/runner/completion-report.js +0 -381
  223. package/dist/src/runner/completion-report.js.map +0 -1
  224. package/dist/src/runner/context-snapshot.d.ts +0 -33
  225. package/dist/src/runner/context-snapshot.d.ts.map +0 -1
  226. package/dist/src/runner/context-snapshot.js +0 -99
  227. package/dist/src/runner/context-snapshot.js.map +0 -1
  228. package/dist/src/runner/daemon-command.d.ts +0 -30
  229. package/dist/src/runner/daemon-command.d.ts.map +0 -1
  230. package/dist/src/runner/daemon-command.js +0 -262
  231. package/dist/src/runner/daemon-command.js.map +0 -1
  232. package/dist/src/runner/doctor-command.d.ts +0 -41
  233. package/dist/src/runner/doctor-command.d.ts.map +0 -1
  234. package/dist/src/runner/doctor-command.js +0 -177
  235. package/dist/src/runner/doctor-command.js.map +0 -1
  236. package/dist/src/runner/durable-run-summary.d.ts +0 -80
  237. package/dist/src/runner/durable-run-summary.d.ts.map +0 -1
  238. package/dist/src/runner/durable-run-summary.js +0 -200
  239. package/dist/src/runner/durable-run-summary.js.map +0 -1
  240. package/dist/src/runner/flutter-sdk-discovery.d.ts +0 -5
  241. package/dist/src/runner/flutter-sdk-discovery.d.ts.map +0 -1
  242. package/dist/src/runner/flutter-sdk-discovery.js +0 -103
  243. package/dist/src/runner/flutter-sdk-discovery.js.map +0 -1
  244. package/dist/src/runner/fresh-context-review.d.ts +0 -22
  245. package/dist/src/runner/fresh-context-review.d.ts.map +0 -1
  246. package/dist/src/runner/fresh-context-review.js +0 -177
  247. package/dist/src/runner/fresh-context-review.js.map +0 -1
  248. package/dist/src/runner/handoff-evidence.d.ts +0 -141
  249. package/dist/src/runner/handoff-evidence.d.ts.map +0 -1
  250. package/dist/src/runner/handoff-evidence.js +0 -543
  251. package/dist/src/runner/handoff-evidence.js.map +0 -1
  252. package/dist/src/runner/hygiene-cleanup.d.ts +0 -15
  253. package/dist/src/runner/hygiene-cleanup.d.ts.map +0 -1
  254. package/dist/src/runner/hygiene-cleanup.js +0 -25
  255. package/dist/src/runner/hygiene-cleanup.js.map +0 -1
  256. package/dist/src/runner/ios-visual-proof-command.d.ts +0 -25
  257. package/dist/src/runner/ios-visual-proof-command.d.ts.map +0 -1
  258. package/dist/src/runner/ios-visual-proof-command.js +0 -353
  259. package/dist/src/runner/ios-visual-proof-command.js.map +0 -1
  260. package/dist/src/runner/issue-state-machine.d.ts +0 -39
  261. package/dist/src/runner/issue-state-machine.d.ts.map +0 -1
  262. package/dist/src/runner/issue-state-machine.js +0 -124
  263. package/dist/src/runner/issue-state-machine.js.map +0 -1
  264. package/dist/src/runner/issue-tree.d.ts +0 -65
  265. package/dist/src/runner/issue-tree.d.ts.map +0 -1
  266. package/dist/src/runner/issue-tree.js +0 -474
  267. package/dist/src/runner/issue-tree.js.map +0 -1
  268. package/dist/src/runner/lifecycle-events.d.ts +0 -44
  269. package/dist/src/runner/lifecycle-events.d.ts.map +0 -1
  270. package/dist/src/runner/lifecycle-events.js +0 -108
  271. package/dist/src/runner/lifecycle-events.js.map +0 -1
  272. package/dist/src/runner/local-execution-session.d.ts +0 -112
  273. package/dist/src/runner/local-execution-session.d.ts.map +0 -1
  274. package/dist/src/runner/local-execution-session.js +0 -1064
  275. package/dist/src/runner/local-execution-session.js.map +0 -1
  276. package/dist/src/runner/local-state.d.ts +0 -44
  277. package/dist/src/runner/local-state.d.ts.map +0 -1
  278. package/dist/src/runner/local-state.js +0 -150
  279. package/dist/src/runner/local-state.js.map +0 -1
  280. package/dist/src/runner/mission-activation.d.ts +0 -29
  281. package/dist/src/runner/mission-activation.d.ts.map +0 -1
  282. package/dist/src/runner/mission-activation.js +0 -54
  283. package/dist/src/runner/mission-activation.js.map +0 -1
  284. package/dist/src/runner/mission-agent-broker.d.ts +0 -53
  285. package/dist/src/runner/mission-agent-broker.d.ts.map +0 -1
  286. package/dist/src/runner/mission-agent-broker.js +0 -182
  287. package/dist/src/runner/mission-agent-broker.js.map +0 -1
  288. package/dist/src/runner/mission-cancellation.d.ts +0 -77
  289. package/dist/src/runner/mission-cancellation.d.ts.map +0 -1
  290. package/dist/src/runner/mission-cancellation.js +0 -180
  291. package/dist/src/runner/mission-cancellation.js.map +0 -1
  292. package/dist/src/runner/mission-canonical-path.d.ts +0 -34
  293. package/dist/src/runner/mission-canonical-path.d.ts.map +0 -1
  294. package/dist/src/runner/mission-canonical-path.js +0 -121
  295. package/dist/src/runner/mission-canonical-path.js.map +0 -1
  296. package/dist/src/runner/mission-capability-kernel.d.ts +0 -34
  297. package/dist/src/runner/mission-capability-kernel.d.ts.map +0 -1
  298. package/dist/src/runner/mission-capability-kernel.js +0 -158
  299. package/dist/src/runner/mission-capability-kernel.js.map +0 -1
  300. package/dist/src/runner/mission-check-policy.d.ts +0 -17
  301. package/dist/src/runner/mission-check-policy.d.ts.map +0 -1
  302. package/dist/src/runner/mission-check-policy.js +0 -31
  303. package/dist/src/runner/mission-check-policy.js.map +0 -1
  304. package/dist/src/runner/mission-coordinator-lock.d.ts.map +0 -1
  305. package/dist/src/runner/mission-coordinator-lock.js.map +0 -1
  306. package/dist/src/runner/mission-deployment.d.ts +0 -21
  307. package/dist/src/runner/mission-deployment.d.ts.map +0 -1
  308. package/dist/src/runner/mission-deployment.js +0 -108
  309. package/dist/src/runner/mission-deployment.js.map +0 -1
  310. package/dist/src/runner/mission-evaluation.d.ts +0 -61
  311. package/dist/src/runner/mission-evaluation.d.ts.map +0 -1
  312. package/dist/src/runner/mission-evaluation.js +0 -183
  313. package/dist/src/runner/mission-evaluation.js.map +0 -1
  314. package/dist/src/runner/mission-executor-probe.d.ts +0 -10
  315. package/dist/src/runner/mission-executor-probe.d.ts.map +0 -1
  316. package/dist/src/runner/mission-executor-probe.js +0 -180
  317. package/dist/src/runner/mission-executor-probe.js.map +0 -1
  318. package/dist/src/runner/mission-git-contracts.d.ts +0 -75
  319. package/dist/src/runner/mission-git-contracts.d.ts.map +0 -1
  320. package/dist/src/runner/mission-git-contracts.js +0 -201
  321. package/dist/src/runner/mission-git-contracts.js.map +0 -1
  322. package/dist/src/runner/mission-git-runtime-owner-ref.d.ts +0 -13
  323. package/dist/src/runner/mission-git-runtime-owner-ref.d.ts.map +0 -1
  324. package/dist/src/runner/mission-git-runtime-owner-ref.js +0 -111
  325. package/dist/src/runner/mission-git-runtime-owner-ref.js.map +0 -1
  326. package/dist/src/runner/mission-git-transaction.d.ts +0 -97
  327. package/dist/src/runner/mission-git-transaction.d.ts.map +0 -1
  328. package/dist/src/runner/mission-git-transaction.js +0 -1009
  329. package/dist/src/runner/mission-git-transaction.js.map +0 -1
  330. package/dist/src/runner/mission-identifiers.d.ts +0 -31
  331. package/dist/src/runner/mission-identifiers.d.ts.map +0 -1
  332. package/dist/src/runner/mission-identifiers.js +0 -75
  333. package/dist/src/runner/mission-identifiers.js.map +0 -1
  334. package/dist/src/runner/mission-input-snapshot.d.ts +0 -21
  335. package/dist/src/runner/mission-input-snapshot.d.ts.map +0 -1
  336. package/dist/src/runner/mission-input-snapshot.js +0 -63
  337. package/dist/src/runner/mission-input-snapshot.js.map +0 -1
  338. package/dist/src/runner/mission-ownership.d.ts +0 -38
  339. package/dist/src/runner/mission-ownership.d.ts.map +0 -1
  340. package/dist/src/runner/mission-ownership.js +0 -88
  341. package/dist/src/runner/mission-ownership.js.map +0 -1
  342. package/dist/src/runner/mission-patch-audit.d.ts +0 -21
  343. package/dist/src/runner/mission-patch-audit.d.ts.map +0 -1
  344. package/dist/src/runner/mission-patch-audit.js +0 -186
  345. package/dist/src/runner/mission-patch-audit.js.map +0 -1
  346. package/dist/src/runner/mission-path-language.d.ts +0 -6
  347. package/dist/src/runner/mission-path-language.d.ts.map +0 -1
  348. package/dist/src/runner/mission-path-language.js +0 -106
  349. package/dist/src/runner/mission-path-language.js.map +0 -1
  350. package/dist/src/runner/mission-permit-authority.d.ts +0 -26
  351. package/dist/src/runner/mission-permit-authority.d.ts.map +0 -1
  352. package/dist/src/runner/mission-permit-authority.js +0 -145
  353. package/dist/src/runner/mission-permit-authority.js.map +0 -1
  354. package/dist/src/runner/mission-plan-parent-coordinator.d.ts +0 -87
  355. package/dist/src/runner/mission-plan-parent-coordinator.d.ts.map +0 -1
  356. package/dist/src/runner/mission-plan-parent-coordinator.js +0 -441
  357. package/dist/src/runner/mission-plan-parent-coordinator.js.map +0 -1
  358. package/dist/src/runner/mission-plan-parent.d.ts +0 -156
  359. package/dist/src/runner/mission-plan-parent.d.ts.map +0 -1
  360. package/dist/src/runner/mission-plan-parent.js +0 -589
  361. package/dist/src/runner/mission-plan-parent.js.map +0 -1
  362. package/dist/src/runner/mission-process-executor.d.ts +0 -25
  363. package/dist/src/runner/mission-process-executor.d.ts.map +0 -1
  364. package/dist/src/runner/mission-process-executor.js +0 -182
  365. package/dist/src/runner/mission-process-executor.js.map +0 -1
  366. package/dist/src/runner/mission-publication-git.d.ts +0 -21
  367. package/dist/src/runner/mission-publication-git.d.ts.map +0 -1
  368. package/dist/src/runner/mission-publication-git.js +0 -61
  369. package/dist/src/runner/mission-publication-git.js.map +0 -1
  370. package/dist/src/runner/mission-publication.d.ts +0 -192
  371. package/dist/src/runner/mission-publication.d.ts.map +0 -1
  372. package/dist/src/runner/mission-publication.js +0 -1001
  373. package/dist/src/runner/mission-publication.js.map +0 -1
  374. package/dist/src/runner/mission-quarantine-patch-executor.d.ts +0 -29
  375. package/dist/src/runner/mission-quarantine-patch-executor.d.ts.map +0 -1
  376. package/dist/src/runner/mission-quarantine-patch-executor.js +0 -121
  377. package/dist/src/runner/mission-quarantine-patch-executor.js.map +0 -1
  378. package/dist/src/runner/mission-repository-executor.d.ts +0 -54
  379. package/dist/src/runner/mission-repository-executor.d.ts.map +0 -1
  380. package/dist/src/runner/mission-repository-executor.js +0 -192
  381. package/dist/src/runner/mission-repository-executor.js.map +0 -1
  382. package/dist/src/runner/mission-repository-observer.d.ts +0 -8
  383. package/dist/src/runner/mission-repository-observer.d.ts.map +0 -1
  384. package/dist/src/runner/mission-repository-observer.js +0 -24
  385. package/dist/src/runner/mission-repository-observer.js.map +0 -1
  386. package/dist/src/runner/mission-reservations.d.ts +0 -15
  387. package/dist/src/runner/mission-reservations.d.ts.map +0 -1
  388. package/dist/src/runner/mission-reservations.js +0 -116
  389. package/dist/src/runner/mission-reservations.js.map +0 -1
  390. package/dist/src/runner/mission-resolution-loop.d.ts +0 -172
  391. package/dist/src/runner/mission-resolution-loop.d.ts.map +0 -1
  392. package/dist/src/runner/mission-resolution-loop.js +0 -318
  393. package/dist/src/runner/mission-resolution-loop.js.map +0 -1
  394. package/dist/src/runner/mission-runtime-owner.d.ts +0 -36
  395. package/dist/src/runner/mission-runtime-owner.d.ts.map +0 -1
  396. package/dist/src/runner/mission-runtime-owner.js +0 -174
  397. package/dist/src/runner/mission-runtime-owner.js.map +0 -1
  398. package/dist/src/runner/mission-safe-executor.d.ts +0 -96
  399. package/dist/src/runner/mission-safe-executor.d.ts.map +0 -1
  400. package/dist/src/runner/mission-safe-executor.js +0 -288
  401. package/dist/src/runner/mission-safe-executor.js.map +0 -1
  402. package/dist/src/runner/mission-sandbox.d.ts +0 -16
  403. package/dist/src/runner/mission-sandbox.d.ts.map +0 -1
  404. package/dist/src/runner/mission-sandbox.js +0 -91
  405. package/dist/src/runner/mission-sandbox.js.map +0 -1
  406. package/dist/src/runner/mission-scheduler.d.ts +0 -57
  407. package/dist/src/runner/mission-scheduler.d.ts.map +0 -1
  408. package/dist/src/runner/mission-scheduler.js +0 -205
  409. package/dist/src/runner/mission-scheduler.js.map +0 -1
  410. package/dist/src/runner/mission-scope-expansion.d.ts +0 -47
  411. package/dist/src/runner/mission-scope-expansion.d.ts.map +0 -1
  412. package/dist/src/runner/mission-scope-expansion.js +0 -147
  413. package/dist/src/runner/mission-scope-expansion.js.map +0 -1
  414. package/dist/src/runner/mission-state-machine.d.ts +0 -118
  415. package/dist/src/runner/mission-state-machine.d.ts.map +0 -1
  416. package/dist/src/runner/mission-state-machine.js +0 -316
  417. package/dist/src/runner/mission-state-machine.js.map +0 -1
  418. package/dist/src/runner/mission-state-store.d.ts +0 -70
  419. package/dist/src/runner/mission-state-store.d.ts.map +0 -1
  420. package/dist/src/runner/mission-state-store.js +0 -916
  421. package/dist/src/runner/mission-state-store.js.map +0 -1
  422. package/dist/src/runner/mobile-device-lease.d.ts +0 -11
  423. package/dist/src/runner/mobile-device-lease.d.ts.map +0 -1
  424. package/dist/src/runner/mobile-device-lease.js +0 -121
  425. package/dist/src/runner/mobile-device-lease.js.map +0 -1
  426. package/dist/src/runner/mobile-visual-proof-command.d.ts +0 -17
  427. package/dist/src/runner/mobile-visual-proof-command.d.ts.map +0 -1
  428. package/dist/src/runner/mobile-visual-proof-command.js +0 -168
  429. package/dist/src/runner/mobile-visual-proof-command.js.map +0 -1
  430. package/dist/src/runner/plan-auto-command.d.ts +0 -35
  431. package/dist/src/runner/plan-auto-command.d.ts.map +0 -1
  432. package/dist/src/runner/plan-auto-command.js +0 -918
  433. package/dist/src/runner/plan-auto-command.js.map +0 -1
  434. package/dist/src/runner/plan-auto-recovery.d.ts +0 -83
  435. package/dist/src/runner/plan-auto-recovery.d.ts.map +0 -1
  436. package/dist/src/runner/plan-auto-recovery.js +0 -303
  437. package/dist/src/runner/plan-auto-recovery.js.map +0 -1
  438. package/dist/src/runner/prompt.d.ts +0 -68
  439. package/dist/src/runner/prompt.d.ts.map +0 -1
  440. package/dist/src/runner/prompt.js +0 -202
  441. package/dist/src/runner/prompt.js.map +0 -1
  442. package/dist/src/runner/proof-routing.d.ts +0 -73
  443. package/dist/src/runner/proof-routing.d.ts.map +0 -1
  444. package/dist/src/runner/proof-routing.js +0 -182
  445. package/dist/src/runner/proof-routing.js.map +0 -1
  446. package/dist/src/runner/proof-strategy.d.ts +0 -21
  447. package/dist/src/runner/proof-strategy.d.ts.map +0 -1
  448. package/dist/src/runner/proof-strategy.js +0 -26
  449. package/dist/src/runner/proof-strategy.js.map +0 -1
  450. package/dist/src/runner/recovery.d.ts +0 -25
  451. package/dist/src/runner/recovery.d.ts.map +0 -1
  452. package/dist/src/runner/recovery.js +0 -89
  453. package/dist/src/runner/recovery.js.map +0 -1
  454. package/dist/src/runner/review-gate-policy.d.ts +0 -13
  455. package/dist/src/runner/review-gate-policy.d.ts.map +0 -1
  456. package/dist/src/runner/review-gate-policy.js +0 -241
  457. package/dist/src/runner/review-gate-policy.js.map +0 -1
  458. package/dist/src/runner/review-gates.d.ts +0 -28
  459. package/dist/src/runner/review-gates.d.ts.map +0 -1
  460. package/dist/src/runner/review-gates.js +0 -328
  461. package/dist/src/runner/review-gates.js.map +0 -1
  462. package/dist/src/runner/rework-policy.d.ts +0 -48
  463. package/dist/src/runner/rework-policy.d.ts.map +0 -1
  464. package/dist/src/runner/rework-policy.js +0 -150
  465. package/dist/src/runner/rework-policy.js.map +0 -1
  466. package/dist/src/runner/run-log.d.ts +0 -18
  467. package/dist/src/runner/run-log.d.ts.map +0 -1
  468. package/dist/src/runner/run-log.js +0 -53
  469. package/dist/src/runner/run-log.js.map +0 -1
  470. package/dist/src/runner/runner-handoff-decision.d.ts +0 -48
  471. package/dist/src/runner/runner-handoff-decision.d.ts.map +0 -1
  472. package/dist/src/runner/runner-handoff-decision.js +0 -93
  473. package/dist/src/runner/runner-handoff-decision.js.map +0 -1
  474. package/dist/src/runner/safety.d.ts +0 -14
  475. package/dist/src/runner/safety.d.ts.map +0 -1
  476. package/dist/src/runner/safety.js +0 -31
  477. package/dist/src/runner/safety.js.map +0 -1
  478. package/dist/src/runner/scope-isolation-policy.d.ts +0 -17
  479. package/dist/src/runner/scope-isolation-policy.d.ts.map +0 -1
  480. package/dist/src/runner/scope-isolation-policy.js +0 -82
  481. package/dist/src/runner/scope-isolation-policy.js.map +0 -1
  482. package/dist/src/runner/scoped-auto-command.d.ts +0 -90
  483. package/dist/src/runner/scoped-auto-command.d.ts.map +0 -1
  484. package/dist/src/runner/scoped-auto-command.js +0 -561
  485. package/dist/src/runner/scoped-auto-command.js.map +0 -1
  486. package/dist/src/runner/scoped-recovery.d.ts +0 -78
  487. package/dist/src/runner/scoped-recovery.d.ts.map +0 -1
  488. package/dist/src/runner/scoped-recovery.js +0 -601
  489. package/dist/src/runner/scoped-recovery.js.map +0 -1
  490. package/dist/src/runner/session-home.d.ts +0 -8
  491. package/dist/src/runner/session-home.d.ts.map +0 -1
  492. package/dist/src/runner/session-home.js +0 -18
  493. package/dist/src/runner/session-home.js.map +0 -1
  494. package/dist/src/runner/status-command.d.ts +0 -38
  495. package/dist/src/runner/status-command.d.ts.map +0 -1
  496. package/dist/src/runner/status-command.js +0 -97
  497. package/dist/src/runner/status-command.js.map +0 -1
  498. package/dist/src/runner/target-activity-fence.d.ts.map +0 -1
  499. package/dist/src/runner/target-activity-fence.js.map +0 -1
  500. package/dist/src/runner/terminal-outcome.d.ts +0 -58
  501. package/dist/src/runner/terminal-outcome.d.ts.map +0 -1
  502. package/dist/src/runner/terminal-outcome.js +0 -73
  503. package/dist/src/runner/terminal-outcome.js.map +0 -1
  504. package/dist/src/runner/visual-proof-runner.d.ts +0 -27
  505. package/dist/src/runner/visual-proof-runner.d.ts.map +0 -1
  506. package/dist/src/runner/visual-proof-runner.js +0 -379
  507. package/dist/src/runner/visual-proof-runner.js.map +0 -1
  508. package/dist/src/runner/worktree-cleanup.d.ts +0 -27
  509. package/dist/src/runner/worktree-cleanup.d.ts.map +0 -1
  510. package/dist/src/runner/worktree-cleanup.js +0 -63
  511. package/dist/src/runner/worktree-cleanup.js.map +0 -1
  512. package/dist/src/setup/codex-command-resolver.d.ts +0 -10
  513. package/dist/src/setup/codex-command-resolver.d.ts.map +0 -1
  514. package/dist/src/setup/codex-command-resolver.js +0 -91
  515. package/dist/src/setup/codex-command-resolver.js.map +0 -1
  516. package/dist/src/setup/github-label-adapter.d.ts +0 -13
  517. package/dist/src/setup/github-label-adapter.d.ts.map +0 -1
  518. package/dist/src/setup/github-label-adapter.js +0 -28
  519. package/dist/src/setup/github-label-adapter.js.map +0 -1
  520. package/dist/src/setup/labels.d.ts +0 -27
  521. package/dist/src/setup/labels.d.ts.map +0 -1
  522. package/dist/src/setup/labels.js +0 -42
  523. package/dist/src/setup/labels.js.map +0 -1
  524. package/dist/src/setup/project-config.d.ts +0 -24
  525. package/dist/src/setup/project-config.d.ts.map +0 -1
  526. package/dist/src/setup/project-config.js +0 -678
  527. package/dist/src/setup/project-config.js.map +0 -1
  528. package/dist/src/setup/prompt-sync.d.ts +0 -14
  529. package/dist/src/setup/prompt-sync.d.ts.map +0 -1
  530. package/dist/src/setup/prompt-sync.js +0 -228
  531. package/dist/src/setup/prompt-sync.js.map +0 -1
  532. package/dist/src/setup/setup-command.d.ts +0 -29
  533. package/dist/src/setup/setup-command.d.ts.map +0 -1
  534. package/dist/src/setup/setup-command.js +0 -304
  535. package/dist/src/setup/setup-command.js.map +0 -1
  536. package/dist/src/setup/skill-runtime-v2-preparation.d.ts +0 -56
  537. package/dist/src/setup/skill-runtime-v2-preparation.d.ts.map +0 -1
  538. package/dist/src/setup/skill-runtime-v2-preparation.js +0 -304
  539. package/dist/src/setup/skill-runtime-v2-preparation.js.map +0 -1
  540. package/dist/src/setup/workflows.d.ts +0 -10
  541. package/dist/src/setup/workflows.d.ts.map +0 -1
  542. package/dist/src/setup/workflows.js +0 -41
  543. package/dist/src/setup/workflows.js.map +0 -1
  544. package/prompts/setup-skill.md +0 -12
  545. package/prompts/workflows/acceptance-proof.md +0 -29
  546. package/prompts/workflows/breakdown-review.md +0 -48
  547. package/prompts/workflows/issue-breakdown.md +0 -155
  548. package/prompts/workflows/issue-tree-orchestration.md +0 -163
  549. package/prompts/workflows/prd.md +0 -80
  550. package/prompts/workflows/scoped-implementation.md +0 -129
  551. package/prompts/workflows/triage.md +0 -149
  552. /package/dist/src/{process → v2/adapters}/command.d.ts +0 -0
  553. /package/dist/src/{process → v2/adapters}/command.js +0 -0
  554. /package/dist/src/{fs → v2/adapters}/durable-atomic-file.d.ts +0 -0
  555. /package/dist/src/{fs → v2/adapters}/durable-atomic-file.js +0 -0
  556. /package/dist/src/{github → v2/adapters}/gh-cli.d.ts +0 -0
  557. /package/dist/src/{github → v2/adapters}/gh-cli.js +0 -0
  558. /package/dist/src/{github → v2/adapters}/gh-issue-adapter.d.ts +0 -0
  559. /package/dist/src/{github → v2/adapters}/gh-issue-adapter.js +0 -0
  560. /package/dist/src/{github → v2/adapters}/gh-pull-request-adapter.d.ts +0 -0
  561. /package/dist/src/{github → v2/adapters}/gh-pull-request-adapter.js +0 -0
  562. /package/dist/src/{github → v2/adapters}/issues.d.ts +0 -0
  563. /package/dist/src/{github → v2/adapters}/issues.js +0 -0
  564. /package/dist/src/{runner → v2/adapters}/mission-coordinator-lock.d.ts +0 -0
  565. /package/dist/src/{runner → v2/adapters}/mission-coordinator-lock.js +0 -0
  566. /package/dist/src/{path-policy.d.ts → v2/adapters/path-policy.d.ts} +0 -0
  567. /package/dist/src/{path-policy.js → v2/adapters/path-policy.js} +0 -0
  568. /package/dist/src/{github → v2/adapters}/pull-requests.d.ts +0 -0
  569. /package/dist/src/{github → v2/adapters}/pull-requests.js +0 -0
  570. /package/dist/src/{runner → v2/adapters}/target-activity-fence.d.ts +0 -0
@@ -1,116 +0,0 @@
1
- import { uniqueSortedPaths } from '../path-policy.js';
2
- import { assertMissionPathPattern, missionPathPatternsOverlap } from './mission-path-language.js';
3
- export class MissionReservationCoordinator {
4
- store;
5
- now;
6
- constructor(store, now = () => new Date()) {
7
- this.store = store;
8
- this.now = now;
9
- }
10
- reserve(expectedGeneration, reservation) {
11
- const normalized = normalizeReservation(reservation);
12
- const now = this.now().toISOString();
13
- if (normalized.leaseUntil <= now) {
14
- throw new Error('Mission reservation leaseUntil must be in the future.');
15
- }
16
- return this.store.mutate(expectedGeneration, (draft) => {
17
- const currentOwnerReservation = draft.reservations[normalized.missionId];
18
- if (currentOwnerReservation) {
19
- const current = parseReservation(currentOwnerReservation.value, `reservation ${normalized.missionId}`);
20
- if (current.leaseUntil > now) {
21
- if (normalized.fencingEpoch < current.fencingEpoch) {
22
- throw new Error(`Mission reservation stale fencing epoch for ${normalized.missionId}.`);
23
- }
24
- if (normalized.fencingEpoch !== current.fencingEpoch) {
25
- throw new Error(`Mission reservation renewal cannot change fencing epoch for ${normalized.missionId}.`);
26
- }
27
- if (normalized.paths.join('\0') !== current.paths.join('\0')) {
28
- throw new Error(`Mission reservation renewal cannot change scope for ${normalized.missionId}.`);
29
- }
30
- if (normalized.leaseUntil < current.leaseUntil) {
31
- throw new Error(`Mission reservation renewal cannot shorten lease for ${normalized.missionId}.`);
32
- }
33
- }
34
- }
35
- for (const [ownerId, aggregate] of Object.entries(draft.reservations)) {
36
- if (ownerId === normalized.missionId) {
37
- continue;
38
- }
39
- const existing = parseReservation(aggregate.value, `reservation ${ownerId}`);
40
- if (existing.leaseUntil <= now) {
41
- delete draft.reservations[ownerId];
42
- continue;
43
- }
44
- if (scopesOverlap(existing.paths, normalized.paths)) {
45
- throw new Error(`Mission scope reservation overlaps ${ownerId}.`);
46
- }
47
- }
48
- const current = draft.reservations[normalized.missionId];
49
- draft.reservations[normalized.missionId] = {
50
- revision: (current?.revision ?? 0) + 1,
51
- value: normalized,
52
- };
53
- });
54
- }
55
- release(expectedGeneration, missionId, fencingEpoch) {
56
- return this.store.mutate(expectedGeneration, (draft) => {
57
- const aggregate = draft.reservations[missionId];
58
- if (!aggregate) {
59
- return;
60
- }
61
- const reservation = parseReservation(aggregate.value, `reservation ${missionId}`);
62
- if (reservation.missionId !== missionId) {
63
- throw new Error(`Mission reservation owner mismatch for ${missionId}.`);
64
- }
65
- if (reservation.fencingEpoch !== fencingEpoch) {
66
- throw new Error(`Mission reservation fencing epoch mismatch for ${missionId}.`);
67
- }
68
- delete draft.reservations[missionId];
69
- });
70
- }
71
- }
72
- function normalizeReservation(reservation) {
73
- if (reservation.missionId.trim().length === 0) {
74
- throw new Error('Mission reservation missionId must be non-empty.');
75
- }
76
- if (!Number.isSafeInteger(reservation.fencingEpoch) || reservation.fencingEpoch <= 0) {
77
- throw new Error('Mission reservation fencing epoch must be a positive integer.');
78
- }
79
- const lease = Date.parse(reservation.leaseUntil);
80
- if (!Number.isFinite(lease) || new Date(lease).toISOString() !== reservation.leaseUntil) {
81
- throw new Error('Mission reservation leaseUntil must be an exact UTC ISO timestamp.');
82
- }
83
- const paths = uniqueSortedPaths(reservation.paths);
84
- if (paths.length === 0) {
85
- throw new Error('Mission reservation paths must be non-empty repository-relative globs.');
86
- }
87
- paths.forEach((path) => assertMissionPathPattern(path, 'Mission reservation path'));
88
- return { ...reservation, paths };
89
- }
90
- function parseReservation(value, context) {
91
- if (typeof value !== 'object' || value === null || Array.isArray(value)) {
92
- throw new Error(`Invalid ${context}.`);
93
- }
94
- const record = value;
95
- const exact = ['missionId', 'paths', 'fencingEpoch', 'leaseUntil'];
96
- if (Object.keys(record).length !== exact.length || exact.some((key) => !(key in record))
97
- || typeof record.missionId !== 'string'
98
- || !Array.isArray(record.paths) || record.paths.some((path) => typeof path !== 'string')
99
- || typeof record.fencingEpoch !== 'number'
100
- || typeof record.leaseUntil !== 'string') {
101
- throw new Error(`Invalid ${context}.`);
102
- }
103
- return normalizeReservation({
104
- missionId: record.missionId,
105
- paths: record.paths,
106
- fencingEpoch: record.fencingEpoch,
107
- leaseUntil: record.leaseUntil,
108
- });
109
- }
110
- function scopesOverlap(left, right) {
111
- return left.some((leftPattern) => right.some((rightPattern) => patternsOverlap(leftPattern, rightPattern)));
112
- }
113
- function patternsOverlap(left, right) {
114
- return missionPathPatternsOverlap(left, right);
115
- }
116
- //# sourceMappingURL=mission-reservations.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"mission-reservations.js","sourceRoot":"","sources":["../../../src/runner/mission-reservations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAUlG,MAAM,OAAO,6BAA6B;IAErB;IACA;IAFnB,YACmB,KAAwB,EACxB,MAAkB,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE;QADlC,UAAK,GAAL,KAAK,CAAmB;QACxB,QAAG,GAAH,GAAG,CAA+B;IAClD,CAAC;IAEG,OAAO,CACZ,kBAA0B,EAC1B,WAAoC;QAEpC,MAAM,UAAU,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,UAAU,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YACrD,MAAM,uBAAuB,GAAG,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACzE,IAAI,uBAAuB,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,gBAAgB,CAC9B,uBAAuB,CAAC,KAAK,EAC7B,eAAe,UAAU,CAAC,SAAS,EAAE,CACtC,CAAC;gBACF,IAAI,OAAO,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;oBAC7B,IAAI,UAAU,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC;wBACnD,MAAM,IAAI,KAAK,CAAC,+CAA+C,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBAC1F,CAAC;oBACD,IAAI,UAAU,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC;wBACrD,MAAM,IAAI,KAAK,CAAC,+DAA+D,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBAC1G,CAAC;oBACD,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7D,MAAM,IAAI,KAAK,CAAC,uDAAuD,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBAClG,CAAC;oBACD,IAAI,UAAU,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC;wBAC/C,MAAM,IAAI,KAAK,CAAC,wDAAwD,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;oBACnG,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBACtE,IAAI,OAAO,KAAK,UAAU,CAAC,SAAS,EAAE,CAAC;oBACrC,SAAS;gBACX,CAAC;gBACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,eAAe,OAAO,EAAE,CAAC,CAAC;gBAC7E,IAAI,QAAQ,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;oBAC/B,OAAO,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;oBACnC,SAAS;gBACX,CAAC;gBACD,IAAI,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,KAAK,CAAC,sCAAsC,OAAO,GAAG,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YACzD,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG;gBACzC,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC;gBACtC,KAAK,EAAE,UAAkC;aAC1C,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,OAAO,CACZ,kBAA0B,EAC1B,SAAiB,EACjB,YAAoB;QAEpB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE;YACrD,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO;YACT,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,eAAe,SAAS,EAAE,CAAC,CAAC;YAClF,IAAI,WAAW,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,0CAA0C,SAAS,GAAG,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,WAAW,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,kDAAkD,SAAS,GAAG,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,SAAS,oBAAoB,CAAC,WAAoC;IAChE,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,WAAW,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,UAAU,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAC5F,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC,CAAC;IACpF,OAAO,EAAE,GAAG,WAAW,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAgB,EAAE,OAAe;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,WAAW,OAAO,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,MAAM,GAAG,KAAkC,CAAC;IAClD,MAAM,KAAK,GAAG,CAAC,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC;WACnF,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;WACpC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;WACrF,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ;WACvC,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,WAAW,OAAO,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,oBAAoB,CAAC;QAC1B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,MAAM,CAAC,KAAiB;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,IAAc,EAAE,KAAe;IACpD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CAC5D,eAAe,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,KAAa;IAClD,OAAO,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACjD,CAAC"}
@@ -1,172 +0,0 @@
1
- import { type EvaluationResult, type EvaluationSnapshot } from './mission-evaluation.js';
2
- import type { MissionScopeExpansionProposal } from './mission-scope-expansion.js';
3
- export type MissionResolutionProposal = {
4
- version: 1;
5
- kind: 'runner-action';
6
- executorId: string;
7
- findingIds: string[];
8
- rationale: string;
9
- } | ({
10
- kind: 'scope-expansion';
11
- rationale: string;
12
- } & MissionScopeExpansionProposal) | {
13
- version: 1;
14
- kind: 'external-input';
15
- evidence: string[];
16
- resumePredicate: string;
17
- } | {
18
- version: 1;
19
- kind: 'safety-stop';
20
- evidence: string[];
21
- invariant: string;
22
- };
23
- export interface MissionResolutionPermit {
24
- id: string;
25
- actionKey: string;
26
- strategyFingerprint: string;
27
- proposal: MissionResolutionProposal;
28
- }
29
- export interface MissionExecutionReceipt {
30
- id: string;
31
- actionKey: string;
32
- evidenceRefs: string[];
33
- }
34
- export type MissionAuthorizationDecision = {
35
- kind: 'allowed';
36
- permit: MissionResolutionPermit;
37
- } | {
38
- kind: 'rejected-recoverable';
39
- reason: string;
40
- alternatives: string[];
41
- } | {
42
- kind: 'temporary';
43
- reason: string;
44
- nextEligibleAt: string;
45
- } | {
46
- kind: 'external-input-required';
47
- evidence: string[];
48
- resumePredicate: string;
49
- } | {
50
- kind: 'safety-stop';
51
- evidence: string[];
52
- invariant: string;
53
- };
54
- export type MissionExecutionDecision = {
55
- kind: 'completed';
56
- receipt: MissionExecutionReceipt;
57
- } | {
58
- kind: 'deterministic-failure';
59
- reason: string;
60
- alternatives: string[];
61
- } | {
62
- kind: 'transient';
63
- reason: string;
64
- nextEligibleAt: string;
65
- };
66
- export type MissionReconciliationDecision = {
67
- kind: 'satisfied';
68
- snapshot: EvaluationSnapshot;
69
- scope: string[];
70
- validationReceiptIds: string[];
71
- acceptanceCoverage: string[];
72
- } | {
73
- kind: 'transient';
74
- reason: string;
75
- nextEligibleAt: string;
76
- } | {
77
- kind: 'external-input-required';
78
- evidence: string[];
79
- resumePredicate: string;
80
- } | {
81
- kind: 'safety-stop';
82
- evidence: string[];
83
- invariant: string;
84
- };
85
- export interface MissionDiagnosisContext {
86
- missionId: string;
87
- snapshot: EvaluationSnapshot;
88
- evaluation: EvaluationResult;
89
- alternatives: string[];
90
- suppressedStrategyFingerprints: string[];
91
- history: MissionStrategyHistory[];
92
- }
93
- export interface MissionStrategyHistory {
94
- actionKey: string;
95
- strategyFingerprint: string;
96
- outcome: 'authorization-rejected' | 'deterministic-failure' | 'strategy-stagnated' | 'proposal-suppressed' | 'progress';
97
- reason?: string;
98
- alternatives?: string[];
99
- }
100
- export interface MissionResolutionResume {
101
- stage: 'authorizing' | 'executing' | 'reconciling';
102
- actionKey: string;
103
- strategyFingerprint: string;
104
- proposal: MissionResolutionProposal;
105
- permit?: MissionResolutionPermit;
106
- receipt?: MissionExecutionReceipt;
107
- }
108
- export interface MissionResolutionInput {
109
- missionId: string;
110
- snapshot: EvaluationSnapshot;
111
- scope: string[];
112
- validationReceiptIds: string[];
113
- acceptanceCoverage: string[];
114
- maxSteps: number;
115
- history?: MissionStrategyHistory[];
116
- resume?: MissionResolutionResume;
117
- }
118
- export interface MissionResolutionDependencies {
119
- diagnose(context: Readonly<MissionDiagnosisContext>): Promise<MissionResolutionProposal>;
120
- authorize(input: Readonly<{
121
- missionId: string;
122
- snapshot: EvaluationSnapshot;
123
- evaluation: EvaluationResult;
124
- proposal: MissionResolutionProposal;
125
- actionKey: string;
126
- strategyFingerprint: string;
127
- }>): Promise<MissionAuthorizationDecision>;
128
- execute(input: Readonly<{
129
- missionId: string;
130
- actionKey: string;
131
- strategyFingerprint: string;
132
- proposal: MissionResolutionProposal;
133
- permit: MissionResolutionPermit;
134
- }>): Promise<MissionExecutionDecision>;
135
- reconcile(input: Readonly<{
136
- missionId: string;
137
- snapshot: EvaluationSnapshot;
138
- proposal: MissionResolutionProposal;
139
- permit: MissionResolutionPermit;
140
- receipt: MissionExecutionReceipt;
141
- }>): Promise<MissionReconciliationDecision>;
142
- nextEligibleAt(reason: string): string;
143
- }
144
- export type MissionResolutionOutcome = {
145
- kind: 'candidate-ready';
146
- snapshot: EvaluationSnapshot;
147
- evaluation: EvaluationResult;
148
- history: MissionStrategyHistory[];
149
- scope: string[];
150
- validationReceiptIds: string[];
151
- acceptanceCoverage: string[];
152
- } | {
153
- kind: 'resumable';
154
- resumeTarget: 'authorizing' | 'executing' | 'reconciling' | 'diagnosing';
155
- reason: string;
156
- nextEligibleAt: string;
157
- resume?: MissionResolutionResume;
158
- history: MissionStrategyHistory[];
159
- } | {
160
- kind: 'external-input-required';
161
- evidence: string[];
162
- resumePredicate: string;
163
- history: MissionStrategyHistory[];
164
- } | {
165
- kind: 'safety-stop';
166
- evidence: string[];
167
- invariant: string;
168
- history: MissionStrategyHistory[];
169
- };
170
- export declare function runResolutionMission(input: MissionResolutionInput, dependencies: MissionResolutionDependencies): Promise<MissionResolutionOutcome>;
171
- export declare function missionStrategyFingerprint(proposal: MissionResolutionProposal): string;
172
- //# sourceMappingURL=mission-resolution-loop.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"mission-resolution-loop.d.ts","sourceRoot":"","sources":["../../../src/runner/mission-resolution-loop.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAElF,MAAM,MAAM,yBAAyB,GACjC;IACE,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD,CAAC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,6BAA6B,CAAC,GAChF;IACE,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB,GACD;IACE,OAAO,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEN,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,yBAAyB,CAAC;CACrC;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,MAAM,4BAA4B,GACpC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,yBAAyB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,uBAAuB,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,EAAE,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAElE,MAAM,MAAM,6BAA6B,GACrC;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B,GACD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,yBAAyB,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE,MAAM,WAAW,uBAAuB;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,8BAA8B,EAAE,MAAM,EAAE,CAAC;IACzC,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,OAAO,EACH,wBAAwB,GACxB,uBAAuB,GACvB,oBAAoB,GACpB,qBAAqB,GACrB,UAAU,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,aAAa,GAAG,WAAW,GAAG,aAAa,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,QAAQ,EAAE,yBAAyB,CAAC;IACpC,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,OAAO,CAAC,EAAE,uBAAuB,CAAC;CACnC;AAED,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,uBAAuB,CAAC;CAClC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IACzF,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,kBAAkB,CAAC;QAC7B,UAAU,EAAE,gBAAgB,CAAC;QAC7B,QAAQ,EAAE,yBAAyB,CAAC;QACpC,SAAS,EAAE,MAAM,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,QAAQ,EAAE,yBAAyB,CAAC;QACpC,MAAM,EAAE,uBAAuB,CAAC;KACjC,CAAC,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;IACvC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,kBAAkB,CAAC;QAC7B,QAAQ,EAAE,yBAAyB,CAAC;QACpC,MAAM,EAAE,uBAAuB,CAAC;QAChC,OAAO,EAAE,uBAAuB,CAAC;KAClC,CAAC,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC5C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;CACxC;AAED,MAAM,MAAM,wBAAwB,GAChC;IACE,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,UAAU,EAAE,gBAAgB,CAAC;IAC7B,OAAO,EAAE,sBAAsB,EAAE,CAAC;IAClC,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,YAAY,EAAE,aAAa,GAAG,WAAW,GAAG,aAAa,GAAG,YAAY,CAAC;IACzE,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,uBAAuB,CAAC;IACjC,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC,GACD;IACE,IAAI,EAAE,yBAAyB,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,sBAAsB,EAAE,CAAC;CACnC,CAAC;AAEN,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,sBAAsB,EAC7B,YAAY,EAAE,6BAA6B,GAC1C,OAAO,CAAC,wBAAwB,CAAC,CAmNnC;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,yBAAyB,GAAG,MAAM,CAEtF"}
@@ -1,318 +0,0 @@
1
- import { createHash } from 'node:crypto';
2
- import { evaluate, } from './mission-evaluation.js';
3
- export async function runResolutionMission(input, dependencies) {
4
- assertInput(input);
5
- let snapshot = structuredClone(input.snapshot);
6
- let scope = unique(input.scope);
7
- let validationReceiptIds = unique(input.validationReceiptIds);
8
- let acceptanceCoverage = unique(input.acceptanceCoverage);
9
- const history = structuredClone(input.history ?? []);
10
- let alternatives = latestAlternatives(history);
11
- let resume = input.resume ? structuredClone(input.resume) : undefined;
12
- for (let step = 0; step < input.maxSteps; step += 1) {
13
- const evaluation = evaluate(snapshot);
14
- const direct = directEvaluationOutcome(evaluation, history);
15
- if (direct)
16
- return direct;
17
- if (evaluation.blockingDisposition === 'none') {
18
- return {
19
- kind: 'candidate-ready',
20
- snapshot,
21
- evaluation,
22
- history,
23
- scope,
24
- validationReceiptIds,
25
- acceptanceCoverage,
26
- };
27
- }
28
- let proposal;
29
- let strategyFingerprint;
30
- let actionKey;
31
- if (resume) {
32
- ({ proposal, strategyFingerprint, actionKey } = resume);
33
- }
34
- else {
35
- const suppressed = suppressedFingerprints(history);
36
- proposal = await dependencies.diagnose({
37
- missionId: input.missionId,
38
- snapshot: structuredClone(snapshot),
39
- evaluation: structuredClone(evaluation),
40
- alternatives: [...alternatives],
41
- suppressedStrategyFingerprints: suppressed,
42
- history: structuredClone(history),
43
- });
44
- strategyFingerprint = missionStrategyFingerprint(proposal);
45
- actionKey = missionActionKey(input.missionId, snapshot, strategyFingerprint);
46
- if (suppressed.includes(strategyFingerprint)) {
47
- history.push({
48
- actionKey,
49
- strategyFingerprint,
50
- outcome: 'proposal-suppressed',
51
- reason: 'strategy-already-completed-without-progress',
52
- alternatives: ['choose a materially different strategy'],
53
- });
54
- alternatives = ['choose a materially different strategy'];
55
- continue;
56
- }
57
- }
58
- if (resume && (strategyFingerprint !== missionStrategyFingerprint(proposal)
59
- || actionKey !== missionActionKey(input.missionId, snapshot, strategyFingerprint))) {
60
- return safety([actionKey], 'stale-resolution-resume', history);
61
- }
62
- let permit = resume?.permit;
63
- if (!resume || resume.stage === 'authorizing') {
64
- const authorization = await dependencies.authorize({
65
- missionId: input.missionId,
66
- snapshot: structuredClone(snapshot),
67
- evaluation: structuredClone(evaluation),
68
- proposal: structuredClone(proposal),
69
- actionKey,
70
- strategyFingerprint,
71
- });
72
- if (authorization.kind === 'rejected-recoverable') {
73
- alternatives = unique(authorization.alternatives);
74
- history.push({
75
- actionKey,
76
- strategyFingerprint,
77
- outcome: 'authorization-rejected',
78
- reason: authorization.reason,
79
- alternatives,
80
- });
81
- resume = undefined;
82
- continue;
83
- }
84
- if (authorization.kind === 'temporary') {
85
- return resumable('authorizing', authorization.reason, authorization.nextEligibleAt, history, {
86
- stage: 'authorizing', actionKey, strategyFingerprint, proposal,
87
- });
88
- }
89
- if (authorization.kind === 'external-input-required') {
90
- return external(authorization.evidence, authorization.resumePredicate, history);
91
- }
92
- if (authorization.kind === 'safety-stop') {
93
- return safety(authorization.evidence, authorization.invariant, history);
94
- }
95
- if (proposal.kind === 'external-input' || proposal.kind === 'safety-stop') {
96
- return safety([
97
- `proposal:${proposal.kind}`,
98
- `authorization:${authorization.kind}`,
99
- ], 'terminal-boundary-not-runner-verified', history);
100
- }
101
- requireText(authorization.permit.id, 'permit.id');
102
- permit = {
103
- ...structuredClone(authorization.permit),
104
- actionKey,
105
- strategyFingerprint,
106
- proposal: structuredClone(proposal),
107
- };
108
- }
109
- if (!permit)
110
- throw new Error('Mission resolution authorization produced no permit.');
111
- let receipt = resume?.receipt;
112
- if (!resume || resume.stage !== 'reconciling') {
113
- const execution = await dependencies.execute({
114
- missionId: input.missionId,
115
- actionKey,
116
- strategyFingerprint,
117
- proposal: structuredClone(proposal),
118
- permit: structuredClone(permit),
119
- });
120
- if (execution.kind === 'transient') {
121
- return resumable('executing', execution.reason, execution.nextEligibleAt, history, {
122
- stage: 'executing', actionKey, strategyFingerprint, proposal, permit,
123
- });
124
- }
125
- if (execution.kind === 'deterministic-failure') {
126
- alternatives = unique(execution.alternatives);
127
- history.push({
128
- actionKey,
129
- strategyFingerprint,
130
- outcome: 'deterministic-failure',
131
- reason: execution.reason,
132
- alternatives,
133
- });
134
- resume = undefined;
135
- continue;
136
- }
137
- receipt = structuredClone(execution.receipt);
138
- requireText(receipt.id, 'receipt.id');
139
- if (receipt.actionKey !== actionKey) {
140
- return safety([`expected:${actionKey}`, `received:${receipt.actionKey}`], 'execution-receipt-action-mismatch', history);
141
- }
142
- }
143
- if (!receipt)
144
- throw new Error('Mission resolution execution produced no receipt.');
145
- const before = progressVector({
146
- snapshot,
147
- evaluation,
148
- scope,
149
- validationReceiptIds,
150
- acceptanceCoverage,
151
- strategyFingerprint,
152
- });
153
- const reconciliation = await dependencies.reconcile({
154
- missionId: input.missionId,
155
- snapshot: structuredClone(snapshot),
156
- proposal: structuredClone(proposal),
157
- permit: structuredClone(permit),
158
- receipt: structuredClone(receipt),
159
- });
160
- if (reconciliation.kind === 'transient') {
161
- return resumable('reconciling', reconciliation.reason, reconciliation.nextEligibleAt, history, {
162
- stage: 'reconciling', actionKey, strategyFingerprint, proposal, permit, receipt,
163
- });
164
- }
165
- if (reconciliation.kind === 'external-input-required') {
166
- return external(reconciliation.evidence, reconciliation.resumePredicate, history);
167
- }
168
- if (reconciliation.kind === 'safety-stop') {
169
- return safety(reconciliation.evidence, reconciliation.invariant, history);
170
- }
171
- if (reconciliation.snapshot.issueNumber !== snapshot.issueNumber
172
- || reconciliation.snapshot.baseSha !== snapshot.baseSha
173
- || reconciliation.snapshot.configHash !== snapshot.configHash) {
174
- return safety([
175
- `expected:${snapshot.issueNumber}:${snapshot.baseSha}:${snapshot.configHash}`,
176
- `received:${reconciliation.snapshot.issueNumber}:${reconciliation.snapshot.baseSha}:${reconciliation.snapshot.configHash}`,
177
- ], 'reconciliation-snapshot-identity-mismatch', history);
178
- }
179
- snapshot = structuredClone(reconciliation.snapshot);
180
- scope = unique(reconciliation.scope);
181
- validationReceiptIds = unique(reconciliation.validationReceiptIds);
182
- acceptanceCoverage = unique(reconciliation.acceptanceCoverage);
183
- const reevaluation = evaluate(snapshot);
184
- const after = progressVector({
185
- snapshot,
186
- evaluation: reevaluation,
187
- scope,
188
- validationReceiptIds,
189
- acceptanceCoverage,
190
- strategyFingerprint,
191
- });
192
- history.push({
193
- actionKey,
194
- strategyFingerprint,
195
- outcome: before === after ? 'strategy-stagnated' : 'progress',
196
- ...(before === after ? {
197
- reason: 'deterministic-action-left-progress-vector-unchanged',
198
- alternatives: ['choose a materially different strategy'],
199
- } : {}),
200
- });
201
- alternatives = before === after ? ['choose a materially different strategy'] : [];
202
- resume = undefined;
203
- }
204
- return {
205
- kind: 'resumable',
206
- resumeTarget: 'diagnosing',
207
- reason: 'resolution-step-budget-exhausted',
208
- nextEligibleAt: dependencies.nextEligibleAt('resolution-step-budget-exhausted'),
209
- history,
210
- };
211
- }
212
- export function missionStrategyFingerprint(proposal) {
213
- return digest(['mission-strategy-v1', canonicalize(proposal)]);
214
- }
215
- function missionActionKey(missionId, snapshot, strategyFingerprint) {
216
- return `action:v1:${digest([missionId, progressSnapshotIdentity(snapshot), strategyFingerprint]).slice(7)}`;
217
- }
218
- function progressVector(input) {
219
- return canonicalize({
220
- findingIds: input.evaluation.findings.map((finding) => `${finding.disposition}:${finding.id}`),
221
- candidate: normalizedCandidateIdentity(input.snapshot.candidateIdentity),
222
- scope: unique(input.scope),
223
- validationReceiptIds: unique(input.validationReceiptIds),
224
- acceptanceCoverage: unique(input.acceptanceCoverage),
225
- strategyFingerprint: input.strategyFingerprint,
226
- });
227
- }
228
- function progressSnapshotIdentity(snapshot) {
229
- return digest([
230
- snapshot.issueNumber,
231
- snapshot.baseSha,
232
- snapshot.configHash,
233
- normalizedCandidateIdentity(snapshot.candidateIdentity),
234
- ]);
235
- }
236
- function directEvaluationOutcome(evaluation, history) {
237
- if (evaluation.blockingDisposition === 'safety-stop') {
238
- const findings = evaluation.findings.filter((finding) => finding.disposition === 'safety-stop');
239
- return safety(findings.flatMap((finding) => [finding.id, ...finding.evidenceRefs]), findings.map((finding) => finding.key).join(',') || 'evaluation-safety-stop', history);
240
- }
241
- if (evaluation.blockingDisposition === 'external-input') {
242
- const findings = evaluation.findings.filter((finding) => finding.disposition === 'external-input');
243
- return external(findings.flatMap((finding) => [finding.id, ...finding.evidenceRefs]), findings.map((finding) => finding.reason).join('\n'), history);
244
- }
245
- return undefined;
246
- }
247
- function resumable(resumeTarget, reason, nextEligibleAt, history, resume) {
248
- return { kind: 'resumable', resumeTarget, reason, nextEligibleAt, resume, history };
249
- }
250
- function external(evidence, resumePredicate, history) {
251
- assertEvidence(evidence, 'external-input');
252
- requireText(resumePredicate, 'resumePredicate');
253
- return {
254
- kind: 'external-input-required',
255
- evidence: unique(evidence),
256
- resumePredicate,
257
- history,
258
- };
259
- }
260
- function safety(evidence, invariant, history) {
261
- assertEvidence(evidence, 'safety-stop');
262
- requireText(invariant, 'invariant');
263
- return { kind: 'safety-stop', evidence: unique(evidence), invariant, history };
264
- }
265
- function latestAlternatives(history) {
266
- return unique(history.at(-1)?.alternatives ?? []);
267
- }
268
- function suppressedFingerprints(history) {
269
- return unique(history
270
- .filter((entry) => entry.outcome === 'authorization-rejected'
271
- || entry.outcome === 'deterministic-failure'
272
- || entry.outcome === 'strategy-stagnated'
273
- || entry.outcome === 'proposal-suppressed')
274
- .map((entry) => entry.strategyFingerprint));
275
- }
276
- function canonicalize(value) {
277
- if (Array.isArray(value))
278
- return `[${value.map(canonicalize).join(',')}]`;
279
- if (value && typeof value === 'object') {
280
- return `{${Object.entries(value)
281
- .filter(([, item]) => item !== undefined)
282
- .sort(([left], [right]) => compareCodeUnits(left, right))
283
- .map(([key, item]) => `${JSON.stringify(key)}:${canonicalize(item)}`)
284
- .join(',')}}`;
285
- }
286
- return JSON.stringify(value);
287
- }
288
- function digest(value) {
289
- return `sha256:${createHash('sha256').update(canonicalize(value)).digest('hex')}`;
290
- }
291
- function normalizedCandidateIdentity(candidate) {
292
- return candidate.kind === 'legacy-unobserved'
293
- ? { ...candidate }
294
- : { ...candidate, changedFiles: unique(candidate.changedFiles) };
295
- }
296
- function compareCodeUnits(left, right) {
297
- return left < right ? -1 : left > right ? 1 : 0;
298
- }
299
- function unique(values) {
300
- return Array.from(new Set(values.map((value) => value.trim()).filter(Boolean))).sort();
301
- }
302
- function assertInput(input) {
303
- requireText(input.missionId, 'missionId');
304
- if (!Number.isSafeInteger(input.maxSteps) || input.maxSteps <= 0) {
305
- throw new Error('Mission resolution maxSteps must be a positive integer.');
306
- }
307
- }
308
- function assertEvidence(evidence, kind) {
309
- if (unique(evidence).length === 0) {
310
- throw new Error(`Mission resolution ${kind} requires evidence.`);
311
- }
312
- }
313
- function requireText(value, field) {
314
- if (value.trim().length === 0) {
315
- throw new Error(`Mission resolution ${field} must be non-empty.`);
316
- }
317
- }
318
- //# sourceMappingURL=mission-resolution-loop.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"mission-resolution-loop.js","sourceRoot":"","sources":["../../../src/runner/mission-resolution-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,QAAQ,GAGT,MAAM,yBAAyB,CAAC;AAkKjC,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,KAA6B,EAC7B,YAA2C;IAE3C,WAAW,CAAC,KAAK,CAAC,CAAC;IACnB,IAAI,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,oBAAoB,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC9D,IAAI,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACrD,IAAI,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEtE,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,IAAI,UAAU,CAAC,mBAAmB,KAAK,MAAM,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,iBAAiB;gBACvB,QAAQ;gBACR,UAAU;gBACV,OAAO;gBACP,KAAK;gBACL,oBAAoB;gBACpB,kBAAkB;aACnB,CAAC;QACJ,CAAC;QAED,IAAI,QAAmC,CAAC;QACxC,IAAI,mBAA2B,CAAC;QAChC,IAAI,SAAiB,CAAC;QACtB,IAAI,MAAM,EAAE,CAAC;YACX,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;YACnD,QAAQ,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC;gBACrC,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC;gBACvC,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC;gBAC/B,8BAA8B,EAAE,UAAU;gBAC1C,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;aAClC,CAAC,CAAC;YACH,mBAAmB,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YAC3D,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC;YAC7E,IAAI,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC7C,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS;oBACT,mBAAmB;oBACnB,OAAO,EAAE,qBAAqB;oBAC9B,MAAM,EAAE,6CAA6C;oBACrD,YAAY,EAAE,CAAC,wCAAwC,CAAC;iBACzD,CAAC,CAAC;gBACH,YAAY,GAAG,CAAC,wCAAwC,CAAC,CAAC;gBAC1D,SAAS;YACX,CAAC;QACH,CAAC;QACD,IAAI,MAAM,IAAI,CAAC,mBAAmB,KAAK,0BAA0B,CAAC,QAAQ,CAAC;eACtE,SAAS,KAAK,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC;YACrF,OAAO,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,yBAAyB,EAAE,OAAO,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC;QAC5B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC9C,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC;gBACjD,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,UAAU,EAAE,eAAe,CAAC,UAAU,CAAC;gBACvC,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,SAAS;gBACT,mBAAmB;aACpB,CAAC,CAAC;YACH,IAAI,aAAa,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAClD,YAAY,GAAG,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;gBAClD,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS;oBACT,mBAAmB;oBACnB,OAAO,EAAE,wBAAwB;oBACjC,MAAM,EAAE,aAAa,CAAC,MAAM;oBAC5B,YAAY;iBACb,CAAC,CAAC;gBACH,MAAM,GAAG,SAAS,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,OAAO,SAAS,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,EAAE,OAAO,EAAE;oBAC3F,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ;iBAC/D,CAAC,CAAC;YACL,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;gBACrD,OAAO,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;YAClF,CAAC;YACD,IAAI,aAAa,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACzC,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC1E,OAAO,MAAM,CAAC;oBACZ,YAAY,QAAQ,CAAC,IAAI,EAAE;oBAC3B,iBAAiB,aAAa,CAAC,IAAI,EAAE;iBACtC,EAAE,uCAAuC,EAAE,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;YAClD,MAAM,GAAG;gBACP,GAAG,eAAe,CAAC,aAAa,CAAC,MAAM,CAAC;gBACxC,SAAS;gBACT,mBAAmB;gBACnB,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;aACpC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAErF,IAAI,OAAO,GAAG,MAAM,EAAE,OAAO,CAAC;QAC9B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,aAAa,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC;gBAC3C,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,SAAS;gBACT,mBAAmB;gBACnB,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;gBACnC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;aAChC,CAAC,CAAC;YACH,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,cAAc,EAAE,OAAO,EAAE;oBACjF,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM;iBACrE,CAAC,CAAC;YACL,CAAC;YACD,IAAI,SAAS,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBAC/C,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS;oBACT,mBAAmB;oBACnB,OAAO,EAAE,uBAAuB;oBAChC,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,YAAY;iBACb,CAAC,CAAC;gBACH,MAAM,GAAG,SAAS,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7C,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;YACtC,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,MAAM,CAAC,CAAC,YAAY,SAAS,EAAE,EAAE,YAAY,OAAO,CAAC,SAAS,EAAE,CAAC,EACtE,mCAAmC,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QAEnF,MAAM,MAAM,GAAG,cAAc,CAAC;YAC5B,QAAQ;YACR,UAAU;YACV,KAAK;YACL,oBAAoB;YACpB,kBAAkB;YAClB,mBAAmB;SACpB,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC;YAClD,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;YACnC,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC;YACnC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;YAC/B,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACxC,OAAO,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,cAAc,EAAE,OAAO,EAAE;gBAC7F,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO;aAChF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YACtD,OAAO,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1C,OAAO,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,cAAc,CAAC,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;eAC3D,cAAc,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;eACpD,cAAc,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC;gBACZ,YAAY,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,UAAU,EAAE;gBAC7E,YAAY,cAAc,CAAC,QAAQ,CAAC,WAAW,IAAI,cAAc,CAAC,QAAQ,CAAC,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE;aAC3H,EAAE,2CAA2C,EAAE,OAAO,CAAC,CAAC;QAC3D,CAAC;QACD,QAAQ,GAAG,eAAe,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QACpD,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACrC,oBAAoB,GAAG,MAAM,CAAC,cAAc,CAAC,oBAAoB,CAAC,CAAC;QACnE,kBAAkB,GAAG,MAAM,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,cAAc,CAAC;YAC3B,QAAQ;YACR,UAAU,EAAE,YAAY;YACxB,KAAK;YACL,oBAAoB;YACpB,kBAAkB;YAClB,mBAAmB;SACpB,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC;YACX,SAAS;YACT,mBAAmB;YACnB,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU;YAC7D,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC;gBACrB,MAAM,EAAE,qDAAqD;gBAC7D,YAAY,EAAE,CAAC,wCAAwC,CAAC;aACzD,CAAC,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;QACH,YAAY,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,YAAY,EAAE,YAAY;QAC1B,MAAM,EAAE,kCAAkC;QAC1C,cAAc,EAAE,YAAY,CAAC,cAAc,CAAC,kCAAkC,CAAC;QAC/E,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAAmC;IAC5E,OAAO,MAAM,CAAC,CAAC,qBAAqB,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAiB,EACjB,QAA4B,EAC5B,mBAA2B;IAE3B,OAAO,aAAa,MAAM,CAAC,CAAC,SAAS,EAAE,wBAAwB,CAAC,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,cAAc,CAAC,KAOvB;IACC,OAAO,YAAY,CAAC;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;QAC9F,SAAS,EAAE,2BAA2B,CAAC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACxE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAC1B,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;QACxD,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC;QACpD,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA4B;IAC5D,OAAO,MAAM,CAAC;QACZ,QAAQ,CAAC,WAAW;QACpB,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,UAAU;QACnB,2BAA2B,CAAC,QAAQ,CAAC,iBAAiB,CAAC;KACxD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC9B,UAA4B,EAC5B,OAAiC;IAEjC,IAAI,UAAU,CAAC,mBAAmB,KAAK,aAAa,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,aAAa,CAAC,CAAC;QAChG,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,EAChF,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,wBAAwB,EAAE,OAAO,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,UAAU,CAAC,mBAAmB,KAAK,gBAAgB,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,gBAAgB,CAAC,CAAC;QACnG,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,EAClF,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,YAAyD,EACzD,MAAc,EACd,cAAsB,EACtB,OAAiC,EACjC,MAA+B;IAE/B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,QAAQ,CACf,QAAkB,EAClB,eAAuB,EACvB,OAAiC;IAEjC,cAAc,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IAC3C,WAAW,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IAChD,OAAO;QACL,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;QAC1B,eAAe;QACf,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,QAAkB,EAClB,SAAiB,EACjB,OAAiC;IAEjC,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACxC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAiC;IAC3D,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAiC;IAC/D,OAAO,MAAM,CAAC,OAAO;SAClB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,wBAAwB;WACxD,KAAK,CAAC,OAAO,KAAK,uBAAuB;WACzC,KAAK,CAAC,OAAO,KAAK,oBAAoB;WACtC,KAAK,CAAC,OAAO,KAAK,qBAAqB,CAAC;SAC5C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1E,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aACxD,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;aACxC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;aACpE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,2BAA2B,CAClC,SAAkD;IAElD,OAAO,SAAS,CAAC,IAAI,KAAK,mBAAmB;QAC3C,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE;QAClB,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACnD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,MAAgB;IAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACzF,CAAC;AAED,SAAS,WAAW,CAAC,KAA6B;IAChD,WAAW,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB,EAAE,IAAY;IACtD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,qBAAqB,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa;IAC/C,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,sBAAsB,KAAK,qBAAqB,CAAC,CAAC;IACpE,CAAC;AACH,CAAC"}