@namzu/sdk 38.1.0 → 39.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (534) hide show
  1. package/CHANGELOG.md +758 -0
  2. package/dist/advisory/executor.d.ts +10 -1
  3. package/dist/advisory/executor.d.ts.map +1 -1
  4. package/dist/advisory/executor.js +5 -26
  5. package/dist/advisory/executor.js.map +1 -1
  6. package/dist/advisory/history.d.ts +9 -0
  7. package/dist/advisory/history.d.ts.map +1 -0
  8. package/dist/advisory/history.js +120 -0
  9. package/dist/advisory/history.js.map +1 -0
  10. package/dist/advisory/index.d.ts +1 -1
  11. package/dist/advisory/index.d.ts.map +1 -1
  12. package/dist/advisory/index.js.map +1 -1
  13. package/dist/agents/ReactiveAgent.d.ts.map +1 -1
  14. package/dist/agents/ReactiveAgent.js +3 -0
  15. package/dist/agents/ReactiveAgent.js.map +1 -1
  16. package/dist/agents/runAgent.d.ts +10 -0
  17. package/dist/agents/runAgent.d.ts.map +1 -1
  18. package/dist/agents/runAgent.js +3 -0
  19. package/dist/agents/runAgent.js.map +1 -1
  20. package/dist/compaction/manual.d.ts +6 -0
  21. package/dist/compaction/manual.d.ts.map +1 -1
  22. package/dist/compaction/manual.js +21 -2
  23. package/dist/compaction/manual.js.map +1 -1
  24. package/dist/compaction/summary.d.ts.map +1 -1
  25. package/dist/compaction/summary.js +4 -1
  26. package/dist/compaction/summary.js.map +1 -1
  27. package/dist/config/runtime.js +2 -2
  28. package/dist/config/runtime.js.map +1 -1
  29. package/dist/contracts/schemas.js +1 -1
  30. package/dist/contracts/schemas.js.map +1 -1
  31. package/dist/eval/harness-protection.d.ts +18 -0
  32. package/dist/eval/harness-protection.d.ts.map +1 -0
  33. package/dist/eval/harness-protection.js +58 -0
  34. package/dist/eval/harness-protection.js.map +1 -0
  35. package/dist/eval/harness-verification.d.ts +6 -1
  36. package/dist/eval/harness-verification.d.ts.map +1 -1
  37. package/dist/eval/harness-verification.js +19 -2
  38. package/dist/eval/harness-verification.js.map +1 -1
  39. package/dist/eval/index.d.ts +1 -0
  40. package/dist/eval/index.d.ts.map +1 -1
  41. package/dist/eval/index.js.map +1 -1
  42. package/dist/manager/resident/activity.d.ts +50 -0
  43. package/dist/manager/resident/activity.d.ts.map +1 -0
  44. package/dist/manager/resident/activity.js +125 -0
  45. package/dist/manager/resident/activity.js.map +1 -0
  46. package/dist/manager/resident/agenda.d.ts +137 -0
  47. package/dist/manager/resident/agenda.d.ts.map +1 -0
  48. package/dist/manager/resident/agenda.js +586 -0
  49. package/dist/manager/resident/agenda.js.map +1 -0
  50. package/dist/manager/resident/consumption.d.ts +104 -0
  51. package/dist/manager/resident/consumption.d.ts.map +1 -0
  52. package/dist/manager/resident/consumption.js +233 -0
  53. package/dist/manager/resident/consumption.js.map +1 -0
  54. package/dist/manager/resident/delivery-window.d.ts +22 -0
  55. package/dist/manager/resident/delivery-window.d.ts.map +1 -0
  56. package/dist/manager/resident/delivery-window.js +78 -0
  57. package/dist/manager/resident/delivery-window.js.map +1 -0
  58. package/dist/manager/resident/evidence-recall.d.ts +24 -0
  59. package/dist/manager/resident/evidence-recall.d.ts.map +1 -0
  60. package/dist/manager/resident/evidence-recall.js +295 -0
  61. package/dist/manager/resident/evidence-recall.js.map +1 -0
  62. package/dist/manager/resident/history-disk.d.ts +10 -0
  63. package/dist/manager/resident/history-disk.d.ts.map +1 -0
  64. package/dist/manager/resident/history-disk.js +50 -0
  65. package/dist/manager/resident/history-disk.js.map +1 -0
  66. package/dist/manager/resident/history.d.ts +79 -0
  67. package/dist/manager/resident/history.d.ts.map +1 -0
  68. package/dist/manager/resident/history.js +203 -0
  69. package/dist/manager/resident/history.js.map +1 -0
  70. package/dist/manager/resident/host.d.ts +78 -0
  71. package/dist/manager/resident/host.d.ts.map +1 -0
  72. package/dist/manager/resident/host.js +252 -0
  73. package/dist/manager/resident/host.js.map +1 -0
  74. package/dist/manager/resident/initiative.d.ts +111 -0
  75. package/dist/manager/resident/initiative.d.ts.map +1 -0
  76. package/dist/manager/resident/initiative.js +129 -0
  77. package/dist/manager/resident/initiative.js.map +1 -0
  78. package/dist/manager/resident/learning-cycle.d.ts +131 -0
  79. package/dist/manager/resident/learning-cycle.d.ts.map +1 -0
  80. package/dist/manager/resident/learning-cycle.js +306 -0
  81. package/dist/manager/resident/learning-cycle.js.map +1 -0
  82. package/dist/manager/resident/learning-observation.d.ts +80 -0
  83. package/dist/manager/resident/learning-observation.d.ts.map +1 -0
  84. package/dist/manager/resident/learning-observation.js +22 -0
  85. package/dist/manager/resident/learning-observation.js.map +1 -0
  86. package/dist/manager/resident/learning-store.d.ts +106 -0
  87. package/dist/manager/resident/learning-store.d.ts.map +1 -0
  88. package/dist/manager/resident/learning-store.js +598 -0
  89. package/dist/manager/resident/learning-store.js.map +1 -0
  90. package/dist/manager/resident/learning.d.ts +726 -0
  91. package/dist/manager/resident/learning.d.ts.map +1 -0
  92. package/dist/manager/resident/learning.js +353 -0
  93. package/dist/manager/resident/learning.js.map +1 -0
  94. package/dist/manager/resident/loop.d.ts +31 -0
  95. package/dist/manager/resident/loop.d.ts.map +1 -0
  96. package/dist/manager/resident/loop.js +69 -0
  97. package/dist/manager/resident/loop.js.map +1 -0
  98. package/dist/manager/resident/outbox.d.ts +180 -0
  99. package/dist/manager/resident/outbox.d.ts.map +1 -0
  100. package/dist/manager/resident/outbox.js +214 -0
  101. package/dist/manager/resident/outbox.js.map +1 -0
  102. package/dist/manager/resident/proposal.d.ts +91 -0
  103. package/dist/manager/resident/proposal.d.ts.map +1 -0
  104. package/dist/manager/resident/proposal.js +75 -0
  105. package/dist/manager/resident/proposal.js.map +1 -0
  106. package/dist/manager/resident/store.d.ts +182 -0
  107. package/dist/manager/resident/store.d.ts.map +1 -0
  108. package/dist/manager/resident/store.js +199 -0
  109. package/dist/manager/resident/store.js.map +1 -0
  110. package/dist/manager/resident/tool-evidence.d.ts +71 -0
  111. package/dist/manager/resident/tool-evidence.d.ts.map +1 -0
  112. package/dist/manager/resident/tool-evidence.js +285 -0
  113. package/dist/manager/resident/tool-evidence.js.map +1 -0
  114. package/dist/manager/run/persistence.d.ts.map +1 -1
  115. package/dist/manager/run/persistence.js +6 -0
  116. package/dist/manager/run/persistence.js.map +1 -1
  117. package/dist/plugin/loader.d.ts.map +1 -1
  118. package/dist/plugin/loader.js +5 -3
  119. package/dist/plugin/loader.js.map +1 -1
  120. package/dist/prompt/coding-agent-doctrine.d.ts +1 -1
  121. package/dist/prompt/coding-agent-doctrine.d.ts.map +1 -1
  122. package/dist/prompt/coding-agent-doctrine.js +2 -0
  123. package/dist/prompt/coding-agent-doctrine.js.map +1 -1
  124. package/dist/prompt/contributions.d.ts +5 -2
  125. package/dist/prompt/contributions.d.ts.map +1 -1
  126. package/dist/prompt/contributions.js.map +1 -1
  127. package/dist/prompt/index.d.ts +4 -0
  128. package/dist/prompt/index.d.ts.map +1 -1
  129. package/dist/prompt/index.js +2 -0
  130. package/dist/prompt/index.js.map +1 -1
  131. package/dist/prompt/resident-learning.d.ts +19 -0
  132. package/dist/prompt/resident-learning.d.ts.map +1 -0
  133. package/dist/prompt/resident-learning.js +125 -0
  134. package/dist/prompt/resident-learning.js.map +1 -0
  135. package/dist/prompt/resident-step.d.ts +36 -0
  136. package/dist/prompt/resident-step.d.ts.map +1 -0
  137. package/dist/prompt/resident-step.js +135 -0
  138. package/dist/prompt/resident-step.js.map +1 -0
  139. package/dist/provider/collect-chat-completion.d.ts +2 -1
  140. package/dist/provider/collect-chat-completion.d.ts.map +1 -1
  141. package/dist/provider/collect-chat-completion.js +7 -6
  142. package/dist/provider/collect-chat-completion.js.map +1 -1
  143. package/dist/provider/fallback.d.ts.map +1 -1
  144. package/dist/provider/fallback.js +2 -1
  145. package/dist/provider/fallback.js.map +1 -1
  146. package/dist/provider/stream-text.d.ts +16 -0
  147. package/dist/provider/stream-text.d.ts.map +1 -0
  148. package/dist/provider/stream-text.js +51 -0
  149. package/dist/provider/stream-text.js.map +1 -0
  150. package/dist/public-runtime.d.ts +22 -3
  151. package/dist/public-runtime.d.ts.map +1 -1
  152. package/dist/public-runtime.js +21 -3
  153. package/dist/public-runtime.js.map +1 -1
  154. package/dist/public-tools.d.ts +2 -0
  155. package/dist/public-tools.d.ts.map +1 -1
  156. package/dist/public-tools.js +2 -0
  157. package/dist/public-tools.js.map +1 -1
  158. package/dist/public-types.d.ts +29 -3
  159. package/dist/public-types.d.ts.map +1 -1
  160. package/dist/registry/index.d.ts +1 -1
  161. package/dist/registry/index.d.ts.map +1 -1
  162. package/dist/registry/tool/execute.d.ts +18 -0
  163. package/dist/registry/tool/execute.d.ts.map +1 -1
  164. package/dist/registry/tool/execute.js +43 -6
  165. package/dist/registry/tool/execute.js.map +1 -1
  166. package/dist/run/LimitChecker.js +3 -3
  167. package/dist/run/LimitChecker.js.map +1 -1
  168. package/dist/run/evidence-query.d.ts +41 -0
  169. package/dist/run/evidence-query.d.ts.map +1 -0
  170. package/dist/run/evidence-query.js +270 -0
  171. package/dist/run/evidence-query.js.map +1 -0
  172. package/dist/run/evidence-recall.d.ts +99 -0
  173. package/dist/run/evidence-recall.d.ts.map +1 -0
  174. package/dist/run/evidence-recall.js +633 -0
  175. package/dist/run/evidence-recall.js.map +1 -0
  176. package/dist/run/index.d.ts +2 -0
  177. package/dist/run/index.d.ts.map +1 -1
  178. package/dist/run/index.js +1 -0
  179. package/dist/run/index.js.map +1 -1
  180. package/dist/run/json-claim-verifier.d.ts +83 -0
  181. package/dist/run/json-claim-verifier.d.ts.map +1 -0
  182. package/dist/run/json-claim-verifier.js +200 -0
  183. package/dist/run/json-claim-verifier.js.map +1 -0
  184. package/dist/run/preparation-context-error.d.ts +10 -0
  185. package/dist/run/preparation-context-error.d.ts.map +1 -0
  186. package/dist/run/preparation-context-error.js +15 -0
  187. package/dist/run/preparation-context-error.js.map +1 -0
  188. package/dist/run-query/index.d.ts +3 -1
  189. package/dist/run-query/index.d.ts.map +1 -1
  190. package/dist/runtime/query/callback-inference.d.ts +8 -0
  191. package/dist/runtime/query/callback-inference.d.ts.map +1 -0
  192. package/dist/runtime/query/callback-inference.js +89 -0
  193. package/dist/runtime/query/callback-inference.js.map +1 -0
  194. package/dist/runtime/query/checkpoint.d.ts +4 -0
  195. package/dist/runtime/query/checkpoint.d.ts.map +1 -1
  196. package/dist/runtime/query/checkpoint.js +13 -0
  197. package/dist/runtime/query/checkpoint.js.map +1 -1
  198. package/dist/runtime/query/events.d.ts +7 -1
  199. package/dist/runtime/query/events.d.ts.map +1 -1
  200. package/dist/runtime/query/events.js +39 -12
  201. package/dist/runtime/query/events.js.map +1 -1
  202. package/dist/runtime/query/executor.d.ts +7 -1
  203. package/dist/runtime/query/executor.d.ts.map +1 -1
  204. package/dist/runtime/query/executor.js +38 -7
  205. package/dist/runtime/query/executor.js.map +1 -1
  206. package/dist/runtime/query/file-evidence-context.d.ts +5 -0
  207. package/dist/runtime/query/file-evidence-context.d.ts.map +1 -0
  208. package/dist/runtime/query/file-evidence-context.js +64 -0
  209. package/dist/runtime/query/file-evidence-context.js.map +1 -0
  210. package/dist/runtime/query/guard.d.ts.map +1 -1
  211. package/dist/runtime/query/guard.js +4 -0
  212. package/dist/runtime/query/guard.js.map +1 -1
  213. package/dist/runtime/query/index.d.ts +10 -1
  214. package/dist/runtime/query/index.d.ts.map +1 -1
  215. package/dist/runtime/query/index.js +40 -25
  216. package/dist/runtime/query/index.js.map +1 -1
  217. package/dist/runtime/query/iteration/index.d.ts +9 -31
  218. package/dist/runtime/query/iteration/index.d.ts.map +1 -1
  219. package/dist/runtime/query/iteration/index.js +231 -93
  220. package/dist/runtime/query/iteration/index.js.map +1 -1
  221. package/dist/runtime/query/iteration/phases/advisory.d.ts +2 -1
  222. package/dist/runtime/query/iteration/phases/advisory.d.ts.map +1 -1
  223. package/dist/runtime/query/iteration/phases/advisory.js +2 -1
  224. package/dist/runtime/query/iteration/phases/advisory.js.map +1 -1
  225. package/dist/runtime/query/iteration/phases/context.d.ts +2 -1
  226. package/dist/runtime/query/iteration/phases/context.d.ts.map +1 -1
  227. package/dist/runtime/query/iteration/phases/context.js.map +1 -1
  228. package/dist/runtime/query/iteration/phases/tool-review.d.ts.map +1 -1
  229. package/dist/runtime/query/iteration/phases/tool-review.js +3 -0
  230. package/dist/runtime/query/iteration/phases/tool-review.js.map +1 -1
  231. package/dist/runtime/query/iteration/provider-rejected-image.d.ts +2 -1
  232. package/dist/runtime/query/iteration/provider-rejected-image.d.ts.map +1 -1
  233. package/dist/runtime/query/iteration/provider-rejected-image.js +5 -2
  234. package/dist/runtime/query/iteration/provider-rejected-image.js.map +1 -1
  235. package/dist/runtime/query/iteration/stream-turn.d.ts +4 -1
  236. package/dist/runtime/query/iteration/stream-turn.d.ts.map +1 -1
  237. package/dist/runtime/query/iteration/stream-turn.js +22 -8
  238. package/dist/runtime/query/iteration/stream-turn.js.map +1 -1
  239. package/dist/runtime/query/prompt-cache.d.ts.map +1 -1
  240. package/dist/runtime/query/prompt-cache.js +21 -42
  241. package/dist/runtime/query/prompt-cache.js.map +1 -1
  242. package/dist/runtime/query/resume-pending.d.ts +18 -33
  243. package/dist/runtime/query/resume-pending.d.ts.map +1 -1
  244. package/dist/runtime/query/resume-pending.js +59 -42
  245. package/dist/runtime/query/resume-pending.js.map +1 -1
  246. package/dist/runtime/query/review-policy.d.ts +4 -4
  247. package/dist/runtime/query/review-policy.d.ts.map +1 -1
  248. package/dist/runtime/query/review-policy.js +10 -9
  249. package/dist/runtime/query/review-policy.js.map +1 -1
  250. package/dist/runtime/query/sandbox-lifecycle.d.ts.map +1 -1
  251. package/dist/runtime/query/sandbox-lifecycle.js +4 -0
  252. package/dist/runtime/query/sandbox-lifecycle.js.map +1 -1
  253. package/dist/runtime/query/tool-output-budget.d.ts +10 -6
  254. package/dist/runtime/query/tool-output-budget.d.ts.map +1 -1
  255. package/dist/runtime/query/tool-output-budget.js +54 -12
  256. package/dist/runtime/query/tool-output-budget.js.map +1 -1
  257. package/dist/runtime/query/tooling.d.ts +3 -1
  258. package/dist/runtime/query/tooling.d.ts.map +1 -1
  259. package/dist/runtime/query/tooling.js +4 -0
  260. package/dist/runtime/query/tooling.js.map +1 -1
  261. package/dist/scheduler/completion-inbox.d.ts +3 -0
  262. package/dist/scheduler/completion-inbox.d.ts.map +1 -1
  263. package/dist/scheduler/completion-inbox.js +28 -0
  264. package/dist/scheduler/completion-inbox.js.map +1 -1
  265. package/dist/store/evidence/compaction-archive.d.ts +109 -0
  266. package/dist/store/evidence/compaction-archive.d.ts.map +1 -0
  267. package/dist/store/evidence/compaction-archive.js +125 -0
  268. package/dist/store/evidence/compaction-archive.js.map +1 -0
  269. package/dist/store/evidence/compaction-provenance.d.ts +7 -0
  270. package/dist/store/evidence/compaction-provenance.d.ts.map +1 -0
  271. package/dist/store/evidence/compaction-provenance.js +49 -0
  272. package/dist/store/evidence/compaction-provenance.js.map +1 -0
  273. package/dist/store/evidence/compaction-text.d.ts +16 -0
  274. package/dist/store/evidence/compaction-text.d.ts.map +1 -0
  275. package/dist/store/evidence/compaction-text.js +51 -0
  276. package/dist/store/evidence/compaction-text.js.map +1 -0
  277. package/dist/store/evidence/disk.d.ts +11 -0
  278. package/dist/store/evidence/disk.d.ts.map +1 -0
  279. package/dist/store/evidence/disk.js +367 -0
  280. package/dist/store/evidence/disk.js.map +1 -0
  281. package/dist/store/evidence/format.d.ts +25 -0
  282. package/dist/store/evidence/format.d.ts.map +1 -0
  283. package/dist/store/evidence/format.js +115 -0
  284. package/dist/store/evidence/format.js.map +1 -0
  285. package/dist/store/evidence/index-page.d.ts +208 -0
  286. package/dist/store/evidence/index-page.d.ts.map +1 -0
  287. package/dist/store/evidence/index-page.js +262 -0
  288. package/dist/store/evidence/index-page.js.map +1 -0
  289. package/dist/store/evidence/io.d.ts +24 -0
  290. package/dist/store/evidence/io.d.ts.map +1 -0
  291. package/dist/store/evidence/io.js +69 -0
  292. package/dist/store/evidence/io.js.map +1 -0
  293. package/dist/store/evidence/linked.d.ts +9 -0
  294. package/dist/store/evidence/linked.d.ts.map +1 -0
  295. package/dist/store/evidence/linked.js +314 -0
  296. package/dist/store/evidence/linked.js.map +1 -0
  297. package/dist/store/evidence/passages.d.ts +15 -0
  298. package/dist/store/evidence/passages.d.ts.map +1 -0
  299. package/dist/store/evidence/passages.js +72 -0
  300. package/dist/store/evidence/passages.js.map +1 -0
  301. package/dist/store/evidence/record-chain.d.ts +42 -0
  302. package/dist/store/evidence/record-chain.d.ts.map +1 -0
  303. package/dist/store/evidence/record-chain.js +111 -0
  304. package/dist/store/evidence/record-chain.js.map +1 -0
  305. package/dist/store/evidence/search-input.d.ts +21 -0
  306. package/dist/store/evidence/search-input.d.ts.map +1 -0
  307. package/dist/store/evidence/search-input.js +44 -0
  308. package/dist/store/evidence/search-input.js.map +1 -0
  309. package/dist/store/evidence/selection.d.ts +9 -0
  310. package/dist/store/evidence/selection.d.ts.map +1 -0
  311. package/dist/store/evidence/selection.js +17 -0
  312. package/dist/store/evidence/selection.js.map +1 -0
  313. package/dist/store/evidence/source-kind.d.ts +11 -0
  314. package/dist/store/evidence/source-kind.d.ts.map +1 -0
  315. package/dist/store/evidence/source-kind.js +26 -0
  316. package/dist/store/evidence/source-kind.js.map +1 -0
  317. package/dist/store/evidence/source-text.d.ts +51 -0
  318. package/dist/store/evidence/source-text.d.ts.map +1 -0
  319. package/dist/store/evidence/source-text.js +213 -0
  320. package/dist/store/evidence/source-text.js.map +1 -0
  321. package/dist/store/evidence/types.d.ts +162 -0
  322. package/dist/store/evidence/types.d.ts.map +1 -0
  323. package/dist/store/evidence/types.js +2 -0
  324. package/dist/store/evidence/types.js.map +1 -0
  325. package/dist/store/memory/disk.d.ts +2 -0
  326. package/dist/store/memory/disk.d.ts.map +1 -1
  327. package/dist/store/memory/disk.js +2 -1
  328. package/dist/store/memory/disk.js.map +1 -1
  329. package/dist/store/run/disk.d.ts +10 -0
  330. package/dist/store/run/disk.d.ts.map +1 -1
  331. package/dist/store/run/disk.js +87 -7
  332. package/dist/store/run/disk.js.map +1 -1
  333. package/dist/store/run/memory.d.ts +1 -0
  334. package/dist/store/run/memory.d.ts.map +1 -1
  335. package/dist/store/run/memory.js +10 -0
  336. package/dist/store/run/memory.js.map +1 -1
  337. package/dist/store/run/tool-executions.d.ts +13 -0
  338. package/dist/store/run/tool-executions.d.ts.map +1 -0
  339. package/dist/store/run/tool-executions.js +99 -0
  340. package/dist/store/run/tool-executions.js.map +1 -0
  341. package/dist/store/session/index.d.ts +2 -0
  342. package/dist/store/session/index.d.ts.map +1 -1
  343. package/dist/store/session/index.js +1 -0
  344. package/dist/store/session/index.js.map +1 -1
  345. package/dist/store/session/sqlite.d.ts +57 -0
  346. package/dist/store/session/sqlite.d.ts.map +1 -0
  347. package/dist/store/session/sqlite.js +430 -0
  348. package/dist/store/session/sqlite.js.map +1 -0
  349. package/dist/tools/builtins/job.d.ts.map +1 -1
  350. package/dist/tools/builtins/job.js +4 -5
  351. package/dist/tools/builtins/job.js.map +1 -1
  352. package/dist/tools/builtins/write-file.js +2 -2
  353. package/dist/tools/builtins/write-file.js.map +1 -1
  354. package/dist/tools/defineTool.d.ts +2 -1
  355. package/dist/tools/defineTool.d.ts.map +1 -1
  356. package/dist/tools/defineTool.js +1 -1
  357. package/dist/tools/defineTool.js.map +1 -1
  358. package/dist/tools/file-read-tracker.d.ts.map +1 -1
  359. package/dist/tools/file-read-tracker.js +12 -3
  360. package/dist/tools/file-read-tracker.js.map +1 -1
  361. package/dist/tools/resident-history.d.ts +10 -0
  362. package/dist/tools/resident-history.d.ts.map +1 -0
  363. package/dist/tools/resident-history.js +80 -0
  364. package/dist/tools/resident-history.js.map +1 -0
  365. package/dist/tools/resident-tool-evidence.d.ts +5 -0
  366. package/dist/tools/resident-tool-evidence.d.ts.map +1 -0
  367. package/dist/tools/resident-tool-evidence.js +57 -0
  368. package/dist/tools/resident-tool-evidence.js.map +1 -0
  369. package/dist/types/advisory/config.d.ts +7 -0
  370. package/dist/types/advisory/config.d.ts.map +1 -1
  371. package/dist/types/agent/reactive.d.ts +1 -0
  372. package/dist/types/agent/reactive.d.ts.map +1 -1
  373. package/dist/types/authorization/index.d.ts +9 -9
  374. package/dist/types/authorization/index.d.ts.map +1 -1
  375. package/dist/types/authorization/index.js +1 -1
  376. package/dist/types/authorization/index.js.map +1 -1
  377. package/dist/types/hitl/index.d.ts +4 -0
  378. package/dist/types/hitl/index.d.ts.map +1 -1
  379. package/dist/types/hitl/index.js.map +1 -1
  380. package/dist/types/message/index.d.ts +16 -2
  381. package/dist/types/message/index.d.ts.map +1 -1
  382. package/dist/types/message/index.js +8 -1
  383. package/dist/types/message/index.js.map +1 -1
  384. package/dist/types/provider/chat.d.ts +2 -0
  385. package/dist/types/provider/chat.d.ts.map +1 -1
  386. package/dist/types/provider/stream.d.ts +4 -0
  387. package/dist/types/provider/stream.d.ts.map +1 -1
  388. package/dist/types/run/answer-review.d.ts +34 -3
  389. package/dist/types/run/answer-review.d.ts.map +1 -1
  390. package/dist/types/run/config.d.ts +3 -0
  391. package/dist/types/run/config.d.ts.map +1 -1
  392. package/dist/types/run/entity.d.ts +7 -0
  393. package/dist/types/run/entity.d.ts.map +1 -1
  394. package/dist/types/run/events.d.ts +31 -8
  395. package/dist/types/run/events.d.ts.map +1 -1
  396. package/dist/types/run/events.js.map +1 -1
  397. package/dist/types/run/prepare-step.d.ts +53 -8
  398. package/dist/types/run/prepare-step.d.ts.map +1 -1
  399. package/dist/types/run/store.d.ts +29 -4
  400. package/dist/types/run/store.d.ts.map +1 -1
  401. package/dist/types/run/store.js +0 -28
  402. package/dist/types/run/store.js.map +1 -1
  403. package/dist/types/tool/index.d.ts +15 -1
  404. package/dist/types/tool/index.d.ts.map +1 -1
  405. package/dist/types/tool/index.js.map +1 -1
  406. package/dist/utils/await-with-abort.d.ts +8 -0
  407. package/dist/utils/await-with-abort.d.ts.map +1 -0
  408. package/dist/utils/await-with-abort.js +28 -0
  409. package/dist/utils/await-with-abort.js.map +1 -0
  410. package/dist/utils/evidence-time.d.ts +3 -0
  411. package/dist/utils/evidence-time.d.ts.map +1 -0
  412. package/dist/utils/evidence-time.js +10 -0
  413. package/dist/utils/evidence-time.js.map +1 -0
  414. package/dist/utils/evidence-tokens.d.ts +13 -0
  415. package/dist/utils/evidence-tokens.d.ts.map +1 -0
  416. package/dist/utils/evidence-tokens.js +29 -0
  417. package/dist/utils/evidence-tokens.js.map +1 -0
  418. package/package.json +1 -1
  419. package/src/advisory/executor.ts +15 -30
  420. package/src/advisory/history.ts +126 -0
  421. package/src/advisory/index.ts +5 -1
  422. package/src/agents/ReactiveAgent.ts +3 -0
  423. package/src/agents/runAgent.ts +14 -1
  424. package/src/compaction/manual.ts +30 -2
  425. package/src/compaction/summary.ts +4 -1
  426. package/src/config/runtime.ts +2 -2
  427. package/src/contracts/schemas.ts +1 -1
  428. package/src/eval/harness-protection.ts +79 -0
  429. package/src/eval/harness-verification.ts +31 -1
  430. package/src/eval/index.ts +1 -0
  431. package/src/manager/resident/activity.ts +187 -0
  432. package/src/manager/resident/agenda.ts +907 -0
  433. package/src/manager/resident/consumption.ts +311 -0
  434. package/src/manager/resident/delivery-window.ts +93 -0
  435. package/src/manager/resident/evidence-recall.ts +363 -0
  436. package/src/manager/resident/history-disk.ts +63 -0
  437. package/src/manager/resident/history.ts +312 -0
  438. package/src/manager/resident/host.ts +356 -0
  439. package/src/manager/resident/initiative.ts +205 -0
  440. package/src/manager/resident/learning-cycle.ts +499 -0
  441. package/src/manager/resident/learning-observation.ts +39 -0
  442. package/src/manager/resident/learning-store.ts +813 -0
  443. package/src/manager/resident/learning.ts +493 -0
  444. package/src/manager/resident/loop.ts +101 -0
  445. package/src/manager/resident/outbox.ts +307 -0
  446. package/src/manager/resident/proposal.ts +105 -0
  447. package/src/manager/resident/store.ts +257 -0
  448. package/src/manager/resident/tool-evidence.ts +412 -0
  449. package/src/manager/run/persistence.ts +6 -0
  450. package/src/plugin/loader.ts +8 -3
  451. package/src/prompt/coding-agent-doctrine.ts +2 -0
  452. package/src/prompt/contributions.ts +5 -2
  453. package/src/prompt/index.ts +4 -0
  454. package/src/prompt/resident-learning.ts +143 -0
  455. package/src/prompt/resident-step.ts +176 -0
  456. package/src/provider/collect-chat-completion.ts +7 -6
  457. package/src/provider/fallback.ts +2 -1
  458. package/src/provider/stream-text.ts +56 -0
  459. package/src/public-runtime.ts +44 -0
  460. package/src/public-tools.ts +3 -0
  461. package/src/public-types.ts +165 -0
  462. package/src/registry/index.ts +1 -1
  463. package/src/registry/tool/execute.ts +56 -9
  464. package/src/run/LimitChecker.ts +3 -3
  465. package/src/run/evidence-query.ts +333 -0
  466. package/src/run/evidence-recall.ts +854 -0
  467. package/src/run/index.ts +11 -0
  468. package/src/run/json-claim-verifier.ts +298 -0
  469. package/src/run/preparation-context-error.ts +16 -0
  470. package/src/run-query/index.ts +1 -1
  471. package/src/runtime/query/callback-inference.ts +94 -0
  472. package/src/runtime/query/checkpoint.ts +14 -0
  473. package/src/runtime/query/events.ts +46 -14
  474. package/src/runtime/query/executor.ts +51 -9
  475. package/src/runtime/query/file-evidence-context.ts +65 -0
  476. package/src/runtime/query/guard.ts +2 -0
  477. package/src/runtime/query/index.ts +50 -27
  478. package/src/runtime/query/iteration/index.ts +269 -86
  479. package/src/runtime/query/iteration/phases/advisory.ts +3 -0
  480. package/src/runtime/query/iteration/phases/context.ts +2 -0
  481. package/src/runtime/query/iteration/phases/tool-review.ts +3 -0
  482. package/src/runtime/query/iteration/provider-rejected-image.ts +6 -1
  483. package/src/runtime/query/iteration/stream-turn.ts +35 -8
  484. package/src/runtime/query/prompt-cache.ts +24 -47
  485. package/src/runtime/query/resume-pending.ts +65 -40
  486. package/src/runtime/query/review-policy.ts +13 -9
  487. package/src/runtime/query/sandbox-lifecycle.ts +3 -0
  488. package/src/runtime/query/tool-output-budget.ts +65 -13
  489. package/src/runtime/query/tooling.ts +7 -1
  490. package/src/scheduler/completion-inbox.ts +26 -0
  491. package/src/store/evidence/compaction-archive.ts +139 -0
  492. package/src/store/evidence/compaction-provenance.ts +52 -0
  493. package/src/store/evidence/compaction-text.ts +61 -0
  494. package/src/store/evidence/disk.ts +461 -0
  495. package/src/store/evidence/format.ts +126 -0
  496. package/src/store/evidence/index-page.ts +292 -0
  497. package/src/store/evidence/io.ts +95 -0
  498. package/src/store/evidence/linked.ts +365 -0
  499. package/src/store/evidence/passages.ts +88 -0
  500. package/src/store/evidence/record-chain.ts +108 -0
  501. package/src/store/evidence/search-input.ts +62 -0
  502. package/src/store/evidence/selection.ts +25 -0
  503. package/src/store/evidence/source-kind.ts +36 -0
  504. package/src/store/evidence/source-text.ts +285 -0
  505. package/src/store/evidence/types.ts +177 -0
  506. package/src/store/memory/disk.ts +4 -1
  507. package/src/store/run/disk.ts +110 -8
  508. package/src/store/run/memory.ts +10 -0
  509. package/src/store/run/tool-executions.ts +112 -0
  510. package/src/store/session/index.ts +2 -0
  511. package/src/store/session/sqlite.ts +584 -0
  512. package/src/tools/builtins/job.ts +4 -5
  513. package/src/tools/builtins/write-file.ts +2 -2
  514. package/src/tools/defineTool.ts +4 -2
  515. package/src/tools/file-read-tracker.ts +8 -2
  516. package/src/tools/resident-history.ts +86 -0
  517. package/src/tools/resident-tool-evidence.ts +68 -0
  518. package/src/types/advisory/config.ts +7 -0
  519. package/src/types/agent/reactive.ts +1 -0
  520. package/src/types/authorization/index.ts +2 -2
  521. package/src/types/hitl/index.ts +4 -0
  522. package/src/types/message/index.ts +20 -0
  523. package/src/types/provider/chat.ts +2 -0
  524. package/src/types/provider/stream.ts +4 -0
  525. package/src/types/run/answer-review.ts +34 -3
  526. package/src/types/run/config.ts +3 -0
  527. package/src/types/run/entity.ts +7 -0
  528. package/src/types/run/events.ts +31 -8
  529. package/src/types/run/prepare-step.ts +59 -8
  530. package/src/types/run/store.ts +35 -4
  531. package/src/types/tool/index.ts +19 -1
  532. package/src/utils/await-with-abort.ts +26 -0
  533. package/src/utils/evidence-time.ts +9 -0
  534. package/src/utils/evidence-tokens.ts +32 -0
@@ -1 +1 @@
1
- {"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/contracts/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,uBAAuB,CAAC,CAAA;AACvF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACtD,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;IAChE,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;IAC7E,0BAA0B,EAAE,CAAC;SAC3B,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,EAAE;SACb,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;SAC5B,QAAQ,EAAE;IACZ,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KAClC,MAAM,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,iCAAiC,CAAC;IAC7D,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACnD,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACpC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACvC,MAAM,CAAC;IACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACnD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,qBAAqB,CAAC;IACjD,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;CAC9C,CAAC,CAAA;AAEF,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAMnD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAClC,OAAO;QACN,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,UAAU;YAClB,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,OAAO,EAAE;YACvD,CAAC,CAAC,mBAAmB;QACtB,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS;KAC9C,CAAA;AACF,CAAC"}
1
+ {"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/contracts/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAEvD,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAC/F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,uBAAuB,CAAC,CAAA;AACvF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,2BAA2B,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACtD,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACzD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;IACnE,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE;IAC7E,0BAA0B,EAAE,CAAC;SAC3B,MAAM,EAAE;SACR,GAAG,EAAE;SACL,WAAW,EAAE;SACb,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;SAC5B,QAAQ,EAAE;IACZ,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE;CACvD,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KAClC,MAAM,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,iCAAiC,CAAC;IAC7D,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC9B,MAAM,CAAC;IACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACnD,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACpC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACvC,MAAM,CAAC;IACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,sBAAsB,CAAC;IACnD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,qBAAqB,CAAC;IACjD,MAAM,EAAE,eAAe;IACvB,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,MAAM,EAAE,CAAA;AAEV,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC1D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;CAC9C,CAAC,CAAA;AAEF,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAMnD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAClC,OAAO;QACN,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,UAAU;YAClB,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,OAAO,EAAE;YACvD,CAAC,CAAC,mBAAmB;QACtB,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS;KAC9C,CAAA;AACF,CAAC"}
@@ -0,0 +1,18 @@
1
+ import type { HarnessComparison } from './harness-verification.js';
2
+ /** Host-selected preservation tasks, fixed before generation and disjoint across rounds. */
3
+ export interface HarnessProtectionPlan {
4
+ readonly verification: readonly string[];
5
+ readonly confirmation: readonly string[];
6
+ }
7
+ /** Recorded preservation evidence, not a guarantee about untested tasks. */
8
+ export interface HarnessProtectionCheck {
9
+ readonly status: 'passed' | 'failed' | 'inconclusive';
10
+ readonly missingTasks: readonly string[];
11
+ readonly unprovenTasks: readonly string[];
12
+ readonly regressedTasks: readonly string[];
13
+ }
14
+ /** Internal validated immutable admission snapshot. */
15
+ export declare function normalizeHarnessProtection(input: HarnessProtectionPlan): HarnessProtectionPlan;
16
+ /** Internal: both baseline trials must succeed before preservation can be established. */
17
+ export declare function checkHarnessProtection(report: HarnessComparison, tasks: readonly string[]): HarnessProtectionCheck;
18
+ //# sourceMappingURL=harness-protection.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"harness-protection.d.ts","sourceRoot":"","sources":["../../src/eval/harness-protection.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAA;AAElE,4FAA4F;AAC5F,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,4EAA4E;AAC5E,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IACrD,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAA;IACzC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAA;CAC1C;AAwBD,uDAAuD;AACvD,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,qBAAqB,GAAG,qBAAqB,CAU9F;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACrC,MAAM,EAAE,iBAAiB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACtB,sBAAsB,CAsBxB"}
@@ -0,0 +1,58 @@
1
+ import { z } from 'zod';
2
+ const tasks = z
3
+ .array(z
4
+ .string()
5
+ .min(1)
6
+ .max(256)
7
+ .refine((s) => s.trim() === s))
8
+ .min(1)
9
+ .max(63);
10
+ const planSchema = z
11
+ .object({ verification: tasks, confirmation: tasks })
12
+ .strict()
13
+ .superRefine((plan, ctx) => {
14
+ const all = [...plan.verification, ...plan.confirmation];
15
+ if (new Set(all).size !== all.length)
16
+ ctx.addIssue({
17
+ code: z.ZodIssueCode.custom,
18
+ message: 'Protection tasks must be unique and fresh across rounds.',
19
+ });
20
+ });
21
+ /** Internal validated immutable admission snapshot. */
22
+ export function normalizeHarnessProtection(input) {
23
+ if (input === undefined || input === null)
24
+ throw new Error('Declare protection.verification and protection.confirmation task IDs before resident learning or promotion.');
25
+ const plan = planSchema.parse(input);
26
+ return Object.freeze({
27
+ verification: Object.freeze(plan.verification),
28
+ confirmation: Object.freeze(plan.confirmation),
29
+ });
30
+ }
31
+ /** Internal: both baseline trials must succeed before preservation can be established. */
32
+ export function checkHarnessProtection(report, tasks) {
33
+ const missingTasks = [];
34
+ const unprovenTasks = [];
35
+ const regressedTasks = [];
36
+ for (const id of tasks) {
37
+ const task = report.tasks.find((t) => t.taskId === id);
38
+ if (!task)
39
+ missingTasks.push(id);
40
+ else if (task.trials !== 2 || task.status === 'inconclusive' || task.baselinePasses !== 2)
41
+ unprovenTasks.push(id);
42
+ else if (task.candidatePasses !== 2 || report.regressions.includes(id))
43
+ regressedTasks.push(id);
44
+ else if (report.unresolved.includes(id))
45
+ unprovenTasks.push(id);
46
+ }
47
+ return {
48
+ status: regressedTasks.length
49
+ ? 'failed'
50
+ : missingTasks.length || unprovenTasks.length
51
+ ? 'inconclusive'
52
+ : 'passed',
53
+ missingTasks,
54
+ unprovenTasks,
55
+ regressedTasks,
56
+ };
57
+ }
58
+ //# sourceMappingURL=harness-protection.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"harness-protection.js","sourceRoot":"","sources":["../../src/eval/harness-protection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAiBvB,MAAM,KAAK,GAAG,CAAC;KACb,KAAK,CACL,CAAC;KACC,MAAM,EAAE;KACR,GAAG,CAAC,CAAC,CAAC;KACN,GAAG,CAAC,GAAG,CAAC;KACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC/B;KACA,GAAG,CAAC,CAAC,CAAC;KACN,GAAG,CAAC,EAAE,CAAC,CAAA;AACT,MAAM,UAAU,GAAG,CAAC;KAClB,MAAM,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;KACpD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IAC1B,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAA;IACxD,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM;QACnC,GAAG,CAAC,QAAQ,CAAC;YACZ,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,0DAA0D;SACnE,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEH,uDAAuD;AACvD,MAAM,UAAU,0BAA0B,CAAC,KAA4B;IACtE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QACxC,MAAM,IAAI,KAAK,CACd,6GAA6G,CAC7G,CAAA;IACF,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9C,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;KAC9C,CAAC,CAAA;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CACrC,MAAyB,EACzB,KAAwB;IAExB,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,MAAM,aAAa,GAAa,EAAE,CAAA;IAClC,MAAM,cAAc,GAAa,EAAE,CAAA;IACnC,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAA;QACtD,IAAI,CAAC,IAAI;YAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;aAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc,IAAI,IAAI,CAAC,cAAc,KAAK,CAAC;YACxF,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;aAClB,IAAI,IAAI,CAAC,eAAe,KAAK,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;aAC1F,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAChE,CAAC;IACD,OAAO;QACN,MAAM,EAAE,cAAc,CAAC,MAAM;YAC5B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,YAAY,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM;gBAC5C,CAAC,CAAC,cAAc;gBAChB,CAAC,CAAC,QAAQ;QACZ,YAAY;QACZ,aAAa;QACb,cAAc;KACd,CAAA;AACF,CAAC"}
@@ -1,3 +1,4 @@
1
+ import { type HarnessProtectionCheck, type HarnessProtectionPlan } from './harness-protection.js';
1
2
  import type { CaseResult } from './types.js';
2
3
  /** A host-owned outcome, with enough identity to check pairing and cite its trace. */
3
4
  export interface HarnessTrial {
@@ -53,11 +54,15 @@ export interface HarnessReview {
53
54
  reason: string;
54
55
  verification: HarnessComparison;
55
56
  confirmation?: HarnessComparison;
57
+ protection?: {
58
+ verification: HarnessProtectionCheck;
59
+ confirmation?: HarnessProtectionCheck;
60
+ };
56
61
  }
57
62
  /**
58
63
  * Evaluate recorded evidence; never applies a patch. Requires at least five tasks,
59
64
  * exactly two trials per task, and a same-size confirmation with at most two reused tasks.
60
65
  * Hosts own isolated execution, task selection, scoring and independent trace review.
61
66
  */
62
- export declare function reviewHarnessCandidate(verification: HarnessVerificationBatch, confirmation?: HarnessVerificationBatch): HarnessReview;
67
+ export declare function reviewHarnessCandidate(verification: HarnessVerificationBatch, confirmation?: HarnessVerificationBatch, protection?: HarnessProtectionPlan): HarnessReview;
63
68
  //# sourceMappingURL=harness-verification.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"harness-verification.d.ts","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,6FAA6F;IAC7F,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,YAAY,CAAA;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACxC,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;IAClC,mFAAmF;IACnF,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAC3C;AAED,MAAM,MAAM,qBAAqB,GAC9B,WAAW,GACX,gBAAgB,GAChB,WAAW,GACX,eAAe,GACf,OAAO,GACP,cAAc,CAAA;AAEjB,MAAM,WAAW,qBAAqB;IACrC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,qBAAqB,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;IACtB,eAAe,EAAE,MAAM,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,iBAAiB;IACjC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACvC,iFAAiF;IACjF,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,gFAAgF;IAChF,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;CAChF;AA2CD,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,wBAAwB,GAAG,iBAAiB,CA8FvF;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAA;IACd,YAAY,EAAE,iBAAiB,CAAA;IAC/B,YAAY,CAAC,EAAE,iBAAiB,CAAA;CAChC;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACrC,YAAY,EAAE,wBAAwB,EACtC,YAAY,CAAC,EAAE,wBAAwB,GACrC,aAAa,CA4Df"}
1
+ {"version":3,"file":"harness-verification.d.ts","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAG1B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,6FAA6F;IAC7F,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,YAAY,CAAA;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACxC,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;IAClC,mFAAmF;IACnF,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAC3C;AAED,MAAM,MAAM,qBAAqB,GAC9B,WAAW,GACX,gBAAgB,GAChB,WAAW,GACX,eAAe,GACf,OAAO,GACP,cAAc,CAAA;AAEjB,MAAM,WAAW,qBAAqB;IACrC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,qBAAqB,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;IACtB,eAAe,EAAE,MAAM,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,iBAAiB;IACjC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACvC,iFAAiF;IACjF,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,gFAAgF;IAChF,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;CAChF;AA2CD,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,wBAAwB,GAAG,iBAAiB,CA8FvF;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAA;IACd,YAAY,EAAE,iBAAiB,CAAA;IAC/B,YAAY,CAAC,EAAE,iBAAiB,CAAA;IAChC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,sBAAsB,CAAC;QAAC,YAAY,CAAC,EAAE,sBAAsB,CAAA;KAAE,CAAA;CAC5F;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACrC,YAAY,EAAE,wBAAwB,EACtC,YAAY,CAAC,EAAE,wBAAwB,EACvC,UAAU,CAAC,EAAE,qBAAqB,GAChC,aAAa,CAkFf"}
@@ -1,3 +1,4 @@
1
+ import { checkHarnessProtection, normalizeHarnessProtection, } from './harness-protection.js';
1
2
  function nonempty(value) {
2
3
  return typeof value === 'string' && value.trim().length > 0;
3
4
  }
@@ -125,20 +126,36 @@ export function compareHarnessTrials(batch) {
125
126
  * exactly two trials per task, and a same-size confirmation with at most two reused tasks.
126
127
  * Hosts own isolated execution, task selection, scoring and independent trace review.
127
128
  */
128
- export function reviewHarnessCandidate(verification, confirmation) {
129
+ export function reviewHarnessCandidate(verification, confirmation, protection) {
130
+ const plan = protection === undefined ? undefined : normalizeHarnessProtection(protection);
129
131
  const first = compareHarnessTrials(verification);
130
132
  const second = confirmation ? compareHarnessTrials(confirmation) : undefined;
133
+ const protectedFirst = plan ? checkHarnessProtection(first, plan.verification) : undefined;
134
+ const protectedSecond = plan && second ? checkHarnessProtection(second, plan.confirmation) : undefined;
131
135
  const result = (decision, reason) => ({
132
136
  decision,
133
137
  reason,
134
138
  verification: first,
135
139
  ...(second ? { confirmation: second } : {}),
140
+ ...(protectedFirst
141
+ ? {
142
+ protection: {
143
+ verification: protectedFirst,
144
+ ...(protectedSecond ? { confirmation: protectedSecond } : {}),
145
+ },
146
+ }
147
+ : {}),
136
148
  });
137
149
  const sufficient = (report) => report.tasks.length >= 5 && report.tasks.every((t) => t.trials === 2);
138
150
  if (!sufficient(first))
139
151
  return result('inconclusive', 'Verification requires at least five distinct tasks and two paired trials per task.');
140
- if (first.regressions.length || second?.regressions.length)
152
+ if (first.regressions.length ||
153
+ second?.regressions.length ||
154
+ protectedFirst?.status === 'failed' ||
155
+ protectedSecond?.status === 'failed')
141
156
  return result('reject', 'Observed or attributed regression blocks promotion.');
157
+ if (protectedFirst?.status === 'inconclusive' || protectedSecond?.status === 'inconclusive')
158
+ return result('inconclusive', 'Every declared protection task requires two successful baseline and candidate trials in its designated round.');
142
159
  if (first.unresolved.length || second?.unresolved.length)
143
160
  return result('inconclusive', 'Incomplete or ambiguous behavioral evidence.');
144
161
  if (!first.positiveEvidence.length)
@@ -1 +1 @@
1
- {"version":3,"file":"harness-verification.js","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAwDA,SAAS,QAAQ,CAAC,KAAa;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,GAAG,CAAC,KAAmB;IAC/B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IACC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YACvB,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;YAC3B,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;YAC7B,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;YAClC,KAAK,CAAC,KAAK,GAAG,CAAC;YAEf,MAAM,IAAI,KAAK,CACd,sFAAsF,CACtF,CAAA;QACF,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAA;QAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,MAAM,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB;IACpC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAA;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC3C,OAAO,CACN,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK;QACjB,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC1D,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAC/F,CAAA;AACF,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,oBAAoB,CAAC,KAA+B;IACnE,IACC,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC;QACjC,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB;QAElD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC3E,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;QACrD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAA;IACzE,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAA;IAChD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YACnD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;QAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAClB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,KAAK,GAA4B,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;YAClE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAiB,CAAC,CAAA;QACtE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;QACnE,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;QAClE,MAAM,MAAM,GAA0B,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC3E,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM;oBAC5B,CAAC,CAAC,gBAAgB;oBAClB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;wBACjB,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;4BACnB,CAAC,CAAC,eAAe;4BACjB,CAAC,CAAC,OAAO,CAAA;QACd,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC7F,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,MAAM,UAAU,GAAG,IAAI,GAAG,CACzB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAC7F,CAAA;IACD,wFAAwF;IACxF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5D,MAAM,KAAK,GAAG,CAAC,GAAsB,EAAE,MAA+B,EAAE,EAAE,CACzE,GAAG,CAAC,MAAM,GAAG,CAAC;YACd,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAA;QAC7F,IACC,CAAC,IAAI;YACL,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1B,CAAC,KAAK,CAAC,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,QAAQ,CAAC;YACrD,CAAC,KAAK,CAAC,QAAQ,CAAC,qBAAqB,EAAE,KAAK,CAAC,SAAS,CAAC;YACvD,CAAC,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAEtE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;QACrF,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;aAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;aACjE,IACJ,IAAI,CAAC,MAAM,KAAK,WAAW;YAC3B,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,IAAI,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC;YAEhF,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAA;IACnF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG;YACd,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW;YAC5B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY;YAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU;SAC3B,CAAA;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACnD,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAA;QAC5C,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9C,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAA;IAChD,CAAC;IACD,OAAO;QACN,KAAK;QACL,gBAAgB,EAAE,CAAC,GAAG,QAAQ,CAAC;QAC/B,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;QAC7B,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,KAAK;QACL,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC;YAC5D,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI;KAC1F,CAAA;AACF,CAAC;AASD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACrC,YAAsC,EACtC,YAAuC;IAEvC,MAAM,KAAK,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,MAAM,MAAM,GAAG,CAAC,QAAmC,EAAE,MAAc,EAAiB,EAAE,CAAC,CAAC;QACvF,QAAQ;QACR,MAAM;QACN,YAAY,EAAE,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3C,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,CAAC,MAAyB,EAAE,EAAE,CAChD,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;IACtE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QACrB,OAAO,MAAM,CACZ,cAAc,EACd,oFAAoF,CACpF,CAAA;IACF,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,IAAI,MAAM,EAAE,WAAW,CAAC,MAAM;QACzD,OAAO,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC,CAAA;IAC/E,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,IAAI,MAAM,EAAE,UAAU,CAAC,MAAM;QACvD,OAAO,MAAM,CAAC,cAAc,EAAE,8CAA8C,CAAC,CAAA;IAC9E,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM;QACjC,OAAO,MAAM,CACZ,QAAQ,EACR,0EAA0E,CAC1E,CAAA;IACF,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM;QAC3B,OAAO,MAAM,CAAC,cAAc,EAAE,kDAAkD,CAAC,CAAA;IAClF,IACC,YAAY,CAAC,gBAAgB,KAAK,YAAY,CAAC,gBAAgB;QAC/D,YAAY,CAAC,iBAAiB,KAAK,YAAY,CAAC,iBAAiB;QAEjE,OAAO,MAAM,CAAC,cAAc,EAAE,0DAA0D,CAAC,CAAA;IAC1F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5D,IACC,CAAC,UAAU,CAAC,MAAM,CAAC;QACnB,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM;QAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;QAE/D,OAAO,MAAM,CACZ,cAAc,EACd,0EAA0E,CAC1E,CAAA;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,IAAI,GAAG,CACrB,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAChF,CAAA;IACD,IACC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/D,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAE7F,OAAO,MAAM,CAAC,cAAc,EAAE,0DAA0D,CAAC,CAAA;IAC1F,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,IAAI,CAAC;QAChG,OAAO,MAAM,CACZ,QAAQ,EACR,uFAAuF,CACvF,CAAA;IACF,OAAO,MAAM,CACZ,QAAQ,EACR,0GAA0G,CAC1G,CAAA;AACF,CAAC"}
1
+ {"version":3,"file":"harness-verification.js","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,sBAAsB,EACtB,0BAA0B,GAC1B,MAAM,yBAAyB,CAAA;AAyDhC,SAAS,QAAQ,CAAC,KAAa;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,GAAG,CAAC,KAAmB;IAC/B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,MAA+B;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IACC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YACvB,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;YAC3B,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;YAC7B,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;YAClC,KAAK,CAAC,KAAK,GAAG,CAAC;YAEf,MAAM,IAAI,KAAK,CACd,sFAAsF,CACtF,CAAA;QACF,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAA;QAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,MAAM,CAAA;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB;IACpC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAA;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC3C,OAAO,CACN,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK;QACjB,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC;QAC1D,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAC/F,CAAA;AACF,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,oBAAoB,CAAC,KAA+B;IACnE,IACC,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC;QACjC,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC;QAClC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,iBAAiB;QAElD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC3E,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC9C,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;QACrD,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAA;IACzE,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAA;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAA;IAChD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC/B,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;YACnD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAA;QAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;QAC7C,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAClB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;IACD,MAAM,KAAK,GAA4B,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;YAClE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;QACxE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAiB,CAAC,CAAA;QACtE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;QACnE,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;QAClE,MAAM,MAAM,GAA0B,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC3E,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM;oBAC5B,CAAC,CAAC,gBAAgB;oBAClB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;wBACjB,CAAC,CAAC,WAAW;wBACb,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;4BACnB,CAAC,CAAC,eAAe;4BACjB,CAAC,CAAC,OAAO,CAAA;QACd,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;IAC7F,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,MAAM,UAAU,GAAG,IAAI,GAAG,CACzB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAC7F,CAAA;IACD,wFAAwF;IACxF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5D,MAAM,KAAK,GAAG,CAAC,GAAsB,EAAE,MAA+B,EAAE,EAAE,CACzE,GAAG,CAAC,MAAM,GAAG,CAAC;YACd,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAA;QAC7F,IACC,CAAC,IAAI;YACL,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC1B,CAAC,KAAK,CAAC,QAAQ,CAAC,oBAAoB,EAAE,KAAK,CAAC,QAAQ,CAAC;YACrD,CAAC,KAAK,CAAC,QAAQ,CAAC,qBAAqB,EAAE,KAAK,CAAC,SAAS,CAAC;YACvD,CAAC,CAAC,aAAa,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAEtE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAA;QACrF,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;aAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;aACjE,IACJ,IAAI,CAAC,MAAM,KAAK,WAAW;YAC3B,CAAC,IAAI,CAAC,MAAM,KAAK,gBAAgB,IAAI,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC;YAEhF,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAA;IACnF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG;YACd,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW;YAC5B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY;YAC7B,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU;SAC3B,CAAA;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;QACnD,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAA;QAC5C,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAA;QAC9C,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAA;IAChD,CAAC;IACD,OAAO;QACN,KAAK;QACL,gBAAgB,EAAE,CAAC,GAAG,QAAQ,CAAC;QAC/B,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC;QAC7B,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC;QAC3B,KAAK;QACL,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC;YAC5D,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI;KAC1F,CAAA;AACF,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACrC,YAAsC,EACtC,YAAuC,EACvC,UAAkC;IAElC,MAAM,IAAI,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAA;IAC1F,MAAM,KAAK,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,MAAM,cAAc,GAAG,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC1F,MAAM,eAAe,GACpB,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/E,MAAM,MAAM,GAAG,CAAC,QAAmC,EAAE,MAAc,EAAiB,EAAE,CAAC,CAAC;QACvF,QAAQ;QACR,MAAM;QACN,YAAY,EAAE,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,GAAG,CAAC,cAAc;YACjB,CAAC,CAAC;gBACA,UAAU,EAAE;oBACX,YAAY,EAAE,cAAc;oBAC5B,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC7D;aACD;YACF,CAAC,CAAC,EAAE,CAAC;KACN,CAAC,CAAA;IACF,MAAM,UAAU,GAAG,CAAC,MAAyB,EAAE,EAAE,CAChD,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;IACtE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QACrB,OAAO,MAAM,CACZ,cAAc,EACd,oFAAoF,CACpF,CAAA;IACF,IACC,KAAK,CAAC,WAAW,CAAC,MAAM;QACxB,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,cAAc,EAAE,MAAM,KAAK,QAAQ;QACnC,eAAe,EAAE,MAAM,KAAK,QAAQ;QAEpC,OAAO,MAAM,CAAC,QAAQ,EAAE,qDAAqD,CAAC,CAAA;IAC/E,IAAI,cAAc,EAAE,MAAM,KAAK,cAAc,IAAI,eAAe,EAAE,MAAM,KAAK,cAAc;QAC1F,OAAO,MAAM,CACZ,cAAc,EACd,+GAA+G,CAC/G,CAAA;IACF,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,IAAI,MAAM,EAAE,UAAU,CAAC,MAAM;QACvD,OAAO,MAAM,CAAC,cAAc,EAAE,8CAA8C,CAAC,CAAA;IAC9E,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM;QACjC,OAAO,MAAM,CACZ,QAAQ,EACR,0EAA0E,CAC1E,CAAA;IACF,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM;QAC3B,OAAO,MAAM,CAAC,cAAc,EAAE,kDAAkD,CAAC,CAAA;IAClF,IACC,YAAY,CAAC,gBAAgB,KAAK,YAAY,CAAC,gBAAgB;QAC/D,YAAY,CAAC,iBAAiB,KAAK,YAAY,CAAC,iBAAiB;QAEjE,OAAO,MAAM,CAAC,cAAc,EAAE,0DAA0D,CAAC,CAAA;IAC1F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5D,IACC,CAAC,UAAU,CAAC,MAAM,CAAC;QACnB,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM;QAC1C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;QAE/D,OAAO,MAAM,CACZ,cAAc,EACd,0EAA0E,CAC1E,CAAA;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;IAC1E,MAAM,MAAM,GAAG,IAAI,GAAG,CACrB,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAChF,CAAA;IACD,IACC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/D,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAE7F,OAAO,MAAM,CAAC,cAAc,EAAE,0DAA0D,CAAC,CAAA;IAC1F,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,IAAI,CAAC;QAChG,OAAO,MAAM,CACZ,QAAQ,EACR,uFAAuF,CACvF,CAAA;IACF,OAAO,MAAM,CACZ,QAAQ,EACR,0GAA0G,CAC1G,CAAA;AACF,CAAC"}
@@ -1,5 +1,6 @@
1
1
  export { evalRunFromQuery, evalRunFromRun } from './from-run.js';
2
2
  export { compareHarnessTrials, reviewHarnessCandidate } from './harness-verification.js';
3
+ export type { HarnessProtectionPlan, HarnessProtectionCheck } from './harness-protection.js';
3
4
  export type { HarnessTrial, HarnessAttribution, HarnessVerificationBatch, HarnessBehaviorStatus, HarnessTaskComparison, HarnessComparison, HarnessReview, } from './harness-verification.js';
4
5
  export { formatReport, runExperiment } from './experiment.js';
5
6
  export type { ExperimentConfig } from './experiment.js';
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AACxF,YAAY,EACX,YAAY,EACZ,kBAAkB,EAClB,wBAAwB,EACxB,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,GACb,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC7D,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACxC,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,YAAY,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,OAAO,EACP,gBAAgB,EAChB,KAAK,EACL,MAAM,GACN,MAAM,YAAY,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AACxF,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAC5F,YAAY,EACX,YAAY,EACZ,kBAAkB,EAClB,wBAAwB,EACxB,qBAAqB,EACrB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,GACb,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC7D,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AACxC,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA;AACrE,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,YAAY,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,OAAO,EACP,gBAAgB,EAChB,KAAK,EACL,MAAM,GACN,MAAM,YAAY,CAAA"}
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAUxF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/eval/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAChE,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAWxF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE7D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,OAAO,EACN,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAA"}
@@ -0,0 +1,50 @@
1
+ import type { ResidentAgendaState } from './agenda.js';
2
+ import { type ResidentHistoryReadBudget } from './history-disk.js';
3
+ /** @experimental An immutable upper boundary; new work requires a new source. */
4
+ export interface ResidentActivityScope {
5
+ readonly tenantId: string;
6
+ readonly agentKey: string;
7
+ readonly throughRevision: number;
8
+ }
9
+ /** @experimental Admission is authority to inspect an attempt, not proof that it executed. */
10
+ export interface ResidentAdmission {
11
+ readonly revision: number;
12
+ readonly pursuitRevision: number;
13
+ readonly pursuitId: string;
14
+ readonly claimId: string;
15
+ readonly step: number;
16
+ readonly objective: string;
17
+ }
18
+ /** @experimental Settlement is an agenda decision, not proof of verification or delivery. */
19
+ export interface ResidentSettlement {
20
+ readonly revision: number;
21
+ readonly pursuitId: string;
22
+ readonly claimId: string;
23
+ readonly outcome: 'wait' | 'complete' | 'blocked';
24
+ }
25
+ /** @experimental Forward pages; cursor is the next revision to inspect, initially 1. */
26
+ export interface ResidentActivityOptions {
27
+ readonly cursor?: number;
28
+ readonly maxRevisions?: number;
29
+ readonly maxReadBytes?: number;
30
+ }
31
+ /** @experimental Gaps stay explicit; counts cover only the scanned revision range. */
32
+ export interface ResidentActivityPage {
33
+ readonly scope: ResidentActivityScope;
34
+ readonly fromRevision: number;
35
+ readonly throughRevision: number;
36
+ readonly nextCursor: number | null;
37
+ readonly scannedBytes: number;
38
+ readonly unavailableRevisions: readonly number[];
39
+ readonly admissions: readonly ResidentAdmission[];
40
+ readonly settlements: readonly ResidentSettlement[];
41
+ readonly archivedPursuits: readonly string[];
42
+ }
43
+ /** @experimental A backend must enforce scope, cancellation and read bounds. */
44
+ export interface ResidentActivitySource {
45
+ readonly scope: ResidentActivityScope;
46
+ read(options?: ResidentActivityOptions, signal?: AbortSignal): Promise<ResidentActivityPage>;
47
+ }
48
+ /** Internal adapter for the immutable disk agenda. */
49
+ export declare function createResidentActivitySource(scopeInput: ResidentActivityScope, load: (revision: number, budget: ResidentHistoryReadBudget) => Promise<ResidentAgendaState>): ResidentActivitySource;
50
+ //# sourceMappingURL=activity.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"activity.d.ts","sourceRoot":"","sources":["../../../src/manager/resident/activity.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AACtD,OAAO,EAA4B,KAAK,yBAAyB,EAAE,MAAM,mBAAmB,CAAA;AAE5F,iFAAiF;AACjF,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CAChC;AAED,8FAA8F;AAC9F,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B;AAED,6FAA6F;AAC7F,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;CACjD;AAED,wFAAwF;AACxF,MAAM,WAAW,uBAAuB;IACvC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,sFAAsF;AACtF,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IAChD,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAA;IACjD,QAAQ,CAAC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAA;IACnD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5C;AAED,gFAAgF;AAChF,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;IACrC,IAAI,CAAC,OAAO,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAA;CAC5F;AAED,sDAAsD;AACtD,wBAAgB,4BAA4B,CAC3C,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,yBAAyB,KAAK,OAAO,CAAC,mBAAmB,CAAC,GACzF,sBAAsB,CA+HxB"}
@@ -0,0 +1,125 @@
1
+ import { z } from 'zod';
2
+ import { ResidentHistoryPageLimit } from './history-disk.js';
3
+ /** Internal adapter for the immutable disk agenda. */
4
+ export function createResidentActivitySource(scopeInput, load) {
5
+ const scope = Object.freeze(z
6
+ .object({
7
+ tenantId: z.string().uuid(),
8
+ agentKey: z.string().min(1).max(200),
9
+ throughRevision: z.number().int().positive().safe(),
10
+ })
11
+ .parse(scopeInput));
12
+ return {
13
+ scope,
14
+ async read(options = {}, signal) {
15
+ const from = z
16
+ .number()
17
+ .int()
18
+ .positive()
19
+ .max(scope.throughRevision)
20
+ .parse(options.cursor ?? 1);
21
+ const count = z
22
+ .number()
23
+ .int()
24
+ .positive()
25
+ .max(32)
26
+ .parse(options.maxRevisions ?? 32);
27
+ const budget = {
28
+ remaining: z
29
+ .number()
30
+ .int()
31
+ .positive()
32
+ .max(8 * 1024 * 1024)
33
+ .parse(options.maxReadBytes ?? 8 * 1024 * 1024),
34
+ bytesRead: 0,
35
+ signal,
36
+ };
37
+ const unavailable = new Set();
38
+ const read = async (revision) => {
39
+ signal?.throwIfAborted();
40
+ try {
41
+ const state = await load(revision, budget);
42
+ if (state.tenantId !== scope.tenantId ||
43
+ state.agentKey !== scope.agentKey ||
44
+ state.revision !== revision)
45
+ throw new Error('Resident activity scope mismatch.');
46
+ return state;
47
+ }
48
+ catch (error) {
49
+ signal?.throwIfAborted();
50
+ if (error instanceof ResidentHistoryPageLimit)
51
+ throw error;
52
+ unavailable.add(revision);
53
+ return null;
54
+ }
55
+ };
56
+ const admissions = [];
57
+ const settlements = [];
58
+ const archivedPursuits = [];
59
+ let through = from - 1;
60
+ try {
61
+ let before = from > 1 ? await read(from - 1) : null;
62
+ for (let revision = from; revision <= Math.min(scope.throughRevision, from + count - 1); revision++) {
63
+ const after = await read(revision);
64
+ if (before && after) {
65
+ for (const pursuit of after.pursuits) {
66
+ const previous = before.pursuits.find((p) => p.id === pursuit.id)?.state;
67
+ const current = pursuit.state;
68
+ if (!previous)
69
+ continue;
70
+ if (current.revision === previous.revision + 1 &&
71
+ previous.phase !== 'running' &&
72
+ current.phase === 'running' &&
73
+ current.claimId &&
74
+ current.stepsAdmitted === previous.stepsAdmitted + 1) {
75
+ admissions.push({
76
+ revision,
77
+ pursuitRevision: current.revision,
78
+ pursuitId: pursuit.id,
79
+ claimId: current.claimId,
80
+ step: current.stepsAdmitted,
81
+ objective: current.objective,
82
+ });
83
+ }
84
+ if (current.revision === previous.revision + 1 &&
85
+ previous.phase === 'running' &&
86
+ previous.claimId &&
87
+ current.phase !== 'running' &&
88
+ current.claimId === null &&
89
+ current.stepsAdmitted === previous.stepsAdmitted) {
90
+ settlements.push({
91
+ revision,
92
+ pursuitId: pursuit.id,
93
+ claimId: previous.claimId,
94
+ outcome: current.phase === 'waiting' ? 'wait' : current.phase,
95
+ });
96
+ }
97
+ }
98
+ if (after.archiveHead === revision)
99
+ for (const pursuit of before.pursuits)
100
+ if (!after.pursuits.some((p) => p.id === pursuit.id))
101
+ archivedPursuits.push(pursuit.id);
102
+ }
103
+ through = revision;
104
+ before = after;
105
+ }
106
+ }
107
+ catch (error) {
108
+ if (!(error instanceof ResidentHistoryPageLimit))
109
+ throw error;
110
+ }
111
+ return {
112
+ scope,
113
+ fromRevision: from,
114
+ throughRevision: through,
115
+ nextCursor: through < scope.throughRevision ? through + 1 : null,
116
+ scannedBytes: budget.bytesRead,
117
+ unavailableRevisions: [...unavailable],
118
+ admissions,
119
+ settlements,
120
+ archivedPursuits,
121
+ };
122
+ },
123
+ };
124
+ }
125
+ //# sourceMappingURL=activity.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"activity.js","sourceRoot":"","sources":["../../../src/manager/resident/activity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,wBAAwB,EAAkC,MAAM,mBAAmB,CAAA;AAqD5F,sDAAsD;AACtD,MAAM,UAAU,4BAA4B,CAC3C,UAAiC,EACjC,IAA2F;IAE3F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAC1B,CAAC;SACC,MAAM,CAAC;QACP,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE;QAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACpC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE;KACnD,CAAC;SACD,KAAK,CAAC,UAAU,CAAC,CACnB,CAAA;IACD,OAAO;QACN,KAAK;QACL,KAAK,CAAC,IAAI,CAAC,UAAmC,EAAE,EAAE,MAAoB;YACrE,MAAM,IAAI,GAAG,CAAC;iBACZ,MAAM,EAAE;iBACR,GAAG,EAAE;iBACL,QAAQ,EAAE;iBACV,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC;iBAC1B,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAA;YAC5B,MAAM,KAAK,GAAG,CAAC;iBACb,MAAM,EAAE;iBACR,GAAG,EAAE;iBACL,QAAQ,EAAE;iBACV,GAAG,CAAC,EAAE,CAAC;iBACP,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;YACnC,MAAM,MAAM,GAA8B;gBACzC,SAAS,EAAE,CAAC;qBACV,MAAM,EAAE;qBACR,GAAG,EAAE;qBACL,QAAQ,EAAE;qBACV,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;qBACpB,KAAK,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;gBAChD,SAAS,EAAE,CAAC;gBACZ,MAAM;aACN,CAAA;YACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;YACrC,MAAM,IAAI,GAAG,KAAK,EAAE,QAAgB,EAAE,EAAE;gBACvC,MAAM,EAAE,cAAc,EAAE,CAAA;gBACxB,IAAI,CAAC;oBACJ,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;oBAC1C,IACC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;wBACjC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;wBACjC,KAAK,CAAC,QAAQ,KAAK,QAAQ;wBAE3B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;oBACrD,OAAO,KAAK,CAAA;gBACb,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,MAAM,EAAE,cAAc,EAAE,CAAA;oBACxB,IAAI,KAAK,YAAY,wBAAwB;wBAAE,MAAM,KAAK,CAAA;oBAC1D,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;oBACzB,OAAO,IAAI,CAAA;gBACZ,CAAC;YACF,CAAC,CAAA;YACD,MAAM,UAAU,GAAwB,EAAE,CAAA;YAC1C,MAAM,WAAW,GAAyB,EAAE,CAAA;YAC5C,MAAM,gBAAgB,GAAa,EAAE,CAAA;YACrC,IAAI,OAAO,GAAG,IAAI,GAAG,CAAC,CAAA;YACtB,IAAI,CAAC;gBACJ,IAAI,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBACnD,KACC,IAAI,QAAQ,GAAG,IAAI,EACnB,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC,EAC7D,QAAQ,EAAE,EACT,CAAC;oBACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAA;oBAClC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;wBACrB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;4BACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAA;4BACxE,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAA;4BAC7B,IAAI,CAAC,QAAQ;gCAAE,SAAQ;4BACvB,IACC,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,GAAG,CAAC;gCAC1C,QAAQ,CAAC,KAAK,KAAK,SAAS;gCAC5B,OAAO,CAAC,KAAK,KAAK,SAAS;gCAC3B,OAAO,CAAC,OAAO;gCACf,OAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,GAAG,CAAC,EACnD,CAAC;gCACF,UAAU,CAAC,IAAI,CAAC;oCACf,QAAQ;oCACR,eAAe,EAAE,OAAO,CAAC,QAAQ;oCACjC,SAAS,EAAE,OAAO,CAAC,EAAE;oCACrB,OAAO,EAAE,OAAO,CAAC,OAAO;oCACxB,IAAI,EAAE,OAAO,CAAC,aAAa;oCAC3B,SAAS,EAAE,OAAO,CAAC,SAAS;iCAC5B,CAAC,CAAA;4BACH,CAAC;4BACD,IACC,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,GAAG,CAAC;gCAC1C,QAAQ,CAAC,KAAK,KAAK,SAAS;gCAC5B,QAAQ,CAAC,OAAO;gCAChB,OAAO,CAAC,KAAK,KAAK,SAAS;gCAC3B,OAAO,CAAC,OAAO,KAAK,IAAI;gCACxB,OAAO,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,EAC/C,CAAC;gCACF,WAAW,CAAC,IAAI,CAAC;oCAChB,QAAQ;oCACR,SAAS,EAAE,OAAO,CAAC,EAAE;oCACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;oCACzB,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK;iCAC7D,CAAC,CAAA;4BACH,CAAC;wBACF,CAAC;wBACD,IAAI,KAAK,CAAC,WAAW,KAAK,QAAQ;4BACjC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;gCACpC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC;oCACnD,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;oBACrC,CAAC;oBACD,OAAO,GAAG,QAAQ,CAAA;oBAClB,MAAM,GAAG,KAAK,CAAA;gBACf,CAAC;YACF,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,CAAC,CAAC,KAAK,YAAY,wBAAwB,CAAC;oBAAE,MAAM,KAAK,CAAA;YAC9D,CAAC;YACD,OAAO;gBACN,KAAK;gBACL,YAAY,EAAE,IAAI;gBAClB,eAAe,EAAE,OAAO;gBACxB,UAAU,EAAE,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;gBAChE,YAAY,EAAE,MAAM,CAAC,SAAS;gBAC9B,oBAAoB,EAAE,CAAC,GAAG,WAAW,CAAC;gBACtC,UAAU;gBACV,WAAW;gBACX,gBAAgB;aAChB,CAAA;QACF,CAAC;KACD,CAAA;AACF,CAAC"}
@@ -0,0 +1,137 @@
1
+ import type { TenantId } from '../../types/ids/index.js';
2
+ import { type ResidentDecision, type ResidentExecutionStore, type ResidentState } from './store.js';
3
+ import { type ResidentActivitySource } from './activity.js';
4
+ import { type ResidentHistorySource } from './history.js';
5
+ import { type ResidentFeedback, type ResidentObservation } from './initiative.js';
6
+ import { type ResidentLearningEvidence, type ResidentLearningState, type ResidentProfileUpdate, type ResidentSkillCandidate, type ResidentSkillEvaluation } from './learning.js';
7
+ import { type ResidentDeliveryOutcome, type ResidentMessageInput, type ResidentOutboxMessage } from './outbox.js';
8
+ import { type ResidentProposal, type ResidentProposalLimits, type ResidentProposalOrigin } from './proposal.js';
9
+ /** @experimental One pursuit shares its agent's identity, but has its own lifecycle. */
10
+ export interface ResidentPursuit {
11
+ readonly id: string;
12
+ readonly state: ResidentState;
13
+ readonly feedback?: ResidentFeedback;
14
+ readonly origin?: ResidentProposalOrigin;
15
+ /** Archived direct children still consume the parent's lifetime admission bound. */
16
+ readonly retiredChildren?: number;
17
+ }
18
+ /** @experimental Bounded shared admission record; at most one pursuit may be running. */
19
+ export interface ResidentAgendaState {
20
+ readonly tenantId: string;
21
+ readonly agentKey: string;
22
+ readonly identity: string;
23
+ readonly revision: number;
24
+ readonly paused: boolean;
25
+ /** Durable pause requests; absent means zero. Resuming never resets this generation. */
26
+ readonly pauseGeneration?: number;
27
+ readonly pursuits: readonly ResidentPursuit[];
28
+ readonly outbox?: readonly ResidentOutboxMessage[];
29
+ readonly archiveHead?: number;
30
+ readonly learning?: ResidentLearningState;
31
+ }
32
+ /** @experimental Explicit terminal entries to retire from active capacity together. */
33
+ export interface ResidentArchiveRequest {
34
+ readonly pursuitIds?: readonly string[];
35
+ readonly messageIds?: readonly string[];
36
+ }
37
+ /** @experimental A committed removal, whose immutable predecessor preserves the full records. */
38
+ export interface ResidentArchiveEntry {
39
+ readonly revision: number;
40
+ readonly pursuits: readonly ResidentPursuit[];
41
+ readonly messages: readonly ResidentOutboxMessage[];
42
+ }
43
+ /** @experimental Pages count archive events; each event contains at most 32 pursuits and 128 messages. */
44
+ export interface ResidentArchivePage {
45
+ readonly entries: readonly ResidentArchiveEntry[];
46
+ readonly nextBeforeRevision: number | null;
47
+ }
48
+ /** @experimental The cursor is the next archive-event revision returned by a previous page. */
49
+ export interface ResidentArchiveListOptions {
50
+ readonly beforeRevision?: number;
51
+ /** Number of archive events to inspect; defaults to 8 and cannot exceed 32. */
52
+ readonly limit?: number;
53
+ }
54
+ /** @experimental Atomic whole-agent admission plus independently addressable pursuits. */
55
+ export interface ResidentAgendaStore {
56
+ read(): Promise<ResidentAgendaState | null>;
57
+ create(identity: string): Promise<ResidentAgendaState>;
58
+ add(expected: ResidentAgendaState, objective: string): Promise<ResidentPursuit>;
59
+ /** Each committed true request advances pauseGeneration, even when already paused. */
60
+ setPaused(expected: ResidentAgendaState, paused: boolean): Promise<ResidentAgendaState>;
61
+ wake(id: string, expected: ResidentState, reason: string, now: number): Promise<ResidentState>;
62
+ execution(id: string): ResidentExecutionStore;
63
+ /** Optional atomic extensions required by a configured resident initiative host. */
64
+ executionAt?(id: string, expected: ResidentAgendaState): ResidentExecutionStore;
65
+ settleObserved?(id: string, expected: ResidentState, decision: ResidentDecision, observation: ResidentObservation, now: number): Promise<ResidentState>;
66
+ /** Optional atomic settlement and outbound intent; no transport runs during persistence. */
67
+ settleWithMessage?(id: string, expected: ResidentState, decision: ResidentDecision, message: ResidentMessageInput, now: number, observation?: ResidentObservation): Promise<ResidentState>;
68
+ enqueueMessage?(expected: ResidentAgendaState, input: ResidentMessageInput): Promise<ResidentOutboxMessage>;
69
+ claimMessage?(expected: ResidentAgendaState, id: string, now: number): Promise<ResidentOutboxMessage>;
70
+ settleMessage?(expected: ResidentOutboxMessage, outcome: ResidentDeliveryOutcome, now: number): Promise<ResidentOutboxMessage>;
71
+ }
72
+ /**
73
+ * @experimental One immutable revision contains identity, pause state and all
74
+ * pursuits. Admission therefore serializes this agent even across processes
75
+ * choosing different pursuits. Trusted local filesystems only; no lease expiry.
76
+ */
77
+ export declare class DiskResidentAgenda implements ResidentAgendaStore {
78
+ private readonly records;
79
+ private readonly historyRecords;
80
+ private readonly location;
81
+ private readonly tenantId;
82
+ private readonly agentKey;
83
+ private readonly historyRoot;
84
+ private readonly historyRevisions;
85
+ constructor(root: string, scope: {
86
+ tenantId: TenantId;
87
+ agentKey: string;
88
+ });
89
+ private checked;
90
+ read(): Promise<ResidentAgendaState | null>;
91
+ /** Read one authoritative immutable commit, never the compatibility projection. */
92
+ readRevision(revision: number): Promise<ResidentAgendaState | null>;
93
+ /**
94
+ * Bind bounded historical reads to this pursuit and a host-selected upper
95
+ * agenda revision (normally ResidentStepContext.agendaRevision). No I/O or
96
+ * inference occurs until search/read; the boundary never advances itself.
97
+ */
98
+ history(pursuit: ResidentState, throughRevision: number): ResidentHistorySource;
99
+ /** @experimental Bounded admission/settlement history, including archived pursuits. */
100
+ activity(throughRevision: number): ResidentActivitySource;
101
+ private retire;
102
+ /** Free active slots while preserving full records in the immutable predecessor commit. */
103
+ archive(expected: ResidentAgendaState, input: ResidentArchiveRequest): Promise<ResidentAgendaState>;
104
+ private archiveEntry;
105
+ /** Bounded archive-event pages; exact-ID deduplication may inspect the complete chain. */
106
+ listArchived(options?: ResidentArchiveListOptions): Promise<ResidentArchivePage>;
107
+ private archivedMatch;
108
+ private assertArchivedIntent;
109
+ create(identity: string): Promise<ResidentAgendaState>;
110
+ private change;
111
+ private pursuit;
112
+ add(expected: ResidentAgendaState, objective: string): Promise<ResidentPursuit>;
113
+ /** Host-approved proposal admission is atomic and inert until a future invocation. */
114
+ admitProposal(expected: ResidentAgendaState, input: ResidentProposal, limits: ResidentProposalLimits): Promise<ResidentPursuit>;
115
+ setPaused(expected: ResidentAgendaState, paused: boolean): Promise<ResidentAgendaState>;
116
+ private learn;
117
+ /** Append a host-evidenced correction only while pursuit admission is idle. */
118
+ updateProfile(expected: ResidentAgendaState, input: ResidentProfileUpdate): Promise<ResidentAgendaState>;
119
+ /** Bind evaluated guidance to the current learning version and an idle agenda. */
120
+ promoteSkill(expected: ResidentAgendaState, candidate: ResidentSkillCandidate, evaluation: ResidentSkillEvaluation, evidence: ResidentLearningEvidence): Promise<ResidentAgendaState>;
121
+ /** Restore one skill from an immutable agenda revision while retaining the current profile. */
122
+ rollbackSkill(expected: ResidentAgendaState, name: string, fromRevision: number, evidence: ResidentLearningEvidence): Promise<ResidentAgendaState>;
123
+ private updatePursuit;
124
+ wake(id: string, expected: ResidentState, reason: string, now: number): Promise<ResidentState>;
125
+ settleObserved(id: string, expected: ResidentState, decision: ResidentDecision, observation: ResidentObservation, now: number): Promise<ResidentState>;
126
+ /** Commit the step, observation and message intent together; delivery is separate. */
127
+ settleWithMessage(id: string, expected: ResidentState, decision: ResidentDecision, message: ResidentMessageInput, now: number, observation?: ResidentObservation): Promise<ResidentState>;
128
+ /** Enqueue host-authorized intent without invoking a transport or changing pursuit state. */
129
+ enqueueMessage(expected: ResidentAgendaState, input: ResidentMessageInput): Promise<ResidentOutboxMessage>;
130
+ /** Admit one delivery against the same agenda snapshot used by the host's gate. */
131
+ claimMessage(expected: ResidentAgendaState, id: string, now: number): Promise<ResidentOutboxMessage>;
132
+ /** Settle the exact delivery claim; unrelated agenda writes never repeat the transport. */
133
+ settleMessage(expected: ResidentOutboxMessage, outcome: ResidentDeliveryOutcome, now: number): Promise<ResidentOutboxMessage>;
134
+ executionAt(id: string, expected: ResidentAgendaState): ResidentExecutionStore;
135
+ execution(id: string): ResidentExecutionStore;
136
+ }
137
+ //# sourceMappingURL=agenda.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"agenda.d.ts","sourceRoot":"","sources":["../../../src/manager/resident/agenda.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAEN,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,aAAa,EAOlB,MAAM,YAAY,CAAA;AAEnB,OAAO,EAAE,KAAK,sBAAsB,EAAgC,MAAM,eAAe,CAAA;AAEzF,OAAO,EAAE,KAAK,qBAAqB,EAA+B,MAAM,cAAc,CAAA;AACtF,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EAKxB,MAAM,iBAAiB,CAAA;AACxB,OAAO,EACN,KAAK,wBAAwB,EAC7B,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAO5B,MAAM,eAAe,CAAA;AACtB,OAAO,EACN,KAAK,uBAAuB,EAC5B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAO1B,MAAM,aAAa,CAAA;AACpB,OAAO,EACN,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,EAK3B,MAAM,eAAe,CAAA;AAyEtB,wFAAwF;AACxF,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAA;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,sBAAsB,CAAA;IACxC,oFAAoF;IACpF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;CACjC;AAED,yFAAyF;AACzF,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,wFAAwF;IACxF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,qBAAqB,EAAE,CAAA;IAClD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAA;CACzC;AAED,uFAAuF;AACvF,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACvC;AAED,iGAAiG;AACjG,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;IAC7C,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAA;CACnD;AAED,0GAA0G;AAC1G,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAA;IACjD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1C;AAED,+FAA+F;AAC/F,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACvB;AAmBD,0FAA0F;AAC1F,MAAM,WAAW,mBAAmB;IACnC,IAAI,IAAI,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAAA;IAC3C,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACtD,GAAG,CAAC,QAAQ,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAA;IAC/E,sFAAsF;IACtF,SAAS,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACvF,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAAA;IAC9F,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,sBAAsB,CAAA;IAC7C,oFAAoF;IACpF,WAAW,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,GAAG,sBAAsB,CAAA;IAC/E,cAAc,CAAC,CACd,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,mBAAmB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,aAAa,CAAC,CAAA;IACzB,4FAA4F;IAC5F,iBAAiB,CAAC,CACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,oBAAoB,EAC7B,GAAG,EAAE,MAAM,EACX,WAAW,CAAC,EAAE,mBAAmB,GAC/B,OAAO,CAAC,aAAa,CAAC,CAAA;IACzB,cAAc,CAAC,CACd,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,oBAAoB,GACzB,OAAO,CAAC,qBAAqB,CAAC,CAAA;IACjC,YAAY,CAAC,CACZ,QAAQ,EAAE,mBAAmB,EAC7B,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC,CAAA;IACjC,aAAa,CAAC,CACb,QAAQ,EAAE,qBAAqB,EAC/B,OAAO,EAAE,uBAAuB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC,CAAA;CACjC;AAED;;;;GAIG;AACH,qBAAa,kBAAmB,YAAW,mBAAmB;IAC7D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAIvB;IACD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA+D;IAC9F,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAA;IACzB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAQ;IACjC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAQ;IACpC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAQ;gBAE7B,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;QAAE,QAAQ,EAAE,QAAQ,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE;IAazE,OAAO,CAAC,OAAO;IAuBT,IAAI,IAAI,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAKjD,mFAAmF;IAC7E,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAWzE;;;;OAIG;IACH,OAAO,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,GAAG,qBAAqB;IAwB/E,uFAAuF;IACvF,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,sBAAsB;IAczD,OAAO,CAAC,MAAM;IAqCd,2FAA2F;IACrF,OAAO,CACZ,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,sBAAsB,GAC3B,OAAO,CAAC,mBAAmB,CAAC;YAKjB,YAAY;IAoC1B,0FAA0F;IACpF,YAAY,CAAC,OAAO,GAAE,0BAA+B,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAqB5E,aAAa;IAc3B,OAAO,CAAC,oBAAoB;IAetB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAe9C,MAAM;IAcpB,OAAO,CAAC,OAAO;IAwBT,GAAG,CAAC,QAAQ,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IAMrF,sFAAsF;IAChF,aAAa,CAClB,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,gBAAgB,EACvB,MAAM,EAAE,sBAAsB,GAC5B,OAAO,CAAC,eAAe,CAAC;IA0BrB,SAAS,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC;YAS/E,KAAK;IAYnB,+EAA+E;IACzE,aAAa,CAClB,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,qBAAqB,GAC1B,OAAO,CAAC,mBAAmB,CAAC;IAM/B,kFAAkF;IAC5E,YAAY,CACjB,QAAQ,EAAE,mBAAmB,EAC7B,SAAS,EAAE,sBAAsB,EACjC,UAAU,EAAE,uBAAuB,EACnC,QAAQ,EAAE,wBAAwB,GAChC,OAAO,CAAC,mBAAmB,CAAC;IAM/B,+FAA+F;IACzF,aAAa,CAClB,QAAQ,EAAE,mBAAmB,EAC7B,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,wBAAwB,GAChC,OAAO,CAAC,mBAAmB,CAAC;YAkBjB,aAAa;IAiFrB,IAAI,CACT,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,aAAa,CAAC;IAInB,cAAc,CACnB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,EAAE,mBAAmB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,aAAa,CAAC;IAYzB,sFAAsF;IAChF,iBAAiB,CACtB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,oBAAoB,EAC7B,GAAG,EAAE,MAAM,EACX,WAAW,CAAC,EAAE,mBAAmB,GAC/B,OAAO,CAAC,aAAa,CAAC;IAkBzB,6FAA6F;IACvF,cAAc,CACnB,QAAQ,EAAE,mBAAmB,EAC7B,KAAK,EAAE,oBAAoB,GACzB,OAAO,CAAC,qBAAqB,CAAC;IAoBjC,mFAAmF;IAC7E,YAAY,CACjB,QAAQ,EAAE,mBAAmB,EAC7B,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC;IAmBjC,2FAA2F;IACrF,aAAa,CAClB,QAAQ,EAAE,qBAAqB,EAC/B,OAAO,EAAE,uBAAuB,EAChC,GAAG,EAAE,MAAM,GACT,OAAO,CAAC,qBAAqB,CAAC;IAoCjC,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,GAAG,sBAAsB;IAmB9E,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,sBAAsB;CAU7C"}