@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
@@ -0,0 +1,79 @@
1
+ import { randomBytes } from "node:crypto";
2
+ import { closeSync, fsyncSync, lstatSync, mkdirSync, openSync, readFileSync, renameSync, unlinkSync, writeFileSync, } from "node:fs";
3
+ import { dirname, resolve } from "node:path";
4
+ export function replaceFileDurably(path, bytes) {
5
+ const parent = dirname(path);
6
+ for (;;) {
7
+ const temporary = resolve(parent, `.tmp-${randomBytes(8).toString("hex")}`);
8
+ let descriptor;
9
+ try {
10
+ descriptor = openSync(temporary, "wx", 0o600);
11
+ writeFileSync(descriptor, bytes);
12
+ fsyncSync(descriptor);
13
+ closeSync(descriptor);
14
+ descriptor = undefined;
15
+ renameSync(temporary, path);
16
+ const directory = openSync(parent, "r");
17
+ try {
18
+ fsyncSync(directory);
19
+ }
20
+ finally {
21
+ closeSync(directory);
22
+ }
23
+ return;
24
+ }
25
+ catch (error) {
26
+ if (descriptor !== undefined)
27
+ closeSync(descriptor);
28
+ try {
29
+ unlinkSync(temporary);
30
+ }
31
+ catch { /* renamed, absent, or best-effort cleanup */ }
32
+ if (error.code !== "EEXIST")
33
+ throw error;
34
+ }
35
+ }
36
+ }
37
+ export function createFileDurablyExclusive(path, bytes, mode = 0o600) {
38
+ const parent = dirname(path);
39
+ mkdirSync(parent, { recursive: true });
40
+ let descriptor;
41
+ try {
42
+ descriptor = openSync(path, "wx", mode);
43
+ writeFileSync(descriptor, bytes);
44
+ fsyncSync(descriptor);
45
+ closeSync(descriptor);
46
+ descriptor = undefined;
47
+ const directory = openSync(parent, "r");
48
+ try {
49
+ fsyncSync(directory);
50
+ }
51
+ finally {
52
+ closeSync(directory);
53
+ }
54
+ return true;
55
+ }
56
+ catch (error) {
57
+ if (descriptor !== undefined)
58
+ closeSync(descriptor);
59
+ if (error.code === "EEXIST")
60
+ return false;
61
+ try {
62
+ unlinkSync(path);
63
+ }
64
+ catch { /* absent or best-effort cleanup */ }
65
+ throw error;
66
+ }
67
+ }
68
+ export function repairDerivedFile(path, bytes) {
69
+ const expected = Buffer.from(bytes);
70
+ mkdirSync(dirname(path), { recursive: true });
71
+ const stat = lstatSync(path, { throwIfNoEntry: false });
72
+ if (stat !== undefined && (!stat.isFile() || stat.isSymbolicLink())) {
73
+ throw new Error(`derived file is not a regular file: ${path}`);
74
+ }
75
+ if (stat !== undefined && readFileSync(path).equals(expected))
76
+ return "unchanged";
77
+ replaceFileDurably(path, expected);
78
+ return stat === undefined ? "created" : "updated";
79
+ }
@@ -0,0 +1,14 @@
1
+ export type SqliteTransactionLockMode = "immediate" | "exclusive";
2
+ export declare class SqliteTransactionLockError extends Error {
3
+ readonly reason: "timeout" | "invalid" | "open-failed" | "release-failed";
4
+ constructor(message: string, reason: "timeout" | "invalid" | "open-failed" | "release-failed", options?: ErrorOptions);
5
+ }
6
+ export type HeldSqliteTransactionLock = Readonly<{
7
+ close(): void;
8
+ }>;
9
+ export declare function acquireSqliteTransactionLock(input: {
10
+ path: string;
11
+ mode: SqliteTransactionLockMode;
12
+ timeoutMs?: number;
13
+ signal?: AbortSignal;
14
+ }): Promise<HeldSqliteTransactionLock>;
@@ -0,0 +1,119 @@
1
+ import { randomInt } from "node:crypto";
2
+ import { lstatSync, mkdirSync } from "node:fs";
3
+ import { dirname } from "node:path";
4
+ import { DatabaseSync } from "node:sqlite";
5
+ const SQLITE_BUSY = 5;
6
+ const INITIAL_RETRY_MS = 10;
7
+ const MAX_RETRY_MS = 100;
8
+ export class SqliteTransactionLockError extends Error {
9
+ reason;
10
+ constructor(message, reason, options) {
11
+ super(message, options);
12
+ this.reason = reason;
13
+ this.name = "SqliteTransactionLockError";
14
+ }
15
+ }
16
+ function detail(error) {
17
+ return error instanceof Error ? error.message : String(error);
18
+ }
19
+ function isBusy(error) {
20
+ if (typeof error !== "object" || error === null)
21
+ return false;
22
+ const value = error;
23
+ const message = String(value.message ?? "").toLowerCase();
24
+ return value.errcode === SQLITE_BUSY || value.code === "ERR_SQLITE_BUSY"
25
+ || value.code === "ERR_SQLITE_LOCKED" || message.includes("database is locked")
26
+ || message.includes("database is busy");
27
+ }
28
+ function closeDatabase(database) {
29
+ let failure;
30
+ try {
31
+ database.exec("ROLLBACK");
32
+ }
33
+ catch (error) {
34
+ failure = error;
35
+ }
36
+ try {
37
+ database.close();
38
+ }
39
+ catch (error) {
40
+ failure ??= error;
41
+ }
42
+ return failure;
43
+ }
44
+ function openLock(path, mode) {
45
+ try {
46
+ const stat = lstatSync(path, { throwIfNoEntry: false });
47
+ if (stat && (!stat.isFile() || stat.isSymbolicLink())) {
48
+ throw new SqliteTransactionLockError(`SQLite lock is not a regular file: ${path}`, "invalid");
49
+ }
50
+ mkdirSync(dirname(path), { recursive: true });
51
+ }
52
+ catch (error) {
53
+ if (error instanceof SqliteTransactionLockError)
54
+ throw error;
55
+ throw new SqliteTransactionLockError(`cannot prepare SQLite lock: ${detail(error)}`, "open-failed", { cause: error });
56
+ }
57
+ let database;
58
+ try {
59
+ database = new DatabaseSync(path);
60
+ database.exec("PRAGMA busy_timeout=0");
61
+ database.exec("PRAGMA journal_mode=DELETE");
62
+ database.exec("CREATE TABLE IF NOT EXISTS lock_anchor (singleton INTEGER PRIMARY KEY CHECK (singleton = 1))");
63
+ database.exec(`BEGIN ${mode.toUpperCase()}`);
64
+ database.prepare("SELECT singleton FROM lock_anchor LIMIT 1").get();
65
+ }
66
+ catch (error) {
67
+ if (database)
68
+ closeDatabase(database);
69
+ if (isBusy(error))
70
+ throw error;
71
+ throw new SqliteTransactionLockError(`cannot acquire SQLite lock: ${detail(error)}`, "open-failed", { cause: error });
72
+ }
73
+ let closed = false;
74
+ return { close() {
75
+ if (closed)
76
+ return;
77
+ closed = true;
78
+ const failure = closeDatabase(database);
79
+ if (failure !== undefined) {
80
+ throw new SqliteTransactionLockError(`cannot release SQLite lock: ${detail(failure)}`, "release-failed", { cause: failure });
81
+ }
82
+ } };
83
+ }
84
+ function wait(milliseconds, signal) {
85
+ return new Promise((resolve, reject) => {
86
+ const finish = () => { signal?.removeEventListener("abort", abort); resolve(); };
87
+ const timer = setTimeout(finish, milliseconds);
88
+ const abort = () => { clearTimeout(timer); signal?.removeEventListener("abort", abort); reject(signal?.reason); };
89
+ signal?.addEventListener("abort", abort, { once: true });
90
+ if (signal?.aborted)
91
+ abort();
92
+ });
93
+ }
94
+ export async function acquireSqliteTransactionLock(input) {
95
+ if (input.path.length === 0 || (input.timeoutMs !== undefined
96
+ && (!Number.isSafeInteger(input.timeoutMs) || input.timeoutMs < 0))) {
97
+ throw new SqliteTransactionLockError("SQLite lock path and timeout must be valid", "invalid");
98
+ }
99
+ const started = performance.now();
100
+ let cap = INITIAL_RETRY_MS;
101
+ for (;;) {
102
+ input.signal?.throwIfAborted();
103
+ try {
104
+ return openLock(input.path, input.mode);
105
+ }
106
+ catch (error) {
107
+ if (!isBusy(error))
108
+ throw error;
109
+ const elapsed = performance.now() - started;
110
+ if (input.timeoutMs !== undefined && elapsed >= input.timeoutMs) {
111
+ throw new SqliteTransactionLockError(`SQLite lock timed out after ${input.timeoutMs}ms: ${input.path}`, "timeout", { cause: error });
112
+ }
113
+ const delay = randomInt(Math.ceil(cap / 2), cap + 1);
114
+ const remaining = input.timeoutMs === undefined ? delay : Math.min(delay, input.timeoutMs - elapsed);
115
+ await wait(Math.max(0, remaining), input.signal);
116
+ cap = Math.min(MAX_RETRY_MS, cap * 2);
117
+ }
118
+ }
119
+ }
@@ -0,0 +1,45 @@
1
+ import type { Offer } from "./facts/offer.js";
2
+ import type { ContractsObservation } from "./facts/observation.js";
3
+ import type { DocumentKey, EntryUlid } from "./facts/types.js";
4
+ export type AttemptContext = Readonly<{
5
+ entryUlids: readonly EntryUlid[];
6
+ }>;
7
+ export type DecideInput<Input> = Readonly<{
8
+ input: Input;
9
+ attempt: AttemptContext;
10
+ observation: ContractsObservation;
11
+ }>;
12
+ /** The protocol's mechanical or declaration result supplied to a legal decision. */
13
+ export type Preparation<Data, Refusal> = Readonly<{
14
+ kind: "prepared";
15
+ data: Data;
16
+ refusal?: never;
17
+ } | {
18
+ kind: "refused";
19
+ refusal: Refusal;
20
+ data?: never;
21
+ }>;
22
+ /** A document-derived preparation whose stamp is unavailable only with contract absence. */
23
+ export type StampedPreparation<Data, Refusal> = Readonly<{
24
+ kind: "unavailable";
25
+ document?: never;
26
+ data?: never;
27
+ refusal?: never;
28
+ } | {
29
+ kind: "prepared";
30
+ document: DocumentKey;
31
+ data: Data;
32
+ refusal?: never;
33
+ } | {
34
+ kind: "refused";
35
+ document: DocumentKey;
36
+ refusal: Refusal;
37
+ data?: never;
38
+ }>;
39
+ export type OfferDecision<Refusal> = Readonly<{
40
+ kind: "offer";
41
+ offer: Offer;
42
+ }> | Readonly<{
43
+ kind: "refused";
44
+ refusal: Refusal;
45
+ }>;
@@ -0,0 +1,3 @@
1
+ import type { JournalEntry } from "./types.js";
2
+ export declare function encodeEntry(entry: JournalEntry): string;
3
+ export declare function decodeJournal(journal: string): JournalEntry[];
@@ -0,0 +1,277 @@
1
+ import { parseDependencyKeySet } from "../subject.js";
2
+ import { AuthorityCorruptionError } from "./errors.js";
3
+ import { changeId, actorId, contractId, documentKey, documentSegmentKey, entryUlid, gate, snapshotId, } from "./types.js";
4
+ const VERSION_BY_KIND = {
5
+ bind: 1,
6
+ amend: 1,
7
+ bound: 1,
8
+ deliver: 1,
9
+ attestation: 1,
10
+ claimed: 1,
11
+ arc: 1,
12
+ abandoned: 1,
13
+ };
14
+ function isRecord(value) {
15
+ return typeof value === "object" && value !== null && !Array.isArray(value);
16
+ }
17
+ function fail(path, message) {
18
+ throw new AuthorityCorruptionError(`${path}: ${message}`);
19
+ }
20
+ function requireRecord(value, path) {
21
+ if (!isRecord(value))
22
+ fail(path, "expected an object");
23
+ return value;
24
+ }
25
+ function requireKeys(value, required, path, optional = []) {
26
+ const expected = new Set([...required, ...optional]);
27
+ for (const key of Object.keys(value)) {
28
+ if (!expected.has(key))
29
+ fail(path, `unknown field '${key}'`);
30
+ }
31
+ for (const key of required) {
32
+ if (!(key in value))
33
+ fail(path, `missing field '${key}'`);
34
+ }
35
+ }
36
+ function stringValue(value, path, nonblank = true) {
37
+ if (typeof value !== "string" || (nonblank && value.trim().length === 0)) {
38
+ fail(path, nonblank ? "expected a nonblank string" : "expected a string");
39
+ }
40
+ return value;
41
+ }
42
+ function booleanValue(value, path) {
43
+ if (typeof value !== "boolean")
44
+ fail(path, "expected a boolean");
45
+ return value;
46
+ }
47
+ function brandedValue(value, path, brand) {
48
+ const text = stringValue(value, path);
49
+ try {
50
+ return brand(text);
51
+ }
52
+ catch (error) {
53
+ fail(path, error instanceof Error ? error.message : "invalid branded value");
54
+ }
55
+ }
56
+ function dependencyKeySetValue(value, path) {
57
+ if (typeof value !== "string")
58
+ fail(path, "expected a canonical dependency key set");
59
+ try {
60
+ return parseDependencyKeySet(value);
61
+ }
62
+ catch (error) {
63
+ fail(path, error instanceof Error ? error.message : "invalid dependency key set");
64
+ }
65
+ }
66
+ function documentValue(value, path) {
67
+ const object = requireRecord(value, path);
68
+ requireKeys(object, ["bytes", "key"], path);
69
+ return {
70
+ bytes: stringValue(object.bytes, `${path}.bytes`),
71
+ key: brandedValue(object.key, `${path}.key`, documentKey),
72
+ };
73
+ }
74
+ function arrayValue(value, path) {
75
+ if (!Array.isArray(value))
76
+ fail(path, "expected an array");
77
+ return value;
78
+ }
79
+ function brandedArray(value, path, brand) {
80
+ return arrayValue(value, path).map((item, index) => brandedValue(item, `${path}[${index}]`, brand));
81
+ }
82
+ function validateTimestamp(value, path) {
83
+ const text = stringValue(value, path);
84
+ if (!/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d{3})?Z$/.test(text)) {
85
+ fail(path, "expected a UTC RFC-3339 timestamp");
86
+ }
87
+ const milliseconds = Date.parse(text);
88
+ const canonical = Number.isFinite(milliseconds) ? new Date(milliseconds).toISOString() : "";
89
+ if (!Number.isFinite(milliseconds) || (text.includes(".") ? canonical !== text : canonical.replace(".000Z", "Z") !== text)) {
90
+ fail(path, "expected a real canonical UTC timestamp");
91
+ }
92
+ return text;
93
+ }
94
+ function validateCoordinates(value, path) {
95
+ const object = requireRecord(value, path);
96
+ requireKeys(object, ["start", "workspace"], path, ["target"]);
97
+ const workspace = stringValue(object.workspace, `${path}.workspace`);
98
+ if (workspace !== "worktree" && workspace !== "here")
99
+ fail(`${path}.workspace`, "unknown workspace");
100
+ return {
101
+ start: brandedValue(object.start, `${path}.start`, snapshotId),
102
+ workspace,
103
+ ...(object.target === undefined ? {} : { target: stringValue(object.target, `${path}.target`) }),
104
+ };
105
+ }
106
+ function termsValue(value, path) {
107
+ const object = requireRecord(value, path);
108
+ requireKeys(object, ["document", "segments", "gates", "after"], path);
109
+ return {
110
+ document: documentValue(object.document, `${path}.document`),
111
+ segments: brandedArray(object.segments, `${path}.segments`, documentSegmentKey),
112
+ gates: brandedArray(object.gates, `${path}.gates`, gate),
113
+ after: brandedArray(object.after, `${path}.after`, contractId),
114
+ };
115
+ }
116
+ function validateAttestation(value, path) {
117
+ const object = requireRecord(value, path);
118
+ requireKeys(object, ["gate", "subject", "verdict"], path, ["summary"]);
119
+ const declaredGate = brandedValue(object.gate, `${path}.gate`, gate);
120
+ const verdict = stringValue(object.verdict, `${path}.verdict`);
121
+ if (verdict !== "satisfied" && verdict !== "unsatisfied")
122
+ fail(`${path}.verdict`, "unknown attestation verdict");
123
+ return {
124
+ gate: declaredGate,
125
+ subject: dependencyKeySetValue(object.subject, `${path}.subject`),
126
+ verdict,
127
+ ...(object.summary === undefined ? {} : { summary: stringValue(object.summary, `${path}.summary`) }),
128
+ };
129
+ }
130
+ function validateArc(value, path) {
131
+ const object = requireRecord(value, path);
132
+ requireKeys(object, ["seq", "title", "objective", "brief"], path);
133
+ const seq = object.seq;
134
+ if (typeof seq !== "number" || !Number.isSafeInteger(seq) || seq < 1) {
135
+ fail(`${path}.seq`, "expected a positive safe integer");
136
+ }
137
+ return {
138
+ seq,
139
+ title: stringValue(object.title, `${path}.title`),
140
+ objective: stringValue(object.objective, `${path}.objective`),
141
+ brief: stringValue(object.brief, `${path}.brief`),
142
+ };
143
+ }
144
+ function validateData(kind, value) {
145
+ const path = `data.${kind}`;
146
+ switch (kind) {
147
+ case "bind": {
148
+ const object = requireRecord(value, path);
149
+ requireKeys(object, ["coordinates", "terms"], path);
150
+ return {
151
+ coordinates: validateCoordinates(object.coordinates, `${path}.coordinates`),
152
+ terms: termsValue(object.terms, `${path}.terms`),
153
+ };
154
+ }
155
+ case "amend":
156
+ return termsValue(value, path);
157
+ case "bound": {
158
+ const object = requireRecord(value, path);
159
+ requireKeys(object, [], path);
160
+ return {};
161
+ }
162
+ case "deliver": {
163
+ const object = requireRecord(value, path);
164
+ requireKeys(object, ["tenderSnapshot", "integration", "method", "policy"], path);
165
+ const integration = requireRecord(object.integration, `${path}.integration`);
166
+ requireKeys(integration, ["predecessor", "snapshot", "changeId"], `${path}.integration`);
167
+ const method = stringValue(object.method, `${path}.method`);
168
+ if (method !== "squash")
169
+ fail(`${path}.method`, "unknown merge method");
170
+ const policy = requireRecord(object.policy, `${path}.policy`);
171
+ requireKeys(policy, ["requireBranchesToBeUpToDate"], `${path}.policy`);
172
+ return {
173
+ tenderSnapshot: brandedValue(object.tenderSnapshot, `${path}.tenderSnapshot`, snapshotId),
174
+ integration: {
175
+ predecessor: brandedValue(integration.predecessor, `${path}.integration.predecessor`, snapshotId),
176
+ snapshot: brandedValue(integration.snapshot, `${path}.integration.snapshot`, snapshotId),
177
+ changeId: brandedValue(integration.changeId, `${path}.integration.changeId`, changeId),
178
+ },
179
+ method,
180
+ policy: {
181
+ requireBranchesToBeUpToDate: booleanValue(policy.requireBranchesToBeUpToDate, `${path}.policy.requireBranchesToBeUpToDate`),
182
+ },
183
+ };
184
+ }
185
+ case "attestation":
186
+ return validateAttestation(value, path);
187
+ case "claimed": {
188
+ const object = requireRecord(value, path);
189
+ requireKeys(object, ["delivery"], path);
190
+ return { delivery: brandedValue(object.delivery, `${path}.delivery`, entryUlid) };
191
+ }
192
+ case "arc":
193
+ return validateArc(value, path);
194
+ case "abandoned": {
195
+ const object = requireRecord(value, path);
196
+ requireKeys(object, [], path, ["note"]);
197
+ return {
198
+ ...(object.note === undefined ? {} : { note: stringValue(object.note, `${path}.note`) }),
199
+ };
200
+ }
201
+ }
202
+ }
203
+ function validateEntry(value) {
204
+ const object = requireRecord(value, "entry");
205
+ requireKeys(object, ["v", "kind", "contract", "entry", "at", "data"], "entry", ["actor"]);
206
+ const kind = object.kind;
207
+ if (typeof kind !== "string" || !Object.hasOwn(VERSION_BY_KIND, kind)) {
208
+ throw new AuthorityCorruptionError(`unknown journal entry kind: ${String(kind)}`);
209
+ }
210
+ const expectedVersion = VERSION_BY_KIND[kind];
211
+ if (object.v !== expectedVersion)
212
+ fail("entry.v", `expected version ${expectedVersion} for ${kind}`);
213
+ const entry = {
214
+ v: object.v,
215
+ kind,
216
+ contract: brandedValue(object.contract, "entry.contract", contractId),
217
+ entry: brandedValue(object.entry, "entry.entry", entryUlid),
218
+ at: validateTimestamp(object.at, "entry.at"),
219
+ ...(object.actor === undefined ? {} : { actor: brandedValue(object.actor, "entry.actor", actorId) }),
220
+ data: validateData(kind, object.data),
221
+ };
222
+ const after = entry.kind === "bind" ? entry.data.terms.after : entry.kind === "amend" ? entry.data.after : undefined;
223
+ if (after?.some((dependency) => dependency === entry.contract)) {
224
+ fail(`entry.data.${entry.kind}.after`, "after cannot reference its own contract");
225
+ }
226
+ return entry;
227
+ }
228
+ function canonicalValue(value) {
229
+ if (value === null)
230
+ return "null";
231
+ if (typeof value === "string" || typeof value === "boolean")
232
+ return JSON.stringify(value);
233
+ if (typeof value === "number") {
234
+ if (!Number.isFinite(value))
235
+ throw new AuthorityCorruptionError("canonical JSON cannot encode a non-finite number");
236
+ return JSON.stringify(value);
237
+ }
238
+ if (Array.isArray(value))
239
+ return `[${value.map(canonicalValue).join(",")}]`;
240
+ if (isRecord(value)) {
241
+ const keys = Object.keys(value).sort((left, right) => Buffer.from(left).compare(Buffer.from(right)));
242
+ return `{${keys.map((key) => `${JSON.stringify(key)}:${canonicalValue(value[key])}`).join(",")}}`;
243
+ }
244
+ throw new AuthorityCorruptionError("canonical JSON accepts only JSON values");
245
+ }
246
+ function canonicalJson(value) {
247
+ return canonicalValue(value);
248
+ }
249
+ export function encodeEntry(entry) {
250
+ const validated = validateEntry(entry);
251
+ return `${canonicalJson(validated)}\n`;
252
+ }
253
+ function decodeEntry(line) {
254
+ if (line.includes("\r") || line.includes("\n\n"))
255
+ throw new AuthorityCorruptionError("journal entry must be one LF-delimited JSON value");
256
+ const body = line.endsWith("\n") ? line.slice(0, -1) : line;
257
+ if (body.length === 0)
258
+ throw new AuthorityCorruptionError("journal entry cannot be empty");
259
+ let value;
260
+ try {
261
+ value = JSON.parse(body);
262
+ }
263
+ catch (error) {
264
+ throw new AuthorityCorruptionError("journal entry is not valid JSON", { cause: error });
265
+ }
266
+ const entry = validateEntry(value);
267
+ if (canonicalJson(entry) !== body)
268
+ throw new AuthorityCorruptionError("journal entry is not canonical");
269
+ return entry;
270
+ }
271
+ export function decodeJournal(journal) {
272
+ if (journal.length === 0)
273
+ return [];
274
+ if (journal.includes("\r") || !journal.endsWith("\n"))
275
+ throw new AuthorityCorruptionError("journal must use LF lines and end with LF");
276
+ return journal.slice(0, -1).split("\n").map((line) => decodeEntry(line));
277
+ }
@@ -0,0 +1,7 @@
1
+ import { type ContractsObservation } from "./observation.js";
2
+ import type { ContractId } from "./types.js";
3
+ type EligibilityObservation = ContractsObservation;
4
+ /** Decide whether resulting prerequisites reach the amended contract. */
5
+ export declare function prerequisitesReach(contract: ContractId, prerequisites: readonly ContractId[], observation: EligibilityObservation): boolean;
6
+ export declare function samePrerequisites(left: readonly ContractId[], right: readonly ContractId[]): boolean;
7
+ export {};
@@ -0,0 +1,26 @@
1
+ import { contractState } from "./observation.js";
2
+ /** Decide whether resulting prerequisites reach the amended contract. */
3
+ export function prerequisitesReach(contract, prerequisites, observation) {
4
+ const pending = [...prerequisites];
5
+ const visited = new Set();
6
+ while (pending.length > 0) {
7
+ const dependency = pending.pop();
8
+ if (dependency === contract)
9
+ return true;
10
+ if (visited.has(dependency))
11
+ continue;
12
+ visited.add(dependency);
13
+ const state = contractState(observation, dependency);
14
+ if (state === null)
15
+ throw new Error(`absent contract in prerequisite closure: ${dependency}`);
16
+ pending.push(...state.terms.after);
17
+ }
18
+ return false;
19
+ }
20
+ export function samePrerequisites(left, right) {
21
+ if (left === right)
22
+ return true;
23
+ if (left.length !== right.length)
24
+ return false;
25
+ return left.every((id, index) => id === right[index]);
26
+ }
@@ -0,0 +1,3 @@
1
+ export declare class AuthorityCorruptionError extends Error {
2
+ constructor(message: string, options?: ErrorOptions);
3
+ }
@@ -0,0 +1,6 @@
1
+ export class AuthorityCorruptionError extends Error {
2
+ constructor(message, options) {
3
+ super(message, options);
4
+ this.name = "AuthorityCorruptionError";
5
+ }
6
+ }
@@ -0,0 +1,2 @@
1
+ import type { ContractState, JournalEntry } from "./types.js";
2
+ export declare function foldJournal(id: ContractState["id"], entries: readonly JournalEntry[], head?: ContractState["head"]): ContractState;