@astrosheep/keiyaku 2.9.13 → 4.0.1

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 (730) hide show
  1. package/README.md +5 -132
  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 +42 -0
  9. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-akuma/SKILL.md +53 -0
  10. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-bind/SKILL.md +94 -0
  11. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-bind/agents/openai.yaml +4 -0
  12. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-task/SKILL.md +97 -0
  13. package/build/integrations/marketplace/plugins/keiyaku/skills/keiyaku-workflow/SKILL.md +189 -0
  14. package/build/src/akuma/akuma.d.ts +124 -0
  15. package/build/src/akuma/akuma.js +414 -0
  16. package/build/src/akuma/archetype.d.ts +39 -0
  17. package/build/src/akuma/archetype.js +207 -0
  18. package/build/src/akuma/body.d.ts +20 -0
  19. package/build/src/akuma/body.js +417 -0
  20. package/build/src/akuma/coordinate.d.ts +9 -0
  21. package/build/src/akuma/coordinate.js +22 -0
  22. package/build/src/akuma/heart/facts.d.ts +202 -0
  23. package/build/src/akuma/heart/facts.js +9 -0
  24. package/build/src/akuma/heart/index.d.ts +90 -0
  25. package/build/src/akuma/heart/index.js +240 -0
  26. package/build/src/akuma/heart/rows.d.ts +166 -0
  27. package/build/src/akuma/heart/rows.js +299 -0
  28. package/build/src/akuma/heart/schema.d.ts +5 -0
  29. package/build/src/akuma/heart/schema.js +160 -0
  30. package/build/src/akuma/heart/storage.d.ts +33 -0
  31. package/build/src/akuma/heart/storage.js +164 -0
  32. package/build/src/akuma/heart/tells.d.ts +12 -0
  33. package/build/src/akuma/heart/tells.js +79 -0
  34. package/build/src/akuma/heart/timeline.d.ts +15 -0
  35. package/build/src/akuma/heart/timeline.js +86 -0
  36. package/build/src/akuma/identity.d.ts +46 -0
  37. package/build/src/akuma/identity.js +89 -0
  38. package/build/src/akuma/index.d.ts +9 -0
  39. package/build/src/akuma/index.js +3 -0
  40. package/build/src/akuma/projection.d.ts +97 -0
  41. package/build/src/akuma/projection.js +145 -0
  42. package/build/src/akuma/provider.d.ts +169 -0
  43. package/build/src/akuma/provider.js +255 -0
  44. package/build/src/akuma/providers/claude/events.d.ts +52 -0
  45. package/build/src/akuma/providers/claude/events.js +185 -0
  46. package/build/src/akuma/providers/claude/index.d.ts +46 -0
  47. package/build/src/akuma/providers/claude/index.js +265 -0
  48. package/build/src/akuma/providers/claude/input.d.ts +13 -0
  49. package/build/src/akuma/providers/claude/input.js +109 -0
  50. package/build/src/akuma/providers/codex-app-server/events.d.ts +110 -0
  51. package/build/src/akuma/providers/codex-app-server/events.js +337 -0
  52. package/build/src/akuma/providers/codex-app-server/index.d.ts +29 -0
  53. package/build/src/akuma/providers/codex-app-server/index.js +213 -0
  54. package/build/src/akuma/providers/index.d.ts +4 -0
  55. package/build/src/akuma/providers/index.js +85 -0
  56. package/build/src/akuma/providers/opencode-sdk/events.d.ts +48 -0
  57. package/build/src/akuma/providers/opencode-sdk/events.js +116 -0
  58. package/build/src/akuma/providers/opencode-sdk/index.d.ts +32 -0
  59. package/build/src/akuma/providers/opencode-sdk/index.js +203 -0
  60. package/build/src/akuma/providers/opencode-sdk/session.d.ts +41 -0
  61. package/build/src/akuma/providers/opencode-sdk/session.js +62 -0
  62. package/build/src/akuma/providers/pi/events.d.ts +33 -0
  63. package/build/src/akuma/providers/pi/events.js +128 -0
  64. package/build/src/akuma/providers/pi/index.d.ts +11 -0
  65. package/build/src/akuma/providers/pi/index.js +162 -0
  66. package/build/src/akuma/publication.d.ts +10 -0
  67. package/build/src/akuma/publication.js +107 -0
  68. package/build/src/akuma/requests.d.ts +47 -0
  69. package/build/src/akuma/requests.js +391 -0
  70. package/build/src/alias/index.d.ts +18 -0
  71. package/build/src/alias/index.js +103 -0
  72. package/build/src/body/amend.d.ts +2 -0
  73. package/build/src/body/amend.js +289 -0
  74. package/build/src/body/arc.d.ts +2 -0
  75. package/build/src/body/arc.js +54 -0
  76. package/build/src/body/decode.d.ts +4 -0
  77. package/build/src/body/decode.js +146 -0
  78. package/build/src/body/keys.d.ts +4 -0
  79. package/build/src/body/keys.js +11 -0
  80. package/build/src/body/region.d.ts +6 -0
  81. package/build/src/body/region.js +139 -0
  82. package/build/src/body/render.d.ts +4 -0
  83. package/build/src/body/render.js +74 -0
  84. package/build/src/body/shape.d.ts +29 -0
  85. package/build/src/body/shape.js +22 -0
  86. package/build/src/body/types.d.ts +28 -0
  87. package/build/src/body/verification.d.ts +7 -0
  88. package/build/src/body/verification.js +40 -0
  89. package/build/src/cli/accepted.d.ts +18 -0
  90. package/build/src/cli/accepted.js +66 -0
  91. package/build/src/cli/actor.d.ts +8 -0
  92. package/build/src/cli/actor.js +11 -0
  93. package/build/src/cli/commands/akuma-invoke.d.ts +77 -0
  94. package/build/src/cli/commands/akuma-invoke.js +112 -0
  95. package/build/src/cli/commands/akuma.d.ts +50 -0
  96. package/build/src/cli/commands/akuma.js +262 -0
  97. package/build/src/cli/commands/amend.d.ts +13 -0
  98. package/build/src/cli/commands/amend.js +13 -0
  99. package/build/src/cli/commands/bind.d.ts +12 -0
  100. package/build/src/cli/commands/bind.js +17 -0
  101. package/build/src/cli/commands/contract.d.ts +142 -0
  102. package/build/src/cli/commands/contract.js +14 -0
  103. package/build/src/cli/commands/install.d.ts +25 -0
  104. package/build/src/cli/commands/install.js +105 -0
  105. package/build/src/cli/commands/task-invoke.d.ts +11 -0
  106. package/build/src/cli/commands/task-invoke.js +117 -0
  107. package/build/src/cli/commands/task.d.ts +16 -0
  108. package/build/src/cli/commands/task.js +144 -0
  109. package/build/src/cli/index.d.ts +2 -0
  110. package/build/src/cli/index.js +3 -0
  111. package/build/src/cli/invoke.d.ts +22 -0
  112. package/build/src/cli/invoke.js +463 -0
  113. package/build/src/cli/main.d.ts +1 -0
  114. package/build/src/cli/main.js +98 -0
  115. package/build/src/cli/parse.d.ts +107 -0
  116. package/build/src/cli/parse.js +348 -0
  117. package/build/src/cli/render/akuma-tool.d.ts +13 -0
  118. package/build/src/cli/render/akuma-tool.js +72 -0
  119. package/build/src/cli/render/akuma.d.ts +7 -0
  120. package/build/src/cli/render/akuma.js +194 -0
  121. package/build/src/cli/render/board.d.ts +2 -0
  122. package/build/src/cli/render/board.js +4 -0
  123. package/build/src/cli/render/catalog.d.ts +2 -0
  124. package/build/src/cli/render/catalog.js +16 -0
  125. package/build/src/cli/render/contract.d.ts +4 -0
  126. package/build/src/cli/render/contract.js +102 -0
  127. package/build/src/cli/render/kanshi.d.ts +3 -0
  128. package/build/src/cli/render/kanshi.js +252 -0
  129. package/build/src/cli/render/refusal.d.ts +2 -0
  130. package/build/src/cli/render/refusal.js +21 -0
  131. package/build/src/cli/render/settings.d.ts +3 -0
  132. package/build/src/cli/render/settings.js +30 -0
  133. package/build/src/cli/render/task.d.ts +6 -0
  134. package/build/src/cli/render/task.js +105 -0
  135. package/build/src/cli/render/terminal.d.ts +23 -0
  136. package/build/src/cli/render/terminal.js +151 -0
  137. package/build/src/cli/render/text.d.ts +3 -0
  138. package/build/src/cli/render/text.js +20 -0
  139. package/build/src/cli/result.d.ts +67 -0
  140. package/build/src/cli/selectors.d.ts +9 -0
  141. package/build/src/cli/selectors.js +66 -0
  142. package/build/src/cli/usage.d.ts +6 -0
  143. package/build/src/cli/usage.js +19 -0
  144. package/build/src/contract-worktree.d.ts +43 -0
  145. package/build/src/contract-worktree.js +213 -0
  146. package/build/src/coordination/durable-file.d.ts +4 -0
  147. package/build/src/coordination/durable-file.js +79 -0
  148. package/build/src/coordination/sqlite-transaction-lock.d.ts +14 -0
  149. package/build/src/coordination/sqlite-transaction-lock.js +119 -0
  150. package/build/src/core/decide.d.ts +45 -0
  151. package/build/src/core/facts/codec.d.ts +3 -0
  152. package/build/src/core/facts/codec.js +277 -0
  153. package/build/src/core/facts/eligibility.d.ts +7 -0
  154. package/build/src/core/facts/eligibility.js +26 -0
  155. package/build/src/core/facts/errors.d.ts +3 -0
  156. package/build/src/core/facts/errors.js +6 -0
  157. package/build/src/core/facts/fold.d.ts +2 -0
  158. package/build/src/core/facts/fold.js +97 -0
  159. package/build/src/core/facts/gate.d.ts +24 -0
  160. package/build/src/core/facts/gate.js +52 -0
  161. package/build/src/core/facts/observation.d.ts +15 -0
  162. package/build/src/core/facts/observation.js +35 -0
  163. package/build/src/core/facts/offer.d.ts +21 -0
  164. package/build/src/core/facts/types.d.ts +137 -0
  165. package/build/src/core/facts/types.js +66 -0
  166. package/build/src/core/subject.d.ts +21 -0
  167. package/build/src/core/subject.js +89 -0
  168. package/build/src/core/verbs/abandon.d.ts +13 -0
  169. package/build/src/core/verbs/abandon.js +17 -0
  170. package/build/src/core/verbs/amend.d.ts +14 -0
  171. package/build/src/core/verbs/amend.js +52 -0
  172. package/build/src/core/verbs/arc.d.ts +13 -0
  173. package/build/src/core/verbs/arc.js +25 -0
  174. package/build/src/core/verbs/attestation.d.ts +13 -0
  175. package/build/src/core/verbs/attestation.js +21 -0
  176. package/build/src/core/verbs/bind.d.ts +13 -0
  177. package/build/src/core/verbs/bind.js +26 -0
  178. package/build/src/core/verbs/deliver.d.ts +13 -0
  179. package/build/src/core/verbs/deliver.js +42 -0
  180. package/build/src/core/verbs/placement.d.ts +13 -0
  181. package/build/src/core/verbs/placement.js +37 -0
  182. package/build/src/dispatch/index.d.ts +33 -0
  183. package/build/src/dispatch/index.js +168 -0
  184. package/build/src/duration.d.ts +10 -0
  185. package/build/src/duration.js +22 -0
  186. package/build/src/git/admission.d.ts +18 -0
  187. package/build/src/git/admission.js +126 -0
  188. package/build/src/git/hooks.d.ts +49 -0
  189. package/build/src/git/hooks.js +310 -0
  190. package/build/src/git/identity.d.ts +17 -0
  191. package/build/src/git/identity.js +47 -0
  192. package/build/src/git/integration.d.ts +49 -0
  193. package/build/src/git/integration.js +214 -0
  194. package/build/src/git/observe.d.ts +50 -0
  195. package/build/src/git/observe.js +330 -0
  196. package/build/src/git/read-observation.d.ts +41 -0
  197. package/build/src/git/read-observation.js +361 -0
  198. package/build/src/git/reconcile.d.ts +59 -0
  199. package/build/src/git/reconcile.js +376 -0
  200. package/build/src/git/repository.d.ts +95 -0
  201. package/build/src/git/repository.js +490 -0
  202. package/build/src/git/scratch.d.ts +13 -0
  203. package/build/src/git/scratch.js +66 -0
  204. package/build/src/git/target-placement.d.ts +56 -0
  205. package/build/src/git/target-placement.js +255 -0
  206. package/build/src/git/tender.d.ts +48 -0
  207. package/build/src/git/tender.js +82 -0
  208. package/build/src/git/terminal-seal.d.ts +24 -0
  209. package/build/src/git/terminal-seal.js +87 -0
  210. package/build/src/git/tree.d.ts +34 -0
  211. package/build/src/git/tree.js +116 -0
  212. package/build/src/git/workspace.d.ts +21 -0
  213. package/build/src/git/workspace.js +104 -0
  214. package/build/src/identity/coordinates.d.ts +9 -0
  215. package/build/src/identity/coordinates.js +20 -0
  216. package/build/src/identity/normalize.d.ts +8 -0
  217. package/build/src/identity/normalize.js +45 -0
  218. package/build/src/identity/selector.d.ts +12 -0
  219. package/build/src/identity/selector.js +26 -0
  220. package/build/src/index.d.ts +6 -0
  221. package/build/src/index.js +3 -0
  222. package/build/src/kanshi/index.d.ts +5 -0
  223. package/build/src/kanshi/index.js +2 -0
  224. package/build/src/kanshi/read.d.ts +8 -0
  225. package/build/src/kanshi/read.js +209 -0
  226. package/build/src/kanshi/report.d.ts +60 -0
  227. package/build/src/kanshi/select.d.ts +8 -0
  228. package/build/src/kanshi/select.js +21 -0
  229. package/build/src/library/address.d.ts +48 -0
  230. package/build/src/library/address.js +134 -0
  231. package/build/src/library/akuma-creation.d.ts +83 -0
  232. package/build/src/library/akuma-creation.js +152 -0
  233. package/build/src/library/bind.d.ts +21 -0
  234. package/build/src/library/bind.js +56 -0
  235. package/build/src/library/catalog.d.ts +58 -0
  236. package/build/src/library/catalog.js +72 -0
  237. package/build/src/library/configuration.d.ts +17 -0
  238. package/build/src/library/configuration.js +97 -0
  239. package/build/src/library/contract.d.ts +120 -0
  240. package/build/src/library/contract.js +335 -0
  241. package/build/src/library/delivery.d.ts +23 -0
  242. package/build/src/library/delivery.js +21 -0
  243. package/build/src/library/fleet.d.ts +65 -0
  244. package/build/src/library/fleet.js +189 -0
  245. package/build/src/library/input.d.ts +16 -0
  246. package/build/src/library/input.js +101 -0
  247. package/build/src/library/keiyaku.d.ts +42 -0
  248. package/build/src/library/keiyaku.js +26 -0
  249. package/build/src/library/mutation.d.ts +38 -0
  250. package/build/src/library/mutation.js +39 -0
  251. package/build/src/library/refusal.d.ts +21 -0
  252. package/build/src/library/refusal.js +29 -0
  253. package/build/src/library/region.d.ts +18 -0
  254. package/build/src/library/region.js +30 -0
  255. package/build/src/library/repo.d.ts +36 -0
  256. package/build/src/library/repo.js +76 -0
  257. package/build/src/markdown/diff.d.ts +1 -0
  258. package/build/src/markdown/diff.js +4 -0
  259. package/build/src/markdown/lex.d.ts +3 -0
  260. package/build/src/markdown/lex.js +221 -0
  261. package/build/src/markdown/parse.d.ts +2 -0
  262. package/build/src/markdown/parse.js +221 -0
  263. package/build/src/markdown/query.d.ts +21 -0
  264. package/build/src/markdown/query.js +51 -0
  265. package/build/src/markdown/types.d.ts +118 -0
  266. package/build/src/markdown/types.js +6 -0
  267. package/build/src/protocol/attempt.d.ts +49 -0
  268. package/build/src/protocol/attempt.js +150 -0
  269. package/build/src/protocol/bind.d.ts +32 -0
  270. package/build/src/protocol/bind.js +70 -0
  271. package/build/src/protocol/intent.d.ts +76 -0
  272. package/build/src/protocol/intent.js +90 -0
  273. package/build/src/protocol/operations.d.ts +198 -0
  274. package/build/src/protocol/operations.js +485 -0
  275. package/build/src/protocol/outcome.d.ts +23 -0
  276. package/build/src/protocol/outcome.js +21 -0
  277. package/build/src/protocol/placement.d.ts +30 -0
  278. package/build/src/protocol/placement.js +114 -0
  279. package/build/src/protocol/read/audit.d.ts +31 -0
  280. package/build/src/protocol/read/audit.js +55 -0
  281. package/build/src/protocol/read/documents.d.ts +8 -0
  282. package/build/src/protocol/read/documents.js +16 -0
  283. package/build/src/protocol/read/status.d.ts +44 -0
  284. package/build/src/protocol/read/status.js +60 -0
  285. package/build/src/protocol/run.d.ts +81 -0
  286. package/build/src/protocol/run.js +64 -0
  287. package/build/src/runtime/proc/line-rpc.d.ts +38 -0
  288. package/build/src/runtime/proc/line-rpc.js +145 -0
  289. package/build/src/runtime/proc/run.d.ts +70 -0
  290. package/build/src/runtime/proc/run.js +226 -0
  291. package/build/src/settings.d.ts +51 -0
  292. package/build/src/settings.js +114 -0
  293. package/build/src/settlement/fence.d.ts +9 -0
  294. package/build/src/settlement/fence.js +23 -0
  295. package/build/src/settlement/holder.d.ts +36 -0
  296. package/build/src/settlement/holder.js +187 -0
  297. package/build/src/settlement/settle.d.ts +44 -0
  298. package/build/src/settlement/settle.js +165 -0
  299. package/build/src/task/board.d.ts +83 -0
  300. package/build/src/task/board.js +165 -0
  301. package/build/src/task/compose.d.ts +25 -0
  302. package/build/src/task/compose.js +232 -0
  303. package/build/src/task/context.d.ts +4 -0
  304. package/build/src/task/context.js +51 -0
  305. package/build/src/task/document.d.ts +24 -0
  306. package/build/src/task/document.js +118 -0
  307. package/build/src/task/identity.d.ts +12 -0
  308. package/build/src/task/identity.js +47 -0
  309. package/build/src/task/index.d.ts +90 -0
  310. package/build/src/task/index.js +182 -0
  311. package/build/src/task/operations.d.ts +134 -0
  312. package/build/src/task/operations.js +198 -0
  313. package/build/src/task/store.d.ts +20 -0
  314. package/build/src/task/store.js +114 -0
  315. package/build/src/verification/declaration.d.ts +23 -0
  316. package/build/src/verification/declaration.js +14 -0
  317. package/build/src/verification/execution.d.ts +49 -0
  318. package/build/src/verification/execution.js +104 -0
  319. package/build/src/world.d.ts +13 -0
  320. package/build/src/world.js +103 -0
  321. package/package.json +65 -44
  322. package/build/.tsbuildinfo +0 -1
  323. package/build/agents/call-terms.js +0 -32
  324. package/build/agents/harness/activity-values.js +0 -70
  325. package/build/agents/harness/control-types.js +0 -18
  326. package/build/agents/harness/event-channel.js +0 -213
  327. package/build/agents/harness/event-persistence.js +0 -220
  328. package/build/agents/harness/events.js +0 -48
  329. package/build/agents/harness/execution-handle.js +0 -172
  330. package/build/agents/harness/index.js +0 -11
  331. package/build/agents/harness/outcome-error.js +0 -81
  332. package/build/agents/harness/outcome.js +0 -220
  333. package/build/agents/harness/projection.js +0 -369
  334. package/build/agents/harness/provider-adapter.js +0 -58
  335. package/build/agents/harness/router.js +0 -30
  336. package/build/agents/harness/runtime.js +0 -85
  337. package/build/agents/harness/session.js +0 -15
  338. package/build/agents/launch-snapshot/model.js +0 -127
  339. package/build/agents/launch-snapshot/parse-helpers.js +0 -114
  340. package/build/agents/launch-snapshot/resolve.js +0 -46
  341. package/build/agents/opencode-sdk.js +0 -159
  342. package/build/agents/providers/claude-agent-sdk/adapter.js +0 -396
  343. package/build/agents/providers/claude-agent-sdk/events.js +0 -218
  344. package/build/agents/providers/claude-agent-sdk/registration.js +0 -225
  345. package/build/agents/providers/claude-agent-sdk/session-schema.js +0 -2
  346. package/build/agents/providers/claude-agent-sdk/session.js +0 -172
  347. package/build/agents/providers/codex-app-server/adapter.js +0 -387
  348. package/build/agents/providers/codex-app-server/events.js +0 -492
  349. package/build/agents/providers/codex-app-server/identity.js +0 -1
  350. package/build/agents/providers/codex-app-server/policy.js +0 -29
  351. package/build/agents/providers/codex-app-server/registration.js +0 -259
  352. package/build/agents/providers/codex-app-server/session-schema.js +0 -6
  353. package/build/agents/providers/codex-app-server/session.js +0 -273
  354. package/build/agents/providers/event-type-tail.js +0 -16
  355. package/build/agents/providers/opencode-sdk/adapter.js +0 -402
  356. package/build/agents/providers/opencode-sdk/events.js +0 -380
  357. package/build/agents/providers/opencode-sdk/registration.js +0 -146
  358. package/build/agents/providers/opencode-sdk/session-schema.js +0 -2
  359. package/build/agents/providers/opencode-sdk/session.js +0 -187
  360. package/build/agents/providers/pi/adapter.js +0 -285
  361. package/build/agents/providers/pi/checkpoint.js +0 -49
  362. package/build/agents/providers/pi/events.js +0 -285
  363. package/build/agents/providers/pi/registration.js +0 -160
  364. package/build/agents/providers/pi/session-schema.js +0 -6
  365. package/build/agents/providers/registration.js +0 -7
  366. package/build/agents/providers/registry.js +0 -76
  367. package/build/agents/selector.js +0 -120
  368. package/build/agents/session.js +0 -29
  369. package/build/agents/string-tail-buffer.js +0 -44
  370. package/build/agents/types.js +0 -30
  371. package/build/artifact-directories.js +0 -22
  372. package/build/cli/commands/akuma/akuma/handler.js +0 -5
  373. package/build/cli/commands/akuma/akuma/meta.js +0 -17
  374. package/build/cli/commands/akuma/catalog.js +0 -10
  375. package/build/cli/commands/akuma/list/handler.js +0 -15
  376. package/build/cli/commands/akuma/list/meta-list.js +0 -12
  377. package/build/cli/commands/akuma/list/meta-ls.js +0 -9
  378. package/build/cli/commands/akuma/show/handler.js +0 -27
  379. package/build/cli/commands/akuma/show/meta.js +0 -8
  380. package/build/cli/commands/akuma.js +0 -186
  381. package/build/cli/commands/contract/amend/handler.js +0 -17
  382. package/build/cli/commands/contract/amend/meta.js +0 -13
  383. package/build/cli/commands/contract/arc/handler.js +0 -16
  384. package/build/cli/commands/contract/arc/meta.js +0 -28
  385. package/build/cli/commands/contract/audit/handler.js +0 -42
  386. package/build/cli/commands/contract/audit/meta.js +0 -17
  387. package/build/cli/commands/contract/bind/handler.js +0 -39
  388. package/build/cli/commands/contract/bind/meta.js +0 -96
  389. package/build/cli/commands/contract/catalog.js +0 -18
  390. package/build/cli/commands/contract/forfeit/handler.js +0 -17
  391. package/build/cli/commands/contract/forfeit/meta.js +0 -12
  392. package/build/cli/commands/contract/log/handler.js +0 -12
  393. package/build/cli/commands/contract/log/meta.js +0 -12
  394. package/build/cli/commands/contract/petition/handler.js +0 -64
  395. package/build/cli/commands/contract/petition/meta.js +0 -23
  396. package/build/cli/commands/contract/renew/handler.js +0 -65
  397. package/build/cli/commands/contract/renew/meta.js +0 -19
  398. package/build/cli/commands/metadata.js +0 -68
  399. package/build/cli/commands/projection/call/handler.js +0 -43
  400. package/build/cli/commands/projection/call/meta.js +0 -12
  401. package/build/cli/commands/projection/catalog.js +0 -16
  402. package/build/cli/commands/projection/fork/handler.js +0 -61
  403. package/build/cli/commands/projection/fork/meta.js +0 -12
  404. package/build/cli/commands/projection/history/handler.js +0 -65
  405. package/build/cli/commands/projection/history/meta.js +0 -9
  406. package/build/cli/commands/projection/kill/handler.js +0 -20
  407. package/build/cli/commands/projection/kill/meta.js +0 -11
  408. package/build/cli/commands/projection/shared.js +0 -27
  409. package/build/cli/commands/projection/status/handler.js +0 -42
  410. package/build/cli/commands/projection/status/meta.js +0 -20
  411. package/build/cli/commands/projection/tell/handler.js +0 -32
  412. package/build/cli/commands/projection/tell/meta.js +0 -12
  413. package/build/cli/commands/projection/wait/handler.js +0 -80
  414. package/build/cli/commands/projection/wait/meta.js +0 -16
  415. package/build/cli/commands/registry.js +0 -48
  416. package/build/cli/commands/shared.js +0 -74
  417. package/build/cli/commands/skills/catalog.js +0 -6
  418. package/build/cli/commands/skills/install/handler.js +0 -7
  419. package/build/cli/commands/skills/install/meta.js +0 -9
  420. package/build/cli/commands/skills/skills/handler.js +0 -4
  421. package/build/cli/commands/skills/skills/meta.js +0 -10
  422. package/build/cli/commands/system/catalog.js +0 -10
  423. package/build/cli/commands/system/completion/handler.js +0 -10
  424. package/build/cli/commands/system/completion/meta.js +0 -9
  425. package/build/cli/commands/system/dump-env/handler.js +0 -3
  426. package/build/cli/commands/system/dump-env/meta.js +0 -10
  427. package/build/cli/commands/system/guide/handler.js +0 -4
  428. package/build/cli/commands/system/guide/meta.js +0 -9
  429. package/build/cli/commands/task/add/handler.js +0 -38
  430. package/build/cli/commands/task/add/meta.js +0 -31
  431. package/build/cli/commands/task/catalog.js +0 -32
  432. package/build/cli/commands/task/compose/handler.js +0 -18
  433. package/build/cli/commands/task/compose/meta.js +0 -10
  434. package/build/cli/commands/task/doctor/handler.js +0 -3
  435. package/build/cli/commands/task/doctor/meta.js +0 -8
  436. package/build/cli/commands/task/done/handler.js +0 -10
  437. package/build/cli/commands/task/done/meta.js +0 -8
  438. package/build/cli/commands/task/drop/handler.js +0 -8
  439. package/build/cli/commands/task/drop/meta.js +0 -11
  440. package/build/cli/commands/task/hold/handler.js +0 -3
  441. package/build/cli/commands/task/hold/meta.js +0 -8
  442. package/build/cli/commands/task/log/handler.js +0 -12
  443. package/build/cli/commands/task/log/meta.js +0 -8
  444. package/build/cli/commands/task/ls/handler.js +0 -17
  445. package/build/cli/commands/task/ls/meta.js +0 -8
  446. package/build/cli/commands/task/note/handler.js +0 -6
  447. package/build/cli/commands/task/note/meta.js +0 -11
  448. package/build/cli/commands/task/resume/handler.js +0 -3
  449. package/build/cli/commands/task/resume/meta.js +0 -8
  450. package/build/cli/commands/task/shared.js +0 -181
  451. package/build/cli/commands/task/show/handler.js +0 -13
  452. package/build/cli/commands/task/show/meta.js +0 -8
  453. package/build/cli/commands/task/start/handler.js +0 -3
  454. package/build/cli/commands/task/start/meta.js +0 -8
  455. package/build/cli/commands/task/stop/handler.js +0 -10
  456. package/build/cli/commands/task/stop/meta.js +0 -8
  457. package/build/cli/commands/task/task/handler.js +0 -5
  458. package/build/cli/commands/task/task/meta.js +0 -11
  459. package/build/cli/commands/task/update/handler.js +0 -21
  460. package/build/cli/commands/task/update/meta.js +0 -12
  461. package/build/cli/commands/verification/handler.js +0 -43
  462. package/build/cli/commands/verification/meta.js +0 -13
  463. package/build/cli/completion.js +0 -91
  464. package/build/cli/draft-artifact.js +0 -50
  465. package/build/cli/flags.js +0 -321
  466. package/build/cli/help.js +0 -99
  467. package/build/cli/index.js +0 -333
  468. package/build/cli/missing-subcommand.js +0 -7
  469. package/build/cli/output-stream-error-policy.js +0 -31
  470. package/build/cli/parse-flags.js +0 -301
  471. package/build/cli/parse-metadata.js +0 -132
  472. package/build/cli/parse-selectors.js +0 -83
  473. package/build/cli/parse.js +0 -250
  474. package/build/cli/projection-address.js +0 -105
  475. package/build/cli/render/address.js +0 -101
  476. package/build/cli/render/amendment-warning.js +0 -8
  477. package/build/cli/render/arc.js +0 -88
  478. package/build/cli/render/audit.js +0 -440
  479. package/build/cli/render/call.js +0 -70
  480. package/build/cli/render/compact-text.js +0 -3
  481. package/build/cli/render/errors.js +0 -101
  482. package/build/cli/render/format.js +0 -226
  483. package/build/cli/render/kanshi.js +0 -300
  484. package/build/cli/render/kill.js +0 -9
  485. package/build/cli/render/lifecycle.js +0 -56
  486. package/build/cli/render/line-width.js +0 -103
  487. package/build/cli/render/misc.js +0 -84
  488. package/build/cli/render/path-prefix-compaction.js +0 -131
  489. package/build/cli/render/petition.js +0 -85
  490. package/build/cli/render/projection-activity.js +0 -332
  491. package/build/cli/render/projection-history.js +0 -77
  492. package/build/cli/render/response-style.js +0 -27
  493. package/build/cli/render/shared.js +0 -232
  494. package/build/cli/render/skills.js +0 -10
  495. package/build/cli/render/status-indicator.js +0 -47
  496. package/build/cli/render/status.js +0 -243
  497. package/build/cli/render/success-response.js +0 -95
  498. package/build/cli/render/task.js +0 -175
  499. package/build/cli/render/tell.js +0 -11
  500. package/build/cli/render/terminal-failure.js +0 -65
  501. package/build/cli/render/tool-command-normalization.js +0 -137
  502. package/build/cli/render/tool-ledger-rollup.js +0 -74
  503. package/build/cli/render/tool-presentation.js +0 -98
  504. package/build/cli/render/types.js +0 -2
  505. package/build/cli/render/verification.js +0 -23
  506. package/build/cli/render/wait.js +0 -343
  507. package/build/cli/skills-install.js +0 -348
  508. package/build/cli/subagent-guard.js +0 -25
  509. package/build/cli/types.js +0 -2
  510. package/build/config/akuma-loader.js +0 -240
  511. package/build/config/env-keys.js +0 -57
  512. package/build/config/env.js +0 -304
  513. package/build/config/provider-policy-ownership.js +0 -10
  514. package/build/config/settings/disease.js +0 -33
  515. package/build/config/settings/knobs.js +0 -14
  516. package/build/config/settings/loader.js +0 -275
  517. package/build/config/settings/provider-instance-fields.js +0 -51
  518. package/build/config/settings/schema.js +0 -113
  519. package/build/core/address-carrier.js +0 -89
  520. package/build/core/addressing.js +0 -407
  521. package/build/core/amend.js +0 -321
  522. package/build/core/amendment-criteria.js +0 -17
  523. package/build/core/amendment-warning.js +0 -10
  524. package/build/core/arc.js +0 -293
  525. package/build/core/atomic-publish.js +0 -64
  526. package/build/core/audit/candidate.js +0 -141
  527. package/build/core/audit/coordinates.js +0 -230
  528. package/build/core/audit/evidence.js +0 -156
  529. package/build/core/audit/facade.js +0 -65
  530. package/build/core/audit/readiness.js +0 -4
  531. package/build/core/audit/report.js +0 -38
  532. package/build/core/audit.js +0 -1
  533. package/build/core/bind-reconciliation.js +0 -409
  534. package/build/core/bind-workspace.js +0 -115
  535. package/build/core/bind.js +0 -503
  536. package/build/core/call/call.js +0 -235
  537. package/build/core/call/context.js +0 -210
  538. package/build/core/call/execution.js +0 -255
  539. package/build/core/call/prompt.js +0 -27
  540. package/build/core/call/reference.js +0 -24
  541. package/build/core/call-persist.js +0 -76
  542. package/build/core/command-markdown.js +0 -45
  543. package/build/core/context.js +0 -104
  544. package/build/core/contract-carrier-runtime.js +0 -512
  545. package/build/core/contract-carrier.js +0 -353
  546. package/build/core/contract-view.js +0 -319
  547. package/build/core/contract.js +0 -19
  548. package/build/core/derived-replay.js +0 -340
  549. package/build/core/draft.js +0 -400
  550. package/build/core/execution-coordinate.js +0 -46
  551. package/build/core/execution-pact.js +0 -126
  552. package/build/core/forfeit.js +0 -132
  553. package/build/core/hints.js +0 -34
  554. package/build/core/identifier-slug.js +0 -116
  555. package/build/core/ids.js +0 -90
  556. package/build/core/lifecycle-history.js +0 -48
  557. package/build/core/lifecycle-recovery.js +0 -122
  558. package/build/core/lifecycle-runner.js +0 -377
  559. package/build/core/log.js +0 -50
  560. package/build/core/markdown/lex.js +0 -274
  561. package/build/core/markdown/parser.js +0 -260
  562. package/build/core/markdown/render.js +0 -68
  563. package/build/core/markdown/sections.js +0 -80
  564. package/build/core/markdown/titles.js +0 -9
  565. package/build/core/markdown/types.js +0 -6
  566. package/build/core/outcome-base.js +0 -185
  567. package/build/core/places.js +0 -175
  568. package/build/core/projection/akuma-name.js +0 -43
  569. package/build/core/projection/generation/database.js +0 -473
  570. package/build/core/projection/generation/identity.js +0 -84
  571. package/build/core/projection/generation/ledger.js +0 -91
  572. package/build/core/projection/generation/model.js +0 -261
  573. package/build/core/projection/generation/projection-generation-continuation.js +0 -84
  574. package/build/core/projection/generation/projection-generation-doorbell.js +0 -88
  575. package/build/core/projection/generation/projection-generation-execution.js +0 -241
  576. package/build/core/projection/generation/projection-generation-identity.js +0 -21
  577. package/build/core/projection/generation/projection-generation-launcher.js +0 -154
  578. package/build/core/projection/generation/projection-generation-process.js +0 -47
  579. package/build/core/projection/generation/projection-generation-runner.js +0 -489
  580. package/build/core/projection/generation/projection-generation-runtime.js +0 -46
  581. package/build/core/projection/generation/protocol.js +0 -68
  582. package/build/core/projection/generation/store.js +0 -108
  583. package/build/core/projection/generation/transitions.js +0 -463
  584. package/build/core/projection/heart.js +0 -9
  585. package/build/core/projection/index.js +0 -28
  586. package/build/core/projection/projection-activity.js +0 -273
  587. package/build/core/projection/projection-alias.js +0 -131
  588. package/build/core/projection/projection-coordinate.js +0 -61
  589. package/build/core/projection/projection-core.js +0 -127
  590. package/build/core/projection/projection-execution-observer.js +0 -270
  591. package/build/core/projection/projection-history.js +0 -474
  592. package/build/core/projection/projection-identity.js +0 -11
  593. package/build/core/projection/projection-kill.js +0 -112
  594. package/build/core/projection/projection-life-observer.js +0 -101
  595. package/build/core/projection/projection-mint.js +0 -170
  596. package/build/core/projection/projection-status-observation.js +0 -434
  597. package/build/core/projection/projection-status.js +0 -442
  598. package/build/core/projection/projection-terminal-failure.js +0 -111
  599. package/build/core/projection/projection-wait.js +0 -337
  600. package/build/core/projection/projection-wake.js +0 -298
  601. package/build/core/projection/tell/launch-store.js +0 -244
  602. package/build/core/projection/tell/model.js +0 -98
  603. package/build/core/projection/tell/store.js +0 -245
  604. package/build/core/provider-loader-ports.js +0 -4
  605. package/build/core/registry.js +0 -100
  606. package/build/core/renew-build.js +0 -554
  607. package/build/core/renew-plan.js +0 -264
  608. package/build/core/renew-rewrite.js +0 -118
  609. package/build/core/renew.js +0 -345
  610. package/build/core/repository-ledger/accepted-fold-read.js +0 -22
  611. package/build/core/repository-ledger/accepted-tail.js +0 -116
  612. package/build/core/repository-ledger/admission.js +0 -38
  613. package/build/core/repository-ledger/authoritative-transaction.js +0 -1
  614. package/build/core/repository-ledger/claim-evidence.js +0 -147
  615. package/build/core/repository-ledger/codec.js +0 -303
  616. package/build/core/repository-ledger/current-state-store.js +0 -968
  617. package/build/core/repository-ledger/fold-repository.js +0 -374
  618. package/build/core/repository-ledger/fold.js +0 -248
  619. package/build/core/repository-ledger/git-object-store.js +0 -243
  620. package/build/core/repository-ledger/history-read.js +0 -15
  621. package/build/core/repository-ledger/identity.js +0 -60
  622. package/build/core/repository-ledger/incremental-read.js +0 -153
  623. package/build/core/repository-ledger/index.js +0 -15
  624. package/build/core/repository-ledger/inventory-plan.js +0 -75
  625. package/build/core/repository-ledger/inventory.js +0 -310
  626. package/build/core/repository-ledger/publication-admission.js +0 -125
  627. package/build/core/repository-ledger/publication.js +0 -353
  628. package/build/core/repository-ledger/read-model.js +0 -517
  629. package/build/core/repository-ledger/transaction-membership.js +0 -78
  630. package/build/core/repository-ledger/traversal.js +0 -404
  631. package/build/core/repository-ledger/write-transaction.js +0 -346
  632. package/build/core/response-artifact-catalog-sqlite.js +0 -112
  633. package/build/core/response-artifact-catalog.js +0 -7
  634. package/build/core/response-artifact-id.js +0 -5
  635. package/build/core/run-control/connection-bound-close.js +0 -41
  636. package/build/core/run-control/detached-lease-bootstrap.js +0 -208
  637. package/build/core/run-control/detached-process.js +0 -14
  638. package/build/core/run-control/index.js +0 -6
  639. package/build/core/run-control/process-tree.js +0 -139
  640. package/build/core/run-control/runner-lease.js +0 -172
  641. package/build/core/run-control/sqlite-process-lifetime-lock.js +0 -174
  642. package/build/core/scope.js +0 -416
  643. package/build/core/seal.js +0 -364
  644. package/build/core/settlement/claim-delivery.js +0 -82
  645. package/build/core/settlement/claim.js +0 -258
  646. package/build/core/settlement/index.js +0 -19
  647. package/build/core/settlement/petition-claim-gates.js +0 -247
  648. package/build/core/settlement/petition-forfeit.js +0 -46
  649. package/build/core/settlement/petition-head-guard.js +0 -12
  650. package/build/core/settlement/petition-io.js +0 -1
  651. package/build/core/settlement/petition-preview.js +0 -125
  652. package/build/core/settlement/petition-window.js +0 -50
  653. package/build/core/settlement/petition.js +0 -315
  654. package/build/core/settlement/queue-read-model.js +0 -120
  655. package/build/core/settlement/queue-seat-allocation.js +0 -65
  656. package/build/core/settlement/queue.js +0 -6
  657. package/build/core/settlement/settlement.js +0 -385
  658. package/build/core/settlement/verdict.js +0 -126
  659. package/build/core/settlement/verification.js +0 -554
  660. package/build/core/status/board.js +0 -455
  661. package/build/core/status/drift.js +0 -113
  662. package/build/core/status/lifecycle.js +0 -11
  663. package/build/core/stored-agent-event.js +0 -129
  664. package/build/core/structured-query.js +0 -23
  665. package/build/core/target-ref.js +0 -10
  666. package/build/core/task/board.js +0 -248
  667. package/build/core/task/commands.js +0 -401
  668. package/build/core/task/compose.js +0 -328
  669. package/build/core/task/coordinate.js +0 -56
  670. package/build/core/task/document.js +0 -273
  671. package/build/core/task/index.js +0 -16
  672. package/build/core/task/model.js +0 -8
  673. package/build/core/task/query.js +0 -204
  674. package/build/core/task/settlement-git.js +0 -423
  675. package/build/core/task/settlement-policy.js +0 -137
  676. package/build/core/task/source-board.js +0 -104
  677. package/build/core/task/source-model.js +0 -1
  678. package/build/core/task/task-bind-preparation.js +0 -243
  679. package/build/core/task/task-contract.js +0 -371
  680. package/build/core/task/task-doctor.js +0 -14
  681. package/build/core/task/task-file-transaction.js +0 -171
  682. package/build/core/task/task-git-actor.js +0 -33
  683. package/build/core/task/task-git-runtime.js +0 -97
  684. package/build/core/task/task-git-store.js +0 -400
  685. package/build/core/task/task-repository.js +0 -1
  686. package/build/core/task/task-store-repository.js +0 -97
  687. package/build/core/task/task-store.js +0 -1
  688. package/build/core/task/task-worktree.js +0 -25
  689. package/build/core/task/task.js +0 -7
  690. package/build/core/task/tree.js +0 -37
  691. package/build/core/task/validation.js +0 -48
  692. package/build/core/transcripts.js +0 -485
  693. package/build/core/validation.js +0 -17
  694. package/build/core/verification-declaration.js +0 -95
  695. package/build/core/worktree-bootstrap.js +0 -195
  696. package/build/core/worktree-path.js +0 -371
  697. package/build/errno.js +0 -3
  698. package/build/flow-error.js +0 -191
  699. package/build/fs/durability.js +0 -27
  700. package/build/fs/path-coordinate.js +0 -16
  701. package/build/generated/version.js +0 -3
  702. package/build/git/branches.js +0 -84
  703. package/build/git/commits.js +0 -151
  704. package/build/git/core.js +0 -86
  705. package/build/git/diff/parsers.js +0 -181
  706. package/build/git/diff/pathspec.js +0 -3
  707. package/build/git/diff/preview.js +0 -38
  708. package/build/git/diff/read.js +0 -105
  709. package/build/git/diff/structured.js +0 -127
  710. package/build/git/diff/types.js +0 -1
  711. package/build/git/path-coordinate.js +0 -17
  712. package/build/git/process.js +0 -229
  713. package/build/git/refs.js +0 -250
  714. package/build/git/staging.js +0 -79
  715. package/build/git/streaming-batch.js +0 -354
  716. package/build/git/worktree.js +0 -175
  717. package/build/index.js +0 -67
  718. package/build/keiyaku-constants.js +0 -2
  719. package/build/keiyaku.js +0 -30
  720. package/build/telemetry/debug-log.js +0 -40
  721. package/build/telemetry/logger.js +0 -48
  722. package/skills/keiyaku/SKILL.md +0 -46
  723. package/skills/keiyaku-akuma/SKILL.md +0 -97
  724. package/skills/keiyaku-task/SKILL.md +0 -118
  725. package/skills/keiyaku-workflow/SKILL.md +0 -191
  726. /package/build/{agents/launch-snapshot → src/body}/types.js +0 -0
  727. /package/build/{agents/providers/claude-agent-sdk/terms.js → src/cli/result.js} +0 -0
  728. /package/build/{agents/providers/codex-app-server/terms.js → src/core/decide.js} +0 -0
  729. /package/build/{agents/providers/opencode-sdk/terms.js → src/core/facts/offer.js} +0 -0
  730. /package/build/{agents/providers/pi/terms.js → src/kanshi/report.js} +0 -0
@@ -1,65 +0,0 @@
1
- import { createAuditCandidate, disposeAuditCandidate, prepareAuditCandidate, readAuditCandidateDiff } from "./candidate.js";
2
- import { completeAuditCoordinates, initialCoordinateRace, pinAuditSnapshot, rereadCoordinateRace } from "./coordinates.js";
3
- import { collectEvidence, resolveAuditVerificationPlan } from "./evidence.js";
4
- import { collectFindings, emptyRaceReport } from "./report.js";
5
- import { readinessFromFacts } from "./readiness.js";
6
- import { effectiveVerification } from "../lifecycle-history.js";
7
- export async function auditContract(input) {
8
- const contractId = input.address.binding.commissionId;
9
- const frozenSnapshot = await pinAuditSnapshot({ address: input.address });
10
- const contractVerification = effectiveVerification(frozenSnapshot.lifecycle.history.map(({ entry }) => entry));
11
- const admission = {
12
- frozen: frozenSnapshot,
13
- contractVerification,
14
- };
15
- let frozen;
16
- try {
17
- frozen = await completeAuditCoordinates({ address: input.address, frozen: admission.frozen });
18
- }
19
- catch (error) {
20
- const fallback = admission.frozen;
21
- return emptyRaceReport({ contractId, coordinates: fallback.coordinates, terms: { criteria: fallback.criteria, scope: fallback.scope, appendScope: fallback.appendScope }, detail: error instanceof Error ? error.message : String(error), race: initialCoordinateRace({ frozen: fallback, observed: error instanceof Error ? error.message : String(error) }) });
22
- }
23
- const candidateResult = await createAuditCandidate({ root: input.address.repo.stableRoot, contractId, frozen });
24
- let evidence = null;
25
- let verification;
26
- let candidatePreparation = { status: "not-required", reason: "candidate_unavailable" };
27
- try {
28
- let verificationPlan = [];
29
- let verificationOverride;
30
- if (candidateResult.candidate) {
31
- const planResolution = await resolveAuditVerificationPlan({ cwd: candidateResult.cwd, contract: admission.contractVerification });
32
- if (planResolution.status === "unknown") {
33
- candidatePreparation = { status: "not-required", reason: "verification_plan_unavailable" };
34
- verificationOverride = { status: "unknown", cause: planResolution.cause, results: [] };
35
- }
36
- else {
37
- verificationPlan = planResolution.plan;
38
- const lifecycleBind = frozen.lifecycle.history.find(({ entry }) => entry.kind === "bind")?.entry;
39
- candidatePreparation = await prepareAuditCandidate({ candidateResult, verificationRequired: verificationPlan.length > 0, plan: lifecycleBind?.kind === "bind" && lifecycleBind.data.workspace === "worktree" ? lifecycleBind.data.bootstrap : undefined });
40
- if (candidatePreparation.status === "failed") {
41
- verificationOverride = { status: "not_evaluated", reason: "candidate_preparation_failed", results: [] };
42
- }
43
- }
44
- }
45
- const diff = await readAuditCandidateDiff(candidateResult);
46
- evidence = await collectEvidence({ candidateResult, frozen, diff, diffBudgetBytes: input.diffBudgetBytes ?? 32_000, verificationPlan, signal: input.signal, root: input.address.repo.stableRoot, ...(verificationOverride ? { verificationOverride } : {}) });
47
- verification = evidence?.verification ?? verificationOverride ?? { status: "not_evaluated", reason: candidateResult.rehearsal.status === "conflict" ? "renew_conflict" : "renew_unknown", results: [] };
48
- await input.afterEvidence?.();
49
- }
50
- finally {
51
- await disposeAuditCandidate(candidateResult);
52
- }
53
- const race = await rereadCoordinateRace({ cwd: input.cwd, address: input.address, frozen });
54
- if (race) {
55
- const detail = typeof race.observed === "string"
56
- ? `final coordinate reread failed: ${race.observed}`
57
- : race.which === "delivery-worktree"
58
- ? "delivery worktree bytes or HEAD changed"
59
- : `audit coordinates changed while evidence was collected: ${race.which}`;
60
- return emptyRaceReport({ contractId, coordinates: frozen.coordinates, terms: { criteria: frozen.criteria, scope: frozen.scope, appendScope: frozen.appendScope }, detail, race });
61
- }
62
- const readiness = readinessFromFacts(frozen.readiness);
63
- const findings = collectFindings({ contractId, deliveryCwd: frozen.deliveryCwd, rehearsal: candidateResult.rehearsal, scope: evidence?.scope ?? null, candidatePreparation, verification, readiness });
64
- return { contract: contractId, coordinates: frozen.coordinates, terms: { criteria: frozen.criteria, scope: frozen.scope, appendScope: frozen.appendScope }, rehearsal: candidateResult.rehearsal, candidate: evidence ? (evidence.candidate.rewritten ? { kind: "renew-rehearsal", base: evidence.candidate.base, head: evidence.candidate.head, tree: evidence.candidate.tree, deliveryHead: frozen.coordinates.delivery.head, targetHead: frozen.coordinates.target.head } : { kind: "delivery", base: evidence.candidate.base, head: evidence.candidate.head, tree: evidence.candidate.tree }) : null, diff: evidence?.diff ?? null, presentation: evidence?.presentation ?? null, files: evidence?.files ?? null, scope: evidence?.scope ?? null, candidatePreparation, verification, readiness, findings, counts: { files: evidence?.files.length ?? 0, selected: evidence?.presentation.selected.length ?? 0, omitted: evidence?.presentation.omissions.length ?? 0, inScope: evidence?.scope.filter((row) => row.class === "in-scope").length ?? 0, downgraded: evidence?.scope.filter((row) => row.class === "downgraded").length ?? 0, violated: evidence?.scope.filter((row) => row.class === "violated").length ?? 0, findings: findings.length } };
65
- }
@@ -1,4 +0,0 @@
1
- /** Readiness is assembled from the coordinate owner's one frozen read. */
2
- export function readinessFromFacts(facts) {
3
- return facts;
4
- }
@@ -1,38 +0,0 @@
1
- export function collectFindings(input) {
2
- const findings = [];
3
- const selector = `keiyaku @${input.contractId}`;
4
- if (input.rehearsal.status === "clean")
5
- findings.push({ code: "BASE_DRIFT", detail: `${input.rehearsal.oldBase} -> ${input.rehearsal.newBase}`, nextCommand: `${selector} renew` });
6
- if (input.rehearsal.status === "conflict")
7
- findings.push({ code: "RENEW_CONFLICT", detail: input.rehearsal.paths.join(", "), nextCommand: `${selector} renew` });
8
- if (input.rehearsal.status === "unknown")
9
- findings.push({ code: "RENEW_UNKNOWN", detail: `${input.rehearsal.cause.code}: ${input.rehearsal.cause.message}`, nextCommand: `${selector} audit` });
10
- for (const row of input.scope?.filter((item) => item.class === "violated") ?? [])
11
- findings.push({ code: "SCOPE_RESIDUE", severity: "warning", detail: `${row.path}: ${row.residue.length} unexplained changes`, nextCommand: `${selector} amend --scope-add ${JSON.stringify(row.path)}` });
12
- if (input.candidatePreparation.status === "failed")
13
- findings.push({ code: "CANDIDATE_PREPARATION_FAILED", detail: `${input.candidatePreparation.cause.code}: ${input.candidatePreparation.cause.message}`, nextCommand: `${selector} audit` });
14
- if (input.verification.status === "evaluated") {
15
- for (const result of input.verification.results) {
16
- if (result.status === "executed" && result.exitCode !== 0)
17
- findings.push({ code: "VERIFICATION_FAILED", detail: `${result.label} exited ${result.exitCode}`, nextCommand: result.command });
18
- if (result.status === "runner_failed")
19
- findings.push({ code: "VERIFICATION_UNKNOWN", detail: `${result.source} ${result.label}: ${result.cause.code}: ${result.cause.message}`, nextCommand: result.command });
20
- }
21
- }
22
- const residue = input.readiness.deliveryResidue;
23
- if (residue.tracked.length + residue.staged.length + residue.unstaged.length + residue.untracked.length > 0)
24
- findings.push({ code: "DELIVERY_RESIDUE", detail: `registered delivery worktree has uncommitted residue at ${input.deliveryCwd}`, nextCommand: `git -C ${JSON.stringify(input.deliveryCwd)} status --short` });
25
- if (input.readiness.arc.max > 0 && input.readiness.arc.open === null && input.readiness.arc.looseCommits.length > 0)
26
- findings.push({ code: "LOOSE_COMMITS", detail: `${input.readiness.arc.looseCommits.length} loose commits after fence`, nextCommand: `printf '# Continue\\n\\n## Objective\\nReceipt loose commits.\\n\\n## Brief\\nContinue delivery.\\n' | ${selector} arc` });
27
- if (input.readiness.rewriteGuard.liveProjection)
28
- findings.push({ code: "LIVE_REWRITE_GUARD", detail: "a live projection owns the delivery worktree", nextCommand: "keiyaku status" });
29
- for (const dependency of input.readiness.dependencies.filter((item) => !item.satisfied))
30
- findings.push({ code: "DEPENDENCY_OPEN", detail: `dependency ${dependency.id} is ${dependency.state}`, nextCommand: `keiyaku @${dependency.id} log` });
31
- if (input.readiness.petition.state === "petitioned" && input.readiness.petition.queue?.position !== 1)
32
- findings.push({ code: "PETITION_QUEUE", detail: `petition queue position ${input.readiness.petition.queue?.position ?? "unknown"}`, nextCommand: "keiyaku status" });
33
- return findings;
34
- }
35
- export function emptyRaceReport(input) {
36
- const findings = [{ code: "COORDINATE_RACE", detail: input.detail, nextCommand: `keiyaku @${input.contractId} audit`, race: input.race }];
37
- return { contract: input.contractId, coordinates: input.coordinates, terms: input.terms, rehearsal: { status: "unknown", cause: { code: "COORDINATE_RACE", message: input.detail } }, candidate: null, diff: null, presentation: null, files: null, scope: null, candidatePreparation: { status: "not-required", reason: "coordinate_race" }, verification: { status: "not_evaluated", reason: "coordinate_race", results: [] }, readiness: null, findings, counts: { files: 0, selected: 0, omitted: 0, inScope: 0, downgraded: 0, violated: 0, findings: 1 } };
38
- }
@@ -1 +0,0 @@
1
- export { auditContract } from "./audit/facade.js";
@@ -1,409 +0,0 @@
1
- import { FlowError } from "../flow-error.js";
2
- import { access } from "node:fs/promises";
3
- import { lookupCurrentContract, readRepositoryLifecycle, } from "./repository-ledger/read-model.js";
4
- import { withContractCarrierSession, withObservedContractCarrierSession } from "./contract-carrier.js";
5
- import { contractWorktreePathFromStableRoot, findRegisteredContractWorktreePathFromModel } from "./worktree-path.js";
6
- import { defaultCreateWorktree } from "./bind-workspace.js";
7
- import { isCommissionId } from "./ids.js";
8
- import { REPOSITORY_LEDGER_REF, repositoryDeliveryRef } from "./repository-ledger/codec.js";
9
- import { resolveLocalBranchHead } from "../git/refs.js";
10
- import { runWorktreeBootstrap, bootstrapEntryDataFromObservation, isBootstrapSuccess } from "./worktree-bootstrap.js";
11
- import { committedLifecycleFacts, containedCommittedLifecycleFacts, EffectJournal } from "./outcome-base.js";
12
- /**
13
- * Repository admission can only recover a bind whose authority remains active.
14
- * A terminal contract may retain its historical bootstrap disposition, but its
15
- * projection is addressed recovery work and must not be adopted by another bind.
16
- */
17
- export function requiresBindRecovery(lifecycle) {
18
- if (lifecycle.phase !== "active")
19
- return false;
20
- return lifecycle.bootstrapReplay.state === "pending" || lifecycle.bootstrapReplay.state === "failed-interrupted";
21
- }
22
- export async function publishBindBootstrap(session, entry, expectedLedgerHead) {
23
- return await session.publishAuthoritative({ verb: "bootstrap", admittedLedgerHead: expectedLedgerHead, acceptedLifecycleTail: session.lifecycle.contractHead, entries: [entry] });
24
- }
25
- export async function publishBindFailedForfeit(session, entry, delivery, expectedLedgerHead) {
26
- return await session.publishAuthoritative({
27
- verb: "forfeit",
28
- admittedLedgerHead: expectedLedgerHead,
29
- acceptedLifecycleTail: session.lifecycle.contractHead,
30
- entries: [entry],
31
- delivery: {
32
- ref: repositoryDeliveryRef(entry.contract),
33
- expectedOid: delivery.status === "present" ? delivery.head : null,
34
- },
35
- });
36
- }
37
- function copyAcceptedBindEntry(entry) {
38
- const common = {
39
- title: entry.data.title,
40
- context: entry.data.context,
41
- objective: entry.data.objective,
42
- design: entry.data.design,
43
- scope: [...entry.data.scope],
44
- criteria: [...entry.data.criteria],
45
- verification: [...entry.data.verification],
46
- extensions: entry.data.extensions.map((extension) => ({ title: extension.title, content: extension.content })),
47
- base: entry.data.base,
48
- target: entry.data.target,
49
- ...(entry.data.after ? { after: [...entry.data.after] } : {}),
50
- ...(entry.data.taskIds ? { taskIds: [...entry.data.taskIds] } : {}),
51
- };
52
- return {
53
- v: 3,
54
- kind: "bind",
55
- contract: entry.contract,
56
- at: entry.at,
57
- actor: entry.actor,
58
- data: entry.data.workspace === "worktree"
59
- ? {
60
- ...common,
61
- workspace: "worktree",
62
- place: entry.data.place,
63
- ...(entry.data.bootstrap ? { bootstrap: { command: [...entry.data.bootstrap.command], timeoutMs: entry.data.bootstrap.timeoutMs } } : {}),
64
- }
65
- : { ...common, workspace: "here" },
66
- };
67
- }
68
- function copyAcceptedBootstrapEntry(entry) {
69
- return {
70
- v: 1,
71
- kind: "bootstrap",
72
- contract: entry.contract,
73
- at: entry.at,
74
- actor: entry.actor,
75
- data: {
76
- result: { ...entry.data.result },
77
- durationMs: entry.data.durationMs,
78
- ...(entry.data.stderrTail === undefined ? {} : { stderrTail: entry.data.stderrTail }),
79
- ...(entry.data.stderrTruncated === undefined ? {} : { stderrTruncated: entry.data.stderrTruncated }),
80
- },
81
- };
82
- }
83
- function bootstrapProgressLine(command) {
84
- return `bootstrap » ${command.join(" ")}`;
85
- }
86
- function workspaceBindView(entry) {
87
- return entry;
88
- }
89
- export function committedOrThrow(result, operation) {
90
- if (result.family === "committed")
91
- return result;
92
- const detail = `${result.code}: ${result.cause}`;
93
- if (result.family === "indeterminate") {
94
- throw new FlowError("INTERNAL_STATE", `${operation}_INDETERMINATE: ${detail}`);
95
- }
96
- throw new FlowError("CONCURRENT_MODIFICATION", `${operation}_REFUSED: ${detail}`);
97
- }
98
- function effectCause(row) {
99
- return row.status === "succeeded" ? undefined : row.cause;
100
- }
101
- function bindResult(input) {
102
- const ledgerHead = input.heads.bindFailedForfeit ?? input.heads.bootstrap ?? input.heads.bind;
103
- const reconciliationKey = `${input.coordinates.id}:${input.heads.bind}`;
104
- if (input.cause) {
105
- return {
106
- ledgerHead,
107
- heads: input.heads,
108
- reconciliationKey,
109
- ...containedCommittedLifecycleFacts({
110
- head: ledgerHead,
111
- entryKind: input.heads.bindFailedForfeit ? "forfeit" : input.heads.bootstrap ? "bootstrap" : "bind",
112
- contractId: input.coordinates.id,
113
- carrier: input.carrier,
114
- cause: input.cause,
115
- prerequisites: input.journal.rows("prerequisite"),
116
- downstream: input.journal.rows("downstream"),
117
- }),
118
- replay: {
119
- idempotencyKey: reconciliationKey,
120
- action: "reconcile",
121
- reason: "one or more committed-head effects remain",
122
- },
123
- };
124
- }
125
- const lifecycle = committedLifecycleFacts({
126
- head: ledgerHead,
127
- entryKind: input.heads.bootstrap ? "bootstrap" : "bind",
128
- contractId: input.coordinates.id,
129
- carrier: input.carrier,
130
- prerequisites: input.journal.rows("prerequisite"),
131
- downstream: input.journal.rows("downstream"),
132
- });
133
- return {
134
- ...input.coordinates,
135
- ledgerHead,
136
- heads: input.heads,
137
- reconciliationKey,
138
- surfaces: bindSurfaceReceipts(input.journal),
139
- ...lifecycle,
140
- replay: { ...lifecycle.replay, idempotencyKey: reconciliationKey },
141
- };
142
- }
143
- function bindSurfaceReceipts(journal) {
144
- const mapping = new Map([
145
- ["task-board-projection", "task-view"],
146
- ["registry-projection", "registry"],
147
- ["worktree-projection", "worktree"],
148
- ["bootstrap-execution", "bootstrap"],
149
- ["carrier-projection", "carrier"],
150
- ]);
151
- const receipts = [];
152
- for (const row of journal.rows("downstream")) {
153
- const surface = mapping.get(row.effect);
154
- if (!surface || row.status !== "succeeded")
155
- continue;
156
- const raw = row.receipt?.status;
157
- const status = raw === "current" || raw === "already-present" || raw === "not-applicable"
158
- ? "already-present"
159
- : "created";
160
- receipts.push({ surface, status });
161
- }
162
- return receipts;
163
- }
164
- export async function reconcileCommittedBindFromSnapshot(input, admittedScopeOverlaps, snapshot) {
165
- const result = await withObservedContractCarrierSession({
166
- stableRoot: snapshot.stableRoot,
167
- contractId: input.contractId,
168
- observation: snapshot.observation,
169
- signal: input.signal,
170
- ...(input.terminalWorkspaceCleanup ? { terminalWorkspaceCleanup: input.terminalWorkspaceCleanup } : {}),
171
- }, async (session) => reconcileBindContractLocked({ ...input, cwd: snapshot.stableRoot }, session, admittedScopeOverlaps));
172
- if (!("continueAfterFailedBootstrap" in result))
173
- return result;
174
- return reconcileCommittedBind(input, admittedScopeOverlaps);
175
- }
176
- /**
177
- * Sole replay-only entry for a committed bind. It never allocates identity or
178
- * reads draft input; every coordinate is reconstructed from the accepted bind.
179
- */
180
- export async function reconcileCommittedBind(input, admittedScopeOverlaps) {
181
- if (input.signal?.aborted) {
182
- throw new FlowError("CARRIER_GATE_CANCELLED", "contract replay cancelled before derived effects");
183
- }
184
- for (let attempt = 0; attempt < 2; attempt += 1) {
185
- const result = await withContractCarrierSession({
186
- cwd: input.cwd,
187
- contractId: input.contractId,
188
- mode: "mutation",
189
- signal: input.signal,
190
- ...(input.terminalWorkspaceCleanup ? { terminalWorkspaceCleanup: input.terminalWorkspaceCleanup } : {}),
191
- }, async (session) => reconcileBindContractLocked({ ...input, cwd: session.stableRoot }, session, admittedScopeOverlaps));
192
- if ("continueAfterFailedBootstrap" in result)
193
- continue;
194
- return result;
195
- }
196
- throw new FlowError("INTERNAL_STATE", `bind-failed finalization for ${input.contractId} did not settle after bootstrap re-admission`);
197
- }
198
- async function reconcileBindContractLocked(input, replaySession, admittedScopeOverlaps) {
199
- const stableRoot = replaySession.stableRoot;
200
- if (!isCommissionId(input.contractId)) {
201
- throw new FlowError("INVALID_TARGET", `bind replay requires a full canonical contract id; got ${input.contractId}`);
202
- }
203
- const initialRead = replaySession.repository;
204
- const outcome = lookupCurrentContract(initialRead, input.contractId);
205
- if (outcome.status === "absent")
206
- throw new FlowError("CONTRACT_NOT_FOUND", `contract ${input.contractId} not found`);
207
- if (outcome.status !== "healthy") {
208
- throw new FlowError("INTERNAL_STATE", `contract ${input.contractId} is unavailable (${outcome.status})`);
209
- }
210
- const bindRow = outcome.model.history.find((row) => row.entry.kind === "bind");
211
- if (!bindRow || bindRow.entry.kind !== "bind")
212
- throw new FlowError("INTERNAL_STATE", `contract ${input.contractId} has no accepted bind`);
213
- const bootstrapRow = outcome.model.history.find((row) => row.entry.kind === "bootstrap");
214
- const forfeitRow = outcome.model.history.find((row) => row.entry.kind === "forfeit");
215
- const replayingBindFailedTerminal = outcome.model.phase === "forfeited"
216
- && bootstrapRow?.entry.kind === "bootstrap"
217
- && !isBootstrapSuccess(bootstrapRow.entry.data)
218
- && forfeitRow?.entry.kind === "forfeit"
219
- && forfeitRow.entry.data.reason === "bind-failed";
220
- if (["claimed", "forfeited"].includes(outcome.model.phase) && !replayingBindFailedTerminal) {
221
- throw new FlowError("CONTRACT_TERMINAL", `contract ${input.contractId} is terminal (${outcome.model.phase})`);
222
- }
223
- const entry = copyAcceptedBindEntry(bindRow.entry);
224
- const workspace = entry.data.workspace;
225
- const branch = `keiyaku/${entry.contract}`;
226
- const worktreePath = contractWorktreePathFromStableRoot(stableRoot, entry.contract, workspaceBindView(entry));
227
- const targetRoot = workspace === "here" ? stableRoot : worktreePath;
228
- const deps = input.dependencies ?? {};
229
- const heads = {
230
- bind: bindRow.objectId,
231
- bootstrap: bootstrapRow?.objectId ?? null,
232
- bindFailedForfeit: replayingBindFailedTerminal ? forfeitRow.objectId : null,
233
- };
234
- const journal = new EffectJournal(`bind:${entry.contract}:${bindRow.objectId}`);
235
- journal.record({
236
- effect: "ledger-cas",
237
- idempotencyKey: `bind:${entry.contract}:${bindRow.objectId}:ledger-cas`,
238
- status: "succeeded",
239
- receipt: { bindHead: bindRow.objectId, observed: true },
240
- });
241
- let containedCause;
242
- const rememberFailure = (row) => { containedCause ??= effectCause(row); };
243
- const scopeOverlaps = [...admittedScopeOverlaps];
244
- if (input.preparedTask && input.preparedTaskProjectionSucceeded) {
245
- replaySession.journal.beginDerivedReplay();
246
- replaySession.journal.record({
247
- effect: "task-board-projection",
248
- idempotencyKey: `${entry.contract}:${outcome.model.contractHead}:task-board`,
249
- status: "succeeded",
250
- receipt: { surface: "task-board", status: "created", authoritativeHead: outcome.model.contractHead, facts: { taskCount: input.preparedTask.taskIds.length } },
251
- });
252
- }
253
- const bootstrapPlan = entry.data.workspace === "worktree" ? entry.data.bootstrap : undefined;
254
- if (!replayingBindFailedTerminal && bootstrapPlan) {
255
- const worktreeReplay = await journal.run({
256
- effect: "bootstrap-worktree-prerequisite",
257
- run: async () => {
258
- const registered = await findRegisteredContractWorktreePathFromModel(stableRoot, outcome.model);
259
- if (registered === worktreePath)
260
- return { status: "already-present", path: worktreePath };
261
- try {
262
- await access(worktreePath);
263
- throw Object.assign(new Error(`worktree path ${worktreePath} is occupied by an unowned filesystem entry`), {
264
- code: "BIND_WORKTREE_PATH_OCCUPIED",
265
- facts: { path: worktreePath, occupant: "unowned-filesystem-entry" },
266
- });
267
- }
268
- catch (error) {
269
- if (!(error instanceof Error) || !("code" in error) || error.code !== "ENOENT")
270
- throw error;
271
- }
272
- await (input.createWorktree ?? defaultCreateWorktree)({ cwd: stableRoot, id: entry.contract, branch, base: entry.data.base, worktreePath });
273
- return { status: "created", path: worktreePath };
274
- },
275
- });
276
- rememberFailure(worktreeReplay);
277
- }
278
- let bootstrapData = bootstrapRow?.entry.kind === "bootstrap"
279
- ? copyAcceptedBootstrapEntry(bootstrapRow.entry)
280
- : undefined;
281
- let publishedFailedBootstrapThroughSession = false;
282
- if (bootstrapPlan) {
283
- const locked = lookupCurrentContract(replaySession.repository, entry.contract);
284
- if (locked.status !== "healthy")
285
- throw new FlowError("INTERNAL_STATE", `contract ${entry.contract} became unavailable during bootstrap replay`);
286
- const existingBootstrap = locked.model.history.find((row) => row.entry.kind === "bootstrap")?.entry;
287
- bootstrapData = existingBootstrap?.kind === "bootstrap"
288
- ? copyAcceptedBootstrapEntry(existingBootstrap)
289
- : undefined;
290
- if (bootstrapData) {
291
- const row = await journal.run({ effect: "bootstrap-execution", run: async () => ({ status: "already-present" }) });
292
- rememberFailure(row);
293
- const publication = await journal.run({
294
- effect: "bootstrap-ledger-cas",
295
- dependency: "bootstrap-execution",
296
- run: async () => ({ head: heads.bootstrap, status: "already-present" }),
297
- });
298
- rememberFailure(publication);
299
- }
300
- else {
301
- const execution = await journal.run({
302
- effect: "bootstrap-execution",
303
- dependency: "bootstrap-worktree-prerequisite",
304
- run: async () => {
305
- input.onProgress?.(bootstrapProgressLine(bootstrapPlan.command));
306
- const observation = await (input.bootstrapRunner ?? runWorktreeBootstrap)({ cwd: worktreePath, plan: bootstrapPlan }, input.bootstrapDependencies);
307
- const data = bootstrapEntryDataFromObservation(observation);
308
- bootstrapData = { v: 1, kind: "bootstrap", contract: entry.contract, at: new Date(input.nowMs).toISOString(), actor: input.actor, data };
309
- return { status: "created", result: data.result.kind };
310
- },
311
- });
312
- rememberFailure(execution);
313
- const publication = await journal.run({
314
- effect: "bootstrap-ledger-cas",
315
- dependency: "bootstrap-execution",
316
- run: async () => {
317
- const current = await readRepositoryLifecycle(stableRoot);
318
- const written = deps.publishBootstrap
319
- ? await deps.publishBootstrap(bootstrapData, current.observedLedgerHead)
320
- : await publishBindBootstrap(replaySession, bootstrapData, current.observedLedgerHead);
321
- if (written.status !== "committed")
322
- throw new FlowError("CONCURRENT_MODIFICATION", "BIND_BOOTSTRAP_TRANSACTION_REFUSED");
323
- publishedFailedBootstrapThroughSession = !deps.publishBootstrap && !isBootstrapSuccess(bootstrapData.data);
324
- heads.bootstrap = written.head;
325
- return { head: written.head };
326
- },
327
- });
328
- rememberFailure(publication);
329
- }
330
- }
331
- const bootstrapEntry = bootstrapData?.kind === "bootstrap" ? bootstrapData : undefined;
332
- if (publishedFailedBootstrapThroughSession)
333
- return { continueAfterFailedBootstrap: true };
334
- if (bootstrapEntry && !isBootstrapSuccess(bootstrapEntry.data)) {
335
- const forfeitPublication = await journal.run({
336
- effect: "bind-failed-forfeit-cas",
337
- dependency: heads.bootstrap ? "bootstrap-ledger-cas" : undefined,
338
- run: async () => {
339
- const current = await readRepositoryLifecycle(stableRoot);
340
- const currentContract = lookupCurrentContract(current, entry.contract);
341
- if (currentContract.status === "healthy" && currentContract.model.phase === "forfeited") {
342
- const existing = currentContract.model.history.find((row) => row.entry.kind === "forfeit");
343
- if (!existing)
344
- throw new FlowError("INTERNAL_STATE", `forfeited contract ${entry.contract} has no accepted terminal entry`);
345
- heads.bindFailedForfeit = existing.objectId;
346
- return { head: existing.objectId, status: "already-present" };
347
- }
348
- const delivery = await resolveLocalBranchHead(stableRoot, repositoryDeliveryRef(entry.contract));
349
- if (!delivery) {
350
- throw new FlowError("INTERNAL_STATE", `contract ${entry.contract} delivery ref is absent before bind-failed forfeit`);
351
- }
352
- const forfeitEntry = {
353
- v: 2,
354
- kind: "forfeit",
355
- contract: entry.contract,
356
- at: new Date(input.nowMs).toISOString(),
357
- actor: input.actor,
358
- data: { reason: "bind-failed", actor: input.actor, finalHead: delivery.head },
359
- };
360
- const deliveryState = { status: "present", head: delivery.head };
361
- const written = deps.publishBindFailedForfeit
362
- ? await deps.publishBindFailedForfeit(forfeitEntry, deliveryState, current.observedLedgerHead)
363
- : await publishBindFailedForfeit(replaySession, forfeitEntry, deliveryState, current.observedLedgerHead);
364
- if (written.status !== "committed")
365
- throw new FlowError("CONCURRENT_MODIFICATION", "BIND_FAILED_FORFEIT_TRANSACTION_REFUSED");
366
- heads.bindFailedForfeit = written.head;
367
- return { head: written.head, status: "created" };
368
- },
369
- });
370
- rememberFailure(forfeitPublication);
371
- const terminalCarrier = await replaySession.replayDerivedState();
372
- for (const row of replaySession.journal.all()) {
373
- journal.record(row);
374
- rememberFailure(row);
375
- }
376
- return bindResult({
377
- coordinates: {
378
- id: entry.contract, ref: REPOSITORY_LEDGER_REF, target: entry.data.target,
379
- place: workspace === "worktree" ? entry.data.place : null,
380
- ...(workspace === "worktree" ? { branch } : {}), worktreePath: targetRoot,
381
- workspace, scopeOverlaps,
382
- },
383
- heads,
384
- journal,
385
- carrier: terminalCarrier,
386
- cause: { code: "BIND_BOOTSTRAP_FAILED", message: `worktree bootstrap failed with ${bootstrapEntry.data.result.kind}` },
387
- });
388
- }
389
- const carrier = await replaySession.replayDerivedState();
390
- for (const row of replaySession.journal.all()) {
391
- journal.record(row);
392
- rememberFailure(row);
393
- }
394
- return bindResult({
395
- coordinates: {
396
- id: entry.contract, ref: REPOSITORY_LEDGER_REF, target: entry.data.target,
397
- place: workspace === "worktree" ? entry.data.place : null,
398
- ...(workspace === "worktree" ? { branch } : {}), worktreePath: targetRoot,
399
- workspace, scopeOverlaps,
400
- },
401
- heads,
402
- journal,
403
- carrier,
404
- ...(containedCause ? { cause: containedCause } : {}),
405
- });
406
- }
407
- export async function reconcileBindContract(input) {
408
- return await reconcileCommittedBind(input, []);
409
- }
@@ -1,115 +0,0 @@
1
- import * as fs from "node:fs/promises";
2
- import { createGit, wrapGitError } from "../git/core.js";
3
- import { CONTRACT_PLACES } from "./places.js";
4
- import { lookupCurrentContract, readRepositoryLifecycle } from "./repository-ledger/read-model.js";
5
- import { contractWorktreePathFromBind } from "./worktree-path.js";
6
- export async function createContractBranch(cwd, branch, base) {
7
- const git = createGit(cwd);
8
- try {
9
- await git.raw(["branch", branch, base]);
10
- }
11
- catch (error) {
12
- throw wrapGitError(`branch ${branch} ${base}`, error, cwd);
13
- }
14
- }
15
- export async function defaultCreateWorktree(input) {
16
- void input.id;
17
- void input.base;
18
- const git = createGit(input.cwd);
19
- try {
20
- await git.raw(["worktree", "add", input.worktreePath, input.branch]);
21
- }
22
- catch (error) {
23
- throw wrapGitError(`worktree add ${input.worktreePath} ${input.branch}`, error, input.cwd);
24
- }
25
- }
26
- export async function resolveTreeRoot(cwd, workspace, contractId, bind) {
27
- const repoRoot = await fs.realpath(cwd);
28
- if (workspace === "here")
29
- return repoRoot;
30
- return await contractWorktreePathFromBind(repoRoot, contractId, bind);
31
- }
32
- async function removeWorktree(cwd, worktreePath) {
33
- const git = createGit(cwd);
34
- try {
35
- await git.raw(["worktree", "remove", "--force", worktreePath]);
36
- }
37
- catch (error) {
38
- throw wrapGitError(`worktree remove ${worktreePath}`, error, cwd);
39
- }
40
- }
41
- async function deleteBranch(cwd, branch) {
42
- const git = createGit(cwd);
43
- try {
44
- await git.raw(["branch", "-D", branch]);
45
- }
46
- catch (error) {
47
- throw wrapGitError(`branch -D ${branch}`, error, cwd);
48
- }
49
- }
50
- /** Best-effort cleanup of resources created by the current bind attempt. */
51
- export async function cleanupCreatedBindResources(cwd, resources) {
52
- const failures = [];
53
- if (resources.keiyakuPath) {
54
- try {
55
- await fs.rm(resources.keiyakuPath, { force: true });
56
- }
57
- catch (error) {
58
- failures.push(`delete ${resources.keiyakuPath}: ${error instanceof Error ? error.message : String(error)}`);
59
- }
60
- }
61
- if (resources.worktreePath) {
62
- try {
63
- await removeWorktree(cwd, resources.worktreePath);
64
- }
65
- catch (error) {
66
- failures.push(`remove worktree: ${error instanceof Error ? error.message : String(error)}`);
67
- }
68
- }
69
- if (resources.branch) {
70
- try {
71
- await deleteBranch(cwd, resources.branch);
72
- }
73
- catch (error) {
74
- failures.push(`delete branch: ${error instanceof Error ? error.message : String(error)}`);
75
- }
76
- }
77
- return failures;
78
- }
79
- function occupiedWorktreePlaces(read) {
80
- const occupied = new Set();
81
- for (const model of read.contracts) {
82
- if (lookupCurrentContract(read, model.contract).status !== "healthy")
83
- continue;
84
- const worktree = model.resources.worktree;
85
- if (worktree?.state === "held")
86
- occupied.add(worktree.place);
87
- }
88
- return occupied;
89
- }
90
- function randomIndex(randomBytes, size) {
91
- let value = 0;
92
- for (const byte of randomBytes) {
93
- value = (value * 256 + byte) % size;
94
- }
95
- return value;
96
- }
97
- function nextGenerationPlace(base, occupied) {
98
- for (let generation = 2;; generation += 1) {
99
- const candidate = `${base}${generation}`;
100
- if (!occupied.has(candidate))
101
- return candidate;
102
- }
103
- }
104
- export async function allocateWorktreePlace(cwd, randomBytes) {
105
- return allocateWorktreePlaceFromRead(await readRepositoryLifecycle(cwd), randomBytes);
106
- }
107
- export function allocateWorktreePlaceFromRead(read, randomBytes) {
108
- const occupied = occupiedWorktreePlaces(read);
109
- const candidates = CONTRACT_PLACES.filter((place) => !occupied.has(place));
110
- if (candidates.length > 0) {
111
- return candidates[randomIndex(randomBytes, candidates.length)];
112
- }
113
- const base = CONTRACT_PLACES[randomIndex(randomBytes, CONTRACT_PLACES.length)];
114
- return nextGenerationPlace(base, occupied);
115
- }