bonecode 1.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 (605) hide show
  1. package/ARCHITECTURE.md +183 -0
  2. package/README.md +71 -0
  3. package/bin/bonecode +62 -0
  4. package/bone/migrations/rag_vectors.sql +258 -0
  5. package/bone/output/agent/.dockerignore +7 -0
  6. package/bone/output/agent/.env.example +36 -0
  7. package/bone/output/agent/.github/workflows/ci.yaml +58 -0
  8. package/bone/output/agent/AgentDomain.bone.map +350 -0
  9. package/bone/output/agent/AgentDomain.postman_collection.json +958 -0
  10. package/bone/output/agent/Dockerfile +22 -0
  11. package/bone/output/agent/README.md +47 -0
  12. package/bone/output/agent/admin/index.html +740 -0
  13. package/bone/output/agent/docker-compose.yaml +22 -0
  14. package/bone/output/agent/k8s/deployment.yaml +75 -0
  15. package/bone/output/agent/migrations/agent.sql +36 -0
  16. package/bone/output/agent/migrations/agent_instance.sql +36 -0
  17. package/bone/output/agent/migrations/audit_log.sql +18 -0
  18. package/bone/output/agent/migrations/build_step.sql +34 -0
  19. package/bone/output/agent/migrations/event_outbox.sql +31 -0
  20. package/bone/output/agent/migrations/plan.sql +30 -0
  21. package/bone/output/agent/migrations/task.sql +30 -0
  22. package/bone/output/agent/migrations/tool_call.sql +33 -0
  23. package/bone/output/agent/openapi.yaml +1116 -0
  24. package/bone/output/agent/package.json +36 -0
  25. package/bone/output/agent/schema.graphql +233 -0
  26. package/bone/output/agent/sdk/client.ts +231 -0
  27. package/bone/output/agent/src/algorithms.ts +2 -0
  28. package/bone/output/agent/src/audit.ts +44 -0
  29. package/bone/output/agent/src/auth.ts +57 -0
  30. package/bone/output/agent/src/cron.ts +12 -0
  31. package/bone/output/agent/src/db.ts +32 -0
  32. package/bone/output/agent/src/debug.ts +66 -0
  33. package/bone/output/agent/src/events.ts +243 -0
  34. package/bone/output/agent/src/extensions.ts +54 -0
  35. package/bone/output/agent/src/failure_rules.ts +323 -0
  36. package/bone/output/agent/src/flows.ts +168 -0
  37. package/bone/output/agent/src/health.ts +43 -0
  38. package/bone/output/agent/src/index.ts +100 -0
  39. package/bone/output/agent/src/logger.ts +66 -0
  40. package/bone/output/agent/src/metrics.ts +75 -0
  41. package/bone/output/agent/src/migrate.ts +352 -0
  42. package/bone/output/agent/src/migration_diff.ts +108 -0
  43. package/bone/output/agent/src/notify.ts +125 -0
  44. package/bone/output/agent/src/routes/agent_instance.ts +234 -0
  45. package/bone/output/agent/src/routes/build_step.ts +105 -0
  46. package/bone/output/agent/src/routes/plan.ts +91 -0
  47. package/bone/output/agent/src/routes/task.ts +105 -0
  48. package/bone/output/agent/src/routes/tool_call.ts +166 -0
  49. package/bone/output/agent/src/schemas.ts +384 -0
  50. package/bone/output/agent/src/state_machines/agent_instance.ts +24 -0
  51. package/bone/output/agent/src/state_machines/build_step.ts +22 -0
  52. package/bone/output/agent/src/state_machines/plan.ts +22 -0
  53. package/bone/output/agent/src/state_machines/task.ts +22 -0
  54. package/bone/output/agent/src/state_machines/tool_call.ts +22 -0
  55. package/bone/output/agent/src/tests.ts +362 -0
  56. package/bone/output/agent/src/websocket.ts +201 -0
  57. package/bone/output/agent/tsconfig.json +25 -0
  58. package/bone/output/rag/.dockerignore +7 -0
  59. package/bone/output/rag/.env.example +36 -0
  60. package/bone/output/rag/.github/workflows/ci.yaml +58 -0
  61. package/bone/output/rag/Dockerfile +22 -0
  62. package/bone/output/rag/RAGDomain.bone.map +287 -0
  63. package/bone/output/rag/RAGDomain.postman_collection.json +923 -0
  64. package/bone/output/rag/README.md +47 -0
  65. package/bone/output/rag/admin/index.html +818 -0
  66. package/bone/output/rag/docker-compose.yaml +22 -0
  67. package/bone/output/rag/k8s/deployment.yaml +75 -0
  68. package/bone/output/rag/migrations/audit_log.sql +18 -0
  69. package/bone/output/rag/migrations/code_chunk.sql +34 -0
  70. package/bone/output/rag/migrations/code_file.sql +33 -0
  71. package/bone/output/rag/migrations/event_outbox.sql +31 -0
  72. package/bone/output/rag/migrations/indexing_job.sql +33 -0
  73. package/bone/output/rag/migrations/knowledge_base.sql +35 -0
  74. package/bone/output/rag/migrations/memory_entry.sql +34 -0
  75. package/bone/output/rag/openapi.yaml +1097 -0
  76. package/bone/output/rag/package.json +36 -0
  77. package/bone/output/rag/schema.graphql +245 -0
  78. package/bone/output/rag/sdk/client.ts +234 -0
  79. package/bone/output/rag/src/algorithms.ts +2 -0
  80. package/bone/output/rag/src/audit.ts +37 -0
  81. package/bone/output/rag/src/auth.ts +57 -0
  82. package/bone/output/rag/src/cron.ts +12 -0
  83. package/bone/output/rag/src/db.ts +32 -0
  84. package/bone/output/rag/src/debug.ts +66 -0
  85. package/bone/output/rag/src/events.ts +243 -0
  86. package/bone/output/rag/src/extensions.ts +350 -0
  87. package/bone/output/rag/src/failure_rules.ts +315 -0
  88. package/bone/output/rag/src/flows.ts +239 -0
  89. package/bone/output/rag/src/health.ts +43 -0
  90. package/bone/output/rag/src/index.ts +95 -0
  91. package/bone/output/rag/src/logger.ts +66 -0
  92. package/bone/output/rag/src/metrics.ts +75 -0
  93. package/bone/output/rag/src/migrate.ts +364 -0
  94. package/bone/output/rag/src/migration_diff.ts +108 -0
  95. package/bone/output/rag/src/notify.ts +99 -0
  96. package/bone/output/rag/src/routes/code_chunk.ts +75 -0
  97. package/bone/output/rag/src/routes/code_file.ts +101 -0
  98. package/bone/output/rag/src/routes/indexing_job.ts +87 -0
  99. package/bone/output/rag/src/routes/knowledge_base.ts +230 -0
  100. package/bone/output/rag/src/routes/memory_entry.ts +87 -0
  101. package/bone/output/rag/src/schemas.ts +394 -0
  102. package/bone/output/rag/src/state_machines/code_file.ts +23 -0
  103. package/bone/output/rag/src/state_machines/indexing_job.ts +22 -0
  104. package/bone/output/rag/src/state_machines/knowledge_base.ts +23 -0
  105. package/bone/output/rag/src/state_machines/memory_entry.ts +20 -0
  106. package/bone/output/rag/src/tests.ts +340 -0
  107. package/bone/output/rag/tsconfig.json +25 -0
  108. package/bone/output/session/.dockerignore +7 -0
  109. package/bone/output/session/.env.example +36 -0
  110. package/bone/output/session/.github/workflows/ci.yaml +58 -0
  111. package/bone/output/session/Dockerfile +22 -0
  112. package/bone/output/session/README.md +47 -0
  113. package/bone/output/session/SessionDomain.bone.map +350 -0
  114. package/bone/output/session/SessionDomain.postman_collection.json +958 -0
  115. package/bone/output/session/admin/index.html +667 -0
  116. package/bone/output/session/docker-compose.yaml +22 -0
  117. package/bone/output/session/k8s/deployment.yaml +75 -0
  118. package/bone/output/session/migrations/audit_log.sql +18 -0
  119. package/bone/output/session/migrations/event_outbox.sql +31 -0
  120. package/bone/output/session/migrations/message.sql +31 -0
  121. package/bone/output/session/migrations/part.sql +28 -0
  122. package/bone/output/session/migrations/permission.sql +28 -0
  123. package/bone/output/session/migrations/project.sql +28 -0
  124. package/bone/output/session/migrations/session.sql +38 -0
  125. package/bone/output/session/openapi.yaml +1101 -0
  126. package/bone/output/session/package.json +36 -0
  127. package/bone/output/session/schema.graphql +222 -0
  128. package/bone/output/session/sdk/client.ts +225 -0
  129. package/bone/output/session/src/algorithms.ts +2 -0
  130. package/bone/output/session/src/audit.ts +44 -0
  131. package/bone/output/session/src/auth.ts +57 -0
  132. package/bone/output/session/src/cron.ts +12 -0
  133. package/bone/output/session/src/db.ts +32 -0
  134. package/bone/output/session/src/debug.ts +66 -0
  135. package/bone/output/session/src/events.ts +270 -0
  136. package/bone/output/session/src/extensions.ts +215 -0
  137. package/bone/output/session/src/failure_rules.ts +284 -0
  138. package/bone/output/session/src/flows.ts +168 -0
  139. package/bone/output/session/src/health.ts +43 -0
  140. package/bone/output/session/src/index.ts +100 -0
  141. package/bone/output/session/src/logger.ts +66 -0
  142. package/bone/output/session/src/metrics.ts +75 -0
  143. package/bone/output/session/src/migrate.ts +332 -0
  144. package/bone/output/session/src/migration_diff.ts +108 -0
  145. package/bone/output/session/src/notify.ts +112 -0
  146. package/bone/output/session/src/routes/message.ts +93 -0
  147. package/bone/output/session/src/routes/part.ts +79 -0
  148. package/bone/output/session/src/routes/permission.ts +79 -0
  149. package/bone/output/session/src/routes/project.ts +79 -0
  150. package/bone/output/session/src/routes/session.ts +294 -0
  151. package/bone/output/session/src/schemas.ts +357 -0
  152. package/bone/output/session/src/state_machines/session.ts +23 -0
  153. package/bone/output/session/src/tests.ts +326 -0
  154. package/bone/output/session/src/websocket.ts +201 -0
  155. package/bone/output/session/tsconfig.json +25 -0
  156. package/bone/output/workspace/.dockerignore +7 -0
  157. package/bone/output/workspace/.env.example +36 -0
  158. package/bone/output/workspace/.github/workflows/ci.yaml +58 -0
  159. package/bone/output/workspace/Dockerfile +22 -0
  160. package/bone/output/workspace/README.md +45 -0
  161. package/bone/output/workspace/WorkspaceDomain.bone.map +189 -0
  162. package/bone/output/workspace/WorkspaceDomain.postman_collection.json +621 -0
  163. package/bone/output/workspace/admin/index.html +485 -0
  164. package/bone/output/workspace/docker-compose.yaml +22 -0
  165. package/bone/output/workspace/k8s/deployment.yaml +75 -0
  166. package/bone/output/workspace/migrations/audit_log.sql +18 -0
  167. package/bone/output/workspace/migrations/codebase.sql +34 -0
  168. package/bone/output/workspace/migrations/event_outbox.sql +31 -0
  169. package/bone/output/workspace/migrations/snapshot.sql +32 -0
  170. package/bone/output/workspace/migrations/workspace.sql +33 -0
  171. package/bone/output/workspace/openapi.yaml +721 -0
  172. package/bone/output/workspace/package.json +36 -0
  173. package/bone/output/workspace/schema.graphql +153 -0
  174. package/bone/output/workspace/sdk/client.ts +155 -0
  175. package/bone/output/workspace/src/algorithms.ts +2 -0
  176. package/bone/output/workspace/src/audit.ts +37 -0
  177. package/bone/output/workspace/src/auth.ts +57 -0
  178. package/bone/output/workspace/src/cron.ts +12 -0
  179. package/bone/output/workspace/src/db.ts +32 -0
  180. package/bone/output/workspace/src/debug.ts +66 -0
  181. package/bone/output/workspace/src/events.ts +243 -0
  182. package/bone/output/workspace/src/extensions.ts +44 -0
  183. package/bone/output/workspace/src/failure_rules.ts +153 -0
  184. package/bone/output/workspace/src/health.ts +43 -0
  185. package/bone/output/workspace/src/index.ts +89 -0
  186. package/bone/output/workspace/src/logger.ts +66 -0
  187. package/bone/output/workspace/src/metrics.ts +75 -0
  188. package/bone/output/workspace/src/migrate.ts +220 -0
  189. package/bone/output/workspace/src/migration_diff.ts +108 -0
  190. package/bone/output/workspace/src/notify.ts +73 -0
  191. package/bone/output/workspace/src/routes/codebase.ts +87 -0
  192. package/bone/output/workspace/src/routes/snapshot.ts +127 -0
  193. package/bone/output/workspace/src/routes/workspace.ts +190 -0
  194. package/bone/output/workspace/src/schemas.ts +231 -0
  195. package/bone/output/workspace/src/state_machines/codebase.ts +21 -0
  196. package/bone/output/workspace/src/state_machines/snapshot.ts +20 -0
  197. package/bone/output/workspace/src/state_machines/workspace.ts +21 -0
  198. package/bone/output/workspace/src/tests.ts +249 -0
  199. package/bone/output/workspace/tsconfig.json +25 -0
  200. package/compat/opencode_adapter.ts +410 -0
  201. package/package.json +69 -0
  202. package/scripts/check_benchmark_session.js +34 -0
  203. package/scripts/check_finish_event.js +24 -0
  204. package/scripts/check_parts.js +15 -0
  205. package/scripts/compile.js +79 -0
  206. package/scripts/copy_opencode.ps1 +53 -0
  207. package/scripts/create_functions.sql +129 -0
  208. package/scripts/migrate.js +85 -0
  209. package/scripts/migrate_from_opencode.ts +218 -0
  210. package/scripts/test_agent_loop.js +101 -0
  211. package/scripts/test_api.ps1 +116 -0
  212. package/scripts/test_context_builder.js +136 -0
  213. package/scripts/test_context_builder.ts +97 -0
  214. package/scripts/test_rag.js +189 -0
  215. package/scripts/test_stream_events.js +36 -0
  216. package/scripts/test_websocket_and_saga.js +216 -0
  217. package/src/cli.ts +475 -0
  218. package/src/config.ts +162 -0
  219. package/src/context_builder.ts +598 -0
  220. package/src/engine/account/account.sql.ts +39 -0
  221. package/src/engine/account/account.ts +456 -0
  222. package/src/engine/account/repo.ts +166 -0
  223. package/src/engine/account/schema.ts +99 -0
  224. package/src/engine/account/url.ts +8 -0
  225. package/src/engine/acp/README.md +174 -0
  226. package/src/engine/acp/agent.ts +1968 -0
  227. package/src/engine/acp/runtime.ts +22 -0
  228. package/src/engine/acp/session.ts +122 -0
  229. package/src/engine/acp/types.ts +24 -0
  230. package/src/engine/agent/agent.ts +463 -0
  231. package/src/engine/agent/generate.txt +75 -0
  232. package/src/engine/agent/prompt/compaction.txt +9 -0
  233. package/src/engine/agent/prompt/explore.txt +18 -0
  234. package/src/engine/agent/prompt/scout.txt +36 -0
  235. package/src/engine/agent/prompt/summary.txt +11 -0
  236. package/src/engine/agent/prompt/title.txt +44 -0
  237. package/src/engine/agent/subagent-permissions.ts +34 -0
  238. package/src/engine/auth/index.ts +96 -0
  239. package/src/engine/background/background/job.ts +200 -0
  240. package/src/engine/background/job.ts +200 -0
  241. package/src/engine/bus/bus-event.ts +45 -0
  242. package/src/engine/bus/global.ts +22 -0
  243. package/src/engine/bus/index.ts +203 -0
  244. package/src/engine/command/command/index.ts +181 -0
  245. package/src/engine/command/command/template/initialize.txt +66 -0
  246. package/src/engine/command/command/template/review.txt +101 -0
  247. package/src/engine/command/index.ts +181 -0
  248. package/src/engine/command/template/initialize.txt +66 -0
  249. package/src/engine/command/template/review.txt +101 -0
  250. package/src/engine/config/agent.ts +172 -0
  251. package/src/engine/config/attachment.ts +25 -0
  252. package/src/engine/config/command.ts +62 -0
  253. package/src/engine/config/config.ts +833 -0
  254. package/src/engine/config/console-state.ts +14 -0
  255. package/src/engine/config/entry-name.ts +16 -0
  256. package/src/engine/config/error.ts +23 -0
  257. package/src/engine/config/formatter.ts +13 -0
  258. package/src/engine/config/layout.ts +6 -0
  259. package/src/engine/config/lsp.ts +43 -0
  260. package/src/engine/config/managed.ts +71 -0
  261. package/src/engine/config/markdown.ts +96 -0
  262. package/src/engine/config/mcp.ts +56 -0
  263. package/src/engine/config/model-id.ts +5 -0
  264. package/src/engine/config/parse.ts +79 -0
  265. package/src/engine/config/paths.ts +45 -0
  266. package/src/engine/config/permission.ts +58 -0
  267. package/src/engine/config/plugin.ts +84 -0
  268. package/src/engine/config/provider.ts +111 -0
  269. package/src/engine/config/reference.ts +23 -0
  270. package/src/engine/config/server.ts +19 -0
  271. package/src/engine/config/skills.ts +14 -0
  272. package/src/engine/config/variable.ts +90 -0
  273. package/src/engine/control-plane/adapters/index.ts +41 -0
  274. package/src/engine/control-plane/adapters/worktree.ts +96 -0
  275. package/src/engine/control-plane/dev/README.md +19 -0
  276. package/src/engine/control-plane/dev/debug-workspace-plugin.ts +73 -0
  277. package/src/engine/control-plane/schema.ts +14 -0
  278. package/src/engine/control-plane/types.ts +59 -0
  279. package/src/engine/control-plane/util.ts +39 -0
  280. package/src/engine/control-plane/workspace-adapter-runtime.ts +51 -0
  281. package/src/engine/control-plane/workspace-context.ts +26 -0
  282. package/src/engine/control-plane/workspace.sql.ts +20 -0
  283. package/src/engine/control-plane/workspace.ts +1072 -0
  284. package/src/engine/data-migration.ts +161 -0
  285. package/src/engine/effect/app-runtime.ts +143 -0
  286. package/src/engine/effect/bootstrap-runtime.ts +29 -0
  287. package/src/engine/effect/bridge.ts +84 -0
  288. package/src/engine/effect/config-service.ts +67 -0
  289. package/src/engine/effect/instance-ref.ts +11 -0
  290. package/src/engine/effect/instance-registry.ts +12 -0
  291. package/src/engine/effect/instance-state.ts +72 -0
  292. package/src/engine/effect/promise.ts +17 -0
  293. package/src/engine/effect/run-service.ts +47 -0
  294. package/src/engine/effect/runner.ts +217 -0
  295. package/src/engine/effect/runtime-flags.ts +74 -0
  296. package/src/engine/effect/service-use.ts +38 -0
  297. package/src/engine/env/index.ts +37 -0
  298. package/src/engine/event-v2-bridge.ts +89 -0
  299. package/src/engine/file/file/ignore.ts +81 -0
  300. package/src/engine/file/file/index.ts +651 -0
  301. package/src/engine/file/file/protected.ts +59 -0
  302. package/src/engine/file/file/ripgrep.ts +481 -0
  303. package/src/engine/file/file/watcher.ts +167 -0
  304. package/src/engine/file/ignore.ts +81 -0
  305. package/src/engine/file/index.ts +651 -0
  306. package/src/engine/file/protected.ts +59 -0
  307. package/src/engine/file/ripgrep.ts +481 -0
  308. package/src/engine/file/watcher.ts +167 -0
  309. package/src/engine/format/format/formatter.ts +404 -0
  310. package/src/engine/format/format/index.ts +209 -0
  311. package/src/engine/format/formatter.ts +404 -0
  312. package/src/engine/format/index.ts +209 -0
  313. package/src/engine/git/git/index.ts +347 -0
  314. package/src/engine/git/index.ts +347 -0
  315. package/src/engine/id/id.ts +80 -0
  316. package/src/engine/ide/index.ts +70 -0
  317. package/src/engine/image/image/image.ts +176 -0
  318. package/src/engine/image/image.ts +176 -0
  319. package/src/engine/index.ts +251 -0
  320. package/src/engine/installation/index.ts +327 -0
  321. package/src/engine/lsp/client.ts +707 -0
  322. package/src/engine/lsp/diagnostic.ts +29 -0
  323. package/src/engine/lsp/language.ts +121 -0
  324. package/src/engine/lsp/launch.ts +21 -0
  325. package/src/engine/lsp/lsp/client.ts +707 -0
  326. package/src/engine/lsp/lsp/diagnostic.ts +29 -0
  327. package/src/engine/lsp/lsp/language.ts +121 -0
  328. package/src/engine/lsp/lsp/launch.ts +21 -0
  329. package/src/engine/lsp/lsp/lsp.ts +507 -0
  330. package/src/engine/lsp/lsp/server.ts +2064 -0
  331. package/src/engine/lsp/lsp.ts +507 -0
  332. package/src/engine/lsp/server.ts +2064 -0
  333. package/src/engine/mcp/auth.ts +146 -0
  334. package/src/engine/mcp/index.ts +958 -0
  335. package/src/engine/mcp/mcp/auth.ts +146 -0
  336. package/src/engine/mcp/mcp/index.ts +958 -0
  337. package/src/engine/mcp/mcp/oauth-callback.ts +232 -0
  338. package/src/engine/mcp/mcp/oauth-provider.ts +214 -0
  339. package/src/engine/mcp/oauth-callback.ts +232 -0
  340. package/src/engine/mcp/oauth-provider.ts +214 -0
  341. package/src/engine/node.ts +6 -0
  342. package/src/engine/patch/index.ts +689 -0
  343. package/src/engine/patch/patch/index.ts +689 -0
  344. package/src/engine/permission/arity.ts +163 -0
  345. package/src/engine/permission/evaluate.ts +15 -0
  346. package/src/engine/permission/index.ts +306 -0
  347. package/src/engine/permission/permission/arity.ts +163 -0
  348. package/src/engine/permission/permission/evaluate.ts +15 -0
  349. package/src/engine/permission/permission/index.ts +306 -0
  350. package/src/engine/permission/permission/schema.ts +13 -0
  351. package/src/engine/permission/schema.ts +13 -0
  352. package/src/engine/plugin/azure.ts +26 -0
  353. package/src/engine/plugin/cloudflare.ts +76 -0
  354. package/src/engine/plugin/codex.ts +622 -0
  355. package/src/engine/plugin/digitalocean.ts +411 -0
  356. package/src/engine/plugin/github-copilot/copilot.ts +394 -0
  357. package/src/engine/plugin/github-copilot/models.ts +196 -0
  358. package/src/engine/plugin/index.ts +295 -0
  359. package/src/engine/plugin/install.ts +439 -0
  360. package/src/engine/plugin/loader.ts +216 -0
  361. package/src/engine/plugin/meta.ts +188 -0
  362. package/src/engine/plugin/shared.ts +323 -0
  363. package/src/engine/project/bootstrap-service.ts +9 -0
  364. package/src/engine/project/bootstrap.ts +75 -0
  365. package/src/engine/project/instance-context.ts +24 -0
  366. package/src/engine/project/instance-layer.ts +11 -0
  367. package/src/engine/project/instance-runtime.ts +16 -0
  368. package/src/engine/project/instance-store.ts +193 -0
  369. package/src/engine/project/project.sql.ts +17 -0
  370. package/src/engine/project/project.ts +537 -0
  371. package/src/engine/project/schema.ts +13 -0
  372. package/src/engine/project/vcs.ts +405 -0
  373. package/src/engine/provider/auth.ts +225 -0
  374. package/src/engine/provider/error.ts +204 -0
  375. package/src/engine/provider/model-status.ts +8 -0
  376. package/src/engine/provider/provider.ts +1843 -0
  377. package/src/engine/provider/schema.ts +30 -0
  378. package/src/engine/provider/sdk/copilot/AGENTS.md +1 -0
  379. package/src/engine/provider/transform.ts +1376 -0
  380. package/src/engine/pty/index.ts +365 -0
  381. package/src/engine/pty/input.ts +24 -0
  382. package/src/engine/pty/pty/index.ts +365 -0
  383. package/src/engine/pty/pty/input.ts +24 -0
  384. package/src/engine/pty/pty/pty.bun.ts +26 -0
  385. package/src/engine/pty/pty/pty.node.ts +27 -0
  386. package/src/engine/pty/pty/pty.ts +25 -0
  387. package/src/engine/pty/pty/schema.ts +14 -0
  388. package/src/engine/pty/pty/ticket.ts +68 -0
  389. package/src/engine/pty/pty.bun.ts +26 -0
  390. package/src/engine/pty/pty.node.ts +27 -0
  391. package/src/engine/pty/pty.ts +25 -0
  392. package/src/engine/pty/schema.ts +14 -0
  393. package/src/engine/pty/ticket.ts +68 -0
  394. package/src/engine/question/index.ts +213 -0
  395. package/src/engine/question/question/index.ts +213 -0
  396. package/src/engine/question/question/schema.ts +10 -0
  397. package/src/engine/question/schema.ts +10 -0
  398. package/src/engine/reference/reference/reference.ts +241 -0
  399. package/src/engine/reference/reference/repository-cache.ts +147 -0
  400. package/src/engine/reference/reference.ts +241 -0
  401. package/src/engine/reference/repository-cache.ts +147 -0
  402. package/src/engine/session/compaction.ts +651 -0
  403. package/src/engine/session/compaction_logic.ts +120 -0
  404. package/src/engine/session/instruction.ts +238 -0
  405. package/src/engine/session/instruction_loader.ts +54 -0
  406. package/src/engine/session/llm.ts +459 -0
  407. package/src/engine/session/message-error.ts +14 -0
  408. package/src/engine/session/message-v2.ts +1202 -0
  409. package/src/engine/session/message.ts +146 -0
  410. package/src/engine/session/overflow.ts +32 -0
  411. package/src/engine/session/overflow_check.ts +46 -0
  412. package/src/engine/session/processor.ts +823 -0
  413. package/src/engine/session/prompt/anthropic.txt +105 -0
  414. package/src/engine/session/prompt/beast.txt +147 -0
  415. package/src/engine/session/prompt/build-switch.txt +5 -0
  416. package/src/engine/session/prompt/codex.txt +79 -0
  417. package/src/engine/session/prompt/copilot-gpt-5.txt +143 -0
  418. package/src/engine/session/prompt/default.txt +105 -0
  419. package/src/engine/session/prompt/gemini.txt +155 -0
  420. package/src/engine/session/prompt/gpt.txt +107 -0
  421. package/src/engine/session/prompt/kimi.txt +95 -0
  422. package/src/engine/session/prompt/max-steps.txt +16 -0
  423. package/src/engine/session/prompt/plan-reminder-anthropic.txt +67 -0
  424. package/src/engine/session/prompt/plan.txt +26 -0
  425. package/src/engine/session/prompt/trinity.txt +97 -0
  426. package/src/engine/session/prompt.ts +671 -0
  427. package/src/engine/session/provider_transform.ts +187 -0
  428. package/src/engine/session/retry.ts +200 -0
  429. package/src/engine/session/retry_logic.ts +65 -0
  430. package/src/engine/session/revert.ts +162 -0
  431. package/src/engine/session/run-state.ts +153 -0
  432. package/src/engine/session/schema.ts +26 -0
  433. package/src/engine/session/session.sql.ts +137 -0
  434. package/src/engine/session/session.ts +1011 -0
  435. package/src/engine/session/status.ts +94 -0
  436. package/src/engine/session/summary.ts +164 -0
  437. package/src/engine/session/system.ts +84 -0
  438. package/src/engine/session/system_prompt.ts +65 -0
  439. package/src/engine/session/todo.ts +81 -0
  440. package/src/engine/session/tool_registry.ts +162 -0
  441. package/src/engine/share/session.ts +61 -0
  442. package/src/engine/share/share-next.ts +376 -0
  443. package/src/engine/share/share.sql.ts +13 -0
  444. package/src/engine/shell/shell/shell.ts +215 -0
  445. package/src/engine/shell/shell.ts +215 -0
  446. package/src/engine/skill/discovery.ts +116 -0
  447. package/src/engine/skill/index.ts +336 -0
  448. package/src/engine/skill/prompt/customize-opencode.md +377 -0
  449. package/src/engine/skill/skill/discovery.ts +116 -0
  450. package/src/engine/skill/skill/index.ts +336 -0
  451. package/src/engine/skill/skill/prompt/customize-opencode.md +377 -0
  452. package/src/engine/snapshot/index.ts +762 -0
  453. package/src/engine/snapshot/snapshot/index.ts +762 -0
  454. package/src/engine/sync/README.md +179 -0
  455. package/src/engine/sync/event.sql.ts +17 -0
  456. package/src/engine/sync/index.ts +410 -0
  457. package/src/engine/sync/schema.ts +11 -0
  458. package/src/engine/temporary.ts +33 -0
  459. package/src/engine/tool/apply_patch.ts +313 -0
  460. package/src/engine/tool/apply_patch.txt +33 -0
  461. package/src/engine/tool/edit.ts +711 -0
  462. package/src/engine/tool/edit.txt +10 -0
  463. package/src/engine/tool/external-directory.ts +49 -0
  464. package/src/engine/tool/glob.ts +103 -0
  465. package/src/engine/tool/glob.txt +6 -0
  466. package/src/engine/tool/grep.ts +156 -0
  467. package/src/engine/tool/grep.txt +8 -0
  468. package/src/engine/tool/invalid.ts +21 -0
  469. package/src/engine/tool/json-schema.ts +164 -0
  470. package/src/engine/tool/lsp.ts +113 -0
  471. package/src/engine/tool/lsp.txt +24 -0
  472. package/src/engine/tool/mcp-websearch.ts +96 -0
  473. package/src/engine/tool/plan-enter.txt +14 -0
  474. package/src/engine/tool/plan-exit.txt +13 -0
  475. package/src/engine/tool/plan.ts +78 -0
  476. package/src/engine/tool/question.ts +44 -0
  477. package/src/engine/tool/question.txt +10 -0
  478. package/src/engine/tool/read.ts +337 -0
  479. package/src/engine/tool/read.txt +14 -0
  480. package/src/engine/tool/registry.ts +472 -0
  481. package/src/engine/tool/repo_clone.ts +80 -0
  482. package/src/engine/tool/repo_clone.txt +5 -0
  483. package/src/engine/tool/repo_overview.ts +279 -0
  484. package/src/engine/tool/repo_overview.txt +4 -0
  485. package/src/engine/tool/schema.ts +14 -0
  486. package/src/engine/tool/shell/id.ts +19 -0
  487. package/src/engine/tool/shell/prompt.ts +295 -0
  488. package/src/engine/tool/shell/shell.txt +77 -0
  489. package/src/engine/tool/shell.ts +647 -0
  490. package/src/engine/tool/skill.ts +75 -0
  491. package/src/engine/tool/skill.txt +5 -0
  492. package/src/engine/tool/task.ts +337 -0
  493. package/src/engine/tool/task.txt +58 -0
  494. package/src/engine/tool/task_status.ts +179 -0
  495. package/src/engine/tool/task_status.txt +13 -0
  496. package/src/engine/tool/todo.ts +57 -0
  497. package/src/engine/tool/todowrite.txt +167 -0
  498. package/src/engine/tool/tool/apply_patch.ts +313 -0
  499. package/src/engine/tool/tool/apply_patch.txt +33 -0
  500. package/src/engine/tool/tool/edit.ts +711 -0
  501. package/src/engine/tool/tool/edit.txt +10 -0
  502. package/src/engine/tool/tool/external-directory.ts +49 -0
  503. package/src/engine/tool/tool/glob.ts +103 -0
  504. package/src/engine/tool/tool/glob.txt +6 -0
  505. package/src/engine/tool/tool/grep.ts +156 -0
  506. package/src/engine/tool/tool/grep.txt +8 -0
  507. package/src/engine/tool/tool/invalid.ts +21 -0
  508. package/src/engine/tool/tool/json-schema.ts +164 -0
  509. package/src/engine/tool/tool/lsp.ts +113 -0
  510. package/src/engine/tool/tool/lsp.txt +24 -0
  511. package/src/engine/tool/tool/mcp-websearch.ts +96 -0
  512. package/src/engine/tool/tool/plan-enter.txt +14 -0
  513. package/src/engine/tool/tool/plan-exit.txt +13 -0
  514. package/src/engine/tool/tool/plan.ts +78 -0
  515. package/src/engine/tool/tool/question.ts +44 -0
  516. package/src/engine/tool/tool/question.txt +10 -0
  517. package/src/engine/tool/tool/read.ts +337 -0
  518. package/src/engine/tool/tool/read.txt +14 -0
  519. package/src/engine/tool/tool/registry.ts +472 -0
  520. package/src/engine/tool/tool/repo_clone.ts +80 -0
  521. package/src/engine/tool/tool/repo_clone.txt +5 -0
  522. package/src/engine/tool/tool/repo_overview.ts +279 -0
  523. package/src/engine/tool/tool/repo_overview.txt +4 -0
  524. package/src/engine/tool/tool/schema.ts +14 -0
  525. package/src/engine/tool/tool/shell/id.ts +19 -0
  526. package/src/engine/tool/tool/shell/prompt.ts +295 -0
  527. package/src/engine/tool/tool/shell/shell.txt +77 -0
  528. package/src/engine/tool/tool/shell.ts +647 -0
  529. package/src/engine/tool/tool/skill.ts +75 -0
  530. package/src/engine/tool/tool/skill.txt +5 -0
  531. package/src/engine/tool/tool/task.ts +337 -0
  532. package/src/engine/tool/tool/task.txt +58 -0
  533. package/src/engine/tool/tool/task_status.ts +179 -0
  534. package/src/engine/tool/tool/task_status.txt +13 -0
  535. package/src/engine/tool/tool/todo.ts +57 -0
  536. package/src/engine/tool/tool/todowrite.txt +167 -0
  537. package/src/engine/tool/tool/tool.ts +164 -0
  538. package/src/engine/tool/tool/truncate.ts +160 -0
  539. package/src/engine/tool/tool/truncation-dir.ts +4 -0
  540. package/src/engine/tool/tool/webfetch.ts +192 -0
  541. package/src/engine/tool/tool/webfetch.txt +13 -0
  542. package/src/engine/tool/tool/websearch.ts +143 -0
  543. package/src/engine/tool/tool/websearch.txt +14 -0
  544. package/src/engine/tool/tool/write.ts +104 -0
  545. package/src/engine/tool/tool/write.txt +8 -0
  546. package/src/engine/tool/tool.ts +164 -0
  547. package/src/engine/tool/truncate.ts +160 -0
  548. package/src/engine/tool/truncation-dir.ts +4 -0
  549. package/src/engine/tool/webfetch.ts +192 -0
  550. package/src/engine/tool/webfetch.txt +13 -0
  551. package/src/engine/tool/websearch.ts +143 -0
  552. package/src/engine/tool/websearch.txt +14 -0
  553. package/src/engine/tool/write.ts +104 -0
  554. package/src/engine/tool/write.txt +8 -0
  555. package/src/engine/util/archive.ts +17 -0
  556. package/src/engine/util/bom.ts +31 -0
  557. package/src/engine/util/data-url.ts +9 -0
  558. package/src/engine/util/defer.ts +10 -0
  559. package/src/engine/util/effect-http-client.ts +11 -0
  560. package/src/engine/util/error.ts +88 -0
  561. package/src/engine/util/filesystem.ts +252 -0
  562. package/src/engine/util/format.ts +20 -0
  563. package/src/engine/util/iife.ts +3 -0
  564. package/src/engine/util/lazy.ts +20 -0
  565. package/src/engine/util/local-context.ts +25 -0
  566. package/src/engine/util/locale.ts +86 -0
  567. package/src/engine/util/media.ts +26 -0
  568. package/src/engine/util/process.ts +176 -0
  569. package/src/engine/util/queue.ts +32 -0
  570. package/src/engine/util/record.ts +3 -0
  571. package/src/engine/util/repository.ts +158 -0
  572. package/src/engine/util/rpc.ts +66 -0
  573. package/src/engine/util/signal.ts +12 -0
  574. package/src/engine/util/timeout.ts +13 -0
  575. package/src/engine/util/token.ts +7 -0
  576. package/src/engine/util/util/archive.ts +17 -0
  577. package/src/engine/util/util/bom.ts +31 -0
  578. package/src/engine/util/util/data-url.ts +9 -0
  579. package/src/engine/util/util/defer.ts +10 -0
  580. package/src/engine/util/util/effect-http-client.ts +11 -0
  581. package/src/engine/util/util/error.ts +88 -0
  582. package/src/engine/util/util/filesystem.ts +252 -0
  583. package/src/engine/util/util/format.ts +20 -0
  584. package/src/engine/util/util/iife.ts +3 -0
  585. package/src/engine/util/util/lazy.ts +20 -0
  586. package/src/engine/util/util/local-context.ts +25 -0
  587. package/src/engine/util/util/locale.ts +86 -0
  588. package/src/engine/util/util/media.ts +26 -0
  589. package/src/engine/util/util/process.ts +176 -0
  590. package/src/engine/util/util/queue.ts +32 -0
  591. package/src/engine/util/util/record.ts +3 -0
  592. package/src/engine/util/util/repository.ts +158 -0
  593. package/src/engine/util/util/rpc.ts +66 -0
  594. package/src/engine/util/util/signal.ts +12 -0
  595. package/src/engine/util/util/timeout.ts +13 -0
  596. package/src/engine/util/util/token.ts +7 -0
  597. package/src/engine/util/util/which.ts +14 -0
  598. package/src/engine/util/util/wildcard.ts +59 -0
  599. package/src/engine/util/which.ts +14 -0
  600. package/src/engine/util/wildcard.ts +59 -0
  601. package/src/engine/worktree/index.ts +621 -0
  602. package/src/rag_worker.ts +519 -0
  603. package/src/server.ts +201 -0
  604. package/src/tui.ts +637 -0
  605. package/tsconfig.json +24 -0
@@ -0,0 +1,163 @@
1
+ export function prefix(tokens: string[]) {
2
+ for (let len = tokens.length; len > 0; len--) {
3
+ const prefix = tokens.slice(0, len).join(" ")
4
+ const arity = ARITY[prefix]
5
+ if (arity !== undefined) return tokens.slice(0, arity)
6
+ }
7
+ if (tokens.length === 0) return []
8
+ return tokens.slice(0, 1)
9
+ }
10
+
11
+ /* Generated with following prompt:
12
+ You are generating a dictionary of command-prefix arities for bash-style commands.
13
+ This dictionary is used to identify the "human-understandable command" from an input shell command.### **RULES (follow strictly)**1. Each entry maps a **command prefix string → number**, representing how many **tokens** define the command.
14
+ 2. **Flags NEVER count as tokens**. Only subcommands count.
15
+ 3. **Longest matching prefix wins**.
16
+ 4. **Only include a longer prefix if its arity is different from what the shorter prefix already implies**. * Example: If `git` is 2, then do **not** include `git checkout`, `git commit`, etc. unless they require *different* arity.
17
+ 5. The output must be a **single JSON object**. Each entry should have a comment with an example real world matching command. DO NOT MAKE ANY OTHER COMMENTS. Should be alphabetical
18
+ 6. Include the **most commonly used commands** across many stacks and languages. More is better.### **Semantics examples*** `touch foo.txt` → `touch` (arity 1, explicitly listed)
19
+ * `git checkout main` → `git checkout` (because `git` has arity 2)
20
+ * `npm install` → `npm install` (because `npm` has arity 2)
21
+ * `npm run dev` → `npm run dev` (because `npm run` has arity 3)
22
+ * `python script.py` → `python script.py` (default: whole input, not in dictionary)### **Now generate the dictionary.**
23
+ */
24
+ const ARITY: Record<string, number> = {
25
+ cat: 1, // cat file.txt
26
+ cd: 1, // cd /path/to/dir
27
+ chmod: 1, // chmod 755 script.sh
28
+ chown: 1, // chown user:group file.txt
29
+ cp: 1, // cp source.txt dest.txt
30
+ echo: 1, // echo "hello world"
31
+ env: 1, // env
32
+ export: 1, // export PATH=/usr/bin
33
+ grep: 1, // grep pattern file.txt
34
+ kill: 1, // kill 1234
35
+ killall: 1, // killall process
36
+ ln: 1, // ln -s source target
37
+ ls: 1, // ls -la
38
+ mkdir: 1, // mkdir new-dir
39
+ mv: 1, // mv old.txt new.txt
40
+ ps: 1, // ps aux
41
+ pwd: 1, // pwd
42
+ rm: 1, // rm file.txt
43
+ rmdir: 1, // rmdir empty-dir
44
+ sleep: 1, // sleep 5
45
+ source: 1, // source ~/.bashrc
46
+ tail: 1, // tail -f log.txt
47
+ touch: 1, // touch file.txt
48
+ unset: 1, // unset VAR
49
+ which: 1, // which node
50
+ aws: 3, // aws s3 ls
51
+ az: 3, // az storage blob list
52
+ bazel: 2, // bazel build
53
+ brew: 2, // brew install node
54
+ bun: 2, // bun install
55
+ "bun run": 3, // bun run dev
56
+ "bun x": 3, // bun x vite
57
+ cargo: 2, // cargo build
58
+ "cargo add": 3, // cargo add tokio
59
+ "cargo run": 3, // cargo run main
60
+ cdk: 2, // cdk deploy
61
+ cf: 2, // cf push app
62
+ cmake: 2, // cmake build
63
+ composer: 2, // composer require laravel
64
+ consul: 2, // consul members
65
+ "consul kv": 3, // consul kv get config/app
66
+ crictl: 2, // crictl ps
67
+ deno: 2, // deno run server.ts
68
+ "deno task": 3, // deno task dev
69
+ doctl: 3, // doctl kubernetes cluster list
70
+ docker: 2, // docker run nginx
71
+ "docker builder": 3, // docker builder prune
72
+ "docker compose": 3, // docker compose up
73
+ "docker container": 3, // docker container ls
74
+ "docker image": 3, // docker image prune
75
+ "docker network": 3, // docker network inspect
76
+ "docker volume": 3, // docker volume ls
77
+ eksctl: 2, // eksctl get clusters
78
+ "eksctl create": 3, // eksctl create cluster
79
+ firebase: 2, // firebase deploy
80
+ flyctl: 2, // flyctl deploy
81
+ gcloud: 3, // gcloud compute instances list
82
+ gh: 3, // gh pr list
83
+ git: 2, // git checkout main
84
+ "git config": 3, // git config user.name
85
+ "git remote": 3, // git remote add origin
86
+ "git stash": 3, // git stash pop
87
+ go: 2, // go build
88
+ gradle: 2, // gradle build
89
+ helm: 2, // helm install mychart
90
+ heroku: 2, // heroku logs
91
+ hugo: 2, // hugo new site blog
92
+ ip: 2, // ip link show
93
+ "ip addr": 3, // ip addr show
94
+ "ip link": 3, // ip link set eth0 up
95
+ "ip netns": 3, // ip netns exec foo bash
96
+ "ip route": 3, // ip route add default via 1.1.1.1
97
+ kind: 2, // kind delete cluster
98
+ "kind create": 3, // kind create cluster
99
+ kubectl: 2, // kubectl get pods
100
+ "kubectl kustomize": 3, // kubectl kustomize overlays/dev
101
+ "kubectl rollout": 3, // kubectl rollout restart deploy/api
102
+ kustomize: 2, // kustomize build .
103
+ make: 2, // make build
104
+ mc: 2, // mc ls myminio
105
+ "mc admin": 3, // mc admin info myminio
106
+ minikube: 2, // minikube start
107
+ mongosh: 2, // mongosh test
108
+ mysql: 2, // mysql -u root
109
+ mvn: 2, // mvn compile
110
+ ng: 2, // ng generate component home
111
+ npm: 2, // npm install
112
+ "npm exec": 3, // npm exec vite
113
+ "npm init": 3, // npm init vue
114
+ "npm run": 3, // npm run dev
115
+ "npm view": 3, // npm view react version
116
+ nvm: 2, // nvm use 18
117
+ nx: 2, // nx build
118
+ openssl: 2, // openssl genrsa 2048
119
+ "openssl req": 3, // openssl req -new -key key.pem
120
+ "openssl x509": 3, // openssl x509 -in cert.pem
121
+ pip: 2, // pip install numpy
122
+ pipenv: 2, // pipenv install flask
123
+ pnpm: 2, // pnpm install
124
+ "pnpm dlx": 3, // pnpm dlx create-next-app
125
+ "pnpm exec": 3, // pnpm exec vite
126
+ "pnpm run": 3, // pnpm run dev
127
+ poetry: 2, // poetry add requests
128
+ podman: 2, // podman run alpine
129
+ "podman container": 3, // podman container ls
130
+ "podman image": 3, // podman image prune
131
+ psql: 2, // psql -d mydb
132
+ pulumi: 2, // pulumi up
133
+ "pulumi stack": 3, // pulumi stack output
134
+ pyenv: 2, // pyenv install 3.11
135
+ python: 2, // python -m venv env
136
+ rake: 2, // rake db:migrate
137
+ rbenv: 2, // rbenv install 3.2.0
138
+ "redis-cli": 2, // redis-cli ping
139
+ rustup: 2, // rustup update
140
+ serverless: 2, // serverless invoke
141
+ sfdx: 3, // sfdx force:org:list
142
+ skaffold: 2, // skaffold dev
143
+ sls: 2, // sls deploy
144
+ sst: 2, // sst deploy
145
+ swift: 2, // swift build
146
+ systemctl: 2, // systemctl restart nginx
147
+ terraform: 2, // terraform apply
148
+ "terraform workspace": 3, // terraform workspace select prod
149
+ tmux: 2, // tmux new -s dev
150
+ turbo: 2, // turbo run build
151
+ ufw: 2, // ufw allow 22
152
+ vault: 2, // vault login
153
+ "vault auth": 3, // vault auth list
154
+ "vault kv": 3, // vault kv get secret/api
155
+ vercel: 2, // vercel deploy
156
+ volta: 2, // volta install node
157
+ wp: 2, // wp plugin install
158
+ yarn: 2, // yarn add react
159
+ "yarn dlx": 3, // yarn dlx create-react-app
160
+ "yarn run": 3, // yarn run dev
161
+ }
162
+
163
+ export * as BashArity from "./arity"
@@ -0,0 +1,15 @@
1
+ import { Wildcard } from "@/util/wildcard"
2
+
3
+ type Rule = {
4
+ permission: string
5
+ pattern: string
6
+ action: "allow" | "deny" | "ask"
7
+ }
8
+
9
+ export function evaluate(permission: string, pattern: string, ...rulesets: Rule[][]): Rule {
10
+ const rules = rulesets.flat()
11
+ const match = rules.findLast(
12
+ (rule) => Wildcard.match(permission, rule.permission) && Wildcard.match(pattern, rule.pattern),
13
+ )
14
+ return match ?? { action: "ask", permission, pattern: "*" }
15
+ }
@@ -0,0 +1,306 @@
1
+ import { Bus } from "@/bus"
2
+ import { BusEvent } from "@/bus/bus-event"
3
+ import { ConfigPermission } from "@/config/permission"
4
+ import { InstanceState } from "@/effect/instance-state"
5
+ import { ProjectID } from "@/project/schema"
6
+ import { MessageID, SessionID } from "@/session/schema"
7
+ import { PermissionTable } from "@/session/session.sql"
8
+ import { Database } from "@/storage/db"
9
+ import { eq } from "drizzle-orm"
10
+ import * as Log from "@opencode-ai/core/util/log"
11
+ import { Wildcard } from "@/util/wildcard"
12
+ import { Deferred, Effect, Layer, Schema, Context } from "effect"
13
+ import os from "os"
14
+ import { evaluate as evalRule } from "./evaluate"
15
+ import { PermissionID } from "./schema"
16
+
17
+ const log = Log.create({ service: "permission" })
18
+
19
+ export const Action = Schema.Literals(["allow", "deny", "ask"]).annotate({ identifier: "PermissionAction" })
20
+ export type Action = Schema.Schema.Type<typeof Action>
21
+
22
+ export const Rule = Schema.Struct({
23
+ permission: Schema.String,
24
+ pattern: Schema.String,
25
+ action: Action,
26
+ }).annotate({ identifier: "PermissionRule" })
27
+ export type Rule = Schema.Schema.Type<typeof Rule>
28
+
29
+ export const Ruleset = Schema.mutable(Schema.Array(Rule)).annotate({ identifier: "PermissionRuleset" })
30
+ export type Ruleset = Schema.Schema.Type<typeof Ruleset>
31
+
32
+ export class Request extends Schema.Class<Request>("PermissionRequest")({
33
+ id: PermissionID,
34
+ sessionID: SessionID,
35
+ permission: Schema.String,
36
+ patterns: Schema.Array(Schema.String),
37
+ metadata: Schema.Record(Schema.String, Schema.Unknown),
38
+ always: Schema.Array(Schema.String),
39
+ tool: Schema.optional(
40
+ Schema.Struct({
41
+ messageID: MessageID,
42
+ callID: Schema.String,
43
+ }),
44
+ ),
45
+ }) {}
46
+
47
+ export const Reply = Schema.Literals(["once", "always", "reject"])
48
+ export type Reply = Schema.Schema.Type<typeof Reply>
49
+
50
+ const reply = {
51
+ reply: Reply,
52
+ message: Schema.optional(Schema.String),
53
+ }
54
+
55
+ export const ReplyBody = Schema.Struct(reply).annotate({ identifier: "PermissionReplyBody" })
56
+ export type ReplyBody = Schema.Schema.Type<typeof ReplyBody>
57
+
58
+ export class Approval extends Schema.Class<Approval>("PermissionApproval")({
59
+ projectID: ProjectID,
60
+ patterns: Schema.Array(Schema.String),
61
+ }) {}
62
+
63
+ export const Event = {
64
+ Asked: BusEvent.define("permission.asked", Request),
65
+ Replied: BusEvent.define(
66
+ "permission.replied",
67
+ Schema.Struct({
68
+ sessionID: SessionID,
69
+ requestID: PermissionID,
70
+ reply: Reply,
71
+ }),
72
+ ),
73
+ }
74
+
75
+ export class RejectedError extends Schema.TaggedErrorClass<RejectedError>()("PermissionRejectedError", {}) {
76
+ override get message() {
77
+ return "The user rejected permission to use this specific tool call."
78
+ }
79
+ }
80
+
81
+ export class CorrectedError extends Schema.TaggedErrorClass<CorrectedError>()("PermissionCorrectedError", {
82
+ feedback: Schema.String,
83
+ }) {
84
+ override get message() {
85
+ return `The user rejected permission to use this specific tool call with the following feedback: ${this.feedback}`
86
+ }
87
+ }
88
+
89
+ export class DeniedError extends Schema.TaggedErrorClass<DeniedError>()("PermissionDeniedError", {
90
+ ruleset: Schema.Any,
91
+ }) {
92
+ override get message() {
93
+ return `The user has specified a rule which prevents you from using this specific tool call. Here are some of the relevant rules ${JSON.stringify(this.ruleset)}`
94
+ }
95
+ }
96
+
97
+ export type Error = DeniedError | RejectedError | CorrectedError
98
+
99
+ export const AskInput = Schema.Struct({
100
+ ...Request.fields,
101
+ id: Schema.optional(PermissionID),
102
+ ruleset: Ruleset,
103
+ }).annotate({ identifier: "PermissionAskInput" })
104
+ export type AskInput = Schema.Schema.Type<typeof AskInput>
105
+
106
+ export const ReplyInput = Schema.Struct({
107
+ requestID: PermissionID,
108
+ ...reply,
109
+ }).annotate({ identifier: "PermissionReplyInput" })
110
+ export type ReplyInput = Schema.Schema.Type<typeof ReplyInput>
111
+
112
+ export interface Interface {
113
+ readonly ask: (input: AskInput) => Effect.Effect<void, Error>
114
+ readonly reply: (input: ReplyInput) => Effect.Effect<void>
115
+ readonly list: () => Effect.Effect<ReadonlyArray<Request>>
116
+ }
117
+
118
+ interface PendingEntry {
119
+ info: Request
120
+ deferred: Deferred.Deferred<void, RejectedError | CorrectedError>
121
+ }
122
+
123
+ interface State {
124
+ pending: Map<PermissionID, PendingEntry>
125
+ approved: Ruleset
126
+ }
127
+
128
+ export function evaluate(permission: string, pattern: string, ...rulesets: Ruleset[]): Rule {
129
+ return evalRule(permission, pattern, ...rulesets)
130
+ }
131
+
132
+ export class Service extends Context.Service<Service, Interface>()("@opencode/Permission") {}
133
+
134
+ export const layer = Layer.effect(
135
+ Service,
136
+ Effect.gen(function* () {
137
+ const bus = yield* Bus.Service
138
+ const state = yield* InstanceState.make<State>(
139
+ Effect.fn("Permission.state")(function* (ctx) {
140
+ const row = Database.use((db) =>
141
+ db.select().from(PermissionTable).where(eq(PermissionTable.project_id, ctx.project.id)).get(),
142
+ )
143
+ const state = {
144
+ pending: new Map<PermissionID, PendingEntry>(),
145
+ approved: row?.data ?? [],
146
+ }
147
+
148
+ yield* Effect.addFinalizer(() =>
149
+ Effect.gen(function* () {
150
+ for (const item of state.pending.values()) {
151
+ yield* Deferred.fail(item.deferred, new RejectedError())
152
+ }
153
+ state.pending.clear()
154
+ }),
155
+ )
156
+
157
+ return state
158
+ }),
159
+ )
160
+
161
+ const ask = Effect.fn("Permission.ask")(function* (input: AskInput) {
162
+ const { approved, pending } = yield* InstanceState.get(state)
163
+ const { ruleset, ...request } = input
164
+ let needsAsk = false
165
+
166
+ for (const pattern of request.patterns) {
167
+ const rule = evaluate(request.permission, pattern, ruleset, approved)
168
+ log.info("evaluated", { permission: request.permission, pattern, action: rule })
169
+ if (rule.action === "deny") {
170
+ return yield* new DeniedError({
171
+ ruleset: ruleset.filter((rule) => Wildcard.match(request.permission, rule.permission)),
172
+ })
173
+ }
174
+ if (rule.action === "allow") continue
175
+ needsAsk = true
176
+ }
177
+
178
+ if (!needsAsk) return
179
+
180
+ const id = request.id ?? PermissionID.ascending()
181
+ const info = Schema.decodeUnknownSync(Request)({
182
+ id,
183
+ ...request,
184
+ })
185
+ log.info("asking", { id, permission: info.permission, patterns: info.patterns })
186
+
187
+ const deferred = yield* Deferred.make<void, RejectedError | CorrectedError>()
188
+ pending.set(id, { info, deferred })
189
+ yield* bus.publish(Event.Asked, info)
190
+ return yield* Effect.ensuring(
191
+ Deferred.await(deferred),
192
+ Effect.sync(() => {
193
+ pending.delete(id)
194
+ }),
195
+ )
196
+ })
197
+
198
+ const reply = Effect.fn("Permission.reply")(function* (input: ReplyInput) {
199
+ const { approved, pending } = yield* InstanceState.get(state)
200
+ const existing = pending.get(input.requestID)
201
+ if (!existing) return
202
+
203
+ pending.delete(input.requestID)
204
+ yield* bus.publish(Event.Replied, {
205
+ sessionID: existing.info.sessionID,
206
+ requestID: existing.info.id,
207
+ reply: input.reply,
208
+ })
209
+
210
+ if (input.reply === "reject") {
211
+ yield* Deferred.fail(
212
+ existing.deferred,
213
+ input.message ? new CorrectedError({ feedback: input.message }) : new RejectedError(),
214
+ )
215
+
216
+ for (const [id, item] of pending.entries()) {
217
+ if (item.info.sessionID !== existing.info.sessionID) continue
218
+ pending.delete(id)
219
+ yield* bus.publish(Event.Replied, {
220
+ sessionID: item.info.sessionID,
221
+ requestID: item.info.id,
222
+ reply: "reject",
223
+ })
224
+ yield* Deferred.fail(item.deferred, new RejectedError())
225
+ }
226
+ return
227
+ }
228
+
229
+ yield* Deferred.succeed(existing.deferred, undefined)
230
+ if (input.reply === "once") return
231
+
232
+ for (const pattern of existing.info.always) {
233
+ approved.push({
234
+ permission: existing.info.permission,
235
+ pattern,
236
+ action: "allow",
237
+ })
238
+ }
239
+
240
+ for (const [id, item] of pending.entries()) {
241
+ if (item.info.sessionID !== existing.info.sessionID) continue
242
+ const ok = item.info.patterns.every(
243
+ (pattern) => evaluate(item.info.permission, pattern, approved).action === "allow",
244
+ )
245
+ if (!ok) continue
246
+ pending.delete(id)
247
+ yield* bus.publish(Event.Replied, {
248
+ sessionID: item.info.sessionID,
249
+ requestID: item.info.id,
250
+ reply: "always",
251
+ })
252
+ yield* Deferred.succeed(item.deferred, undefined)
253
+ }
254
+ })
255
+
256
+ const list = Effect.fn("Permission.list")(function* () {
257
+ const pending = (yield* InstanceState.get(state)).pending
258
+ return Array.from(pending.values(), (item) => item.info)
259
+ })
260
+
261
+ return Service.of({ ask, reply, list })
262
+ }),
263
+ )
264
+
265
+ function expand(pattern: string): string {
266
+ if (pattern.startsWith("~/")) return os.homedir() + pattern.slice(1)
267
+ if (pattern === "~") return os.homedir()
268
+ if (pattern.startsWith("$HOME/")) return os.homedir() + pattern.slice(5)
269
+ if (pattern.startsWith("$HOME")) return os.homedir() + pattern.slice(5)
270
+ return pattern
271
+ }
272
+
273
+ export function fromConfig(permission: ConfigPermission.Info) {
274
+ const ruleset: Ruleset = []
275
+ for (const [key, value] of Object.entries(permission)) {
276
+ if (typeof value === "string") {
277
+ ruleset.push({ permission: key, action: value, pattern: "*" })
278
+ continue
279
+ }
280
+ ruleset.push(
281
+ ...Object.entries(value).map(([pattern, action]) => ({ permission: key, pattern: expand(pattern), action })),
282
+ )
283
+ }
284
+ return ruleset
285
+ }
286
+
287
+ export function merge(...rulesets: Ruleset[]): Ruleset {
288
+ return rulesets.flat()
289
+ }
290
+
291
+ const EDIT_TOOLS = ["edit", "write", "apply_patch"]
292
+
293
+ export function disabled(tools: string[], ruleset: Ruleset): Set<string> {
294
+ const result = new Set<string>()
295
+ for (const tool of tools) {
296
+ const permission = EDIT_TOOLS.includes(tool) ? "edit" : tool
297
+ const rule = ruleset.findLast((rule) => Wildcard.match(permission, rule.permission))
298
+ if (!rule) continue
299
+ if (rule.pattern === "*" && rule.action === "deny") result.add(tool)
300
+ }
301
+ return result
302
+ }
303
+
304
+ export const defaultLayer = layer.pipe(Layer.provide(Bus.layer))
305
+
306
+ export * as Permission from "."
@@ -0,0 +1,163 @@
1
+ export function prefix(tokens: string[]) {
2
+ for (let len = tokens.length; len > 0; len--) {
3
+ const prefix = tokens.slice(0, len).join(" ")
4
+ const arity = ARITY[prefix]
5
+ if (arity !== undefined) return tokens.slice(0, arity)
6
+ }
7
+ if (tokens.length === 0) return []
8
+ return tokens.slice(0, 1)
9
+ }
10
+
11
+ /* Generated with following prompt:
12
+ You are generating a dictionary of command-prefix arities for bash-style commands.
13
+ This dictionary is used to identify the "human-understandable command" from an input shell command.### **RULES (follow strictly)**1. Each entry maps a **command prefix string → number**, representing how many **tokens** define the command.
14
+ 2. **Flags NEVER count as tokens**. Only subcommands count.
15
+ 3. **Longest matching prefix wins**.
16
+ 4. **Only include a longer prefix if its arity is different from what the shorter prefix already implies**. * Example: If `git` is 2, then do **not** include `git checkout`, `git commit`, etc. unless they require *different* arity.
17
+ 5. The output must be a **single JSON object**. Each entry should have a comment with an example real world matching command. DO NOT MAKE ANY OTHER COMMENTS. Should be alphabetical
18
+ 6. Include the **most commonly used commands** across many stacks and languages. More is better.### **Semantics examples*** `touch foo.txt` → `touch` (arity 1, explicitly listed)
19
+ * `git checkout main` → `git checkout` (because `git` has arity 2)
20
+ * `npm install` → `npm install` (because `npm` has arity 2)
21
+ * `npm run dev` → `npm run dev` (because `npm run` has arity 3)
22
+ * `python script.py` → `python script.py` (default: whole input, not in dictionary)### **Now generate the dictionary.**
23
+ */
24
+ const ARITY: Record<string, number> = {
25
+ cat: 1, // cat file.txt
26
+ cd: 1, // cd /path/to/dir
27
+ chmod: 1, // chmod 755 script.sh
28
+ chown: 1, // chown user:group file.txt
29
+ cp: 1, // cp source.txt dest.txt
30
+ echo: 1, // echo "hello world"
31
+ env: 1, // env
32
+ export: 1, // export PATH=/usr/bin
33
+ grep: 1, // grep pattern file.txt
34
+ kill: 1, // kill 1234
35
+ killall: 1, // killall process
36
+ ln: 1, // ln -s source target
37
+ ls: 1, // ls -la
38
+ mkdir: 1, // mkdir new-dir
39
+ mv: 1, // mv old.txt new.txt
40
+ ps: 1, // ps aux
41
+ pwd: 1, // pwd
42
+ rm: 1, // rm file.txt
43
+ rmdir: 1, // rmdir empty-dir
44
+ sleep: 1, // sleep 5
45
+ source: 1, // source ~/.bashrc
46
+ tail: 1, // tail -f log.txt
47
+ touch: 1, // touch file.txt
48
+ unset: 1, // unset VAR
49
+ which: 1, // which node
50
+ aws: 3, // aws s3 ls
51
+ az: 3, // az storage blob list
52
+ bazel: 2, // bazel build
53
+ brew: 2, // brew install node
54
+ bun: 2, // bun install
55
+ "bun run": 3, // bun run dev
56
+ "bun x": 3, // bun x vite
57
+ cargo: 2, // cargo build
58
+ "cargo add": 3, // cargo add tokio
59
+ "cargo run": 3, // cargo run main
60
+ cdk: 2, // cdk deploy
61
+ cf: 2, // cf push app
62
+ cmake: 2, // cmake build
63
+ composer: 2, // composer require laravel
64
+ consul: 2, // consul members
65
+ "consul kv": 3, // consul kv get config/app
66
+ crictl: 2, // crictl ps
67
+ deno: 2, // deno run server.ts
68
+ "deno task": 3, // deno task dev
69
+ doctl: 3, // doctl kubernetes cluster list
70
+ docker: 2, // docker run nginx
71
+ "docker builder": 3, // docker builder prune
72
+ "docker compose": 3, // docker compose up
73
+ "docker container": 3, // docker container ls
74
+ "docker image": 3, // docker image prune
75
+ "docker network": 3, // docker network inspect
76
+ "docker volume": 3, // docker volume ls
77
+ eksctl: 2, // eksctl get clusters
78
+ "eksctl create": 3, // eksctl create cluster
79
+ firebase: 2, // firebase deploy
80
+ flyctl: 2, // flyctl deploy
81
+ gcloud: 3, // gcloud compute instances list
82
+ gh: 3, // gh pr list
83
+ git: 2, // git checkout main
84
+ "git config": 3, // git config user.name
85
+ "git remote": 3, // git remote add origin
86
+ "git stash": 3, // git stash pop
87
+ go: 2, // go build
88
+ gradle: 2, // gradle build
89
+ helm: 2, // helm install mychart
90
+ heroku: 2, // heroku logs
91
+ hugo: 2, // hugo new site blog
92
+ ip: 2, // ip link show
93
+ "ip addr": 3, // ip addr show
94
+ "ip link": 3, // ip link set eth0 up
95
+ "ip netns": 3, // ip netns exec foo bash
96
+ "ip route": 3, // ip route add default via 1.1.1.1
97
+ kind: 2, // kind delete cluster
98
+ "kind create": 3, // kind create cluster
99
+ kubectl: 2, // kubectl get pods
100
+ "kubectl kustomize": 3, // kubectl kustomize overlays/dev
101
+ "kubectl rollout": 3, // kubectl rollout restart deploy/api
102
+ kustomize: 2, // kustomize build .
103
+ make: 2, // make build
104
+ mc: 2, // mc ls myminio
105
+ "mc admin": 3, // mc admin info myminio
106
+ minikube: 2, // minikube start
107
+ mongosh: 2, // mongosh test
108
+ mysql: 2, // mysql -u root
109
+ mvn: 2, // mvn compile
110
+ ng: 2, // ng generate component home
111
+ npm: 2, // npm install
112
+ "npm exec": 3, // npm exec vite
113
+ "npm init": 3, // npm init vue
114
+ "npm run": 3, // npm run dev
115
+ "npm view": 3, // npm view react version
116
+ nvm: 2, // nvm use 18
117
+ nx: 2, // nx build
118
+ openssl: 2, // openssl genrsa 2048
119
+ "openssl req": 3, // openssl req -new -key key.pem
120
+ "openssl x509": 3, // openssl x509 -in cert.pem
121
+ pip: 2, // pip install numpy
122
+ pipenv: 2, // pipenv install flask
123
+ pnpm: 2, // pnpm install
124
+ "pnpm dlx": 3, // pnpm dlx create-next-app
125
+ "pnpm exec": 3, // pnpm exec vite
126
+ "pnpm run": 3, // pnpm run dev
127
+ poetry: 2, // poetry add requests
128
+ podman: 2, // podman run alpine
129
+ "podman container": 3, // podman container ls
130
+ "podman image": 3, // podman image prune
131
+ psql: 2, // psql -d mydb
132
+ pulumi: 2, // pulumi up
133
+ "pulumi stack": 3, // pulumi stack output
134
+ pyenv: 2, // pyenv install 3.11
135
+ python: 2, // python -m venv env
136
+ rake: 2, // rake db:migrate
137
+ rbenv: 2, // rbenv install 3.2.0
138
+ "redis-cli": 2, // redis-cli ping
139
+ rustup: 2, // rustup update
140
+ serverless: 2, // serverless invoke
141
+ sfdx: 3, // sfdx force:org:list
142
+ skaffold: 2, // skaffold dev
143
+ sls: 2, // sls deploy
144
+ sst: 2, // sst deploy
145
+ swift: 2, // swift build
146
+ systemctl: 2, // systemctl restart nginx
147
+ terraform: 2, // terraform apply
148
+ "terraform workspace": 3, // terraform workspace select prod
149
+ tmux: 2, // tmux new -s dev
150
+ turbo: 2, // turbo run build
151
+ ufw: 2, // ufw allow 22
152
+ vault: 2, // vault login
153
+ "vault auth": 3, // vault auth list
154
+ "vault kv": 3, // vault kv get secret/api
155
+ vercel: 2, // vercel deploy
156
+ volta: 2, // volta install node
157
+ wp: 2, // wp plugin install
158
+ yarn: 2, // yarn add react
159
+ "yarn dlx": 3, // yarn dlx create-react-app
160
+ "yarn run": 3, // yarn run dev
161
+ }
162
+
163
+ export * as BashArity from "./arity"
@@ -0,0 +1,15 @@
1
+ import { Wildcard } from "@/util/wildcard"
2
+
3
+ type Rule = {
4
+ permission: string
5
+ pattern: string
6
+ action: "allow" | "deny" | "ask"
7
+ }
8
+
9
+ export function evaluate(permission: string, pattern: string, ...rulesets: Rule[][]): Rule {
10
+ const rules = rulesets.flat()
11
+ const match = rules.findLast(
12
+ (rule) => Wildcard.match(permission, rule.permission) && Wildcard.match(pattern, rule.pattern),
13
+ )
14
+ return match ?? { action: "ask", permission, pattern: "*" }
15
+ }