@smthrs/std 0.0.0-stage → 1.0.0-rc.12

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 (582) hide show
  1. package/CHANGELOG.md +148 -0
  2. package/LICENSE +21 -0
  3. package/README.md +156 -2
  4. package/dist/cjs/ApplyPatch.d.ts +174 -0
  5. package/dist/cjs/ApplyPatch.d.ts.map +1 -0
  6. package/dist/cjs/ApplyPatch.js +309 -0
  7. package/dist/cjs/ApplyPatch.js.map +7 -0
  8. package/dist/cjs/Bash.d.ts +390 -0
  9. package/dist/cjs/Bash.d.ts.map +1 -0
  10. package/dist/cjs/Bash.js +333 -0
  11. package/dist/cjs/Bash.js.map +7 -0
  12. package/dist/cjs/Checkpoints.d.ts +322 -0
  13. package/dist/cjs/Checkpoints.d.ts.map +1 -0
  14. package/dist/cjs/Checkpoints.js +233 -0
  15. package/dist/cjs/Checkpoints.js.map +7 -0
  16. package/dist/cjs/Container.d.ts +132 -0
  17. package/dist/cjs/Container.d.ts.map +1 -0
  18. package/dist/cjs/Container.js +113 -0
  19. package/dist/cjs/Container.js.map +7 -0
  20. package/dist/cjs/Edit.d.ts +203 -0
  21. package/dist/cjs/Edit.d.ts.map +1 -0
  22. package/dist/cjs/Edit.js +258 -0
  23. package/dist/cjs/Edit.js.map +7 -0
  24. package/dist/cjs/ExaWebSearch.d.ts +22 -0
  25. package/dist/cjs/ExaWebSearch.d.ts.map +1 -0
  26. package/dist/cjs/ExaWebSearch.js +138 -0
  27. package/dist/cjs/ExaWebSearch.js.map +7 -0
  28. package/dist/cjs/Explore.d.ts +328 -0
  29. package/dist/cjs/Explore.d.ts.map +1 -0
  30. package/dist/cjs/Explore.js +90 -0
  31. package/dist/cjs/Explore.js.map +7 -0
  32. package/dist/cjs/Fetch.d.ts +130 -0
  33. package/dist/cjs/Fetch.d.ts.map +1 -0
  34. package/dist/cjs/Fetch.js +64 -0
  35. package/dist/cjs/Fetch.js.map +7 -0
  36. package/dist/cjs/Glob.d.ts +204 -0
  37. package/dist/cjs/Glob.d.ts.map +1 -0
  38. package/dist/cjs/Glob.js +94 -0
  39. package/dist/cjs/Glob.js.map +7 -0
  40. package/dist/cjs/Grep.d.ts +347 -0
  41. package/dist/cjs/Grep.d.ts.map +1 -0
  42. package/dist/cjs/Grep.js +181 -0
  43. package/dist/cjs/Grep.js.map +7 -0
  44. package/dist/cjs/HttpPost.d.ts +130 -0
  45. package/dist/cjs/HttpPost.d.ts.map +1 -0
  46. package/dist/cjs/HttpPost.js +72 -0
  47. package/dist/cjs/HttpPost.js.map +7 -0
  48. package/dist/cjs/LanguageServer.d.ts +90 -0
  49. package/dist/cjs/LanguageServer.d.ts.map +1 -0
  50. package/dist/cjs/LanguageServer.js +60 -0
  51. package/dist/cjs/LanguageServer.js.map +7 -0
  52. package/dist/cjs/Ls.d.ts +164 -0
  53. package/dist/cjs/Ls.d.ts.map +1 -0
  54. package/dist/cjs/Ls.js +136 -0
  55. package/dist/cjs/Ls.js.map +7 -0
  56. package/dist/cjs/Lsp.d.ts +125 -0
  57. package/dist/cjs/Lsp.d.ts.map +1 -0
  58. package/dist/cjs/Lsp.js +137 -0
  59. package/dist/cjs/Lsp.js.map +7 -0
  60. package/dist/cjs/Manifest.d.ts +918 -0
  61. package/dist/cjs/Manifest.d.ts.map +1 -0
  62. package/dist/cjs/Manifest.js +144 -0
  63. package/dist/cjs/Manifest.js.map +7 -0
  64. package/dist/cjs/NativeSearch.d.ts +38 -0
  65. package/dist/cjs/NativeSearch.d.ts.map +1 -0
  66. package/dist/cjs/NativeSearch.js +326 -0
  67. package/dist/cjs/NativeSearch.js.map +7 -0
  68. package/dist/cjs/NodeLanguageServer.d.ts +128 -0
  69. package/dist/cjs/NodeLanguageServer.d.ts.map +1 -0
  70. package/dist/cjs/NodeLanguageServer.js +796 -0
  71. package/dist/cjs/NodeLanguageServer.js.map +7 -0
  72. package/dist/cjs/PortableSearch.d.ts +36 -0
  73. package/dist/cjs/PortableSearch.d.ts.map +1 -0
  74. package/dist/cjs/PortableSearch.js +240 -0
  75. package/dist/cjs/PortableSearch.js.map +7 -0
  76. package/dist/cjs/Probe.d.ts +193 -0
  77. package/dist/cjs/Probe.d.ts.map +1 -0
  78. package/dist/cjs/Probe.js +134 -0
  79. package/dist/cjs/Probe.js.map +7 -0
  80. package/dist/cjs/Read.d.ts +189 -0
  81. package/dist/cjs/Read.d.ts.map +1 -0
  82. package/dist/cjs/Read.js +223 -0
  83. package/dist/cjs/Read.js.map +7 -0
  84. package/dist/cjs/Relocate.d.ts +73 -0
  85. package/dist/cjs/Relocate.d.ts.map +1 -0
  86. package/dist/cjs/Relocate.js +72 -0
  87. package/dist/cjs/Relocate.js.map +7 -0
  88. package/dist/cjs/RemoteSearch.d.ts +54 -0
  89. package/dist/cjs/RemoteSearch.d.ts.map +1 -0
  90. package/dist/cjs/RemoteSearch.js +134 -0
  91. package/dist/cjs/RemoteSearch.js.map +7 -0
  92. package/dist/cjs/Search.d.ts +163 -0
  93. package/dist/cjs/Search.d.ts.map +1 -0
  94. package/dist/cjs/Search.js +51 -0
  95. package/dist/cjs/Search.js.map +7 -0
  96. package/dist/cjs/SearchConformance.d.ts +115 -0
  97. package/dist/cjs/SearchConformance.d.ts.map +1 -0
  98. package/dist/cjs/SearchConformance.js +172 -0
  99. package/dist/cjs/SearchConformance.js.map +7 -0
  100. package/dist/cjs/SearchContract.d.ts +114 -0
  101. package/dist/cjs/SearchContract.d.ts.map +1 -0
  102. package/dist/cjs/SearchContract.js +339 -0
  103. package/dist/cjs/SearchContract.js.map +7 -0
  104. package/dist/cjs/ShellCommand.d.ts +164 -0
  105. package/dist/cjs/ShellCommand.d.ts.map +1 -0
  106. package/dist/cjs/ShellCommand.js +102 -0
  107. package/dist/cjs/ShellCommand.js.map +7 -0
  108. package/dist/cjs/StdError.d.ts +55 -0
  109. package/dist/cjs/StdError.d.ts.map +1 -0
  110. package/dist/cjs/StdError.js +74 -0
  111. package/dist/cjs/StdError.js.map +7 -0
  112. package/dist/cjs/TestRun.d.ts +311 -0
  113. package/dist/cjs/TestRun.d.ts.map +1 -0
  114. package/dist/cjs/TestRun.js +228 -0
  115. package/dist/cjs/TestRun.js.map +7 -0
  116. package/dist/cjs/TestRunner.d.ts +102 -0
  117. package/dist/cjs/TestRunner.d.ts.map +1 -0
  118. package/dist/cjs/TestRunner.js +54 -0
  119. package/dist/cjs/TestRunner.js.map +7 -0
  120. package/dist/cjs/TreeFingerprint.d.ts +140 -0
  121. package/dist/cjs/TreeFingerprint.d.ts.map +1 -0
  122. package/dist/cjs/TreeFingerprint.js +87 -0
  123. package/dist/cjs/TreeFingerprint.js.map +7 -0
  124. package/dist/cjs/UpdatePlan.d.ts +152 -0
  125. package/dist/cjs/UpdatePlan.d.ts.map +1 -0
  126. package/dist/cjs/UpdatePlan.js +87 -0
  127. package/dist/cjs/UpdatePlan.js.map +7 -0
  128. package/dist/cjs/WebFetch.d.ts +134 -0
  129. package/dist/cjs/WebFetch.d.ts.map +1 -0
  130. package/dist/cjs/WebFetch.js +140 -0
  131. package/dist/cjs/WebFetch.js.map +7 -0
  132. package/dist/cjs/WebSearch.d.ts +181 -0
  133. package/dist/cjs/WebSearch.d.ts.map +1 -0
  134. package/dist/cjs/WebSearch.js +86 -0
  135. package/dist/cjs/WebSearch.js.map +7 -0
  136. package/dist/cjs/Write.d.ts +147 -0
  137. package/dist/cjs/Write.d.ts.map +1 -0
  138. package/dist/cjs/Write.js +122 -0
  139. package/dist/cjs/Write.js.map +7 -0
  140. package/dist/cjs/index.d.ts +129 -0
  141. package/dist/cjs/index.d.ts.map +1 -0
  142. package/dist/cjs/index.js +101 -0
  143. package/dist/cjs/index.js.map +7 -0
  144. package/dist/cjs/internal/ApplyPatch.d.ts +145 -0
  145. package/dist/cjs/internal/ApplyPatch.d.ts.map +1 -0
  146. package/dist/cjs/internal/ApplyPatch.js +462 -0
  147. package/dist/cjs/internal/ApplyPatch.js.map +7 -0
  148. package/dist/cjs/internal/CodexText.d.ts +73 -0
  149. package/dist/cjs/internal/CodexText.d.ts.map +1 -0
  150. package/dist/cjs/internal/CodexText.js +108 -0
  151. package/dist/cjs/internal/CodexText.js.map +7 -0
  152. package/dist/cjs/internal/Declaration.d.ts +49 -0
  153. package/dist/cjs/internal/Declaration.d.ts.map +1 -0
  154. package/dist/cjs/internal/Declaration.js +46 -0
  155. package/dist/cjs/internal/Declaration.js.map +7 -0
  156. package/dist/cjs/internal/Diagnostics.d.ts +77 -0
  157. package/dist/cjs/internal/Diagnostics.d.ts.map +1 -0
  158. package/dist/cjs/internal/Diagnostics.js +89 -0
  159. package/dist/cjs/internal/Diagnostics.js.map +7 -0
  160. package/dist/cjs/internal/EnvelopePrecheck.d.ts +69 -0
  161. package/dist/cjs/internal/EnvelopePrecheck.d.ts.map +1 -0
  162. package/dist/cjs/internal/EnvelopePrecheck.js +323 -0
  163. package/dist/cjs/internal/EnvelopePrecheck.js.map +7 -0
  164. package/dist/cjs/internal/Exec.d.ts +151 -0
  165. package/dist/cjs/internal/Exec.d.ts.map +1 -0
  166. package/dist/cjs/internal/Exec.js +207 -0
  167. package/dist/cjs/internal/Exec.js.map +7 -0
  168. package/dist/cjs/internal/FileMutation.d.ts +109 -0
  169. package/dist/cjs/internal/FileMutation.d.ts.map +1 -0
  170. package/dist/cjs/internal/FileMutation.js +116 -0
  171. package/dist/cjs/internal/FileMutation.js.map +7 -0
  172. package/dist/cjs/internal/FsFailure.d.ts +38 -0
  173. package/dist/cjs/internal/FsFailure.d.ts.map +1 -0
  174. package/dist/cjs/internal/FsFailure.js +40 -0
  175. package/dist/cjs/internal/FsFailure.js.map +7 -0
  176. package/dist/cjs/internal/GitWorktree.d.ts +108 -0
  177. package/dist/cjs/internal/GitWorktree.d.ts.map +1 -0
  178. package/dist/cjs/internal/GitWorktree.js +276 -0
  179. package/dist/cjs/internal/GitWorktree.js.map +7 -0
  180. package/dist/cjs/internal/Grouping.d.ts +51 -0
  181. package/dist/cjs/internal/Grouping.d.ts.map +1 -0
  182. package/dist/cjs/internal/Grouping.js +83 -0
  183. package/dist/cjs/internal/Grouping.js.map +7 -0
  184. package/dist/cjs/internal/Html.d.ts +20 -0
  185. package/dist/cjs/internal/Html.d.ts.map +1 -0
  186. package/dist/cjs/internal/Html.js +81 -0
  187. package/dist/cjs/internal/Html.js.map +7 -0
  188. package/dist/cjs/internal/Http.d.ts +95 -0
  189. package/dist/cjs/internal/Http.d.ts.map +1 -0
  190. package/dist/cjs/internal/Http.js +153 -0
  191. package/dist/cjs/internal/Http.js.map +7 -0
  192. package/dist/cjs/internal/HttpNetwork.d.ts +27 -0
  193. package/dist/cjs/internal/HttpNetwork.d.ts.map +1 -0
  194. package/dist/cjs/internal/HttpNetwork.js +146 -0
  195. package/dist/cjs/internal/HttpNetwork.js.map +7 -0
  196. package/dist/cjs/internal/Ignore.d.ts +37 -0
  197. package/dist/cjs/internal/Ignore.d.ts.map +1 -0
  198. package/dist/cjs/internal/Ignore.js +100 -0
  199. package/dist/cjs/internal/Ignore.js.map +7 -0
  200. package/dist/cjs/internal/LinearRegex.d.ts +19 -0
  201. package/dist/cjs/internal/LinearRegex.d.ts.map +1 -0
  202. package/dist/cjs/internal/LinearRegex.js +166 -0
  203. package/dist/cjs/internal/LinearRegex.js.map +7 -0
  204. package/dist/cjs/internal/Match.d.ts +85 -0
  205. package/dist/cjs/internal/Match.d.ts.map +1 -0
  206. package/dist/cjs/internal/Match.js +99 -0
  207. package/dist/cjs/internal/Match.js.map +7 -0
  208. package/dist/cjs/internal/Paths.d.ts +23 -0
  209. package/dist/cjs/internal/Paths.d.ts.map +1 -0
  210. package/dist/cjs/internal/Paths.js +52 -0
  211. package/dist/cjs/internal/Paths.js.map +7 -0
  212. package/dist/cjs/internal/Preserve.d.ts +25 -0
  213. package/dist/cjs/internal/Preserve.d.ts.map +1 -0
  214. package/dist/cjs/internal/Preserve.js +88 -0
  215. package/dist/cjs/internal/Preserve.js.map +7 -0
  216. package/dist/cjs/internal/Prune.d.ts +35 -0
  217. package/dist/cjs/internal/Prune.d.ts.map +1 -0
  218. package/dist/cjs/internal/Prune.js +54 -0
  219. package/dist/cjs/internal/Prune.js.map +7 -0
  220. package/dist/cjs/internal/RemoteTree.d.ts +60 -0
  221. package/dist/cjs/internal/RemoteTree.d.ts.map +1 -0
  222. package/dist/cjs/internal/RemoteTree.js +123 -0
  223. package/dist/cjs/internal/RemoteTree.js.map +7 -0
  224. package/dist/cjs/internal/SearchContract.d.ts +63 -0
  225. package/dist/cjs/internal/SearchContract.d.ts.map +1 -0
  226. package/dist/cjs/internal/SearchContract.js +46 -0
  227. package/dist/cjs/internal/SearchContract.js.map +7 -0
  228. package/dist/cjs/internal/Symbols.d.ts +39 -0
  229. package/dist/cjs/internal/Symbols.d.ts.map +1 -0
  230. package/dist/cjs/internal/Symbols.js +59 -0
  231. package/dist/cjs/internal/Symbols.js.map +7 -0
  232. package/dist/cjs/internal/Tar.d.ts +23 -0
  233. package/dist/cjs/internal/Tar.d.ts.map +1 -0
  234. package/dist/cjs/internal/Tar.js +86 -0
  235. package/dist/cjs/internal/Tar.js.map +7 -0
  236. package/dist/cjs/internal/TestReport.d.ts +52 -0
  237. package/dist/cjs/internal/TestReport.d.ts.map +1 -0
  238. package/dist/cjs/internal/TestReport.js +131 -0
  239. package/dist/cjs/internal/TestReport.js.map +7 -0
  240. package/dist/cjs/internal/Text.d.ts +125 -0
  241. package/dist/cjs/internal/Text.d.ts.map +1 -0
  242. package/dist/cjs/internal/Text.js +85 -0
  243. package/dist/cjs/internal/Text.js.map +7 -0
  244. package/dist/cjs/internal/Url.d.ts +13 -0
  245. package/dist/cjs/internal/Url.d.ts.map +1 -0
  246. package/dist/cjs/internal/Url.js +35 -0
  247. package/dist/cjs/internal/Url.js.map +7 -0
  248. package/dist/cjs/internal/Walk.d.ts +72 -0
  249. package/dist/cjs/internal/Walk.d.ts.map +1 -0
  250. package/dist/cjs/internal/Walk.js +108 -0
  251. package/dist/cjs/internal/Walk.js.map +7 -0
  252. package/dist/cjs/package.json +1 -0
  253. package/dist/esm/ApplyPatch.d.ts +174 -0
  254. package/dist/esm/ApplyPatch.d.ts.map +1 -0
  255. package/dist/esm/ApplyPatch.js +346 -0
  256. package/dist/esm/ApplyPatch.js.map +1 -0
  257. package/dist/esm/Bash.d.ts +390 -0
  258. package/dist/esm/Bash.d.ts.map +1 -0
  259. package/dist/esm/Bash.js +514 -0
  260. package/dist/esm/Bash.js.map +1 -0
  261. package/dist/esm/Checkpoints.d.ts +322 -0
  262. package/dist/esm/Checkpoints.d.ts.map +1 -0
  263. package/dist/esm/Checkpoints.js +396 -0
  264. package/dist/esm/Checkpoints.js.map +1 -0
  265. package/dist/esm/Container.d.ts +132 -0
  266. package/dist/esm/Container.d.ts.map +1 -0
  267. package/dist/esm/Container.js +151 -0
  268. package/dist/esm/Container.js.map +1 -0
  269. package/dist/esm/Edit.d.ts +203 -0
  270. package/dist/esm/Edit.d.ts.map +1 -0
  271. package/dist/esm/Edit.js +296 -0
  272. package/dist/esm/Edit.js.map +1 -0
  273. package/dist/esm/ExaWebSearch.d.ts +22 -0
  274. package/dist/esm/ExaWebSearch.d.ts.map +1 -0
  275. package/dist/esm/ExaWebSearch.js +107 -0
  276. package/dist/esm/ExaWebSearch.js.map +1 -0
  277. package/dist/esm/Explore.d.ts +328 -0
  278. package/dist/esm/Explore.d.ts.map +1 -0
  279. package/dist/esm/Explore.js +106 -0
  280. package/dist/esm/Explore.js.map +1 -0
  281. package/dist/esm/Fetch.d.ts +130 -0
  282. package/dist/esm/Fetch.d.ts.map +1 -0
  283. package/dist/esm/Fetch.js +91 -0
  284. package/dist/esm/Fetch.js.map +1 -0
  285. package/dist/esm/Glob.d.ts +204 -0
  286. package/dist/esm/Glob.d.ts.map +1 -0
  287. package/dist/esm/Glob.js +177 -0
  288. package/dist/esm/Glob.js.map +1 -0
  289. package/dist/esm/Grep.d.ts +347 -0
  290. package/dist/esm/Grep.d.ts.map +1 -0
  291. package/dist/esm/Grep.js +289 -0
  292. package/dist/esm/Grep.js.map +1 -0
  293. package/dist/esm/HttpPost.d.ts +130 -0
  294. package/dist/esm/HttpPost.d.ts.map +1 -0
  295. package/dist/esm/HttpPost.js +89 -0
  296. package/dist/esm/HttpPost.js.map +1 -0
  297. package/dist/esm/LanguageServer.d.ts +90 -0
  298. package/dist/esm/LanguageServer.d.ts.map +1 -0
  299. package/dist/esm/LanguageServer.js +57 -0
  300. package/dist/esm/LanguageServer.js.map +1 -0
  301. package/dist/esm/Ls.d.ts +164 -0
  302. package/dist/esm/Ls.d.ts.map +1 -0
  303. package/dist/esm/Ls.js +178 -0
  304. package/dist/esm/Ls.js.map +1 -0
  305. package/dist/esm/Lsp.d.ts +125 -0
  306. package/dist/esm/Lsp.d.ts.map +1 -0
  307. package/dist/esm/Lsp.js +165 -0
  308. package/dist/esm/Lsp.js.map +1 -0
  309. package/dist/esm/Manifest.d.ts +918 -0
  310. package/dist/esm/Manifest.d.ts.map +1 -0
  311. package/dist/esm/Manifest.js +153 -0
  312. package/dist/esm/Manifest.js.map +1 -0
  313. package/dist/esm/NativeSearch.d.ts +38 -0
  314. package/dist/esm/NativeSearch.d.ts.map +1 -0
  315. package/dist/esm/NativeSearch.js +378 -0
  316. package/dist/esm/NativeSearch.js.map +1 -0
  317. package/dist/esm/NodeLanguageServer.d.ts +128 -0
  318. package/dist/esm/NodeLanguageServer.d.ts.map +1 -0
  319. package/dist/esm/NodeLanguageServer.js +843 -0
  320. package/dist/esm/NodeLanguageServer.js.map +1 -0
  321. package/dist/esm/PortableSearch.d.ts +36 -0
  322. package/dist/esm/PortableSearch.d.ts.map +1 -0
  323. package/dist/esm/PortableSearch.js +256 -0
  324. package/dist/esm/PortableSearch.js.map +1 -0
  325. package/dist/esm/Probe.d.ts +193 -0
  326. package/dist/esm/Probe.d.ts.map +1 -0
  327. package/dist/esm/Probe.js +225 -0
  328. package/dist/esm/Probe.js.map +1 -0
  329. package/dist/esm/Read.d.ts +189 -0
  330. package/dist/esm/Read.d.ts.map +1 -0
  331. package/dist/esm/Read.js +300 -0
  332. package/dist/esm/Read.js.map +1 -0
  333. package/dist/esm/Relocate.d.ts +73 -0
  334. package/dist/esm/Relocate.d.ts.map +1 -0
  335. package/dist/esm/Relocate.js +153 -0
  336. package/dist/esm/Relocate.js.map +1 -0
  337. package/dist/esm/RemoteSearch.d.ts +54 -0
  338. package/dist/esm/RemoteSearch.d.ts.map +1 -0
  339. package/dist/esm/RemoteSearch.js +162 -0
  340. package/dist/esm/RemoteSearch.js.map +1 -0
  341. package/dist/esm/Search.d.ts +163 -0
  342. package/dist/esm/Search.d.ts.map +1 -0
  343. package/dist/esm/Search.js +47 -0
  344. package/dist/esm/Search.js.map +1 -0
  345. package/dist/esm/SearchConformance.d.ts +115 -0
  346. package/dist/esm/SearchConformance.d.ts.map +1 -0
  347. package/dist/esm/SearchConformance.js +193 -0
  348. package/dist/esm/SearchConformance.js.map +1 -0
  349. package/dist/esm/SearchContract.d.ts +114 -0
  350. package/dist/esm/SearchContract.d.ts.map +1 -0
  351. package/dist/esm/SearchContract.js +461 -0
  352. package/dist/esm/SearchContract.js.map +1 -0
  353. package/dist/esm/ShellCommand.d.ts +164 -0
  354. package/dist/esm/ShellCommand.d.ts.map +1 -0
  355. package/dist/esm/ShellCommand.js +159 -0
  356. package/dist/esm/ShellCommand.js.map +1 -0
  357. package/dist/esm/StdError.d.ts +55 -0
  358. package/dist/esm/StdError.d.ts.map +1 -0
  359. package/dist/esm/StdError.js +71 -0
  360. package/dist/esm/StdError.js.map +1 -0
  361. package/dist/esm/TestRun.d.ts +311 -0
  362. package/dist/esm/TestRun.d.ts.map +1 -0
  363. package/dist/esm/TestRun.js +316 -0
  364. package/dist/esm/TestRun.js.map +1 -0
  365. package/dist/esm/TestRunner.d.ts +102 -0
  366. package/dist/esm/TestRunner.d.ts.map +1 -0
  367. package/dist/esm/TestRunner.js +68 -0
  368. package/dist/esm/TestRunner.js.map +1 -0
  369. package/dist/esm/TreeFingerprint.d.ts +140 -0
  370. package/dist/esm/TreeFingerprint.d.ts.map +1 -0
  371. package/dist/esm/TreeFingerprint.js +170 -0
  372. package/dist/esm/TreeFingerprint.js.map +1 -0
  373. package/dist/esm/UpdatePlan.d.ts +152 -0
  374. package/dist/esm/UpdatePlan.d.ts.map +1 -0
  375. package/dist/esm/UpdatePlan.js +129 -0
  376. package/dist/esm/UpdatePlan.js.map +1 -0
  377. package/dist/esm/WebFetch.d.ts +134 -0
  378. package/dist/esm/WebFetch.d.ts.map +1 -0
  379. package/dist/esm/WebFetch.js +151 -0
  380. package/dist/esm/WebFetch.js.map +1 -0
  381. package/dist/esm/WebSearch.d.ts +181 -0
  382. package/dist/esm/WebSearch.d.ts.map +1 -0
  383. package/dist/esm/WebSearch.js +134 -0
  384. package/dist/esm/WebSearch.js.map +1 -0
  385. package/dist/esm/Write.d.ts +147 -0
  386. package/dist/esm/Write.d.ts.map +1 -0
  387. package/dist/esm/Write.js +144 -0
  388. package/dist/esm/Write.js.map +1 -0
  389. package/dist/esm/index.d.ts +129 -0
  390. package/dist/esm/index.d.ts.map +1 -0
  391. package/dist/esm/index.js +129 -0
  392. package/dist/esm/index.js.map +1 -0
  393. package/dist/esm/internal/ApplyPatch.d.ts +145 -0
  394. package/dist/esm/internal/ApplyPatch.d.ts.map +1 -0
  395. package/dist/esm/internal/ApplyPatch.js +489 -0
  396. package/dist/esm/internal/ApplyPatch.js.map +1 -0
  397. package/dist/esm/internal/CodexText.d.ts +73 -0
  398. package/dist/esm/internal/CodexText.d.ts.map +1 -0
  399. package/dist/esm/internal/CodexText.js +156 -0
  400. package/dist/esm/internal/CodexText.js.map +1 -0
  401. package/dist/esm/internal/Declaration.d.ts +49 -0
  402. package/dist/esm/internal/Declaration.d.ts.map +1 -0
  403. package/dist/esm/internal/Declaration.js +42 -0
  404. package/dist/esm/internal/Declaration.js.map +1 -0
  405. package/dist/esm/internal/Diagnostics.d.ts +77 -0
  406. package/dist/esm/internal/Diagnostics.d.ts.map +1 -0
  407. package/dist/esm/internal/Diagnostics.js +99 -0
  408. package/dist/esm/internal/Diagnostics.js.map +1 -0
  409. package/dist/esm/internal/EnvelopePrecheck.d.ts +69 -0
  410. package/dist/esm/internal/EnvelopePrecheck.d.ts.map +1 -0
  411. package/dist/esm/internal/EnvelopePrecheck.js +426 -0
  412. package/dist/esm/internal/EnvelopePrecheck.js.map +1 -0
  413. package/dist/esm/internal/Exec.d.ts +151 -0
  414. package/dist/esm/internal/Exec.d.ts.map +1 -0
  415. package/dist/esm/internal/Exec.js +285 -0
  416. package/dist/esm/internal/Exec.js.map +1 -0
  417. package/dist/esm/internal/FileMutation.d.ts +109 -0
  418. package/dist/esm/internal/FileMutation.d.ts.map +1 -0
  419. package/dist/esm/internal/FileMutation.js +123 -0
  420. package/dist/esm/internal/FileMutation.js.map +1 -0
  421. package/dist/esm/internal/FsFailure.d.ts +38 -0
  422. package/dist/esm/internal/FsFailure.d.ts.map +1 -0
  423. package/dist/esm/internal/FsFailure.js +39 -0
  424. package/dist/esm/internal/FsFailure.js.map +1 -0
  425. package/dist/esm/internal/GitWorktree.d.ts +108 -0
  426. package/dist/esm/internal/GitWorktree.d.ts.map +1 -0
  427. package/dist/esm/internal/GitWorktree.js +352 -0
  428. package/dist/esm/internal/GitWorktree.js.map +1 -0
  429. package/dist/esm/internal/Grouping.d.ts +51 -0
  430. package/dist/esm/internal/Grouping.d.ts.map +1 -0
  431. package/dist/esm/internal/Grouping.js +99 -0
  432. package/dist/esm/internal/Grouping.js.map +1 -0
  433. package/dist/esm/internal/Html.d.ts +20 -0
  434. package/dist/esm/internal/Html.d.ts.map +1 -0
  435. package/dist/esm/internal/Html.js +70 -0
  436. package/dist/esm/internal/Html.js.map +1 -0
  437. package/dist/esm/internal/Http.d.ts +95 -0
  438. package/dist/esm/internal/Http.d.ts.map +1 -0
  439. package/dist/esm/internal/Http.js +154 -0
  440. package/dist/esm/internal/Http.js.map +1 -0
  441. package/dist/esm/internal/HttpNetwork.d.ts +27 -0
  442. package/dist/esm/internal/HttpNetwork.d.ts.map +1 -0
  443. package/dist/esm/internal/HttpNetwork.js +114 -0
  444. package/dist/esm/internal/HttpNetwork.js.map +1 -0
  445. package/dist/esm/internal/Ignore.d.ts +37 -0
  446. package/dist/esm/internal/Ignore.d.ts.map +1 -0
  447. package/dist/esm/internal/Ignore.js +128 -0
  448. package/dist/esm/internal/Ignore.js.map +1 -0
  449. package/dist/esm/internal/LinearRegex.d.ts +19 -0
  450. package/dist/esm/internal/LinearRegex.d.ts.map +1 -0
  451. package/dist/esm/internal/LinearRegex.js +176 -0
  452. package/dist/esm/internal/LinearRegex.js.map +1 -0
  453. package/dist/esm/internal/Match.d.ts +85 -0
  454. package/dist/esm/internal/Match.d.ts.map +1 -0
  455. package/dist/esm/internal/Match.js +142 -0
  456. package/dist/esm/internal/Match.js.map +1 -0
  457. package/dist/esm/internal/Paths.d.ts +23 -0
  458. package/dist/esm/internal/Paths.d.ts.map +1 -0
  459. package/dist/esm/internal/Paths.js +40 -0
  460. package/dist/esm/internal/Paths.js.map +1 -0
  461. package/dist/esm/internal/Preserve.d.ts +25 -0
  462. package/dist/esm/internal/Preserve.d.ts.map +1 -0
  463. package/dist/esm/internal/Preserve.js +70 -0
  464. package/dist/esm/internal/Preserve.js.map +1 -0
  465. package/dist/esm/internal/Prune.d.ts +35 -0
  466. package/dist/esm/internal/Prune.d.ts.map +1 -0
  467. package/dist/esm/internal/Prune.js +60 -0
  468. package/dist/esm/internal/Prune.js.map +1 -0
  469. package/dist/esm/internal/RemoteTree.d.ts +60 -0
  470. package/dist/esm/internal/RemoteTree.d.ts.map +1 -0
  471. package/dist/esm/internal/RemoteTree.js +132 -0
  472. package/dist/esm/internal/RemoteTree.js.map +1 -0
  473. package/dist/esm/internal/SearchContract.d.ts +63 -0
  474. package/dist/esm/internal/SearchContract.d.ts.map +1 -0
  475. package/dist/esm/internal/SearchContract.js +66 -0
  476. package/dist/esm/internal/SearchContract.js.map +1 -0
  477. package/dist/esm/internal/Symbols.d.ts +39 -0
  478. package/dist/esm/internal/Symbols.d.ts.map +1 -0
  479. package/dist/esm/internal/Symbols.js +79 -0
  480. package/dist/esm/internal/Symbols.js.map +1 -0
  481. package/dist/esm/internal/Tar.d.ts +23 -0
  482. package/dist/esm/internal/Tar.d.ts.map +1 -0
  483. package/dist/esm/internal/Tar.js +97 -0
  484. package/dist/esm/internal/Tar.js.map +1 -0
  485. package/dist/esm/internal/TestReport.d.ts +52 -0
  486. package/dist/esm/internal/TestReport.d.ts.map +1 -0
  487. package/dist/esm/internal/TestReport.js +172 -0
  488. package/dist/esm/internal/TestReport.js.map +1 -0
  489. package/dist/esm/internal/Text.d.ts +125 -0
  490. package/dist/esm/internal/Text.d.ts.map +1 -0
  491. package/dist/esm/internal/Text.js +141 -0
  492. package/dist/esm/internal/Text.js.map +1 -0
  493. package/dist/esm/internal/Url.d.ts +13 -0
  494. package/dist/esm/internal/Url.d.ts.map +1 -0
  495. package/dist/esm/internal/Url.js +27 -0
  496. package/dist/esm/internal/Url.js.map +1 -0
  497. package/dist/esm/internal/Walk.d.ts +72 -0
  498. package/dist/esm/internal/Walk.d.ts.map +1 -0
  499. package/dist/esm/internal/Walk.js +126 -0
  500. package/dist/esm/internal/Walk.js.map +1 -0
  501. package/docs/README.md +119 -0
  502. package/docs/api.md +499 -0
  503. package/docs/concepts/effects-and-capabilities.md +138 -0
  504. package/docs/concepts/flows-and-handlers.md +115 -0
  505. package/docs/concepts/limits-and-disclosure.md +105 -0
  506. package/docs/concepts/search-contract.md +182 -0
  507. package/docs/guides/bind-the-standard-flows.md +116 -0
  508. package/docs/guides/implement-a-search-peer.md +133 -0
  509. package/docs/guides/pin-a-checkpoint.md +161 -0
  510. package/docs/guides/query-a-language-server.md +257 -0
  511. package/docs/guides/reach-the-network.md +141 -0
  512. package/docs/guides/read-and-edit-a-file.md +240 -0
  513. package/docs/guides/run-a-shell-command.md +236 -0
  514. package/docs/guides/run-the-test-suite.md +154 -0
  515. package/docs/guides/search-a-workspace.md +148 -0
  516. package/docs/installation.md +115 -0
  517. package/docs/quickstart.md +125 -0
  518. package/docs/reference/flows.md +556 -0
  519. package/docs/troubleshooting.md +347 -0
  520. package/package.json +449 -3
  521. package/src/ApplyPatch.ts +458 -0
  522. package/src/Bash.ts +619 -0
  523. package/src/Checkpoints.ts +589 -0
  524. package/src/Container.ts +212 -0
  525. package/src/Edit.ts +366 -0
  526. package/src/ExaWebSearch.ts +145 -0
  527. package/src/Explore.ts +139 -0
  528. package/src/Fetch.ts +117 -0
  529. package/src/Glob.ts +200 -0
  530. package/src/Grep.ts +320 -0
  531. package/src/HttpPost.ts +120 -0
  532. package/src/LanguageServer.ts +110 -0
  533. package/src/Ls.ts +228 -0
  534. package/src/Lsp.ts +184 -0
  535. package/src/Manifest.ts +162 -0
  536. package/src/NativeSearch.ts +457 -0
  537. package/src/NodeLanguageServer.ts +1148 -0
  538. package/src/PortableSearch.ts +284 -0
  539. package/src/Probe.ts +284 -0
  540. package/src/Read.ts +359 -0
  541. package/src/Relocate.ts +166 -0
  542. package/src/RemoteSearch.ts +199 -0
  543. package/src/Search.ts +185 -0
  544. package/src/SearchConformance.ts +288 -0
  545. package/src/SearchContract.ts +489 -0
  546. package/src/ShellCommand.ts +201 -0
  547. package/src/StdError.ts +80 -0
  548. package/src/TestRun.ts +401 -0
  549. package/src/TestRunner.ts +119 -0
  550. package/src/TreeFingerprint.ts +200 -0
  551. package/src/UpdatePlan.ts +171 -0
  552. package/src/WebFetch.ts +194 -0
  553. package/src/WebSearch.ts +165 -0
  554. package/src/Write.ts +195 -0
  555. package/src/index.ts +157 -0
  556. package/src/internal/ApplyPatch.ts +601 -0
  557. package/src/internal/CodexText.ts +182 -0
  558. package/src/internal/Declaration.ts +60 -0
  559. package/src/internal/Diagnostics.ts +134 -0
  560. package/src/internal/EnvelopePrecheck.ts +489 -0
  561. package/src/internal/Exec.ts +427 -0
  562. package/src/internal/FileMutation.ts +231 -0
  563. package/src/internal/FsFailure.ts +51 -0
  564. package/src/internal/GitWorktree.ts +491 -0
  565. package/src/internal/Grouping.ts +106 -0
  566. package/src/internal/Html.ts +87 -0
  567. package/src/internal/Http.ts +209 -0
  568. package/src/internal/HttpNetwork.ts +153 -0
  569. package/src/internal/Ignore.ts +135 -0
  570. package/src/internal/LinearRegex.ts +173 -0
  571. package/src/internal/Match.ts +172 -0
  572. package/src/internal/Paths.ts +42 -0
  573. package/src/internal/Preserve.ts +108 -0
  574. package/src/internal/Prune.ts +62 -0
  575. package/src/internal/RemoteTree.ts +159 -0
  576. package/src/internal/SearchContract.ts +77 -0
  577. package/src/internal/Symbols.ts +88 -0
  578. package/src/internal/Tar.ts +95 -0
  579. package/src/internal/TestReport.ts +194 -0
  580. package/src/internal/Text.ts +185 -0
  581. package/src/internal/Url.ts +23 -0
  582. package/src/internal/Walk.ts +176 -0
@@ -0,0 +1,87 @@
1
+ "use strict";
2
+ var __create = Object.create;
3
+ var __defProp = Object.defineProperty;
4
+ var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
5
+ var __getOwnPropNames = Object.getOwnPropertyNames;
6
+ var __getProtoOf = Object.getPrototypeOf;
7
+ var __hasOwnProp = Object.prototype.hasOwnProperty;
8
+ var __export = (target, all) => {
9
+ for (var name2 in all)
10
+ __defProp(target, name2, { get: all[name2], enumerable: true });
11
+ };
12
+ var __copyProps = (to, from, except, desc) => {
13
+ if (from && typeof from === "object" || typeof from === "function") {
14
+ for (let key of __getOwnPropNames(from))
15
+ if (!__hasOwnProp.call(to, key) && key !== except)
16
+ __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
17
+ }
18
+ return to;
19
+ };
20
+ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
21
+ // If the importer is in node compatibility mode or this is not an ESM
22
+ // file that has been converted to a CommonJS file using a Babel-
23
+ // compatible transform (i.e. "__esModule" has not been set), then set
24
+ // "default" to the CommonJS "module.exports" for node compatibility.
25
+ isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
26
+ mod
27
+ ));
28
+ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
29
+ var UpdatePlan_exports = {};
30
+ __export(UpdatePlan_exports, {
31
+ Input: () => Input,
32
+ Output: () => Output,
33
+ Plan: () => Plan,
34
+ StepStatus: () => StepStatus,
35
+ capabilities: () => capabilities,
36
+ description: () => description,
37
+ effects: () => effects,
38
+ effectsFor: () => effectsFor,
39
+ flow: () => flow,
40
+ name: () => name,
41
+ run: () => run
42
+ });
43
+ module.exports = __toCommonJS(UpdatePlan_exports);
44
+ var Effect = __toESM(require("effect/Effect"), 1);
45
+ var Schema = __toESM(require("effect/Schema"), 1);
46
+ var import_Declaration = require("./internal/Declaration.js");
47
+ var StdError = __toESM(require("./StdError.js"), 1);
48
+ const name = "update_plan";
49
+ const description = "Updates the task plan.\nProvide an optional explanation and a list of plan items, each with a step and status.\nAt most one step can be in_progress at a time.\n";
50
+ const StepStatus = Schema.Literals(["pending", "in_progress", "completed"]);
51
+ const Step = Schema.Struct({
52
+ step: Schema.String.annotate({ description: "Task step text." }),
53
+ status: StepStatus.annotate({ description: "Step status." })
54
+ });
55
+ const inProgressCount = (plan) => plan.reduce((total, item) => item.status === "in_progress" ? total + 1 : total, 0);
56
+ const Plan = Schema.Array(Step).pipe(
57
+ Schema.check(
58
+ Schema.makeFilter(
59
+ (plan) => inProgressCount(plan) <= 1 ? void 0 : "invalid_input: at most one plan step can be in_progress at a time",
60
+ { identifier: "invalid_input" }
61
+ )
62
+ )
63
+ ).annotate({ description: "The list of steps" });
64
+ const Input = Schema.Struct({
65
+ explanation: Schema.optional(Schema.String.annotate({ description: "Optional explanation for this plan update." })),
66
+ plan: Plan
67
+ });
68
+ const Output = Schema.Struct({
69
+ output: Schema.String.annotate({ description: "Acknowledgement text, always 'Plan updated'" })
70
+ });
71
+ const effects = (0, import_Declaration.envelope)({ tier: "sealed", mode: "hermetic", reads: [], writes: [] });
72
+ const effectsFor = (_input) => effects;
73
+ const capabilities = [];
74
+ const flow = { name, description, input: Input, output: Output, capabilities, effects };
75
+ const run = Effect.fn("UpdatePlan.run")(function* (input) {
76
+ const running = inProgressCount(input.plan);
77
+ if (running > 1) {
78
+ return yield* Effect.fail(
79
+ new StdError.StdError({
80
+ code: "invalid_input",
81
+ message: `At most one step can be in_progress at a time; the plan named ${running}`
82
+ })
83
+ );
84
+ }
85
+ return { output: "Plan updated" };
86
+ });
87
+ //# sourceMappingURL=UpdatePlan.js.map
@@ -0,0 +1,7 @@
1
+ {
2
+ "version": 3,
3
+ "sources": ["../../src/UpdatePlan.ts"],
4
+ "sourcesContent": ["/**\n * update_plan flow declaration and portable handler.\n *\n * A Codex CLI clone of the `update_plan` tool: an optional explanation and a\n * list of plan items, acknowledged with \"Plan updated\". Pure \u2014 no host\n * access; the harness observes plan updates through the journal.\n *\n * @since 1.0.0\n */\n\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport { envelope } from \"./internal/Declaration.ts\"\nimport * as StdError from \"./StdError.ts\"\n\n/**\n * Registry name for the update_plan flow. Matches the Codex CLI tool name.\n *\n * @category identifiers\n * @since 1.0.0\n */\nexport const name = \"update_plan\"\n\n/**\n * Model-facing description of the update_plan flow. Matches the Codex CLI\n * description.\n *\n * @category descriptions\n * @since 1.0.0\n */\nexport const description = \"Updates the task plan.\\n\" +\n \"Provide an optional explanation and a list of plan items, each with a step and status.\\n\" +\n \"At most one step can be in_progress at a time.\\n\"\n\n/**\n * Status of one plan step, matching Codex.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const StepStatus = Schema.Literals([\"pending\", \"in_progress\", \"completed\"])\n\nconst Step = Schema.Struct({\n step: Schema.String.annotate({ description: \"Task step text.\" }),\n status: StepStatus.annotate({ description: \"Step status.\" })\n})\n\n/** How many steps of a plan claim to be running right now. */\nconst inProgressCount = (plan: ReadonlyArray<typeof Step.Type>): number =>\n plan.reduce((total, item) => item.status === \"in_progress\" ? total + 1 : total, 0)\n\n/**\n * The plan itself: steps, at most one of them `in_progress`.\n *\n * The single-in-progress rule is the last line of the Codex description a\n * model reads every frame, so it is enforced here rather than left as prose a\n * decode ignores. A plan naming two running steps is a decode failure at the\n * `plan` path, not a silent acknowledgement.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Plan = Schema.Array(Step).pipe(\n Schema.check(\n Schema.makeFilter(\n (plan) =>\n inProgressCount(plan) <= 1\n ? undefined\n : \"invalid_input: at most one plan step can be in_progress at a time\",\n { identifier: \"invalid_input\" }\n )\n )\n).annotate({ description: \"The list of steps\" })\n\n/**\n * Input schema for the update_plan flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Input = Schema.Struct({\n explanation: Schema.optional(Schema.String.annotate({ description: \"Optional explanation for this plan update.\" })),\n plan: Plan\n})\n\n/**\n * Decoded input accepted by the `update_plan` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Input = typeof Input.Type\n\n/**\n * Output schema for the update_plan flow.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Output = Schema.Struct({\n output: Schema.String.annotate({ description: \"Acknowledgement text, always 'Plan updated'\" })\n})\n\n/**\n * Decoded output returned by the `update_plan` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Output = typeof Output.Type\n\n/**\n * Static effect envelope for the update_plan flow: no reads, no writes.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effects = envelope({ tier: \"sealed\", mode: \"hermetic\", reads: [], writes: [] })\n\n/**\n * Narrows the effect envelope for a decoded invocation.\n *\n * The flow touches nothing, so every invocation declares what the static\n * envelope declares.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effectsFor = (_input: typeof Input.Type) => effects\n\n/**\n * Capabilities required by the update_plan flow: none.\n *\n * @category capabilities\n * @since 1.0.0\n */\nexport const capabilities: ReadonlyArray<string> = []\n\n/**\n * Declaration-only update_plan flow.\n *\n * @category flows\n * @since 1.0.0\n */\nexport const flow = { name, description, input: Input, output: Output, capabilities, effects } as const\n\n/**\n * Acknowledges a plan update with Codex's exact response text.\n *\n * The single-in-progress rule is checked again here. `Plan` refuses it at\n * decode time, but a host that calls this handler directly never decodes, and\n * an invariant enforced in only one of the two entrances is enforced in\n * neither.\n *\n * @category handlers\n * @since 1.0.0\n */\nexport const run = Effect.fn(\"UpdatePlan.run\")(function*(\n input: typeof Input.Type\n): Effect.fn.Return<typeof Output.Type, StdError.StdError> {\n const running = inProgressCount(input.plan)\n if (running > 1) {\n return yield* Effect.fail(\n new StdError.StdError({\n code: \"invalid_input\",\n message: `At most one step can be in_progress at a time; the plan named ${running}`\n })\n )\n }\n return { output: \"Plan updated\" }\n})\n"],
5
+ "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAUA,aAAwB;AACxB,aAAwB;AACxB,yBAAyB;AACzB,eAA0B;AAQnB,MAAM,OAAO;AASb,MAAM,cAAc;AAUpB,MAAM,aAAa,OAAO,SAAS,CAAC,WAAW,eAAe,WAAW,CAAC;AAEjF,MAAM,OAAO,OAAO,OAAO;AAAA,EACzB,MAAM,OAAO,OAAO,SAAS,EAAE,aAAa,kBAAkB,CAAC;AAAA,EAC/D,QAAQ,WAAW,SAAS,EAAE,aAAa,eAAe,CAAC;AAC7D,CAAC;AAGD,MAAM,kBAAkB,CAAC,SACvB,KAAK,OAAO,CAAC,OAAO,SAAS,KAAK,WAAW,gBAAgB,QAAQ,IAAI,OAAO,CAAC;AAa5E,MAAM,OAAO,OAAO,MAAM,IAAI,EAAE;AAAA,EACrC,OAAO;AAAA,IACL,OAAO;AAAA,MACL,CAAC,SACC,gBAAgB,IAAI,KAAK,IACrB,SACA;AAAA,MACN,EAAE,YAAY,gBAAgB;AAAA,IAChC;AAAA,EACF;AACF,EAAE,SAAS,EAAE,aAAa,oBAAoB,CAAC;AAQxC,MAAM,QAAQ,OAAO,OAAO;AAAA,EACjC,aAAa,OAAO,SAAS,OAAO,OAAO,SAAS,EAAE,aAAa,6CAA6C,CAAC,CAAC;AAAA,EAClH,MAAM;AACR,CAAC;AAgBM,MAAM,SAAS,OAAO,OAAO;AAAA,EAClC,QAAQ,OAAO,OAAO,SAAS,EAAE,aAAa,8CAA8C,CAAC;AAC/F,CAAC;AAgBM,MAAM,cAAU,6BAAS,EAAE,MAAM,UAAU,MAAM,YAAY,OAAO,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC;AAWpF,MAAM,aAAa,CAAC,WAA8B;AAQlD,MAAM,eAAsC,CAAC;AAQ7C,MAAM,OAAO,EAAE,MAAM,aAAa,OAAO,OAAO,QAAQ,QAAQ,cAAc,QAAQ;AAatF,MAAM,MAAM,OAAO,GAAG,gBAAgB,EAAE,WAC7C,OACyD;AACzD,QAAM,UAAU,gBAAgB,MAAM,IAAI;AAC1C,MAAI,UAAU,GAAG;AACf,WAAO,OAAO,OAAO;AAAA,MACnB,IAAI,SAAS,SAAS;AAAA,QACpB,MAAM;AAAA,QACN,SAAS,iEAAiE,OAAO;AAAA,MACnF,CAAC;AAAA,IACH;AAAA,EACF;AACA,SAAO,EAAE,QAAQ,eAAe;AAClC,CAAC;",
6
+ "names": []
7
+ }
@@ -0,0 +1,134 @@
1
+ /**
2
+ * The `webfetch` flow: an HTTP GET rendered as text, Markdown, or HTML.
3
+ *
4
+ * The handler fetches through the permission-checked `HttpClient`, follows at
5
+ * most ten redirects, refuses a body over 5 MiB, and returns the final URL,
6
+ * status, and content type beside the rendered body. The rendered body keeps
7
+ * its first 60,000 bytes and reports any cut with `truncated` and `notice`.
8
+ *
9
+ * @since 1.0.0
10
+ */
11
+ import type { GrantStore } from "@smthrs/kernel/GrantStore";
12
+ import * as HttpClient from "@smthrs/kernel/HttpClient";
13
+ import * as Effect from "effect/Effect";
14
+ import * as Schema from "effect/Schema";
15
+ import * as StdError from "./StdError.ts";
16
+ /**
17
+ * The registry name of the `webfetch` flow.
18
+ *
19
+ * @category identifiers
20
+ * @since 1.0.0
21
+ */
22
+ export declare const name = "webfetch";
23
+ /**
24
+ * The one-line description the model sees for the `webfetch` flow.
25
+ *
26
+ * @category descriptions
27
+ * @since 1.0.0
28
+ */
29
+ export declare const description = "Fetch an HTTP URL and render its content as text, Markdown, or HTML.";
30
+ /**
31
+ * What the `webfetch` flow accepts.
32
+ *
33
+ * @category schemas
34
+ * @since 1.0.0
35
+ */
36
+ export declare const Input: Schema.Struct<{
37
+ readonly url: Schema.String;
38
+ readonly format: Schema.optional<Schema.Literals<readonly ["text", "markdown", "html"]>>;
39
+ readonly timeout: Schema.optional<Schema.Number>;
40
+ }>;
41
+ /**
42
+ * Decoded input accepted by the `webfetch` flow.
43
+ *
44
+ * @category models
45
+ * @since 1.0.0
46
+ */
47
+ export type Input = typeof Input.Type;
48
+ /**
49
+ * What the `webfetch` flow returns.
50
+ *
51
+ * @category schemas
52
+ * @since 1.0.0
53
+ */
54
+ export declare const Output: Schema.Struct<{
55
+ readonly url: Schema.String;
56
+ readonly status: Schema.Int;
57
+ readonly contentType: Schema.String;
58
+ readonly content: Schema.String;
59
+ readonly truncated: Schema.Boolean;
60
+ readonly notice: Schema.optional<Schema.String>;
61
+ }>;
62
+ /**
63
+ * Decoded output returned by the `webfetch` flow.
64
+ *
65
+ * @category models
66
+ * @since 1.0.0
67
+ */
68
+ export type Output = typeof Output.Type;
69
+ /**
70
+ * The declared effect envelope of the `webfetch` flow, before any input is known.
71
+ *
72
+ * @category effects
73
+ * @since 1.0.0
74
+ */
75
+ export declare const effects: import("@smthrs/plan/Effects").Declaration;
76
+ /**
77
+ * Narrows {@link effects} to what this particular input actually touches.
78
+ *
79
+ * @category effects
80
+ * @since 1.0.0
81
+ */
82
+ export declare const effectsFor: (_input: typeof Input.Type) => import("@smthrs/plan/Effects").Declaration;
83
+ /**
84
+ * The authority the `webfetch` flow requires.
85
+ *
86
+ * @category capabilities
87
+ * @since 1.0.0
88
+ */
89
+ export declare const capabilities: string[];
90
+ /**
91
+ * The `webfetch` flow declaration: schemas, capabilities, and effects, with the
92
+ * implementation attached separately.
93
+ *
94
+ * @category flows
95
+ * @since 1.0.0
96
+ */
97
+ export declare const flow: {
98
+ readonly name: "webfetch";
99
+ readonly description: "Fetch an HTTP URL and render its content as text, Markdown, or HTML.";
100
+ readonly input: Schema.Struct<{
101
+ readonly url: Schema.String;
102
+ readonly format: Schema.optional<Schema.Literals<readonly ["text", "markdown", "html"]>>;
103
+ readonly timeout: Schema.optional<Schema.Number>;
104
+ }>;
105
+ readonly output: Schema.Struct<{
106
+ readonly url: Schema.String;
107
+ readonly status: Schema.Int;
108
+ readonly contentType: Schema.String;
109
+ readonly content: Schema.String;
110
+ readonly truncated: Schema.Boolean;
111
+ readonly notice: Schema.optional<Schema.String>;
112
+ }>;
113
+ readonly capabilities: string[];
114
+ readonly effects: import("@smthrs/plan/Effects").Declaration;
115
+ };
116
+ /**
117
+ * Runs the `webfetch` flow: fetches one HTTP URL and renders it as text.
118
+ *
119
+ * @category handlers
120
+ * @since 1.0.0
121
+ */
122
+ export declare const run: (input: {
123
+ readonly url: string;
124
+ readonly timeout?: number | undefined;
125
+ readonly format?: "text" | "markdown" | "html" | undefined;
126
+ }) => Effect.Effect<{
127
+ readonly status: number;
128
+ readonly content: string;
129
+ readonly contentType: string;
130
+ readonly url: string;
131
+ readonly truncated: boolean;
132
+ readonly notice?: string | undefined;
133
+ }, StdError.StdError, GrantStore | HttpClient.HttpClient>;
134
+ //# sourceMappingURL=WebFetch.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"WebFetch.d.ts","sourceRoot":"","sources":["../../src/WebFetch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA;AAC3D,OAAO,KAAK,UAAU,MAAM,2BAA2B,CAAA;AACvD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAMvC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAGzC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,aAAa,CAAA;AAC9B;;;;;GAKG;AACH,eAAO,MAAM,WAAW,yEAAyE,CAAA;AACjG;;;;;GAKG;AACH,eAAO,MAAM,KAAK;;;;EAQhB,CAAA;AACF;;;;;GAKG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AACrC;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;;;;;EAOjB,CAAA;AACF;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,4CAAwE,CAAA;AAC5F;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,OAAO,KAAK,CAAC,IAAI,+CAAY,CAAA;AAChE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,UAA+B,CAAA;AACxD;;;;;;GAMG;AACH,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;CAAsF,CAAA;AAIvG;;;;;GAKG;AACH,eAAO,MAAM,GAAG;;;;;;;;;;;yDA0EsD,CAAA"}
@@ -0,0 +1,140 @@
1
+ "use strict";
2
+ var __create = Object.create;
3
+ var __defProp = Object.defineProperty;
4
+ var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
5
+ var __getOwnPropNames = Object.getOwnPropertyNames;
6
+ var __getProtoOf = Object.getPrototypeOf;
7
+ var __hasOwnProp = Object.prototype.hasOwnProperty;
8
+ var __export = (target, all) => {
9
+ for (var name2 in all)
10
+ __defProp(target, name2, { get: all[name2], enumerable: true });
11
+ };
12
+ var __copyProps = (to, from, except, desc) => {
13
+ if (from && typeof from === "object" || typeof from === "function") {
14
+ for (let key of __getOwnPropNames(from))
15
+ if (!__hasOwnProp.call(to, key) && key !== except)
16
+ __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
17
+ }
18
+ return to;
19
+ };
20
+ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
21
+ // If the importer is in node compatibility mode or this is not an ESM
22
+ // file that has been converted to a CommonJS file using a Babel-
23
+ // compatible transform (i.e. "__esModule" has not been set), then set
24
+ // "default" to the CommonJS "module.exports" for node compatibility.
25
+ isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
26
+ mod
27
+ ));
28
+ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
29
+ var WebFetch_exports = {};
30
+ __export(WebFetch_exports, {
31
+ Input: () => Input,
32
+ Output: () => Output,
33
+ capabilities: () => capabilities,
34
+ description: () => description,
35
+ effects: () => effects,
36
+ effectsFor: () => effectsFor,
37
+ flow: () => flow,
38
+ name: () => name,
39
+ run: () => run
40
+ });
41
+ module.exports = __toCommonJS(WebFetch_exports);
42
+ var HttpClient = __toESM(require("@smthrs/kernel/HttpClient"), 1);
43
+ var Effect = __toESM(require("effect/Effect"), 1);
44
+ var HttpClientRequest = __toESM(require("effect/http/HttpClientRequest"), 1);
45
+ var Schema = __toESM(require("effect/Schema"), 1);
46
+ var import_Declaration = require("./internal/Declaration.js");
47
+ var import_Html = require("./internal/Html.js");
48
+ var import_Http = require("./internal/Http.js");
49
+ var import_HttpNetwork = require("./internal/HttpNetwork.js");
50
+ var import_Url = require("./internal/Url.js");
51
+ var StdError = __toESM(require("./StdError.js"), 1);
52
+ const maxRedirects = 10;
53
+ const name = "webfetch";
54
+ const description = "Fetch an HTTP URL and render its content as text, Markdown, or HTML.";
55
+ const Input = Schema.Struct({
56
+ url: Schema.String.annotate({ description: "Absolute http or https URL to retrieve without user information" }),
57
+ format: Schema.optional(Schema.Literals(["text", "markdown", "html"])).annotate({
58
+ description: "Response rendering format; defaults to markdown"
59
+ }),
60
+ timeout: Schema.optional(import_Http.Timeout).annotate({
61
+ description: "Total timeout across requests, redirects, and response body in seconds, capped at 120"
62
+ })
63
+ });
64
+ const Output = Schema.Struct({
65
+ url: Schema.String.annotate({ description: "Final URL after redirects" }),
66
+ status: Schema.Int.annotate({ description: "HTTP status code, including error statuses" }),
67
+ contentType: Schema.String.annotate({ description: "Response Content-Type header, or an empty string when absent" }),
68
+ content: Schema.String.annotate({ description: "Response body rendered in the requested format" }),
69
+ truncated: Schema.Boolean.annotate({ description: "Whether the rendered body exceeded the display budget" }),
70
+ notice: Schema.optional(Schema.String.annotate({ description: "Truncation disclosure" }))
71
+ });
72
+ const effects = (0, import_Declaration.envelope)({ tier: "sealed", mode: "expected", reads: [], writes: [] });
73
+ const effectsFor = (_input) => effects;
74
+ const capabilities = [(0, import_Declaration.capability)("net:get", "*")];
75
+ const flow = { name, description, input: Input, output: Output, capabilities, effects };
76
+ const error = (code, message, path) => new StdError.StdError({ code, message, ...path === void 0 ? {} : { path } });
77
+ const run = Effect.fn("WebFetch.run")(function* (input) {
78
+ let url = (0, import_Url.parseHttpUrl)(input.url);
79
+ if (url === void 0) {
80
+ return yield* Effect.fail(
81
+ error("invalid_input", "URL must use http or https without user information", input.url)
82
+ );
83
+ }
84
+ const client = (0, import_HttpNetwork.guarded)(yield* HttpClient.HttpClient, false);
85
+ let headers = {
86
+ accept: input.format === "html" ? "text/html, text/plain;q=0.8" : "text/markdown, text/plain, text/html;q=0.8"
87
+ };
88
+ for (let redirect = 0; redirect <= maxRedirects; redirect++) {
89
+ const response = yield* client.execute(
90
+ HttpClientRequest.setHeaders(HttpClientRequest.get(url.toString()), headers)
91
+ ).pipe(
92
+ Effect.mapError((cause) => (0, import_HttpNetwork.refusal)(cause) ?? error("request_failed", `Web fetch request failed: ${url}`))
93
+ );
94
+ const location = (0, import_Http.header)(response.headers, "location");
95
+ if (response.status >= 300 && response.status < 400 && location !== void 0) {
96
+ const next = (0, import_Url.parseHttpUrl)(location, url);
97
+ if (next === void 0) {
98
+ return yield* Effect.fail(
99
+ error("invalid_input", "Redirect target must use http or https without user information", location)
100
+ );
101
+ }
102
+ if (next.origin !== url.origin) {
103
+ headers = Object.fromEntries(
104
+ Object.entries(headers).filter(
105
+ ([key]) => key.toLowerCase() !== "authorization" && key.toLowerCase() !== "cookie"
106
+ )
107
+ );
108
+ }
109
+ url = next;
110
+ continue;
111
+ }
112
+ const contentType = (0, import_Http.header)(response.headers, "content-type") ?? "";
113
+ const normalizedContentType = contentType.toLowerCase();
114
+ if (!normalizedContentType.startsWith("text/") && !normalizedContentType.includes("json") && !normalizedContentType.includes("xml")) {
115
+ return yield* Effect.fail(
116
+ error("unsupported_content_type", `Unsupported content type: ${contentType || "unknown"}`)
117
+ );
118
+ }
119
+ const length = Number((0, import_Http.header)(response.headers, "content-length"));
120
+ if (Number.isFinite(length) && length > import_Http.MAX_RESPONSE_BYTES) {
121
+ return yield* Effect.fail(error("response_too_large", "Response exceeds the 5 MiB limit"));
122
+ }
123
+ const body = yield* (0, import_Http.readBounded)(response.stream, url.toString()).pipe(
124
+ Effect.mapError(
125
+ (cause) => cause instanceof StdError.StdError ? cause : error("request_failed", "Web fetch response could not be read")
126
+ )
127
+ );
128
+ const raw = new TextDecoder().decode(body);
129
+ const format = input.format ?? "markdown";
130
+ const { text: content, ...disclosure } = (0, import_Http.capOutput)(
131
+ format === "html" || !normalizedContentType.includes("html") ? raw : format === "text" ? (0, import_Html.toText)(raw) : (0, import_Html.toMarkdown)(raw)
132
+ );
133
+ return { url: url.toString(), status: response.status, contentType, content, ...disclosure };
134
+ }
135
+ return yield* Effect.fail(error("request_failed", "Web fetch exceeded the redirect limit"));
136
+ }, (effect, input) => (
137
+ // Keep the shared deadline outside the redirect loop and error mapping.
138
+ (0, import_Http.withDeadline)(effect, input.url, input.timeout, (seconds) => error("timeout", `Web fetch timed out after ${seconds} seconds`))
139
+ ));
140
+ //# sourceMappingURL=WebFetch.js.map
@@ -0,0 +1,7 @@
1
+ {
2
+ "version": 3,
3
+ "sources": ["../../src/WebFetch.ts"],
4
+ "sourcesContent": ["/**\n * The `webfetch` flow: an HTTP GET rendered as text, Markdown, or HTML.\n *\n * The handler fetches through the permission-checked `HttpClient`, follows at\n * most ten redirects, refuses a body over 5 MiB, and returns the final URL,\n * status, and content type beside the rendered body. The rendered body keeps\n * its first 60,000 bytes and reports any cut with `truncated` and `notice`.\n *\n * @since 1.0.0\n */\n\nimport type { GrantStore } from \"@smthrs/kernel/GrantStore\"\nimport * as HttpClient from \"@smthrs/kernel/HttpClient\"\nimport * as Effect from \"effect/Effect\"\nimport * as HttpClientRequest from \"effect/http/HttpClientRequest\"\nimport * as Schema from \"effect/Schema\"\nimport { capability, envelope } from \"./internal/Declaration.ts\"\nimport { toMarkdown, toText } from \"./internal/Html.ts\"\nimport { capOutput, header, MAX_RESPONSE_BYTES, readBounded, Timeout, withDeadline } from \"./internal/Http.ts\"\nimport { guarded, refusal } from \"./internal/HttpNetwork.ts\"\nimport { parseHttpUrl } from \"./internal/Url.ts\"\nimport * as StdError from \"./StdError.ts\"\n\nconst maxRedirects = 10\n/**\n * The registry name of the `webfetch` flow.\n *\n * @category identifiers\n * @since 1.0.0\n */\nexport const name = \"webfetch\"\n/**\n * The one-line description the model sees for the `webfetch` flow.\n *\n * @category descriptions\n * @since 1.0.0\n */\nexport const description = \"Fetch an HTTP URL and render its content as text, Markdown, or HTML.\"\n/**\n * What the `webfetch` flow accepts.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Input = Schema.Struct({\n url: Schema.String.annotate({ description: \"Absolute http or https URL to retrieve without user information\" }),\n format: Schema.optional(Schema.Literals([\"text\", \"markdown\", \"html\"])).annotate({\n description: \"Response rendering format; defaults to markdown\"\n }),\n timeout: Schema.optional(Timeout).annotate({\n description: \"Total timeout across requests, redirects, and response body in seconds, capped at 120\"\n })\n})\n/**\n * Decoded input accepted by the `webfetch` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Input = typeof Input.Type\n/**\n * What the `webfetch` flow returns.\n *\n * @category schemas\n * @since 1.0.0\n */\nexport const Output = Schema.Struct({\n url: Schema.String.annotate({ description: \"Final URL after redirects\" }),\n status: Schema.Int.annotate({ description: \"HTTP status code, including error statuses\" }),\n contentType: Schema.String.annotate({ description: \"Response Content-Type header, or an empty string when absent\" }),\n content: Schema.String.annotate({ description: \"Response body rendered in the requested format\" }),\n truncated: Schema.Boolean.annotate({ description: \"Whether the rendered body exceeded the display budget\" }),\n notice: Schema.optional(Schema.String.annotate({ description: \"Truncation disclosure\" }))\n})\n/**\n * Decoded output returned by the `webfetch` flow.\n *\n * @category models\n * @since 1.0.0\n */\nexport type Output = typeof Output.Type\n/**\n * The declared effect envelope of the `webfetch` flow, before any input is known.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effects = envelope({ tier: \"sealed\", mode: \"expected\", reads: [], writes: [] })\n/**\n * Narrows {@link effects} to what this particular input actually touches.\n *\n * @category effects\n * @since 1.0.0\n */\nexport const effectsFor = (_input: typeof Input.Type) => effects\n/**\n * The authority the `webfetch` flow requires.\n *\n * @category capabilities\n * @since 1.0.0\n */\nexport const capabilities = [capability(\"net:get\", \"*\")]\n/**\n * The `webfetch` flow declaration: schemas, capabilities, and effects, with the\n * implementation attached separately.\n *\n * @category flows\n * @since 1.0.0\n */\nexport const flow = { name, description, input: Input, output: Output, capabilities, effects } as const\n\nconst error = (code: StdError.Code, message: string, path?: string): StdError.StdError =>\n new StdError.StdError({ code, message, ...(path === undefined ? {} : { path }) })\n/**\n * Runs the `webfetch` flow: fetches one HTTP URL and renders it as text.\n *\n * @category handlers\n * @since 1.0.0\n */\nexport const run = Effect.fn(\"WebFetch.run\")(function*(\n input: typeof Input.Type\n): Effect.fn.Return<typeof Output.Type, StdError.StdError, HttpClient.HttpClient | GrantStore> {\n let url = parseHttpUrl(input.url)\n if (url === undefined) {\n return yield* Effect.fail(\n error(\"invalid_input\", \"URL must use http or https without user information\", input.url)\n )\n }\n const client = guarded(yield* HttpClient.HttpClient, false)\n let headers: Readonly<Record<string, string>> = {\n accept: input.format === \"html\" ? \"text/html, text/plain;q=0.8\" : \"text/markdown, text/plain, text/html;q=0.8\"\n }\n for (let redirect = 0; redirect <= maxRedirects; redirect++) {\n const response = yield* client.execute(\n HttpClientRequest.setHeaders(HttpClientRequest.get(url.toString()), headers)\n ).pipe(\n Effect.mapError((cause) => refusal(cause) ?? error(\"request_failed\", `Web fetch request failed: ${url}`))\n )\n const location = header(response.headers, \"location\")\n if (response.status >= 300 && response.status < 400 && location !== undefined) {\n const next = parseHttpUrl(location, url)\n if (next === undefined) {\n return yield* Effect.fail(\n error(\"invalid_input\", \"Redirect target must use http or https without user information\", location)\n )\n }\n if (next.origin !== url.origin) {\n headers = Object.fromEntries(\n Object.entries(headers).filter(([key]) =>\n key.toLowerCase() !== \"authorization\" && key.toLowerCase() !== \"cookie\"\n )\n )\n }\n url = next\n continue\n }\n const contentType = header(response.headers, \"content-type\") ?? \"\"\n const normalizedContentType = contentType.toLowerCase()\n if (\n !normalizedContentType.startsWith(\"text/\")\n && !normalizedContentType.includes(\"json\")\n && !normalizedContentType.includes(\"xml\")\n ) {\n return yield* Effect.fail(\n error(\"unsupported_content_type\", `Unsupported content type: ${contentType || \"unknown\"}`)\n )\n }\n const length = Number(header(response.headers, \"content-length\"))\n if (Number.isFinite(length) && length > MAX_RESPONSE_BYTES) {\n return yield* Effect.fail(error(\"response_too_large\", \"Response exceeds the 5 MiB limit\"))\n }\n const body = yield* readBounded(response.stream, url.toString()).pipe(\n Effect.mapError((cause) =>\n cause instanceof StdError.StdError\n ? cause\n : error(\"request_failed\", \"Web fetch response could not be read\")\n )\n )\n const raw = new TextDecoder().decode(body)\n const format = input.format ?? \"markdown\"\n const { text: content, ...disclosure } = capOutput(\n format === \"html\" || !normalizedContentType.includes(\"html\")\n ? raw\n : format === \"text\"\n ? toText(raw)\n : toMarkdown(raw)\n )\n return { url: url.toString(), status: response.status, contentType, content, ...disclosure }\n }\n return yield* Effect.fail(error(\"request_failed\", \"Web fetch exceeded the redirect limit\"))\n}, (effect, input) =>\n // Keep the shared deadline outside the redirect loop and error mapping.\n withDeadline(effect, input.url, input.timeout, (seconds) =>\n error(\"timeout\", `Web fetch timed out after ${seconds} seconds`)))\n"],
5
+ "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAYA,iBAA4B;AAC5B,aAAwB;AACxB,wBAAmC;AACnC,aAAwB;AACxB,yBAAqC;AACrC,kBAAmC;AACnC,kBAA0F;AAC1F,yBAAiC;AACjC,iBAA6B;AAC7B,eAA0B;AAE1B,MAAM,eAAe;AAOd,MAAM,OAAO;AAOb,MAAM,cAAc;AAOpB,MAAM,QAAQ,OAAO,OAAO;AAAA,EACjC,KAAK,OAAO,OAAO,SAAS,EAAE,aAAa,kEAAkE,CAAC;AAAA,EAC9G,QAAQ,OAAO,SAAS,OAAO,SAAS,CAAC,QAAQ,YAAY,MAAM,CAAC,CAAC,EAAE,SAAS;AAAA,IAC9E,aAAa;AAAA,EACf,CAAC;AAAA,EACD,SAAS,OAAO,SAAS,mBAAO,EAAE,SAAS;AAAA,IACzC,aAAa;AAAA,EACf,CAAC;AACH,CAAC;AAcM,MAAM,SAAS,OAAO,OAAO;AAAA,EAClC,KAAK,OAAO,OAAO,SAAS,EAAE,aAAa,4BAA4B,CAAC;AAAA,EACxE,QAAQ,OAAO,IAAI,SAAS,EAAE,aAAa,6CAA6C,CAAC;AAAA,EACzF,aAAa,OAAO,OAAO,SAAS,EAAE,aAAa,+DAA+D,CAAC;AAAA,EACnH,SAAS,OAAO,OAAO,SAAS,EAAE,aAAa,iDAAiD,CAAC;AAAA,EACjG,WAAW,OAAO,QAAQ,SAAS,EAAE,aAAa,wDAAwD,CAAC;AAAA,EAC3G,QAAQ,OAAO,SAAS,OAAO,OAAO,SAAS,EAAE,aAAa,wBAAwB,CAAC,CAAC;AAC1F,CAAC;AAcM,MAAM,cAAU,6BAAS,EAAE,MAAM,UAAU,MAAM,YAAY,OAAO,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC;AAOpF,MAAM,aAAa,CAAC,WAA8B;AAOlD,MAAM,eAAe,KAAC,+BAAW,WAAW,GAAG,CAAC;AAQhD,MAAM,OAAO,EAAE,MAAM,aAAa,OAAO,OAAO,QAAQ,QAAQ,cAAc,QAAQ;AAE7F,MAAM,QAAQ,CAAC,MAAqB,SAAiB,SACnD,IAAI,SAAS,SAAS,EAAE,MAAM,SAAS,GAAI,SAAS,SAAY,CAAC,IAAI,EAAE,KAAK,EAAG,CAAC;AAO3E,MAAM,MAAM,OAAO,GAAG,cAAc,EAAE,WAC3C,OAC6F;AAC7F,MAAI,UAAM,yBAAa,MAAM,GAAG;AAChC,MAAI,QAAQ,QAAW;AACrB,WAAO,OAAO,OAAO;AAAA,MACnB,MAAM,iBAAiB,uDAAuD,MAAM,GAAG;AAAA,IACzF;AAAA,EACF;AACA,QAAM,aAAS,4BAAQ,OAAO,WAAW,YAAY,KAAK;AAC1D,MAAI,UAA4C;AAAA,IAC9C,QAAQ,MAAM,WAAW,SAAS,gCAAgC;AAAA,EACpE;AACA,WAAS,WAAW,GAAG,YAAY,cAAc,YAAY;AAC3D,UAAM,WAAW,OAAO,OAAO;AAAA,MAC7B,kBAAkB,WAAW,kBAAkB,IAAI,IAAI,SAAS,CAAC,GAAG,OAAO;AAAA,IAC7E,EAAE;AAAA,MACA,OAAO,SAAS,CAAC,cAAU,4BAAQ,KAAK,KAAK,MAAM,kBAAkB,6BAA6B,GAAG,EAAE,CAAC;AAAA,IAC1G;AACA,UAAM,eAAW,oBAAO,SAAS,SAAS,UAAU;AACpD,QAAI,SAAS,UAAU,OAAO,SAAS,SAAS,OAAO,aAAa,QAAW;AAC7E,YAAM,WAAO,yBAAa,UAAU,GAAG;AACvC,UAAI,SAAS,QAAW;AACtB,eAAO,OAAO,OAAO;AAAA,UACnB,MAAM,iBAAiB,mEAAmE,QAAQ;AAAA,QACpG;AAAA,MACF;AACA,UAAI,KAAK,WAAW,IAAI,QAAQ;AAC9B,kBAAU,OAAO;AAAA,UACf,OAAO,QAAQ,OAAO,EAAE;AAAA,YAAO,CAAC,CAAC,GAAG,MAClC,IAAI,YAAY,MAAM,mBAAmB,IAAI,YAAY,MAAM;AAAA,UACjE;AAAA,QACF;AAAA,MACF;AACA,YAAM;AACN;AAAA,IACF;AACA,UAAM,kBAAc,oBAAO,SAAS,SAAS,cAAc,KAAK;AAChE,UAAM,wBAAwB,YAAY,YAAY;AACtD,QACE,CAAC,sBAAsB,WAAW,OAAO,KACtC,CAAC,sBAAsB,SAAS,MAAM,KACtC,CAAC,sBAAsB,SAAS,KAAK,GACxC;AACA,aAAO,OAAO,OAAO;AAAA,QACnB,MAAM,4BAA4B,6BAA6B,eAAe,SAAS,EAAE;AAAA,MAC3F;AAAA,IACF;AACA,UAAM,SAAS,WAAO,oBAAO,SAAS,SAAS,gBAAgB,CAAC;AAChE,QAAI,OAAO,SAAS,MAAM,KAAK,SAAS,gCAAoB;AAC1D,aAAO,OAAO,OAAO,KAAK,MAAM,sBAAsB,kCAAkC,CAAC;AAAA,IAC3F;AACA,UAAM,OAAO,WAAO,yBAAY,SAAS,QAAQ,IAAI,SAAS,CAAC,EAAE;AAAA,MAC/D,OAAO;AAAA,QAAS,CAAC,UACf,iBAAiB,SAAS,WACtB,QACA,MAAM,kBAAkB,sCAAsC;AAAA,MACpE;AAAA,IACF;AACA,UAAM,MAAM,IAAI,YAAY,EAAE,OAAO,IAAI;AACzC,UAAM,SAAS,MAAM,UAAU;AAC/B,UAAM,EAAE,MAAM,SAAS,GAAG,WAAW,QAAI;AAAA,MACvC,WAAW,UAAU,CAAC,sBAAsB,SAAS,MAAM,IACvD,MACA,WAAW,aACX,oBAAO,GAAG,QACV,wBAAW,GAAG;AAAA,IACpB;AACA,WAAO,EAAE,KAAK,IAAI,SAAS,GAAG,QAAQ,SAAS,QAAQ,aAAa,SAAS,GAAG,WAAW;AAAA,EAC7F;AACA,SAAO,OAAO,OAAO,KAAK,MAAM,kBAAkB,uCAAuC,CAAC;AAC5F,GAAG,CAAC,QAAQ;AAAA;AAAA,MAEV,0BAAa,QAAQ,MAAM,KAAK,MAAM,SAAS,CAAC,YAC9C,MAAM,WAAW,6BAA6B,OAAO,UAAU,CAAC;AAAA,CAAC;",
6
+ "names": []
7
+ }
@@ -0,0 +1,181 @@
1
+ /**
2
+ * The `websearch` flow and the provider seam it runs through.
3
+ *
4
+ * The flow is provider-neutral: it hands the query to the bound
5
+ * {@link WebSearch} service and returns normalized results. A host binds a
6
+ * provider such as `ExaWebSearch.layer`; {@link layerNoop} fails every search
7
+ * with `provider_unavailable`.
8
+ *
9
+ * @since 1.0.0
10
+ */
11
+ import { Context, Effect, Layer, Schema } from "effect";
12
+ import * as StdError from "./StdError.ts";
13
+ /**
14
+ * The registry name of the `websearch` flow.
15
+ *
16
+ * @category identifiers
17
+ * @since 1.0.0
18
+ */
19
+ export declare const name = "websearch";
20
+ /**
21
+ * The one-line description the model sees for the `websearch` flow.
22
+ *
23
+ * @category descriptions
24
+ * @since 1.0.0
25
+ */
26
+ export declare const description = "Search the web through a configured provider and return normalized results.";
27
+ /**
28
+ * What the `websearch` flow accepts.
29
+ *
30
+ * @category schemas
31
+ * @since 1.0.0
32
+ */
33
+ export declare const Input: Schema.Struct<{
34
+ readonly query: Schema.NonEmptyString;
35
+ readonly numResults: Schema.optional<Schema.Int>;
36
+ readonly freshness: Schema.optional<Schema.Literals<readonly ["day", "week", "month", "year"]>>;
37
+ }>;
38
+ /**
39
+ * Decoded input accepted by the `websearch` flow.
40
+ *
41
+ * @category models
42
+ * @since 1.0.0
43
+ */
44
+ export type Input = typeof Input.Type;
45
+ /**
46
+ * One search hit, normalized across providers.
47
+ *
48
+ * @category schemas
49
+ * @since 1.0.0
50
+ */
51
+ export declare const Result: Schema.Struct<{
52
+ readonly title: Schema.String;
53
+ readonly url: Schema.String;
54
+ readonly snippet: Schema.String;
55
+ readonly publishedAt: Schema.optional<Schema.String>;
56
+ }>;
57
+ /**
58
+ * What the `websearch` flow returns.
59
+ *
60
+ * @category schemas
61
+ * @since 1.0.0
62
+ */
63
+ export declare const Output: Schema.Struct<{
64
+ readonly results: Schema.$Array<Schema.Struct<{
65
+ readonly title: Schema.String;
66
+ readonly url: Schema.String;
67
+ readonly snippet: Schema.String;
68
+ readonly publishedAt: Schema.optional<Schema.String>;
69
+ }>>;
70
+ }>;
71
+ /**
72
+ * Decoded output returned by the `websearch` flow.
73
+ *
74
+ * @category models
75
+ * @since 1.0.0
76
+ */
77
+ export type Output = typeof Output.Type;
78
+ /**
79
+ * The declared effect envelope of the `websearch` flow, before any input is known.
80
+ *
81
+ * @category effects
82
+ * @since 1.0.0
83
+ */
84
+ export declare const effects: import("@smthrs/plan/Effects").Declaration;
85
+ /**
86
+ * Narrows {@link effects} to what this particular input actually touches.
87
+ *
88
+ * @category effects
89
+ * @since 1.0.0
90
+ */
91
+ export declare const effectsFor: (_input: typeof Input.Type) => import("@smthrs/plan/Effects").Declaration;
92
+ /**
93
+ * The authority the `websearch` flow requires.
94
+ *
95
+ * @category capabilities
96
+ * @since 1.0.0
97
+ */
98
+ export declare const capabilities: string[];
99
+ /**
100
+ * The `websearch` flow declaration: schemas, capabilities, and effects, with the
101
+ * implementation attached separately.
102
+ *
103
+ * @category flows
104
+ * @since 1.0.0
105
+ */
106
+ export declare const flow: {
107
+ readonly name: "websearch";
108
+ readonly description: "Search the web through a configured provider and return normalized results.";
109
+ readonly input: Schema.Struct<{
110
+ readonly query: Schema.NonEmptyString;
111
+ readonly numResults: Schema.optional<Schema.Int>;
112
+ readonly freshness: Schema.optional<Schema.Literals<readonly ["day", "week", "month", "year"]>>;
113
+ }>;
114
+ readonly output: Schema.Struct<{
115
+ readonly results: Schema.$Array<Schema.Struct<{
116
+ readonly title: Schema.String;
117
+ readonly url: Schema.String;
118
+ readonly snippet: Schema.String;
119
+ readonly publishedAt: Schema.optional<Schema.String>;
120
+ }>>;
121
+ }>;
122
+ readonly capabilities: string[];
123
+ readonly effects: import("@smthrs/plan/Effects").Declaration;
124
+ };
125
+ /**
126
+ * The provider seam a web search is served through.
127
+ *
128
+ * @category services
129
+ * @since 1.0.0
130
+ */
131
+ export interface WebSearch {
132
+ readonly search: (input: typeof Input.Type) => Effect.Effect<typeof Output.Type, StdError.StdError>;
133
+ }
134
+ /**
135
+ * The {@link WebSearch} service tag.
136
+ *
137
+ * @category services
138
+ * @since 1.0.0
139
+ */
140
+ export declare const WebSearch: Context.Service<WebSearch, WebSearch>;
141
+ /**
142
+ * Builds a {@link WebSearch} from an implementation of its one method.
143
+ *
144
+ * @category constructors
145
+ * @since 1.0.0
146
+ */
147
+ export declare const make: (service: WebSearch) => WebSearch;
148
+ /**
149
+ * A {@link WebSearch} that fails every search with `provider_unavailable`,
150
+ * for an environment with no provider configured.
151
+ *
152
+ * @category constructors
153
+ * @since 1.0.0
154
+ */
155
+ export declare const makeNoop: () => WebSearch;
156
+ /**
157
+ * Provides {@link makeNoop}.
158
+ *
159
+ * @category layers
160
+ * @since 1.0.0
161
+ */
162
+ export declare const layerNoop: Layer.Layer<WebSearch>;
163
+ /**
164
+ * Runs the `websearch` flow: searches the web through the configured provider.
165
+ *
166
+ * @category handlers
167
+ * @since 1.0.0
168
+ */
169
+ export declare const run: (input: {
170
+ readonly query: string;
171
+ readonly numResults?: number | undefined;
172
+ readonly freshness?: "day" | "week" | "month" | "year" | undefined;
173
+ }) => Effect.Effect<{
174
+ readonly results: readonly {
175
+ readonly title: string;
176
+ readonly url: string;
177
+ readonly snippet: string;
178
+ readonly publishedAt?: string | undefined;
179
+ }[];
180
+ }, StdError.StdError, WebSearch>;
181
+ //# sourceMappingURL=WebSearch.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"WebSearch.d.ts","sourceRoot":"","sources":["../../src/WebSearch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,cAAc,CAAA;AAC/B;;;;;GAKG;AACH,eAAO,MAAM,WAAW,gFAAgF,CAAA;AACxG;;;;;GAKG;AACH,eAAO,MAAM,KAAK;;;;EAQhB,CAAA;AACF;;;;;GAKG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AACrC;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;;;EAOjB,CAAA;AACF;;;;;GAKG;AACH,eAAO,MAAM,MAAM;;;;;;;EAAmD,CAAA;AACtE;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC;;;;;GAKG;AACH,eAAO,MAAM,OAAO,4CAAwE,CAAA;AAC5F;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,QAAQ,OAAO,KAAK,CAAC,IAAI,+CAAY,CAAA;AAChE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,UAAgC,CAAA;AACzD;;;;;;GAMG;AACH,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;CAAsF,CAAA;AAEvG;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CACpG;AACD;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAA4C,CAAA;AACxG;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,SAAS,KAAG,SAAkC,CAAA;AAC5E;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,QAAO,SAMxB,CAAA;AACJ;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAwC,CAAA;AACrF;;;;;GAKG;AACH,eAAO,MAAM,GAAG;;;;;;;;;;;gCAKd,CAAA"}