pi-daddy 0.22.0 → 0.24.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 (385) hide show
  1. package/CHANGELOG.md +40 -0
  2. package/README.md +12 -6
  3. package/contracts/daily-view/v1/README.md +114 -0
  4. package/contracts/daily-view/v1/fixtures/view.json +525 -0
  5. package/contracts/daily-view/v1/fixtures/view.txt +75 -0
  6. package/contracts/daily-view/v1/fixtures/work.jsonl +17 -0
  7. package/contracts/daily-view/v1/p03/README.md +26 -0
  8. package/contracts/daily-view/v1/p03/fixtures/retained-executions.json +241 -0
  9. package/contracts/daily-view/v1/p03/projection.schema.json +194 -0
  10. package/contracts/daily-view/v1/p03/provenance.json +21 -0
  11. package/contracts/dashboard-host/v1/README.md +176 -0
  12. package/contracts/debrief/v1/README.md +146 -0
  13. package/contracts/debrief/v1/intervention/README.md +32 -0
  14. package/contracts/debrief/v1/intervention/fixtures/artifact-3ee11136beb864f518252e5024dae9197421fbf97b6e981d3243c782b5c44bd0.txt +1 -0
  15. package/contracts/debrief/v1/intervention/fixtures/artifact-58905d872dd3c54a9705f67b05fa82edbad7af6476ae8993faf1a7b9fadfb905.txt +1 -0
  16. package/contracts/debrief/v1/intervention/fixtures/assessment.json +29 -0
  17. package/contracts/debrief/v1/intervention/fixtures/blind-view.json +20 -0
  18. package/contracts/debrief/v1/intervention/fixtures/choice.json +7 -0
  19. package/contracts/debrief/v1/intervention/fixtures/manifest.json +57 -0
  20. package/contracts/debrief/v1/intervention/fixtures/reveal.json +39 -0
  21. package/contracts/debrief/v1/provenance.json +89 -0
  22. package/contracts/debrief/v1/work-capture/README.md +38 -0
  23. package/contracts/debrief/v1/work-capture/fixtures/batch.json +17 -0
  24. package/contracts/debrief/v1/work-capture/fixtures/cases.json +184 -0
  25. package/contracts/debrief/v1/work-capture/fixtures/review.json +184 -0
  26. package/contracts/debrief/v1/work-capture/review-request.schema.json +41 -0
  27. package/contracts/debrief/v1/work-capture/work-case.schema.json +190 -0
  28. package/contracts/debrief/v2/README.md +71 -0
  29. package/contracts/debrief/v2/input-pin.json +66 -0
  30. package/contracts/debrief/v2/intervention-upstream.md +40 -0
  31. package/contracts/debrief/v2/work-signals-upstream.md +22 -0
  32. package/contracts/dispatch-control/v1/README.md +109 -0
  33. package/contracts/dispatch-control/v1/request.schema.json +19 -0
  34. package/contracts/effect-profile/v1/README.md +124 -0
  35. package/contracts/execution-retention/v1/README.md +109 -0
  36. package/contracts/execution-retention/v2/README.md +148 -0
  37. package/contracts/execution-retention/v2/fixtures/interrupted-native-bytes.json +91 -0
  38. package/contracts/execution-retention/v2/fixtures/missing-native-session.json +91 -0
  39. package/contracts/execution-retention/v2/fixtures/native-file-unknown-branch.json +91 -0
  40. package/contracts/execution-retention/v2/fixtures/native-id-without-bytes.json +91 -0
  41. package/contracts/execution-retention/v2/fixtures/native-live-branch.json +90 -0
  42. package/contracts/execution-retention/v2/fixtures/replaced-native-session.json +92 -0
  43. package/contracts/execution-retention/v2/fixtures/result-82c620cdfeb8ca6b858cf653d7f5e2eedca5315d6244216d60e8b36f03223d6a.bin +1 -0
  44. package/contracts/execution-retention/v2/fixtures/session-2ec1f134bc739984434f7fca689e1c3d1c39fce2dcadae709e9b6faedfcc4ac7.bin +3 -0
  45. package/contracts/execution-retention/v2/fixtures/session-9bdb4bd16a901da31580acf056bda525225259e15ec409e0410480109011772f.bin +3 -0
  46. package/contracts/execution-retention/v2/manifest.schema.json +858 -0
  47. package/contracts/experiment/v1/README.md +164 -0
  48. package/contracts/factory-order/v1/README.md +151 -0
  49. package/contracts/factory-order/v1/adoption-pin.json +8 -0
  50. package/contracts/intent-control/v1/README.md +135 -0
  51. package/contracts/intent-control/v1/request.schema.json +1096 -0
  52. package/contracts/intent-control/v2/README.md +34 -0
  53. package/contracts/intent-control/v2/request.schema.json +1070 -0
  54. package/contracts/ledger/v4/README.md +241 -0
  55. package/contracts/ledger/v4/fixtures/layout-options.json +428 -0
  56. package/contracts/ledger/v4/fixtures/work-acceptance.json +57 -0
  57. package/contracts/ledger/v4/fixtures/work-occurrence.json +44 -0
  58. package/contracts/ledger/v4/fixtures/work-revision.json +26 -0
  59. package/contracts/ledger/v4/fixtures/work-snapshot.json +73 -0
  60. package/contracts/ledger/v4/ledger-event.schema.json +162 -0
  61. package/contracts/ordinary-control/v1/README.md +59 -0
  62. package/contracts/producer-ipc/v1/README.md +137 -0
  63. package/dist/check-runner.d.ts +5 -0
  64. package/dist/check-runner.d.ts.map +1 -1
  65. package/dist/check-runner.js +16 -2
  66. package/dist/check-runner.js.map +1 -1
  67. package/dist/cli.d.ts +3 -1
  68. package/dist/cli.d.ts.map +1 -1
  69. package/dist/cli.js +49 -3
  70. package/dist/cli.js.map +1 -1
  71. package/dist/control-journal.d.ts +20 -0
  72. package/dist/control-journal.d.ts.map +1 -0
  73. package/dist/control-journal.js +73 -0
  74. package/dist/control-journal.js.map +1 -0
  75. package/dist/daily-dashboard-host.d.ts +99 -0
  76. package/dist/daily-dashboard-host.d.ts.map +1 -0
  77. package/dist/daily-dashboard-host.js +71 -0
  78. package/dist/daily-dashboard-host.js.map +1 -0
  79. package/dist/daily-view-input.d.ts +44 -0
  80. package/dist/daily-view-input.d.ts.map +1 -0
  81. package/dist/daily-view-input.js +68 -0
  82. package/dist/daily-view-input.js.map +1 -0
  83. package/dist/daily-view-render.d.ts +4 -0
  84. package/dist/daily-view-render.d.ts.map +1 -0
  85. package/dist/daily-view-render.js +41 -0
  86. package/dist/daily-view-render.js.map +1 -0
  87. package/dist/daily-view.d.ts +74 -0
  88. package/dist/daily-view.d.ts.map +1 -0
  89. package/dist/daily-view.js +170 -0
  90. package/dist/daily-view.js.map +1 -0
  91. package/dist/dashboard-cli.d.ts +26 -1
  92. package/dist/dashboard-cli.d.ts.map +1 -1
  93. package/dist/dashboard-cli.js +128 -3
  94. package/dist/dashboard-cli.js.map +1 -1
  95. package/dist/dashboard-harness.d.ts +22 -0
  96. package/dist/dashboard-harness.d.ts.map +1 -0
  97. package/dist/dashboard-harness.js +89 -0
  98. package/dist/dashboard-harness.js.map +1 -0
  99. package/dist/dashboard-herdr.d.ts.map +1 -1
  100. package/dist/dashboard-herdr.js +7 -2
  101. package/dist/dashboard-herdr.js.map +1 -1
  102. package/dist/dashboard-host-contract.d.ts +116 -0
  103. package/dist/dashboard-host-contract.d.ts.map +1 -0
  104. package/dist/dashboard-host-contract.js +14 -0
  105. package/dist/dashboard-host-contract.js.map +1 -0
  106. package/dist/dashboard-host-transport.d.ts +16 -0
  107. package/dist/dashboard-host-transport.d.ts.map +1 -0
  108. package/dist/dashboard-host-transport.js +124 -0
  109. package/dist/dashboard-host-transport.js.map +1 -0
  110. package/dist/dashboard-host.d.ts +203 -0
  111. package/dist/dashboard-host.d.ts.map +1 -0
  112. package/dist/dashboard-host.js +376 -0
  113. package/dist/dashboard-host.js.map +1 -0
  114. package/dist/dashboard-observation.d.ts +28 -0
  115. package/dist/dashboard-observation.d.ts.map +1 -0
  116. package/dist/dashboard-observation.js +86 -0
  117. package/dist/dashboard-observation.js.map +1 -0
  118. package/dist/debrief-contract.d.ts +65 -0
  119. package/dist/debrief-contract.d.ts.map +1 -0
  120. package/dist/debrief-contract.js +151 -0
  121. package/dist/debrief-contract.js.map +1 -0
  122. package/dist/debrief-fixture.d.ts +16 -0
  123. package/dist/debrief-fixture.d.ts.map +1 -0
  124. package/dist/debrief-fixture.js +41 -0
  125. package/dist/debrief-fixture.js.map +1 -0
  126. package/dist/debrief-host.d.ts +59 -0
  127. package/dist/debrief-host.d.ts.map +1 -0
  128. package/dist/debrief-host.js +49 -0
  129. package/dist/debrief-host.js.map +1 -0
  130. package/dist/debrief-render.d.ts +5 -0
  131. package/dist/debrief-render.d.ts.map +1 -0
  132. package/dist/debrief-render.js +65 -0
  133. package/dist/debrief-render.js.map +1 -0
  134. package/dist/debrief.d.ts +90 -0
  135. package/dist/debrief.d.ts.map +1 -0
  136. package/dist/debrief.js +263 -0
  137. package/dist/debrief.js.map +1 -0
  138. package/dist/delegate-types.d.ts +2 -0
  139. package/dist/delegate-types.d.ts.map +1 -1
  140. package/dist/delegate-types.js.map +1 -1
  141. package/dist/delegate.d.ts.map +1 -1
  142. package/dist/delegate.js +1 -0
  143. package/dist/delegate.js.map +1 -1
  144. package/dist/dispatch-control.d.ts +45 -0
  145. package/dist/dispatch-control.d.ts.map +1 -0
  146. package/dist/dispatch-control.js +76 -0
  147. package/dist/dispatch-control.js.map +1 -0
  148. package/dist/effect-profile-runtime.d.ts +40 -0
  149. package/dist/effect-profile-runtime.d.ts.map +1 -0
  150. package/dist/effect-profile-runtime.js +51 -0
  151. package/dist/effect-profile-runtime.js.map +1 -0
  152. package/dist/effect-profile.d.ts +40 -0
  153. package/dist/effect-profile.d.ts.map +1 -0
  154. package/dist/effect-profile.js +152 -0
  155. package/dist/effect-profile.js.map +1 -0
  156. package/dist/execution-retention.d.ts +90 -0
  157. package/dist/execution-retention.d.ts.map +1 -0
  158. package/dist/execution-retention.js +247 -0
  159. package/dist/execution-retention.js.map +1 -0
  160. package/dist/experiment-contract.d.ts +56 -0
  161. package/dist/experiment-contract.d.ts.map +1 -0
  162. package/dist/experiment-contract.js +80 -0
  163. package/dist/experiment-contract.js.map +1 -0
  164. package/dist/experiment-state.d.ts +22 -0
  165. package/dist/experiment-state.d.ts.map +1 -0
  166. package/dist/experiment-state.js +79 -0
  167. package/dist/experiment-state.js.map +1 -0
  168. package/dist/experiment-store.d.ts +30 -0
  169. package/dist/experiment-store.d.ts.map +1 -0
  170. package/dist/experiment-store.js +147 -0
  171. package/dist/experiment-store.js.map +1 -0
  172. package/dist/experiment.d.ts +65 -0
  173. package/dist/experiment.d.ts.map +1 -0
  174. package/dist/experiment.js +357 -0
  175. package/dist/experiment.js.map +1 -0
  176. package/dist/factory-contract.d.ts +79 -0
  177. package/dist/factory-contract.d.ts.map +1 -0
  178. package/dist/factory-contract.js +89 -0
  179. package/dist/factory-contract.js.map +1 -0
  180. package/dist/factory-migration.d.ts +20 -0
  181. package/dist/factory-migration.d.ts.map +1 -0
  182. package/dist/factory-migration.js +55 -0
  183. package/dist/factory-migration.js.map +1 -0
  184. package/dist/factory-order.d.ts +848 -0
  185. package/dist/factory-order.d.ts.map +1 -0
  186. package/dist/factory-order.js +83 -0
  187. package/dist/factory-order.js.map +1 -0
  188. package/dist/factory-registry.d.ts +121 -0
  189. package/dist/factory-registry.d.ts.map +1 -0
  190. package/dist/factory-registry.js +133 -0
  191. package/dist/factory-registry.js.map +1 -0
  192. package/dist/file-lock.d.ts +8 -2
  193. package/dist/file-lock.d.ts.map +1 -1
  194. package/dist/file-lock.js +78 -19
  195. package/dist/file-lock.js.map +1 -1
  196. package/dist/herdr-poll.d.ts +8 -0
  197. package/dist/herdr-poll.d.ts.map +1 -1
  198. package/dist/herdr-poll.js +23 -0
  199. package/dist/herdr-poll.js.map +1 -1
  200. package/dist/index.d.ts +20 -0
  201. package/dist/index.d.ts.map +1 -1
  202. package/dist/index.js +20 -0
  203. package/dist/index.js.map +1 -1
  204. package/dist/intent-application.d.ts +17 -0
  205. package/dist/intent-application.d.ts.map +1 -0
  206. package/dist/intent-application.js +113 -0
  207. package/dist/intent-application.js.map +1 -0
  208. package/dist/intent-control.d.ts +201 -0
  209. package/dist/intent-control.d.ts.map +1 -0
  210. package/dist/intent-control.js +110 -0
  211. package/dist/intent-control.js.map +1 -0
  212. package/dist/intent-scheduling.d.ts +9 -0
  213. package/dist/intent-scheduling.d.ts.map +1 -0
  214. package/dist/intent-scheduling.js +15 -0
  215. package/dist/intent-scheduling.js.map +1 -0
  216. package/dist/ledger-append.d.ts +15 -0
  217. package/dist/ledger-append.d.ts.map +1 -0
  218. package/dist/ledger-append.js +94 -0
  219. package/dist/ledger-append.js.map +1 -0
  220. package/dist/ledger.d.ts +11 -0
  221. package/dist/ledger.d.ts.map +1 -1
  222. package/dist/ledger.js +3 -7
  223. package/dist/ledger.js.map +1 -1
  224. package/dist/native-session-target.d.ts +9 -0
  225. package/dist/native-session-target.d.ts.map +1 -0
  226. package/dist/native-session-target.js +29 -0
  227. package/dist/native-session-target.js.map +1 -0
  228. package/dist/native-session.d.ts +59 -0
  229. package/dist/native-session.d.ts.map +1 -0
  230. package/dist/native-session.js +154 -0
  231. package/dist/native-session.js.map +1 -0
  232. package/dist/order-schedule.d.ts +37 -0
  233. package/dist/order-schedule.d.ts.map +1 -0
  234. package/dist/order-schedule.js +81 -0
  235. package/dist/order-schedule.js.map +1 -0
  236. package/dist/ordinary-children.d.ts +52 -0
  237. package/dist/ordinary-children.d.ts.map +1 -0
  238. package/dist/ordinary-children.js +93 -0
  239. package/dist/ordinary-children.js.map +1 -0
  240. package/dist/producer-ipc-contract.d.ts +29 -0
  241. package/dist/producer-ipc-contract.d.ts.map +1 -0
  242. package/dist/producer-ipc-contract.js +29 -0
  243. package/dist/producer-ipc-contract.js.map +1 -0
  244. package/dist/producer-ipc.d.ts +55 -0
  245. package/dist/producer-ipc.d.ts.map +1 -0
  246. package/dist/producer-ipc.js +143 -0
  247. package/dist/producer-ipc.js.map +1 -0
  248. package/dist/resource-budget.d.ts +334 -0
  249. package/dist/resource-budget.d.ts.map +1 -0
  250. package/dist/resource-budget.js +415 -0
  251. package/dist/resource-budget.js.map +1 -0
  252. package/dist/retention-contract.d.ts +73 -0
  253. package/dist/retention-contract.d.ts.map +1 -0
  254. package/dist/retention-contract.js +104 -0
  255. package/dist/retention-contract.js.map +1 -0
  256. package/dist/retention-json.d.ts +3 -0
  257. package/dist/retention-json.d.ts.map +1 -0
  258. package/dist/retention-json.js +32 -0
  259. package/dist/retention-json.js.map +1 -0
  260. package/dist/run-child.d.ts +4 -0
  261. package/dist/run-child.d.ts.map +1 -1
  262. package/dist/run-child.js +16 -2
  263. package/dist/run-child.js.map +1 -1
  264. package/dist/run-herdr.d.ts +6 -0
  265. package/dist/run-herdr.d.ts.map +1 -1
  266. package/dist/run-herdr.js +19 -6
  267. package/dist/run-herdr.js.map +1 -1
  268. package/dist/vendor/adoption.d.ts +129 -0
  269. package/dist/vendor/adoption.d.ts.map +1 -0
  270. package/dist/vendor/adoption.js +102 -0
  271. package/dist/vendor/adoption.js.map +1 -0
  272. package/dist/work-command.d.ts +30 -0
  273. package/dist/work-command.d.ts.map +1 -0
  274. package/dist/work-command.js +148 -0
  275. package/dist/work-command.js.map +1 -0
  276. package/dist/work-ledger-destination.d.ts +20 -0
  277. package/dist/work-ledger-destination.d.ts.map +1 -0
  278. package/dist/work-ledger-destination.js +131 -0
  279. package/dist/work-ledger-destination.js.map +1 -0
  280. package/dist/work-ledger-json.d.ts +25 -0
  281. package/dist/work-ledger-json.d.ts.map +1 -0
  282. package/dist/work-ledger-json.js +267 -0
  283. package/dist/work-ledger-json.js.map +1 -0
  284. package/dist/work-ledger-occurrences.d.ts +227 -0
  285. package/dist/work-ledger-occurrences.d.ts.map +1 -0
  286. package/dist/work-ledger-occurrences.js +115 -0
  287. package/dist/work-ledger-occurrences.js.map +1 -0
  288. package/dist/work-ledger-projection.d.ts +295 -0
  289. package/dist/work-ledger-projection.d.ts.map +1 -0
  290. package/dist/work-ledger-projection.js +237 -0
  291. package/dist/work-ledger-projection.js.map +1 -0
  292. package/dist/work-ledger-snapshot.d.ts +29 -0
  293. package/dist/work-ledger-snapshot.d.ts.map +1 -0
  294. package/dist/work-ledger-snapshot.js +267 -0
  295. package/dist/work-ledger-snapshot.js.map +1 -0
  296. package/dist/work-ledger-types.d.ts +261 -0
  297. package/dist/work-ledger-types.d.ts.map +1 -0
  298. package/dist/work-ledger-types.js +13 -0
  299. package/dist/work-ledger-types.js.map +1 -0
  300. package/dist/work-ledger-validation.d.ts +14 -0
  301. package/dist/work-ledger-validation.d.ts.map +1 -0
  302. package/dist/work-ledger-validation.js +226 -0
  303. package/dist/work-ledger-validation.js.map +1 -0
  304. package/dist/work-ledger.d.ts +43 -0
  305. package/dist/work-ledger.d.ts.map +1 -0
  306. package/dist/work-ledger.js +225 -0
  307. package/dist/work-ledger.js.map +1 -0
  308. package/extensions/daily-dashboard-session.ts +30 -0
  309. package/extensions/daily-work-session.ts +20 -0
  310. package/extensions/delegate-chain.ts +1 -0
  311. package/extensions/delegation-native.ts +12 -0
  312. package/extensions/delegation.ts +25 -11
  313. package/extensions/execute-child.ts +44 -5
  314. package/extensions/executor-session.ts +9 -0
  315. package/extensions/grants-command.ts +14 -15
  316. package/extensions/grants-connected-command.ts +19 -0
  317. package/extensions/grants.ts +26 -2
  318. package/extensions/ordinary-runtime.ts +14 -0
  319. package/extensions/primary-shadow.ts +11 -0
  320. package/extensions/run-delegation.ts +9 -7
  321. package/extensions/session.ts +10 -20
  322. package/extensions/work-runtime.ts +44 -0
  323. package/package.json +78 -4
  324. package/src/check-runner.ts +20 -2
  325. package/src/cli.ts +41 -4
  326. package/src/control-journal.ts +26 -0
  327. package/src/daily-dashboard-host.ts +49 -0
  328. package/src/daily-view-input.ts +59 -0
  329. package/src/daily-view-render.ts +44 -0
  330. package/src/daily-view.ts +152 -0
  331. package/src/dashboard-cli.ts +108 -4
  332. package/src/dashboard-harness.ts +37 -0
  333. package/src/dashboard-herdr.ts +7 -2
  334. package/src/dashboard-host-contract.ts +45 -0
  335. package/src/dashboard-host-transport.ts +40 -0
  336. package/src/dashboard-host.ts +191 -0
  337. package/src/dashboard-observation.ts +45 -0
  338. package/src/debrief-contract.ts +127 -0
  339. package/src/debrief-fixture.ts +29 -0
  340. package/src/debrief-host.ts +53 -0
  341. package/src/debrief-render.ts +49 -0
  342. package/src/debrief.ts +198 -0
  343. package/src/delegate-types.ts +2 -0
  344. package/src/delegate.ts +1 -0
  345. package/src/dispatch-control.ts +81 -0
  346. package/src/effect-profile-runtime.ts +46 -0
  347. package/src/effect-profile.ts +129 -0
  348. package/src/execution-retention.ts +230 -0
  349. package/src/experiment-contract.ts +66 -0
  350. package/src/experiment-state.ts +44 -0
  351. package/src/experiment-store.ts +98 -0
  352. package/src/experiment.ts +231 -0
  353. package/src/factory-contract.ts +47 -0
  354. package/src/factory-migration.ts +29 -0
  355. package/src/factory-order.ts +56 -0
  356. package/src/factory-registry.ts +60 -0
  357. package/src/file-lock.ts +47 -11
  358. package/src/herdr-poll.ts +18 -0
  359. package/src/index.ts +32 -0
  360. package/src/intent-application.ts +90 -0
  361. package/src/intent-control.ts +107 -0
  362. package/src/intent-scheduling.ts +14 -0
  363. package/src/ledger-append.ts +72 -0
  364. package/src/ledger.ts +3 -9
  365. package/src/native-session-target.ts +23 -0
  366. package/src/native-session.ts +139 -0
  367. package/src/order-schedule.ts +42 -0
  368. package/src/ordinary-children.ts +59 -0
  369. package/src/producer-ipc-contract.ts +26 -0
  370. package/src/producer-ipc.ts +107 -0
  371. package/src/resource-budget.ts +349 -0
  372. package/src/retention-contract.ts +84 -0
  373. package/src/retention-json.ts +20 -0
  374. package/src/run-child.ts +13 -2
  375. package/src/run-herdr.ts +11 -7
  376. package/src/vendor/adoption.ts +109 -0
  377. package/src/work-command.ts +179 -0
  378. package/src/work-ledger-destination.ts +113 -0
  379. package/src/work-ledger-json.ts +228 -0
  380. package/src/work-ledger-occurrences.ts +99 -0
  381. package/src/work-ledger-projection.ts +262 -0
  382. package/src/work-ledger-snapshot.ts +246 -0
  383. package/src/work-ledger-types.ts +229 -0
  384. package/src/work-ledger-validation.ts +174 -0
  385. package/src/work-ledger.ts +186 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"execution-retention.js","sourceRoot":"","sources":["../src/execution-retention.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,+BAA+B,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAuF,MAAM,qBAAqB,CAAC;AACnK,OAAO,EAAE,+BAA+B,EAAE,+BAA+B,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC7H,OAAO,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,uBAAuB,EAA4D,MAAM,qBAAqB,CAAC;AAEpK,8FAA8F;AAC9F,MAAM,CAAC,MAAM,qBAAqB,GAAG,6BAA6B,CAAC;AACnE,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,CAAC;AACvC,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC;AAC1B,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,IAAI,MAAM,GAAG,CAAC,CAAC;AACf,MAAM,MAAM,GAAG,CAAC,KAA0B,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAkChG,MAAM,MAAM,GAAG,IAAI,OAAO,EAAmD,CAAC;AAC9E,mGAAmG;AACnG,MAAM,UAAU,uBAAuB,CAAC,MAAuB;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC,CAAC;IAC5F,OAAO,KAAK,EAAE,CAAC;AACjB,CAAC;AACD,MAAM,OAAO,GAAG,GAAoB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAEtG,sGAAsG;AACtG,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,aAAsB,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC;AAEtH;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAA2B,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;IACjH,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACvG,MAAM,QAAQ,GAAG,KAAK,IAAI,MAAM,GAAG,UAAU,CAAC;IAC9C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,IAAI,MAAM,GAA8B,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAChG,MAAM,QAAQ,GAA+B;QAC3C,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,QAAQ,EAAE;YAC/C,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO;YAC3G,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC7F,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW;SAClI;QACD,MAAM,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE;QACzH,aAAa,EAAE,oBAAoB,EAAE;QACrC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI;QAC/B,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;QAC1I,QAAQ,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC,EAAE;QACtG,UAAU,EAAE,cAAc;KAC3B,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,OAAkC,CAAC;IACvC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,UAAqC,CAAC;IAC1C,IAAI,UAAuJ,CAAC;IAC5J,IAAI,eAAmC,CAAC;IACxC,IAAI,UAAgD,CAAC;IACrD,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5H,MAAM,OAAO,GAAG,GAAG,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QAAC,MAAM,EAAE,CAAC;QAAC,QAAQ,GAAG,IAAI,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,QAAQ;QAAE,MAAM,EAAE,CAAC;SAClB,IAAI,SAAS;QAAE,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,KAAK,IAAI,EAAE;QACzB,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,IAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YACrD,OAAO,KAAK,EAAE,CAAC;gBACb,KAAK,GAAG,KAAK,CAAC;gBACd,+FAA+F;gBAC/F,MAAM,UAAU,GAA+B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACpF,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;gBAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;oBACrC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;oBAC7B,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,MAAM,MAAM,CAAC;oBACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBACvB,MAAM,SAAS,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;wBACvE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACpB,CAAC;oBACD,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC7F,CAAC;gBACD,MAAM,SAAS,CAAC,IAAI,CAAC,IAAK,EAAE,kBAAkB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,+BAA+B,CAAC,UAAU,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBACtI,MAAM,MAAM,CAAC,IAAI,CAAC,IAAK,EAAE,kBAAkB,CAAC,EAAE,YAAa,CAAC,CAAC;gBAC7D,MAAM,GAAG,UAAU,CAAC;YACtB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,MAAM,CAAC;YAChB,IAAI,CAAC,sBAAsB,CAAC,CAAC;YAC7B,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACZ,CAAC;gBAAS,CAAC;YACT,OAAO,GAAG,SAAS,CAAC;YACpB,IAAI,QAAQ,IAAI,CAAC,UAAU,EAAE,CAAC;gBAAC,OAAO,CAAC,KAAK,EAAE,CAAC;gBAAC,OAAO,EAAE,CAAC;YAAC,CAAC;QAC9D,CAAC;IACH,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,GAAG,EAAE;QACpB,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,MAAM,IAAI,QAAQ;YAAE,OAAO;QACvD,KAAK,GAAG,IAAI,CAAC;QACb,MAAM,GAAG,SAAS,CAAC;QACnB,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,SAAyC,EAAE,EAAE;QACnE,IAAI,QAAQ,IAAI,CAAC,QAAQ,IAAI,QAAQ,IAAI,MAAM,KAAK,MAAM;YAAE,OAAO;QACnE,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,oCAAoC,CAAC,CAAC;QAC/I,UAAU,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAChI,IAAI,UAAU;YAAE,OAAO;QACvB,UAAU,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE;YAC7C,OAAO,UAAU,EAAE,CAAC;gBAClB,MAAM,OAAO,GAAG,UAAU,CAAC;gBAAC,UAAU,GAAG,SAAS,CAAC;gBACnD,MAAM,QAAQ,GAAyB,OAAO,CAAC,MAAM,KAAK,UAAU;oBAClE,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,oBAAoB,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,SAAkB;4BAC5F,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,iCAAiC,EAAE,EAAE;oBAC3E,CAAC,CAAC,MAAM,iBAAiB,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC;gBACrK,IAAI,QAAQ,CAAC,WAAW,CAAC,SAAS,IAAI,QAAQ,CAAC,YAAY;oBAAE,UAAU,KAAK,QAAQ,CAAC,YAAY,CAAC;gBAClG,IAAI,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;gBACvC,IAAI,eAAe,IAAI,WAAW,CAAC,SAAS,IAAI,eAAe,KAAK,WAAW,CAAC,SAAS,EAAE,CAAC;oBAC1F,WAAW,GAAG,EAAE,GAAG,oBAAoB,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;gBAC9H,CAAC;gBACD,IAAI,WAAW,CAAC,SAAS;oBAAE,eAAe,KAAK,WAAW,CAAC,SAAS,CAAC;gBACrE,QAAQ,CAAC,aAAa,GAAG,EAAE,GAAG,WAAW,EAAE,CAAC;gBAC5C,QAAQ,CAAC,MAAM,CAAC,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;gBAClD,QAAQ,CAAC,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC;gBACtD,QAAQ,CAAC,MAAM,CAAC,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC;gBACxD,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC1B,IAAI,QAAQ,CAAC,KAAK,IAAI,WAAW,KAAK,QAAQ,CAAC,WAAW;oBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACnG,IAAI,WAAW,CAAC,MAAM;oBAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBACjD,QAAQ,EAAE,CAAC;YACb,CAAC;QACH,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,mCAAmC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,UAAU,GAAG,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxH,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,IAA8B,EAAE;QACjD,OAAO,UAAU,IAAI,OAAO,EAAE,CAAC;YAAC,IAAI,UAAU;gBAAE,MAAM,UAAU,CAAC;YAAC,IAAI,OAAO;gBAAE,MAAM,OAAO,CAAC;QAAC,CAAC;QAC/F,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;IAClC,CAAC,CAAC;IACF,QAAQ,EAAE,CAAC;IACX,OAAO;QACL,6FAA6F;QAC7F,cAAc;QACd,qBAAqB,CAAC,OAA6B;YACjD,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;gBACvC,IAAI,KAAK;oBAAE,cAAc,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;qBACvE,CAAC;oBAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;oBAAC,QAAQ,EAAE,CAAC;gBAAC,CAAC;YAC5D,CAAC;YAAC,MAAM,CAAC;gBAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;gBAAC,QAAQ,EAAE,CAAC;YAAC,CAAC;QACrE,CAAC;QACD,MAAM,EAAE,GAAoB,EAAE,GAAG,MAAM,KAAK,GAAG,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC;QAClH,MAAM,CAAC,KAAoG;YACzG,IAAI,QAAQ;gBAAE,OAAO;YACrB,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAU,EAAE,CAAC;gBACnE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACxB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;oBAAC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC;wBAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC;gBAAC,CAAC;qBACrH,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI;oBAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YACxF,CAAC;YACD,QAAQ,EAAE,CAAC;QACb,CAAC;QACD,OAAO,CAAC,IAAsE,EAAE,KAAiB,EAAE,OAAO,GAAG,KAAK;YAChH,IAAI,QAAQ,IAAI,CAAC,QAAQ,IAAI,MAAM,KAAK,MAAM;gBAAE,OAAO;YACvD,MAAM,WAAW,GAAG,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,QAAQ,CAAC;YACjE,IAAI,WAAW;gBAAE,OAAO,GAAG,IAAI,CAAC;YAChC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,gGAAgG;YAChG,IAAI,WAAW,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;gBAAC,IAAI,CAAC,GAAG,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,wBAAwB,CAAC,CAAC;gBAAC,QAAQ,EAAE,CAAC;gBAAC,OAAO;YAAC,CAAC;YACvJ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;YACpE,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBAAE,IAAI,CAAC,GAAG,IAAI,sBAAsB,CAAC,CAAC;YACtE,IAAI,IAAI,KAAK,cAAc;gBAAE,IAAI,CAAC,mCAAmC,CAAC,CAAC;YACvE,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YACzD,IAAI,CAAC,WAAW;gBAAE,KAAK,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;YACpD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxB,QAAQ,EAAE,CAAC;QACb,CAAC;QACD,MAAM,CAAC,OAA2D;YAChE,IAAI,QAAQ;gBAAE,OAAO;YACrB,QAAQ,CAAC,OAAO,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBACzF,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;YACnF,QAAQ,CAAC,KAAK,GAAG,UAAU,CAAC;YAC5B,IAAI,OAAO,CAAC,SAAS;gBAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC;YACzD,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,QAAQ;gBAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACvE,QAAQ,GAAG,IAAI,CAAC;YAChB,QAAQ,EAAE,CAAC;QACb,CAAC;QACD,4FAA4F;QAC5F,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAc,EAAE,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACrF,KAAK,EAAE,KAAK;KACb,CAAC;AACJ,CAAC;AAGD,+FAA+F;AAC/F,MAAM,UAAU,mBAAmB,CAAC,SAA0B,EAAE,KAAkB;IAChF,IAAI,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7E,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAClG,OAAO,UAAU,CAAC;AACpB,CAAC"}
@@ -0,0 +1,56 @@
1
+ import type { WorkFrozen } from "./work-ledger-types.ts";
2
+ import { type WorkIntentBinding } from "./intent-control.ts";
3
+ import { type OrderSchedule } from "./order-schedule.ts";
4
+ import { DIGEST_PROFILE } from "./effect-profile.ts";
5
+ export declare const experimentHash: (value: unknown) => string;
6
+ export declare const byteHash: (bytes: Uint8Array | string) => string;
7
+ export declare const cloneExperiment: <T>(value: T) => T;
8
+ export declare function closed(value: unknown, keys: string[]): asserts value is Record<string, unknown>;
9
+ export interface ExperimentVariant {
10
+ variantId: string;
11
+ executionId: string;
12
+ kind: "primary" | "shadow" | "retry";
13
+ parentExecutionId: string | null;
14
+ suffixBase64: string;
15
+ operation: "digest" | "hold";
16
+ configuration: {
17
+ model: null;
18
+ effort: null;
19
+ skills: null;
20
+ };
21
+ }
22
+ export interface ExperimentCharter {
23
+ version: "fixed-experiment-v1" | "fixed-experiment-v2";
24
+ order?: OrderSchedule;
25
+ experimentId: string;
26
+ orderId: string;
27
+ budgetDigest: string;
28
+ profile: typeof DIGEST_PROFILE;
29
+ common: {
30
+ sha256: string;
31
+ bytes: number;
32
+ work: WorkFrozen<WorkIntentBinding> | null;
33
+ workTextDigest: string | null;
34
+ };
35
+ mode: "bounded-waves" | "concurrent-shadow";
36
+ deadlineMs: number;
37
+ variants: readonly ExperimentVariant[];
38
+ }
39
+ export declare function experimentCharter(input: ExperimentCharter): ExperimentCharter;
40
+ export declare const parseExperimentCharter: (text: string) => ExperimentCharter;
41
+ export declare const experimentCharterDigest: (c: ExperimentCharter) => string;
42
+ export interface ExperimentAuthority {
43
+ authorityDigest: string;
44
+ charterDigests: readonly string[];
45
+ cancellationDigests: readonly string[];
46
+ }
47
+ export declare function experimentAuthority(value: ExperimentAuthority | null): ExperimentAuthority | null;
48
+ export interface ExperimentCancellation {
49
+ version: "experiment-cancel-v1";
50
+ requestId: string;
51
+ bindingDigest: string;
52
+ executionId: string;
53
+ }
54
+ export declare function experimentCancellation(value: ExperimentCancellation): ExperimentCancellation;
55
+ export declare const experimentCancellationDigest: (c: ExperimentCancellation) => string;
56
+ //# sourceMappingURL=experiment-contract.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment-contract.d.ts","sourceRoot":"","sources":["../src/experiment-contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,EAAa,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxE,OAAO,EAAiB,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,WAAgE,CAAC;AAC9G,eAAO,MAAM,QAAQ,GAAI,OAAO,UAAU,GAAG,MAAM,WAAqD,CAAC;AACzG,eAAO,MAAM,eAAe,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,CAAiC,CAAC;AAChF,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAE/F;AAGD,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,OAAO,CAAC;IAC7E,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,QAAQ,GAAG,MAAM,CAAC;IACrF,aAAa,EAAE;QAAE,KAAK,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,IAAI,CAAA;KAAE,CAAC;CAC5D;AACD,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,qBAAqB,GAAG,qBAAqB,CAAC;IAAC,KAAK,CAAC,EAAE,aAAa,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAC3I,OAAO,EAAE,OAAO,cAAc,CAAC;IAAC,MAAM,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,UAAU,CAAC,iBAAiB,CAAC,GAAG,IAAI,CAAC;QAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACrJ,IAAI,EAAE,eAAe,GAAG,mBAAmB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACzG;AACD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,GAAG,iBAAiB,CAwB7E;AACD,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,sBAA2E,CAAC;AAC/H,eAAO,MAAM,uBAAuB,GAAI,GAAG,iBAAiB,WAAyC,CAAC;AACtG,MAAM,WAAW,mBAAmB;IAAG,eAAe,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AAC3I,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,GAAG,mBAAmB,GAAG,IAAI,CAKjG;AACD,MAAM,WAAW,sBAAsB;IAAG,OAAO,EAAE,sBAAsB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE;AAC1I,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,sBAAsB,GAAG,sBAAsB,CAI5F;AACD,eAAO,MAAM,4BAA4B,GAAI,GAAG,sBAAsB,WAA8C,CAAC"}
@@ -0,0 +1,80 @@
1
+ import { createHash } from "node:crypto";
2
+ import { intentKey } from "./intent-control.js";
3
+ import { workIntentBinding } from "./intent-application.js";
4
+ import { freezeWork, parseWorkJson } from "./work-ledger-json.js";
5
+ import { orderSchedule } from "./order-schedule.js";
6
+ import { DIGEST_PROFILE } from "./effect-profile.js";
7
+ export const experimentHash = (value) => createHash("sha256").update(intentKey(value)).digest("hex");
8
+ export const byteHash = (bytes) => createHash("sha256").update(bytes).digest("hex");
9
+ export const cloneExperiment = (value) => JSON.parse(intentKey(value));
10
+ export function closed(value, keys) {
11
+ if (!value || typeof value !== "object" || Object.keys(value).sort().join() !== keys.sort().join())
12
+ throw new TypeError("closed experiment data required");
13
+ }
14
+ const id = (x) => typeof x === "string" && /^[a-zA-Z0-9:_-]{1,128}$/.test(x);
15
+ const hex = (x) => typeof x === "string" && /^[a-f0-9]{64}$/.test(x);
16
+ export function experimentCharter(input) {
17
+ const c = cloneExperiment(input);
18
+ closed(c, ["version", "experimentId", "orderId", "budgetDigest", "profile", "common", "mode", "deadlineMs", "variants", ...(c.version === "fixed-experiment-v2" ? ["order"] : [])]);
19
+ if (!["fixed-experiment-v1", "fixed-experiment-v2"].includes(c.version) || !id(c.experimentId) || !id(c.orderId) || !hex(c.budgetDigest) || c.profile !== DIGEST_PROFILE || !["bounded-waves", "concurrent-shadow"].includes(c.mode) || !Number.isSafeInteger(c.deadlineMs) || c.deadlineMs < 1000 || c.deadlineMs > 30000 || Buffer.byteLength(intentKey(c)) > 48000)
20
+ throw new TypeError("unsupported experiment charter/profile");
21
+ closed(c.common, ["sha256", "bytes", "work", "workTextDigest"]);
22
+ if (!hex(c.common.sha256) || !Number.isSafeInteger(c.common.bytes) || c.common.bytes < 0 || c.common.bytes > 16384)
23
+ throw new TypeError("bounded common input required");
24
+ if (c.common.work !== null) {
25
+ c.common.work = workIntentBinding(JSON.parse(intentKey(c.common.work)));
26
+ if (!hex(c.common.workTextDigest))
27
+ throw new TypeError("exact work bytes required");
28
+ }
29
+ else if (c.common.workTextDigest !== null)
30
+ throw new TypeError("unexpected work digest");
31
+ if (!Array.isArray(c.variants) || c.variants.length < (c.version === "fixed-experiment-v2" ? 1 : 2) || c.variants.length > 32)
32
+ throw new TypeError("2..32 explicit attempts required");
33
+ const ids = new Set(), variants = new Set();
34
+ for (const [i, v] of c.variants.entries()) {
35
+ closed(v, ["variantId", "executionId", "kind", "parentExecutionId", "suffixBase64", "operation", "configuration"]);
36
+ closed(v.configuration, ["model", "effort", "skills"]);
37
+ if (!id(v.variantId) || !id(v.executionId) || ids.has(v.executionId) || variants.has(v.variantId) || !["digest", "hold"].includes(v.operation) || Object.values(v.configuration).some(x => x !== null))
38
+ throw new TypeError("unknown/general configuration cannot execute");
39
+ if (c.version === "fixed-experiment-v2" ? !["primary", "retry"].includes(v.kind) || (v.kind === "primary" ? v.parentExecutionId !== null : !ids.has(v.parentExecutionId)) : i === 0 ? v.kind !== "primary" || v.parentExecutionId !== null || v.operation !== "digest" : !["shadow", "retry"].includes(v.kind) || !ids.has(v.parentExecutionId))
40
+ throw new TypeError("explicit ordered parent/primary required");
41
+ if (typeof v.suffixBase64 !== "string" || v.suffixBase64.length > 22000 || Buffer.from(v.suffixBase64, "base64").toString("base64") !== v.suffixBase64 || c.common.bytes + Buffer.from(v.suffixBase64, "base64").length > 16384)
42
+ throw new TypeError("invalid bounded byte difference");
43
+ ids.add(v.executionId);
44
+ variants.add(v.variantId);
45
+ }
46
+ if (c.mode === "concurrent-shadow" && (c.variants.length !== 2 || c.variants[1].kind !== "shadow"))
47
+ throw new TypeError("concurrent shadow requires exactly primary and shadow");
48
+ if (c.version === "fixed-experiment-v2") {
49
+ if (c.mode !== "bounded-waves" || !c.common.work)
50
+ throw new Error("orders require pinned work and bounded scheduling");
51
+ c.order = orderSchedule(c.order, c.variants.map(v => v.executionId));
52
+ for (const n of c.order.nodes)
53
+ for (const [i, id] of n.executions.entries()) {
54
+ const v = c.variants.find(v => v.executionId === id);
55
+ if (i ? v.kind !== "retry" || v.parentExecutionId !== n.executions[i - 1] : v.kind !== "primary")
56
+ throw new Error("node recovery lineage mismatch");
57
+ }
58
+ }
59
+ return freezeWork(c);
60
+ }
61
+ export const parseExperimentCharter = (text) => experimentCharter(parseWorkJson(text));
62
+ export const experimentCharterDigest = (c) => experimentHash(experimentCharter(c));
63
+ export function experimentAuthority(value) {
64
+ if (value === null)
65
+ return null;
66
+ const a = cloneExperiment(value);
67
+ closed(a, ["authorityDigest", "charterDigests", "cancellationDigests"]);
68
+ if (!hex(a.authorityDigest) || [a.charterDigests, a.cancellationDigests].some(xs => !Array.isArray(xs) || xs.length > 128 || xs.some(x => !hex(x))))
69
+ throw new TypeError("independent bounded host approvals required");
70
+ return freezeWork(a);
71
+ }
72
+ export function experimentCancellation(value) {
73
+ const c = cloneExperiment(value);
74
+ closed(c, ["version", "requestId", "bindingDigest", "executionId"]);
75
+ if (c.version !== "experiment-cancel-v1" || !id(c.requestId) || !hex(c.bindingDigest) || !id(c.executionId))
76
+ throw new TypeError("exact cancellation required");
77
+ return freezeWork(c);
78
+ }
79
+ export const experimentCancellationDigest = (c) => experimentHash(experimentCancellation(c));
80
+ //# sourceMappingURL=experiment-contract.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment-contract.js","sourceRoot":"","sources":["../src/experiment-contract.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAA0B,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,aAAa,EAAsB,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9G,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAA0B,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAI,KAAQ,EAAK,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAChF,MAAM,UAAU,MAAM,CAAC,KAAc,EAAE,IAAc;IACnD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;AAC7J,CAAC;AACD,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAW9E,MAAM,UAAU,iBAAiB,CAAC,KAAwB;IACxD,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtN,IAAI,CAAC,CAAC,qBAAqB,EAAE,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,IAAI,CAAC,CAAC,eAAe,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,IAAI,IAAI,CAAC,CAAC,UAAU,GAAG,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IACra,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACzK,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAAC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAAC,CAAC;SACxL,IAAI,CAAC,CAAC,MAAM,CAAC,cAAc,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACzF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IACvL,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,EAAE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAK,CAAC,CAAC,QAAyC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5E,MAAM,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,cAAc,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;QACnH,MAAM,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;QAC5Q,IAAI,CAAC,CAAC,OAAO,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAkB,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;QACnZ,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,MAAM,GAAG,KAAK;YAAE,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;QACxR,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IACjL,IAAI,CAAC,CAAC,OAAO,KAAK,qBAAqB,EAAE,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvH,CAAC,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK;YAAE,KAAK,MAAM,CAAC,CAAC,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;gBAAC,MAAM,CAAC,GAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,WAAW,KAAG,EAAE,CAAE,CAAC;gBAAC,IAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAG,OAAO,IAAE,CAAC,CAAC,iBAAiB,KAAG,CAAC,CAAC,UAAU,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAG,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YAAC,CAAC;IAC5Q,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,CAAsB,CAAC;AAC5C,CAAC;AACD,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,aAAa,CAAC,IAAI,CAAiC,CAAC,CAAC;AAC/H,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAoB,EAAE,EAAE,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtG,MAAM,UAAU,mBAAmB,CAAC,KAAiC;IACnE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,CAAC,CAAC,EAAE,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAC1G,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACxN,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAA6B;IAClE,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC,CAAC;IACtG,IAAI,CAAC,CAAC,OAAO,KAAK,sBAAsB,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;IAChK,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AACD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAyB,EAAE,EAAE,CAAC,cAAc,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC"}
@@ -0,0 +1,22 @@
1
+ import { type ExperimentCancellation, type ExperimentCharter, type ExperimentVariant } from "./experiment-contract.ts";
2
+ import { type FactoryDecision } from "./order-schedule.ts";
3
+ export type VariantState = "unstarted" | "queued" | "dispatching" | "running" | "completed" | "failed" | "cancelled" | "timed-out" | "unknown";
4
+ export interface VariantRecord extends Pick<ExperimentVariant, "variantId" | "kind" | "operation"> {
5
+ executionId: string;
6
+ state: VariantState;
7
+ artifactDigest: string | null;
8
+ spawned: boolean;
9
+ }
10
+ export declare function replayExperiment(c: ExperimentCharter, events: Record<string, unknown>[]): {
11
+ claim: {
12
+ owner: string;
13
+ deadlineAt: number;
14
+ } | null;
15
+ admitted: boolean;
16
+ variants: VariantRecord[];
17
+ cancellations: ExperimentCancellation[];
18
+ decisions: FactoryDecision[];
19
+ superseded: boolean;
20
+ controllerFailed: boolean;
21
+ };
22
+ //# sourceMappingURL=experiment-state.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment-state.d.ts","sourceRoot":"","sources":["../src/experiment-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkC,KAAK,sBAAsB,EAAE,KAAK,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACvJ,OAAO,EAAmB,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC5E,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,QAAQ,GAAG,aAAa,GAAG,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,SAAS,CAAC;AAC/I,MAAM,WAAW,aAAc,SAAQ,IAAI,CAAC,iBAAiB,EAAE,WAAW,GAAG,MAAM,GAAG,WAAW,CAAC;IAAG,WAAW,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,YAAY,CAAC;IAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE;AAChM,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;;eAClE,MAAM;oBAAc,MAAM;;;;;;;;EAsC/C"}
@@ -0,0 +1,79 @@
1
+ import { closed, experimentCancellation } from "./experiment-contract.js";
2
+ import { factoryDecision } from "./order-schedule.js";
3
+ export function replayExperiment(c, events) {
4
+ let claim = null, admitted = false;
5
+ const variants = c.variants.map(v => ({ variantId: v.variantId, kind: v.kind, operation: v.operation, executionId: v.executionId, state: "unstarted", artifactDigest: null, spawned: false }));
6
+ const cancellations = [], decisions = [];
7
+ let superseded = false, controllerFailed = false;
8
+ for (const e of events) {
9
+ if (e.type === "order-decision") {
10
+ closed(e, ["type", "request"]);
11
+ const d = factoryDecision(e.request);
12
+ if (!c.order || !c.order.nodes.some(n => n.nodeId === d.nodeId && n.decision?.authorityId === d.authorityId) || decisions.some(r => r.nodeId === d.nodeId || r.requestId === d.requestId))
13
+ throw new Error("invalid order decision sequence");
14
+ decisions.push(d);
15
+ }
16
+ else if (e.type === "order-migrated") {
17
+ closed(e, ["type", "requestId", "successorDigest"]);
18
+ if (!c.order || claim || superseded || typeof e.requestId !== "string" || typeof e.successorDigest !== "string" || !/^[a-f0-9]{64}$/.test(e.successorDigest))
19
+ throw new Error("migration requires unstarted order");
20
+ superseded = true;
21
+ }
22
+ else if (e.type === "claim") {
23
+ closed(e, ["type", "owner", "deadlineAt"]);
24
+ if (superseded || claim || typeof e.owner !== "string" || !/^[a-f0-9-]{36}$/.test(e.owner) || !Number.isSafeInteger(e.deadlineAt))
25
+ throw new Error("invalid experiment claim");
26
+ claim = { owner: e.owner, deadlineAt: e.deadlineAt };
27
+ variants.forEach(v => v.state = "queued");
28
+ }
29
+ else if (e.type === "admitted") {
30
+ closed(e, ["type"]);
31
+ if (!claim || admitted)
32
+ throw new Error("invalid experiment admission");
33
+ admitted = true;
34
+ }
35
+ else if (e.type === "cancel") {
36
+ closed(e, ["type", "request"]);
37
+ const request = experimentCancellation(e.request);
38
+ if (!variants.some(v => v.executionId === request.executionId) || cancellations.some(r => r.requestId === request.requestId) || cancellations.length >= 64)
39
+ throw new Error("invalid cancellation sequence");
40
+ cancellations.push(request);
41
+ }
42
+ else if (e.type === "controller-unknown") {
43
+ closed(e, ["type"]);
44
+ if (!claim)
45
+ throw new Error("missing claim");
46
+ controllerFailed = true;
47
+ variants.filter(v => v.artifactDigest === null).forEach(v => v.state = "unknown");
48
+ }
49
+ else {
50
+ const v = variants.find(v => v.executionId === e.executionId);
51
+ if (!claim || !admitted || !v || v.artifactDigest !== null)
52
+ throw new Error("invalid variant sequence");
53
+ if (e.type === "dispatch") {
54
+ closed(e, ["type", "executionId"]);
55
+ if (v.state !== "queued")
56
+ throw new Error("duplicate dispatch");
57
+ v.state = "dispatching";
58
+ }
59
+ else if (e.type === "spawn") {
60
+ closed(e, ["type", "executionId"]);
61
+ if (v.state !== "dispatching")
62
+ throw new Error("invalid spawn observation");
63
+ v.state = "running";
64
+ v.spawned = true;
65
+ }
66
+ else if (e.type === "result") {
67
+ closed(e, ["type", "executionId", "state", "artifactDigest"]);
68
+ if (!["dispatching", "running"].includes(v.state) || !["completed", "failed", "cancelled", "timed-out"].includes(String(e.state)) || typeof e.artifactDigest !== "string" || !/^[a-f0-9]{64}$/.test(e.artifactDigest))
69
+ throw new Error("invalid result observation");
70
+ v.state = e.state;
71
+ v.artifactDigest = e.artifactDigest;
72
+ }
73
+ else
74
+ throw new Error("unknown experiment event");
75
+ }
76
+ }
77
+ return { claim, admitted, variants, cancellations, decisions, superseded, controllerFailed };
78
+ }
79
+ //# sourceMappingURL=experiment-state.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment-state.js","sourceRoot":"","sources":["../src/experiment-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAA+E,MAAM,0BAA0B,CAAC;AACvJ,OAAO,EAAE,eAAe,EAAwB,MAAM,qBAAqB,CAAC;AAG5E,MAAM,UAAU,gBAAgB,CAAC,CAAoB,EAAE,MAAiC;IACtF,IAAI,KAAK,GAAiD,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;IACjF,MAAM,QAAQ,GAAoB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAChN,MAAM,aAAa,GAA6B,EAAE,EAAE,SAAS,GAAsB,EAAE,CAAC;IACtF,IAAI,UAAU,GAAG,KAAK,EAAE,gBAAgB,GAAG,KAAK,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChC,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,SAAS,CAAC,CAAC,CAAC;YAAA,MAAM,CAAC,GAAC,eAAe,CAAC,CAAC,CAAC,OAA0B,CAAC,CAAC;YACnF,IAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,CAAC,CAAC,MAAM,IAAE,CAAC,CAAC,QAAQ,EAAE,WAAW,KAAG,CAAC,CAAC,WAAW,CAAC,IAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,MAAM,KAAG,CAAC,CAAC,MAAM,IAAE,CAAC,CAAC,SAAS,KAAG,CAAC,CAAC,SAAS,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;YAAA,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9O,CAAC;aAAM,IAAG,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACtC,MAAM,CAAC,CAAC,EAAC,CAAC,MAAM,EAAC,WAAW,EAAC,iBAAiB,CAAC,CAAC,CAAC;YAAA,IAAG,CAAC,CAAC,CAAC,KAAK,IAAE,KAAK,IAAE,UAAU,IAAE,OAAO,CAAC,CAAC,SAAS,KAAG,QAAQ,IAAE,OAAO,CAAC,CAAC,eAAe,KAAG,QAAQ,IAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;YAAA,UAAU,GAAC,IAAI,CAAC;QACvQ,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;YAC3C,IAAI,UAAU,IAAI,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAC/K,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,UAAoB,EAAE,CAAC;YAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC;QAC5G,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YAAC,IAAI,CAAC,KAAK,IAAI,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;YAAC,QAAQ,GAAG,IAAI,CAAC;QAChH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;YAAC,MAAM,OAAO,GAAG,sBAAsB,CAAC,CAAC,CAAC,OAAiC,CAAC,CAAC;YAC5G,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC,IAAI,aAAa,CAAC,MAAM,IAAI,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAC7M,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YAC3C,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YAAC,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;YAAC,gBAAgB,GAAG,IAAI,CAAC;YAC3F,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC;QACpF,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YAC9D,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;YACxG,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;gBAAC,CAAC,CAAC,KAAK,GAAG,aAAa,CAAC;YAC/H,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC9B,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,aAAa;oBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;gBAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC;gBAAC,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;YACzJ,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC,CAAC;gBAC9D,IAAI,CAAC,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;gBACrQ,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAqB,CAAC;gBAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,cAAc,CAAC;YACzE,CAAC;;gBAAM,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC;AAC/F,CAAC"}
@@ -0,0 +1,30 @@
1
+ import { type ExperimentBudgetBinding } from "./resource-budget.ts";
2
+ import { type ExperimentCharter } from "./experiment-contract.ts";
3
+ export interface ExperimentBinding {
4
+ version: "experiment-binding-v1";
5
+ directory: string;
6
+ device: string;
7
+ inode: string;
8
+ journalDevice: string;
9
+ journalInode: string;
10
+ budget: ExperimentBudgetBinding;
11
+ charter: ExperimentCharter;
12
+ }
13
+ export declare const experimentBindingDigest: (b: ExperimentBinding) => string;
14
+ export declare function ownedDirectory(path: string): Promise<import("fs").BigIntStats>;
15
+ export declare function readExperimentFile(path: string, max: number, options?: {
16
+ appendOnly?: true;
17
+ }): Promise<Buffer>;
18
+ export declare function writeExperimentFile(path: string, bytes: Uint8Array): Promise<void>;
19
+ export declare function validateExperimentBinding(value: ExperimentBinding): ExperimentBinding;
20
+ export declare function createExperimentStore(directory: string, budget: ExperimentBudgetBinding, charter: ExperimentCharter, bytes: Uint8Array): Promise<ExperimentBinding>;
21
+ export declare function experimentStore(value: ExperimentBinding): {
22
+ binding: ExperimentBinding;
23
+ read: () => Promise<{
24
+ events: Record<string, unknown>[];
25
+ previous: string;
26
+ bytes: number;
27
+ }>;
28
+ transaction<T>(fn: (events: Record<string, unknown>[], append: (event: unknown) => Promise<void>) => Promise<T>): Promise<T>;
29
+ };
30
+ //# sourceMappingURL=experiment-store.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment-store.d.ts","sourceRoot":"","sources":["../src/experiment-store.ts"],"names":[],"mappings":"AAMA,OAAO,EAAyB,KAAK,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC3F,OAAO,EAAwE,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACxI,MAAM,WAAW,iBAAiB;IAAG,OAAO,EAAE,uBAAuB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE;AACnO,eAAO,MAAM,uBAAuB,GAAI,GAAG,iBAAiB,WAAsB,CAAC;AACnF,wBAAsB,cAAc,CAAC,IAAI,EAAE,MAAM,qCAIhD;AACD,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,GAAE;IAAE,UAAU,CAAC,EAAE,IAAI,CAAA;CAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAmBxH;AACD,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,iBAKxE;AACD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,iBAAiB,GAAG,iBAAiB,CAMrF;AACD,wBAAsB,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,uBAAuB,EAAE,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAazK;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,iBAAiB;;;;;;;gBAkBT,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC;EAiBjJ"}
@@ -0,0 +1,147 @@
1
+ import { constants } from "node:fs";
2
+ import { lstat, mkdir, open, realpath } from "node:fs/promises";
3
+ import { dirname, join, resolve } from "node:path";
4
+ import { withFileLock } from "./file-lock.js";
5
+ import { runWithFinalizers } from "./finalization.js";
6
+ import { parseWorkJson, freezeWork } from "./work-ledger-json.js";
7
+ import { resourceBindingDigest } from "./resource-budget.js";
8
+ import { byteHash, cloneExperiment, closed, experimentCharter, experimentHash } from "./experiment-contract.js";
9
+ export const experimentBindingDigest = (b) => experimentHash(b);
10
+ export async function ownedDirectory(path) {
11
+ const s = await lstat(path, { bigint: true });
12
+ if (!s.isDirectory() || s.isSymbolicLink() || s.uid !== BigInt(process.getuid()) || (s.mode & 63n) !== 0n || await realpath(path) !== path)
13
+ throw new Error("canonical private experiment directory required");
14
+ return s;
15
+ }
16
+ export async function readExperimentFile(path, max, options = {}) {
17
+ if (Object.keys(options).some(key => key !== "appendOnly") || options.appendOnly !== undefined && options.appendOnly !== true)
18
+ throw new TypeError("invalid experiment read mode");
19
+ const file = await open(path, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
20
+ return runWithFinalizers(async () => {
21
+ const s = await file.stat({ bigint: true });
22
+ if (!s.isFile() || s.nlink !== 1n || s.uid !== BigInt(process.getuid()) || (s.mode & 63n) !== 0n || s.size > BigInt(max))
23
+ throw new Error("unsafe experiment file");
24
+ const data = Buffer.alloc(Number(s.size));
25
+ let offset = 0;
26
+ while (offset < data.length) {
27
+ const n = (await file.read(data, offset, data.length - offset, offset)).bytesRead;
28
+ if (!n)
29
+ throw new Error("short experiment read");
30
+ offset += n;
31
+ }
32
+ const end = await file.stat({ bigint: true }), current = await lstat(path, { bigint: true });
33
+ const identityChanged = current.dev !== s.dev || current.ino !== s.ino || current.nlink !== 1n;
34
+ if (!options.appendOnly && (end.size !== s.size || end.mtimeNs !== s.mtimeNs || identityChanged))
35
+ throw new Error("experiment source changed");
36
+ if (options.appendOnly) {
37
+ if (end.size < s.size || identityChanged)
38
+ throw new Error("experiment source changed");
39
+ const verify = Buffer.alloc(data.length);
40
+ let checked = 0;
41
+ while (checked < verify.length) {
42
+ const n = (await file.read(verify, checked, verify.length - checked, checked)).bytesRead;
43
+ if (!n)
44
+ throw new Error("short experiment read");
45
+ checked += n;
46
+ }
47
+ if (!verify.equals(data))
48
+ throw new Error("experiment source changed");
49
+ }
50
+ return data;
51
+ }, [{ label: "experiment read close failed", run: () => file.close() }]);
52
+ }
53
+ export async function writeExperimentFile(path, bytes) {
54
+ const f = await open(path, "wx", 0o600);
55
+ await runWithFinalizers(async () => { await f.writeFile(bytes); await f.sync(); await f.chmod(0o400); }, [{ label: "experiment artifact close failed", run: () => f.close() }]);
56
+ const dir = await open(dirname(path), constants.O_RDONLY | constants.O_DIRECTORY);
57
+ await runWithFinalizers(() => dir.sync(), [{ label: "experiment artifact directory close failed", run: () => dir.close() }]);
58
+ }
59
+ export function validateExperimentBinding(value) {
60
+ const b = cloneExperiment(value);
61
+ closed(b, ["version", "directory", "device", "inode", "journalDevice", "journalInode", "budget", "charter"]);
62
+ if (b.version !== "experiment-binding-v1" || typeof b.directory !== "string" || b.directory !== resolve(b.directory) || b.directory.length > 1024 || b.directory.split("/").includes(".pi") || [b.device, b.inode, b.journalDevice, b.journalInode].some(v => typeof v !== "string" || !/^\d+$/.test(v)) || b.budget.version !== "4.0")
63
+ throw new TypeError("independent experiment binding required");
64
+ b.charter = experimentCharter(b.charter);
65
+ if (resourceBindingDigest(b.budget) !== b.charter.budgetDigest)
66
+ throw new TypeError("experiment budget mismatch");
67
+ return freezeWork(b);
68
+ }
69
+ export async function createExperimentStore(directory, budget, charter, bytes) {
70
+ if (directory !== resolve(directory) || directory.split("/").includes(".pi"))
71
+ throw new Error("explicit unprotected absolute destination required");
72
+ await ownedDirectory(dirname(directory));
73
+ await mkdir(directory, { mode: 0o700 });
74
+ const s = await ownedDirectory(directory);
75
+ await writeExperimentFile(join(directory, "common.bin"), bytes);
76
+ for (const v of charter.variants)
77
+ await mkdir(join(directory, "variant-" + byteHash(v.executionId)), { mode: 0o700 });
78
+ const journal = await open(join(directory, "experiment.jsonl"), "wx", 0o600);
79
+ const b = await runWithFinalizers(async () => {
80
+ const st = await journal.stat({ bigint: true });
81
+ const value = validateExperimentBinding({ version: "experiment-binding-v1", directory, device: String(s.dev), inode: String(s.ino), journalDevice: String(st.dev), journalInode: String(st.ino), budget, charter });
82
+ await journal.writeFile(JSON.stringify(value) + "\n");
83
+ await journal.sync();
84
+ return value;
85
+ }, [{ label: "experiment creation close failed", run: () => journal.close() }]);
86
+ const dir = await open(directory, constants.O_RDONLY | constants.O_DIRECTORY);
87
+ await runWithFinalizers(() => dir.sync(), [{ label: "experiment creation directory close failed", run: () => dir.close() }]);
88
+ return b;
89
+ }
90
+ export function experimentStore(value) {
91
+ const b = validateExperimentBinding(value), path = join(b.directory, "experiment.jsonl");
92
+ const check = async () => {
93
+ const root = await ownedDirectory(b.directory), file = await lstat(path, { bigint: true });
94
+ if (String(root.dev) !== b.device || String(root.ino) !== b.inode || String(file.dev) !== b.journalDevice || String(file.ino) !== b.journalInode)
95
+ throw new Error("experiment identity replaced");
96
+ };
97
+ const read = async () => {
98
+ await check();
99
+ const bytes = await readExperimentFile(path, 256 * 1024, { appendOnly: true });
100
+ await check();
101
+ const text = new TextDecoder("utf8", { fatal: true }).decode(bytes);
102
+ if (!text.endsWith("\n"))
103
+ throw new Error("torn experiment journal");
104
+ const lines = text.slice(0, -1).split("\n");
105
+ if (lines.length > 260 || experimentHash(parseWorkJson(lines[0])) !== experimentHash(b))
106
+ throw new Error("experiment header/bound mismatch");
107
+ let previous = experimentHash(b);
108
+ const events = [];
109
+ for (const line of lines.slice(1)) {
110
+ const record = parseWorkJson(line);
111
+ closed(record, ["seq", "previous", "event"]);
112
+ if (record.seq !== events.length || record.previous !== previous || !record.event || typeof record.event !== "object" || Array.isArray(record.event))
113
+ throw new Error("invalid experiment sequence");
114
+ previous = experimentHash(record);
115
+ events.push(record.event);
116
+ }
117
+ return { events, previous, bytes: bytes.length };
118
+ };
119
+ return { binding: b, read, async transaction(fn) {
120
+ await check();
121
+ return withFileLock(path, "experiment", async () => {
122
+ const state = await read();
123
+ let size = state.bytes;
124
+ return fn(state.events, async (event) => {
125
+ if (state.events.length >= 258)
126
+ throw new Error("experiment record bound reached");
127
+ const record = { seq: state.events.length, previous: state.previous, event }, data = Buffer.from(JSON.stringify(record) + "\n");
128
+ if (size + data.length > 256 * 1024)
129
+ throw new Error("experiment journal byte bound reached");
130
+ await check();
131
+ const f = await open(path, constants.O_WRONLY | constants.O_APPEND | constants.O_NOFOLLOW | constants.O_NONBLOCK);
132
+ await runWithFinalizers(async () => {
133
+ const s = await f.stat({ bigint: true });
134
+ if (!s.isFile() || s.nlink !== 1n || String(s.dev) !== b.journalDevice || String(s.ino) !== b.journalInode || s.size !== BigInt(size) || (s.mode & 63n) !== 0n)
135
+ throw new Error("journal changed under lock");
136
+ await f.writeFile(data);
137
+ await f.sync();
138
+ }, [{ label: "experiment append close failed", run: () => f.close() }]);
139
+ size += data.length;
140
+ await check();
141
+ state.previous = experimentHash(record);
142
+ state.events.push(cloneExperiment(event));
143
+ });
144
+ }, { staleRecovery: "disabled" });
145
+ } };
146
+ }
147
+ //# sourceMappingURL=experiment-store.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment-store.js","sourceRoot":"","sources":["../src/experiment-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,qBAAqB,EAAgC,MAAM,sBAAsB,CAAC;AAC3F,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,EAAE,cAAc,EAA0B,MAAM,0BAA0B,CAAC;AAExI,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAoB,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;AACnF,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY;IAC/C,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,OAAO,CAAC,MAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAM,CAAC,KAAK,EAAE,IAAI,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACnN,OAAO,CAAC,CAAC;AACX,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAY,EAAE,GAAW,EAAE,UAAiC,EAAE;IACrG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,YAAY,CAAC,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;IACnL,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IAChG,OAAO,iBAAiB,CAAC,KAAK,IAAI,EAAE;QAClC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,OAAO,CAAC,MAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACxK,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAAC,IAAI,MAAM,GAAG,CAAC,CAAC;QAC1D,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YAAC,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;YAAC,MAAM,IAAI,CAAC,CAAC;QAAC,CAAC;QAClL,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7F,MAAM,eAAe,GAAG,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,OAAO,CAAC,KAAK,KAAK,EAAE,CAAC;QAC/F,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,IAAI,eAAe,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/I,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,eAAe;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YACvF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAAC,IAAI,OAAO,GAAG,CAAC,CAAC;YAC1D,OAAO,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAAC,MAAM,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,GAAG,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAC,IAAI,CAAC,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;gBAAC,OAAO,IAAI,CAAC,CAAC;YAAC,CAAC;YAC7L,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,8BAA8B,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3E,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,IAAY,EAAE,KAAiB;IACvE,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,MAAM,iBAAiB,CAAC,KAAK,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,kCAAkC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAChL,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IAClF,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,4CAA4C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;AAC/H,CAAC;AACD,MAAM,UAAU,yBAAyB,CAAC,KAAwB;IAChE,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/I,IAAI,CAAC,CAAC,OAAO,KAAK,uBAAuB,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACvY,CAAC,CAAC,OAAO,GAAG,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,YAAY;QAAE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IAClH,OAAO,UAAU,CAAC,CAAC,CAAsB,CAAC;AAC5C,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,SAAiB,EAAE,MAA+B,EAAE,OAA0B,EAAE,KAAiB;IAC3I,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACpJ,MAAM,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAAC,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC;IAC7H,MAAM,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC;IAChE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ;QAAE,MAAM,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACtH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,kBAAkB,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7E,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,KAAK,IAAI,EAAE;QAC3C,MAAM,EAAE,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,yBAAyB,CAAC,EAAE,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACpN,MAAM,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;QAAC,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;QAAC,OAAO,KAAK,CAAC;IAC5F,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,kCAAkC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IAC9E,MAAM,iBAAiB,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,4CAA4C,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IAAC,OAAO,CAAC,CAAC;AACzI,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAwB;IACtD,MAAM,CAAC,GAAG,yBAAyB,CAAC,KAAK,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,KAAK,IAAI,EAAE;QACvB,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3F,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACpM,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE;QACtB,MAAM,KAAK,EAAE,CAAC;QAAC,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,IAAI,EAAE,GAAG,GAAG,IAAI,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,MAAM,KAAK,EAAE,CAAC;QAC7G,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC1I,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG,IAAI,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAC1L,IAAI,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAAC,MAAM,MAAM,GAA8B,EAAE,CAAC;QAC/E,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAA4B,CAAC;YAAC,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5G,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACrM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAgC,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACnD,CAAC,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,CAAI,EAAgG;YAC9I,MAAM,KAAK,EAAE,CAAC;YAAC,OAAO,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,IAAI,EAAE;gBAChE,MAAM,KAAK,GAAG,MAAM,IAAI,EAAE,CAAC;gBAAC,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC;gBACnD,OAAO,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAC,KAAK,EAAC,EAAE;oBACpC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,GAAG;wBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;oBACnF,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;oBAChI,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,GAAG,GAAG,IAAI;wBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;oBAC9F,MAAM,KAAK,EAAE,CAAC;oBAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;oBACjI,MAAM,iBAAiB,CAAC,KAAK,IAAI,EAAE;wBACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;wBACzC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAM,CAAC,KAAK,EAAE;4BAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;wBACjN,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;wBAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC1C,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,gCAAgC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;oBACxE,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC;oBAAC,MAAM,KAAK,EAAE,CAAC;oBAAC,KAAK,CAAC,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAA4B,CAAC,CAAC;gBACpJ,CAAC,CAAC,CAAC;YACL,CAAC,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,CAAC;QACpC,CAAC,EAAE,CAAC;AACN,CAAC"}
@@ -0,0 +1,65 @@
1
+ import { type ExperimentBudgetBinding, type BudgetSnapshot } from "./resource-budget.ts";
2
+ import { type DigestProfile } from "./effect-profile.ts";
3
+ import { type ExperimentAuthority, type ExperimentCancellation, type ExperimentCharter } from "./experiment-contract.ts";
4
+ import { type ExperimentBinding } from "./experiment-store.ts";
5
+ import { type FactoryDecision } from "./order-schedule.ts";
6
+ import { type VariantRecord } from "./experiment-state.ts";
7
+ export { experimentCharterDigest, experimentCancellationDigest, parseExperimentCharter, type ExperimentCharter, type ExperimentAuthority, type ExperimentCancellation } from "./experiment-contract.ts";
8
+ export { experimentBindingDigest, type ExperimentBinding } from "./experiment-store.ts";
9
+ export interface ExperimentView {
10
+ version: "experiment-view-v1";
11
+ experimentId: string;
12
+ mode: ExperimentCharter["mode"];
13
+ variants: readonly VariantRecord[];
14
+ budget: Readonly<BudgetSnapshot> | null;
15
+ cancellations: readonly {
16
+ request: ExperimentCancellation;
17
+ outcome: "requested-or-unknown" | "observed-cancelled" | "finished-without-cancel";
18
+ }[];
19
+ control: "not-assessed" | "failed" | "unknown";
20
+ diagnostics: readonly string[];
21
+ acceptance: "not-assessed";
22
+ configuration: {
23
+ model: null;
24
+ effort: null;
25
+ skills: null;
26
+ };
27
+ freshness: "snapshot-unknown";
28
+ }
29
+ export declare function createExperiment(input: {
30
+ directory: string;
31
+ budget: ExperimentBudgetBinding;
32
+ charter: ExperimentCharter;
33
+ bytes: Uint8Array;
34
+ authority: ExperimentAuthority | null;
35
+ }): Promise<ExperimentBinding>;
36
+ export interface ExperimentRun {
37
+ readonly primary: Promise<VariantRecord>;
38
+ readonly completion: Promise<ExperimentView>;
39
+ readonly boundary: Promise<ExperimentView>;
40
+ readonly started: readonly Promise<"spawned" | "settled-without-spawn">[];
41
+ }
42
+ export declare const isExperimentController: (value: unknown) => value is ReturnType<typeof openExperiment>;
43
+ /** A separate owned controller, not delegate_all and not a model-facing launch/callback loader. */
44
+ export declare function openExperiment(input: ExperimentBinding, hostAuthority: ExperimentAuthority | null): Readonly<{
45
+ binding: ExperimentBinding;
46
+ inspect: () => Promise<ExperimentView>;
47
+ reconcile: () => Promise<ExperimentView>;
48
+ orderView: () => Promise<{
49
+ view: ExperimentView;
50
+ nodes: import("./order-schedule.ts").OrderNodeView[];
51
+ superseded: boolean;
52
+ }>;
53
+ decideOrder(input: FactoryDecision, authority: {
54
+ id: string;
55
+ digests: readonly string[];
56
+ } | null): Promise<{
57
+ view: ExperimentView;
58
+ nodes: import("./order-schedule.ts").OrderNodeView[];
59
+ superseded: boolean;
60
+ }>;
61
+ readArtifact(executionId: string): Promise<Uint8Array>;
62
+ cancel(input: ExperimentCancellation, hostAuthority?: ExperimentAuthority | null): Promise<ExperimentView>;
63
+ start(profile: DigestProfile): Promise<ExperimentRun>;
64
+ }>;
65
+ //# sourceMappingURL=experiment.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"experiment.d.ts","sourceRoot":"","sources":["../src/experiment.ts"],"names":[],"mappings":"AAGA,OAAO,EAA6C,KAAK,uBAAuB,EAAE,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACpI,OAAO,EAA8C,KAAK,aAAa,EAA0B,MAAM,qBAAqB,CAAC;AAG7H,OAAO,EACL,KAAK,mBAAmB,EAAE,KAAK,sBAAsB,EAAE,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClH,OAAO,EAA4H,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACzL,OAAO,EAAyD,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAClH,OAAO,EAAoB,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,uBAAuB,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,KAAK,iBAAiB,EAAE,KAAK,mBAAmB,EAAE,KAAK,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACxM,OAAO,EAAE,uBAAuB,EAAE,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACxF,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,oBAAoB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IACzH,MAAM,EAAE,QAAQ,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC;IAAC,aAAa,EAAE,SAAS;QAAE,OAAO,EAAE,sBAAsB,CAAC;QAAC,OAAO,EAAE,sBAAsB,GAAG,oBAAoB,GAAG,yBAAyB,CAAA;KAAE,EAAE,CAAC;IAC3L,OAAO,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS,CAAC;IAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,UAAU,EAAE,cAAc,CAAC;IAAC,aAAa,EAAE;QAAE,KAAK,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,IAAI,CAAA;KAAE,CAAC;IAAC,SAAS,EAAE,kBAAkB,CAAC;CACvM;AAYD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAAA;CAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAMtN;AACD,MAAM,WAAW,aAAa;IAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,CAAC,SAAS,GAAG,uBAAuB,CAAC,EAAE,CAAA;CAAE;AAEhP,eAAO,MAAM,sBAAsB,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,UAAU,CAAC,OAAO,cAAc,CAA0E,CAAC;AAC5K,mGAAmG;AACnG,wBAAgB,cAAc,CAAC,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,mBAAmB,GAAG,IAAI;;;;;;;;;uBA4CrE,eAAe,aAAa;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI;;;;;8BAYtE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;kBAQxC,sBAAsB,kBAAkB,mBAAmB,GAAG,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC;mBAc3F,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;GA+G9D"}