@smthrs/harness 0.0.0-stage → 1.0.0-rc.3

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 (476) hide show
  1. package/CHANGELOG.md +387 -0
  2. package/LICENSE +21 -0
  3. package/README.md +138 -2
  4. package/dist/cjs/AgentEvent.d.ts +3092 -0
  5. package/dist/cjs/AgentEvent.d.ts.map +1 -0
  6. package/dist/cjs/AgentEvent.js +1116 -0
  7. package/dist/cjs/AgentEvent.js.map +7 -0
  8. package/dist/cjs/CallLedger.d.ts +378 -0
  9. package/dist/cjs/CallLedger.d.ts.map +1 -0
  10. package/dist/cjs/CallLedger.js +240 -0
  11. package/dist/cjs/CallLedger.js.map +7 -0
  12. package/dist/cjs/Cell.d.ts +774 -0
  13. package/dist/cjs/Cell.d.ts.map +1 -0
  14. package/dist/cjs/Cell.js +431 -0
  15. package/dist/cjs/Cell.js.map +7 -0
  16. package/dist/cjs/CellCalls.d.ts +115 -0
  17. package/dist/cjs/CellCalls.d.ts.map +1 -0
  18. package/dist/cjs/CellCalls.js +98 -0
  19. package/dist/cjs/CellCalls.js.map +7 -0
  20. package/dist/cjs/CellHistory.d.ts +102 -0
  21. package/dist/cjs/CellHistory.d.ts.map +1 -0
  22. package/dist/cjs/CellHistory.js +54 -0
  23. package/dist/cjs/CellHistory.js.map +7 -0
  24. package/dist/cjs/CellTurn.d.ts +1071 -0
  25. package/dist/cjs/CellTurn.d.ts.map +1 -0
  26. package/dist/cjs/CellTurn.js +2618 -0
  27. package/dist/cjs/CellTurn.js.map +7 -0
  28. package/dist/cjs/CellValidation.d.ts +94 -0
  29. package/dist/cjs/CellValidation.d.ts.map +1 -0
  30. package/dist/cjs/CellValidation.js +218 -0
  31. package/dist/cjs/CellValidation.js.map +7 -0
  32. package/dist/cjs/Compaction.d.ts +158 -0
  33. package/dist/cjs/Compaction.d.ts.map +1 -0
  34. package/dist/cjs/Compaction.js +189 -0
  35. package/dist/cjs/Compaction.js.map +7 -0
  36. package/dist/cjs/CompletionClaim.d.ts +801 -0
  37. package/dist/cjs/CompletionClaim.d.ts.map +1 -0
  38. package/dist/cjs/CompletionClaim.js +303 -0
  39. package/dist/cjs/CompletionClaim.js.map +7 -0
  40. package/dist/cjs/ContextWindow.d.ts +435 -0
  41. package/dist/cjs/ContextWindow.d.ts.map +1 -0
  42. package/dist/cjs/ContextWindow.js +319 -0
  43. package/dist/cjs/ContextWindow.js.map +7 -0
  44. package/dist/cjs/EngineLike.d.ts +546 -0
  45. package/dist/cjs/EngineLike.d.ts.map +1 -0
  46. package/dist/cjs/EngineLike.js +114 -0
  47. package/dist/cjs/EngineLike.js.map +7 -0
  48. package/dist/cjs/ExternalTranscript.d.ts +349 -0
  49. package/dist/cjs/ExternalTranscript.d.ts.map +1 -0
  50. package/dist/cjs/ExternalTranscript.js +826 -0
  51. package/dist/cjs/ExternalTranscript.js.map +7 -0
  52. package/dist/cjs/FailedCall.d.ts +132 -0
  53. package/dist/cjs/FailedCall.d.ts.map +1 -0
  54. package/dist/cjs/FailedCall.js +53 -0
  55. package/dist/cjs/FailedCall.js.map +7 -0
  56. package/dist/cjs/FlowBinding.d.ts +289 -0
  57. package/dist/cjs/FlowBinding.d.ts.map +1 -0
  58. package/dist/cjs/FlowBinding.js +251 -0
  59. package/dist/cjs/FlowBinding.js.map +7 -0
  60. package/dist/cjs/HarnessError.d.ts +57 -0
  61. package/dist/cjs/HarnessError.d.ts.map +1 -0
  62. package/dist/cjs/HarnessError.js +75 -0
  63. package/dist/cjs/HarnessError.js.map +7 -0
  64. package/dist/cjs/Judgement.d.ts +289 -0
  65. package/dist/cjs/Judgement.d.ts.map +1 -0
  66. package/dist/cjs/Judgement.js +240 -0
  67. package/dist/cjs/Judgement.js.map +7 -0
  68. package/dist/cjs/Monitor.d.ts +374 -0
  69. package/dist/cjs/Monitor.d.ts.map +1 -0
  70. package/dist/cjs/Monitor.js +233 -0
  71. package/dist/cjs/Monitor.js.map +7 -0
  72. package/dist/cjs/NarrowedCheck.d.ts +523 -0
  73. package/dist/cjs/NarrowedCheck.d.ts.map +1 -0
  74. package/dist/cjs/NarrowedCheck.js +263 -0
  75. package/dist/cjs/NarrowedCheck.js.map +7 -0
  76. package/dist/cjs/Notifications.d.ts +42 -0
  77. package/dist/cjs/Notifications.d.ts.map +1 -0
  78. package/dist/cjs/Notifications.js +177 -0
  79. package/dist/cjs/Notifications.js.map +7 -0
  80. package/dist/cjs/Plan.d.ts +127 -0
  81. package/dist/cjs/Plan.d.ts.map +1 -0
  82. package/dist/cjs/Plan.js +77 -0
  83. package/dist/cjs/Plan.js.map +7 -0
  84. package/dist/cjs/QuickJSSandbox.d.ts +151 -0
  85. package/dist/cjs/QuickJSSandbox.d.ts.map +1 -0
  86. package/dist/cjs/QuickJSSandbox.js +987 -0
  87. package/dist/cjs/QuickJSSandbox.js.map +7 -0
  88. package/dist/cjs/Relevance.d.ts +213 -0
  89. package/dist/cjs/Relevance.d.ts.map +1 -0
  90. package/dist/cjs/Relevance.js +183 -0
  91. package/dist/cjs/Relevance.js.map +7 -0
  92. package/dist/cjs/Sandbox.d.ts +637 -0
  93. package/dist/cjs/Sandbox.d.ts.map +1 -0
  94. package/dist/cjs/Sandbox.js +260 -0
  95. package/dist/cjs/Sandbox.js.map +7 -0
  96. package/dist/cjs/Steering.d.ts +464 -0
  97. package/dist/cjs/Steering.d.ts.map +1 -0
  98. package/dist/cjs/Steering.js +153 -0
  99. package/dist/cjs/Steering.js.map +7 -0
  100. package/dist/cjs/StructuredOutput.d.ts +252 -0
  101. package/dist/cjs/StructuredOutput.d.ts.map +1 -0
  102. package/dist/cjs/StructuredOutput.js +266 -0
  103. package/dist/cjs/StructuredOutput.js.map +7 -0
  104. package/dist/cjs/Sufficiency.d.ts +195 -0
  105. package/dist/cjs/Sufficiency.d.ts.map +1 -0
  106. package/dist/cjs/Sufficiency.js +110 -0
  107. package/dist/cjs/Sufficiency.js.map +7 -0
  108. package/dist/cjs/Supervisor.d.ts +719 -0
  109. package/dist/cjs/Supervisor.d.ts.map +1 -0
  110. package/dist/cjs/Supervisor.js +313 -0
  111. package/dist/cjs/Supervisor.js.map +7 -0
  112. package/dist/cjs/Tokens.d.ts +86 -0
  113. package/dist/cjs/Tokens.d.ts.map +1 -0
  114. package/dist/cjs/Tokens.js +72 -0
  115. package/dist/cjs/Tokens.js.map +7 -0
  116. package/dist/cjs/Transcript.d.ts +171 -0
  117. package/dist/cjs/Transcript.d.ts.map +1 -0
  118. package/dist/cjs/Transcript.js +342 -0
  119. package/dist/cjs/Transcript.js.map +7 -0
  120. package/dist/cjs/TruncatedOutput.d.ts +186 -0
  121. package/dist/cjs/TruncatedOutput.d.ts.map +1 -0
  122. package/dist/cjs/TruncatedOutput.js +143 -0
  123. package/dist/cjs/TruncatedOutput.js.map +7 -0
  124. package/dist/cjs/UnmovedTree.d.ts +113 -0
  125. package/dist/cjs/UnmovedTree.d.ts.map +1 -0
  126. package/dist/cjs/UnmovedTree.js +38 -0
  127. package/dist/cjs/UnmovedTree.js.map +7 -0
  128. package/dist/cjs/UnresolvedFailure.d.ts +196 -0
  129. package/dist/cjs/UnresolvedFailure.d.ts.map +1 -0
  130. package/dist/cjs/UnresolvedFailure.js +77 -0
  131. package/dist/cjs/UnresolvedFailure.js.map +7 -0
  132. package/dist/cjs/VacuousVerification.d.ts +237 -0
  133. package/dist/cjs/VacuousVerification.d.ts.map +1 -0
  134. package/dist/cjs/VacuousVerification.js +91 -0
  135. package/dist/cjs/VacuousVerification.js.map +7 -0
  136. package/dist/cjs/VariablesPanel.d.ts +117 -0
  137. package/dist/cjs/VariablesPanel.d.ts.map +1 -0
  138. package/dist/cjs/VariablesPanel.js +108 -0
  139. package/dist/cjs/VariablesPanel.js.map +7 -0
  140. package/dist/cjs/index.d.ts +172 -0
  141. package/dist/cjs/index.d.ts.map +1 -0
  142. package/dist/cjs/index.js +99 -0
  143. package/dist/cjs/index.js.map +7 -0
  144. package/dist/cjs/internal/bytes.d.ts +36 -0
  145. package/dist/cjs/internal/bytes.d.ts.map +1 -0
  146. package/dist/cjs/internal/bytes.js +57 -0
  147. package/dist/cjs/internal/bytes.js.map +7 -0
  148. package/dist/cjs/internal/cellPrompt.d.ts +122 -0
  149. package/dist/cjs/internal/cellPrompt.d.ts.map +1 -0
  150. package/dist/cjs/internal/cellPrompt.js +146 -0
  151. package/dist/cjs/internal/cellPrompt.js.map +7 -0
  152. package/dist/cjs/internal/compactable.d.ts +44 -0
  153. package/dist/cjs/internal/compactable.d.ts.map +1 -0
  154. package/dist/cjs/internal/compactable.js +56 -0
  155. package/dist/cjs/internal/compactable.js.map +7 -0
  156. package/dist/cjs/internal/compactionMarks.d.ts +278 -0
  157. package/dist/cjs/internal/compactionMarks.d.ts.map +1 -0
  158. package/dist/cjs/internal/compactionMarks.js +212 -0
  159. package/dist/cjs/internal/compactionMarks.js.map +7 -0
  160. package/dist/cjs/internal/demandText.d.ts +95 -0
  161. package/dist/cjs/internal/demandText.d.ts.map +1 -0
  162. package/dist/cjs/internal/demandText.js +70 -0
  163. package/dist/cjs/internal/demandText.js.map +7 -0
  164. package/dist/cjs/internal/elide.d.ts +109 -0
  165. package/dist/cjs/internal/elide.d.ts.map +1 -0
  166. package/dist/cjs/internal/elide.js +59 -0
  167. package/dist/cjs/internal/elide.js.map +7 -0
  168. package/dist/cjs/internal/frame.d.ts +463 -0
  169. package/dist/cjs/internal/frame.d.ts.map +1 -0
  170. package/dist/cjs/internal/frame.js +514 -0
  171. package/dist/cjs/internal/frame.js.map +7 -0
  172. package/dist/cjs/internal/nonNegativeSafeInt.d.ts +20 -0
  173. package/dist/cjs/internal/nonNegativeSafeInt.d.ts.map +1 -0
  174. package/dist/cjs/internal/nonNegativeSafeInt.js +29 -0
  175. package/dist/cjs/internal/nonNegativeSafeInt.js.map +7 -0
  176. package/dist/cjs/internal/paidUsage.d.ts +52 -0
  177. package/dist/cjs/internal/paidUsage.d.ts.map +1 -0
  178. package/dist/cjs/internal/paidUsage.js +70 -0
  179. package/dist/cjs/internal/paidUsage.js.map +7 -0
  180. package/dist/cjs/internal/printChannel.d.ts +233 -0
  181. package/dist/cjs/internal/printChannel.d.ts.map +1 -0
  182. package/dist/cjs/internal/printChannel.js +165 -0
  183. package/dist/cjs/internal/printChannel.js.map +7 -0
  184. package/dist/cjs/internal/printsObservation.d.ts +26 -0
  185. package/dist/cjs/internal/printsObservation.d.ts.map +1 -0
  186. package/dist/cjs/internal/printsObservation.js +27 -0
  187. package/dist/cjs/internal/printsObservation.js.map +7 -0
  188. package/dist/cjs/internal/refusal.d.ts +40 -0
  189. package/dist/cjs/internal/refusal.d.ts.map +1 -0
  190. package/dist/cjs/internal/refusal.js +45 -0
  191. package/dist/cjs/internal/refusal.js.map +7 -0
  192. package/dist/cjs/internal/supervision.d.ts +174 -0
  193. package/dist/cjs/internal/supervision.d.ts.map +1 -0
  194. package/dist/cjs/internal/supervision.js +402 -0
  195. package/dist/cjs/internal/supervision.js.map +7 -0
  196. package/dist/cjs/internal/unfinishedWork.d.ts +99 -0
  197. package/dist/cjs/internal/unfinishedWork.d.ts.map +1 -0
  198. package/dist/cjs/internal/unfinishedWork.js +80 -0
  199. package/dist/cjs/internal/unfinishedWork.js.map +7 -0
  200. package/dist/cjs/internal/unobservedCall.d.ts +112 -0
  201. package/dist/cjs/internal/unobservedCall.d.ts.map +1 -0
  202. package/dist/cjs/internal/unobservedCall.js +345 -0
  203. package/dist/cjs/internal/unobservedCall.js.map +7 -0
  204. package/dist/cjs/internal/untrustedData.d.ts +14 -0
  205. package/dist/cjs/internal/untrustedData.d.ts.map +1 -0
  206. package/dist/cjs/internal/untrustedData.js +30 -0
  207. package/dist/cjs/internal/untrustedData.js.map +7 -0
  208. package/dist/cjs/package.json +1 -0
  209. package/dist/esm/AgentEvent.d.ts +3092 -0
  210. package/dist/esm/AgentEvent.d.ts.map +1 -0
  211. package/dist/esm/AgentEvent.js +1610 -0
  212. package/dist/esm/AgentEvent.js.map +1 -0
  213. package/dist/esm/CallLedger.d.ts +378 -0
  214. package/dist/esm/CallLedger.d.ts.map +1 -0
  215. package/dist/esm/CallLedger.js +506 -0
  216. package/dist/esm/CallLedger.js.map +1 -0
  217. package/dist/esm/Cell.d.ts +774 -0
  218. package/dist/esm/Cell.d.ts.map +1 -0
  219. package/dist/esm/Cell.js +772 -0
  220. package/dist/esm/Cell.js.map +1 -0
  221. package/dist/esm/CellCalls.d.ts +115 -0
  222. package/dist/esm/CellCalls.d.ts.map +1 -0
  223. package/dist/esm/CellCalls.js +97 -0
  224. package/dist/esm/CellCalls.js.map +1 -0
  225. package/dist/esm/CellHistory.d.ts +102 -0
  226. package/dist/esm/CellHistory.d.ts.map +1 -0
  227. package/dist/esm/CellHistory.js +91 -0
  228. package/dist/esm/CellHistory.js.map +1 -0
  229. package/dist/esm/CellTurn.d.ts +1071 -0
  230. package/dist/esm/CellTurn.d.ts.map +1 -0
  231. package/dist/esm/CellTurn.js +3410 -0
  232. package/dist/esm/CellTurn.js.map +1 -0
  233. package/dist/esm/CellValidation.d.ts +94 -0
  234. package/dist/esm/CellValidation.d.ts.map +1 -0
  235. package/dist/esm/CellValidation.js +335 -0
  236. package/dist/esm/CellValidation.js.map +1 -0
  237. package/dist/esm/Compaction.d.ts +158 -0
  238. package/dist/esm/Compaction.d.ts.map +1 -0
  239. package/dist/esm/Compaction.js +216 -0
  240. package/dist/esm/Compaction.js.map +1 -0
  241. package/dist/esm/CompletionClaim.d.ts +801 -0
  242. package/dist/esm/CompletionClaim.d.ts.map +1 -0
  243. package/dist/esm/CompletionClaim.js +833 -0
  244. package/dist/esm/CompletionClaim.js.map +1 -0
  245. package/dist/esm/ContextWindow.d.ts +435 -0
  246. package/dist/esm/ContextWindow.d.ts.map +1 -0
  247. package/dist/esm/ContextWindow.js +427 -0
  248. package/dist/esm/ContextWindow.js.map +1 -0
  249. package/dist/esm/EngineLike.d.ts +546 -0
  250. package/dist/esm/EngineLike.d.ts.map +1 -0
  251. package/dist/esm/EngineLike.js +218 -0
  252. package/dist/esm/EngineLike.js.map +1 -0
  253. package/dist/esm/ExternalTranscript.d.ts +349 -0
  254. package/dist/esm/ExternalTranscript.d.ts.map +1 -0
  255. package/dist/esm/ExternalTranscript.js +987 -0
  256. package/dist/esm/ExternalTranscript.js.map +1 -0
  257. package/dist/esm/FailedCall.d.ts +132 -0
  258. package/dist/esm/FailedCall.d.ts.map +1 -0
  259. package/dist/esm/FailedCall.js +131 -0
  260. package/dist/esm/FailedCall.js.map +1 -0
  261. package/dist/esm/FlowBinding.d.ts +289 -0
  262. package/dist/esm/FlowBinding.d.ts.map +1 -0
  263. package/dist/esm/FlowBinding.js +376 -0
  264. package/dist/esm/FlowBinding.js.map +1 -0
  265. package/dist/esm/HarnessError.d.ts +57 -0
  266. package/dist/esm/HarnessError.d.ts.map +1 -0
  267. package/dist/esm/HarnessError.js +85 -0
  268. package/dist/esm/HarnessError.js.map +1 -0
  269. package/dist/esm/Judgement.d.ts +289 -0
  270. package/dist/esm/Judgement.d.ts.map +1 -0
  271. package/dist/esm/Judgement.js +305 -0
  272. package/dist/esm/Judgement.js.map +1 -0
  273. package/dist/esm/Monitor.d.ts +374 -0
  274. package/dist/esm/Monitor.d.ts.map +1 -0
  275. package/dist/esm/Monitor.js +370 -0
  276. package/dist/esm/Monitor.js.map +1 -0
  277. package/dist/esm/NarrowedCheck.d.ts +523 -0
  278. package/dist/esm/NarrowedCheck.d.ts.map +1 -0
  279. package/dist/esm/NarrowedCheck.js +612 -0
  280. package/dist/esm/NarrowedCheck.js.map +1 -0
  281. package/dist/esm/Notifications.d.ts +42 -0
  282. package/dist/esm/Notifications.d.ts.map +1 -0
  283. package/dist/esm/Notifications.js +215 -0
  284. package/dist/esm/Notifications.js.map +1 -0
  285. package/dist/esm/Plan.d.ts +127 -0
  286. package/dist/esm/Plan.d.ts.map +1 -0
  287. package/dist/esm/Plan.js +97 -0
  288. package/dist/esm/Plan.js.map +1 -0
  289. package/dist/esm/QuickJSSandbox.d.ts +151 -0
  290. package/dist/esm/QuickJSSandbox.d.ts.map +1 -0
  291. package/dist/esm/QuickJSSandbox.js +1364 -0
  292. package/dist/esm/QuickJSSandbox.js.map +1 -0
  293. package/dist/esm/Relevance.d.ts +213 -0
  294. package/dist/esm/Relevance.d.ts.map +1 -0
  295. package/dist/esm/Relevance.js +254 -0
  296. package/dist/esm/Relevance.js.map +1 -0
  297. package/dist/esm/Sandbox.d.ts +637 -0
  298. package/dist/esm/Sandbox.d.ts.map +1 -0
  299. package/dist/esm/Sandbox.js +464 -0
  300. package/dist/esm/Sandbox.js.map +1 -0
  301. package/dist/esm/Steering.d.ts +464 -0
  302. package/dist/esm/Steering.d.ts.map +1 -0
  303. package/dist/esm/Steering.js +193 -0
  304. package/dist/esm/Steering.js.map +1 -0
  305. package/dist/esm/StructuredOutput.d.ts +252 -0
  306. package/dist/esm/StructuredOutput.d.ts.map +1 -0
  307. package/dist/esm/StructuredOutput.js +430 -0
  308. package/dist/esm/StructuredOutput.js.map +1 -0
  309. package/dist/esm/Sufficiency.d.ts +195 -0
  310. package/dist/esm/Sufficiency.d.ts.map +1 -0
  311. package/dist/esm/Sufficiency.js +207 -0
  312. package/dist/esm/Sufficiency.js.map +1 -0
  313. package/dist/esm/Supervisor.d.ts +719 -0
  314. package/dist/esm/Supervisor.d.ts.map +1 -0
  315. package/dist/esm/Supervisor.js +575 -0
  316. package/dist/esm/Supervisor.js.map +1 -0
  317. package/dist/esm/Tokens.d.ts +86 -0
  318. package/dist/esm/Tokens.d.ts.map +1 -0
  319. package/dist/esm/Tokens.js +92 -0
  320. package/dist/esm/Tokens.js.map +1 -0
  321. package/dist/esm/Transcript.d.ts +171 -0
  322. package/dist/esm/Transcript.d.ts.map +1 -0
  323. package/dist/esm/Transcript.js +424 -0
  324. package/dist/esm/Transcript.js.map +1 -0
  325. package/dist/esm/TruncatedOutput.d.ts +186 -0
  326. package/dist/esm/TruncatedOutput.d.ts.map +1 -0
  327. package/dist/esm/TruncatedOutput.js +257 -0
  328. package/dist/esm/TruncatedOutput.js.map +1 -0
  329. package/dist/esm/UnmovedTree.d.ts +113 -0
  330. package/dist/esm/UnmovedTree.d.ts.map +1 -0
  331. package/dist/esm/UnmovedTree.js +90 -0
  332. package/dist/esm/UnmovedTree.js.map +1 -0
  333. package/dist/esm/UnresolvedFailure.d.ts +196 -0
  334. package/dist/esm/UnresolvedFailure.d.ts.map +1 -0
  335. package/dist/esm/UnresolvedFailure.js +218 -0
  336. package/dist/esm/UnresolvedFailure.js.map +1 -0
  337. package/dist/esm/VacuousVerification.d.ts +237 -0
  338. package/dist/esm/VacuousVerification.d.ts.map +1 -0
  339. package/dist/esm/VacuousVerification.js +245 -0
  340. package/dist/esm/VacuousVerification.js.map +1 -0
  341. package/dist/esm/VariablesPanel.d.ts +117 -0
  342. package/dist/esm/VariablesPanel.d.ts.map +1 -0
  343. package/dist/esm/VariablesPanel.js +142 -0
  344. package/dist/esm/VariablesPanel.js.map +1 -0
  345. package/dist/esm/index.d.ts +172 -0
  346. package/dist/esm/index.d.ts.map +1 -0
  347. package/dist/esm/index.js +172 -0
  348. package/dist/esm/index.js.map +1 -0
  349. package/dist/esm/internal/bytes.d.ts +36 -0
  350. package/dist/esm/internal/bytes.d.ts.map +1 -0
  351. package/dist/esm/internal/bytes.js +70 -0
  352. package/dist/esm/internal/bytes.js.map +1 -0
  353. package/dist/esm/internal/cellPrompt.d.ts +122 -0
  354. package/dist/esm/internal/cellPrompt.d.ts.map +1 -0
  355. package/dist/esm/internal/cellPrompt.js +276 -0
  356. package/dist/esm/internal/cellPrompt.js.map +1 -0
  357. package/dist/esm/internal/compactable.d.ts +44 -0
  358. package/dist/esm/internal/compactable.d.ts.map +1 -0
  359. package/dist/esm/internal/compactable.js +71 -0
  360. package/dist/esm/internal/compactable.js.map +1 -0
  361. package/dist/esm/internal/compactionMarks.d.ts +278 -0
  362. package/dist/esm/internal/compactionMarks.d.ts.map +1 -0
  363. package/dist/esm/internal/compactionMarks.js +317 -0
  364. package/dist/esm/internal/compactionMarks.js.map +1 -0
  365. package/dist/esm/internal/demandText.d.ts +95 -0
  366. package/dist/esm/internal/demandText.d.ts.map +1 -0
  367. package/dist/esm/internal/demandText.js +128 -0
  368. package/dist/esm/internal/demandText.js.map +1 -0
  369. package/dist/esm/internal/elide.d.ts +109 -0
  370. package/dist/esm/internal/elide.d.ts.map +1 -0
  371. package/dist/esm/internal/elide.js +123 -0
  372. package/dist/esm/internal/elide.js.map +1 -0
  373. package/dist/esm/internal/frame.d.ts +463 -0
  374. package/dist/esm/internal/frame.d.ts.map +1 -0
  375. package/dist/esm/internal/frame.js +861 -0
  376. package/dist/esm/internal/frame.js.map +1 -0
  377. package/dist/esm/internal/nonNegativeSafeInt.d.ts +20 -0
  378. package/dist/esm/internal/nonNegativeSafeInt.d.ts.map +1 -0
  379. package/dist/esm/internal/nonNegativeSafeInt.js +20 -0
  380. package/dist/esm/internal/nonNegativeSafeInt.js.map +1 -0
  381. package/dist/esm/internal/paidUsage.d.ts +52 -0
  382. package/dist/esm/internal/paidUsage.d.ts.map +1 -0
  383. package/dist/esm/internal/paidUsage.js +72 -0
  384. package/dist/esm/internal/paidUsage.js.map +1 -0
  385. package/dist/esm/internal/printChannel.d.ts +233 -0
  386. package/dist/esm/internal/printChannel.d.ts.map +1 -0
  387. package/dist/esm/internal/printChannel.js +376 -0
  388. package/dist/esm/internal/printChannel.js.map +1 -0
  389. package/dist/esm/internal/printsObservation.d.ts +26 -0
  390. package/dist/esm/internal/printsObservation.d.ts.map +1 -0
  391. package/dist/esm/internal/printsObservation.js +29 -0
  392. package/dist/esm/internal/printsObservation.js.map +1 -0
  393. package/dist/esm/internal/refusal.d.ts +40 -0
  394. package/dist/esm/internal/refusal.d.ts.map +1 -0
  395. package/dist/esm/internal/refusal.js +47 -0
  396. package/dist/esm/internal/refusal.js.map +1 -0
  397. package/dist/esm/internal/supervision.d.ts +174 -0
  398. package/dist/esm/internal/supervision.d.ts.map +1 -0
  399. package/dist/esm/internal/supervision.js +485 -0
  400. package/dist/esm/internal/supervision.js.map +1 -0
  401. package/dist/esm/internal/unfinishedWork.d.ts +99 -0
  402. package/dist/esm/internal/unfinishedWork.d.ts.map +1 -0
  403. package/dist/esm/internal/unfinishedWork.js +85 -0
  404. package/dist/esm/internal/unfinishedWork.js.map +1 -0
  405. package/dist/esm/internal/unobservedCall.d.ts +112 -0
  406. package/dist/esm/internal/unobservedCall.d.ts.map +1 -0
  407. package/dist/esm/internal/unobservedCall.js +501 -0
  408. package/dist/esm/internal/unobservedCall.js.map +1 -0
  409. package/dist/esm/internal/untrustedData.d.ts +14 -0
  410. package/dist/esm/internal/untrustedData.d.ts.map +1 -0
  411. package/dist/esm/internal/untrustedData.js +15 -0
  412. package/dist/esm/internal/untrustedData.js.map +1 -0
  413. package/docs/README.md +129 -0
  414. package/docs/api.md +1869 -0
  415. package/docs/concepts.md +238 -0
  416. package/docs/external-transcripts.md +245 -0
  417. package/docs/guides/bind-flows.md +167 -0
  418. package/docs/guides/drive-the-loop.md +265 -0
  419. package/docs/guides/run-cells.md +262 -0
  420. package/docs/guides/workerd.md +144 -0
  421. package/docs/installation.md +69 -0
  422. package/docs/quickstart.md +121 -0
  423. package/docs/reference.md +954 -0
  424. package/docs/troubleshooting.md +177 -0
  425. package/package.json +463 -3
  426. package/src/AgentEvent.ts +1772 -0
  427. package/src/CallLedger.ts +560 -0
  428. package/src/Cell.ts +926 -0
  429. package/src/CellCalls.ts +198 -0
  430. package/src/CellHistory.ts +128 -0
  431. package/src/CellTurn.ts +4450 -0
  432. package/src/CellValidation.ts +382 -0
  433. package/src/Compaction.ts +330 -0
  434. package/src/CompletionClaim.ts +1013 -0
  435. package/src/ContextWindow.ts +669 -0
  436. package/src/EngineLike.ts +614 -0
  437. package/src/ExternalTranscript.ts +1143 -0
  438. package/src/FailedCall.ts +163 -0
  439. package/src/FlowBinding.ts +603 -0
  440. package/src/HarnessError.ts +98 -0
  441. package/src/Judgement.ts +526 -0
  442. package/src/Monitor.ts +579 -0
  443. package/src/NarrowedCheck.ts +694 -0
  444. package/src/Notifications.ts +262 -0
  445. package/src/Plan.ts +113 -0
  446. package/src/QuickJSSandbox.ts +1557 -0
  447. package/src/Relevance.ts +352 -0
  448. package/src/Sandbox.ts +908 -0
  449. package/src/Steering.ts +405 -0
  450. package/src/StructuredOutput.ts +484 -0
  451. package/src/Sufficiency.ts +247 -0
  452. package/src/Supervisor.ts +798 -0
  453. package/src/Tokens.ts +108 -0
  454. package/src/Transcript.ts +513 -0
  455. package/src/TruncatedOutput.ts +297 -0
  456. package/src/UnmovedTree.ts +121 -0
  457. package/src/UnresolvedFailure.ts +240 -0
  458. package/src/VacuousVerification.ts +280 -0
  459. package/src/VariablesPanel.ts +165 -0
  460. package/src/index.ts +204 -0
  461. package/src/internal/bytes.ts +70 -0
  462. package/src/internal/cellPrompt.ts +337 -0
  463. package/src/internal/compactable.ts +76 -0
  464. package/src/internal/compactionMarks.ts +454 -0
  465. package/src/internal/demandText.ts +145 -0
  466. package/src/internal/elide.ts +130 -0
  467. package/src/internal/frame.ts +1178 -0
  468. package/src/internal/nonNegativeSafeInt.ts +24 -0
  469. package/src/internal/paidUsage.ts +90 -0
  470. package/src/internal/printChannel.ts +434 -0
  471. package/src/internal/printsObservation.ts +31 -0
  472. package/src/internal/refusal.ts +53 -0
  473. package/src/internal/supervision.ts +652 -0
  474. package/src/internal/unfinishedWork.ts +123 -0
  475. package/src/internal/unobservedCall.ts +536 -0
  476. package/src/internal/untrustedData.ts +19 -0
@@ -0,0 +1,435 @@
1
+ /**
2
+ * The immutable, provider-neutral context assembled for one model request.
3
+ * Every value it exposes is frozen — the arrays, the segments, and the
4
+ * messages, parts and tool declarations they hold — so a runtime mutation
5
+ * throws in strict mode instead of silently invalidating the cached digest.
6
+ *
7
+ * Governing design: `../docs/concepts.md#context-window`.
8
+ *
9
+ * @since 0.1.0
10
+ */
11
+ import * as ModelRequest from "@smthrs/model/ModelRequest";
12
+ import { type Pipeable } from "effect/Pipeable";
13
+ import * as Result from "effect/Result";
14
+ import * as Schema from "effect/Schema";
15
+ import * as Tokens from "./Tokens.ts";
16
+ /**
17
+ * The brand a {@link ContextWindow} carries so a structurally similar
18
+ * object cannot pass for one.
19
+ *
20
+ * @category type ids
21
+ * @since 0.1.0
22
+ * @slop
23
+ */
24
+ export declare const TypeId: "~flows/harness/ContextWindow";
25
+ /**
26
+ * The type of {@link TypeId}.
27
+ *
28
+ * @category type ids
29
+ * @since 0.1.0
30
+ * @slop
31
+ */
32
+ export type TypeId = typeof TypeId;
33
+ /**
34
+ * What a segment holds. The kind fixes where the segment may sit and
35
+ * whether compaction is allowed to replace it.
36
+ *
37
+ * @category models
38
+ * @since 0.1.0
39
+ * @slop
40
+ */
41
+ export declare const SegmentKind: Schema.Literals<readonly ["system", "instructions", "registry", "tools", "transcript", "summary", "steering"]>;
42
+ /**
43
+ * The decoded form of {@link SegmentKind}.
44
+ *
45
+ * @category models
46
+ * @since 0.1.0
47
+ * @slop
48
+ */
49
+ export type SegmentKind = typeof SegmentKind.Type;
50
+ /**
51
+ * Where a segment sits relative to the cache breakpoint. `prefix` segments
52
+ * are stable across turns; `tail` segments change every turn.
53
+ *
54
+ * @category models
55
+ * @since 0.1.0
56
+ * @slop
57
+ */
58
+ export declare const SegmentZone: Schema.Literals<readonly ["prefix", "tail"]>;
59
+ /**
60
+ * The decoded form of {@link SegmentZone}.
61
+ *
62
+ * @category models
63
+ * @since 0.1.0
64
+ * @slop
65
+ */
66
+ export type SegmentZone = typeof SegmentZone.Type;
67
+ /**
68
+ * The parts a segment may hold: system text, transcript messages, and tool
69
+ * declarations, in the provider-neutral vocabulary of `@smthrs/model`.
70
+ *
71
+ * @category models
72
+ * @since 0.1.0
73
+ * @slop
74
+ */
75
+ export declare const Content: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
76
+ readonly type: Schema.Literal<"text">;
77
+ readonly text: Schema.String;
78
+ }> & {
79
+ make: (input: {
80
+ readonly text: string;
81
+ }) => ModelRequest.SystemPart;
82
+ }, Schema.Union<readonly [typeof ModelRequest.UserMessage, typeof ModelRequest.AssistantMessage, typeof ModelRequest.ToolMessage]> & {
83
+ readonly discriminants: readonly ["user", "assistant", "tool"];
84
+ readonly cases: {
85
+ user: typeof ModelRequest.UserMessage;
86
+ assistant: typeof ModelRequest.AssistantMessage;
87
+ tool: typeof ModelRequest.ToolMessage;
88
+ };
89
+ readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage) => value is Extract<ModelRequest.UserMessage, {
90
+ readonly role: Keys;
91
+ }> | Extract<ModelRequest.AssistantMessage, {
92
+ readonly role: Keys;
93
+ }> | Extract<ModelRequest.ToolMessage, {
94
+ readonly role: Keys;
95
+ }>;
96
+ readonly guards: {
97
+ user: (u: unknown) => u is ModelRequest.UserMessage;
98
+ assistant: (u: unknown) => u is ModelRequest.AssistantMessage;
99
+ tool: (u: unknown) => u is ModelRequest.ToolMessage;
100
+ };
101
+ readonly match: {
102
+ <Cases extends {
103
+ user: (value: ModelRequest.UserMessage) => any;
104
+ assistant: (value: ModelRequest.AssistantMessage) => any;
105
+ tool: (value: ModelRequest.ToolMessage) => any;
106
+ }>(value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
107
+ <Cases extends {
108
+ user: (value: ModelRequest.UserMessage) => any;
109
+ assistant: (value: ModelRequest.AssistantMessage) => any;
110
+ tool: (value: ModelRequest.ToolMessage) => any;
111
+ }>(cases: Cases): (value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
112
+ };
113
+ readonly matchOrElse: {
114
+ <Cases extends {
115
+ user?: (value: ModelRequest.UserMessage) => any;
116
+ assistant?: (value: ModelRequest.AssistantMessage) => any;
117
+ tool?: (value: ModelRequest.ToolMessage) => any;
118
+ } & { [K in Exclude<keyof Cases, "user" | "assistant" | "tool">]: never; }, OrElse extends (value: Exclude<ModelRequest.UserMessage, {
119
+ readonly role: keyof Cases;
120
+ }> | Exclude<ModelRequest.AssistantMessage, {
121
+ readonly role: keyof Cases;
122
+ }> | Exclude<ModelRequest.ToolMessage, {
123
+ readonly role: keyof Cases;
124
+ }>) => any>(value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage, cases: Cases, orElse: OrElse): import("effect/Unify").Unify<{ [K_1 in keyof Cases]-?: NonNullable<Cases[K_1]> extends (...args: Array<any>) => infer R ? R : never; }[keyof Cases] | ReturnType<OrElse>>;
125
+ <Cases extends {
126
+ user?: (value: ModelRequest.UserMessage) => any;
127
+ assistant?: (value: ModelRequest.AssistantMessage) => any;
128
+ tool?: (value: ModelRequest.ToolMessage) => any;
129
+ } & { [K in Exclude<keyof Cases, "user" | "assistant" | "tool">]: never; }, OrElse extends (value: Exclude<ModelRequest.UserMessage, {
130
+ readonly role: keyof Cases;
131
+ }> | Exclude<ModelRequest.AssistantMessage, {
132
+ readonly role: keyof Cases;
133
+ }> | Exclude<ModelRequest.ToolMessage, {
134
+ readonly role: keyof Cases;
135
+ }>) => any>(cases: Cases, orElse: OrElse): (value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage) => import("effect/Unify").Unify<{ [K_1 in keyof Cases]-?: NonNullable<Cases[K_1]> extends (...args: Array<any>) => infer R ? R : never; }[keyof Cases] | ReturnType<OrElse>>;
136
+ };
137
+ } & {
138
+ make: (message: ModelRequest.Message) => ModelRequest.Message;
139
+ user: (content: string | ModelRequest.TextPart | ReadonlyArray<ModelRequest.TextPart>) => ModelRequest.UserMessage;
140
+ assistant: (content: string | ModelRequest.AssistantContentPart | ReadonlyArray<ModelRequest.AssistantContentPart>, options?: {
141
+ readonly stopReason?: ModelRequest.StopReason | undefined;
142
+ readonly responseId?: string | undefined;
143
+ readonly itemIds?: ReadonlyArray<string> | undefined;
144
+ }) => ModelRequest.AssistantMessage;
145
+ tool: (content: ModelRequest.ToolResultPart | ReadonlyArray<ModelRequest.ToolResultPart>) => ModelRequest.ToolMessage;
146
+ }, typeof ModelRequest.ToolDefinition]>>;
147
+ /**
148
+ * The decoded form of {@link Content}.
149
+ *
150
+ * @category models
151
+ * @since 0.1.0
152
+ * @slop
153
+ */
154
+ export type Content = typeof Content.Type;
155
+ /**
156
+ * What a compaction does with one prefix segment: `keep` it as it is,
157
+ * `squash` it into the summary, or `remove` it outright.
158
+ *
159
+ * @category models
160
+ * @since 1.0.0-rc.0
161
+ */
162
+ export declare const Mark: Schema.Literals<readonly ["keep", "squash", "remove"]>;
163
+ /**
164
+ * The decoded form of {@link Mark}.
165
+ *
166
+ * @category models
167
+ * @since 1.0.0-rc.0
168
+ */
169
+ export type Mark = typeof Mark.Type;
170
+ /**
171
+ * The failure vocabulary of a context window operation.
172
+ *
173
+ * @category models
174
+ * @since 0.1.0
175
+ * @slop
176
+ */
177
+ export declare const ContextWindowErrorCode: Schema.Literals<readonly ["invalid_compaction_prefix", "invalid_compaction_marks"]>;
178
+ /**
179
+ * The decoded form of {@link ContextWindowErrorCode}.
180
+ *
181
+ * @category models
182
+ * @since 0.1.0
183
+ * @slop
184
+ */
185
+ export type ContextWindowErrorCode = typeof ContextWindowErrorCode.Type;
186
+ declare const ContextWindowError_base: Schema.Class<ContextWindowError, Schema.TaggedStruct<"flows/harness/ContextWindowError", {
187
+ readonly code: Schema.Literals<readonly ["invalid_compaction_prefix", "invalid_compaction_marks"]>;
188
+ readonly message: Schema.String;
189
+ }>, import("effect/Cause").YieldableError>;
190
+ /** Stable failure returned for an invalid public compaction prefix.
191
+ * @category errors
192
+ * @since 0.1.0
193
+ * @slop
194
+ */
195
+ export declare class ContextWindowError extends ContextWindowError_base {
196
+ }
197
+ declare const Segment_base: Schema.Class<Segment, Schema.Struct<{
198
+ readonly kind: Schema.Literals<readonly ["system", "instructions", "registry", "tools", "transcript", "summary", "steering"]>;
199
+ readonly zone: Schema.Literals<readonly ["prefix", "tail"]>;
200
+ readonly digest: Schema.String;
201
+ readonly tokens: typeof Tokens.Count;
202
+ readonly content: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
203
+ readonly type: Schema.Literal<"text">;
204
+ readonly text: Schema.String;
205
+ }> & {
206
+ make: (input: {
207
+ readonly text: string;
208
+ }) => ModelRequest.SystemPart;
209
+ }, Schema.Union<readonly [typeof ModelRequest.UserMessage, typeof ModelRequest.AssistantMessage, typeof ModelRequest.ToolMessage]> & {
210
+ readonly discriminants: readonly ["user", "assistant", "tool"];
211
+ readonly cases: {
212
+ user: typeof ModelRequest.UserMessage;
213
+ assistant: typeof ModelRequest.AssistantMessage;
214
+ tool: typeof ModelRequest.ToolMessage;
215
+ };
216
+ readonly isAnyOf: <const Keys>(keys: readonly Keys[]) => (value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage) => value is Extract<ModelRequest.UserMessage, {
217
+ readonly role: Keys;
218
+ }> | Extract<ModelRequest.AssistantMessage, {
219
+ readonly role: Keys;
220
+ }> | Extract<ModelRequest.ToolMessage, {
221
+ readonly role: Keys;
222
+ }>;
223
+ readonly guards: {
224
+ user: (u: unknown) => u is ModelRequest.UserMessage;
225
+ assistant: (u: unknown) => u is ModelRequest.AssistantMessage;
226
+ tool: (u: unknown) => u is ModelRequest.ToolMessage;
227
+ };
228
+ readonly match: {
229
+ <Cases extends {
230
+ user: (value: ModelRequest.UserMessage) => any;
231
+ assistant: (value: ModelRequest.AssistantMessage) => any;
232
+ tool: (value: ModelRequest.ToolMessage) => any;
233
+ }>(value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage, cases: Cases): Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
234
+ <Cases extends {
235
+ user: (value: ModelRequest.UserMessage) => any;
236
+ assistant: (value: ModelRequest.AssistantMessage) => any;
237
+ tool: (value: ModelRequest.ToolMessage) => any;
238
+ }>(cases: Cases): (value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage) => Cases[keyof Cases] extends (value: any) => infer R ? import("effect/Unify").Unify<R> : never;
239
+ };
240
+ readonly matchOrElse: {
241
+ <Cases extends {
242
+ user?: (value: ModelRequest.UserMessage) => any;
243
+ assistant?: (value: ModelRequest.AssistantMessage) => any;
244
+ tool?: (value: ModelRequest.ToolMessage) => any;
245
+ } & { [K in Exclude<keyof Cases, "user" | "assistant" | "tool">]: never; }, OrElse extends (value: Exclude<ModelRequest.UserMessage, {
246
+ readonly role: keyof Cases;
247
+ }> | Exclude<ModelRequest.AssistantMessage, {
248
+ readonly role: keyof Cases;
249
+ }> | Exclude<ModelRequest.ToolMessage, {
250
+ readonly role: keyof Cases;
251
+ }>) => any>(value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage, cases: Cases, orElse: OrElse): import("effect/Unify").Unify<{ [K_1 in keyof Cases]-?: NonNullable<Cases[K_1]> extends (...args: Array<any>) => infer R ? R : never; }[keyof Cases] | ReturnType<OrElse>>;
252
+ <Cases extends {
253
+ user?: (value: ModelRequest.UserMessage) => any;
254
+ assistant?: (value: ModelRequest.AssistantMessage) => any;
255
+ tool?: (value: ModelRequest.ToolMessage) => any;
256
+ } & { [K in Exclude<keyof Cases, "user" | "assistant" | "tool">]: never; }, OrElse extends (value: Exclude<ModelRequest.UserMessage, {
257
+ readonly role: keyof Cases;
258
+ }> | Exclude<ModelRequest.AssistantMessage, {
259
+ readonly role: keyof Cases;
260
+ }> | Exclude<ModelRequest.ToolMessage, {
261
+ readonly role: keyof Cases;
262
+ }>) => any>(cases: Cases, orElse: OrElse): (value: ModelRequest.UserMessage | ModelRequest.AssistantMessage | ModelRequest.ToolMessage) => import("effect/Unify").Unify<{ [K_1 in keyof Cases]-?: NonNullable<Cases[K_1]> extends (...args: Array<any>) => infer R ? R : never; }[keyof Cases] | ReturnType<OrElse>>;
263
+ };
264
+ } & {
265
+ make: (message: ModelRequest.Message) => ModelRequest.Message;
266
+ user: (content: string | ModelRequest.TextPart | ReadonlyArray<ModelRequest.TextPart>) => ModelRequest.UserMessage;
267
+ assistant: (content: string | ModelRequest.AssistantContentPart | ReadonlyArray<ModelRequest.AssistantContentPart>, options?: {
268
+ readonly stopReason?: ModelRequest.StopReason | undefined;
269
+ readonly responseId?: string | undefined;
270
+ readonly itemIds?: ReadonlyArray<string> | undefined;
271
+ }) => ModelRequest.AssistantMessage;
272
+ tool: (content: ModelRequest.ToolResultPart | ReadonlyArray<ModelRequest.ToolResultPart>) => ModelRequest.ToolMessage;
273
+ }, typeof ModelRequest.ToolDefinition]>>;
274
+ }>, {}>;
275
+ /** A stable, typed slice of the model-visible context.
276
+ * @category models
277
+ * @since 0.1.0
278
+ * @slop
279
+ */
280
+ export declare class Segment extends Segment_base {
281
+ }
282
+ declare const ContextWindow_base: Schema.Class<ContextWindow, Schema.Struct<{
283
+ readonly modelId: Schema.String;
284
+ readonly segments: Schema.$Array<typeof Segment>;
285
+ readonly activeTools: Schema.$Array<Schema.String>;
286
+ readonly replaced: Schema.optional<Schema.String>;
287
+ readonly digest: Schema.String;
288
+ readonly tokens: typeof Tokens.Accounting;
289
+ }>, {}>;
290
+ /**
291
+ * One assembled, immutable model context: its ordered segments, the tools
292
+ * currently active, and the token accounting for both. Every combinator
293
+ * returns a new window rather than mutating this one.
294
+ *
295
+ * @category models
296
+ * @since 0.1.0
297
+ * @slop
298
+ */
299
+ export declare class ContextWindow extends ContextWindow_base implements Pipeable {
300
+ readonly [TypeId]: "~flows/harness/ContextWindow";
301
+ /** Threads this window through the data-last combinators of this module.
302
+ *
303
+ * `window.pipe(appendTurn(message), render)` is `render(appendTurn(window, message))`.
304
+ *
305
+ * @category combinators
306
+ * @since 0.1.0
307
+ */
308
+ pipe<A>(this: A): A;
309
+ pipe<A, B>(this: A, ab: (_: A) => B): B;
310
+ pipe<A, B, C>(this: A, ab: (_: A) => B, bc: (_: B) => C): C;
311
+ pipe<A, B, C, D>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D;
312
+ pipe<A, B, C, D, E>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E): E;
313
+ pipe<A, B, C, D, E, F>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F): F;
314
+ pipe<A, B, C, D, E, F, G>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G): G;
315
+ pipe<A, B, C, D, E, F, G, H>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H): H;
316
+ pipe<A, B, C, D, E, F, G, H, I>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I): I;
317
+ pipe<A, B, C, D, E, F, G, H, I, J>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E, ef: (_: E) => F, fg: (_: F) => G, gh: (_: G) => H, hi: (_: H) => I, ij: (_: I) => J): J;
318
+ /** @category constructors @since 0.1.0 */
319
+ static make(input: MakeOptions): ContextWindow;
320
+ /** @category constructors @since 0.1.0 */
321
+ static empty(modelId: string): ContextWindow;
322
+ /** @category combinators @since 0.1.0 */
323
+ static appendTurn(self: ContextWindow, assistantMessage: ModelRequest.AssistantMessage): ContextWindow;
324
+ /** @category combinators @since 0.1.0 */
325
+ static compact(self: ContextWindow, summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>): Result.Result<ContextWindow, ContextWindowError>;
326
+ /** @category conversions @since 0.1.0 */
327
+ static render(self: ContextWindow): ModelRequest.ModelRequest;
328
+ }
329
+ /**
330
+ * A segment before its digest and token count are computed. Supplying
331
+ * `declaredDigest` or `tokens` skips the corresponding computation.
332
+ *
333
+ * @category models
334
+ * @since 0.1.0
335
+ * @slop
336
+ */
337
+ export interface SegmentInput {
338
+ readonly kind: SegmentKind;
339
+ readonly zone: SegmentZone;
340
+ readonly content: Content;
341
+ readonly declaredDigest?: string | undefined;
342
+ readonly tokens?: Tokens.Count | undefined;
343
+ }
344
+ /**
345
+ * The declaration {@link ContextWindow.make} takes.
346
+ *
347
+ * @category models
348
+ * @since 0.1.0
349
+ * @slop
350
+ */
351
+ export interface MakeOptions {
352
+ readonly modelId: string;
353
+ readonly segments?: ReadonlyArray<Segment | SegmentInput> | undefined;
354
+ readonly activeTools?: ReadonlyArray<string> | undefined;
355
+ readonly replaced?: string | undefined;
356
+ }
357
+ /** Creates one segment, computing its identity and estimated token count.
358
+ * @category constructors
359
+ * @since 0.1.0
360
+ * @slop
361
+ */
362
+ export declare const makeSegment: (input: Segment | SegmentInput) => Segment;
363
+ /** Constructs a window from already-derived values.
364
+ * @category constructors
365
+ * @since 0.1.0
366
+ * @slop
367
+ */
368
+ export declare const make: (options: MakeOptions) => ContextWindow;
369
+ /** Constructs an empty context window for a model.
370
+ * @category constructors
371
+ * @since 0.1.0
372
+ * @slop
373
+ */
374
+ export declare const empty: (modelId: string) => ContextWindow;
375
+ /** Appends one settled assistant message.
376
+ *
377
+ * @category combinators
378
+ * @since 0.1.0
379
+ * @slop
380
+ */
381
+ export declare const appendTurn: {
382
+ (assistantMessage: ModelRequest.AssistantMessage): (self: ContextWindow) => ContextWindow;
383
+ (self: ContextWindow, assistantMessage: ModelRequest.AssistantMessage): ContextWindow;
384
+ };
385
+ /**
386
+ * Computes the declared identity of an exact compactable prefix.
387
+ *
388
+ * @category conversions
389
+ * @since 0.1.0
390
+ * @slop
391
+ */
392
+ export declare const prefixDigest: (self: ContextWindow, prefixLength: number) => Result.Result<string, ContextWindowError>;
393
+ /**
394
+ * Compacts an exact compactable prefix by its marks, one per prefix segment.
395
+ *
396
+ * The result holds, in order: the segments before the prefix; one `summary`
397
+ * segment of `summary` when any segment is squashed; the kept segments, as
398
+ * the same objects, so their digests are stable; then the suffix. Removed
399
+ * segments are dropped. `summary` is required exactly when a segment is
400
+ * squashed.
401
+ *
402
+ * @category combinators
403
+ * @since 1.0.0-rc.0
404
+ */
405
+ export declare const compactMarked: (self: ContextWindow, prefixLength: number, marks: ReadonlyArray<Mark>, summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message> | undefined) => Result.Result<ContextWindow, ContextWindowError>;
406
+ /**
407
+ * Replaces an exact compactable prefix while retaining every suffix segment:
408
+ * {@link compactMarked} with every segment squashed.
409
+ *
410
+ * @category combinators
411
+ * @since 0.1.0
412
+ * @slop
413
+ */
414
+ export declare const compactPrefix: (self: ContextWindow, prefixLength: number, summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>) => Result.Result<ContextWindow, ContextWindowError>;
415
+ /** Replaces the compactable transcript prefix with a summary segment.
416
+ *
417
+ * The most recent transcript segment remains the suffix, so a compacted
418
+ * projection renders summary first followed by the un-compacted tail.
419
+ *
420
+ * @category combinators
421
+ * @since 0.1.0
422
+ * @slop
423
+ */
424
+ export declare const compact: {
425
+ (summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>): (self: ContextWindow) => Result.Result<ContextWindow, ContextWindowError>;
426
+ (self: ContextWindow, summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>): Result.Result<ContextWindow, ContextWindowError>;
427
+ };
428
+ /** Renders this provider-neutral value into a model request.
429
+ * @category conversions
430
+ * @since 0.1.0
431
+ * @slop
432
+ */
433
+ export declare const render: (self: ContextWindow) => ModelRequest.ModelRequest;
434
+ export {};
435
+ //# sourceMappingURL=ContextWindow.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ContextWindow.d.ts","sourceRoot":"","sources":["../../src/ContextWindow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAA;AAE1D,OAAO,EAAE,KAAK,QAAQ,EAAiB,MAAM,iBAAiB,CAAA;AAC9D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;;;;;GAOG;AACH,eAAO,MAAM,MAAM,EAAG,8BAAuC,CAAA;AAE7D;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAA;AAElC;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,gHAQtB,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,8CAAsC,CAAA;AAE9D;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BA+MK,CAAC;2BAEvB,CAAC;wBAGH,CAAC;;;wCAlND,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,wDAAgD,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAA;AAEnC;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,qFAA6E,CAAA;AAEhH;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;;;;;AAEvE;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,uBAMvC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+BAoJqB,CAAC;+BAEvB,CAAC;4BAGH,CAAC;;;;;AAhJF;;;;GAIG;AACH,qBAAa,OAAQ,SAAQ,YAM3B;CAAG;;;;;;;;;AAEL;;;;;;;;GAQG;AACH,qBAAa,aAAc,SAAQ,kBAOhC,YAAW,QAAQ;IACpB,QAAQ,CAAC,CAAC,MAAM,CAAC,iCAAS;IAE1B;;;;;;OAMG;IACH,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC;IACnB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IACvC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IAC3D,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IAC/E,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IACnG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnB,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC;IACJ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtB,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC;IACJ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzB,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC;IACJ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5B,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC;IACJ,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EACf,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GACd,CAAC;IAMJ,0CAA0C;WAC1B,IAAI,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa;IAIvD,0CAA0C;IAC1C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,aAAa;IAI5C,yCAAyC;IACzC,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,CAAC,gBAAgB,GAAG,aAAa;IAItG,yCAAyC;IACzC,MAAM,CAAC,OAAO,CACZ,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,YAAY,CAAC,OAAO,GAAG,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,GAClE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAAC;IAInD,yCAAyC;IACzC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,CAAC,YAAY;CAG9D;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC5C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,SAAS,CAAA;CAC3C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,GAAG,YAAY,CAAC,GAAG,SAAS,CAAA;IACrE,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACxD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACvC;AA0ED;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,OAAO,GAAG,YAAY,KAAG,OAqB3D,CAAA;AA+CD;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,WAAW,KAAG,aAAmC,CAAA;AAE/E;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,SAAS,MAAM,KAAG,aAAkC,CAAA;AAE1E;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB,GAAG,CAAC,IAAI,EAAE,aAAa,KAAK,aAAa,CAAA;IACzF,CAAC,IAAI,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,CAAC,gBAAgB,GAAG,aAAa,CAAA;CAUlF,CAAA;AAuCL;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,MAAM,aAAa,EACnB,cAAc,MAAM,KACnB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CACsE,CAAA;AAKjH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,aAAa,EACnB,cAAc,MAAM,EACpB,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,SAAS,YAAY,CAAC,OAAO,GAAG,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,SAAS,KAC9E,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAwB9C,CAAA;AAEJ;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,aAAa,EACnB,cAAc,MAAM,EACpB,SAAS,YAAY,CAAC,OAAO,GAAG,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,KAClE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAO5C,CAAA;AAEN;;;;;;;;GAQG;AACH,eAAO,MAAM,OAAO,EAAE;IACpB,CACE,OAAO,EAAE,YAAY,CAAC,OAAO,GAAG,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,GAClE,CAAC,IAAI,EAAE,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAAC,CAAA;IAC5E,CACE,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,YAAY,CAAC,OAAO,GAAG,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,GAClE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,CAAC,CAAA;CAKnD,CAAA;AAEF;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,aAAa,KAAG,YAAY,CAAC,YAuBzD,CAAA"}