@rikalabs/akter 0.1.0-alpha.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 (603) hide show
  1. package/CHANGELOG.md +15 -0
  2. package/LICENSE +202 -0
  3. package/NOTICE +8 -0
  4. package/README.md +116 -0
  5. package/dist/actor/codecs.d.ts +77 -0
  6. package/dist/actor/codecs.js +87 -0
  7. package/dist/actor/connections.d.ts +34 -0
  8. package/dist/actor/connections.js +145 -0
  9. package/dist/actor/definition.d.ts +893 -0
  10. package/dist/actor/definition.js +147 -0
  11. package/dist/actor/descriptor.d.ts +172 -0
  12. package/dist/actor/descriptor.js +367 -0
  13. package/dist/actor/handles.d.ts +77 -0
  14. package/dist/actor/handles.js +265 -0
  15. package/dist/actor/jobs.d.ts +10 -0
  16. package/dist/actor/jobs.js +137 -0
  17. package/dist/actor/layers.d.ts +41 -0
  18. package/dist/actor/layers.js +177 -0
  19. package/dist/actor/reads.d.ts +47 -0
  20. package/dist/actor/reads.js +224 -0
  21. package/dist/actor/served.d.ts +120 -0
  22. package/dist/actor/served.js +72 -0
  23. package/dist/actor/turns.d.ts +13 -0
  24. package/dist/actor/turns.js +332 -0
  25. package/dist/actor/workflows.d.ts +16 -0
  26. package/dist/actor/workflows.js +37 -0
  27. package/dist/client/calls.d.ts +47 -0
  28. package/dist/client/calls.js +425 -0
  29. package/dist/client/clock.d.ts +56 -0
  30. package/dist/client/clock.js +119 -0
  31. package/dist/client/fleet-page.d.ts +15 -0
  32. package/dist/client/fleet-page.js +13 -0
  33. package/dist/client/fleet.d.ts +29 -0
  34. package/dist/client/fleet.js +51 -0
  35. package/dist/client/index.d.ts +17 -0
  36. package/dist/client/index.js +6 -0
  37. package/dist/client/make.d.ts +157 -0
  38. package/dist/client/make.js +221 -0
  39. package/dist/client/offline/queue.d.ts +118 -0
  40. package/dist/client/offline/queue.js +292 -0
  41. package/dist/client/offline/store.d.ts +74 -0
  42. package/dist/client/offline/store.js +78 -0
  43. package/dist/client/optimistic.d.ts +57 -0
  44. package/dist/client/optimistic.js +136 -0
  45. package/dist/client/report.d.ts +2 -0
  46. package/dist/client/report.js +8 -0
  47. package/dist/client/sessions/connection.d.ts +118 -0
  48. package/dist/client/sessions/connection.js +162 -0
  49. package/dist/client/sessions/feed.d.ts +42 -0
  50. package/dist/client/sessions/feed.js +43 -0
  51. package/dist/client/sessions/sse.d.ts +47 -0
  52. package/dist/client/sessions/sse.js +112 -0
  53. package/dist/client/sessions/stream.d.ts +28 -0
  54. package/dist/client/sessions/stream.js +35 -0
  55. package/dist/client/sessions/watch.d.ts +34 -0
  56. package/dist/client/sessions/watch.js +40 -0
  57. package/dist/client/transport.d.ts +37 -0
  58. package/dist/client/transport.js +66 -0
  59. package/dist/contexts/command.d.ts +132 -0
  60. package/dist/contexts/command.js +20 -0
  61. package/dist/contexts/connection.d.ts +68 -0
  62. package/dist/contexts/connection.js +0 -0
  63. package/dist/contexts/job.d.ts +49 -0
  64. package/dist/contexts/job.js +0 -0
  65. package/dist/contexts/workflow.d.ts +147 -0
  66. package/dist/contexts/workflow.js +22 -0
  67. package/dist/errors/actor.d.ts +200 -0
  68. package/dist/errors/actor.js +271 -0
  69. package/dist/errors/content.d.ts +19 -0
  70. package/dist/errors/content.js +14 -0
  71. package/dist/errors/database.d.ts +22 -0
  72. package/dist/errors/database.js +23 -0
  73. package/dist/errors/events.d.ts +17 -0
  74. package/dist/errors/events.js +14 -0
  75. package/dist/errors/subscription.d.ts +12 -0
  76. package/dist/errors/subscription.js +8 -0
  77. package/dist/errors/workflow.d.ts +28 -0
  78. package/dist/errors/workflow.js +17 -0
  79. package/dist/handles/actors.d.ts +17 -0
  80. package/dist/handles/actors.js +7 -0
  81. package/dist/handles/content.d.ts +59 -0
  82. package/dist/handles/content.js +36 -0
  83. package/dist/handles/intents.d.ts +164 -0
  84. package/dist/handles/intents.js +214 -0
  85. package/dist/handles/run.d.ts +31 -0
  86. package/dist/handles/run.js +21 -0
  87. package/dist/handles/workflow.d.ts +27 -0
  88. package/dist/handles/workflow.js +23 -0
  89. package/dist/identity/caller.d.ts +105 -0
  90. package/dist/identity/caller.js +68 -0
  91. package/dist/identity/child.d.ts +18 -0
  92. package/dist/identity/child.js +39 -0
  93. package/dist/identity/command.d.ts +19 -0
  94. package/dist/identity/command.js +21 -0
  95. package/dist/identity/connection.d.ts +24 -0
  96. package/dist/identity/connection.js +29 -0
  97. package/dist/identity/content.d.ts +18 -0
  98. package/dist/identity/content.js +12 -0
  99. package/dist/identity/digest.d.ts +4 -0
  100. package/dist/identity/digest.js +5 -0
  101. package/dist/identity/execution.d.ts +32 -0
  102. package/dist/identity/execution.js +63 -0
  103. package/dist/identity/mint.d.ts +51 -0
  104. package/dist/identity/mint.js +76 -0
  105. package/dist/identity/version.d.ts +2 -0
  106. package/dist/identity/version.js +3 -0
  107. package/dist/index.d.ts +159 -0
  108. package/dist/index.js +97 -0
  109. package/dist/members/blob.d.ts +43 -0
  110. package/dist/members/blob.js +29 -0
  111. package/dist/members/command.d.ts +109 -0
  112. package/dist/members/command.js +61 -0
  113. package/dist/members/connection.d.ts +55 -0
  114. package/dist/members/connection.js +49 -0
  115. package/dist/members/event.d.ts +36 -0
  116. package/dist/members/event.js +24 -0
  117. package/dist/members/job.d.ts +157 -0
  118. package/dist/members/job.js +67 -0
  119. package/dist/members/payload.d.ts +93 -0
  120. package/dist/members/payload.js +145 -0
  121. package/dist/members/reducer.d.ts +64 -0
  122. package/dist/members/reducer.js +27 -0
  123. package/dist/members/stream.d.ts +36 -0
  124. package/dist/members/stream.js +14 -0
  125. package/dist/members/subscription.d.ts +182 -0
  126. package/dist/members/subscription.js +91 -0
  127. package/dist/members/workflow.d.ts +99 -0
  128. package/dist/members/workflow.js +2 -0
  129. package/dist/policies/access.d.ts +35 -0
  130. package/dist/policies/access.js +6 -0
  131. package/dist/policies/command.d.ts +127 -0
  132. package/dist/policies/command.js +45 -0
  133. package/dist/policies/job.d.ts +28 -0
  134. package/dist/policies/job.js +60 -0
  135. package/dist/policies/schedules.d.ts +33 -0
  136. package/dist/policies/schedules.js +131 -0
  137. package/dist/protocol/frames.d.ts +66 -0
  138. package/dist/protocol/frames.js +55 -0
  139. package/dist/protocol/inspection.d.ts +807 -0
  140. package/dist/protocol/inspection.js +243 -0
  141. package/dist/protocol/wire.d.ts +184 -0
  142. package/dist/protocol/wire.js +150 -0
  143. package/dist/runtime/actors.d.ts +155 -0
  144. package/dist/runtime/actors.js +4 -0
  145. package/dist/runtime/admission.d.ts +34 -0
  146. package/dist/runtime/admission.js +72 -0
  147. package/dist/runtime/adoption/backfill.d.ts +27 -0
  148. package/dist/runtime/adoption/backfill.js +144 -0
  149. package/dist/runtime/adoption/enforce.d.ts +55 -0
  150. package/dist/runtime/adoption/enforce.js +241 -0
  151. package/dist/runtime/adoption/observe.d.ts +43 -0
  152. package/dist/runtime/adoption/observe.js +139 -0
  153. package/dist/runtime/adoption/plan.d.ts +45 -0
  154. package/dist/runtime/adoption/plan.js +192 -0
  155. package/dist/runtime/adoption/startup.d.ts +32 -0
  156. package/dist/runtime/adoption/startup.js +76 -0
  157. package/dist/runtime/adoption/status.d.ts +23 -0
  158. package/dist/runtime/adoption/status.js +47 -0
  159. package/dist/runtime/adoption/target.d.ts +33 -0
  160. package/dist/runtime/adoption/target.js +49 -0
  161. package/dist/runtime/connections/holder.d.ts +221 -0
  162. package/dist/runtime/connections/holder.js +816 -0
  163. package/dist/runtime/connections/owner.d.ts +263 -0
  164. package/dist/runtime/connections/owner.js +896 -0
  165. package/dist/runtime/connections/protocol.d.ts +441 -0
  166. package/dist/runtime/connections/protocol.js +222 -0
  167. package/dist/runtime/connections/reads.d.ts +24 -0
  168. package/dist/runtime/connections/reads.js +19 -0
  169. package/dist/runtime/connections/streams.d.ts +62 -0
  170. package/dist/runtime/connections/streams.js +128 -0
  171. package/dist/runtime/connections/transport.d.ts +40 -0
  172. package/dist/runtime/connections/transport.js +68 -0
  173. package/dist/runtime/connections/watch.d.ts +52 -0
  174. package/dist/runtime/connections/watch.js +159 -0
  175. package/dist/runtime/content/grant.d.ts +34 -0
  176. package/dist/runtime/content/grant.js +58 -0
  177. package/dist/runtime/content/store.d.ts +63 -0
  178. package/dist/runtime/content/store.js +294 -0
  179. package/dist/runtime/cron/key.d.ts +2 -0
  180. package/dist/runtime/cron/key.js +2 -0
  181. package/dist/runtime/cron/schedule.d.ts +69 -0
  182. package/dist/runtime/cron/schedule.js +144 -0
  183. package/dist/runtime/database/bounded.d.ts +43 -0
  184. package/dist/runtime/database/bounded.js +108 -0
  185. package/dist/runtime/database/connection.d.ts +8 -0
  186. package/dist/runtime/database/connection.js +18 -0
  187. package/dist/runtime/database/coordination.d.ts +19 -0
  188. package/dist/runtime/database/coordination.js +72 -0
  189. package/dist/runtime/database/flock.d.ts +10 -0
  190. package/dist/runtime/database/flock.js +60 -0
  191. package/dist/runtime/database/gate.d.ts +26 -0
  192. package/dist/runtime/database/gate.js +54 -0
  193. package/dist/runtime/database/keepalive.d.ts +11 -0
  194. package/dist/runtime/database/keepalive.js +22 -0
  195. package/dist/runtime/database/migrations.d.ts +177 -0
  196. package/dist/runtime/database/migrations.js +1018 -0
  197. package/dist/runtime/database/neki/migrations.d.ts +31 -0
  198. package/dist/runtime/database/neki/migrations.js +276 -0
  199. package/dist/runtime/database/neki/session.d.ts +23 -0
  200. package/dist/runtime/database/neki/session.js +31 -0
  201. package/dist/runtime/database/pglite.d.ts +21 -0
  202. package/dist/runtime/database/pglite.js +74 -0
  203. package/dist/runtime/database/replica.d.ts +41 -0
  204. package/dist/runtime/database/replica.js +51 -0
  205. package/dist/runtime/database/shards.d.ts +21 -0
  206. package/dist/runtime/database/shards.js +37 -0
  207. package/dist/runtime/database/snapshot.d.ts +7 -0
  208. package/dist/runtime/database/snapshot.js +7 -0
  209. package/dist/runtime/database/tenancy.d.ts +69 -0
  210. package/dist/runtime/database/tenancy.js +145 -0
  211. package/dist/runtime/database/transient.d.ts +10 -0
  212. package/dist/runtime/database/transient.js +25 -0
  213. package/dist/runtime/drain.d.ts +132 -0
  214. package/dist/runtime/drain.js +109 -0
  215. package/dist/runtime/entity/mailbox.d.ts +86 -0
  216. package/dist/runtime/entity/mailbox.js +121 -0
  217. package/dist/runtime/entity/register.d.ts +424 -0
  218. package/dist/runtime/entity/register.js +669 -0
  219. package/dist/runtime/events/append.d.ts +192 -0
  220. package/dist/runtime/events/append.js +128 -0
  221. package/dist/runtime/events/cursor.d.ts +2 -0
  222. package/dist/runtime/events/cursor.js +5 -0
  223. package/dist/runtime/events/replay.d.ts +20 -0
  224. package/dist/runtime/events/replay.js +45 -0
  225. package/dist/runtime/feeds.d.ts +26 -0
  226. package/dist/runtime/feeds.js +100 -0
  227. package/dist/runtime/fleet/checks.d.ts +17 -0
  228. package/dist/runtime/fleet/checks.js +106 -0
  229. package/dist/runtime/fleet/maintainer.d.ts +38 -0
  230. package/dist/runtime/fleet/maintainer.js +383 -0
  231. package/dist/runtime/fleet/pgoutput.d.ts +41 -0
  232. package/dist/runtime/fleet/pgoutput.js +102 -0
  233. package/dist/runtime/fleet/setup.d.ts +36 -0
  234. package/dist/runtime/fleet/setup.js +58 -0
  235. package/dist/runtime/fleet/subscribe.d.ts +42 -0
  236. package/dist/runtime/fleet/subscribe.js +147 -0
  237. package/dist/runtime/index.d.ts +66 -0
  238. package/dist/runtime/index.js +37 -0
  239. package/dist/runtime/inspector/http.d.ts +19 -0
  240. package/dist/runtime/inspector/http.js +36 -0
  241. package/dist/runtime/inspector/layer.d.ts +46 -0
  242. package/dist/runtime/inspector/layer.js +180 -0
  243. package/dist/runtime/inspector/queries.d.ts +711 -0
  244. package/dist/runtime/inspector/queries.js +494 -0
  245. package/dist/runtime/jobs/attempt.d.ts +254 -0
  246. package/dist/runtime/jobs/attempt.js +413 -0
  247. package/dist/runtime/jobs/isolation.d.ts +20 -0
  248. package/dist/runtime/jobs/isolation.js +10 -0
  249. package/dist/runtime/jobs/progress.d.ts +95 -0
  250. package/dist/runtime/jobs/progress.js +144 -0
  251. package/dist/runtime/layer.d.ts +260 -0
  252. package/dist/runtime/layer.js +876 -0
  253. package/dist/runtime/members.d.ts +381 -0
  254. package/dist/runtime/members.js +8 -0
  255. package/dist/runtime/operators/audit.d.ts +64 -0
  256. package/dist/runtime/operators/audit.js +56 -0
  257. package/dist/runtime/operators/auth.d.ts +29 -0
  258. package/dist/runtime/operators/auth.js +42 -0
  259. package/dist/runtime/operators/export.d.ts +68 -0
  260. package/dist/runtime/operators/export.js +137 -0
  261. package/dist/runtime/operators/grants.d.ts +45 -0
  262. package/dist/runtime/operators/grants.js +40 -0
  263. package/dist/runtime/operators/repair.d.ts +206 -0
  264. package/dist/runtime/operators/repair.js +226 -0
  265. package/dist/runtime/operators/routes.d.ts +35 -0
  266. package/dist/runtime/operators/routes.js +190 -0
  267. package/dist/runtime/operators/seed.d.ts +123 -0
  268. package/dist/runtime/operators/seed.js +123 -0
  269. package/dist/runtime/payloads/versions.d.ts +65 -0
  270. package/dist/runtime/payloads/versions.js +240 -0
  271. package/dist/runtime/peering/authority.d.ts +42 -0
  272. package/dist/runtime/peering/authority.js +132 -0
  273. package/dist/runtime/peering/credentials.d.ts +21 -0
  274. package/dist/runtime/peering/credentials.js +13 -0
  275. package/dist/runtime/peering/transport.d.ts +51 -0
  276. package/dist/runtime/peering/transport.js +175 -0
  277. package/dist/runtime/queries.d.ts +18 -0
  278. package/dist/runtime/queries.js +169 -0
  279. package/dist/runtime/readiness.d.ts +36 -0
  280. package/dist/runtime/readiness.js +44 -0
  281. package/dist/runtime/registration.d.ts +58 -0
  282. package/dist/runtime/registration.js +186 -0
  283. package/dist/runtime/request.d.ts +158 -0
  284. package/dist/runtime/request.js +102 -0
  285. package/dist/runtime/retry.d.ts +8 -0
  286. package/dist/runtime/retry.js +11 -0
  287. package/dist/runtime/runner.d.ts +93 -0
  288. package/dist/runtime/runner.js +122 -0
  289. package/dist/runtime/storage/codec.d.ts +39 -0
  290. package/dist/runtime/storage/codec.js +41 -0
  291. package/dist/runtime/storage/generation.d.ts +69 -0
  292. package/dist/runtime/storage/generation.js +49 -0
  293. package/dist/runtime/storage/placements.d.ts +15 -0
  294. package/dist/runtime/storage/placements.js +38 -0
  295. package/dist/runtime/storage/platform.d.ts +6 -0
  296. package/dist/runtime/storage/platform.js +9 -0
  297. package/dist/runtime/storage/retention.d.ts +73 -0
  298. package/dist/runtime/storage/retention.js +158 -0
  299. package/dist/runtime/subscriptions/identity.d.ts +31 -0
  300. package/dist/runtime/subscriptions/identity.js +45 -0
  301. package/dist/runtime/subscriptions/relay.d.ts +175 -0
  302. package/dist/runtime/subscriptions/relay.js +763 -0
  303. package/dist/runtime/subscriptions/storage.d.ts +40 -0
  304. package/dist/runtime/subscriptions/storage.js +98 -0
  305. package/dist/runtime/sweeps.d.ts +39 -0
  306. package/dist/runtime/sweeps.js +54 -0
  307. package/dist/runtime/telemetry/defects.d.ts +57 -0
  308. package/dist/runtime/telemetry/defects.js +43 -0
  309. package/dist/runtime/telemetry/metrics.d.ts +52 -0
  310. package/dist/runtime/telemetry/metrics.js +138 -0
  311. package/dist/runtime/telemetry/routes.d.ts +19 -0
  312. package/dist/runtime/telemetry/routes.js +18 -0
  313. package/dist/runtime/telemetry/sampler.d.ts +26 -0
  314. package/dist/runtime/telemetry/sampler.js +101 -0
  315. package/dist/runtime/telemetry/spans.d.ts +38 -0
  316. package/dist/runtime/telemetry/spans.js +44 -0
  317. package/dist/runtime/telemetry/usage.d.ts +52 -0
  318. package/dist/runtime/telemetry/usage.js +30 -0
  319. package/dist/runtime/topology/admission.d.ts +13 -0
  320. package/dist/runtime/topology/admission.js +36 -0
  321. package/dist/runtime/topology/locks.d.ts +56 -0
  322. package/dist/runtime/topology/locks.js +81 -0
  323. package/dist/runtime/topology/messages.d.ts +15 -0
  324. package/dist/runtime/topology/messages.js +32 -0
  325. package/dist/runtime/turn/admission.d.ts +22 -0
  326. package/dist/runtime/turn/admission.js +41 -0
  327. package/dist/runtime/turn/blobs.d.ts +38 -0
  328. package/dist/runtime/turn/blobs.js +215 -0
  329. package/dist/runtime/turn/execute.d.ts +208 -0
  330. package/dist/runtime/turn/execute.js +972 -0
  331. package/dist/runtime/turn/group.d.ts +165 -0
  332. package/dist/runtime/turn/group.js +326 -0
  333. package/dist/runtime/turn/hooks.d.ts +44 -0
  334. package/dist/runtime/turn/hooks.js +28 -0
  335. package/dist/runtime/turn/outbox.d.ts +159 -0
  336. package/dist/runtime/turn/outbox.js +269 -0
  337. package/dist/runtime/turn/pipeline.d.ts +68 -0
  338. package/dist/runtime/turn/pipeline.js +83 -0
  339. package/dist/runtime/turn/receipt.d.ts +81 -0
  340. package/dist/runtime/turn/receipt.js +32 -0
  341. package/dist/runtime/turn/relay.d.ts +179 -0
  342. package/dist/runtime/turn/relay.js +685 -0
  343. package/dist/runtime/turn/rows.d.ts +43 -0
  344. package/dist/runtime/turn/rows.js +592 -0
  345. package/dist/runtime/workflows/compatibility.d.ts +125 -0
  346. package/dist/runtime/workflows/compatibility.js +285 -0
  347. package/dist/runtime/workflows/engine.d.ts +107 -0
  348. package/dist/runtime/workflows/engine.js +826 -0
  349. package/dist/runtime/workflows/manifest.d.ts +34 -0
  350. package/dist/runtime/workflows/manifest.js +39 -0
  351. package/dist/runtime/workflows/steps.d.ts +33 -0
  352. package/dist/runtime/workflows/steps.js +152 -0
  353. package/dist/serve/api.d.ts +99 -0
  354. package/dist/serve/api.js +403 -0
  355. package/dist/serve/assertion/binding.d.ts +41 -0
  356. package/dist/serve/assertion/binding.js +92 -0
  357. package/dist/serve/assertion/verify.d.ts +93 -0
  358. package/dist/serve/assertion/verify.js +189 -0
  359. package/dist/serve/auth.d.ts +200 -0
  360. package/dist/serve/auth.js +92 -0
  361. package/dist/serve/clock.d.ts +10 -0
  362. package/dist/serve/clock.js +25 -0
  363. package/dist/serve/jwt.d.ts +65 -0
  364. package/dist/serve/jwt.js +202 -0
  365. package/dist/serve/layer.d.ts +98 -0
  366. package/dist/serve/layer.js +809 -0
  367. package/dist/serve/mcp/endpoint.d.ts +39 -0
  368. package/dist/serve/mcp/endpoint.js +187 -0
  369. package/dist/serve/mcp/tools.d.ts +37 -0
  370. package/dist/serve/mcp/tools.js +125 -0
  371. package/dist/serve/origin.d.ts +6 -0
  372. package/dist/serve/origin.js +21 -0
  373. package/dist/serve/sessions/feed.d.ts +79 -0
  374. package/dist/serve/sessions/feed.js +115 -0
  375. package/dist/serve/sessions/socket.d.ts +56 -0
  376. package/dist/serve/sessions/socket.js +212 -0
  377. package/dist/serve/sessions/sse.d.ts +27 -0
  378. package/dist/serve/sessions/sse.js +26 -0
  379. package/dist/serve/sessions/stream.d.ts +9 -0
  380. package/dist/serve/sessions/stream.js +9 -0
  381. package/dist/serve/sessions/watch.d.ts +12 -0
  382. package/dist/serve/sessions/watch.js +11 -0
  383. package/dist/serve/wire.d.ts +16 -0
  384. package/dist/serve/wire.js +50 -0
  385. package/dist/state/blob.d.ts +71 -0
  386. package/dist/state/blob.js +0 -0
  387. package/dist/state/migration.d.ts +53 -0
  388. package/dist/state/migration.js +29 -0
  389. package/dist/tables/fleet.d.ts +170 -0
  390. package/dist/tables/fleet.js +214 -0
  391. package/dist/tables/owned.d.ts +250 -0
  392. package/dist/tables/owned.js +233 -0
  393. package/dist/testing/actor-test.d.ts +360 -0
  394. package/dist/testing/actor-test.js +337 -0
  395. package/dist/testing/cluster.d.ts +93 -0
  396. package/dist/testing/cluster.js +296 -0
  397. package/dist/testing/conformance/access.d.ts +5 -0
  398. package/dist/testing/conformance/access.js +531 -0
  399. package/dist/testing/conformance/admission.d.ts +11 -0
  400. package/dist/testing/conformance/admission.js +182 -0
  401. package/dist/testing/conformance/adoption.d.ts +2 -0
  402. package/dist/testing/conformance/adoption.js +1019 -0
  403. package/dist/testing/conformance/assertions.d.ts +202 -0
  404. package/dist/testing/conformance/assertions.js +849 -0
  405. package/dist/testing/conformance/batches.d.ts +41 -0
  406. package/dist/testing/conformance/batches.js +388 -0
  407. package/dist/testing/conformance/blobs.d.ts +14 -0
  408. package/dist/testing/conformance/blobs.js +405 -0
  409. package/dist/testing/conformance/capacity.d.ts +8 -0
  410. package/dist/testing/conformance/capacity.js +433 -0
  411. package/dist/testing/conformance/client.d.ts +5 -0
  412. package/dist/testing/conformance/client.js +719 -0
  413. package/dist/testing/conformance/cold-serve.d.ts +16 -0
  414. package/dist/testing/conformance/cold-serve.js +254 -0
  415. package/dist/testing/conformance/connections/actors.d.ts +1143 -0
  416. package/dist/testing/conformance/connections/actors.js +180 -0
  417. package/dist/testing/conformance/connections/harness.d.ts +1754 -0
  418. package/dist/testing/conformance/connections/harness.js +142 -0
  419. package/dist/testing/conformance/connections/holders.d.ts +4 -0
  420. package/dist/testing/conformance/connections/holders.js +165 -0
  421. package/dist/testing/conformance/connections/lifecycle.d.ts +4 -0
  422. package/dist/testing/conformance/connections/lifecycle.js +113 -0
  423. package/dist/testing/conformance/connections/limits.d.ts +4 -0
  424. package/dist/testing/conformance/connections/limits.js +127 -0
  425. package/dist/testing/conformance/connections/reauthorization.d.ts +4 -0
  426. package/dist/testing/conformance/connections/reauthorization.js +170 -0
  427. package/dist/testing/conformance/connections/resync.d.ts +4 -0
  428. package/dist/testing/conformance/connections/resync.js +360 -0
  429. package/dist/testing/conformance/connections/takeover.d.ts +4 -0
  430. package/dist/testing/conformance/connections/takeover.js +287 -0
  431. package/dist/testing/conformance/connections.d.ts +4 -0
  432. package/dist/testing/conformance/connections.js +15 -0
  433. package/dist/testing/conformance/content-blobs.d.ts +16 -0
  434. package/dist/testing/conformance/content-blobs.js +534 -0
  435. package/dist/testing/conformance/counter.d.ts +16 -0
  436. package/dist/testing/conformance/counter.js +813 -0
  437. package/dist/testing/conformance/cron.d.ts +5 -0
  438. package/dist/testing/conformance/cron.js +665 -0
  439. package/dist/testing/conformance/drain.d.ts +26 -0
  440. package/dist/testing/conformance/drain.js +540 -0
  441. package/dist/testing/conformance/effect-control.d.ts +38 -0
  442. package/dist/testing/conformance/effect-control.js +1059 -0
  443. package/dist/testing/conformance/effects.d.ts +23 -0
  444. package/dist/testing/conformance/effects.js +432 -0
  445. package/dist/testing/conformance/events.d.ts +28 -0
  446. package/dist/testing/conformance/events.js +335 -0
  447. package/dist/testing/conformance/export.d.ts +2 -0
  448. package/dist/testing/conformance/export.js +368 -0
  449. package/dist/testing/conformance/fleet.d.ts +444 -0
  450. package/dist/testing/conformance/fleet.js +1009 -0
  451. package/dist/testing/conformance/groups.d.ts +7 -0
  452. package/dist/testing/conformance/groups.js +353 -0
  453. package/dist/testing/conformance/heap.d.ts +3 -0
  454. package/dist/testing/conformance/heap.js +149 -0
  455. package/dist/testing/conformance/http.d.ts +2809 -0
  456. package/dist/testing/conformance/http.js +1234 -0
  457. package/dist/testing/conformance/inspection-views.d.ts +8 -0
  458. package/dist/testing/conformance/inspection-views.js +272 -0
  459. package/dist/testing/conformance/inspector.d.ts +7 -0
  460. package/dist/testing/conformance/inspector.js +650 -0
  461. package/dist/testing/conformance/mint.d.ts +58 -0
  462. package/dist/testing/conformance/mint.js +692 -0
  463. package/dist/testing/conformance/multi-runner.d.ts +8 -0
  464. package/dist/testing/conformance/multi-runner.js +403 -0
  465. package/dist/testing/conformance/neki/plan.d.ts +19 -0
  466. package/dist/testing/conformance/neki/plan.js +30 -0
  467. package/dist/testing/conformance/observability.d.ts +3 -0
  468. package/dist/testing/conformance/observability.js +343 -0
  469. package/dist/testing/conformance/offline.d.ts +4 -0
  470. package/dist/testing/conformance/offline.js +474 -0
  471. package/dist/testing/conformance/operator-harness.d.ts +57 -0
  472. package/dist/testing/conformance/operator-harness.js +78 -0
  473. package/dist/testing/conformance/operator.d.ts +3 -0
  474. package/dist/testing/conformance/operator.js +379 -0
  475. package/dist/testing/conformance/outbox-cross-shard.d.ts +14 -0
  476. package/dist/testing/conformance/outbox-cross-shard.js +160 -0
  477. package/dist/testing/conformance/outbox.d.ts +36 -0
  478. package/dist/testing/conformance/outbox.js +437 -0
  479. package/dist/testing/conformance/payload-migrations.d.ts +3 -0
  480. package/dist/testing/conformance/payload-migrations.js +612 -0
  481. package/dist/testing/conformance/pipeline.d.ts +3 -0
  482. package/dist/testing/conformance/pipeline.js +1040 -0
  483. package/dist/testing/conformance/placement.d.ts +22 -0
  484. package/dist/testing/conformance/placement.js +539 -0
  485. package/dist/testing/conformance/platform.d.ts +40 -0
  486. package/dist/testing/conformance/platform.js +101 -0
  487. package/dist/testing/conformance/progress.d.ts +39 -0
  488. package/dist/testing/conformance/progress.js +666 -0
  489. package/dist/testing/conformance/properties.d.ts +6 -0
  490. package/dist/testing/conformance/properties.js +295 -0
  491. package/dist/testing/conformance/protocols.d.ts +4 -0
  492. package/dist/testing/conformance/protocols.js +618 -0
  493. package/dist/testing/conformance/provider/advertise.d.ts +21 -0
  494. package/dist/testing/conformance/provider/advertise.js +44 -0
  495. package/dist/testing/conformance/read-your-writes.d.ts +20 -0
  496. package/dist/testing/conformance/read-your-writes.js +192 -0
  497. package/dist/testing/conformance/reducers.d.ts +8 -0
  498. package/dist/testing/conformance/reducers.js +258 -0
  499. package/dist/testing/conformance/relay.d.ts +42 -0
  500. package/dist/testing/conformance/relay.js +1115 -0
  501. package/dist/testing/conformance/restore.d.ts +43 -0
  502. package/dist/testing/conformance/restore.js +341 -0
  503. package/dist/testing/conformance/retention.d.ts +14 -0
  504. package/dist/testing/conformance/retention.js +463 -0
  505. package/dist/testing/conformance/rls.d.ts +24 -0
  506. package/dist/testing/conformance/rls.js +576 -0
  507. package/dist/testing/conformance/simulation.d.ts +31 -0
  508. package/dist/testing/conformance/simulation.js +167 -0
  509. package/dist/testing/conformance/single-shard.d.ts +2 -0
  510. package/dist/testing/conformance/single-shard.js +125 -0
  511. package/dist/testing/conformance/singleton.d.ts +3 -0
  512. package/dist/testing/conformance/singleton.js +293 -0
  513. package/dist/testing/conformance/statements.d.ts +60 -0
  514. package/dist/testing/conformance/statements.js +108 -0
  515. package/dist/testing/conformance/streams.d.ts +7 -0
  516. package/dist/testing/conformance/streams.js +280 -0
  517. package/dist/testing/conformance/subscriptions/access.d.ts +4 -0
  518. package/dist/testing/conformance/subscriptions/access.js +98 -0
  519. package/dist/testing/conformance/subscriptions/actors.d.ts +4910 -0
  520. package/dist/testing/conformance/subscriptions/actors.js +372 -0
  521. package/dist/testing/conformance/subscriptions/cluster.d.ts +4 -0
  522. package/dist/testing/conformance/subscriptions/cluster.js +89 -0
  523. package/dist/testing/conformance/subscriptions/delivery.d.ts +4 -0
  524. package/dist/testing/conformance/subscriptions/delivery.js +253 -0
  525. package/dist/testing/conformance/subscriptions/deploys.d.ts +4 -0
  526. package/dist/testing/conformance/subscriptions/deploys.js +162 -0
  527. package/dist/testing/conformance/subscriptions/epochs.d.ts +4 -0
  528. package/dist/testing/conformance/subscriptions/epochs.js +169 -0
  529. package/dist/testing/conformance/subscriptions/failures.d.ts +4 -0
  530. package/dist/testing/conformance/subscriptions/failures.js +108 -0
  531. package/dist/testing/conformance/subscriptions/feeds.d.ts +4 -0
  532. package/dist/testing/conformance/subscriptions/feeds.js +218 -0
  533. package/dist/testing/conformance/subscriptions/harness.d.ts +124 -0
  534. package/dist/testing/conformance/subscriptions/harness.js +143 -0
  535. package/dist/testing/conformance/subscriptions/operator.d.ts +4 -0
  536. package/dist/testing/conformance/subscriptions/operator.js +128 -0
  537. package/dist/testing/conformance/subscriptions/retention.d.ts +4 -0
  538. package/dist/testing/conformance/subscriptions/retention.js +288 -0
  539. package/dist/testing/conformance/subscriptions/routing.d.ts +4 -0
  540. package/dist/testing/conformance/subscriptions/routing.js +179 -0
  541. package/dist/testing/conformance/subscriptions.d.ts +4 -0
  542. package/dist/testing/conformance/subscriptions.js +19 -0
  543. package/dist/testing/conformance/tables.d.ts +125 -0
  544. package/dist/testing/conformance/tables.js +664 -0
  545. package/dist/testing/conformance/transports/actors.d.ts +1907 -0
  546. package/dist/testing/conformance/transports/actors.js +163 -0
  547. package/dist/testing/conformance/transports/client.d.ts +3 -0
  548. package/dist/testing/conformance/transports/client.js +237 -0
  549. package/dist/testing/conformance/transports/feeds.d.ts +3 -0
  550. package/dist/testing/conformance/transports/feeds.js +232 -0
  551. package/dist/testing/conformance/transports/harness.d.ts +93 -0
  552. package/dist/testing/conformance/transports/harness.js +84 -0
  553. package/dist/testing/conformance/transports/streams.d.ts +3 -0
  554. package/dist/testing/conformance/transports/streams.js +96 -0
  555. package/dist/testing/conformance/transports/websocket.d.ts +3 -0
  556. package/dist/testing/conformance/transports/websocket.js +384 -0
  557. package/dist/testing/conformance/transports/wire.d.ts +141 -0
  558. package/dist/testing/conformance/transports/wire.js +204 -0
  559. package/dist/testing/conformance/transports.d.ts +3 -0
  560. package/dist/testing/conformance/transports.js +11 -0
  561. package/dist/testing/conformance/watch.d.ts +59 -0
  562. package/dist/testing/conformance/watch.js +879 -0
  563. package/dist/testing/conformance/workflow-engine.d.ts +97 -0
  564. package/dist/testing/conformance/workflow-engine.js +253 -0
  565. package/dist/testing/conformance/workflow-versions.d.ts +3 -0
  566. package/dist/testing/conformance/workflow-versions.js +545 -0
  567. package/dist/testing/conformance/workflows/access.d.ts +4 -0
  568. package/dist/testing/conformance/workflows/access.js +147 -0
  569. package/dist/testing/conformance/workflows/actors.d.ts +2317 -0
  570. package/dist/testing/conformance/workflows/actors.js +305 -0
  571. package/dist/testing/conformance/workflows/basics.d.ts +4 -0
  572. package/dist/testing/conformance/workflows/basics.js +144 -0
  573. package/dist/testing/conformance/workflows/engine.d.ts +4 -0
  574. package/dist/testing/conformance/workflows/engine.js +80 -0
  575. package/dist/testing/conformance/workflows/guards.d.ts +4 -0
  576. package/dist/testing/conformance/workflows/guards.js +172 -0
  577. package/dist/testing/conformance/workflows/harness.d.ts +14 -0
  578. package/dist/testing/conformance/workflows/harness.js +44 -0
  579. package/dist/testing/conformance/workflows/recovery.d.ts +4 -0
  580. package/dist/testing/conformance/workflows/recovery.js +181 -0
  581. package/dist/testing/conformance/workflows/starts.d.ts +4 -0
  582. package/dist/testing/conformance/workflows/starts.js +57 -0
  583. package/dist/testing/conformance/workflows/suspension.d.ts +4 -0
  584. package/dist/testing/conformance/workflows/suspension.js +106 -0
  585. package/dist/testing/conformance/workflows/waits.d.ts +4 -0
  586. package/dist/testing/conformance/workflows/waits.js +284 -0
  587. package/dist/testing/conformance/workflows.d.ts +4 -0
  588. package/dist/testing/conformance/workflows.js +19 -0
  589. package/dist/testing/conformance.d.ts +330 -0
  590. package/dist/testing/conformance.js +364 -0
  591. package/dist/testing/database.d.ts +31 -0
  592. package/dist/testing/database.js +70 -0
  593. package/dist/testing/foundation.d.ts +41 -0
  594. package/dist/testing/foundation.js +517 -0
  595. package/dist/testing/index.d.ts +20 -0
  596. package/dist/testing/index.js +12 -0
  597. package/dist/testing/property.d.ts +40 -0
  598. package/dist/testing/property.js +95 -0
  599. package/dist/testing/simulate-cluster.d.ts +112 -0
  600. package/dist/testing/simulate-cluster.js +257 -0
  601. package/dist/testing/simulate.d.ts +90 -0
  602. package/dist/testing/simulate.js +127 -0
  603. package/package.json +1 -0
@@ -0,0 +1,531 @@
1
+ import { FetchHttpClient, HttpClient, HttpClientRequest, HttpRouter, HttpServer } from "effect/http";
2
+ import { SqlClient } from "effect/sql";
3
+ import { Cause, Context, Crypto, Deferred, Effect, Exit, Layer, ManagedRuntime, Option, Predicate, Queue, Redacted, Schedule, Schema, Stream, } from "effect";
4
+ import { Actor, ActorError, Anonymous, Content, CurrentCaller, System, User, Caller, } from "../../index.js";
5
+ import { Actors as PublicActors } from "../../handles/actors.js";
6
+ import { InternalActors } from "../../runtime/actors.js";
7
+ import { Outcome, Request } from "../../runtime/request.js";
8
+ import { Actors, Database, Inspector, OperatorAuth, Operators, Telemetry, } from "../../runtime/index.js";
9
+ import { SUBPROTOCOL } from "../../protocol/frames.js";
10
+ import { MCP_VERSION } from "../../serve/mcp/endpoint.js";
11
+ import { openFeed } from "../../serve/sessions/feed.js";
12
+ import { ActorTest, executeForTest, TEST_CONTENT_KEY } from "../actor-test.js";
13
+ import { serveHttp, httpSuite } from "./http.js";
14
+ import { serve } from "../../serve/layer.js";
15
+ import { Auth } from "../../runtime/index.js";
16
+ const Posted = Actor.event("AccessPosted", { amount: Schema.Finite });
17
+ class Ping extends Schema.TaggedClass()("AccessPing", {}) {
18
+ }
19
+ const Post = Actor.command("Post", { payload: Schema.Finite, success: Schema.Finite });
20
+ const Whoami = Actor.command("Whoami", { success: Schema.String });
21
+ const Seal = Actor.command("Seal", { success: Schema.String });
22
+ const Balance = Actor.query("Balance", { success: Schema.Finite });
23
+ const Watch = Actor.connection("Watch", { server: Ping });
24
+ const Ticks = Actor.stream("Ticks", { success: Schema.Finite });
25
+ const Files = Actor.content("files");
26
+ const subjectOf = (caller) => Caller.match(caller, {
27
+ User: ({ subject }) => subject,
28
+ Anonymous: () => "",
29
+ System: ({ source }) => source,
30
+ });
31
+ const isUser = Schema.is(User);
32
+ const isSystem = Schema.is(System);
33
+ const isAnonymous = Schema.is(Anonymous);
34
+ /**
35
+ * An actor type named `name` that declares `access` when given. `Whoami`
36
+ * answers the tenant and caller the turn ran as, so a case reads what the
37
+ * runtime attributed; the connection, stream, feed, and content members give
38
+ * every kind of request something to ask about.
39
+ */
40
+ const ledgerOf = (name, access) => {
41
+ const Ledger = Actor.make(name, {
42
+ key: Schema.String,
43
+ state: Actor.state({
44
+ balance: Schema.Finite.pipe(Schema.withDecodingDefault(Effect.succeed(0))),
45
+ }),
46
+ events: [Posted],
47
+ feeds: [Posted],
48
+ blobs: [Files],
49
+ api: { Post, Whoami, Balance, Watch, Ticks },
50
+ internal: { Seal },
51
+ policy: { reauthorizeEvery: "1 second" },
52
+ access,
53
+ });
54
+ const layer = Layer.mergeAll(Ledger.toLayer(Effect.succeed({
55
+ Post: Effect.fnUntraced(function* (amount) {
56
+ const turn = yield* Ledger.Turn;
57
+ yield* turn.state.set({ balance: turn.state.balance + amount });
58
+ yield* turn.emit(Posted.make({ amount }));
59
+ return turn.state.balance;
60
+ }),
61
+ Whoami: Effect.fnUntraced(function* () {
62
+ const { caller, ref } = yield* Ledger.Turn;
63
+ return `${ref.tenant}/${caller._tag}/${subjectOf(caller)}`;
64
+ }),
65
+ Seal: () => Effect.succeed("sealed"),
66
+ Watch: { open: () => Effect.void, frame: () => Effect.void },
67
+ Ticks: () => Stream.fromSchedule(Schedule.spaced("100 millis")),
68
+ })), Ledger.toQueryLayer(Effect.succeed({
69
+ Balance: Effect.fnUntraced(function* () {
70
+ return (yield* Ledger.Read).state.balance;
71
+ }),
72
+ })));
73
+ return { Ledger, layer };
74
+ };
75
+ /** Runs `body` on a fresh database and an `ActorTest` runtime serving `actors`, then stops the runtime. */
76
+ const deploy = (environment, actors, wiring, body) => environment.run(Effect.gen(function* () {
77
+ const database = yield* environment.freshDatabase;
78
+ const crypto = yield* Crypto.Crypto;
79
+ const runtime = yield* Effect.acquireRelease(Effect.sync(() => ManagedRuntime.make(actors.pipe(Layer.provideMerge(ActorTest.layer({ database, ...wiring })), Layer.provideMerge(Layer.succeed(Crypto.Crypto, crypto)), Layer.orDie))), (runtime) => Effect.promise(() => runtime.dispose()));
80
+ return yield* Effect.promise(() => runtime.runPromiseExit(Effect.scoped(body))).pipe(Effect.flatten);
81
+ }).pipe(Effect.orDie));
82
+ const databaseLayer = (database) => Redacted.isRedacted(database)
83
+ ? Database.postgres({ url: database, maxConnections: 4 })
84
+ : Database.pglite(database);
85
+ const isDenied = (exit) => {
86
+ if (Exit.isSuccess(exit))
87
+ return false;
88
+ const failure = Cause.findErrorOption(exit.cause);
89
+ return (Option.isSome(failure) &&
90
+ Schema.is(ActorError)(failure.value) &&
91
+ Predicate.isTagged(failure.value.reason, "Unauthorized") &&
92
+ failure.value.reason.code === "access_denied");
93
+ };
94
+ /** How a request ended: `allowed`, refused with `access_denied`, or `failed` for anything else. */
95
+ const outcomeOf = (effect) => effect.pipe(Effect.exit, Effect.map((exit) => (Exit.isSuccess(exit) ? "allowed" : isDenied(exit) ? "denied" : "failed")), Effect.timeoutOrElse({
96
+ duration: "20 seconds",
97
+ orElse: () => Effect.die(new Error("A request never answered")),
98
+ }));
99
+ const KINDS = ["command", "query", "open", "stream", "feed", "content"];
100
+ const alice = User.make({ subject: "alice" });
101
+ const bob = User.make({ subject: "bob" });
102
+ /** One request of each kind against the actor `id` of `Ledger`, as whoever is the ambient caller. */
103
+ const requestsOf = (Ledger, id) => {
104
+ const requests = {
105
+ command: Effect.flatMap(Ledger.get(id), (ledger) => ledger.Post(1)),
106
+ query: Effect.flatMap(Ledger.get(id), (ledger) => ledger.Balance()),
107
+ open: Effect.gen(function* () {
108
+ const test = yield* ActorTest;
109
+ const { ref } = yield* Ledger.get(id);
110
+ const connection = yield* test.connect(ref, Watch, undefined);
111
+ yield* connection.close;
112
+ }),
113
+ stream: Effect.flatMap(Ledger.get(id), (ledger) => ledger.Ticks().pipe(Stream.take(1), Stream.runCollect)),
114
+ feed: Effect.gen(function* () {
115
+ const { ref } = yield* Ledger.get(id);
116
+ const held = yield* openFeed({
117
+ actors: yield* InternalActors,
118
+ ref,
119
+ tags: [Posted.identifier],
120
+ caller: yield* CurrentCaller,
121
+ expiresAt: undefined,
122
+ });
123
+ yield* held.close;
124
+ }),
125
+ content: Content.grant(Ledger, id, Files, "file"),
126
+ };
127
+ return requests;
128
+ };
129
+ const outcomes = (requests, caller, only) => Effect.gen(function* () {
130
+ const found = {};
131
+ for (const kind of only === undefined ? KINDS : [only])
132
+ found[kind] = yield* outcomeOf(caller === undefined ? requests[kind] : requests[kind].pipe(Actor.as(caller)));
133
+ return found;
134
+ });
135
+ const everyKind = (outcome) => Object.fromEntries(KINDS.map((kind) => [kind, outcome]));
136
+ const MCP_VERSION_HEADERS = {
137
+ "content-type": "application/json",
138
+ "mcp-protocol-version": MCP_VERSION,
139
+ "mcp-method": "tools/call",
140
+ };
141
+ const encodeJson = Schema.encodeEffect(Schema.fromJsonString(Schema.Unknown));
142
+ const decodeMinted = Schema.decodeUnknownEffect(Schema.fromJsonString(Schema.Struct({ commandId: Schema.String })));
143
+ /** Sends one request to the served app and reads its whole body, which a revoked session ends. */
144
+ const fetchText = (url, init) => Effect.gen(function* () {
145
+ const client = Context.get(yield* Layer.build(FetchHttpClient.layer), HttpClient.HttpClient);
146
+ const base = HttpClientRequest.make(init?.method ?? "GET")(url, {
147
+ headers: init?.headers ?? {},
148
+ });
149
+ const request = init?.body === undefined
150
+ ? base
151
+ : HttpClientRequest.bodyText(base, yield* encodeJson(init.body).pipe(Effect.orDie), "application/json");
152
+ const response = yield* client.execute(request);
153
+ return { status: response.status, text: yield* response.text };
154
+ }).pipe(Effect.orDie, Effect.scoped, Effect.timeoutOrElse({
155
+ duration: "30 seconds",
156
+ orElse: () => Effect.die(new Error(`${url} never finished`)),
157
+ }));
158
+ /** Opens a WebSocket to a connection route, says hello, and collects messages until the session ends. */
159
+ const socketMessages = (url) => Effect.gen(function* () {
160
+ const received = yield* Queue.unbounded();
161
+ const closed = yield* Deferred.make();
162
+ const ws = new WebSocket(url, SUBPROTOCOL);
163
+ ws.onopen = () => ws.send('{"t":"hello"}');
164
+ ws.onmessage = (event) => Queue.offerUnsafe(received, String(event.data));
165
+ ws.onclose = () => Deferred.doneUnsafe(closed, Effect.void);
166
+ yield* Deferred.await(closed).pipe(Effect.timeoutOrElse({
167
+ duration: "30 seconds",
168
+ orElse: () => Effect.die(new Error(`${url} never closed`)),
169
+ }), Effect.ensuring(Effect.sync(() => ws.close())));
170
+ return (yield* Queue.clear(received)).join("\n");
171
+ });
172
+ const deniedReply = (reply) => reply.status === 403 || reply.text.includes("access_denied");
173
+ /** Cases for the default caller and tenant, actor `access` policies, and the global `authorize` hook they combine with. */
174
+ export const accessConformance = [
175
+ {
176
+ name: "runs in-process code as System({ source: process }) in the default tenant, with no authorize and no Actor.as or Actor.tenant",
177
+ run: ({ expect, environment }) => environment.run(Effect.gen(function* () {
178
+ const database = yield* environment.freshDatabase;
179
+ const crypto = yield* Crypto.Crypto;
180
+ const { Ledger, layer } = ledgerOf("AccessProcess");
181
+ const runtime = yield* Effect.acquireRelease(Effect.sync(() => ManagedRuntime.make(layer.pipe(Layer.provideMerge(Actors.layer({ content: { keys: [TEST_CONTENT_KEY] } })), Layer.provideMerge(databaseLayer(database)), Layer.provideMerge(Layer.succeed(Crypto.Crypto, crypto)), Layer.orDie))), (runtime) => Effect.promise(() => runtime.dispose()));
182
+ const answered = yield* Effect.promise(() => runtime.runPromise(Effect.gen(function* () {
183
+ const handle = yield* Ledger.get("process");
184
+ return {
185
+ tenant: handle.ref.tenant,
186
+ who: yield* handle.Whoami(),
187
+ balance: yield* handle.Post(3),
188
+ read: yield* handle.Balance(),
189
+ };
190
+ })));
191
+ expect(answered).toEqual({
192
+ tenant: "default",
193
+ who: "default/System/process",
194
+ balance: 3,
195
+ read: 3,
196
+ });
197
+ const asUser = yield* Effect.promise(() => runtime.runPromiseExit(Effect.flatMap(Ledger.get("process"), (handle) => handle.Post(1)).pipe(Actor.as(alice))));
198
+ expect(isDenied(asUser)).toBe(true);
199
+ })),
200
+ },
201
+ {
202
+ name: "allows System callers and denies User and Anonymous callers of every kind when there is no access and no authorize",
203
+ run: ({ expect, environment }) => {
204
+ const { Ledger, layer } = ledgerOf("AccessClosed");
205
+ return deploy(environment, layer, {}, Effect.gen(function* () {
206
+ const requests = requestsOf(Ledger, "closed");
207
+ yield* requests.command;
208
+ expect(yield* outcomes(requests)).toEqual(everyKind("allowed"));
209
+ expect(yield* outcomes(requests, System.make({ source: "cron" }))).toEqual(everyKind("allowed"));
210
+ expect(yield* outcomes(requests, alice)).toEqual(everyKind("denied"));
211
+ expect(yield* outcomes(requests, Anonymous.make({}))).toEqual(everyKind("denied"));
212
+ }));
213
+ },
214
+ },
215
+ {
216
+ name: "asks an actor's access policy for each kind: command, query, open, stream, feed, and content each allow and deny on their own",
217
+ run: ({ expect, environment }) => {
218
+ let selected = "command";
219
+ const seen = [];
220
+ const { Ledger, layer } = ledgerOf("AccessKinds", (request) => {
221
+ seen.push(request);
222
+ return (isSystem(request.caller) ||
223
+ (isUser(request.caller) &&
224
+ request.caller.subject === "alice" &&
225
+ request.kind === selected));
226
+ });
227
+ return deploy(environment, layer, {}, Effect.gen(function* () {
228
+ const requests = requestsOf(Ledger, "kinds");
229
+ yield* requests.command;
230
+ expect(yield* outcomes(requests)).toEqual(everyKind("allowed"));
231
+ for (const kind of KINDS) {
232
+ selected = kind;
233
+ expect(yield* outcomes(requests, alice)).toEqual(Object.fromEntries(KINDS.map((other) => [other, other === kind ? "allowed" : "denied"])));
234
+ expect(yield* outcomes(requests, bob, kind)).toEqual({ [kind]: "denied" });
235
+ expect(yield* outcomes(requests, Anonymous.make({}), kind)).toEqual({
236
+ [kind]: "denied",
237
+ });
238
+ }
239
+ const asked = seen.filter(({ caller }) => isUser(caller) && caller.subject === "alice");
240
+ for (const kind of KINDS)
241
+ expect(asked.some((request) => request.kind === kind)).toBe(true);
242
+ expect(asked.find(({ kind }) => kind === "command")).toMatchObject({
243
+ caller: alice,
244
+ ref: { actor: "AccessKinds", id: "kinds" },
245
+ command: "Post",
246
+ });
247
+ expect(asked.find(({ kind }) => kind === "feed")).toMatchObject({
248
+ command: Posted.identifier,
249
+ });
250
+ expect(asked.find(({ kind }) => kind === "content")).toMatchObject({
251
+ command: "files.grant",
252
+ });
253
+ }));
254
+ },
255
+ },
256
+ {
257
+ name: "requires the global authorize and the actor's access to both allow, and lets either alone decide when the other is absent",
258
+ run: ({ expect, environment }) => {
259
+ let globalAllows = true;
260
+ let actorAllows = true;
261
+ const globalSeen = [];
262
+ const actorSeen = [];
263
+ const guarded = ledgerOf("AccessGuarded", (request) => {
264
+ actorSeen.push(request);
265
+ return actorAllows;
266
+ });
267
+ const bare = ledgerOf("AccessBare");
268
+ return deploy(environment, Layer.merge(guarded.layer, bare.layer), {
269
+ authorize: (request) => Effect.sync(() => {
270
+ globalSeen.push(request);
271
+ return globalAllows;
272
+ }),
273
+ }, Effect.gen(function* () {
274
+ const post = (ledger, id) => outcomeOf(Effect.flatMap(ledger.get(id), (handle) => handle.Post(1)).pipe(Actor.as(alice)));
275
+ const answers = [];
276
+ for (const [global, actor] of [
277
+ [true, true],
278
+ [true, false],
279
+ [false, true],
280
+ [false, false],
281
+ ]) {
282
+ globalAllows = global;
283
+ actorAllows = actor;
284
+ answers.push([global, actor, yield* post(guarded.Ledger, "both")]);
285
+ }
286
+ expect(answers).toEqual([
287
+ [true, true, "allowed"],
288
+ [true, false, "denied"],
289
+ [false, true, "denied"],
290
+ [false, false, "denied"],
291
+ ]);
292
+ actorAllows = false;
293
+ globalAllows = true;
294
+ expect(yield* post(bare.Ledger, "authorize-alone")).toBe("allowed");
295
+ globalAllows = false;
296
+ expect(yield* post(bare.Ledger, "authorize-alone")).toBe("denied");
297
+ const first = { caller: alice, command: "Post", kind: "command" };
298
+ expect(globalSeen[0]).toMatchObject({ ...first, ref: { actor: "AccessGuarded" } });
299
+ expect(actorSeen[0]).toMatchObject({ ...first, ref: { actor: "AccessGuarded" } });
300
+ expect(actorSeen.some(({ ref }) => ref.actor === "AccessBare")).toBe(false);
301
+ }));
302
+ },
303
+ },
304
+ {
305
+ name: "applies an actor's access policy to live sessions on reauthorize: a revoked connection, stream, and feed each end with access_denied",
306
+ run: ({ expect, environment }) => {
307
+ let revoked = false;
308
+ const reauthorized = [];
309
+ const { Ledger, layer } = ledgerOf("AccessLive", (request) => {
310
+ if (request.kind === "reauthorize")
311
+ reauthorized.push(String(request.of));
312
+ return (isSystem(request.caller) ||
313
+ (isUser(request.caller) && request.caller.subject === "alice" && !revoked));
314
+ });
315
+ return deploy(environment, layer, {}, Effect.gen(function* () {
316
+ const test = yield* ActorTest;
317
+ const ledger = yield* Ledger.get("live");
318
+ yield* ledger.Post(1);
319
+ const endOf = (stream) => endWith(Stream.runDrain(stream));
320
+ const endWith = (running) => running.pipe(Effect.exit, Effect.timeoutOrElse({
321
+ duration: "30 seconds",
322
+ orElse: () => Effect.die(new Error("The session outlived its revocation")),
323
+ }));
324
+ const sessions = Effect.gen(function* () {
325
+ const connection = yield* test.connect(ledger.ref, Watch, undefined);
326
+ const { ref } = yield* Ledger.get("live");
327
+ const feed = yield* openFeed({
328
+ actors: yield* InternalActors,
329
+ ref,
330
+ tags: [Posted.identifier],
331
+ caller: alice,
332
+ expiresAt: undefined,
333
+ });
334
+ const pull = yield* Stream.toPull((yield* Ledger.get("live")).Ticks());
335
+ yield* pull;
336
+ return { connection, feed, pull };
337
+ }).pipe(Actor.as(alice));
338
+ const { connection, feed, pull } = yield* sessions;
339
+ revoked = true;
340
+ const ends = yield* Effect.all([endOf(connection.frames), endOf(feed.messages), endWith(Effect.forever(pull))], { concurrency: "unbounded" });
341
+ expect(ends.map(isDenied)).toEqual([true, true, true]);
342
+ expect([...new Set(reauthorized)].sort()).toEqual(["feed", "open", "stream"]);
343
+ }));
344
+ },
345
+ timeoutMs: 60_000,
346
+ },
347
+ {
348
+ name: "answers a served request from a User or Anonymous caller with 403 access_denied by default, and lets an actor's access, or Actor.access.public, allow them",
349
+ run: ({ expect, environment }) => {
350
+ const closed = ledgerOf("AccessServedClosed");
351
+ const anonymous = ledgerOf("AccessServedPublic", ({ caller }) => isAnonymous(caller));
352
+ const mine = ledgerOf("AccessServedMine", ({ caller }) => isUser(caller) && caller.subject === "alice");
353
+ const open = ledgerOf("AccessServedOpen", Actor.access.public);
354
+ const served = [closed.Ledger, anonymous.Ledger, mine.Ledger, open.Ledger];
355
+ return deploy(environment, Layer.mergeAll(closed.layer, anonymous.layer, mine.layer, open.layer), {}, Effect.gen(function* () {
356
+ const { tenant } = yield* ActorTest;
357
+ const publicServer = yield* serveHttp({ actors: served, auth: Auth.none });
358
+ const tokenServer = yield* serveHttp({ actors: served });
359
+ const whoami = (server, name, token) => Effect.gen(function* () {
360
+ const reply = yield* server.send(`/actors/${name}/served/Whoami`, {
361
+ key: yield* server.mint(),
362
+ token,
363
+ });
364
+ return { status: reply.status, body: reply.body };
365
+ });
366
+ expect(yield* whoami(publicServer, "AccessServedClosed")).toMatchObject({ status: 403 });
367
+ expect(yield* whoami(publicServer, "AccessServedMine")).toMatchObject({ status: 403 });
368
+ expect(yield* whoami(publicServer, "AccessServedOpen")).toEqual({
369
+ status: 200,
370
+ body: "default/Anonymous/",
371
+ });
372
+ expect(yield* whoami(tokenServer, "AccessServedOpen", `${tenant}:bob`)).toEqual({
373
+ status: 200,
374
+ body: `${tenant}/User/bob`,
375
+ });
376
+ const anonymousReply = yield* whoami(publicServer, "AccessServedPublic");
377
+ expect(anonymousReply).toEqual({ status: 200, body: "default/Anonymous/" });
378
+ expect(yield* whoami(tokenServer, "AccessServedClosed", `${tenant}:alice`)).toMatchObject({
379
+ status: 403,
380
+ });
381
+ expect(yield* whoami(tokenServer, "AccessServedPublic", `${tenant}:alice`)).toMatchObject({
382
+ status: 403,
383
+ });
384
+ expect(yield* whoami(tokenServer, "AccessServedMine", `${tenant}:bob`)).toMatchObject({
385
+ status: 403,
386
+ });
387
+ expect(yield* whoami(tokenServer, "AccessServedMine", `${tenant}:alice`)).toEqual({
388
+ status: 200,
389
+ body: `${tenant}/User/alice`,
390
+ });
391
+ const denied = yield* publicServer.send("/actors/AccessServedClosed/served/Whoami", {
392
+ key: yield* publicServer.mint(),
393
+ });
394
+ expect(denied.body).toMatchObject({ reason: { code: "access_denied" } });
395
+ const inProcess = yield* Effect.flatMap(closed.Ledger.get("served"), (handle) => handle.Post(1));
396
+ expect(inProcess).toBe(1);
397
+ }));
398
+ },
399
+ },
400
+ {
401
+ name: "keeps internal commands System-only and off public handles when an actor's access allows everyone",
402
+ run: ({ expect, environment }) => {
403
+ const { Ledger, layer } = ledgerOf("AccessInternal", Actor.access.public);
404
+ return deploy(environment, layer, {}, Effect.gen(function* () {
405
+ const ledger = yield* Ledger.get("internal");
406
+ const actors = yield* PublicActors;
407
+ expect(Object.keys(ledger).sort()).toEqual(["Balance", "Post", "Ticks", "Whoami", "ref"]);
408
+ expect(Object.keys(Ledger.api)).not.toContain("Seal");
409
+ for (const caller of [alice, Anonymous.make({})]) {
410
+ const outcome = yield* executeForTest(Request.make({
411
+ ref: ledger.ref,
412
+ caller,
413
+ command: "Seal",
414
+ commandId: yield* actors.mintCommandId,
415
+ payload: "{}",
416
+ }));
417
+ expect(Outcome.guards.Defect(outcome)).toBe(true);
418
+ }
419
+ const test = yield* ActorTest;
420
+ const bound = yield* test.actor(Ledger, "internal");
421
+ expect(yield* bound.system.Seal()).toBe("sealed");
422
+ }));
423
+ },
424
+ },
425
+ {
426
+ name: "sees Anonymous, never System, on every served entry point under Auth.none, and denies it by default",
427
+ timeoutMs: 120_000,
428
+ run: ({ expect, environment }) => {
429
+ const asked = [];
430
+ const closed = ledgerOf("AccessGuardClosed");
431
+ const open = ledgerOf("AccessGuardOpen", (request) => {
432
+ asked.push(request);
433
+ return (isSystem(request.caller) ||
434
+ (isAnonymous(request.caller) && request.kind !== "reauthorize"));
435
+ });
436
+ return deploy(environment, Layer.merge(closed.layer, open.layer), {}, Effect.gen(function* () {
437
+ for (const Ledger of [closed.Ledger, open.Ledger])
438
+ yield* Effect.flatMap(Ledger.get("guard"), (ledger) => ledger.Post(1)).pipe(Actor.tenant("default"));
439
+ asked.length = 0;
440
+ const context = yield* Effect.context();
441
+ const app = Layer.mergeAll(serve({
442
+ actors: [closed.Ledger, open.Ledger],
443
+ auth: Auth.none,
444
+ basePath: "/api",
445
+ mcp: { path: "/mcp" },
446
+ }), Operators.serve({ auth: OperatorAuth.tokens([]) }), Telemetry.serve(), Inspector.serve({ auth: Auth.none })).pipe(Layer.provide(Layer.succeedContext(context)));
447
+ const built = yield* Layer.build(HttpRouter.serve(app, { disableLogger: true, disableListenLog: true }).pipe(Layer.provideMerge(environment.httpServer)));
448
+ const address = Context.get(built, HttpServer.HttpServer).address;
449
+ if (Predicate.isTagged(address, "UnixPathAddress"))
450
+ return yield* Effect.die(new Error("Expected a TCP address"));
451
+ const host = `127.0.0.1:${address.port}`;
452
+ const api = `http://${host}/api`;
453
+ const mint = fetchText(`${api}/command-ids`, { method: "POST" }).pipe(Effect.flatMap(({ text }) => decodeMinted(text).pipe(Effect.orDie)), Effect.map(({ commandId }) => commandId));
454
+ const entryPoints = (name) => Effect.gen(function* () {
455
+ const actor = `${api}/actors/${name}/guard`;
456
+ return {
457
+ command: yield* fetchText(`${actor}/Whoami`, {
458
+ method: "POST",
459
+ headers: { "idempotency-key": yield* mint },
460
+ }),
461
+ query: yield* fetchText(`${actor}/Balance`, { method: "POST" }),
462
+ stream: yield* fetchText(`${actor}/Ticks`, { method: "POST" }),
463
+ feed: yield* fetchText(`${actor}/events?event=${Posted.identifier}&after=0`),
464
+ socket: {
465
+ status: 0,
466
+ text: yield* socketMessages(`ws://${host}/api/actors/${name}/guard/Watch`),
467
+ },
468
+ download: yield* fetchText(`${actor}/content/files/file`),
469
+ grant: yield* fetchText(`${actor}/content/files/file/grant`, { method: "POST" }),
470
+ mcp: yield* fetchText(`${api}/mcp`, {
471
+ method: "POST",
472
+ headers: { ...MCP_VERSION_HEADERS, "mcp-name": `${name}.Whoami` },
473
+ body: {
474
+ jsonrpc: "2.0",
475
+ id: 1,
476
+ method: "tools/call",
477
+ params: {
478
+ name: `${name}.Whoami`,
479
+ arguments: { id: "guard", commandId: yield* mint },
480
+ _meta: {
481
+ "io.modelcontextprotocol/protocolVersion": MCP_VERSION,
482
+ "io.modelcontextprotocol/clientCapabilities": {},
483
+ },
484
+ },
485
+ },
486
+ }),
487
+ };
488
+ });
489
+ const refused = yield* entryPoints("AccessGuardClosed");
490
+ expect(Object.fromEntries(Object.entries(refused).map(([entry, reply]) => [entry, deniedReply(reply)]))).toEqual({
491
+ command: true,
492
+ query: true,
493
+ stream: true,
494
+ feed: true,
495
+ socket: true,
496
+ download: true,
497
+ grant: true,
498
+ mcp: true,
499
+ });
500
+ const served = yield* entryPoints("AccessGuardOpen");
501
+ expect(served.command).toEqual({
502
+ status: 200,
503
+ text: '"default/Anonymous/"',
504
+ });
505
+ expect(served.mcp.text).toContain("default/Anonymous/");
506
+ expect(served.query.status).toBe(200);
507
+ expect(served.stream.text).toContain("access_denied");
508
+ expect(served.feed.text).toContain("access_denied");
509
+ expect(served.socket.text).toContain("access_denied");
510
+ const operator = yield* fetchText(`http://${host}/operator/actors/AccessGuardOpen/guard?tenant=default`);
511
+ expect(operator.status).toBe(401);
512
+ expect((yield* fetchText(`http://${host}/metrics`)).status).toBe(200);
513
+ expect((yield* fetchText(`http://${host}/inspector/overview`)).status).toBe(200);
514
+ expect(asked.filter(({ caller }) => !isAnonymous(caller))).toEqual([]);
515
+ expect([...new Set(asked.map(({ kind }) => kind))].sort()).toEqual([
516
+ "command",
517
+ "content",
518
+ "feed",
519
+ "open",
520
+ "query",
521
+ "reauthorize",
522
+ "stream",
523
+ ]);
524
+ }));
525
+ },
526
+ },
527
+ ];
528
+ /** Access cases call the served HTTP actors. */
529
+ export const accessSuite = {
530
+ uses: [httpSuite],
531
+ };
@@ -0,0 +1,11 @@
1
+ import { Effect } from "effect";
2
+ import { SqlClient } from "effect/sql";
3
+ import { InternalActors } from "../../runtime/actors.ts";
4
+ import type { ConformanceCase, ConformanceSuite } from "../conformance.ts";
5
+ export declare const admissionLayer: import("effect/Layer").Layer<never, never, InternalActors>;
6
+ /** The receipt hash of a payload: SHA-256 over its Postgres JSONB text. */
7
+ export declare const payloadHash: (payload: string) => Effect.Effect<string, import("effect/sql/SqlError").SqlError, import("effect/Crypto").Crypto | SqlClient.SqlClient>;
8
+ /** Receipt admission cases: replay by canonical payload hash, admission fenced inside the turn, and terminal rejection of malformed or expired identities. */
9
+ export declare const admissionConformance: ReadonlyArray<ConformanceCase>;
10
+ /** The admission cases' actor. */
11
+ export declare const admissionSuite: ConformanceSuite;