@astrale-os/kernel-core 0.9.0-beta.9 → 1.0.0-beta.2

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 (378) 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 +39 -0
  35. package/dist/auth/authority/semantics/composition.js +112 -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 +11 -0
  39. package/dist/auth/authority/semantics/index.js +5 -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/snapshot.d.ts +40 -0
  43. package/dist/auth/authority/semantics/terms.d.ts +20 -0
  44. package/dist/auth/authority/semantics/terms.js +96 -0
  45. package/dist/auth/authority/semantics/vocabulary.d.ts +19 -0
  46. package/dist/auth/context/context.d.ts +4 -3
  47. package/dist/auth/expression/authoring/builder.d.ts +2 -11
  48. package/dist/auth/expression/authoring/builder.js +1 -45
  49. package/dist/auth/expression/authoring/index.d.ts +1 -1
  50. package/dist/auth/expression/authoring/index.js +1 -1
  51. package/dist/auth/expression/index.d.ts +1 -2
  52. package/dist/auth/expression/index.js +1 -2
  53. package/dist/auth/expression/language/identity-expression.d.ts +2 -22
  54. package/dist/auth/grant/index.d.ts +1 -1
  55. package/dist/auth/grant/index.js +1 -1
  56. package/dist/auth/grant/resolved/admission.d.ts +4 -3
  57. package/dist/auth/grant/resolved/admission.js +23 -13
  58. package/dist/auth/grant/resolved/grant.d.ts +1 -1
  59. package/dist/auth/grant/resolved/index.d.ts +1 -1
  60. package/dist/auth/grant/resolved/index.js +1 -1
  61. package/dist/auth/grant/unresolved/admission.d.ts +4 -1
  62. package/dist/auth/grant/unresolved/admission.js +27 -67
  63. package/dist/auth/grant/unresolved/limits.d.ts +2 -4
  64. package/dist/auth/grant/unresolved/limits.js +1 -5
  65. package/dist/auth/identity/admission.js +11 -3
  66. package/dist/auth/identity/identity.d.ts +15 -3
  67. package/dist/auth/identity/index.d.ts +1 -1
  68. package/dist/auth/index.d.ts +4 -4
  69. package/dist/auth/index.js +1 -1
  70. package/dist/auth/jwk/index.d.ts +1 -1
  71. package/dist/auth/jwk/index.js +1 -1
  72. package/dist/auth/jwk/thumbprint.d.ts +2 -0
  73. package/dist/auth/jwk/thumbprint.js +12 -6
  74. package/dist/auth/register/fingerprint/fingerprint.d.ts +25 -0
  75. package/dist/auth/register/fingerprint/fingerprint.js +31 -0
  76. package/dist/auth/register/fingerprint/index.d.ts +2 -0
  77. package/dist/auth/register/index.d.ts +5 -0
  78. package/dist/auth/register/request/admission.d.ts +3 -0
  79. package/dist/auth/register/request/admission.js +103 -0
  80. package/dist/auth/register/request/index.d.ts +3 -0
  81. package/dist/auth/register/request/limits.d.ts +6 -0
  82. package/dist/auth/register/request/limits.js +6 -0
  83. package/dist/auth/register/request/request.d.ts +19 -0
  84. package/dist/auth/{provision → register}/request/self-issuer.d.ts +1 -1
  85. package/dist/auth/{provision → register}/request/self-issuer.js +1 -1
  86. package/dist/auth/register/result/index.d.ts +1 -0
  87. package/dist/auth/register/result/result.d.ts +10 -0
  88. package/dist/auth/register/result/result.js +1 -0
  89. package/dist/callable/contract/body.d.ts +10 -0
  90. package/dist/callable/contract/body.js +7 -0
  91. package/dist/callable/contract/index.d.ts +2 -1
  92. package/dist/callable/contract/index.js +1 -1
  93. package/dist/callable/contract/output.d.ts +18 -2
  94. package/dist/callable/index.d.ts +3 -2
  95. package/dist/callable/index.js +2 -1
  96. package/dist/callable/invocation/call.d.ts +16 -2
  97. package/dist/callable/invocation/call.js +41 -1
  98. package/dist/callable/invocation/index.d.ts +1 -1
  99. package/dist/callable/invocation/index.js +1 -1
  100. package/dist/callable/invocation/result.d.ts +2 -2
  101. package/dist/dns-label.d.ts +1 -2
  102. package/dist/dns-label.js +2 -3
  103. package/dist/graph/graph/graph.d.ts +1 -5
  104. package/dist/graph/graph/graph.js +3 -27
  105. package/dist/graph/graph/index.d.ts +2 -4
  106. package/dist/graph/graph/index.js +2 -3
  107. package/dist/graph/graph/model/codec.js +4 -4
  108. package/dist/graph/graph/model/index.d.ts +1 -1
  109. package/dist/graph/graph/model/index.js +1 -1
  110. package/dist/graph/graph/model/model.d.ts +7 -7
  111. package/dist/graph/graph/model/model.js +6 -6
  112. package/dist/graph/graph/model/wire.d.ts +58 -78
  113. package/dist/graph/graph/model/wire.js +18 -19
  114. package/dist/graph/mutate/authoring/builder.d.ts +2 -2
  115. package/dist/graph/mutate/authoring/builder.js +2 -2
  116. package/dist/graph/mutate/authoring/create.js +13 -5
  117. package/dist/graph/mutate/index.d.ts +1 -1
  118. package/dist/graph/mutate/language/codec.js +3 -3
  119. package/dist/graph/mutate/language/model.d.ts +4 -4
  120. package/dist/graph/mutate/language/wire.d.ts +226 -215
  121. package/dist/graph/mutate/language/wire.js +42 -47
  122. package/dist/graph/mutate/result/index.d.ts +4 -3
  123. package/dist/graph/mutate/result/index.js +8 -6
  124. package/dist/graph/mutate/result/wire.d.ts +4 -4
  125. package/dist/graph/mutate/result/wire.js +7 -4
  126. package/dist/graph/node/identity/id.d.ts +0 -4
  127. package/dist/graph/node/identity/id.js +0 -5
  128. package/dist/graph/node/identity/order.js +20 -0
  129. package/dist/graph/path/authoring/path.d.ts +8 -5
  130. package/dist/graph/path/authoring/path.js +21 -3
  131. package/dist/graph/path/language/model.d.ts +8 -3
  132. package/dist/graph/path/language/syntax.js +23 -8
  133. package/dist/graph/query/authoring/builder.js +37 -5
  134. package/dist/graph/query/authoring/model.d.ts +20 -1
  135. package/dist/graph/query/index.d.ts +4 -2
  136. package/dist/graph/query/index.js +1 -0
  137. package/dist/graph/query/language/codec.js +18 -3
  138. package/dist/graph/query/language/fingerprint.js +8 -0
  139. package/dist/graph/query/language/model.d.ts +22 -4
  140. package/dist/graph/query/language/wire.d.ts +124 -114
  141. package/dist/graph/query/language/wire.js +54 -47
  142. package/dist/graph/query/order/index.d.ts +53 -0
  143. package/dist/graph/query/order/index.js +79 -0
  144. package/dist/graph/query/reference/evaluate.d.ts +1 -0
  145. package/dist/graph/query/reference/evaluate.js +39 -52
  146. package/dist/graph/query/result/index.js +1 -1
  147. package/dist/graph/query/result/wire.d.ts +93 -94
  148. package/dist/graph/query/result/wire.js +20 -20
  149. package/dist/graph/reconcile/condition/model.d.ts +2 -2
  150. package/dist/graph/reconcile/condition/references.d.ts +0 -1
  151. package/dist/graph/reconcile/condition/references.js +4 -4
  152. package/dist/graph/reconcile/correspondence.d.ts +9 -8
  153. package/dist/graph/reconcile/evidence.d.ts +2 -2
  154. package/dist/graph/reconcile/mutation/assess.d.ts +2 -1
  155. package/dist/graph/reconcile/observation.d.ts +4 -3
  156. package/dist/graph/reconcile/planning/canonical.d.ts +6 -0
  157. package/dist/graph/reconcile/planning/canonical.js +28 -0
  158. package/dist/graph/reconcile/planning/context.d.ts +3 -3
  159. package/dist/graph/reconcile/planning/model.d.ts +8 -4
  160. package/dist/graph/reconcile/planning/plan.js +2 -1
  161. package/dist/schema/authority/authority-relation.js +3 -0
  162. package/dist/schema/authority/claims.d.ts +24 -25
  163. package/dist/schema/authority/claims.js +8 -8
  164. package/dist/schema/authority/governed-by.d.ts +16 -91
  165. package/dist/schema/authority/governed-by.js +1 -1
  166. package/dist/schema/authority/operation-node.d.ts +27 -13
  167. package/dist/schema/authority/operations.d.ts +8 -168
  168. package/dist/schema/authority/policy.d.ts +27 -15
  169. package/dist/schema/authority/vocabulary.d.ts +3 -0
  170. package/dist/schema/authority/vocabulary.js +25 -0
  171. package/dist/schema/callables/entrypoint.d.ts +32 -0
  172. package/dist/schema/callables/entrypoint.js +12 -0
  173. package/dist/schema/callables/execution.d.ts +269 -0
  174. package/dist/schema/callables/execution.js +32 -0
  175. package/dist/schema/callables/function.d.ts +3400 -55
  176. package/dist/schema/callables/function.js +4 -3
  177. package/dist/schema/callables/index.d.ts +2 -1
  178. package/dist/schema/callables/index.js +2 -1
  179. package/dist/schema/callables/method-of.d.ts +18 -143
  180. package/dist/schema/callables/method-of.js +2 -2
  181. package/dist/schema/callables/view.d.ts +83 -51
  182. package/dist/schema/definitions/class.d.ts +45 -33
  183. package/dist/schema/definitions/extends.d.ts +16 -110
  184. package/dist/schema/definitions/instance-of.d.ts +17 -69
  185. package/dist/schema/domain/domain.d.ts +3343 -148
  186. package/dist/schema/domain/domain.js +6 -3
  187. package/dist/schema/domain/of-domain.d.ts +18 -192
  188. package/dist/schema/domain/of-domain.js +1 -1
  189. package/dist/schema/identity/composition.d.ts +5 -0
  190. package/dist/schema/identity/composition.js +5 -0
  191. package/dist/schema/identity/identity.d.ts +225 -122
  192. package/dist/schema/identity/identity.js +3 -4
  193. package/dist/schema/index.d.ts +1 -0
  194. package/dist/schema/index.js +1 -0
  195. package/dist/schema/installation/operation-id.d.ts +1 -2
  196. package/dist/schema/installation/operation-id.js +2 -4
  197. package/dist/schema/introspection/index.d.ts +1 -1
  198. package/dist/schema/introspection/language.d.ts +12 -28
  199. package/dist/schema/kernel/projection/callables.js +2 -3
  200. package/dist/schema/kernel/projection/core.d.ts +7 -0
  201. package/dist/schema/kernel/projection/core.js +51 -0
  202. package/dist/schema/kernel/projection/definitions.d.ts +13 -0
  203. package/dist/schema/kernel/projection/definitions.js +71 -0
  204. package/dist/schema/kernel/projection/index.d.ts +3 -3
  205. package/dist/schema/kernel/projection/index.js +2 -2
  206. package/dist/schema/kernel/projection/methods.d.ts +5 -0
  207. package/dist/schema/kernel/projection/methods.js +41 -0
  208. package/dist/schema/kernel/projection/part.d.ts +34 -0
  209. package/dist/schema/kernel/projection/part.js +42 -0
  210. package/dist/schema/kernel/projection/paths.d.ts +6 -0
  211. package/dist/schema/kernel/projection/{keys.js → paths.js} +12 -14
  212. package/dist/schema/kernel/projection/project.d.ts +4 -2
  213. package/dist/schema/kernel/projection/project.js +33 -258
  214. package/dist/schema/kernel/projection/properties.d.ts +11 -0
  215. package/dist/schema/kernel/projection/properties.js +36 -0
  216. package/dist/schema/kernel/projection/relations.d.ts +7 -0
  217. package/dist/schema/kernel/projection/relations.js +61 -0
  218. package/dist/schema/kernel/projection/types.d.ts +28 -2
  219. package/dist/schema/kernel/schema.d.ts +8737 -5086
  220. package/dist/schema/kernel/schema.js +12 -8
  221. package/dist/schema/kernel/syscalls/contracts/admit.d.ts +15 -12
  222. package/dist/schema/kernel/syscalls/contracts/admit.js +16 -9
  223. package/dist/schema/kernel/syscalls/contracts/blob.d.ts +31 -0
  224. package/dist/schema/kernel/syscalls/contracts/blob.js +24 -0
  225. package/dist/schema/kernel/syscalls/contracts/can.d.ts +19 -8
  226. package/dist/schema/kernel/syscalls/contracts/can.js +12 -4
  227. package/dist/schema/kernel/syscalls/contracts/delegate.d.ts +6 -7
  228. package/dist/schema/kernel/syscalls/contracts/delegate.js +5 -5
  229. package/dist/schema/kernel/syscalls/contracts/execution.d.ts +60 -0
  230. package/dist/schema/kernel/syscalls/contracts/execution.js +46 -0
  231. package/dist/schema/kernel/syscalls/contracts/expected.d.ts +5 -0
  232. package/dist/schema/kernel/syscalls/contracts/expected.js +9 -0
  233. package/dist/schema/kernel/syscalls/contracts/identity.d.ts +18 -19
  234. package/dist/schema/kernel/syscalls/contracts/identity.js +6 -7
  235. package/dist/schema/kernel/syscalls/contracts/impersonate.d.ts +6 -0
  236. package/dist/schema/kernel/syscalls/contracts/impersonate.js +4 -0
  237. package/dist/schema/kernel/syscalls/contracts/index.d.ts +6 -3
  238. package/dist/schema/kernel/syscalls/contracts/index.js +6 -3
  239. package/dist/schema/kernel/syscalls/contracts/install.d.ts +149 -217
  240. package/dist/schema/kernel/syscalls/contracts/install.js +22 -26
  241. package/dist/schema/kernel/syscalls/contracts/installation.d.ts +65 -351
  242. package/dist/schema/kernel/syscalls/contracts/installation.js +29 -67
  243. package/dist/schema/kernel/syscalls/contracts/introspect.d.ts +11 -15
  244. package/dist/schema/kernel/syscalls/contracts/introspect.js +8 -15
  245. package/dist/schema/kernel/syscalls/contracts/journal.d.ts +26 -27
  246. package/dist/schema/kernel/syscalls/contracts/journal.js +15 -15
  247. package/dist/schema/kernel/syscalls/contracts/mint.d.ts +5 -7
  248. package/dist/schema/kernel/syscalls/contracts/mint.js +4 -5
  249. package/dist/schema/kernel/syscalls/contracts/mutate.d.ts +243 -224
  250. package/dist/schema/kernel/syscalls/contracts/mutate.js +7 -1
  251. package/dist/schema/kernel/syscalls/contracts/query.d.ts +232 -222
  252. package/dist/schema/kernel/syscalls/contracts/query.js +10 -15
  253. package/dist/schema/kernel/syscalls/contracts/register.d.ts +20 -0
  254. package/dist/schema/kernel/syscalls/contracts/register.js +24 -0
  255. package/dist/schema/kernel/syscalls/contracts/uninstall.d.ts +54 -148
  256. package/dist/schema/kernel/syscalls/contracts/uninstall.js +6 -5
  257. package/dist/schema/kernel/syscalls/contracts/view-host-requirements.d.ts +17 -0
  258. package/dist/schema/kernel/syscalls/contracts/view-host-requirements.js +40 -0
  259. package/dist/schema/kernel/syscalls/contracts/view-resolve.d.ts +27 -28
  260. package/dist/schema/kernel/syscalls/contracts/view-resolve.js +16 -24
  261. package/dist/schema/kernel/syscalls/contracts/whoami.d.ts +19 -20
  262. package/dist/schema/kernel/syscalls/contracts/whoami.js +2 -2
  263. package/dist/schema/kernel/syscalls/contracts/whois.d.ts +22 -23
  264. package/dist/schema/kernel/syscalls/contracts/whois.js +3 -3
  265. package/dist/schema/kernel/syscalls/declarations/admit.d.ts +18 -18
  266. package/dist/schema/kernel/syscalls/declarations/admit.js +3 -3
  267. package/dist/schema/kernel/syscalls/declarations/can.d.ts +19 -14
  268. package/dist/schema/kernel/syscalls/declarations/can.js +4 -4
  269. package/dist/schema/kernel/syscalls/declarations/delegate.d.ts +9 -12
  270. package/dist/schema/kernel/syscalls/declarations/delegate.js +4 -4
  271. package/dist/schema/kernel/syscalls/declarations/download.d.ts +12 -0
  272. package/dist/schema/kernel/syscalls/declarations/download.js +10 -0
  273. package/dist/schema/kernel/syscalls/declarations/execution.d.ts +105 -0
  274. package/dist/schema/kernel/syscalls/declarations/execution.js +52 -0
  275. package/dist/schema/kernel/syscalls/declarations/impersonate.d.ts +9 -0
  276. package/dist/schema/kernel/syscalls/declarations/impersonate.js +12 -0
  277. package/dist/schema/kernel/syscalls/declarations/index.d.ts +870 -1323
  278. package/dist/schema/kernel/syscalls/declarations/index.js +18 -2
  279. package/dist/schema/kernel/syscalls/declarations/install.d.ts +29 -172
  280. package/dist/schema/kernel/syscalls/declarations/install.js +7 -5
  281. package/dist/schema/kernel/syscalls/declarations/introspect.d.ts +8 -19
  282. package/dist/schema/kernel/syscalls/declarations/introspect.js +3 -4
  283. package/dist/schema/kernel/syscalls/declarations/journal.d.ts +29 -31
  284. package/dist/schema/kernel/syscalls/declarations/journal.js +4 -2
  285. package/dist/schema/kernel/syscalls/declarations/mint.d.ts +8 -13
  286. package/dist/schema/kernel/syscalls/declarations/mint.js +5 -5
  287. package/dist/schema/kernel/syscalls/declarations/mutate.d.ts +239 -256
  288. package/dist/schema/kernel/syscalls/declarations/mutate.js +4 -2
  289. package/dist/schema/kernel/syscalls/declarations/query.d.ts +235 -260
  290. package/dist/schema/kernel/syscalls/declarations/query.js +4 -2
  291. package/dist/schema/kernel/syscalls/declarations/register.d.ts +23 -0
  292. package/dist/schema/kernel/syscalls/declarations/register.js +10 -0
  293. package/dist/schema/kernel/syscalls/declarations/uninstall.d.ts +49 -153
  294. package/dist/schema/kernel/syscalls/declarations/uninstall.js +4 -2
  295. package/dist/schema/kernel/syscalls/declarations/upload.d.ts +15 -0
  296. package/dist/schema/kernel/syscalls/declarations/upload.js +10 -0
  297. package/dist/schema/kernel/syscalls/declarations/use-policy.d.ts +4 -0
  298. package/dist/schema/kernel/syscalls/declarations/use-policy.js +9 -0
  299. package/dist/schema/kernel/syscalls/declarations/view-resolve.d.ts +30 -37
  300. package/dist/schema/kernel/syscalls/declarations/view-resolve.js +5 -3
  301. package/dist/schema/kernel/syscalls/declarations/whoami.d.ts +22 -26
  302. package/dist/schema/kernel/syscalls/declarations/whoami.js +3 -3
  303. package/dist/schema/kernel/syscalls/declarations/whois.d.ts +25 -29
  304. package/dist/schema/kernel/syscalls/declarations/whois.js +5 -3
  305. package/dist/schema/kernel/syscalls/descriptors/execution.d.ts +153 -0
  306. package/dist/schema/kernel/syscalls/descriptors/execution.js +11 -0
  307. package/dist/schema/kernel/syscalls/descriptors/function.d.ts +8 -2
  308. package/dist/schema/kernel/syscalls/descriptors/functions.d.ts +3 -1
  309. package/dist/schema/kernel/syscalls/descriptors/functions.js +3 -1
  310. package/dist/schema/kernel/syscalls/descriptors/identity.d.ts +47 -13
  311. package/dist/schema/kernel/syscalls/descriptors/identity.js +2 -1
  312. package/dist/schema/kernel/syscalls/descriptors/index.d.ts +2 -1
  313. package/dist/schema/kernel/syscalls/descriptors/index.js +2 -1
  314. package/dist/schema/kernel/syscalls/descriptors/results/view-resolution.d.ts +5 -2
  315. package/dist/schema/kernel/syscalls/descriptors/results/view-resolution.js +8 -38
  316. package/dist/schema/kernel/syscalls/descriptors/view.d.ts +11 -9
  317. package/dist/schema/kernel/syscalls/index.d.ts +2 -2
  318. package/dist/schema/kernel/syscalls/index.js +2 -2
  319. package/dist/schema/kernel/syscalls/references/execution.d.ts +55 -0
  320. package/dist/schema/kernel/syscalls/references/execution.js +13 -0
  321. package/dist/schema/kernel/syscalls/references/functions.d.ts +12 -2
  322. package/dist/schema/kernel/syscalls/references/functions.js +3 -1
  323. package/dist/schema/kernel/syscalls/references/identity.d.ts +9 -0
  324. package/dist/schema/kernel/syscalls/references/identity.js +1 -0
  325. package/dist/schema/kernel/syscalls/references/index.d.ts +2 -1
  326. package/dist/schema/kernel/syscalls/references/index.js +2 -1
  327. package/dist/schema/meta/created-by.d.ts +32 -0
  328. package/dist/schema/meta/created-by.js +17 -0
  329. package/dist/schema/meta/descriptable.d.ts +13 -11
  330. package/dist/schema/meta/edge.d.ts +5 -9
  331. package/dist/schema/meta/iconable.d.ts +13 -11
  332. package/dist/schema/meta/index.d.ts +1 -0
  333. package/dist/schema/meta/index.js +1 -0
  334. package/dist/schema/meta/named.d.ts +13 -9
  335. package/dist/schema/meta/node.d.ts +9 -1
  336. package/dist/schema/meta/remotable.d.ts +15 -22
  337. package/dist/schema/meta/statused.d.ts +13 -7
  338. package/dist/schema/meta/timestamped.d.ts +14 -12
  339. package/package.json +9 -7
  340. package/dist/auth/expression/normalization/canonicalize.d.ts +0 -7
  341. package/dist/auth/expression/normalization/canonicalize.js +0 -102
  342. package/dist/auth/expression/normalization/index.d.ts +0 -2
  343. package/dist/auth/expression/normalization/index.js +0 -2
  344. package/dist/auth/expression/normalization/raise-denials.d.ts +0 -3
  345. package/dist/auth/expression/normalization/raise-denials.js +0 -59
  346. package/dist/auth/provision/fingerprint/fingerprint.d.ts +0 -9
  347. package/dist/auth/provision/fingerprint/fingerprint.js +0 -33
  348. package/dist/auth/provision/fingerprint/index.d.ts +0 -2
  349. package/dist/auth/provision/index.d.ts +0 -5
  350. package/dist/auth/provision/request/admission.d.ts +0 -3
  351. package/dist/auth/provision/request/admission.js +0 -125
  352. package/dist/auth/provision/request/index.d.ts +0 -3
  353. package/dist/auth/provision/request/request.d.ts +0 -29
  354. package/dist/auth/provision/result/index.d.ts +0 -1
  355. package/dist/auth/provision/result/result.d.ts +0 -12
  356. package/dist/graph/graph/navigation/error.d.ts +0 -12
  357. package/dist/graph/graph/navigation/error.js +0 -20
  358. package/dist/graph/graph/navigation/index.d.ts +0 -2
  359. package/dist/graph/graph/navigation/index.js +0 -1
  360. package/dist/graph/graph/navigation/model.d.ts +0 -15
  361. package/dist/schema/callables/view-for.d.ts +0 -296
  362. package/dist/schema/callables/view-for.js +0 -12
  363. package/dist/schema/kernel/projection/keys.d.ts +0 -3
  364. package/dist/schema/kernel/projection/path.d.ts +0 -2
  365. package/dist/schema/kernel/projection/path.js +0 -140
  366. package/dist/schema/kernel/syscalls/contracts/provision.d.ts +0 -292
  367. package/dist/schema/kernel/syscalls/contracts/provision.js +0 -19
  368. package/dist/schema/kernel/syscalls/declarations/define.d.ts +0 -5
  369. package/dist/schema/kernel/syscalls/declarations/define.js +0 -7
  370. package/dist/schema/kernel/syscalls/declarations/provision.d.ts +0 -296
  371. package/dist/schema/kernel/syscalls/declarations/provision.js +0 -8
  372. /package/dist/auth/{provision/request/request.js → authority/semantics/snapshot.js} +0 -0
  373. /package/dist/auth/{provision/result/index.js → authority/semantics/vocabulary.js} +0 -0
  374. /package/dist/auth/{provision → register}/fingerprint/index.js +0 -0
  375. /package/dist/auth/{provision → register}/index.js +0 -0
  376. /package/dist/auth/{provision → register}/request/index.js +0 -0
  377. /package/dist/auth/{provision/result/result.js → register/request/request.js} +0 -0
  378. /package/dist/{graph/graph/navigation/model.js → auth/register/result/index.js} +0 -0
@@ -1,79 +1,59 @@
1
- import { z } from 'zod';
1
+ import { type ZodType } from 'zod';
2
2
  import { type EdgeSlug } from '../../edge/index.js';
3
- export declare const graphNodeSchema: z.ZodObject<{
4
- id: z.ZodString;
5
- class: z.ZodString;
6
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
7
- }, z.core.$strict>;
8
- export declare const anonymousGraphNodeSchema: z.ZodObject<{
9
- as: z.ZodString;
10
- class: z.ZodString;
11
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
12
- }, z.core.$strict>;
13
- export declare const edgeKeySchema: z.ZodObject<{
14
- source: z.ZodString;
15
- target: z.ZodString;
16
- class: z.ZodString;
17
- }, z.core.$strict>;
18
- export declare const graphEdgeSchema: z.ZodObject<{
19
- source: z.ZodString;
20
- target: z.ZodString;
21
- class: z.ZodString;
22
- slug: z.ZodOptional<z.ZodType<EdgeSlug, unknown, z.core.$ZodTypeInternals<EdgeSlug, unknown>>>;
23
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
24
- }, z.core.$strict>;
25
- export declare const graphSpecEdgeSchema: z.ZodObject<{
26
- source: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
27
- path: z.ZodString;
28
- }, z.core.$strict>, z.ZodObject<{
29
- created: z.ZodString;
30
- }, z.core.$strict>]>;
31
- target: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
32
- path: z.ZodString;
33
- }, z.core.$strict>, z.ZodObject<{
34
- created: z.ZodString;
35
- }, z.core.$strict>]>;
36
- class: z.ZodString;
37
- slug: z.ZodOptional<z.ZodType<EdgeSlug, unknown, z.core.$ZodTypeInternals<EdgeSlug, unknown>>>;
38
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
39
- }, z.core.$strict>;
40
- export declare const graphSpecSchema: z.ZodObject<{
41
- nodes: z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
42
- id: z.ZodString;
43
- class: z.ZodString;
44
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
45
- }, z.core.$strict>, z.ZodObject<{
46
- as: z.ZodString;
47
- class: z.ZodString;
48
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
49
- }, z.core.$strict>]>>;
50
- edges: z.ZodArray<z.ZodObject<{
51
- source: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
52
- path: z.ZodString;
53
- }, z.core.$strict>, z.ZodObject<{
54
- created: z.ZodString;
55
- }, z.core.$strict>]>;
56
- target: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
57
- path: z.ZodString;
58
- }, z.core.$strict>, z.ZodObject<{
59
- created: z.ZodString;
60
- }, z.core.$strict>]>;
61
- class: z.ZodString;
62
- slug: z.ZodOptional<z.ZodType<EdgeSlug, unknown, z.core.$ZodTypeInternals<EdgeSlug, unknown>>>;
63
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
64
- }, z.core.$strict>>;
65
- }, z.core.$strict>;
66
- export declare const graphDataSchema: z.ZodObject<{
67
- nodes: z.ZodArray<z.ZodObject<{
68
- id: z.ZodString;
69
- class: z.ZodString;
70
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
71
- }, z.core.$strict>>;
72
- edges: z.ZodArray<z.ZodObject<{
73
- source: z.ZodString;
74
- target: z.ZodString;
75
- class: z.ZodString;
76
- slug: z.ZodOptional<z.ZodType<EdgeSlug, unknown, z.core.$ZodTypeInternals<EdgeSlug, unknown>>>;
77
- props: z.ZodRecord<z.ZodString, z.ZodUnknown>;
78
- }, z.core.$strict>>;
79
- }, z.core.$strict>;
3
+ export declare const graphNodeSchema: import("zod").ZodObject<{
4
+ id: import("zod").ZodString;
5
+ class: import("zod").ZodString;
6
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
7
+ }, import("zod/v4/core").$strict>;
8
+ export declare const edgeKeySchema: import("zod").ZodObject<{
9
+ source: import("zod").ZodString;
10
+ target: import("zod").ZodString;
11
+ class: import("zod").ZodString;
12
+ }, import("zod/v4/core").$strict>;
13
+ export declare const graphEdgeSchema: import("zod").ZodObject<{
14
+ source: import("zod").ZodString;
15
+ target: import("zod").ZodString;
16
+ class: import("zod").ZodString;
17
+ slug: import("zod").ZodOptional<ZodType<EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<EdgeSlug, unknown>>>;
18
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
19
+ }, import("zod/v4/core").$strict>;
20
+ export declare const graphSpecSchema: import("zod").ZodObject<{
21
+ nodes: import("zod").ZodArray<import("zod").ZodUnion<readonly [import("zod").ZodObject<{
22
+ id: import("zod").ZodString;
23
+ class: import("zod").ZodString;
24
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
25
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
26
+ as: import("zod").ZodString;
27
+ class: import("zod").ZodString;
28
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
29
+ }, import("zod/v4/core").$strict>]>>;
30
+ edges: import("zod").ZodArray<import("zod").ZodObject<{
31
+ source: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
32
+ path: import("zod").ZodString;
33
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
34
+ created: import("zod").ZodString;
35
+ }, import("zod/v4/core").$strict>]>;
36
+ target: import("zod").ZodUnion<readonly [import("zod").ZodString, import("zod").ZodObject<{
37
+ path: import("zod").ZodString;
38
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
39
+ created: import("zod").ZodString;
40
+ }, import("zod/v4/core").$strict>]>;
41
+ class: import("zod").ZodString;
42
+ slug: import("zod").ZodOptional<ZodType<EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<EdgeSlug, unknown>>>;
43
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
44
+ }, import("zod/v4/core").$strict>>;
45
+ }, import("zod/v4/core").$strict>;
46
+ export declare const graphDataSchema: import("zod").ZodObject<{
47
+ nodes: import("zod").ZodArray<import("zod").ZodObject<{
48
+ id: import("zod").ZodString;
49
+ class: import("zod").ZodString;
50
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
51
+ }, import("zod/v4/core").$strict>>;
52
+ edges: import("zod").ZodArray<import("zod").ZodObject<{
53
+ source: import("zod").ZodString;
54
+ target: import("zod").ZodString;
55
+ class: import("zod").ZodString;
56
+ slug: import("zod").ZodOptional<ZodType<EdgeSlug, unknown, import("zod/v4/core").$ZodTypeInternals<EdgeSlug, unknown>>>;
57
+ props: import("zod").ZodRecord<import("zod").ZodString, import("zod").ZodUnknown>;
58
+ }, import("zod/v4/core").$strict>>;
59
+ }, import("zod/v4/core").$strict>;
@@ -1,35 +1,34 @@
1
1
  import { fullMatch } from '@astrale-os/kernel-dsl/v1/value/full-match';
2
- import { z } from 'zod';
2
+ import { array, record, strictObject, string, union, unknown as unknownSchema, } from 'zod';
3
3
  import { edgeSlugSchema } from '../../edge/index.js';
4
- const text = z.string().min(1);
5
- const props = z.record(z.string(), z.unknown());
6
- const binding = z.string().regex(/^[A-Za-z][A-Za-z0-9_]{0,63}$/u);
7
- const edgeSlug = z
8
- .string()
4
+ const text = string().min(1);
5
+ const props = record(string(), unknownSchema());
6
+ const binding = string().regex(/^[A-Za-z][A-Za-z0-9_]{0,63}$/u);
7
+ const edgeSlug = string()
9
8
  .min(edgeSlugSchema.minLength)
10
9
  .max(edgeSlugSchema.maxLength)
11
10
  .check(fullMatch(edgeSlugSchema.fullMatch));
12
- export const graphNodeSchema = z.strictObject({ id: text, class: text, props });
13
- export const anonymousGraphNodeSchema = z.strictObject({ as: binding, class: text, props });
14
- export const edgeKeySchema = z.strictObject({ source: text, target: text, class: text });
11
+ export const graphNodeSchema = strictObject({ id: text, class: text, props });
12
+ const anonymousGraphNodeSchema = strictObject({ as: binding, class: text, props });
13
+ export const edgeKeySchema = strictObject({ source: text, target: text, class: text });
15
14
  export const graphEdgeSchema = edgeKeySchema.extend({ slug: edgeSlug.optional(), props });
16
- const graphSpecEndpointSchema = z.union([
15
+ const graphSpecEndpointSchema = union([
17
16
  text,
18
- z.strictObject({ path: text }),
19
- z.strictObject({ created: binding }),
17
+ strictObject({ path: text }),
18
+ strictObject({ created: binding }),
20
19
  ]);
21
- export const graphSpecEdgeSchema = z.strictObject({
20
+ const graphSpecEdgeSchema = strictObject({
22
21
  source: graphSpecEndpointSchema,
23
22
  target: graphSpecEndpointSchema,
24
23
  class: text,
25
24
  slug: edgeSlug.optional(),
26
25
  props,
27
26
  });
28
- export const graphSpecSchema = z.strictObject({
29
- nodes: z.array(z.union([graphNodeSchema, anonymousGraphNodeSchema])),
30
- edges: z.array(graphSpecEdgeSchema),
27
+ export const graphSpecSchema = strictObject({
28
+ nodes: array(union([graphNodeSchema, anonymousGraphNodeSchema])),
29
+ edges: array(graphSpecEdgeSchema),
31
30
  });
32
- export const graphDataSchema = z.strictObject({
33
- nodes: z.array(graphNodeSchema),
34
- edges: z.array(graphEdgeSchema),
31
+ export const graphDataSchema = strictObject({
32
+ nodes: array(graphNodeSchema),
33
+ edges: array(graphEdgeSchema),
35
34
  });
@@ -6,7 +6,7 @@ import type { DeltaInput } from '../../properties/index.js';
6
6
  import type { QueryEdgeAST, QueryNodeAST } from '../../query/index.js';
7
7
  import type { MutationAST } from '../language/index.js';
8
8
  import type { MutationInputEdgeSelector, MutationInputEndpoint, MutationPropertyConditionsInput, MutationPropsInput } from './model.js';
9
- import { LocalBinding } from '../../graph/index.js';
9
+ import { LocalAlias } from '../../graph/index.js';
10
10
  export type MutationQueryPreconditionInput = {
11
11
  readonly query: QueryNodeAST;
12
12
  readonly equals: {
@@ -39,7 +39,7 @@ export interface MutationBuilder {
39
39
  readonly class: ClassKey;
40
40
  readonly props?: MutationPropsInput;
41
41
  }): {
42
- readonly created: LocalBinding;
42
+ readonly created: LocalAlias;
43
43
  };
44
44
  updateNode(input: {
45
45
  readonly node: NodeTarget;
@@ -1,4 +1,4 @@
1
- import { LocalBinding } from '../../graph/index.js';
1
+ import { LocalAlias } from '../../graph/index.js';
2
2
  import { createMutationAST } from './create.js';
3
3
  /** Run one synchronous author and admit its complete operation set. */
4
4
  export function buildMutationAST(author) {
@@ -38,7 +38,7 @@ export function buildMutationAST(author) {
38
38
  expect: expectation,
39
39
  createNode(input) {
40
40
  requireOpen();
41
- const created = LocalBinding(input.as);
41
+ const created = LocalAlias(input.as);
42
42
  operations.push({
43
43
  op: 'node.create',
44
44
  as: created,
@@ -1,5 +1,4 @@
1
- import { isNodeId } from '../../node/index.js';
2
- import { Path } from '../../path/index.js';
1
+ import { Path, PathError } from '../../path/index.js';
3
2
  import { MutationLanguage } from '../language/index.js';
4
3
  /** Lower rich TypeScript inputs into the one canonical public MutationAST representation. */
5
4
  export function createMutationAST(input) {
@@ -69,6 +68,9 @@ function lowerOperation(operation) {
69
68
  }
70
69
  }
71
70
  function lowerEndpoint(endpoint) {
71
+ if (typeof endpoint === 'object' && endpoint !== null && 'kind' in endpoint) {
72
+ return nodeTargetText(endpoint);
73
+ }
72
74
  return typeof endpoint === 'object' && endpoint !== null && 'created' in endpoint
73
75
  ? endpoint
74
76
  : nodeTargetText(endpoint);
@@ -84,9 +86,15 @@ function pathText(path) {
84
86
  return nodeTargetText(path);
85
87
  }
86
88
  function nodeTargetText(target) {
87
- if (target instanceof Path)
88
- return target.raw;
89
- return isNodeId(target) ? Path.id(target).raw : target;
89
+ try {
90
+ return Path.target(target).raw;
91
+ }
92
+ catch (cause) {
93
+ // The Mutation codec owns invalid-input errors and their operation/precondition coordinates.
94
+ if (cause instanceof PathError)
95
+ return target;
96
+ throw cause;
97
+ }
90
98
  }
91
99
  function mutationProps(input) {
92
100
  return input;
@@ -2,7 +2,7 @@ import type { GraphSpec } from '../graph/index.js';
2
2
  import type { MutationBuilder, MutationInput } from './authoring/index.js';
3
3
  import type { MutationAST as MutationASTValue, MutationStructuralLimits } from './language/index.js';
4
4
  export type { MutationBuilder, MutationInput, MutationInputEdgeSelector, MutationInputEndpoint, MutationInputOperation, MutationInputPrecondition, MutationPropertyConditionsInput, MutationPropsInput, MutationQueryPreconditionInput, } from './authoring/index.js';
5
- export type { EdgeCreateOperation, EdgeDeleteOperation, EdgeUpdateOperation, LocalBinding, MutationEdgeSelector, MutationEndpoint, MutationOperation, MutationPrecondition, MutationPropertyConditions, MutationProps, MutationQueryPrecondition, MutationStructuralLimits, NodeCreateOperation, NodeDeleteOperation, NodeUpdateOperation, QueryExpectedSelection, } from './language/index.js';
5
+ export type { EdgeCreateOperation, EdgeDeleteOperation, EdgeUpdateOperation, LocalAlias, MutationEdgeSelector, MutationEndpoint, MutationOperation, MutationPrecondition, MutationPropertyConditions, MutationProps, MutationQueryPrecondition, MutationStructuralLimits, NodeCreateOperation, NodeDeleteOperation, NodeUpdateOperation, QueryExpectedSelection, } from './language/index.js';
6
6
  export { MutationASTDecodeError } from './language/index.js';
7
7
  export type MutationAST = MutationASTValue;
8
8
  export declare const MutationAST: {
@@ -3,7 +3,7 @@ import { ClassKey } from '@astrale-os/kernel-dsl/v1/addressing';
3
3
  import * as portable from '@astrale-os/kernel-dsl/value';
4
4
  import { EdgeSlug, encodeEdgeKey } from '../../edge/index.js';
5
5
  import { compareEdgeKeys } from '../../edge/index.js';
6
- import { isLocalBinding, LocalBinding as LocalBindingValue } from '../../graph/index.js';
6
+ import { isLocalAlias, LocalAlias as LocalAliasValue } from '../../graph/index.js';
7
7
  import { NodeId } from '../../node/index.js';
8
8
  import { compareNodeIds } from '../../node/index.js';
9
9
  import { NodePath } from '../../path/index.js';
@@ -341,9 +341,9 @@ function compare(left, right) {
341
341
  return left < right ? -1 : left > right ? 1 : 0;
342
342
  }
343
343
  function localBinding(value, path) {
344
- if (!isLocalBinding(value))
344
+ if (!isLocalAlias(value))
345
345
  invalid(path, 'Expected a local binding name of at most 64 characters');
346
- return LocalBindingValue(value);
346
+ return LocalAliasValue(value);
347
347
  }
348
348
  function propertyKey(value, path) {
349
349
  if (typeof value !== 'string' || !PropertyKey.is(value)) {
@@ -1,7 +1,7 @@
1
1
  import type { PropertyKey } from '@astrale-os/kernel-dsl/v1';
2
2
  import type { ClassKey } from '@astrale-os/kernel-dsl/v1/addressing';
3
3
  import type { EdgeSlug } from '../../edge/index.js';
4
- import type { LocalBinding } from '../../graph/index.js';
4
+ import type { LocalAlias } from '../../graph/index.js';
5
5
  import type { NodePath } from '../../path/index.js';
6
6
  import type { Delta as PropertiesDelta, Properties } from '../../properties/index.js';
7
7
  import type { QueryEdgeAST, QueryNodeAST } from '../../query/index.js';
@@ -14,10 +14,10 @@ export type MutationStructuralLimits = Readonly<{
14
14
  queryExpectedIdentities: 4096;
15
15
  }>;
16
16
  export declare const MUTATION_AST_LIMITS: MutationStructuralLimits;
17
- export type { LocalBinding } from '../../graph/index.js';
17
+ export type { LocalAlias } from '../../graph/index.js';
18
18
  export type MutationProps = Properties;
19
19
  export type MutationEndpoint = NodePath | {
20
- readonly created: LocalBinding;
20
+ readonly created: LocalAlias;
21
21
  };
22
22
  export interface MutationEdgeSelector {
23
23
  readonly source: NodePath;
@@ -55,7 +55,7 @@ export type MutationPrecondition = {
55
55
  } | MutationQueryPrecondition;
56
56
  export interface NodeCreateOperation {
57
57
  readonly op: 'node.create';
58
- readonly as: LocalBinding;
58
+ readonly as: LocalAlias;
59
59
  readonly class: ClassKey;
60
60
  readonly props: MutationProps;
61
61
  }