@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,57 @@
1
+ /**
2
+ * Stable failures reported at the harness translation boundary.
3
+ *
4
+ * @since 0.1.0
5
+ */
6
+ import * as Evaluator from "@smthrs/model/Evaluator";
7
+ import { Schema } from "effect";
8
+ /**
9
+ * Stable harness failure codes.
10
+ *
11
+ * The set is closed to codes this package and `@smthrs/agent` actually raise;
12
+ * `test/Contracts.test.ts` pins every member to a construction site under
13
+ * `src`. Interrupting a run does not raise one: `CellTurn` emits
14
+ * `AgentEvent.Aborted` and forwards the interrupt cause unchanged, and a
15
+ * failed projection is `Transcript.TranscriptError`. A foreign CLI adapter declares its own error family beside the adapter in
16
+ * `@smthrs/agent` rather than borrowing this one.
17
+ *
18
+ * @category models
19
+ * @since 0.1.0
20
+ * @slop
21
+ */
22
+ export declare const HarnessErrorCode: Schema.Literals<readonly ["assembly_failed", "approval_unavailable", "incompatible_journal", "render_failed", "model_failed", "engine_failed", "read_only_cap", "completion_unjudged", "completion_incomplete", "claim_unproven", "suspended"]>;
23
+ /**
24
+ * Stable harness failure codes.
25
+ *
26
+ * @category models
27
+ * @since 0.1.0
28
+ * @slop
29
+ */
30
+ export type HarnessErrorCode = typeof HarnessErrorCode.Type;
31
+ declare const HarnessError_base: Schema.Class<HarnessError, Schema.TaggedStruct<"/harness/HarnessError", {
32
+ readonly code: Schema.Literals<readonly ["assembly_failed", "approval_unavailable", "incompatible_journal", "render_failed", "model_failed", "engine_failed", "read_only_cap", "completion_unjudged", "completion_incomplete", "claim_unproven", "suspended"]>;
33
+ readonly message: Schema.String;
34
+ readonly cause: Schema.optional<Schema.Union<readonly [typeof Evaluator.EvaluatorError, Schema.Defect]>>;
35
+ }>, import("effect/Cause").YieldableError>;
36
+ /**
37
+ * A failure while translating a recorded agent turn.
38
+ *
39
+ * Evaluator causes retain their typed fields across replay. Other causes use
40
+ * {@link Schema.Defect} rather than {@link Schema.Unknown}: a
41
+ * `HarnessError` is a member of `@smthrs/agent/AgentAction`'s `AgentFailure`
42
+ * union, which is encoded through the durable exit schema for journaling. A
43
+ * raw `Error` (or any other non-JSON value) attached as `cause` has no safe
44
+ * JSON representation under `Schema.Unknown`, so encoding it dies with a
45
+ * `SchemaError` that replaces the real failure instead of reporting it.
46
+ * `Schema.Defect` decodes to the same `unknown` type but encodes any value —
47
+ * including a real `Error` — to JSON, with the same graceful degradation
48
+ * `Cause` defects already rely on elsewhere in this codebase.
49
+ *
50
+ * @category errors
51
+ * @since 0.1.0
52
+ * @slop
53
+ */
54
+ export declare class HarnessError extends HarnessError_base {
55
+ }
56
+ export {};
57
+ //# sourceMappingURL=HarnessError.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"HarnessError.d.ts","sourceRoot":"","sources":["../../src/HarnessError.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAA;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,gBAAgB,iPAY3B,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;;;;;;AAY3D;;;;;;;;;;;;;;;;;GAiBG;AACH,qBAAa,YAAa,SAAQ,iBAIhC;CAAG"}
@@ -0,0 +1,75 @@
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 name in all)
10
+ __defProp(target, name, { get: all[name], 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 HarnessError_exports = {};
30
+ __export(HarnessError_exports, {
31
+ HarnessError: () => HarnessError,
32
+ HarnessErrorCode: () => HarnessErrorCode
33
+ });
34
+ module.exports = __toCommonJS(HarnessError_exports);
35
+ var Fault = __toESM(require("@smthrs/flow/Fault"), 1);
36
+ var Evaluator = __toESM(require("@smthrs/model/Evaluator"), 1);
37
+ var import_effect = require("effect");
38
+ const HarnessErrorCode = import_effect.Schema.Literals([
39
+ "assembly_failed",
40
+ "approval_unavailable",
41
+ "incompatible_journal",
42
+ "render_failed",
43
+ "model_failed",
44
+ "engine_failed",
45
+ "read_only_cap",
46
+ "completion_unjudged",
47
+ "completion_incomplete",
48
+ "claim_unproven",
49
+ "suspended"
50
+ ]);
51
+ class HarnessError extends import_effect.Schema.TaggedError()("/harness/HarnessError", {
52
+ code: HarnessErrorCode,
53
+ message: import_effect.Schema.String,
54
+ cause: import_effect.Schema.optional(import_effect.Schema.Union([Evaluator.EvaluatorError, import_effect.Schema.Defect()]))
55
+ }) {
56
+ }
57
+ Fault.register(
58
+ "/harness/HarnessError",
59
+ {
60
+ assembly_failed: "bug",
61
+ approval_unavailable: "dependency",
62
+ incompatible_journal: "bug",
63
+ render_failed: "bug",
64
+ model_failed: "dependency",
65
+ completion_unjudged: "dependency",
66
+ engine_failed: "infra",
67
+ // A spent cap, unfinished work or an unproven claim is the plan not
68
+ // converging: a replan's to fix.
69
+ read_only_cap: "factory",
70
+ completion_incomplete: "factory",
71
+ claim_unproven: "factory",
72
+ suspended: "wait"
73
+ }
74
+ );
75
+ //# sourceMappingURL=HarnessError.js.map
@@ -0,0 +1,7 @@
1
+ {
2
+ "version": 3,
3
+ "sources": ["../../src/HarnessError.ts"],
4
+ "sourcesContent": ["/**\n * Stable failures reported at the harness translation boundary.\n *\n * @since 0.1.0\n */\n\nimport * as Fault from \"@smthrs/flow/Fault\"\nimport * as Evaluator from \"@smthrs/model/Evaluator\"\nimport { Schema } from \"effect\"\n\n/**\n * Stable harness failure codes.\n *\n * The set is closed to codes this package and `@smthrs/agent` actually raise;\n * `test/Contracts.test.ts` pins every member to a construction site under\n * `src`. Interrupting a run does not raise one: `CellTurn` emits\n * `AgentEvent.Aborted` and forwards the interrupt cause unchanged, and a\n * failed projection is `Transcript.TranscriptError`. A foreign CLI adapter declares its own error family beside the adapter in\n * `@smthrs/agent` rather than borrowing this one.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport const HarnessErrorCode = Schema.Literals([\n \"assembly_failed\",\n \"approval_unavailable\",\n \"incompatible_journal\",\n \"render_failed\",\n \"model_failed\",\n \"engine_failed\",\n \"read_only_cap\",\n \"completion_unjudged\",\n \"completion_incomplete\",\n \"claim_unproven\",\n \"suspended\"\n])\n\n/**\n * Stable harness failure codes.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport type HarnessErrorCode = typeof HarnessErrorCode.Type\n\n/*\n * Every schema and error identifier in this package \u2014 this one, and the\n * `flows/harness/...` ids on the classes in `Cell`, `ContextWindow`,\n * `CellTurn` and the rest \u2014 is a durable name, not a label. It is written into\n * a journal, into a sealed step key, and into an encoded exit, so renaming one\n * makes an existing run undecodable rather than tidier. They keep the names\n * they were journaled under. Context service tags carry no such history: they\n * are runtime keys, resolved and discarded within a process, so those all read\n * `@smthrs/harness/...` after the package.\n */\n/**\n * A failure while translating a recorded agent turn.\n *\n * Evaluator causes retain their typed fields across replay. Other causes use\n * {@link Schema.Defect} rather than {@link Schema.Unknown}: a\n * `HarnessError` is a member of `@smthrs/agent/AgentAction`'s `AgentFailure`\n * union, which is encoded through the durable exit schema for journaling. A\n * raw `Error` (or any other non-JSON value) attached as `cause` has no safe\n * JSON representation under `Schema.Unknown`, so encoding it dies with a\n * `SchemaError` that replaces the real failure instead of reporting it.\n * `Schema.Defect` decodes to the same `unknown` type but encodes any value \u2014\n * including a real `Error` \u2014 to JSON, with the same graceful degradation\n * `Cause` defects already rely on elsewhere in this codebase.\n *\n * @category errors\n * @since 0.1.0\n * @slop\n */\nexport class HarnessError extends Schema.TaggedError<HarnessError>()(\"/harness/HarnessError\", {\n code: HarnessErrorCode,\n message: Schema.String,\n cause: Schema.optional(Schema.Union([Evaluator.EvaluatorError, Schema.Defect()]))\n}) {}\nFault.register(\n \"/harness/HarnessError\",\n {\n assembly_failed: \"bug\",\n approval_unavailable: \"dependency\",\n incompatible_journal: \"bug\",\n render_failed: \"bug\",\n model_failed: \"dependency\",\n completion_unjudged: \"dependency\",\n engine_failed: \"infra\",\n // A spent cap, unfinished work or an unproven claim is the plan not\n // converging: a replan's to fix.\n read_only_cap: \"factory\",\n completion_incomplete: \"factory\",\n claim_unproven: \"factory\",\n suspended: \"wait\"\n } satisfies Fault.Rows<HarnessErrorCode>\n)\n"],
5
+ "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAMA,YAAuB;AACvB,gBAA2B;AAC3B,oBAAuB;AAgBhB,MAAM,mBAAmB,qBAAO,SAAS;AAAA,EAC9C;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AAuCM,MAAM,qBAAqB,qBAAO,YAA0B,EAAE,yBAAyB;AAAA,EAC5F,MAAM;AAAA,EACN,SAAS,qBAAO;AAAA,EAChB,OAAO,qBAAO,SAAS,qBAAO,MAAM,CAAC,UAAU,gBAAgB,qBAAO,OAAO,CAAC,CAAC,CAAC;AAClF,CAAC,EAAE;AAAC;AACJ,MAAM;AAAA,EACJ;AAAA,EACA;AAAA,IACE,iBAAiB;AAAA,IACjB,sBAAsB;AAAA,IACtB,sBAAsB;AAAA,IACtB,eAAe;AAAA,IACf,cAAc;AAAA,IACd,qBAAqB;AAAA,IACrB,eAAe;AAAA;AAAA;AAAA,IAGf,eAAe;AAAA,IACf,uBAAuB;AAAA,IACvB,gBAAgB;AAAA,IAChB,WAAW;AAAA,EACb;AACF;",
6
+ "names": []
7
+ }
@@ -0,0 +1,289 @@
1
+ /**
2
+ * The one way this package asks Jev a question.
3
+ *
4
+ * Every reading a control takes — the supervisor's, the completion brake's,
5
+ * and every relevance, compaction, monitor and routing reading after them —
6
+ * goes through here, so each is metered the same way and fails the same way.
7
+ *
8
+ * Two layers. {@link measured} asks through the bound `Evaluator` and keeps
9
+ * what the classifier drops: the transport's usage, the provider's own
10
+ * confidence, the state exactly as it was sent, and the wall-clock latency.
11
+ * Its failure is the transport's own. {@link read} is the fail-closed layer
12
+ * above it: a host with no `Evaluator` and a transport that could not answer
13
+ * both fail as {@link Unjudged}, with a detail that is safe to journal. There
14
+ * is no reading Jev did not make, and nothing here fills one in.
15
+ *
16
+ * {@link perItem} asks one set of questions about each of many items. Items
17
+ * go in as few requests as fit {@link maxStateBytes}, in order, and a reading
18
+ * is whole or it fails: one failed request fails every item, and partial
19
+ * answers are never returned.
20
+ *
21
+ * {@link recorded} is how a reading taken inside a run is journaled: through
22
+ * `EngineLike.record`, so a replayed frame is served what the first attempt
23
+ * read and never asks again, with the `decision-settled` or
24
+ * `decision-unjudged` rows {@link emitRecorded} journals beside it.
25
+ *
26
+ * @since 1.0.0-rc.0
27
+ */
28
+ import * as Classifier from "@smthrs/model/Classifier";
29
+ import * as Evaluator from "@smthrs/model/Evaluator";
30
+ import * as Effect from "effect/Effect";
31
+ import * as Schema from "effect/Schema";
32
+ import * as AgentEvent from "./AgentEvent.ts";
33
+ import type * as EngineLike from "./EngineLike.ts";
34
+ import type { HarnessError } from "./HarnessError.ts";
35
+ /**
36
+ * Why a reading could not be judged, and what went wrong in words safe to
37
+ * journal. `reason` is `unconfigured`, `interrupted`, or the transport's own
38
+ * error code; an `unreachable` detail is `Evaluator.unreachableMessage`.
39
+ *
40
+ * @category models
41
+ * @since 1.0.0-rc.0
42
+ */
43
+ export interface Unjudged {
44
+ readonly reason: typeof AgentEvent.UnjudgedReason.Type;
45
+ readonly detail: string;
46
+ /**
47
+ * What each request of the failed reading paid, when the provider metered
48
+ * it before the reading failed: a failed reading is still spend (#3010).
49
+ */
50
+ readonly usage?: ReadonlyArray<Evaluator.Usage> | undefined;
51
+ }
52
+ /**
53
+ * The failure of a reading on a host that binds no `Evaluator`.
54
+ *
55
+ * @category constants
56
+ * @since 1.0.0-rc.0
57
+ */
58
+ export declare const unconfigured: Unjudged;
59
+ /**
60
+ * What one request asked and what came back, in the shape
61
+ * `AgentEvent.DecisionSettled` carries.
62
+ *
63
+ * @category models
64
+ * @since 1.0.0-rc.0
65
+ */
66
+ export interface Asked {
67
+ /** The classifier's stable id. */
68
+ readonly classifier: string;
69
+ /** `Classifier.digest`. */
70
+ readonly digest: string;
71
+ readonly questions: Classifier.Questions;
72
+ /** The encoded state, as the transport was sent it. */
73
+ readonly state: Schema.Json;
74
+ readonly answers: Readonly<Record<string, AgentEvent.DecisionAnswer>>;
75
+ /** Wall-clock milliseconds the evaluation took. */
76
+ readonly latencyMs: number;
77
+ /** Token usage the transport reported, absent when it reported none. */
78
+ readonly usage?: Evaluator.Usage | undefined;
79
+ }
80
+ /**
81
+ * One reading: the decoded answers and the record of asking.
82
+ *
83
+ * @category models
84
+ * @since 1.0.0-rc.0
85
+ */
86
+ export interface Read<Qs extends Classifier.Questions> {
87
+ readonly answers: Classifier.AnswersOf<Qs>;
88
+ readonly asked: Asked;
89
+ }
90
+ /**
91
+ * Asks every question of `classifier` about `state` through the bound
92
+ * `Evaluator`, keeping the usage, the provider's confidence, the state as
93
+ * sent and the latency. The transport's failure is kept as it is.
94
+ *
95
+ * @category constructors
96
+ * @since 1.0.0-rc.0
97
+ */
98
+ export declare const measured: <Id extends string, S extends Schema.Codec<any, any>, Qs extends Classifier.Questions>(classifier: Classifier.Classifier<Id, S, Qs>, state: S["Type"]) => Effect.Effect<Read<Qs>, Classifier.ClassifierError, Evaluator.Evaluator>;
99
+ /**
100
+ * Asks like {@link measured}, and fails as {@link Unjudged} whenever no
101
+ * answer could be obtained: no `Evaluator` bound, a refusal, a deadline, an
102
+ * answer that does not decode.
103
+ *
104
+ * @category constructors
105
+ * @since 1.0.0-rc.0
106
+ */
107
+ export declare const read: <Id extends string, S extends Schema.Codec<any, any>, Qs extends Classifier.Questions>(classifier: Classifier.Classifier<Id, S, Qs>, state: S["Type"]) => Effect.Effect<Read<Qs>, Unjudged>;
108
+ /**
109
+ * The largest state one reading sends, in UTF-8 bytes of its JSON: the
110
+ * ceiling the `jev` flow applies to a cell's own calls.
111
+ *
112
+ * @category constants
113
+ * @since 1.0.0-rc.0
114
+ */
115
+ export declare const maxStateBytes = 262144;
116
+ /**
117
+ * The questions {@link perItem} asks about each item, each built for the
118
+ * item's index within its request.
119
+ *
120
+ * @category models
121
+ * @since 1.0.0-rc.0
122
+ */
123
+ export type ItemQuestions = Readonly<Record<string, (index: number) => Classifier.Question>>;
124
+ /**
125
+ * The answers {@link perItem} reads for one item, keyed as its questions are.
126
+ *
127
+ * @category models
128
+ * @since 1.0.0-rc.0
129
+ */
130
+ export type ItemAnswers<Qs extends ItemQuestions> = {
131
+ readonly [Key in keyof Qs]: Classifier.AnswerOf<ReturnType<Qs[Key]>>;
132
+ };
133
+ /**
134
+ * What {@link perItem} declares.
135
+ *
136
+ * @category models
137
+ * @since 1.0.0-rc.0
138
+ */
139
+ export interface PerItemOptions<Ctx, Item, Qs extends ItemQuestions> {
140
+ /** The classifier's stable id. */
141
+ readonly id: string;
142
+ readonly description: string;
143
+ /** What every request carries beside its items. */
144
+ readonly context: Schema.Codec<Ctx, any>;
145
+ readonly item: Schema.Codec<Item, any>;
146
+ /** Asked once per item; the question id is `${key}_${index}`. */
147
+ readonly questions: Qs;
148
+ /** Requests in flight at once. Defaults to `Classifier.defaultConcurrency`. */
149
+ readonly concurrency?: number | undefined;
150
+ /** The ceiling one request's state is packed under. Defaults to {@link maxStateBytes}. */
151
+ readonly maxStateBytes?: number | undefined;
152
+ }
153
+ /**
154
+ * The state of one {@link perItem} request.
155
+ *
156
+ * @category models
157
+ * @since 1.0.0-rc.0
158
+ */
159
+ export interface ItemState<Ctx, Item> {
160
+ readonly context: Ctx;
161
+ readonly items: ReadonlyArray<Item>;
162
+ }
163
+ /**
164
+ * One per-item reading: an answer record per item, in input order, and the
165
+ * record of every request it took.
166
+ *
167
+ * @category models
168
+ * @since 1.0.0-rc.0
169
+ */
170
+ export interface ItemsRead<Qs extends ItemQuestions> {
171
+ readonly answers: ReadonlyArray<ItemAnswers<Qs>>;
172
+ readonly asked: ReadonlyArray<Asked>;
173
+ }
174
+ /**
175
+ * A declared per-item reading.
176
+ *
177
+ * @category models
178
+ * @since 1.0.0-rc.0
179
+ */
180
+ export interface PerItem<Ctx, Item, Qs extends ItemQuestions> {
181
+ /** The classifier for a request of `n` items; the same object for the same `n`. */
182
+ readonly classifierFor: (n: number) => Classifier.Classifier<string, Schema.Codec<ItemState<Ctx, Item>, any>, Classifier.Questions>;
183
+ /** Asks every question about every item; whole or failed. */
184
+ readonly read: (context: Ctx, items: ReadonlyArray<Item>) => Effect.Effect<ItemsRead<Qs>, Unjudged>;
185
+ }
186
+ /**
187
+ * Declares one set of questions asked about each of many items.
188
+ *
189
+ * Items are packed in order, greedily, into requests whose encoded state fits
190
+ * `maxStateBytes`, and each request numbers its items from 0. Requests run at
191
+ * most `concurrency` at once, and the first that fails fails the reading. An
192
+ * item too large to send even alone fails as `invalid_question`, and no items
193
+ * send no request.
194
+ *
195
+ * @category constructors
196
+ * @since 1.0.0-rc.0
197
+ */
198
+ export declare const perItem: <Ctx, Item, const Qs extends ItemQuestions>(options: PerItemOptions<Ctx, Item, Qs>) => PerItem<Ctx, Item, Qs>;
199
+ /**
200
+ * The `decision-settled` row for one request. `decidedBy` is `jev`, and the
201
+ * transport's usage is carried when it reported any.
202
+ *
203
+ * @category conversions
204
+ * @since 1.0.0-rc.0
205
+ */
206
+ export declare const decision: (asked: Asked, at: {
207
+ readonly scope: string;
208
+ readonly frame: number;
209
+ readonly acted: boolean;
210
+ }) => AgentEvent.DecisionSettled;
211
+ /**
212
+ * The `decision-unjudged` row for a reading that failed.
213
+ *
214
+ * @category conversions
215
+ * @since 1.0.0-rc.0
216
+ */
217
+ export declare const unjudgedEvent: (unjudged: Unjudged, at: {
218
+ readonly scope: string;
219
+ readonly frame: number;
220
+ readonly classifier: string;
221
+ readonly items: number;
222
+ }) => AgentEvent.DecisionUnjudged;
223
+ /**
224
+ * What one {@link recorded} reading holds: the caller's value, or `null`
225
+ * when the reading failed, and the rows to journal for it.
226
+ *
227
+ * @category models
228
+ * @since 1.0.0-rc.0
229
+ */
230
+ export interface Recorded<A> {
231
+ readonly value: A | null;
232
+ readonly decisions: ReadonlyArray<AgentEvent.DecisionSettled>;
233
+ readonly unjudged: AgentEvent.DecisionUnjudged | null;
234
+ }
235
+ /**
236
+ * The durable schema of {@link Recorded} over the caller's value schema.
237
+ *
238
+ * @category schemas
239
+ * @since 1.0.0-rc.0
240
+ */
241
+ export declare const Recorded: <A>(value: EngineLike.DurableSchema<A>) => EngineLike.DurableSchema<Recorded<A>>;
242
+ /**
243
+ * Takes one reading inside a run as a durable boundary.
244
+ *
245
+ * `execute` runs once; its value is recorded with a `decision-settled` row
246
+ * per request, or, when it fails, a `null` value with one `decision-unjudged`
247
+ * row over `items`. A replayed frame is served the record and never asks.
248
+ * `identity.session` is the rows' scope.
249
+ *
250
+ * @category constructors
251
+ * @since 1.0.0-rc.0
252
+ */
253
+ export declare const recorded: <A>(engine: EngineLike.EngineLike, boundary: {
254
+ readonly name: string;
255
+ readonly identity: EngineLike.BoundaryIdentity & {
256
+ readonly session: string;
257
+ };
258
+ readonly classifier: string;
259
+ readonly value: EngineLike.DurableSchema<A>;
260
+ readonly items: number;
261
+ }, execute: Effect.Effect<{
262
+ readonly value: A;
263
+ readonly asked: ReadonlyArray<Asked>;
264
+ readonly acted: boolean;
265
+ }, Unjudged>) => Effect.Effect<Recorded<A>, HarnessError>;
266
+ /**
267
+ * Journals a {@link Recorded} reading: its decisions in order, then its
268
+ * `decision-unjudged` row.
269
+ *
270
+ * @category conversions
271
+ * @since 1.0.0-rc.0
272
+ */
273
+ export declare const emitRecorded: <E, R>(emit: (event: AgentEvent.AgentEvent) => Effect.Effect<void, E, R>, record: Recorded<unknown>) => Effect.Effect<void, E, R>;
274
+ /**
275
+ * The most of a run's task one reading carries, in UTF-8 bytes; both ends
276
+ * kept, for the reason `CompletionClaim` keeps both.
277
+ *
278
+ * @category constants
279
+ * @since 1.0.0-rc.0
280
+ */
281
+ export declare const taskBytes = 4096;
282
+ /**
283
+ * The task as a reading carries it, both ends kept.
284
+ *
285
+ * @category conversions
286
+ * @since 1.0.0-rc.0
287
+ */
288
+ export declare const task: (text: string) => string;
289
+ //# sourceMappingURL=Judgement.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Judgement.d.ts","sourceRoot":"","sources":["../../src/Judgement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,UAAU,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,SAAS,MAAM,yBAAyB,CAAA;AAEpD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAKrD;;;;;;;GAOG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,UAAU,CAAC,cAAc,CAAC,IAAI,CAAA;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,CAAA;CAC5D;AAED;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE,QAAuF,CAAA;AAElH;;;;;;GAMG;AACH,MAAM,WAAW,KAAK;IACpB,kCAAkC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,SAAS,CAAA;IACxC,uDAAuD;IACvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,cAAc,CAAC,CAAC,CAAA;IACrE,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,KAAK,GAAG,SAAS,CAAA;CAC7C;AAED;;;;;GAKG;AACH,MAAM,WAAW,IAAI,CAAC,EAAE,SAAS,UAAU,CAAC,SAAS;IACnD,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;IAC1C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,GAAI,EAAE,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,SAAS,EAC3G,YAAY,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAC5C,OAAO,CAAC,CAAC,MAAM,CAAC,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,eAAe,EAAE,SAAS,CAAC,SAAS,CAoCtE,CAAA;AAEJ;;;;;;;GAOG;AACH,eAAO,MAAM,IAAI,GAAI,EAAE,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,SAAS,UAAU,CAAC,SAAS,EACvG,YAAY,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAC5C,OAAO,CAAC,CAAC,MAAM,CAAC,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,CAa/B,CAAA;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,SAAU,CAAA;AAEpC;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAA;AAE5F;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,EAAE,SAAS,aAAa,IAAI;IAClD,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACrE,CAAA;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,SAAS,aAAa;IACjE,kCAAkC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACtC,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAA;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzC,0FAA0F;IAC1F,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5C;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS,CAAC,GAAG,EAAE,IAAI;IAClC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACpC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,SAAS,CAAC,EAAE,SAAS,aAAa;IACjD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAA;IAChD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACrC;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,SAAS,aAAa;IAC1D,mFAAmF;IACnF,QAAQ,CAAC,aAAa,EAAE,CACtB,CAAC,EAAE,MAAM,KACN,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAA;IACjG,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;CACpG;AAED;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,SAAS,aAAa,EAC/D,SAAS,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,KACrC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CA6FvB,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,GACnB,OAAO,KAAK,EACZ,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,KAC9E,UAAU,CAAC,eAcV,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GACxB,UAAU,QAAQ,EAClB,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,KAC1G,UAAU,CAAC,gBAUV,CAAA;AAEJ;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;IAC7D,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,gBAAgB,GAAG,IAAI,CAAA;CACtD;AAED;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,OAAO,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAKjG,CAAA;AAEJ;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EACxB,QAAQ,UAAU,CAAC,UAAU,EAC7B,UAAU;IACR,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,gBAAgB,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAC7E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,EACD,SAAS,MAAM,CAAC,MAAM,CACpB;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,EACpF,QAAQ,CACT,KACA,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,CAwBzC,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAC/B,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EACjE,QAAQ,QAAQ,CAAC,OAAO,CAAC,KACxB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAIvB,CAAA;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,OAAO,CAAA;AAE7B;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,MAAmF,CAAA"}