@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,19 +0,0 @@
1
- import { resolveLocalBranchHead } from "../../git/refs.js";
2
- import { foldRepositoryLedger } from "./fold-repository.js";
3
- import { REPOSITORY_LEDGER_REF } from "./codec.js";
4
- import { traverseRepositoryLedger } from "./traversal.js";
5
- export async function observeRepositoryLedgerHead(cwd) {
6
- return (await resolveLocalBranchHead(cwd, REPOSITORY_LEDGER_REF))?.head ?? null;
7
- }
8
- /** The shared current-head typed traversal and fold used by full and targeted reads. */
9
- export async function readAcceptedRepositoryFold(cwd, options = {}) {
10
- const observedLedgerHead = await (options.observeHead ?? observeRepositoryLedgerHead)(cwd);
11
- if (observedLedgerHead === null)
12
- return { observedLedgerHead: null, traversed: null, folded: null };
13
- const traversed = await traverseRepositoryLedger(cwd, observedLedgerHead, options.signal, { historicalSemanticEvidence: false });
14
- return {
15
- observedLedgerHead,
16
- traversed,
17
- folded: foldRepositoryLedger(traversed),
18
- };
19
- }
@@ -1,116 +0,0 @@
1
- import { validateTransactionMembership, } from "./transaction-membership.js";
2
- function topologyParents(node) {
3
- return node.type === "transaction" || node.type === "join" || node.type === "disease"
4
- ? node.ledgerParents
5
- : [];
6
- }
7
- function reachableLedgerNodes(head, nodes) {
8
- const objectIds = new Set();
9
- const pending = [head];
10
- while (pending.length > 0) {
11
- const objectId = pending.pop();
12
- if (objectIds.has(objectId))
13
- continue;
14
- const node = nodes.get(objectId);
15
- if (!node)
16
- return { status: "malformed", detail: `ledger topology is missing ${objectId}` };
17
- if (node.type === "lifecycle") {
18
- return { status: "malformed", detail: `lifecycle entry ${objectId} occupies a ledger-topology edge` };
19
- }
20
- if (node.type === "disease") {
21
- return { status: "malformed", detail: `diseased node ${objectId} occupies ledger topology` };
22
- }
23
- objectIds.add(objectId);
24
- pending.push(...topologyParents(node));
25
- }
26
- return { status: "reachable", objectIds };
27
- }
28
- function acceptedRows(read) {
29
- const rows = new Map();
30
- for (const model of read.contracts) {
31
- for (const row of model.history) {
32
- if (rows.has(row.objectId))
33
- return null;
34
- rows.set(row.objectId, row);
35
- }
36
- }
37
- return rows;
38
- }
39
- /** Resolve one immutable mutation identity from its containing transaction node. */
40
- export function resolveAcceptedLifecycleTransaction(input) {
41
- const { read, transactionObjectId } = input;
42
- if (transactionObjectId.length === 0)
43
- return { status: "refused", reason: "missing", transactionObjectId };
44
- const nodes = new Map();
45
- for (const node of read.topology.nodes) {
46
- if (nodes.has(node.objectId)) {
47
- return { status: "refused", reason: "malformed", transactionObjectId, detail: `duplicate topology identity ${node.objectId}` };
48
- }
49
- nodes.set(node.objectId, node);
50
- }
51
- const node = nodes.get(transactionObjectId);
52
- if (!node)
53
- return { status: "refused", reason: "missing", transactionObjectId };
54
- if (read.topology.head === null)
55
- return { status: "refused", reason: "unreachable", transactionObjectId };
56
- const reachable = reachableLedgerNodes(read.topology.head, nodes);
57
- if (reachable.status === "malformed") {
58
- return { status: "refused", reason: "malformed", transactionObjectId, detail: reachable.detail };
59
- }
60
- if (!reachable.objectIds.has(transactionObjectId)) {
61
- return { status: "refused", reason: "unreachable", transactionObjectId };
62
- }
63
- if (node.type === "disease") {
64
- return { status: "refused", reason: "malformed", transactionObjectId, detail: "transaction boundary is diseased" };
65
- }
66
- if (node.type !== "transaction") {
67
- return { status: "refused", reason: "nonconforming", transactionObjectId, detail: "accepted identity is not a transaction node" };
68
- }
69
- if (node.entryObjectIds.length === 0 || node.finalEntryObjectId !== node.entryObjectIds.at(-1)) {
70
- return { status: "refused", reason: "malformed", transactionObjectId, detail: "transaction has no coherent ordered final member" };
71
- }
72
- if (new Set(node.entryObjectIds).size !== node.entryObjectIds.length) {
73
- return { status: "refused", reason: "malformed", transactionObjectId, detail: "transaction repeats a member link" };
74
- }
75
- if (input.expectedContract !== undefined && input.expectedContract !== node.contract) {
76
- return {
77
- status: "refused",
78
- reason: "wrong-contract",
79
- transactionObjectId,
80
- expectedContract: input.expectedContract,
81
- actualContract: node.contract,
82
- };
83
- }
84
- const rows = acceptedRows(read);
85
- if (!rows) {
86
- return { status: "refused", reason: "malformed", transactionObjectId, detail: "accepted fold repeats an entry identity" };
87
- }
88
- const entries = [];
89
- for (const entryObjectId of node.entryObjectIds) {
90
- const row = rows.get(entryObjectId);
91
- if (!row) {
92
- return {
93
- status: "refused",
94
- reason: "nonconforming",
95
- transactionObjectId,
96
- detail: `transaction member ${entryObjectId} was not accepted by fold`,
97
- };
98
- }
99
- if (row.entry.contract !== node.contract) {
100
- return { status: "refused", reason: "malformed", transactionObjectId, detail: "transaction contract disagrees with an accepted member" };
101
- }
102
- entries.push(row.entry);
103
- }
104
- const validation = validateTransactionMembership(node.verb, entries);
105
- if (validation.status === "invalid") {
106
- return { status: "refused", reason: "nonconforming", transactionObjectId, detail: validation.detail };
107
- }
108
- return {
109
- status: "accepted",
110
- transactionObjectId,
111
- predecessor: node.ledgerParents[0] ?? null,
112
- contract: node.contract,
113
- entryObjectIds: [...node.entryObjectIds],
114
- ...validation.membership,
115
- };
116
- }
@@ -1,38 +0,0 @@
1
- import { lookupCurrentContract, } from "./read-model.js";
2
- export function admitRepositoryLifecycleContract(read, contract) {
3
- const outcome = lookupCurrentContract(read, contract);
4
- switch (outcome.status) {
5
- case "healthy":
6
- return {
7
- status: "healthy",
8
- contract,
9
- model: outcome.model,
10
- diagnostics: outcome.diagnostics,
11
- };
12
- case "diseased":
13
- return {
14
- status: "diseased",
15
- contract,
16
- model: outcome.model,
17
- diagnostics: outcome.diagnostics,
18
- };
19
- case "isolated":
20
- return {
21
- status: "isolated",
22
- contract,
23
- diagnostics: outcome.diagnostics,
24
- };
25
- case "indeterminate":
26
- return {
27
- status: "indeterminate",
28
- contract,
29
- diagnostics: outcome.diagnostics,
30
- };
31
- case "absent":
32
- return {
33
- status: "absent",
34
- contract,
35
- diagnostics: outcome.diagnostics,
36
- };
37
- }
38
- }
@@ -1,147 +0,0 @@
1
- import fs from "node:fs/promises";
2
- import os from "node:os";
3
- import path from "node:path";
4
- import { runGitProcess } from "../../git/core.js";
5
- import { assertReadableCommit, deriveHostGitCoordinates, readCommitObject, RepositoryObjectError, writeCommitObject, } from "./git-object-store.js";
6
- export class ClaimEvidenceMismatchError extends Error {
7
- constructor(message, options) {
8
- super(message, options);
9
- this.name = "ClaimEvidenceMismatchError";
10
- }
11
- }
12
- export class ClaimEvidenceOperationalError extends Error {
13
- retryable = true;
14
- constructor(message, options) {
15
- super(message, options);
16
- this.name = "ClaimEvidenceOperationalError";
17
- }
18
- }
19
- function claimCommitReadError(error) {
20
- if (error instanceof RepositoryObjectError &&
21
- (error.reason === "commit-format" || error.reason === "object-id")) {
22
- return new ClaimEvidenceMismatchError("claim merge commit has malformed persisted structure", { cause: error });
23
- }
24
- return new ClaimEvidenceOperationalError("cannot read claim merge commit for verification", { cause: error });
25
- }
26
- function claimCommitClosureError(error) {
27
- if (error instanceof RepositoryObjectError && error.reason === "incomplete-commit-closure") {
28
- return new ClaimEvidenceMismatchError("claim merge commit has incomplete persisted object closure", { cause: error });
29
- }
30
- return new ClaimEvidenceOperationalError("cannot verify claim merge commit object closure", { cause: error });
31
- }
32
- async function honestMergeTree(cwd, coordinates) {
33
- const result = await runGitProcess(cwd, [
34
- "merge-tree",
35
- "--write-tree",
36
- "--merge-base",
37
- coordinates.base,
38
- coordinates.targetHead,
39
- coordinates.deliveryHead,
40
- ]);
41
- if (result.status !== 0 || result.error) {
42
- const detail = result.stderr.trim() || result.error?.message || `exit ${String(result.status)}`;
43
- throw new Error(`claim frozen three-way merge is not conflict-free: ${detail}`, { cause: result.error });
44
- }
45
- return result.stdout.trim();
46
- }
47
- export async function repositoryObjectDirectory(cwd, signal) {
48
- const result = await runGitProcess(cwd, ["rev-parse", "--path-format=absolute", "--git-path", "objects"], { signal });
49
- if (result.error?.name === "AbortError")
50
- throw result.error;
51
- if (result.status !== 0 || result.error || !path.isAbsolute(result.stdout.trim())) {
52
- const detail = result.stderr.trim() || result.error?.message || "Git did not return an absolute object directory";
53
- throw new ClaimEvidenceOperationalError(`cannot resolve repository object storage for claim verification: ${detail}`, { cause: result.error });
54
- }
55
- return result.stdout.trim();
56
- }
57
- async function isolatedHonestMergeTree(cwd, coordinates, objectDirectory, signal) {
58
- let temporaryRoot;
59
- try {
60
- const repositoryObjects = objectDirectory ?? await repositoryObjectDirectory(cwd, signal);
61
- temporaryRoot = await fs.mkdtemp(path.join(os.tmpdir(), "keiyaku-claim-evidence-"));
62
- const temporaryObjects = path.join(temporaryRoot, "objects");
63
- await fs.mkdir(temporaryObjects);
64
- const result = await runGitProcess(cwd, [
65
- "merge-tree",
66
- "--write-tree",
67
- "--merge-base",
68
- coordinates.base,
69
- coordinates.targetHead,
70
- coordinates.deliveryHead,
71
- ], {
72
- env: {
73
- GIT_OBJECT_DIRECTORY: temporaryObjects,
74
- GIT_ALTERNATE_OBJECT_DIRECTORIES: repositoryObjects,
75
- },
76
- signal,
77
- });
78
- if (result.error?.name === "AbortError")
79
- throw result.error;
80
- if (result.status !== 0 || result.error || result.stdout.trim() === "") {
81
- const detail = result.stderr.trim() || result.error?.message || `exit ${String(result.status)}`;
82
- throw new ClaimEvidenceOperationalError(`cannot compute frozen claim merge for verification: ${detail}`, { cause: result.error });
83
- }
84
- return result.stdout.trim();
85
- }
86
- catch (error) {
87
- if (error instanceof ClaimEvidenceOperationalError)
88
- throw error;
89
- throw new ClaimEvidenceOperationalError("cannot prepare isolated claim evidence verification", { cause: error });
90
- }
91
- finally {
92
- if (temporaryRoot !== undefined) {
93
- try {
94
- await fs.rm(temporaryRoot, { recursive: true, force: true });
95
- }
96
- catch (error) {
97
- throw new ClaimEvidenceOperationalError("cannot clean isolated claim evidence verification storage", { cause: error });
98
- }
99
- }
100
- }
101
- }
102
- export async function buildHonestClaimMerge(input) {
103
- const mergeTree = await honestMergeTree(input.cwd, input.coordinates);
104
- const host = await deriveHostGitCoordinates(input.cwd);
105
- const identity = { name: input.actor, email: "keiyaku@localhost", date: input.at };
106
- const mergeCommit = await writeCommitObject({
107
- cwd: input.cwd,
108
- coordinates: host,
109
- tree: mergeTree,
110
- parents: [input.coordinates.targetHead, input.coordinates.deliveryHead],
111
- author: identity,
112
- committer: identity,
113
- message: `keiyaku: claim ${input.contractId}\n\nMerge contract ${input.contractId} into ${input.coordinates.target.slice("refs/heads/".length)}.\n`,
114
- });
115
- await assertHonestClaimEvidence(input.cwd, { ...input.coordinates, mergeCommit });
116
- return { mergeTree, mergeCommit };
117
- }
118
- export async function assertHonestClaimEvidence(cwd, evidence, readContext) {
119
- let merge;
120
- try {
121
- const coordinates = readContext?.coordinates ?? await deriveHostGitCoordinates(cwd);
122
- merge = readContext?.reader === undefined
123
- ? await readCommitObject(cwd, coordinates, evidence.mergeCommit)
124
- : await readContext.reader.read(evidence.mergeCommit);
125
- }
126
- catch (error) {
127
- throw claimCommitReadError(error);
128
- }
129
- if (merge.parents.length !== 2 ||
130
- merge.parents[0] !== evidence.targetHead ||
131
- merge.parents[1] !== evidence.deliveryHead) {
132
- throw new ClaimEvidenceMismatchError("claim merge commit must have exactly targetHead then deliveryHead as parents");
133
- }
134
- const expectedTree = await isolatedHonestMergeTree(cwd, evidence, readContext?.objectDirectory, readContext?.signal);
135
- if (merge.tree !== expectedTree) {
136
- throw new ClaimEvidenceMismatchError(`claim merge tree ${merge.tree} does not equal honest frozen merge tree ${expectedTree}`);
137
- }
138
- }
139
- export async function assertHonestClaimEvidenceClosure(cwd, mergeCommit) {
140
- try {
141
- const coordinates = await deriveHostGitCoordinates(cwd);
142
- await assertReadableCommit(cwd, coordinates, mergeCommit);
143
- }
144
- catch (error) {
145
- throw claimCommitClosureError(error);
146
- }
147
- }
@@ -1,297 +0,0 @@
1
- import { z } from "zod";
2
- export const REPOSITORY_LEDGER_REF = "refs/heads/keiyaku-ledger";
3
- export const REPOSITORY_DELIVERY_REF_PREFIX = "refs/heads/keiyaku/";
4
- export function repositoryDeliveryRef(contract) {
5
- return `${REPOSITORY_DELIVERY_REF_PREFIX}${contract}`;
6
- }
7
- const UTC_RFC3339_RE = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d{3})?Z$/;
8
- const CONTRACT_RE = /^\S+$/;
9
- const LIFECYCLE_SUBJECT_RE = /^keiyaku: (bind|bootstrap|arc|seal|amend|renew|petition|verdict|claim|forfeit) (\S+)$/;
10
- const JOIN_SUBJECT = "keiyaku: join";
11
- const TRANSACTION_SUBJECT = "keiyaku: transaction";
12
- const nonblank = z.string().refine((value) => value.trim().length > 0, "expected a nonblank string");
13
- const contractId = z.string().regex(CONTRACT_RE, "contract ID must be nonempty and contain no whitespace");
14
- const timestamp = z.string()
15
- .regex(UTC_RFC3339_RE, "expected UTC RFC-3339 seconds or milliseconds")
16
- .refine((value) => {
17
- const milliseconds = Date.parse(value);
18
- if (!Number.isFinite(milliseconds))
19
- return false;
20
- const canonical = new Date(milliseconds).toISOString();
21
- return value.includes(".") ? canonical === value : canonical.replace(".000Z", "Z") === value;
22
- }, "expected a real UTC calendar date and time");
23
- export const fullBranchRefSchema = z.string().regex(/^refs\/heads\/\S+$/, "expected a full refs/heads name");
24
- const safePositiveInteger = z.number().int().positive().refine(Number.isSafeInteger, "expected a positive safe integer");
25
- const safeNonnegativeInteger = z.number().int().nonnegative().refine(Number.isSafeInteger, "expected a nonnegative safe integer");
26
- const place = z.string().regex(/^[a-z]{2,13}(?:[2-9]|[1-9][0-9]+)?$/, "expected a canonical worktree place");
27
- function utf8Length(value) {
28
- return new TextEncoder().encode(value).byteLength;
29
- }
30
- function objectIdSchema(format) {
31
- const length = format === "sha1" ? 40 : 64;
32
- return z.string().regex(new RegExp(`^[0-9a-f]{${length}}$`, "i"), `expected a full ${format} object ID`);
33
- }
34
- function lifecycleEnvelope(kind, version, data) {
35
- return z.object({
36
- v: z.literal(version),
37
- kind: z.literal(kind),
38
- contract: contractId,
39
- at: timestamp,
40
- actor: nonblank,
41
- data,
42
- }).strict();
43
- }
44
- function buildLifecycleEntrySchema(format) {
45
- const oid = objectIdSchema(format);
46
- const extension = z.object({ title: nonblank, content: z.string() }).strict();
47
- const bootstrapPlan = z.object({
48
- command: z.array(nonblank).min(1),
49
- timeoutMs: safePositiveInteger.max(3_600_000),
50
- }).strict();
51
- const bootstrapResult = z.discriminatedUnion("kind", [
52
- z.object({ kind: z.literal("exit"), code: z.number().int().min(0).max(255) }).strict(),
53
- z.object({ kind: z.literal("signal"), signal: nonblank }).strict(),
54
- z.object({ kind: z.literal("timeout") }).strict(),
55
- z.object({ kind: z.literal("spawn"), message: z.string() }).strict(),
56
- ]);
57
- const bindCommon = {
58
- title: nonblank,
59
- context: nonblank,
60
- objective: nonblank,
61
- design: nonblank,
62
- scope: z.array(nonblank).min(1),
63
- criteria: z.array(nonblank),
64
- verification: z.array(nonblank),
65
- extensions: z.array(extension),
66
- base: oid,
67
- target: fullBranchRefSchema,
68
- };
69
- const bindData = z.discriminatedUnion("workspace", [
70
- z.object({
71
- ...bindCommon,
72
- workspace: z.literal("worktree"),
73
- after: z.array(contractId).min(1).optional(),
74
- place,
75
- bootstrap: bootstrapPlan.optional(),
76
- taskIds: z.array(nonblank).min(1).optional(),
77
- }).strict(),
78
- z.object({
79
- ...bindCommon,
80
- workspace: z.literal("here"),
81
- after: z.array(contractId).min(1).optional(),
82
- taskIds: z.array(nonblank).min(1).optional(),
83
- }).strict(),
84
- ]);
85
- const bootstrapData = z.object({
86
- result: bootstrapResult,
87
- durationMs: safeNonnegativeInteger,
88
- stderrTail: z.string().optional(),
89
- stderrTruncated: z.boolean().optional(),
90
- }).strict().superRefine((value, context) => {
91
- if (value.stderrTail !== undefined && utf8Length(value.stderrTail) > 2048) {
92
- context.addIssue({ code: "custom", path: ["stderrTail"], message: "stderrTail exceeds 2048 UTF-8 bytes" });
93
- }
94
- if (value.result.kind === "spawn" && utf8Length(value.result.message) > 2048) {
95
- context.addIssue({ code: "custom", path: ["result", "message"], message: "spawn message exceeds 2048 UTF-8 bytes" });
96
- }
97
- const successful = value.result.kind === "exit" && value.result.code === 0;
98
- if (successful && (value.stderrTail !== undefined || value.stderrTruncated !== undefined)) {
99
- context.addIssue({ code: "custom", message: "successful bootstrap must discard stderr facts" });
100
- }
101
- if (value.stderrTruncated === true && value.stderrTail === undefined) {
102
- context.addIssue({ code: "custom", path: ["stderrTruncated"], message: "truncated stderr requires a retained tail" });
103
- }
104
- });
105
- return z.discriminatedUnion("kind", [
106
- lifecycleEnvelope("bind", 2, bindData),
107
- lifecycleEnvelope("bootstrap", 1, bootstrapData),
108
- lifecycleEnvelope("arc", 1, z.object({
109
- arc: safePositiveInteger,
110
- title: nonblank,
111
- objective: nonblank,
112
- brief: nonblank,
113
- }).strict()),
114
- lifecycleEnvelope("seal", 2, z.object({
115
- arc: safeNonnegativeInteger,
116
- sealedBy: z.enum(["arc", "renew", "petition"]),
117
- oldFence: oid,
118
- receipts: z.array(oid),
119
- newFence: oid,
120
- diffstat: z.object({
121
- files: safeNonnegativeInteger,
122
- insertions: safeNonnegativeInteger,
123
- deletions: safeNonnegativeInteger,
124
- }).strict(),
125
- scopeAudit: z.object({ violations: z.array(nonblank) }).strict(),
126
- }).strict()),
127
- lifecycleEnvelope("amend", 1, z.object({
128
- amendment: nonblank,
129
- scopeDelta: z.object({ add: z.array(nonblank).min(1) }).strict().optional(),
130
- }).strict()),
131
- lifecycleEnvelope("renew", 1, z.object({
132
- oldBase: oid,
133
- newBase: oid,
134
- oldHead: oid,
135
- newHead: oid,
136
- }).strict()),
137
- lifecycleEnvelope("petition", 2, z.discriminatedUnion("intent", [
138
- z.object({
139
- intent: z.literal("claim"),
140
- oath: nonblank,
141
- target: fullBranchRefSchema,
142
- targetHead: oid,
143
- seat: safePositiveInteger,
144
- }).strict(),
145
- z.object({
146
- intent: z.literal("forfeit"),
147
- target: fullBranchRefSchema,
148
- seat: safePositiveInteger,
149
- }).strict(),
150
- ])),
151
- lifecycleEnvelope("verdict", 1, z.object({
152
- result: z.enum(["approved", "rejected"]),
153
- summary: nonblank,
154
- }).strict()),
155
- lifecycleEnvelope("claim", 2, z.object({
156
- target: fullBranchRefSchema,
157
- base: oid,
158
- targetHead: oid,
159
- deliveryHead: oid,
160
- mergeCommit: oid,
161
- }).strict()),
162
- lifecycleEnvelope("forfeit", 2, z.object({
163
- reason: z.enum(["manual", "bind-failed"]),
164
- actor: nonblank,
165
- finalHead: oid,
166
- note: nonblank.optional(),
167
- }).strict()),
168
- ]);
169
- }
170
- const lifecycleEntrySchemas = new Map();
171
- export function createLifecycleEntrySchema(format) {
172
- const cached = lifecycleEntrySchemas.get(format);
173
- if (cached)
174
- return cached;
175
- const schema = buildLifecycleEntrySchema(format);
176
- lifecycleEntrySchemas.set(format, schema);
177
- return schema;
178
- }
179
- export const structuralJoinSchema = z.object({
180
- v: z.literal(1),
181
- kind: z.literal("join"),
182
- at: timestamp,
183
- actor: nonblank,
184
- }).strict();
185
- export const lifecycleTransactionSchema = z.object({
186
- v: z.literal(1),
187
- kind: z.literal("transaction"),
188
- verb: z.enum(["bind", "bootstrap", "amend", "arc", "seal", "renew", "petition", "verdict", "claim", "forfeit"]),
189
- predecessor: z.enum(["none", "p1"]),
190
- }).strict();
191
- export class RepositoryLedgerCodecError extends Error {
192
- reason;
193
- code = "INVALID_REPOSITORY_LEDGER_CODEC";
194
- constructor(reason, message, options) {
195
- super(message, options);
196
- this.reason = reason;
197
- this.name = "RepositoryLedgerCodecError";
198
- }
199
- }
200
- function canonicalMessage(subject, value) {
201
- return `${subject}\n\n${JSON.stringify(value, null, 2)}\n`;
202
- }
203
- export function classifyRepositoryLedgerSubject(message) {
204
- const end = message.indexOf("\n");
205
- const subject = end < 0 ? message : message.slice(0, end);
206
- if (subject === JOIN_SUBJECT)
207
- return { type: "join" };
208
- if (subject === TRANSACTION_SUBJECT)
209
- return { type: "transaction" };
210
- const match = LIFECYCLE_SUBJECT_RE.exec(subject);
211
- if (!match)
212
- return { type: "unknown" };
213
- return { type: "lifecycle", kind: match[1], contract: match[2] };
214
- }
215
- export function formatLifecycleEntry(entry, format) {
216
- const parsed = createLifecycleEntrySchema(format).safeParse(entry);
217
- if (!parsed.success) {
218
- throw new RepositoryLedgerCodecError("schema", `lifecycle schema validation failed: ${parsed.error.message}`, { cause: parsed.error });
219
- }
220
- return canonicalMessage(`keiyaku: ${parsed.data.kind} ${parsed.data.contract}`, parsed.data);
221
- }
222
- export function formatStructuralJoin(join) {
223
- const parsed = structuralJoinSchema.safeParse(join);
224
- if (!parsed.success) {
225
- throw new RepositoryLedgerCodecError("schema", `join schema validation failed: ${parsed.error.message}`, { cause: parsed.error });
226
- }
227
- return canonicalMessage(JOIN_SUBJECT, parsed.data);
228
- }
229
- export function formatLifecycleTransaction(transaction) {
230
- const parsed = lifecycleTransactionSchema.safeParse(transaction);
231
- if (!parsed.success) {
232
- throw new RepositoryLedgerCodecError("schema", `transaction schema validation failed: ${parsed.error.message}`, { cause: parsed.error });
233
- }
234
- return canonicalMessage(TRANSACTION_SUBJECT, parsed.data);
235
- }
236
- export function parseRepositoryLedgerMessage(message, format) {
237
- if (message.startsWith("\uFEFF") || message.includes("\r")) {
238
- throw new RepositoryLedgerCodecError("format", "ledger message must be canonical UTF-8 with LF line endings and no BOM");
239
- }
240
- const separator = message.indexOf("\n\n");
241
- if (separator < 0 || !message.endsWith("\n")) {
242
- throw new RepositoryLedgerCodecError("format", "ledger message must contain one subject, one blank line, JSON, and a final LF");
243
- }
244
- const subject = message.slice(0, separator);
245
- const body = message.slice(separator + 2, -1);
246
- let json;
247
- try {
248
- json = JSON.parse(body);
249
- }
250
- catch (error) {
251
- throw new RepositoryLedgerCodecError("format", "ledger JSON is invalid", { cause: error });
252
- }
253
- if (subject === JOIN_SUBJECT) {
254
- const parsed = structuralJoinSchema.safeParse(json);
255
- if (!parsed.success) {
256
- throw new RepositoryLedgerCodecError("schema", `join schema validation failed: ${parsed.error.message}`, { cause: parsed.error });
257
- }
258
- if (message !== canonicalMessage(JOIN_SUBJECT, parsed.data)) {
259
- throw new RepositoryLedgerCodecError("noncanonical", "join message bytes are not canonical");
260
- }
261
- return parsed.data;
262
- }
263
- if (subject === TRANSACTION_SUBJECT) {
264
- const parsed = lifecycleTransactionSchema.safeParse(json);
265
- if (!parsed.success) {
266
- throw new RepositoryLedgerCodecError("schema", `transaction schema validation failed: ${parsed.error.message}`, { cause: parsed.error });
267
- }
268
- if (message !== canonicalMessage(TRANSACTION_SUBJECT, parsed.data)) {
269
- throw new RepositoryLedgerCodecError("noncanonical", "transaction message bytes are not canonical");
270
- }
271
- return parsed.data;
272
- }
273
- const subjectMatch = LIFECYCLE_SUBJECT_RE.exec(subject);
274
- if (!subjectMatch) {
275
- throw new RepositoryLedgerCodecError("format", "ledger subject is not a lifecycle entry, transaction, or structural join");
276
- }
277
- const parsed = createLifecycleEntrySchema(format).safeParse(json);
278
- if (!parsed.success) {
279
- throw new RepositoryLedgerCodecError("schema", `lifecycle schema validation failed: ${parsed.error.message}`, { cause: parsed.error });
280
- }
281
- if (parsed.data.kind !== subjectMatch[1] || parsed.data.contract !== subjectMatch[2]) {
282
- throw new RepositoryLedgerCodecError("format", "lifecycle subject does not match its JSON body");
283
- }
284
- if (message !== canonicalMessage(`keiyaku: ${parsed.data.kind} ${parsed.data.contract}`, parsed.data)) {
285
- throw new RepositoryLedgerCodecError("noncanonical", "lifecycle message bytes are not canonical");
286
- }
287
- return parsed.data;
288
- }
289
- export function evidenceObjectId(entry) {
290
- switch (entry.kind) {
291
- case "seal": return entry.data.newFence;
292
- case "renew": return entry.data.oldHead;
293
- case "claim": return entry.data.mergeCommit;
294
- case "forfeit": return entry.data.finalHead;
295
- default: return null;
296
- }
297
- }