@astrosheep/keiyaku 2.9.12 → 4.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 (655) hide show
  1. package/README.md +10 -126
  2. package/build/integrations/marketplace/.agents/plugins/marketplace.json +12 -0
  3. package/build/integrations/marketplace/.claude-plugin/marketplace.json +5 -0
  4. package/build/integrations/marketplace/plugins/keiyaku/.claude-plugin/plugin.json +7 -0
  5. package/build/integrations/marketplace/plugins/keiyaku/.codex-plugin/plugin.json +18 -0
  6. package/build/integrations/marketplace/plugins/keiyaku/opencode.js +16 -0
  7. package/build/integrations/marketplace/plugins/keiyaku/package.json +8 -0
  8. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku/SKILL.md +34 -0
  9. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-akuma/SKILL.md +50 -0
  10. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-task/SKILL.md +62 -0
  11. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-workflow/SKILL.md +72 -0
  12. package/build/src/akuma/activity.d.ts +66 -0
  13. package/build/src/akuma/activity.js +139 -0
  14. package/build/src/akuma/akuma.d.ts +116 -0
  15. package/build/src/akuma/akuma.js +382 -0
  16. package/build/src/akuma/archetype.d.ts +31 -0
  17. package/build/src/akuma/archetype.js +188 -0
  18. package/build/src/akuma/body.d.ts +20 -0
  19. package/build/src/akuma/body.js +305 -0
  20. package/build/src/akuma/heart/facts.d.ts +150 -0
  21. package/build/src/akuma/heart/facts.js +9 -0
  22. package/build/src/akuma/heart/index.d.ts +78 -0
  23. package/build/src/akuma/heart/index.js +361 -0
  24. package/build/src/akuma/heart/rows.d.ts +189 -0
  25. package/build/src/akuma/heart/rows.js +319 -0
  26. package/build/src/akuma/heart/schema.d.ts +5 -0
  27. package/build/src/akuma/heart/schema.js +113 -0
  28. package/build/src/akuma/identity.d.ts +46 -0
  29. package/build/src/akuma/identity.js +89 -0
  30. package/build/src/akuma/index.d.ts +7 -0
  31. package/build/src/akuma/index.js +3 -0
  32. package/build/src/akuma/provider.d.ts +123 -0
  33. package/build/src/akuma/provider.js +235 -0
  34. package/build/src/akuma/providers/claude.d.ts +84 -0
  35. package/build/src/akuma/providers/claude.js +305 -0
  36. package/build/src/akuma/providers/codex-app-server/events.d.ts +110 -0
  37. package/build/src/akuma/providers/codex-app-server/events.js +337 -0
  38. package/build/src/akuma/providers/codex-app-server/index.d.ts +27 -0
  39. package/build/src/akuma/providers/codex-app-server/index.js +162 -0
  40. package/build/src/akuma/providers/index.d.ts +4 -0
  41. package/build/src/akuma/providers/index.js +71 -0
  42. package/build/src/akuma/publication.d.ts +10 -0
  43. package/build/src/akuma/publication.js +107 -0
  44. package/build/src/akuma/requests.d.ts +46 -0
  45. package/build/src/akuma/requests.js +388 -0
  46. package/build/src/alias/index.d.ts +17 -0
  47. package/build/src/alias/index.js +104 -0
  48. package/build/src/body/amend.d.ts +2 -0
  49. package/build/src/body/amend.js +289 -0
  50. package/build/src/body/arc.d.ts +2 -0
  51. package/build/src/body/arc.js +54 -0
  52. package/build/src/body/decode.d.ts +4 -0
  53. package/build/src/body/decode.js +146 -0
  54. package/build/src/body/keys.d.ts +4 -0
  55. package/build/src/body/keys.js +11 -0
  56. package/build/src/body/region.d.ts +6 -0
  57. package/build/src/body/region.js +139 -0
  58. package/build/src/body/render.d.ts +4 -0
  59. package/build/src/body/render.js +73 -0
  60. package/build/src/body/shape.d.ts +29 -0
  61. package/build/src/body/shape.js +16 -0
  62. package/build/src/body/types.d.ts +28 -0
  63. package/build/src/body/verification.d.ts +7 -0
  64. package/build/src/body/verification.js +25 -0
  65. package/build/src/cli/accepted.d.ts +16 -0
  66. package/build/src/cli/accepted.js +65 -0
  67. package/build/src/cli/actor.d.ts +8 -0
  68. package/build/src/cli/actor.js +11 -0
  69. package/build/src/cli/commands/akuma-invoke.d.ts +53 -0
  70. package/build/src/cli/commands/akuma-invoke.js +68 -0
  71. package/build/src/cli/commands/akuma.d.ts +42 -0
  72. package/build/src/cli/commands/akuma.js +224 -0
  73. package/build/src/cli/commands/amend.d.ts +13 -0
  74. package/build/src/cli/commands/amend.js +13 -0
  75. package/build/src/cli/commands/bind.d.ts +12 -0
  76. package/build/src/cli/commands/bind.js +17 -0
  77. package/build/src/cli/commands/install.d.ts +25 -0
  78. package/build/src/cli/commands/install.js +103 -0
  79. package/build/src/cli/commands/task-invoke.d.ts +9 -0
  80. package/build/src/cli/commands/task-invoke.js +92 -0
  81. package/build/src/cli/commands/task.d.ts +16 -0
  82. package/build/src/cli/commands/task.js +144 -0
  83. package/build/src/cli/index.d.ts +2 -0
  84. package/build/src/cli/index.js +3 -0
  85. package/build/src/cli/invoke.d.ts +17 -0
  86. package/build/src/cli/invoke.js +265 -0
  87. package/build/src/cli/main.d.ts +1 -0
  88. package/build/src/cli/main.js +79 -0
  89. package/build/src/cli/parse.d.ts +210 -0
  90. package/build/src/cli/parse.js +375 -0
  91. package/build/src/cli/render/akuma-tool.d.ts +11 -0
  92. package/build/src/cli/render/akuma-tool.js +68 -0
  93. package/build/src/cli/render/akuma.d.ts +6 -0
  94. package/build/src/cli/render/akuma.js +254 -0
  95. package/build/src/cli/render/board.d.ts +2 -0
  96. package/build/src/cli/render/board.js +4 -0
  97. package/build/src/cli/render/contract.d.ts +4 -0
  98. package/build/src/cli/render/contract.js +69 -0
  99. package/build/src/cli/render/kanshi.d.ts +3 -0
  100. package/build/src/cli/render/kanshi.js +204 -0
  101. package/build/src/cli/render/refusal.d.ts +2 -0
  102. package/build/src/cli/render/refusal.js +4 -0
  103. package/build/src/cli/render/settings.d.ts +3 -0
  104. package/build/src/cli/render/settings.js +30 -0
  105. package/build/src/cli/render/task.d.ts +6 -0
  106. package/build/src/cli/render/task.js +105 -0
  107. package/build/src/cli/render/terminal.d.ts +10 -0
  108. package/build/src/cli/render/terminal.js +76 -0
  109. package/build/src/cli/render/text.d.ts +3 -0
  110. package/build/src/cli/render/text.js +15 -0
  111. package/build/src/cli/result.d.ts +55 -0
  112. package/build/src/cli/selectors.d.ts +9 -0
  113. package/build/src/cli/selectors.js +66 -0
  114. package/build/src/cli/usage.d.ts +6 -0
  115. package/build/src/cli/usage.js +19 -0
  116. package/build/src/context-root.d.ts +4 -0
  117. package/build/src/context-root.js +15 -0
  118. package/build/src/coordination/durable-file.d.ts +1 -0
  119. package/build/src/coordination/durable-file.js +36 -0
  120. package/build/src/coordination/sqlite-transaction-lock.d.ts +14 -0
  121. package/build/src/coordination/sqlite-transaction-lock.js +119 -0
  122. package/build/src/core/decide.d.ts +45 -0
  123. package/build/src/core/facts/codec.d.ts +3 -0
  124. package/build/src/core/facts/codec.js +258 -0
  125. package/build/src/core/facts/eligibility.d.ts +16 -0
  126. package/build/src/core/facts/eligibility.js +75 -0
  127. package/build/src/core/facts/errors.d.ts +3 -0
  128. package/build/src/core/facts/errors.js +6 -0
  129. package/build/src/core/facts/fold.d.ts +2 -0
  130. package/build/src/core/facts/fold.js +97 -0
  131. package/build/src/core/facts/gate.d.ts +24 -0
  132. package/build/src/core/facts/gate.js +52 -0
  133. package/build/src/core/facts/observation.d.ts +12 -0
  134. package/build/src/core/facts/observation.js +23 -0
  135. package/build/src/core/facts/offer.d.ts +21 -0
  136. package/build/src/core/facts/types.d.ts +130 -0
  137. package/build/src/core/facts/types.js +66 -0
  138. package/build/src/core/subject.d.ts +21 -0
  139. package/build/src/core/subject.js +89 -0
  140. package/build/src/core/verbs/abandon.d.ts +13 -0
  141. package/build/src/core/verbs/abandon.js +17 -0
  142. package/build/src/core/verbs/amend.d.ts +14 -0
  143. package/build/src/core/verbs/amend.js +56 -0
  144. package/build/src/core/verbs/arc.d.ts +13 -0
  145. package/build/src/core/verbs/arc.js +25 -0
  146. package/build/src/core/verbs/attestation.d.ts +13 -0
  147. package/build/src/core/verbs/attestation.js +21 -0
  148. package/build/src/core/verbs/bind.d.ts +13 -0
  149. package/build/src/core/verbs/bind.js +40 -0
  150. package/build/src/core/verbs/deliver.d.ts +13 -0
  151. package/build/src/core/verbs/deliver.js +26 -0
  152. package/build/src/core/verbs/placement.d.ts +13 -0
  153. package/build/src/core/verbs/placement.js +42 -0
  154. package/build/src/dispatch/index.d.ts +31 -0
  155. package/build/src/dispatch/index.js +159 -0
  156. package/build/src/git/admission.d.ts +18 -0
  157. package/build/src/git/admission.js +116 -0
  158. package/build/src/git/delivery.d.ts +20 -0
  159. package/build/src/git/delivery.js +109 -0
  160. package/build/src/git/hooks.d.ts +34 -0
  161. package/build/src/git/hooks.js +258 -0
  162. package/build/src/git/identity.d.ts +13 -0
  163. package/build/src/git/identity.js +28 -0
  164. package/build/src/git/observe.d.ts +38 -0
  165. package/build/src/git/observe.js +227 -0
  166. package/build/src/git/reconcile.d.ts +49 -0
  167. package/build/src/git/reconcile.js +223 -0
  168. package/build/src/git/repository.d.ts +80 -0
  169. package/build/src/git/repository.js +456 -0
  170. package/build/src/git/tree.d.ts +34 -0
  171. package/build/src/git/tree.js +112 -0
  172. package/build/src/git/verification.d.ts +14 -0
  173. package/build/src/git/verification.js +56 -0
  174. package/build/src/identity/coordinates.d.ts +9 -0
  175. package/build/src/identity/coordinates.js +20 -0
  176. package/build/src/identity/normalize.d.ts +8 -0
  177. package/build/src/identity/normalize.js +45 -0
  178. package/build/src/identity/selector.d.ts +6 -0
  179. package/build/src/identity/selector.js +7 -0
  180. package/build/src/index.d.ts +4 -0
  181. package/build/src/index.js +2 -0
  182. package/build/src/kanshi/index.d.ts +5 -0
  183. package/build/src/kanshi/index.js +2 -0
  184. package/build/src/kanshi/read.d.ts +5 -0
  185. package/build/src/kanshi/read.js +100 -0
  186. package/build/src/kanshi/report.d.ts +35 -0
  187. package/build/src/kanshi/select.d.ts +8 -0
  188. package/build/src/kanshi/select.js +21 -0
  189. package/build/src/library/akuma-creation.d.ts +79 -0
  190. package/build/src/library/akuma-creation.js +151 -0
  191. package/build/src/library/configuration.d.ts +26 -0
  192. package/build/src/library/configuration.js +100 -0
  193. package/build/src/library/contract.d.ts +145 -0
  194. package/build/src/library/contract.js +325 -0
  195. package/build/src/library/input.d.ts +13 -0
  196. package/build/src/library/input.js +82 -0
  197. package/build/src/library/keiyaku.d.ts +28 -0
  198. package/build/src/library/keiyaku.js +16 -0
  199. package/build/src/library/region.d.ts +17 -0
  200. package/build/src/library/region.js +30 -0
  201. package/build/src/library/repo.d.ts +33 -0
  202. package/build/src/library/repo.js +61 -0
  203. package/build/src/markdown/diff.d.ts +1 -0
  204. package/build/src/markdown/diff.js +4 -0
  205. package/build/src/markdown/lex.d.ts +3 -0
  206. package/build/src/markdown/lex.js +221 -0
  207. package/build/src/markdown/parse.d.ts +2 -0
  208. package/build/src/markdown/parse.js +221 -0
  209. package/build/src/markdown/query.d.ts +21 -0
  210. package/build/src/markdown/query.js +51 -0
  211. package/build/src/markdown/types.d.ts +118 -0
  212. package/build/src/markdown/types.js +6 -0
  213. package/build/src/protocol/attempt.d.ts +36 -0
  214. package/build/src/protocol/attempt.js +119 -0
  215. package/build/src/protocol/bind.d.ts +25 -0
  216. package/build/src/protocol/bind.js +62 -0
  217. package/build/src/protocol/intent.d.ts +52 -0
  218. package/build/src/protocol/intent.js +129 -0
  219. package/build/src/protocol/operations.d.ts +140 -0
  220. package/build/src/protocol/operations.js +373 -0
  221. package/build/src/protocol/outcome.d.ts +18 -0
  222. package/build/src/protocol/outcome.js +15 -0
  223. package/build/src/protocol/read/audit.d.ts +25 -0
  224. package/build/src/protocol/read/audit.js +39 -0
  225. package/build/src/protocol/read/documents.d.ts +8 -0
  226. package/build/src/protocol/read/documents.js +16 -0
  227. package/build/src/protocol/read/status.d.ts +38 -0
  228. package/build/src/protocol/read/status.js +47 -0
  229. package/build/src/protocol/run.d.ts +39 -0
  230. package/build/src/protocol/run.js +36 -0
  231. package/build/src/runtime/proc/line-rpc.d.ts +37 -0
  232. package/build/src/runtime/proc/line-rpc.js +124 -0
  233. package/build/src/runtime/proc/run.d.ts +54 -0
  234. package/build/src/runtime/proc/run.js +200 -0
  235. package/build/src/settings.d.ts +45 -0
  236. package/build/src/settings.js +99 -0
  237. package/build/src/settlement/holder.d.ts +15 -0
  238. package/build/src/settlement/holder.js +113 -0
  239. package/build/src/settlement/settle.d.ts +36 -0
  240. package/build/src/settlement/settle.js +91 -0
  241. package/build/src/task/board.d.ts +65 -0
  242. package/build/src/task/board.js +155 -0
  243. package/build/src/task/compose.d.ts +25 -0
  244. package/build/src/task/compose.js +232 -0
  245. package/build/src/task/context.d.ts +4 -0
  246. package/build/src/task/context.js +56 -0
  247. package/build/src/task/document.d.ts +24 -0
  248. package/build/src/task/document.js +118 -0
  249. package/build/src/task/identity.d.ts +12 -0
  250. package/build/src/task/identity.js +47 -0
  251. package/build/src/task/index.d.ts +90 -0
  252. package/build/src/task/index.js +179 -0
  253. package/build/src/task/operations.d.ts +115 -0
  254. package/build/src/task/operations.js +194 -0
  255. package/build/src/task/store.d.ts +22 -0
  256. package/build/src/task/store.js +114 -0
  257. package/build/src/verification/declaration.d.ts +22 -0
  258. package/build/src/verification/declaration.js +14 -0
  259. package/build/src/verification/producer.d.ts +23 -0
  260. package/build/src/verification/producer.js +54 -0
  261. package/package.json +62 -44
  262. package/build/.tsbuildinfo +0 -1
  263. package/build/agents/call-terms.js +0 -31
  264. package/build/agents/harness/activity-values.js +0 -70
  265. package/build/agents/harness/control-types.js +0 -18
  266. package/build/agents/harness/event-channel.js +0 -213
  267. package/build/agents/harness/event-persistence.js +0 -220
  268. package/build/agents/harness/events.js +0 -48
  269. package/build/agents/harness/execution-handle.js +0 -172
  270. package/build/agents/harness/index.js +0 -11
  271. package/build/agents/harness/outcome-error.js +0 -81
  272. package/build/agents/harness/outcome.js +0 -220
  273. package/build/agents/harness/projection.js +0 -369
  274. package/build/agents/harness/provider-adapter.js +0 -58
  275. package/build/agents/harness/router.js +0 -30
  276. package/build/agents/harness/runtime.js +0 -85
  277. package/build/agents/harness/session.js +0 -15
  278. package/build/agents/launch-snapshot/model.js +0 -127
  279. package/build/agents/launch-snapshot/parse-helpers.js +0 -114
  280. package/build/agents/launch-snapshot/resolve.js +0 -46
  281. package/build/agents/opencode-sdk.js +0 -159
  282. package/build/agents/providers/claude-agent-sdk/adapter.js +0 -396
  283. package/build/agents/providers/claude-agent-sdk/events.js +0 -218
  284. package/build/agents/providers/claude-agent-sdk/registration.js +0 -225
  285. package/build/agents/providers/claude-agent-sdk/session-schema.js +0 -2
  286. package/build/agents/providers/claude-agent-sdk/session.js +0 -172
  287. package/build/agents/providers/codex-app-server/adapter.js +0 -387
  288. package/build/agents/providers/codex-app-server/events.js +0 -492
  289. package/build/agents/providers/codex-app-server/identity.js +0 -1
  290. package/build/agents/providers/codex-app-server/policy.js +0 -29
  291. package/build/agents/providers/codex-app-server/registration.js +0 -259
  292. package/build/agents/providers/codex-app-server/session-schema.js +0 -6
  293. package/build/agents/providers/codex-app-server/session.js +0 -273
  294. package/build/agents/providers/event-type-tail.js +0 -16
  295. package/build/agents/providers/opencode-sdk/adapter.js +0 -402
  296. package/build/agents/providers/opencode-sdk/events.js +0 -380
  297. package/build/agents/providers/opencode-sdk/registration.js +0 -146
  298. package/build/agents/providers/opencode-sdk/session-schema.js +0 -2
  299. package/build/agents/providers/opencode-sdk/session.js +0 -187
  300. package/build/agents/providers/pi/adapter.js +0 -285
  301. package/build/agents/providers/pi/checkpoint.js +0 -49
  302. package/build/agents/providers/pi/events.js +0 -285
  303. package/build/agents/providers/pi/registration.js +0 -160
  304. package/build/agents/providers/pi/session-schema.js +0 -6
  305. package/build/agents/providers/registration.js +0 -7
  306. package/build/agents/providers/registry.js +0 -76
  307. package/build/agents/selector.js +0 -120
  308. package/build/agents/session.js +0 -29
  309. package/build/agents/string-tail-buffer.js +0 -44
  310. package/build/agents/types.js +0 -30
  311. package/build/artifact-directories.js +0 -22
  312. package/build/cli/commands/akuma/akuma/handler.js +0 -4
  313. package/build/cli/commands/akuma/akuma/meta.js +0 -16
  314. package/build/cli/commands/akuma/catalog.js +0 -8
  315. package/build/cli/commands/akuma/list/handler.js +0 -15
  316. package/build/cli/commands/akuma/list/meta-ls.js +0 -9
  317. package/build/cli/commands/akuma/show/handler.js +0 -27
  318. package/build/cli/commands/akuma/show/meta.js +0 -8
  319. package/build/cli/commands/akuma.js +0 -181
  320. package/build/cli/commands/contract/amend/handler.js +0 -17
  321. package/build/cli/commands/contract/amend/meta.js +0 -12
  322. package/build/cli/commands/contract/arc/handler.js +0 -16
  323. package/build/cli/commands/contract/arc/meta.js +0 -26
  324. package/build/cli/commands/contract/audit/handler.js +0 -16
  325. package/build/cli/commands/contract/audit/meta.js +0 -16
  326. package/build/cli/commands/contract/bind/handler.js +0 -39
  327. package/build/cli/commands/contract/bind/meta.js +0 -96
  328. package/build/cli/commands/contract/catalog.js +0 -18
  329. package/build/cli/commands/contract/forfeit/handler.js +0 -17
  330. package/build/cli/commands/contract/forfeit/meta.js +0 -12
  331. package/build/cli/commands/contract/log/handler.js +0 -12
  332. package/build/cli/commands/contract/log/meta.js +0 -12
  333. package/build/cli/commands/contract/petition/handler.js +0 -63
  334. package/build/cli/commands/contract/petition/meta.js +0 -23
  335. package/build/cli/commands/contract/renew/handler.js +0 -24
  336. package/build/cli/commands/contract/renew/meta.js +0 -18
  337. package/build/cli/commands/metadata.js +0 -65
  338. package/build/cli/commands/projection/call/handler.js +0 -43
  339. package/build/cli/commands/projection/call/meta.js +0 -12
  340. package/build/cli/commands/projection/catalog.js +0 -16
  341. package/build/cli/commands/projection/history/handler.js +0 -21
  342. package/build/cli/commands/projection/history/meta.js +0 -9
  343. package/build/cli/commands/projection/kill/handler.js +0 -20
  344. package/build/cli/commands/projection/kill/meta.js +0 -11
  345. package/build/cli/commands/projection/revive/handler.js +0 -56
  346. package/build/cli/commands/projection/revive/meta.js +0 -12
  347. package/build/cli/commands/projection/shared.js +0 -27
  348. package/build/cli/commands/projection/status/handler.js +0 -26
  349. package/build/cli/commands/projection/status/meta.js +0 -9
  350. package/build/cli/commands/projection/tell/handler.js +0 -28
  351. package/build/cli/commands/projection/tell/meta.js +0 -12
  352. package/build/cli/commands/projection/wait/handler.js +0 -55
  353. package/build/cli/commands/projection/wait/meta.js +0 -16
  354. package/build/cli/commands/registry.js +0 -48
  355. package/build/cli/commands/shared.js +0 -74
  356. package/build/cli/commands/skills/catalog.js +0 -6
  357. package/build/cli/commands/skills/install/handler.js +0 -7
  358. package/build/cli/commands/skills/install/meta.js +0 -9
  359. package/build/cli/commands/skills/skills/handler.js +0 -4
  360. package/build/cli/commands/skills/skills/meta.js +0 -10
  361. package/build/cli/commands/system/catalog.js +0 -8
  362. package/build/cli/commands/system/completion/handler.js +0 -10
  363. package/build/cli/commands/system/completion/meta.js +0 -9
  364. package/build/cli/commands/system/dump-env/handler.js +0 -3
  365. package/build/cli/commands/system/dump-env/meta.js +0 -10
  366. package/build/cli/commands/system/guide/handler.js +0 -4
  367. package/build/cli/commands/system/guide/meta.js +0 -9
  368. package/build/cli/commands/task/add/handler.js +0 -22
  369. package/build/cli/commands/task/add/meta.js +0 -19
  370. package/build/cli/commands/task/catalog.js +0 -30
  371. package/build/cli/commands/task/compose/handler.js +0 -18
  372. package/build/cli/commands/task/compose/meta.js +0 -10
  373. package/build/cli/commands/task/doctor/handler.js +0 -4
  374. package/build/cli/commands/task/doctor/meta.js +0 -8
  375. package/build/cli/commands/task/done/handler.js +0 -10
  376. package/build/cli/commands/task/done/meta.js +0 -8
  377. package/build/cli/commands/task/drop/handler.js +0 -3
  378. package/build/cli/commands/task/drop/meta.js +0 -8
  379. package/build/cli/commands/task/hold/handler.js +0 -3
  380. package/build/cli/commands/task/hold/meta.js +0 -8
  381. package/build/cli/commands/task/log/handler.js +0 -12
  382. package/build/cli/commands/task/log/meta.js +0 -8
  383. package/build/cli/commands/task/ls/handler.js +0 -17
  384. package/build/cli/commands/task/ls/meta.js +0 -8
  385. package/build/cli/commands/task/resume/handler.js +0 -3
  386. package/build/cli/commands/task/resume/meta.js +0 -8
  387. package/build/cli/commands/task/shared.js +0 -167
  388. package/build/cli/commands/task/show/handler.js +0 -13
  389. package/build/cli/commands/task/show/meta.js +0 -8
  390. package/build/cli/commands/task/start/handler.js +0 -3
  391. package/build/cli/commands/task/start/meta.js +0 -8
  392. package/build/cli/commands/task/stop/handler.js +0 -10
  393. package/build/cli/commands/task/stop/meta.js +0 -8
  394. package/build/cli/commands/task/task/handler.js +0 -5
  395. package/build/cli/commands/task/task/meta.js +0 -11
  396. package/build/cli/commands/task/update/handler.js +0 -21
  397. package/build/cli/commands/task/update/meta.js +0 -11
  398. package/build/cli/completion.js +0 -88
  399. package/build/cli/draft-artifact.js +0 -50
  400. package/build/cli/flags.js +0 -289
  401. package/build/cli/help.js +0 -100
  402. package/build/cli/index.js +0 -332
  403. package/build/cli/missing-subcommand.js +0 -7
  404. package/build/cli/output-stream-error-policy.js +0 -31
  405. package/build/cli/parse-flags.js +0 -262
  406. package/build/cli/parse-metadata.js +0 -129
  407. package/build/cli/parse-selectors.js +0 -65
  408. package/build/cli/parse.js +0 -237
  409. package/build/cli/projection-address.js +0 -105
  410. package/build/cli/render/address.js +0 -101
  411. package/build/cli/render/amendment-warning.js +0 -8
  412. package/build/cli/render/arc.js +0 -79
  413. package/build/cli/render/audit.js +0 -440
  414. package/build/cli/render/call.js +0 -70
  415. package/build/cli/render/compact-text.js +0 -3
  416. package/build/cli/render/errors.js +0 -101
  417. package/build/cli/render/format.js +0 -226
  418. package/build/cli/render/kanshi.js +0 -263
  419. package/build/cli/render/kill.js +0 -9
  420. package/build/cli/render/lifecycle.js +0 -56
  421. package/build/cli/render/line-width.js +0 -103
  422. package/build/cli/render/misc.js +0 -84
  423. package/build/cli/render/path-prefix-compaction.js +0 -131
  424. package/build/cli/render/petition.js +0 -70
  425. package/build/cli/render/projection-activity.js +0 -332
  426. package/build/cli/render/projection-history.js +0 -64
  427. package/build/cli/render/response-style.js +0 -27
  428. package/build/cli/render/shared.js +0 -232
  429. package/build/cli/render/skills.js +0 -10
  430. package/build/cli/render/status.js +0 -213
  431. package/build/cli/render/success-response.js +0 -80
  432. package/build/cli/render/task.js +0 -174
  433. package/build/cli/render/tell.js +0 -5
  434. package/build/cli/render/terminal-failure.js +0 -65
  435. package/build/cli/render/tool-ledger-rollup.js +0 -74
  436. package/build/cli/render/tool-presentation.js +0 -97
  437. package/build/cli/render/types.js +0 -2
  438. package/build/cli/render/wait.js +0 -275
  439. package/build/cli/skills-install.js +0 -348
  440. package/build/cli/subagent-guard.js +0 -25
  441. package/build/cli/types.js +0 -1
  442. package/build/config/akuma-loader.js +0 -220
  443. package/build/config/env-keys.js +0 -57
  444. package/build/config/env.js +0 -304
  445. package/build/config/provider-policy-ownership.js +0 -10
  446. package/build/config/settings/disease.js +0 -33
  447. package/build/config/settings/knobs.js +0 -8
  448. package/build/config/settings/loader.js +0 -275
  449. package/build/config/settings/provider-instance-fields.js +0 -51
  450. package/build/config/settings/schema.js +0 -108
  451. package/build/core/address-carrier.js +0 -89
  452. package/build/core/addressing.js +0 -407
  453. package/build/core/amend.js +0 -236
  454. package/build/core/amendment-criteria.js +0 -17
  455. package/build/core/amendment-warning.js +0 -10
  456. package/build/core/arc.js +0 -293
  457. package/build/core/atomic-publish.js +0 -64
  458. package/build/core/audit/candidate.js +0 -149
  459. package/build/core/audit/coordinates.js +0 -235
  460. package/build/core/audit/evidence.js +0 -154
  461. package/build/core/audit/facade.js +0 -65
  462. package/build/core/audit/readiness.js +0 -4
  463. package/build/core/audit/report.js +0 -38
  464. package/build/core/audit.js +0 -1
  465. package/build/core/bind-reconciliation.js +0 -390
  466. package/build/core/bind-workspace.js +0 -115
  467. package/build/core/bind.js +0 -402
  468. package/build/core/call/call.js +0 -236
  469. package/build/core/call/context.js +0 -197
  470. package/build/core/call/execution.js +0 -240
  471. package/build/core/call/prompt.js +0 -58
  472. package/build/core/call/reference.js +0 -24
  473. package/build/core/call-persist.js +0 -76
  474. package/build/core/command-markdown.js +0 -45
  475. package/build/core/context.js +0 -104
  476. package/build/core/contract-carrier-runtime.js +0 -408
  477. package/build/core/contract-carrier.js +0 -270
  478. package/build/core/contract-view.js +0 -282
  479. package/build/core/contract.js +0 -18
  480. package/build/core/derived-replay.js +0 -207
  481. package/build/core/draft.js +0 -396
  482. package/build/core/execution-coordinate.js +0 -46
  483. package/build/core/execution-pact.js +0 -126
  484. package/build/core/forfeit.js +0 -132
  485. package/build/core/hints.js +0 -34
  486. package/build/core/identifier-slug.js +0 -116
  487. package/build/core/ids.js +0 -90
  488. package/build/core/lifecycle-history.js +0 -35
  489. package/build/core/lifecycle-recovery.js +0 -117
  490. package/build/core/lifecycle-runner.js +0 -377
  491. package/build/core/log.js +0 -50
  492. package/build/core/markdown/lex.js +0 -274
  493. package/build/core/markdown/parser.js +0 -260
  494. package/build/core/markdown/render.js +0 -68
  495. package/build/core/markdown/sections.js +0 -80
  496. package/build/core/markdown/titles.js +0 -9
  497. package/build/core/markdown/types.js +0 -6
  498. package/build/core/outcome-base.js +0 -185
  499. package/build/core/places.js +0 -175
  500. package/build/core/process-group.js +0 -139
  501. package/build/core/projection/generation/database.js +0 -411
  502. package/build/core/projection/generation/identity.js +0 -84
  503. package/build/core/projection/generation/model.js +0 -256
  504. package/build/core/projection/generation/projection-generation-continuation.js +0 -84
  505. package/build/core/projection/generation/projection-generation-execution.js +0 -217
  506. package/build/core/projection/generation/projection-generation-identity.js +0 -17
  507. package/build/core/projection/generation/projection-generation-launcher.js +0 -220
  508. package/build/core/projection/generation/projection-generation-process.js +0 -46
  509. package/build/core/projection/generation/projection-generation-runner.js +0 -443
  510. package/build/core/projection/generation/projection-generation-runtime.js +0 -97
  511. package/build/core/projection/generation/store.js +0 -98
  512. package/build/core/projection/generation/transitions.js +0 -463
  513. package/build/core/projection/heart.js +0 -9
  514. package/build/core/projection/index.js +0 -28
  515. package/build/core/projection/projection-activity.js +0 -273
  516. package/build/core/projection/projection-alias.js +0 -131
  517. package/build/core/projection/projection-coordinate.js +0 -61
  518. package/build/core/projection/projection-core.js +0 -123
  519. package/build/core/projection/projection-execution-observer.js +0 -270
  520. package/build/core/projection/projection-history.js +0 -474
  521. package/build/core/projection/projection-identity.js +0 -11
  522. package/build/core/projection/projection-kill.js +0 -103
  523. package/build/core/projection/projection-life-observer.js +0 -101
  524. package/build/core/projection/projection-life-protocol.js +0 -115
  525. package/build/core/projection/projection-mint.js +0 -172
  526. package/build/core/projection/projection-runner-lock.js +0 -211
  527. package/build/core/projection/projection-status-observation.js +0 -365
  528. package/build/core/projection/projection-status.js +0 -295
  529. package/build/core/projection/projection-terminal-failure.js +0 -111
  530. package/build/core/projection/projection-wait.js +0 -318
  531. package/build/core/projection/projection-wake.js +0 -360
  532. package/build/core/projection/tell/database.js +0 -127
  533. package/build/core/projection/tell/launch-store.js +0 -244
  534. package/build/core/projection/tell/model.js +0 -98
  535. package/build/core/projection/tell/store.js +0 -245
  536. package/build/core/provider-loader-ports.js +0 -4
  537. package/build/core/registry.js +0 -100
  538. package/build/core/renew-build.js +0 -424
  539. package/build/core/renew-plan.js +0 -239
  540. package/build/core/renew-rewrite.js +0 -77
  541. package/build/core/renew.js +0 -341
  542. package/build/core/repository-ledger/accepted-fold-read.js +0 -19
  543. package/build/core/repository-ledger/accepted-tail.js +0 -116
  544. package/build/core/repository-ledger/admission.js +0 -38
  545. package/build/core/repository-ledger/authoritative-transaction.js +0 -1
  546. package/build/core/repository-ledger/claim-evidence.js +0 -147
  547. package/build/core/repository-ledger/codec.js +0 -297
  548. package/build/core/repository-ledger/current-state-store.js +0 -971
  549. package/build/core/repository-ledger/fold-repository.js +0 -375
  550. package/build/core/repository-ledger/fold.js +0 -248
  551. package/build/core/repository-ledger/git-object-store.js +0 -243
  552. package/build/core/repository-ledger/history-read.js +0 -15
  553. package/build/core/repository-ledger/incremental-read.js +0 -153
  554. package/build/core/repository-ledger/index.js +0 -15
  555. package/build/core/repository-ledger/inventory-plan.js +0 -75
  556. package/build/core/repository-ledger/inventory.js +0 -310
  557. package/build/core/repository-ledger/publication-admission.js +0 -125
  558. package/build/core/repository-ledger/publication.js +0 -353
  559. package/build/core/repository-ledger/read-model.js +0 -469
  560. package/build/core/repository-ledger/transaction-membership.js +0 -78
  561. package/build/core/repository-ledger/traversal.js +0 -404
  562. package/build/core/repository-ledger/write-transaction.js +0 -341
  563. package/build/core/response-artifact-catalog-sqlite.js +0 -112
  564. package/build/core/response-artifact-catalog.js +0 -7
  565. package/build/core/response-artifact-id.js +0 -5
  566. package/build/core/scope.js +0 -416
  567. package/build/core/seal.js +0 -352
  568. package/build/core/settlement/claim-delivery.js +0 -69
  569. package/build/core/settlement/claim.js +0 -256
  570. package/build/core/settlement/index.js +0 -19
  571. package/build/core/settlement/petition-claim-gates.js +0 -246
  572. package/build/core/settlement/petition-forfeit.js +0 -46
  573. package/build/core/settlement/petition-head-guard.js +0 -13
  574. package/build/core/settlement/petition-io.js +0 -1
  575. package/build/core/settlement/petition-preview.js +0 -109
  576. package/build/core/settlement/petition-window.js +0 -50
  577. package/build/core/settlement/petition.js +0 -281
  578. package/build/core/settlement/queue-read-model.js +0 -120
  579. package/build/core/settlement/queue-seat-allocation.js +0 -65
  580. package/build/core/settlement/queue.js +0 -6
  581. package/build/core/settlement/settlement.js +0 -380
  582. package/build/core/settlement/verdict.js +0 -126
  583. package/build/core/settlement/verification-coordination.js +0 -305
  584. package/build/core/settlement/verification-supervisor.js +0 -275
  585. package/build/core/settlement/verification.js +0 -426
  586. package/build/core/sqlite-process-lifetime-lock.js +0 -194
  587. package/build/core/status/board.js +0 -346
  588. package/build/core/status/drift.js +0 -115
  589. package/build/core/status/lifecycle.js +0 -11
  590. package/build/core/stored-agent-event.js +0 -129
  591. package/build/core/structured-query.js +0 -23
  592. package/build/core/target-ref.js +0 -10
  593. package/build/core/task/board.js +0 -247
  594. package/build/core/task/commands.js +0 -376
  595. package/build/core/task/compose.js +0 -327
  596. package/build/core/task/coordinate.js +0 -56
  597. package/build/core/task/document.js +0 -210
  598. package/build/core/task/index.js +0 -16
  599. package/build/core/task/model.js +0 -8
  600. package/build/core/task/query.js +0 -204
  601. package/build/core/task/settlement-git.js +0 -426
  602. package/build/core/task/settlement-policy.js +0 -124
  603. package/build/core/task/source-board.js +0 -103
  604. package/build/core/task/source-model.js +0 -1
  605. package/build/core/task/task-bind-preparation.js +0 -193
  606. package/build/core/task/task-contract.js +0 -371
  607. package/build/core/task/task-doctor.js +0 -14
  608. package/build/core/task/task-file-transaction.js +0 -171
  609. package/build/core/task/task-git-actor.js +0 -33
  610. package/build/core/task/task-git-runtime.js +0 -97
  611. package/build/core/task/task-git-store.js +0 -400
  612. package/build/core/task/task-repository.js +0 -1
  613. package/build/core/task/task-store-repository.js +0 -96
  614. package/build/core/task/task-store.js +0 -1
  615. package/build/core/task/task-worktree.js +0 -25
  616. package/build/core/task/task.js +0 -7
  617. package/build/core/task/tree.js +0 -37
  618. package/build/core/task/validation.js +0 -48
  619. package/build/core/transcripts.js +0 -485
  620. package/build/core/validation.js +0 -17
  621. package/build/core/worktree-bootstrap.js +0 -195
  622. package/build/core/worktree-path.js +0 -375
  623. package/build/errno.js +0 -3
  624. package/build/flow-error.js +0 -183
  625. package/build/fs/durability.js +0 -27
  626. package/build/fs/path-coordinate.js +0 -16
  627. package/build/generated/version.js +0 -3
  628. package/build/git/branches.js +0 -113
  629. package/build/git/commits.js +0 -80
  630. package/build/git/core.js +0 -238
  631. package/build/git/diff/parsers.js +0 -181
  632. package/build/git/diff/pathspec.js +0 -3
  633. package/build/git/diff/preview.js +0 -38
  634. package/build/git/diff/read.js +0 -105
  635. package/build/git/diff/structured.js +0 -127
  636. package/build/git/diff/types.js +0 -1
  637. package/build/git/path-coordinate.js +0 -17
  638. package/build/git/refs.js +0 -225
  639. package/build/git/staging.js +0 -155
  640. package/build/git/streaming-batch.js +0 -361
  641. package/build/git/worktree.js +0 -162
  642. package/build/index.js +0 -60
  643. package/build/keiyaku-constants.js +0 -2
  644. package/build/keiyaku.js +0 -30
  645. package/build/telemetry/debug-log.js +0 -40
  646. package/build/telemetry/logger.js +0 -48
  647. package/skills/keiyaku/SKILL.md +0 -46
  648. package/skills/keiyaku-akuma/SKILL.md +0 -96
  649. package/skills/keiyaku-task/SKILL.md +0 -84
  650. package/skills/keiyaku-workflow/SKILL.md +0 -151
  651. /package/build/{agents/launch-snapshot → src/body}/types.js +0 -0
  652. /package/build/{agents/providers/claude-agent-sdk/terms.js → src/cli/result.js} +0 -0
  653. /package/build/{agents/providers/codex-app-server/terms.js → src/core/decide.js} +0 -0
  654. /package/build/{agents/providers/opencode-sdk/terms.js → src/core/facts/offer.js} +0 -0
  655. /package/build/{agents/providers/pi/terms.js → src/kanshi/report.js} +0 -0
@@ -1,104 +0,0 @@
1
- import { KEIYAKU_BRANCH_PREFIX } from "../keiyaku.js";
2
- import { FlowError } from "../flow-error.js";
3
- import { createGit, errorContainsAnyPattern, MISSING_HEAD_PATTERNS, NOT_GIT_REPOSITORY_PATTERNS, wrapGitError } from "../git/core.js";
4
- import { getCurrentBranch, listLocalBranches } from "../git/branches.js";
5
- import { lookupCurrentContract, readRepositoryLifecycle, } from "./repository-ledger/read-model.js";
6
- import { currentContractBoundByWorktreeWitness, stableRepoRoot } from "./worktree-path.js";
7
- import { contractReadOutcomeError } from "./addressing.js";
8
- import { admitRepositoryLifecycleContract } from "./repository-ledger/admission.js";
9
- function isOperableContract(model) {
10
- return model.phase !== "claimed" && model.phase !== "forfeited";
11
- }
12
- function operableContracts(read) {
13
- return read.contracts.filter((model) => lookupCurrentContract(read, model.contract).status === "healthy" && isOperableContract(model));
14
- }
15
- function potentiallyOperableContracts(read) {
16
- return read.contracts.filter(isOperableContract);
17
- }
18
- function admitOperableContractId(read, contractId) {
19
- const outcome = admitRepositoryLifecycleContract(read, contractId);
20
- if (outcome.status === "healthy")
21
- return isOperableContract(outcome.model);
22
- if (outcome.status === "absent")
23
- return false;
24
- throw contractReadOutcomeError(contractId, outcome);
25
- }
26
- export async function operableContractIds(cwd) {
27
- const read = await readRepositoryLifecycle(cwd);
28
- return operableContracts(read).map((model) => model.contract);
29
- }
30
- async function resolveImplicitCurrentContractIdFromRead(cwd, read) {
31
- // Prefer the verified engine-worktree binding (same tier as existing-commission verbs).
32
- try {
33
- const stableRoot = await stableRepoRoot(cwd);
34
- const bound = await currentContractBoundByWorktreeWitness({
35
- cwd,
36
- stableRoot,
37
- contracts: potentiallyOperableContracts(read),
38
- });
39
- if (bound && admitOperableContractId(read, bound))
40
- return bound;
41
- }
42
- catch (error) {
43
- if (!errorContainsAnyPattern(error, NOT_GIT_REPOSITORY_PATTERNS))
44
- throw error;
45
- }
46
- // Branch remains a residual signal for workspace:here checkouts without an engine worktree.
47
- const git = createGit(cwd);
48
- try {
49
- const branch = (await git.raw(["branch", "--show-current"])).trim();
50
- if (branch.startsWith("keiyaku/")) {
51
- const id = branch.slice("keiyaku/".length);
52
- const outcome = lookupCurrentContract(read, id);
53
- if ((outcome.status === "healthy" || outcome.status === "diseased") &&
54
- outcome.model.resources.worktree === null &&
55
- admitOperableContractId(read, id))
56
- return id;
57
- }
58
- }
59
- catch (error) {
60
- if (!errorContainsAnyPattern(error, MISSING_HEAD_PATTERNS)) {
61
- throw wrapGitError("branch --show-current", error, cwd);
62
- }
63
- }
64
- return undefined;
65
- }
66
- export async function resolveImplicitCurrentContractId(cwd) {
67
- return resolveImplicitCurrentContractIdFromRead(cwd, await readRepositoryLifecycle(cwd));
68
- }
69
- async function resolveCurrentContractIdFromRead(cwd, read) {
70
- const current = await resolveImplicitCurrentContractIdFromRead(cwd, read);
71
- if (current)
72
- return { status: "one", contractId: current };
73
- const operable = operableContracts(read).map((model) => model.contract).sort();
74
- if (operable.length === 0)
75
- return { status: "none" };
76
- if (operable.length === 1)
77
- return { status: "one", contractId: operable[0] };
78
- throw new FlowError("CONTRACT_AMBIGUOUS", `multiple active contracts found: ${operable.join(", ")}`);
79
- }
80
- export async function resolveCurrentContractId(cwd) {
81
- return resolveCurrentContractIdFromRead(cwd, await readRepositoryLifecycle(cwd));
82
- }
83
- export async function listLocalKeiyakuBranches(cwd) {
84
- return (await listLocalBranches(cwd)).filter((name) => name.startsWith(KEIYAKU_BRANCH_PREFIX));
85
- }
86
- export async function readCurrentContractContext(cwd) {
87
- const read = await readRepositoryLifecycle(cwd);
88
- const resolution = await resolveCurrentContractIdFromRead(cwd, read);
89
- if (resolution.status === "none")
90
- throw new FlowError("EMPTY_PARAM", "no active contract found");
91
- const contractId = resolution.contractId;
92
- const outcome = lookupCurrentContract(read, contractId);
93
- if (outcome.status !== "healthy" || !isOperableContract(outcome.model)) {
94
- throw new FlowError("INTERNAL_STATE", `contract ${contractId} not found or not active`);
95
- }
96
- const currentBranch = await getCurrentBranch(cwd);
97
- const baseBranch = outcome.model.pins.target.ref.slice("refs/heads/".length);
98
- return {
99
- contractId,
100
- currentBranch,
101
- baseBranch,
102
- base: outcome.model.pins.base,
103
- };
104
- }
@@ -1,408 +0,0 @@
1
- import * as fs from "node:fs/promises";
2
- import { FlowError } from "../flow-error.js";
3
- import { replayCommittedDerivedState } from "./derived-replay.js";
4
- import { EffectJournal } from "./outcome-base.js";
5
- import { readRepositoryLifecycle } from "./repository-ledger/read-model.js";
6
- import { REPOSITORY_LEDGER_REF } from "./repository-ledger/codec.js";
7
- import { resolveAcceptedLifecycleTransaction } from "./repository-ledger/accepted-tail.js";
8
- import { publishAuthoritativeTransaction } from "./repository-ledger/write-transaction.js";
9
- import { cleanupContractWorkspace, contractWorktreePathFromBind, observeTerminalDeliveryRef, resolveContractCarrierTarget, stableRepoRoot } from "./worktree-path.js";
10
- import { defaultCreateWorktree } from "./bind-workspace.js";
11
- import { replayClaimTargetWorktree } from "./settlement/claim-delivery.js";
12
- let acceptedBind, acquireGate, carrierMatches, checkCancellation;
13
- let observe, observedLedgerHead, projectRenewDeliveryWorktree, publishCarrier;
14
- let readCarrierIdentity, reconcileFoldedDeliveryWorktree, releaseGate, resolveCommitOrNull, retireTerminalHereCarrier;
15
- export function installCarrierRuntimePorts(ports) {
16
- ({ acceptedBind, acquireGate, carrierMatches, checkCancellation, observe, observedLedgerHead,
17
- projectRenewDeliveryWorktree, publishCarrier, readCarrierIdentity, reconcileFoldedDeliveryWorktree,
18
- releaseGate, resolveCommitOrNull, retireTerminalHereCarrier } = ports);
19
- }
20
- export async function withContractCarrierSession(input, action) {
21
- const stableRoot = await stableRepoRoot(input.cwd);
22
- if (input.mode === "observe-only") {
23
- checkCancellation(input.signal);
24
- const { repository, lifecycle, target, pins } = await observe(stableRoot, input.contractId);
25
- const projectedCarrier = target.status === "available" ? await readCarrierIdentity(target.path) : null;
26
- const initialCarrier = target.status === "available"
27
- ? { status: carrierMatches(projectedCarrier, input.contractId, lifecycle.observedLedgerHead) ? "current" : "stale", ledgerHead: lifecycle.observedLedgerHead, target: target.path }
28
- : { status: "target-unavailable", ledgerHead: lifecycle.observedLedgerHead, reason: target.reason };
29
- return action(createSession(input.mode, stableRoot, input.contractId, repository, lifecycle, target, pins, initialCarrier, input.signal, input.contractViewWriter, input.renewDeliveryProjector, input.terminalWorkspaceCleanup));
30
- }
31
- // Closure/fold observation can be comparatively expensive. Do it before the
32
- // repository-wide carrier gate, then admit the snapshot only if the sole
33
- // authoritative coordinate still names the same ledger tip under the gate.
34
- const preGateObserved = await observe(stableRoot, input.contractId);
35
- const gate = await acquireGate(stableRoot, input.signal);
36
- try {
37
- checkCancellation(input.signal);
38
- const observedHead = await resolveCommitOrNull(stableRoot, REPOSITORY_LEDGER_REF);
39
- const { repository, lifecycle, target, pins } = observedHead === preGateObserved.lifecycle.observedLedgerHead
40
- ? preGateObserved
41
- : await observe(stableRoot, input.contractId);
42
- const projectedCarrier = target.status === "available" ? await readCarrierIdentity(target.path) : null;
43
- const initialCarrier = target.status === "available"
44
- ? { status: carrierMatches(projectedCarrier, input.contractId, lifecycle.observedLedgerHead) ? "current" : "stale", ledgerHead: lifecycle.observedLedgerHead, target: target.path }
45
- : { status: "target-unavailable", ledgerHead: lifecycle.observedLedgerHead, reason: target.reason };
46
- checkCancellation(input.signal);
47
- const session = createSession(input.mode, stableRoot, input.contractId, repository, lifecycle, target, pins, initialCarrier, input.signal, input.contractViewWriter, input.renewDeliveryProjector, input.terminalWorkspaceCleanup);
48
- return await action(session);
49
- }
50
- finally {
51
- releaseGate(gate);
52
- }
53
- }
54
- function createSession(mode, stableRoot, contractId, repository, lifecycle, target, pins, initialCarrier, signal, contractViewWriter, renewDeliveryProjector, terminalWorkspaceCleanup) {
55
- const admittedLedgerHead = lifecycle.observedLedgerHead;
56
- const admittedLifecycleTail = lifecycle.history.at(-1)?.objectId;
57
- if (!admittedLifecycleTail)
58
- throw new FlowError("INTERNAL_STATE", `carrier admission ${contractId} has no accepted lifecycle tail`);
59
- let currentLifecycle = lifecycle;
60
- let authoritativeTransactionSelected = false;
61
- let effectsStarted = false;
62
- let committedResult;
63
- const journal = new EffectJournal(`${contractId}:${lifecycle.observedLedgerHead}`);
64
- async function finalizeCommitted(input) {
65
- effectsStarted = true;
66
- if (input.renewProjection) {
67
- await journal.run({
68
- effect: "delivery-worktree-projection",
69
- idempotencyKey: `${contractId}:${input.head}:delivery-worktree-projection`,
70
- run: async () => (renewDeliveryProjector ?? projectRenewDeliveryWorktree)(input.renewProjection.target, input.renewProjection.oldHead, input.renewProjection.newHead),
71
- });
72
- }
73
- let resolvedTransaction;
74
- await journal.run({
75
- effect: "committed-ledger-reread",
76
- idempotencyKey: `${contractId}:${input.head}:ledger-reread`,
77
- run: async () => {
78
- const observed = await observe(stableRoot, contractId);
79
- currentLifecycle = observed.lifecycle;
80
- const accepted = resolveAcceptedLifecycleTransaction({ read: observed.repository, transactionObjectId: input.head, expectedContract: contractId });
81
- if (accepted.status !== "accepted")
82
- throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `accepted ledger transaction ${input.head} could not be reread (${accepted.reason})`);
83
- resolvedTransaction = accepted;
84
- return { head: observed.lifecycle.observedLedgerHead };
85
- },
86
- });
87
- journal.beginDerivedReplay();
88
- const carrier = input.carrier === "retire"
89
- ? { status: "retired", ledgerHead: input.head, reason: "terminal" }
90
- : target.status === "available"
91
- ? { status: "stale", ledgerHead: currentLifecycle.observedLedgerHead, target: target.path }
92
- : { status: "target-unavailable", ledgerHead: currentLifecycle.observedLedgerHead, reason: target.reason };
93
- committedResult = {
94
- status: "committed",
95
- head: input.head,
96
- transaction: resolvedTransaction ?? (() => { throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `accepted ledger transaction ${input.head} was not reread`); })(),
97
- carrier,
98
- effects: journal.all(),
99
- cancellationObserved: effectsStarted && (signal?.aborted ?? false),
100
- };
101
- return committedResult;
102
- }
103
- async function publishRepository(transaction, additionalReplaySteps = []) {
104
- if (mode !== "mutation")
105
- throw new FlowError("INTERNAL_STATE", `carrier ${mode} session cannot publish repository ledger facts`);
106
- if (!effectsStarted)
107
- checkCancellation(signal);
108
- let replayed;
109
- let carrier = target.status === "available"
110
- ? { status: "stale", ledgerHead: currentLifecycle.observedLedgerHead, target: target.path }
111
- : { status: "target-unavailable", ledgerHead: currentLifecycle.observedLedgerHead, reason: target.reason };
112
- const replayPlan = {
113
- steps: [
114
- ...additionalReplaySteps,
115
- {
116
- effect: "committed-ledger-reread",
117
- dependencies: additionalReplaySteps.map((step) => step.effect),
118
- run: async ({ ledgerHead }) => {
119
- replayed = await observe(stableRoot, contractId);
120
- if (replayed.lifecycle.observedLedgerHead !== ledgerHead) {
121
- throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `committed ledger head ${ledgerHead} could not be reread (observed ${replayed.lifecycle.observedLedgerHead})`);
122
- }
123
- currentLifecycle = replayed.lifecycle;
124
- },
125
- },
126
- ],
127
- };
128
- const publication = await publishAuthoritativeTransaction(stableRoot, transaction, { replayPlan });
129
- const result = publication.write;
130
- if (result.family === "refused-before-effects") {
131
- return {
132
- status: "refused-before-effects",
133
- reason: "conflict",
134
- currentHead: observedLedgerHead(result.observations),
135
- code: result.code,
136
- cause: result.cause,
137
- observations: result.observations,
138
- effects: [],
139
- };
140
- }
141
- if (result.family === "indeterminate") {
142
- effectsStarted = true;
143
- const currentHead = observedLedgerHead(result.observations);
144
- journal.record({
145
- effect: "ledger-cas",
146
- idempotencyKey: `${contractId}:${result.builtLedgerHead}:ledger-cas`,
147
- status: "failed",
148
- cause: {
149
- code: result.code,
150
- message: result.cause,
151
- facts: { builtHead: result.builtLedgerHead, currentHead },
152
- },
153
- });
154
- return { status: "indeterminate", builtHead: result.builtLedgerHead, currentHead, effects: journal.all() };
155
- }
156
- effectsStarted = true;
157
- const accepted = publication.builtTail.entries.at(-1);
158
- const ledgerCasKey = `${contractId}:${result.ledgerHead}:ledger-cas`;
159
- journal.record({
160
- effect: "ledger-cas",
161
- idempotencyKey: ledgerCasKey,
162
- status: "succeeded",
163
- receipt: {
164
- head: result.ledgerHead,
165
- entryKind: accepted.entry.kind,
166
- authorityProof: result.authorityProof,
167
- },
168
- });
169
- const replayDependencyEffects = {
170
- "committed-ledger-reread": additionalReplaySteps.at(-1)?.effect ?? ledgerCasKey,
171
- };
172
- const replayKeys = new Map();
173
- for (const effect of result.replay.effects) {
174
- const idempotencyKey = `${contractId}:${result.ledgerHead}:${effect.effect}`;
175
- replayKeys.set(effect.effect, idempotencyKey);
176
- const dependencyEffect = replayDependencyEffects[effect.effect];
177
- const dependency = dependencyEffect === ledgerCasKey ? ledgerCasKey : dependencyEffect ? replayKeys.get(dependencyEffect) : undefined;
178
- const row = effect.status === "succeeded"
179
- ? { effect: effect.effect, idempotencyKey, ...(dependency ? { dependency } : {}), status: "succeeded" }
180
- : effect.status === "failed"
181
- ? { effect: effect.effect, idempotencyKey, ...(dependency ? { dependency } : {}), status: "failed", cause: effect.cause }
182
- : {
183
- effect: effect.effect,
184
- idempotencyKey,
185
- dependency: replayKeys.get(effect.dependency) ?? effect.dependency,
186
- status: "not-attempted",
187
- cause: { code: "DEPENDENCY_FAILED", message: `dependency ${effect.dependency} did not succeed` },
188
- };
189
- journal.record(row);
190
- }
191
- const observedTransaction = resolveAcceptedLifecycleTransaction({
192
- read: replayed?.repository ?? (await observe(stableRoot, contractId)).repository,
193
- transactionObjectId: result.ledgerHead,
194
- expectedContract: contractId,
195
- });
196
- if (observedTransaction.status !== "accepted") {
197
- throw new FlowError("COMMITTED_LEDGER_REREAD_FAILED", `accepted ledger transaction ${result.ledgerHead} could not be reread (${observedTransaction.reason})`);
198
- }
199
- committedResult = {
200
- status: "committed",
201
- head: result.ledgerHead,
202
- transaction: observedTransaction,
203
- carrier,
204
- effects: journal.all(),
205
- cancellationObserved: signal?.aborted ?? false,
206
- };
207
- return committedResult;
208
- }
209
- async function replayDerivedState() {
210
- const observed = await observe(stableRoot, contractId);
211
- currentLifecycle = observed.lifecycle;
212
- const bind = acceptedBind(observed.lifecycle);
213
- let committedTarget = observed.target;
214
- let materialized = {
215
- status: "failed",
216
- ledgerHead: observed.lifecycle.observedLedgerHead,
217
- cause: "carrier projection was not attempted",
218
- };
219
- await replayCommittedDerivedState({
220
- cwd: stableRoot,
221
- repository: observed.repository,
222
- lifecycle: observed.lifecycle,
223
- target: committedTarget,
224
- journal,
225
- adapters: {
226
- reconcileActiveWorktree: async () => {
227
- committedTarget = await resolveContractCarrierTarget(stableRoot, contractId, bind);
228
- let created = false;
229
- if (committedTarget.status !== "available" && bind.data.workspace === "worktree") {
230
- const worktreePath = await contractWorktreePathFromBind(stableRoot, contractId, bind);
231
- try {
232
- await fs.access(worktreePath);
233
- throw Object.assign(new Error(`worktree path ${worktreePath} is occupied by an unowned filesystem entry`), { code: "BIND_WORKTREE_PATH_OCCUPIED", facts: { path: worktreePath, occupant: "unowned-filesystem-entry" } });
234
- }
235
- catch (error) {
236
- if (!(error instanceof Error) || !("code" in error) || error.code !== "ENOENT")
237
- throw error;
238
- }
239
- await defaultCreateWorktree({
240
- cwd: stableRoot,
241
- id: contractId,
242
- branch: `keiyaku/${contractId}`,
243
- base: bind.data.base,
244
- worktreePath,
245
- });
246
- committedTarget = await resolveContractCarrierTarget(stableRoot, contractId, bind);
247
- created = true;
248
- }
249
- if (committedTarget.status !== "available")
250
- throw new FlowError("CARRIER_TARGET_UNAVAILABLE", committedTarget.reason);
251
- const renewed = await reconcileFoldedDeliveryWorktree({ targetRoot: committedTarget.root, lifecycle: observed.lifecycle });
252
- return { status: created || renewed === "created" ? "created" : "already-present", target: committedTarget };
253
- },
254
- materializeContractView: async ({ lifecycle: accepted, target: acceptedTarget }) => {
255
- const projected = await convergeCarrier(stableRoot, contractId, observed.repository, accepted, acceptedTarget, contractViewWriter);
256
- materialized = projected;
257
- if (projected.status === "failed")
258
- throw new FlowError("CARRIER_MATERIALIZATION_FAILED", projected.cause);
259
- if (projected.status === "target-unavailable")
260
- throw new FlowError("CARRIER_TARGET_UNAVAILABLE", projected.reason);
261
- return projected.status === "current" ? "already-present" : "created";
262
- },
263
- retireContractView: async ({ lifecycle: accepted, target: acceptedTarget }) => {
264
- return retireTerminalHereCarrier(accepted, acceptedTarget);
265
- },
266
- replayClaimTarget: (landing) => replayClaimTargetWorktree(stableRoot, landing),
267
- cleanupWorkspace: terminalWorkspaceCleanup ?? cleanupContractWorkspace,
268
- observeDeliveryRef: observeTerminalDeliveryRef,
269
- },
270
- });
271
- const carrierProjection = journal.all().find((row) => row.effect === "carrier-projection");
272
- if (["claimed", "forfeited"].includes(observed.lifecycle.phase) && carrierProjection?.status === "succeeded") {
273
- materialized = { status: "retired", ledgerHead: observed.lifecycle.observedLedgerHead, reason: "terminal" };
274
- }
275
- return materialized;
276
- }
277
- return {
278
- mode,
279
- stableRoot,
280
- contractId,
281
- lifecycle,
282
- repository,
283
- target,
284
- initialCarrier,
285
- pins,
286
- journal,
287
- async completeReplay(_carrierMode = "project") {
288
- if (!committedResult)
289
- throw new FlowError("INTERNAL_STATE", `contract ${contractId} has no committed mutation to replay`);
290
- const materialized = await replayDerivedState();
291
- committedResult = {
292
- ...committedResult,
293
- carrier: materialized,
294
- effects: journal.all(),
295
- cancellationObserved: effectsStarted && (signal?.aborted ?? false),
296
- };
297
- return materialized;
298
- },
299
- replayDerivedState,
300
- async reread() {
301
- if (!effectsStarted)
302
- checkCancellation(signal);
303
- const observed = await observe(stableRoot, contractId);
304
- currentLifecycle = observed.lifecycle;
305
- if (!effectsStarted)
306
- checkCancellation(signal);
307
- return { lifecycle: observed.lifecycle, repository: observed.repository, target: observed.target, pins: observed.pins };
308
- },
309
- async revalidate() {
310
- if (!effectsStarted)
311
- checkCancellation(signal);
312
- const observed = await observe(stableRoot, contractId);
313
- currentLifecycle = observed.lifecycle;
314
- if (!effectsStarted)
315
- checkCancellation(signal);
316
- return { lifecycle: observed.lifecycle, repository: observed.repository, target: observed.target, pins: observed.pins };
317
- },
318
- beginEffects() {
319
- if (!effectsStarted)
320
- checkCancellation(signal);
321
- effectsStarted = true;
322
- },
323
- effectsStarted() {
324
- return effectsStarted;
325
- },
326
- cancellationObserved() {
327
- return effectsStarted && (signal?.aborted ?? false);
328
- },
329
- committedResult() {
330
- return committedResult;
331
- },
332
- async publishAuthoritative(transaction) {
333
- if (authoritativeTransactionSelected)
334
- throw new FlowError("INTERNAL_STATE", `carrier session ${contractId} already selected an authoritative transaction`);
335
- authoritativeTransactionSelected = true;
336
- if (transaction.entries.some((entry) => entry.contract !== contractId))
337
- throw new FlowError("INTERNAL_STATE", `authoritative transaction does not belong to carrier session ${contractId}`);
338
- if (transaction.admittedLedgerHead !== admittedLedgerHead)
339
- throw new FlowError("CONCURRENT_MODIFICATION", `authoritative transaction ledger CAS does not match immutable carrier admission ${contractId}`);
340
- if (transaction.acceptedLifecycleTail !== admittedLifecycleTail)
341
- throw new FlowError("CONCURRENT_MODIFICATION", `authoritative transaction lifecycle tail does not match immutable carrier admission ${contractId}`);
342
- const accepted = transaction.entries.at(-1);
343
- const replaySteps = transaction.verb === "renew" && accepted.kind === "renew" && "delivery" in transaction
344
- ? [{
345
- effect: "delivery-worktree-projection",
346
- dependencies: [],
347
- run: async () => (renewDeliveryProjector ?? projectRenewDeliveryWorktree)(target, transaction.delivery.expectedOid, accepted.data.newHead),
348
- }]
349
- : [];
350
- return publishRepository(transaction, replaySteps);
351
- },
352
- async replayCommitted(input) {
353
- if (mode !== "mutation")
354
- throw new FlowError("INTERNAL_STATE", `carrier ${mode} session cannot replay committed ledger facts`);
355
- const observed = await observe(stableRoot, contractId);
356
- const accepted = resolveAcceptedLifecycleTransaction({ read: observed.repository, transactionObjectId: input.transactionObjectId, expectedContract: contractId });
357
- if (accepted.status !== "accepted")
358
- throw new FlowError("CONCURRENT_MODIFICATION", `cannot replay unproved transaction ${input.transactionObjectId}`);
359
- const renew = accepted.entries.find((entry) => entry.kind === "renew");
360
- if (renew && (observed.lifecycle.pins.base !== renew.data.newBase || observed.lifecycle.pins.delivery !== renew.data.newHead || observed.pins.delivery.head !== renew.data.newHead || observed.pins.target.head !== renew.data.newBase)) {
361
- throw new FlowError("CONCURRENT_MODIFICATION", `accepted renew transaction ${input.transactionObjectId} no longer matches current coordinates`);
362
- }
363
- currentLifecycle = observed.lifecycle;
364
- return finalizeCommitted({
365
- head: input.transactionObjectId,
366
- ...(renew ? { renewProjection: { target: observed.target, oldHead: renew.data.oldHead, newHead: renew.data.newHead } } : {}),
367
- carrier: input.carrier,
368
- });
369
- },
370
- };
371
- }
372
- async function convergeCarrier(stableRoot, contractId, initialRepository, initialLifecycle, initialTarget, contractViewWriter) {
373
- let repository = initialRepository;
374
- let lifecycle = initialLifecycle;
375
- let target = initialTarget;
376
- for (let attempt = 0; attempt < 4; attempt += 1) {
377
- const published = await publishCarrier({ stableRoot, contractId, repository, lifecycle, target, contractViewWriter });
378
- if (published.status !== "failed")
379
- return published;
380
- const activeHead = (await readRepositoryLifecycle(stableRoot)).observedLedgerHead;
381
- if (activeHead === lifecycle.observedLedgerHead)
382
- return published;
383
- const observed = await observe(stableRoot, contractId);
384
- repository = observed.repository;
385
- lifecycle = observed.lifecycle;
386
- target = observed.target;
387
- }
388
- return { status: "failed", ledgerHead: lifecycle.observedLedgerHead, ...(target.status === "available" ? { target: target.path } : {}), cause: "carrier convergence did not reach a stable ledger head" };
389
- }
390
- export async function convergeContractCarrier(input) {
391
- return withContractCarrierSession({ ...input, mode: "observe-only" }, async (session) => ({ lifecycle: session.lifecycle, repository: session.repository, target: session.target, carrier: session.initialCarrier }));
392
- }
393
- /** Carrier surface step for the shared reconciler while it owns the carrier gate. */
394
- export async function reconcileContractCarrierProjection(input) {
395
- checkCancellation(input.signal);
396
- const stableRoot = await stableRepoRoot(input.cwd);
397
- const observed = await observe(stableRoot, input.contractId);
398
- const carrier = await convergeCarrier(stableRoot, input.contractId, observed.repository, observed.lifecycle, observed.target, input.contractViewWriter);
399
- const reconciled = carrier.ledgerHead === observed.lifecycle.observedLedgerHead
400
- ? observed
401
- : await observe(stableRoot, input.contractId);
402
- return {
403
- lifecycle: reconciled.lifecycle,
404
- repository: reconciled.repository,
405
- target: reconciled.target,
406
- carrier,
407
- };
408
- }