@astrale-os/kernel-core 0.9.0-beta.9 → 0.9.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 (380) hide show
  1. package/dist/auth/authority/accept.js +4 -0
  2. package/dist/auth/authority/admission/admission.d.ts +4 -1
  3. package/dist/auth/authority/admission/admission.js +46 -147
  4. package/dist/auth/authority/admission/index.d.ts +1 -1
  5. package/dist/auth/authority/admission/index.js +1 -1
  6. package/dist/auth/authority/admission/references.d.ts +13 -0
  7. package/dist/auth/authority/admission/references.js +38 -0
  8. package/dist/auth/authority/admission/term.d.ts +6 -0
  9. package/dist/auth/authority/admission/term.js +60 -0
  10. package/dist/auth/authority/admission/wire.d.ts +8 -0
  11. package/dist/auth/authority/admission/wire.js +33 -0
  12. package/dist/auth/authority/canonical.d.ts +2 -0
  13. package/dist/auth/authority/canonical.js +15 -0
  14. package/dist/auth/authority/index.d.ts +9 -2
  15. package/dist/auth/authority/index.js +6 -1
  16. package/dist/auth/authority/language/index.d.ts +3 -1
  17. package/dist/auth/authority/language/index.js +1 -0
  18. package/dist/auth/authority/language/predicate.d.ts +31 -16
  19. package/dist/auth/authority/language/predicate.js +1 -1
  20. package/dist/auth/authority/language/program.d.ts +21 -0
  21. package/dist/auth/authority/language/program.js +2 -0
  22. package/dist/auth/authority/normalization/index.d.ts +1 -1
  23. package/dist/auth/authority/normalization/index.js +1 -1
  24. package/dist/auth/authority/normalization/normalize.d.ts +2 -0
  25. package/dist/auth/authority/normalization/normalize.js +38 -16
  26. package/dist/auth/authority/ownership.optimization.d.ts +8 -0
  27. package/dist/auth/authority/ownership.optimization.js +83 -0
  28. package/dist/auth/authority/prepare-binder-body.d.ts +4 -0
  29. package/dist/auth/authority/prepare-binder-body.js +31 -0
  30. package/dist/auth/authority/program.d.ts +28 -0
  31. package/dist/auth/authority/program.js +191 -0
  32. package/dist/auth/authority/semantics/class-authority.d.ts +8 -0
  33. package/dist/auth/authority/semantics/class-authority.js +26 -0
  34. package/dist/auth/authority/semantics/composition.d.ts +46 -0
  35. package/dist/auth/authority/semantics/composition.js +150 -0
  36. package/dist/auth/authority/semantics/failure.d.ts +21 -0
  37. package/dist/auth/authority/semantics/failure.js +10 -0
  38. package/dist/auth/authority/semantics/index.d.ts +13 -0
  39. package/dist/auth/authority/semantics/index.js +6 -0
  40. package/dist/auth/authority/semantics/interpret.d.ts +41 -0
  41. package/dist/auth/authority/semantics/interpret.js +388 -0
  42. package/dist/auth/authority/semantics/residual.d.ts +32 -0
  43. package/dist/auth/authority/semantics/residual.js +166 -0
  44. package/dist/auth/authority/semantics/snapshot.d.ts +40 -0
  45. package/dist/auth/authority/semantics/terms.d.ts +22 -0
  46. package/dist/auth/authority/semantics/terms.js +96 -0
  47. package/dist/auth/authority/semantics/vocabulary.d.ts +19 -0
  48. package/dist/auth/context/context.d.ts +4 -3
  49. package/dist/auth/expression/authoring/builder.d.ts +2 -11
  50. package/dist/auth/expression/authoring/builder.js +1 -45
  51. package/dist/auth/expression/authoring/index.d.ts +1 -1
  52. package/dist/auth/expression/authoring/index.js +1 -1
  53. package/dist/auth/expression/index.d.ts +1 -2
  54. package/dist/auth/expression/index.js +1 -2
  55. package/dist/auth/expression/language/identity-expression.d.ts +2 -22
  56. package/dist/auth/grant/index.d.ts +1 -1
  57. package/dist/auth/grant/index.js +1 -1
  58. package/dist/auth/grant/resolved/admission.d.ts +4 -3
  59. package/dist/auth/grant/resolved/admission.js +23 -13
  60. package/dist/auth/grant/resolved/grant.d.ts +1 -1
  61. package/dist/auth/grant/resolved/index.d.ts +1 -1
  62. package/dist/auth/grant/resolved/index.js +1 -1
  63. package/dist/auth/grant/unresolved/admission.d.ts +4 -1
  64. package/dist/auth/grant/unresolved/admission.js +27 -67
  65. package/dist/auth/grant/unresolved/limits.d.ts +2 -4
  66. package/dist/auth/grant/unresolved/limits.js +1 -5
  67. package/dist/auth/identity/admission.js +11 -3
  68. package/dist/auth/identity/identity.d.ts +15 -3
  69. package/dist/auth/identity/index.d.ts +1 -1
  70. package/dist/auth/index.d.ts +4 -4
  71. package/dist/auth/index.js +1 -1
  72. package/dist/auth/jwk/index.d.ts +1 -1
  73. package/dist/auth/jwk/index.js +1 -1
  74. package/dist/auth/jwk/thumbprint.d.ts +2 -0
  75. package/dist/auth/jwk/thumbprint.js +12 -6
  76. package/dist/auth/register/fingerprint/fingerprint.d.ts +25 -0
  77. package/dist/auth/register/fingerprint/fingerprint.js +31 -0
  78. package/dist/auth/register/fingerprint/index.d.ts +2 -0
  79. package/dist/auth/register/index.d.ts +5 -0
  80. package/dist/auth/register/request/admission.d.ts +3 -0
  81. package/dist/auth/register/request/admission.js +103 -0
  82. package/dist/auth/register/request/index.d.ts +3 -0
  83. package/dist/auth/register/request/limits.d.ts +6 -0
  84. package/dist/auth/register/request/limits.js +6 -0
  85. package/dist/auth/register/request/request.d.ts +19 -0
  86. package/dist/auth/{provision → register}/request/self-issuer.d.ts +1 -1
  87. package/dist/auth/{provision → register}/request/self-issuer.js +1 -1
  88. package/dist/auth/register/result/index.d.ts +1 -0
  89. package/dist/auth/register/result/result.d.ts +10 -0
  90. package/dist/auth/register/result/result.js +1 -0
  91. package/dist/callable/contract/body.d.ts +10 -0
  92. package/dist/callable/contract/body.js +7 -0
  93. package/dist/callable/contract/index.d.ts +2 -1
  94. package/dist/callable/contract/index.js +1 -1
  95. package/dist/callable/contract/output.d.ts +18 -2
  96. package/dist/callable/index.d.ts +3 -2
  97. package/dist/callable/index.js +2 -1
  98. package/dist/callable/invocation/call.d.ts +16 -2
  99. package/dist/callable/invocation/call.js +41 -1
  100. package/dist/callable/invocation/index.d.ts +1 -1
  101. package/dist/callable/invocation/index.js +1 -1
  102. package/dist/callable/invocation/result.d.ts +10 -3
  103. package/dist/dns-label.d.ts +1 -2
  104. package/dist/dns-label.js +2 -3
  105. package/dist/graph/graph/graph.d.ts +1 -5
  106. package/dist/graph/graph/graph.js +3 -27
  107. package/dist/graph/graph/index.d.ts +2 -4
  108. package/dist/graph/graph/index.js +2 -3
  109. package/dist/graph/graph/model/codec.js +4 -4
  110. package/dist/graph/graph/model/index.d.ts +1 -1
  111. package/dist/graph/graph/model/index.js +1 -1
  112. package/dist/graph/graph/model/model.d.ts +7 -7
  113. package/dist/graph/graph/model/model.js +6 -6
  114. package/dist/graph/graph/model/wire.d.ts +58 -78
  115. package/dist/graph/graph/model/wire.js +18 -19
  116. package/dist/graph/mutate/authoring/builder.d.ts +2 -2
  117. package/dist/graph/mutate/authoring/builder.js +2 -2
  118. package/dist/graph/mutate/authoring/create.js +13 -5
  119. package/dist/graph/mutate/index.d.ts +1 -1
  120. package/dist/graph/mutate/language/codec.js +3 -3
  121. package/dist/graph/mutate/language/model.d.ts +4 -4
  122. package/dist/graph/mutate/language/wire.d.ts +226 -215
  123. package/dist/graph/mutate/language/wire.js +42 -47
  124. package/dist/graph/mutate/result/index.d.ts +4 -3
  125. package/dist/graph/mutate/result/index.js +8 -6
  126. package/dist/graph/mutate/result/wire.d.ts +4 -4
  127. package/dist/graph/mutate/result/wire.js +7 -4
  128. package/dist/graph/node/identity/id.d.ts +0 -4
  129. package/dist/graph/node/identity/id.js +0 -5
  130. package/dist/graph/node/identity/order.js +20 -0
  131. package/dist/graph/path/authoring/path.d.ts +8 -5
  132. package/dist/graph/path/authoring/path.js +21 -3
  133. package/dist/graph/path/language/model.d.ts +8 -3
  134. package/dist/graph/path/language/syntax.js +23 -8
  135. package/dist/graph/query/authoring/builder.js +37 -5
  136. package/dist/graph/query/authoring/model.d.ts +20 -1
  137. package/dist/graph/query/index.d.ts +4 -2
  138. package/dist/graph/query/index.js +1 -0
  139. package/dist/graph/query/language/codec.js +18 -3
  140. package/dist/graph/query/language/fingerprint.js +8 -0
  141. package/dist/graph/query/language/model.d.ts +22 -4
  142. package/dist/graph/query/language/wire.d.ts +124 -114
  143. package/dist/graph/query/language/wire.js +54 -47
  144. package/dist/graph/query/order/index.d.ts +53 -0
  145. package/dist/graph/query/order/index.js +79 -0
  146. package/dist/graph/query/reference/evaluate.d.ts +1 -0
  147. package/dist/graph/query/reference/evaluate.js +39 -52
  148. package/dist/graph/query/result/index.js +1 -1
  149. package/dist/graph/query/result/wire.d.ts +93 -94
  150. package/dist/graph/query/result/wire.js +20 -20
  151. package/dist/graph/reconcile/condition/model.d.ts +2 -2
  152. package/dist/graph/reconcile/condition/references.d.ts +0 -1
  153. package/dist/graph/reconcile/condition/references.js +4 -4
  154. package/dist/graph/reconcile/correspondence.d.ts +9 -8
  155. package/dist/graph/reconcile/evidence.d.ts +2 -2
  156. package/dist/graph/reconcile/mutation/assess.d.ts +2 -1
  157. package/dist/graph/reconcile/observation.d.ts +4 -3
  158. package/dist/graph/reconcile/planning/canonical.d.ts +6 -0
  159. package/dist/graph/reconcile/planning/canonical.js +28 -0
  160. package/dist/graph/reconcile/planning/context.d.ts +3 -3
  161. package/dist/graph/reconcile/planning/model.d.ts +8 -4
  162. package/dist/graph/reconcile/planning/plan.js +2 -1
  163. package/dist/schema/authority/authority-relation.js +3 -0
  164. package/dist/schema/authority/claims.d.ts +24 -25
  165. package/dist/schema/authority/claims.js +8 -8
  166. package/dist/schema/authority/governed-by.d.ts +16 -91
  167. package/dist/schema/authority/governed-by.js +1 -1
  168. package/dist/schema/authority/operation-node.d.ts +27 -13
  169. package/dist/schema/authority/operations.d.ts +8 -168
  170. package/dist/schema/authority/policy.d.ts +27 -15
  171. package/dist/schema/authority/vocabulary.d.ts +3 -0
  172. package/dist/schema/authority/vocabulary.js +25 -0
  173. package/dist/schema/callables/entrypoint.d.ts +32 -0
  174. package/dist/schema/callables/entrypoint.js +12 -0
  175. package/dist/schema/callables/execution.d.ts +569 -0
  176. package/dist/schema/callables/execution.js +32 -0
  177. package/dist/schema/callables/function.d.ts +3400 -55
  178. package/dist/schema/callables/function.js +6 -4
  179. package/dist/schema/callables/index.d.ts +2 -1
  180. package/dist/schema/callables/index.js +2 -1
  181. package/dist/schema/callables/method-of.d.ts +18 -143
  182. package/dist/schema/callables/method-of.js +2 -2
  183. package/dist/schema/callables/view.d.ts +83 -51
  184. package/dist/schema/definitions/class.d.ts +45 -33
  185. package/dist/schema/definitions/extends.d.ts +16 -110
  186. package/dist/schema/definitions/instance-of.d.ts +17 -69
  187. package/dist/schema/domain/domain.d.ts +3343 -148
  188. package/dist/schema/domain/domain.js +6 -3
  189. package/dist/schema/domain/of-domain.d.ts +18 -192
  190. package/dist/schema/domain/of-domain.js +1 -1
  191. package/dist/schema/identity/composition.d.ts +5 -0
  192. package/dist/schema/identity/composition.js +5 -0
  193. package/dist/schema/identity/identity.d.ts +225 -122
  194. package/dist/schema/identity/identity.js +3 -4
  195. package/dist/schema/index.d.ts +1 -0
  196. package/dist/schema/index.js +1 -0
  197. package/dist/schema/installation/operation-id.d.ts +1 -2
  198. package/dist/schema/installation/operation-id.js +2 -4
  199. package/dist/schema/introspection/index.d.ts +1 -1
  200. package/dist/schema/introspection/language.d.ts +12 -28
  201. package/dist/schema/kernel/projection/callables.js +2 -3
  202. package/dist/schema/kernel/projection/core.d.ts +7 -0
  203. package/dist/schema/kernel/projection/core.js +51 -0
  204. package/dist/schema/kernel/projection/definitions.d.ts +13 -0
  205. package/dist/schema/kernel/projection/definitions.js +71 -0
  206. package/dist/schema/kernel/projection/index.d.ts +3 -3
  207. package/dist/schema/kernel/projection/index.js +2 -2
  208. package/dist/schema/kernel/projection/methods.d.ts +5 -0
  209. package/dist/schema/kernel/projection/methods.js +41 -0
  210. package/dist/schema/kernel/projection/part.d.ts +34 -0
  211. package/dist/schema/kernel/projection/part.js +42 -0
  212. package/dist/schema/kernel/projection/paths.d.ts +6 -0
  213. package/dist/schema/kernel/projection/{keys.js → paths.js} +12 -14
  214. package/dist/schema/kernel/projection/project.d.ts +4 -2
  215. package/dist/schema/kernel/projection/project.js +33 -258
  216. package/dist/schema/kernel/projection/properties.d.ts +11 -0
  217. package/dist/schema/kernel/projection/properties.js +36 -0
  218. package/dist/schema/kernel/projection/relations.d.ts +7 -0
  219. package/dist/schema/kernel/projection/relations.js +61 -0
  220. package/dist/schema/kernel/projection/types.d.ts +28 -2
  221. package/dist/schema/kernel/schema.d.ts +9008 -4939
  222. package/dist/schema/kernel/schema.js +12 -8
  223. package/dist/schema/kernel/syscalls/contracts/admit.d.ts +15 -12
  224. package/dist/schema/kernel/syscalls/contracts/admit.js +16 -9
  225. package/dist/schema/kernel/syscalls/contracts/blob.d.ts +31 -0
  226. package/dist/schema/kernel/syscalls/contracts/blob.js +24 -0
  227. package/dist/schema/kernel/syscalls/contracts/can.d.ts +19 -8
  228. package/dist/schema/kernel/syscalls/contracts/can.js +12 -4
  229. package/dist/schema/kernel/syscalls/contracts/delegate.d.ts +6 -7
  230. package/dist/schema/kernel/syscalls/contracts/delegate.js +5 -5
  231. package/dist/schema/kernel/syscalls/contracts/execution.d.ts +300 -0
  232. package/dist/schema/kernel/syscalls/contracts/execution.js +116 -0
  233. package/dist/schema/kernel/syscalls/contracts/expected.d.ts +5 -0
  234. package/dist/schema/kernel/syscalls/contracts/expected.js +9 -0
  235. package/dist/schema/kernel/syscalls/contracts/identity.d.ts +18 -19
  236. package/dist/schema/kernel/syscalls/contracts/identity.js +6 -7
  237. package/dist/schema/kernel/syscalls/contracts/impersonate.d.ts +6 -0
  238. package/dist/schema/kernel/syscalls/contracts/impersonate.js +4 -0
  239. package/dist/schema/kernel/syscalls/contracts/index.d.ts +6 -3
  240. package/dist/schema/kernel/syscalls/contracts/index.js +6 -3
  241. package/dist/schema/kernel/syscalls/contracts/install.d.ts +309 -217
  242. package/dist/schema/kernel/syscalls/contracts/install.js +68 -26
  243. package/dist/schema/kernel/syscalls/contracts/installation.d.ts +70 -351
  244. package/dist/schema/kernel/syscalls/contracts/installation.js +29 -67
  245. package/dist/schema/kernel/syscalls/contracts/introspect.d.ts +11 -15
  246. package/dist/schema/kernel/syscalls/contracts/introspect.js +8 -15
  247. package/dist/schema/kernel/syscalls/contracts/journal.d.ts +26 -27
  248. package/dist/schema/kernel/syscalls/contracts/journal.js +15 -15
  249. package/dist/schema/kernel/syscalls/contracts/mint.d.ts +5 -7
  250. package/dist/schema/kernel/syscalls/contracts/mint.js +4 -5
  251. package/dist/schema/kernel/syscalls/contracts/mutate.d.ts +243 -224
  252. package/dist/schema/kernel/syscalls/contracts/mutate.js +7 -1
  253. package/dist/schema/kernel/syscalls/contracts/query.d.ts +239 -222
  254. package/dist/schema/kernel/syscalls/contracts/query.js +17 -15
  255. package/dist/schema/kernel/syscalls/contracts/register.d.ts +20 -0
  256. package/dist/schema/kernel/syscalls/contracts/register.js +24 -0
  257. package/dist/schema/kernel/syscalls/contracts/uninstall.d.ts +55 -148
  258. package/dist/schema/kernel/syscalls/contracts/uninstall.js +7 -5
  259. package/dist/schema/kernel/syscalls/contracts/view-host-requirements.d.ts +17 -0
  260. package/dist/schema/kernel/syscalls/contracts/view-host-requirements.js +40 -0
  261. package/dist/schema/kernel/syscalls/contracts/view-resolve.d.ts +27 -28
  262. package/dist/schema/kernel/syscalls/contracts/view-resolve.js +16 -24
  263. package/dist/schema/kernel/syscalls/contracts/whoami.d.ts +19 -20
  264. package/dist/schema/kernel/syscalls/contracts/whoami.js +2 -2
  265. package/dist/schema/kernel/syscalls/contracts/whois.d.ts +22 -23
  266. package/dist/schema/kernel/syscalls/contracts/whois.js +3 -3
  267. package/dist/schema/kernel/syscalls/declarations/admit.d.ts +18 -18
  268. package/dist/schema/kernel/syscalls/declarations/admit.js +3 -3
  269. package/dist/schema/kernel/syscalls/declarations/can.d.ts +19 -14
  270. package/dist/schema/kernel/syscalls/declarations/can.js +4 -4
  271. package/dist/schema/kernel/syscalls/declarations/delegate.d.ts +9 -12
  272. package/dist/schema/kernel/syscalls/declarations/delegate.js +4 -4
  273. package/dist/schema/kernel/syscalls/declarations/download.d.ts +12 -0
  274. package/dist/schema/kernel/syscalls/declarations/download.js +10 -0
  275. package/dist/schema/kernel/syscalls/declarations/execution.d.ts +255 -0
  276. package/dist/schema/kernel/syscalls/declarations/execution.js +52 -0
  277. package/dist/schema/kernel/syscalls/declarations/impersonate.d.ts +9 -0
  278. package/dist/schema/kernel/syscalls/declarations/impersonate.js +12 -0
  279. package/dist/schema/kernel/syscalls/declarations/index.d.ts +1079 -1323
  280. package/dist/schema/kernel/syscalls/declarations/index.js +18 -2
  281. package/dist/schema/kernel/syscalls/declarations/install.d.ts +85 -172
  282. package/dist/schema/kernel/syscalls/declarations/install.js +7 -3
  283. package/dist/schema/kernel/syscalls/declarations/introspect.d.ts +8 -19
  284. package/dist/schema/kernel/syscalls/declarations/introspect.js +3 -4
  285. package/dist/schema/kernel/syscalls/declarations/journal.d.ts +29 -31
  286. package/dist/schema/kernel/syscalls/declarations/journal.js +4 -2
  287. package/dist/schema/kernel/syscalls/declarations/mint.d.ts +8 -13
  288. package/dist/schema/kernel/syscalls/declarations/mint.js +5 -5
  289. package/dist/schema/kernel/syscalls/declarations/mutate.d.ts +239 -256
  290. package/dist/schema/kernel/syscalls/declarations/mutate.js +4 -2
  291. package/dist/schema/kernel/syscalls/declarations/query.d.ts +236 -260
  292. package/dist/schema/kernel/syscalls/declarations/query.js +4 -2
  293. package/dist/schema/kernel/syscalls/declarations/register.d.ts +23 -0
  294. package/dist/schema/kernel/syscalls/declarations/register.js +10 -0
  295. package/dist/schema/kernel/syscalls/declarations/uninstall.d.ts +51 -153
  296. package/dist/schema/kernel/syscalls/declarations/uninstall.js +6 -2
  297. package/dist/schema/kernel/syscalls/declarations/upload.d.ts +15 -0
  298. package/dist/schema/kernel/syscalls/declarations/upload.js +10 -0
  299. package/dist/schema/kernel/syscalls/declarations/use-policy.d.ts +4 -0
  300. package/dist/schema/kernel/syscalls/declarations/use-policy.js +9 -0
  301. package/dist/schema/kernel/syscalls/declarations/view-resolve.d.ts +30 -37
  302. package/dist/schema/kernel/syscalls/declarations/view-resolve.js +5 -3
  303. package/dist/schema/kernel/syscalls/declarations/whoami.d.ts +22 -26
  304. package/dist/schema/kernel/syscalls/declarations/whoami.js +3 -3
  305. package/dist/schema/kernel/syscalls/declarations/whois.d.ts +25 -29
  306. package/dist/schema/kernel/syscalls/declarations/whois.js +5 -3
  307. package/dist/schema/kernel/syscalls/descriptors/execution.d.ts +303 -0
  308. package/dist/schema/kernel/syscalls/descriptors/execution.js +11 -0
  309. package/dist/schema/kernel/syscalls/descriptors/function.d.ts +8 -2
  310. package/dist/schema/kernel/syscalls/descriptors/functions.d.ts +3 -1
  311. package/dist/schema/kernel/syscalls/descriptors/functions.js +3 -1
  312. package/dist/schema/kernel/syscalls/descriptors/identity.d.ts +47 -13
  313. package/dist/schema/kernel/syscalls/descriptors/identity.js +2 -1
  314. package/dist/schema/kernel/syscalls/descriptors/index.d.ts +2 -1
  315. package/dist/schema/kernel/syscalls/descriptors/index.js +2 -1
  316. package/dist/schema/kernel/syscalls/descriptors/results/view-resolution.d.ts +5 -2
  317. package/dist/schema/kernel/syscalls/descriptors/results/view-resolution.js +8 -38
  318. package/dist/schema/kernel/syscalls/descriptors/view.d.ts +11 -9
  319. package/dist/schema/kernel/syscalls/index.d.ts +2 -2
  320. package/dist/schema/kernel/syscalls/index.js +2 -2
  321. package/dist/schema/kernel/syscalls/references/execution.d.ts +55 -0
  322. package/dist/schema/kernel/syscalls/references/execution.js +13 -0
  323. package/dist/schema/kernel/syscalls/references/functions.d.ts +12 -2
  324. package/dist/schema/kernel/syscalls/references/functions.js +3 -1
  325. package/dist/schema/kernel/syscalls/references/identity.d.ts +9 -0
  326. package/dist/schema/kernel/syscalls/references/identity.js +1 -0
  327. package/dist/schema/kernel/syscalls/references/index.d.ts +2 -1
  328. package/dist/schema/kernel/syscalls/references/index.js +2 -1
  329. package/dist/schema/meta/created-by.d.ts +32 -0
  330. package/dist/schema/meta/created-by.js +17 -0
  331. package/dist/schema/meta/descriptable.d.ts +13 -11
  332. package/dist/schema/meta/edge.d.ts +5 -9
  333. package/dist/schema/meta/iconable.d.ts +13 -11
  334. package/dist/schema/meta/index.d.ts +1 -0
  335. package/dist/schema/meta/index.js +1 -0
  336. package/dist/schema/meta/named.d.ts +13 -9
  337. package/dist/schema/meta/node.d.ts +9 -1
  338. package/dist/schema/meta/remotable.d.ts +15 -22
  339. package/dist/schema/meta/statused.d.ts +13 -7
  340. package/dist/schema/meta/timestamped.d.ts +14 -12
  341. package/package.json +9 -7
  342. package/dist/auth/expression/normalization/canonicalize.d.ts +0 -7
  343. package/dist/auth/expression/normalization/canonicalize.js +0 -102
  344. package/dist/auth/expression/normalization/index.d.ts +0 -2
  345. package/dist/auth/expression/normalization/index.js +0 -2
  346. package/dist/auth/expression/normalization/raise-denials.d.ts +0 -3
  347. package/dist/auth/expression/normalization/raise-denials.js +0 -59
  348. package/dist/auth/provision/fingerprint/fingerprint.d.ts +0 -9
  349. package/dist/auth/provision/fingerprint/fingerprint.js +0 -33
  350. package/dist/auth/provision/fingerprint/index.d.ts +0 -2
  351. package/dist/auth/provision/index.d.ts +0 -5
  352. package/dist/auth/provision/request/admission.d.ts +0 -3
  353. package/dist/auth/provision/request/admission.js +0 -125
  354. package/dist/auth/provision/request/index.d.ts +0 -3
  355. package/dist/auth/provision/request/request.d.ts +0 -29
  356. package/dist/auth/provision/result/index.d.ts +0 -1
  357. package/dist/auth/provision/result/result.d.ts +0 -12
  358. package/dist/graph/graph/navigation/error.d.ts +0 -12
  359. package/dist/graph/graph/navigation/error.js +0 -20
  360. package/dist/graph/graph/navigation/index.d.ts +0 -2
  361. package/dist/graph/graph/navigation/index.js +0 -1
  362. package/dist/graph/graph/navigation/model.d.ts +0 -15
  363. package/dist/schema/callables/view-for.d.ts +0 -296
  364. package/dist/schema/callables/view-for.js +0 -12
  365. package/dist/schema/kernel/projection/keys.d.ts +0 -3
  366. package/dist/schema/kernel/projection/path.d.ts +0 -2
  367. package/dist/schema/kernel/projection/path.js +0 -140
  368. package/dist/schema/kernel/syscalls/contracts/provision.d.ts +0 -292
  369. package/dist/schema/kernel/syscalls/contracts/provision.js +0 -19
  370. package/dist/schema/kernel/syscalls/declarations/define.d.ts +0 -5
  371. package/dist/schema/kernel/syscalls/declarations/define.js +0 -7
  372. package/dist/schema/kernel/syscalls/declarations/provision.d.ts +0 -296
  373. package/dist/schema/kernel/syscalls/declarations/provision.js +0 -8
  374. /package/dist/auth/{provision/request/request.js → authority/semantics/snapshot.js} +0 -0
  375. /package/dist/auth/{provision/result/index.js → authority/semantics/vocabulary.js} +0 -0
  376. /package/dist/auth/{provision → register}/fingerprint/index.js +0 -0
  377. /package/dist/auth/{provision → register}/index.js +0 -0
  378. /package/dist/auth/{provision → register}/request/index.js +0 -0
  379. /package/dist/auth/{provision/result/result.js → register/request/request.js} +0 -0
  380. /package/dist/{graph/graph/navigation/model.js → auth/register/result/index.js} +0 -0
@@ -1,30 +1,72 @@
1
- import { z } from 'zod';
2
- import { artifactRef, installationDigest, installationText, operationIdSchema, transitionReceipt, } from './installation.js';
3
- export const installInput = z.strictObject({
4
- operation: operationIdSchema,
5
- domains: z
6
- .array(z.union([
7
- z.strictObject({
8
- source: z.strictObject({
9
- kind: z.literal('local'),
10
- artifact: artifactRef,
11
- }),
12
- currentRevision: installationText.nullable().optional(),
13
- }),
14
- z.strictObject({
15
- source: z.strictObject({
16
- kind: z.literal('remote'),
17
- url: installationText,
18
- token: installationText.optional(),
19
- }),
20
- targetRevision: installationText.optional(),
21
- targetEtag: installationDigest.optional(),
22
- currentRevision: installationText.nullable().optional(),
1
+ import { array, enum as enumeration, literal, strictObject, union } from 'zod';
2
+ import { artifactRef, domainGeneration, installationDigest, installationText, issuerConsent, operationIdSchema, transitionReceipt, } from './installation.js';
3
+ /**
4
+ * What an install does to the stored data: nothing changes (`noop`), it applies at once without
5
+ * reading the data (`immediate`), or it revalidates the data before it applies (`revalidate`).
6
+ */
7
+ export const INSTALL_CLASSES = Object.freeze(['noop', 'immediate', 'revalidate']);
8
+ /**
9
+ * How an install runs. `online` (the default) keeps the Instance open: it validates online and
10
+ * only its activation briefly pauses writes. `maintenance`, for Root only, opens a maintenance
11
+ * session: the Instance is closed to every other caller while Root repairs the data in it, then
12
+ * applies the target.
13
+ */
14
+ export const INSTALL_MODES = Object.freeze(['online', 'maintenance']);
15
+ const scope = enumeration(['incremental', 'full']);
16
+ const counts = enumeration(['sample', 'exact']);
17
+ /** The validation options an install runs with, defaults filled in. */
18
+ export const validationOptions = strictObject({ scope, counts });
19
+ export const domainRequest = union([
20
+ strictObject({
21
+ artifact: artifactRef,
22
+ currentRevision: installationText.nullable().optional(),
23
+ }),
24
+ strictObject({
25
+ release: strictObject({
26
+ url: installationText,
27
+ token: installationText.optional(),
28
+ digest: installationDigest.optional(),
23
29
  }),
24
- ]))
25
- .min(1),
30
+ consent: issuerConsent.optional(),
31
+ revision: installationText.optional(),
32
+ currentRevision: installationText.nullable().optional(),
33
+ }),
34
+ ]);
35
+ const installValidation = strictObject({ scope: scope.optional(), counts: counts.optional() });
36
+ /** One install, all of it its intent: its operation, its Domains, its mode and validation options. */
37
+ export const installInput = strictObject({
38
+ operation: operationIdSchema,
39
+ domains: array(domainRequest).min(1),
40
+ mode: enumeration(INSTALL_MODES).optional(),
41
+ validation: installValidation.optional(),
26
42
  });
27
- export const installOutput = z.strictObject({
43
+ export const installReceipt = strictObject({
28
44
  operation: operationIdSchema,
29
- transitions: z.array(transitionReceipt).min(1),
45
+ transitions: array(transitionReceipt).min(1),
46
+ });
47
+ /**
48
+ * What a completed install ends with, the value its Execution's `result` yields: the committed
49
+ * receipt, or the exact generation of each root it proved unchanged.
50
+ */
51
+ export const installOutput = union([
52
+ strictObject({ changed: literal(true), receipt: installReceipt }),
53
+ strictObject({ changed: literal(false), domains: array(domainGeneration).min(1) }),
54
+ ]);
55
+ /**
56
+ * The value of the `command:<n>` signal of a waiting repair session: attempt the target, with
57
+ * validation options that only widen the default.
58
+ */
59
+ export const installSessionCommand = strictObject({
60
+ kind: literal('apply'),
61
+ validation: installValidation.optional(),
30
62
  });
63
+ /** The value of the `abort:<n>` signal of a repair session: stop attempt `n`, then wait again. */
64
+ export const installSessionAbort = strictObject({ kind: literal('abort') });
65
+ /** The name of the signal that sends the `n`th command to a repair session. */
66
+ export function commandSignal(n) {
67
+ return `command:${n}`;
68
+ }
69
+ /** The name of the signal that aborts attempt `n` of a repair session. */
70
+ export function abortSignal(n) {
71
+ return `abort:${n}`;
72
+ }
@@ -1,357 +1,76 @@
1
- import { z } from 'zod';
2
1
  import { operationIdSchema } from '../../../installation/operation-id.js';
3
2
  export { operationIdSchema };
4
- export declare const installationText: z.ZodString;
5
- export declare const installationDigest: z.ZodString;
6
- export declare const artifactRef: z.ZodObject<{
7
- digest: z.ZodString;
8
- mediaType: z.ZodString;
9
- size: z.ZodNumber;
10
- }, z.core.$strict>;
11
- export declare const dependencyReadinessCoordinate: z.ZodObject<{
12
- origin: z.ZodString;
13
- installation: z.ZodString;
14
- target: z.ZodString;
15
- readinessReceipt: z.ZodString;
16
- meaningComparison: z.ZodString;
17
- }, z.core.$strict>;
18
- export declare const serviceTarget: z.ZodDiscriminatedUnion<[z.ZodObject<{
19
- kind: z.ZodLiteral<"local">;
20
- artifact: z.ZodString;
21
- }, z.core.$strict>, z.ZodObject<{
22
- kind: z.ZodLiteral<"remote">;
23
- etag: z.ZodString;
24
- }, z.core.$strict>], "kind">;
25
- export declare const installationTarget: z.ZodObject<{
26
- origin: z.ZodString;
27
- schemaRevision: z.ZodString;
28
- schemaBundle: z.ZodString;
29
- service: z.ZodDiscriminatedUnion<[z.ZodObject<{
30
- kind: z.ZodLiteral<"local">;
31
- artifact: z.ZodString;
32
- }, z.core.$strict>, z.ZodObject<{
33
- kind: z.ZodLiteral<"remote">;
34
- etag: z.ZodString;
35
- }, z.core.$strict>], "kind">;
36
- capabilities: z.ZodObject<{
37
- functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
38
- classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
39
- class: z.ZodObject<{
40
- origin: z.ZodString;
41
- kind: z.ZodLiteral<"class">;
42
- name: z.ZodString;
43
- }, z.core.$strict>;
44
- operations: z.ZodArray<z.ZodEnum<{
45
- create: "create";
46
- delete: "delete";
47
- read: "read";
48
- traverse: "traverse";
49
- update: "update";
50
- }>>;
51
- }, z.core.$strict>>>;
52
- admin: z.ZodOptional<z.ZodObject<{
53
- grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
54
- create: "create";
55
- delete: "delete";
56
- grant: "grant";
57
- read: "read";
3
+ export declare const installationText: import("zod").ZodString;
4
+ export declare const installationDigest: import("zod").ZodString;
5
+ export declare const artifactRef: import("zod").ZodObject<{
6
+ digest: import("zod").ZodString;
7
+ mediaType: import("zod").ZodString;
8
+ size: import("zod").ZodNumber;
9
+ }, import("zod/v4/core").$strict>;
10
+ export declare const domainGeneration: import("zod").ZodObject<{
11
+ origin: import("zod").ZodString;
12
+ revision: import("zod").ZodString;
13
+ generation: import("zod").ZodString;
14
+ }, import("zod/v4/core").$strict>;
15
+ export declare const issuerConsent: import("zod").ZodObject<{
16
+ issuer: import("zod").ZodObject<{
17
+ from: import("zod").ZodString;
18
+ to: import("zod").ZodString;
19
+ }, import("zod/v4/core").$strict>;
20
+ previous: import("zod").ZodOptional<import("zod").ZodEnum<{
21
+ drain: "drain";
22
+ revoke: "revoke";
23
+ }>>;
24
+ }, import("zod/v4/core").$strict>;
25
+ export declare const readinessReceipt: import("zod").ZodObject<{
26
+ generation: import("zod").ZodString;
27
+ transition: import("zod").ZodString;
28
+ dependencies: import("zod").ZodArray<import("zod").ZodObject<{
29
+ origin: import("zod").ZodString;
30
+ generation: import("zod").ZodString;
31
+ readiness: import("zod").ZodString;
32
+ meaning: import("zod").ZodString;
33
+ }, import("zod/v4/core").$strict>>;
34
+ }, import("zod/v4/core").$strict>;
35
+ export declare const transitionReceipt: import("zod").ZodObject<{
36
+ intent: import("zod").ZodObject<{
37
+ transition: import("zod").ZodString;
38
+ operation: import("zod").ZodString;
39
+ origin: import("zod").ZodString;
40
+ previous: import("zod").ZodNullable<import("zod").ZodObject<{
41
+ origin: import("zod").ZodString;
42
+ revision: import("zod").ZodString;
43
+ generation: import("zod").ZodString;
44
+ }, import("zod/v4/core").$strict>>;
45
+ generation: import("zod").ZodNullable<import("zod").ZodObject<{
46
+ origin: import("zod").ZodString;
47
+ revision: import("zod").ZodString;
48
+ generation: import("zod").ZodString;
49
+ }, import("zod/v4/core").$strict>>;
50
+ consent: import("zod").ZodOptional<import("zod").ZodObject<{
51
+ issuer: import("zod").ZodObject<{
52
+ from: import("zod").ZodString;
53
+ to: import("zod").ZodString;
54
+ }, import("zod/v4/core").$strict>;
55
+ previous: import("zod").ZodEnum<{
56
+ drain: "drain";
58
57
  revoke: "revoke";
59
- traverse: "traverse";
60
- update: "update";
61
- use: "use";
62
- }>>>;
63
- revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
64
- create: "create";
65
- delete: "delete";
66
- grant: "grant";
67
- read: "read";
68
- revoke: "revoke";
69
- traverse: "traverse";
70
- update: "update";
71
- use: "use";
72
- }>>>;
73
- }, z.core.$strict>>;
74
- }, z.core.$strict>;
75
- dependencies: z.ZodArray<z.ZodObject<{
76
- origin: z.ZodString;
77
- installation: z.ZodString;
78
- target: z.ZodString;
79
- readinessReceipt: z.ZodString;
80
- meaningComparison: z.ZodString;
81
- }, z.core.$strict>>;
82
- }, z.core.$strict>;
83
- export declare const transitionIntent: z.ZodObject<{
84
- transition: z.ZodString;
85
- operation: z.ZodString;
86
- installation: z.ZodString;
87
- origin: z.ZodString;
88
- source: z.ZodNullable<z.ZodObject<{
89
- origin: z.ZodString;
90
- schemaRevision: z.ZodString;
91
- schemaBundle: z.ZodString;
92
- service: z.ZodDiscriminatedUnion<[z.ZodObject<{
93
- kind: z.ZodLiteral<"local">;
94
- artifact: z.ZodString;
95
- }, z.core.$strict>, z.ZodObject<{
96
- kind: z.ZodLiteral<"remote">;
97
- etag: z.ZodString;
98
- }, z.core.$strict>], "kind">;
99
- capabilities: z.ZodObject<{
100
- functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
101
- classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
102
- class: z.ZodObject<{
103
- origin: z.ZodString;
104
- kind: z.ZodLiteral<"class">;
105
- name: z.ZodString;
106
- }, z.core.$strict>;
107
- operations: z.ZodArray<z.ZodEnum<{
108
- create: "create";
109
- delete: "delete";
110
- read: "read";
111
- traverse: "traverse";
112
- update: "update";
113
- }>>;
114
- }, z.core.$strict>>>;
115
- admin: z.ZodOptional<z.ZodObject<{
116
- grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
117
- create: "create";
118
- delete: "delete";
119
- grant: "grant";
120
- read: "read";
121
- revoke: "revoke";
122
- traverse: "traverse";
123
- update: "update";
124
- use: "use";
125
- }>>>;
126
- revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
127
- create: "create";
128
- delete: "delete";
129
- grant: "grant";
130
- read: "read";
131
- revoke: "revoke";
132
- traverse: "traverse";
133
- update: "update";
134
- use: "use";
135
- }>>>;
136
- }, z.core.$strict>>;
137
- }, z.core.$strict>;
138
- dependencies: z.ZodArray<z.ZodObject<{
139
- origin: z.ZodString;
140
- installation: z.ZodString;
141
- target: z.ZodString;
142
- readinessReceipt: z.ZodString;
143
- meaningComparison: z.ZodString;
144
- }, z.core.$strict>>;
145
- }, z.core.$strict>>;
146
- target: z.ZodNullable<z.ZodObject<{
147
- origin: z.ZodString;
148
- schemaRevision: z.ZodString;
149
- schemaBundle: z.ZodString;
150
- service: z.ZodDiscriminatedUnion<[z.ZodObject<{
151
- kind: z.ZodLiteral<"local">;
152
- artifact: z.ZodString;
153
- }, z.core.$strict>, z.ZodObject<{
154
- kind: z.ZodLiteral<"remote">;
155
- etag: z.ZodString;
156
- }, z.core.$strict>], "kind">;
157
- capabilities: z.ZodObject<{
158
- functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
159
- classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
160
- class: z.ZodObject<{
161
- origin: z.ZodString;
162
- kind: z.ZodLiteral<"class">;
163
- name: z.ZodString;
164
- }, z.core.$strict>;
165
- operations: z.ZodArray<z.ZodEnum<{
166
- create: "create";
167
- delete: "delete";
168
- read: "read";
169
- traverse: "traverse";
170
- update: "update";
171
- }>>;
172
- }, z.core.$strict>>>;
173
- admin: z.ZodOptional<z.ZodObject<{
174
- grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
175
- create: "create";
176
- delete: "delete";
177
- grant: "grant";
178
- read: "read";
179
- revoke: "revoke";
180
- traverse: "traverse";
181
- update: "update";
182
- use: "use";
183
- }>>>;
184
- revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
185
- create: "create";
186
- delete: "delete";
187
- grant: "grant";
188
- read: "read";
189
- revoke: "revoke";
190
- traverse: "traverse";
191
- update: "update";
192
- use: "use";
193
- }>>>;
194
- }, z.core.$strict>>;
195
- }, z.core.$strict>;
196
- dependencies: z.ZodArray<z.ZodObject<{
197
- origin: z.ZodString;
198
- installation: z.ZodString;
199
- target: z.ZodString;
200
- readinessReceipt: z.ZodString;
201
- meaningComparison: z.ZodString;
202
- }, z.core.$strict>>;
203
- }, z.core.$strict>>;
204
- }, z.core.$strict>;
205
- export declare const readinessReceipt: z.ZodObject<{
206
- installation: z.ZodString;
207
- target: z.ZodString;
208
- transition: z.ZodString;
209
- dependencies: z.ZodArray<z.ZodObject<{
210
- origin: z.ZodString;
211
- installation: z.ZodString;
212
- target: z.ZodString;
213
- readinessReceipt: z.ZodString;
214
- meaningComparison: z.ZodString;
215
- }, z.core.$strict>>;
216
- }, z.core.$strict>;
217
- export declare const transitionReceipt: z.ZodObject<{
218
- intent: z.ZodObject<{
219
- transition: z.ZodString;
220
- operation: z.ZodString;
221
- installation: z.ZodString;
222
- origin: z.ZodString;
223
- source: z.ZodNullable<z.ZodObject<{
224
- origin: z.ZodString;
225
- schemaRevision: z.ZodString;
226
- schemaBundle: z.ZodString;
227
- service: z.ZodDiscriminatedUnion<[z.ZodObject<{
228
- kind: z.ZodLiteral<"local">;
229
- artifact: z.ZodString;
230
- }, z.core.$strict>, z.ZodObject<{
231
- kind: z.ZodLiteral<"remote">;
232
- etag: z.ZodString;
233
- }, z.core.$strict>], "kind">;
234
- capabilities: z.ZodObject<{
235
- functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
236
- classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
237
- class: z.ZodObject<{
238
- origin: z.ZodString;
239
- kind: z.ZodLiteral<"class">;
240
- name: z.ZodString;
241
- }, z.core.$strict>;
242
- operations: z.ZodArray<z.ZodEnum<{
243
- create: "create";
244
- delete: "delete";
245
- read: "read";
246
- traverse: "traverse";
247
- update: "update";
248
- }>>;
249
- }, z.core.$strict>>>;
250
- admin: z.ZodOptional<z.ZodObject<{
251
- grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
252
- create: "create";
253
- delete: "delete";
254
- grant: "grant";
255
- read: "read";
256
- revoke: "revoke";
257
- traverse: "traverse";
258
- update: "update";
259
- use: "use";
260
- }>>>;
261
- revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
262
- create: "create";
263
- delete: "delete";
264
- grant: "grant";
265
- read: "read";
266
- revoke: "revoke";
267
- traverse: "traverse";
268
- update: "update";
269
- use: "use";
270
- }>>>;
271
- }, z.core.$strict>>;
272
- }, z.core.$strict>;
273
- dependencies: z.ZodArray<z.ZodObject<{
274
- origin: z.ZodString;
275
- installation: z.ZodString;
276
- target: z.ZodString;
277
- readinessReceipt: z.ZodString;
278
- meaningComparison: z.ZodString;
279
- }, z.core.$strict>>;
280
- }, z.core.$strict>>;
281
- target: z.ZodNullable<z.ZodObject<{
282
- origin: z.ZodString;
283
- schemaRevision: z.ZodString;
284
- schemaBundle: z.ZodString;
285
- service: z.ZodDiscriminatedUnion<[z.ZodObject<{
286
- kind: z.ZodLiteral<"local">;
287
- artifact: z.ZodString;
288
- }, z.core.$strict>, z.ZodObject<{
289
- kind: z.ZodLiteral<"remote">;
290
- etag: z.ZodString;
291
- }, z.core.$strict>], "kind">;
292
- capabilities: z.ZodObject<{
293
- functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
294
- classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
295
- class: z.ZodObject<{
296
- origin: z.ZodString;
297
- kind: z.ZodLiteral<"class">;
298
- name: z.ZodString;
299
- }, z.core.$strict>;
300
- operations: z.ZodArray<z.ZodEnum<{
301
- create: "create";
302
- delete: "delete";
303
- read: "read";
304
- traverse: "traverse";
305
- update: "update";
306
- }>>;
307
- }, z.core.$strict>>>;
308
- admin: z.ZodOptional<z.ZodObject<{
309
- grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
310
- create: "create";
311
- delete: "delete";
312
- grant: "grant";
313
- read: "read";
314
- revoke: "revoke";
315
- traverse: "traverse";
316
- update: "update";
317
- use: "use";
318
- }>>>;
319
- revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
320
- create: "create";
321
- delete: "delete";
322
- grant: "grant";
323
- read: "read";
324
- revoke: "revoke";
325
- traverse: "traverse";
326
- update: "update";
327
- use: "use";
328
- }>>>;
329
- }, z.core.$strict>>;
330
- }, z.core.$strict>;
331
- dependencies: z.ZodArray<z.ZodObject<{
332
- origin: z.ZodString;
333
- installation: z.ZodString;
334
- target: z.ZodString;
335
- readinessReceipt: z.ZodString;
336
- meaningComparison: z.ZodString;
337
- }, z.core.$strict>>;
338
- }, z.core.$strict>>;
339
- }, z.core.$strict>;
340
- phase: z.ZodEnum<{
58
+ }>;
59
+ }, import("zod/v4/core").$strict>>;
60
+ }, import("zod/v4/core").$strict>;
61
+ phase: import("zod").ZodEnum<{
341
62
  converge: "converge";
342
63
  cutover: "cutover";
343
64
  }>;
344
- state: z.ZodLiteral<"committed">;
345
- readiness: z.ZodOptional<z.ZodObject<{
346
- installation: z.ZodString;
347
- target: z.ZodString;
348
- transition: z.ZodString;
349
- dependencies: z.ZodArray<z.ZodObject<{
350
- origin: z.ZodString;
351
- installation: z.ZodString;
352
- target: z.ZodString;
353
- readinessReceipt: z.ZodString;
354
- meaningComparison: z.ZodString;
355
- }, z.core.$strict>>;
356
- }, z.core.$strict>>;
357
- }, z.core.$strict>;
65
+ state: import("zod").ZodLiteral<"committed">;
66
+ readiness: import("zod").ZodOptional<import("zod").ZodObject<{
67
+ generation: import("zod").ZodString;
68
+ transition: import("zod").ZodString;
69
+ dependencies: import("zod").ZodArray<import("zod").ZodObject<{
70
+ origin: import("zod").ZodString;
71
+ generation: import("zod").ZodString;
72
+ readiness: import("zod").ZodString;
73
+ meaning: import("zod").ZodString;
74
+ }, import("zod/v4/core").$strict>>;
75
+ }, import("zod/v4/core").$strict>>;
76
+ }, import("zod/v4/core").$strict>;
@@ -1,87 +1,49 @@
1
1
  import { fullMatch } from '@astrale-os/kernel-dsl/v1/value/full-match';
2
- import { z } from 'zod';
2
+ import { array, enum as enumeration, literal, number, strictObject, string } from 'zod';
3
3
  import { operationIdSchema } from '../../../installation/operation-id.js';
4
4
  export { operationIdSchema };
5
- export const installationText = z.string().min(1);
5
+ export const installationText = string().min(1);
6
6
  export const installationDigest = installationText.check(fullMatch('sha256:[0-9a-f]{64}'));
7
- export const artifactRef = z.strictObject({
7
+ export const artifactRef = strictObject({
8
8
  digest: installationDigest,
9
9
  mediaType: installationText,
10
- size: z.number().int().min(0).max(Number.MAX_SAFE_INTEGER),
10
+ size: number().int().min(0).max(Number.MAX_SAFE_INTEGER),
11
11
  });
12
- export const dependencyReadinessCoordinate = z.strictObject({
12
+ const dependencyReadinessEvidence = strictObject({
13
13
  origin: installationText,
14
- installation: installationText,
15
- target: installationDigest,
16
- readinessReceipt: installationDigest,
17
- meaningComparison: installationDigest,
14
+ generation: installationDigest,
15
+ readiness: installationDigest,
16
+ meaning: installationDigest,
18
17
  });
19
- export const serviceTarget = z.discriminatedUnion('kind', [
20
- z.strictObject({
21
- kind: z.literal('local'),
22
- artifact: installationDigest,
23
- }),
24
- z.strictObject({
25
- kind: z.literal('remote'),
26
- etag: installationDigest,
27
- }),
28
- ]);
29
- const authorityOperation = z.enum([
30
- 'use',
31
- 'create',
32
- 'read',
33
- 'traverse',
34
- 'update',
35
- 'delete',
36
- 'grant',
37
- 'revoke',
38
- ]);
39
- const classOperation = z.enum(['create', 'read', 'traverse', 'update', 'delete']);
40
- const capabilityRequirements = z.strictObject({
41
- functions: z.array(installationText).min(1).optional(),
42
- classes: z
43
- .array(z.strictObject({
44
- class: z.strictObject({
45
- origin: installationText,
46
- kind: z.literal('class'),
47
- name: installationText,
48
- }),
49
- operations: z.array(classOperation).min(1),
50
- }))
51
- .min(1)
52
- .optional(),
53
- admin: z
54
- .strictObject({
55
- grant: z.array(authorityOperation).min(1).optional(),
56
- revoke: z.array(authorityOperation).min(1).optional(),
57
- })
58
- .optional(),
59
- });
60
- export const installationTarget = z.strictObject({
18
+ export const domainGeneration = strictObject({
61
19
  origin: installationText,
62
- schemaRevision: installationText,
63
- schemaBundle: installationDigest,
64
- service: serviceTarget,
65
- capabilities: capabilityRequirements,
66
- dependencies: z.array(dependencyReadinessCoordinate),
20
+ revision: installationText,
21
+ generation: installationDigest,
22
+ });
23
+ const consentIssuers = strictObject({ from: installationText, to: installationText });
24
+ export const issuerConsent = strictObject({
25
+ issuer: consentIssuers,
26
+ previous: enumeration(['drain', 'revoke']).optional(),
67
27
  });
68
- export const transitionIntent = z.strictObject({
28
+ const transitionIntent = strictObject({
69
29
  transition: installationText,
70
30
  operation: operationIdSchema,
71
- installation: installationText,
72
31
  origin: installationText,
73
- source: installationTarget.nullable(),
74
- target: installationTarget.nullable(),
32
+ previous: domainGeneration.nullable(),
33
+ generation: domainGeneration.nullable(),
34
+ consent: strictObject({
35
+ issuer: consentIssuers,
36
+ previous: enumeration(['drain', 'revoke']),
37
+ }).optional(),
75
38
  });
76
- export const readinessReceipt = z.strictObject({
77
- installation: installationText,
78
- target: installationDigest,
39
+ export const readinessReceipt = strictObject({
40
+ generation: installationDigest,
79
41
  transition: installationText,
80
- dependencies: z.array(dependencyReadinessCoordinate),
42
+ dependencies: array(dependencyReadinessEvidence),
81
43
  });
82
- export const transitionReceipt = z.strictObject({
44
+ export const transitionReceipt = strictObject({
83
45
  intent: transitionIntent,
84
- phase: z.enum(['cutover', 'converge']),
85
- state: z.literal('committed'),
46
+ phase: enumeration(['cutover', 'converge']),
47
+ state: literal('committed'),
86
48
  readiness: readinessReceipt.optional(),
87
49
  });