@astrale-os/kernel-dsl 0.2.0-beta.2 → 0.2.0-beta.20

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 (738) hide show
  1. package/CHANGELOG.md +240 -0
  2. package/dist/index.d.ts +0 -1
  3. package/dist/index.js +0 -1
  4. package/dist/upgrade/contract.d.ts +0 -1
  5. package/dist/upgrade/contract.js +0 -1
  6. package/dist/upgrade/index.d.ts +0 -1
  7. package/dist/upgrade/index.js +0 -1
  8. package/dist/v1/addressing/class-key.d.ts +12 -0
  9. package/dist/v1/addressing/class-key.js +39 -0
  10. package/dist/v1/addressing/definition-ref.d.ts +28 -0
  11. package/dist/v1/addressing/definition-ref.js +63 -0
  12. package/dist/v1/addressing/domain-dependency.d.ts +18 -0
  13. package/dist/v1/addressing/domain-dependency.js +6 -0
  14. package/dist/v1/addressing/index.d.ts +10 -4
  15. package/dist/v1/addressing/index.js +5 -3
  16. package/dist/v1/addressing/key.d.ts +14 -16
  17. package/dist/v1/addressing/key.js +24 -34
  18. package/dist/v1/addressing/method-address.d.ts +9 -0
  19. package/dist/v1/addressing/method-address.js +1 -0
  20. package/dist/v1/addressing/method-key.d.ts +15 -0
  21. package/dist/v1/addressing/method-key.js +60 -0
  22. package/dist/v1/addressing/ordering.d.ts +6 -0
  23. package/dist/v1/addressing/ordering.js +20 -0
  24. package/dist/v1/addressing/patterns.d.ts +12 -3
  25. package/dist/v1/addressing/patterns.js +11 -2
  26. package/dist/v1/addressing/property-key.d.ts +10 -15
  27. package/dist/v1/addressing/property-key.js +24 -15
  28. package/dist/v1/addressing/revision.d.ts +8 -0
  29. package/dist/v1/addressing/revision.js +8 -0
  30. package/dist/v1/builder/callable/authoring.d.ts +117 -0
  31. package/dist/v1/builder/{callable.js → callable/authoring.js} +28 -7
  32. package/dist/v1/builder/class/authoring.d.ts +378 -0
  33. package/dist/v1/builder/class/authoring.js +134 -0
  34. package/dist/v1/builder/class/property.d.ts +58 -0
  35. package/dist/v1/builder/class/property.js +57 -0
  36. package/dist/v1/builder/core/authoring.d.ts +42 -0
  37. package/dist/v1/builder/core/authoring.js +39 -0
  38. package/dist/v1/builder/index.d.ts +26 -22
  39. package/dist/v1/builder/index.js +11 -11
  40. package/dist/v1/builder/lowering/callable.d.ts +24 -0
  41. package/dist/v1/builder/{compiler → lowering}/callable.js +11 -14
  42. package/dist/v1/builder/lowering/class.d.ts +22 -0
  43. package/dist/v1/builder/lowering/class.js +134 -0
  44. package/dist/v1/builder/lowering/core-properties.d.ts +10 -0
  45. package/dist/v1/builder/{compiler/core.properties.js → lowering/core-properties.js} +14 -8
  46. package/dist/v1/builder/lowering/core.d.ts +22 -0
  47. package/dist/v1/builder/{compiler → lowering}/core.js +17 -11
  48. package/dist/v1/builder/lowering/policy.d.ts +16 -0
  49. package/dist/v1/builder/{compiler → lowering}/policy.js +19 -14
  50. package/dist/v1/builder/{compiler/schema.capture.d.ts → lowering/schema/capture.d.ts} +2 -3
  51. package/dist/v1/builder/lowering/schema/capture.js +70 -0
  52. package/dist/v1/builder/{compiler/schema.d.ts → lowering/schema/compile.d.ts} +4 -4
  53. package/dist/v1/builder/{compiler/schema.js → lowering/schema/compile.js} +34 -44
  54. package/dist/v1/builder/lowering/schema/context.d.ts +44 -0
  55. package/dist/v1/builder/{compiler/schema.context.js → lowering/schema/context.js} +66 -74
  56. package/dist/v1/builder/{compiler/schema.ownership.d.ts → lowering/schema/ownership.d.ts} +1 -2
  57. package/dist/v1/builder/{compiler/schema.ownership.js → lowering/schema/ownership.js} +1 -2
  58. package/dist/v1/builder/lowering/value/compile.d.ts +15 -0
  59. package/dist/v1/builder/{compiler/value.js → lowering/value/compile.js} +44 -61
  60. package/dist/v1/builder/lowering/value/path.d.ts +3 -0
  61. package/dist/v1/builder/{compiler/value.path.js → lowering/value/path.js} +1 -2
  62. package/dist/v1/builder/{compiler/value.zod.d.ts → lowering/value/zod.d.ts} +8 -9
  63. package/dist/v1/builder/{compiler/value.zod.js → lowering/value/zod.js} +10 -11
  64. package/dist/v1/builder/lowering/view.d.ts +11 -0
  65. package/dist/v1/builder/{compiler → lowering}/view.js +7 -7
  66. package/dist/v1/builder/{policy.d.ts → policy/authoring.d.ts} +19 -17
  67. package/dist/v1/builder/{policy.js → policy/authoring.js} +23 -12
  68. package/dist/v1/builder/schema/define.d.ts +11 -0
  69. package/dist/v1/builder/{schema.js → schema/define.js} +1 -2
  70. package/dist/v1/builder/schema/diagnostic.d.ts +16 -0
  71. package/dist/v1/builder/schema/diagnostic.js +31 -0
  72. package/dist/v1/builder/{internal/authoring.d.ts → schema/handle.d.ts} +1 -2
  73. package/dist/v1/builder/{internal/authoring.js → schema/handle.js} +0 -1
  74. package/dist/v1/builder/schema/input.d.ts +15 -0
  75. package/dist/v1/builder/schema/input.js +1 -0
  76. package/dist/v1/builder/{internal/authoring.lazy.d.ts → schema/lazy.d.ts} +0 -1
  77. package/dist/v1/builder/{internal/authoring.lazy.js → schema/lazy.js} +0 -1
  78. package/dist/v1/builder/schema/projection.d.ts +370 -0
  79. package/dist/v1/builder/schema/projection.js +1 -0
  80. package/dist/v1/builder/value/full-match.d.ts +4 -0
  81. package/dist/v1/builder/value/full-match.js +11 -0
  82. package/dist/v1/builder/value/path-metadata.d.ts +4 -0
  83. package/dist/v1/builder/{internal/path.metadata.js → value/path-metadata.js} +0 -1
  84. package/dist/v1/builder/value/path.d.ts +8 -0
  85. package/dist/v1/builder/{path.js → value/path.js} +4 -5
  86. package/dist/v1/builder/{value-schema.d.ts → value/schema.d.ts} +2 -3
  87. package/dist/v1/builder/{value-schema.js → value/schema.js} +0 -1
  88. package/dist/v1/builder/view/authoring.d.ts +17 -0
  89. package/dist/v1/builder/view/authoring.js +16 -0
  90. package/dist/v1/bundle/codec.d.ts +0 -1
  91. package/dist/v1/bundle/codec.js +36 -19
  92. package/dist/v1/bundle/create.d.ts +3 -0
  93. package/dist/v1/bundle/create.js +5 -0
  94. package/dist/v1/bundle/diagnostic.d.ts +10 -0
  95. package/dist/v1/bundle/diagnostic.js +17 -0
  96. package/dist/v1/bundle/index.d.ts +3 -2
  97. package/dist/v1/bundle/index.js +2 -2
  98. package/dist/v1/bundle/model.d.ts +1 -4
  99. package/dist/v1/bundle/model.js +0 -6
  100. package/dist/v1/bundle/structure.d.ts +1 -2
  101. package/dist/v1/bundle/structure.js +6 -6
  102. package/dist/v1/bundle/transport.d.ts +8 -0
  103. package/dist/v1/bundle/transport.js +7 -0
  104. package/dist/v1/compiled/admission/accept.d.ts +3 -0
  105. package/dist/v1/compiled/admission/accept.js +910 -0
  106. package/dist/v1/compiled/admission/revision.d.ts +4 -0
  107. package/dist/v1/compiled/admission/revision.js +73 -0
  108. package/dist/v1/compiled/admission/semantics.d.ts +7 -0
  109. package/dist/v1/compiled/admission/semantics.js +1114 -0
  110. package/dist/v1/compiled/codec/json.d.ts +3 -0
  111. package/dist/v1/compiled/codec/json.js +9 -0
  112. package/dist/v1/compiled/compiler/compile.d.ts +4 -0
  113. package/dist/v1/compiled/compiler/compile.js +113 -0
  114. package/dist/v1/compiled/diagnostic.d.ts +11 -0
  115. package/dist/v1/compiled/diagnostic.js +13 -0
  116. package/dist/v1/compiled/generated.d.ts +10 -0
  117. package/dist/v1/compiled/generated.js +15 -0
  118. package/dist/v1/compiled/index.d.ts +7 -0
  119. package/dist/v1/compiled/index.js +5 -0
  120. package/dist/v1/compiled/loader/index.d.ts +1 -0
  121. package/dist/v1/compiled/loader/index.js +1 -0
  122. package/dist/v1/compiled/loader/load.d.ts +9 -0
  123. package/dist/v1/compiled/loader/load.js +147 -0
  124. package/dist/v1/compiled/model/schema.d.ts +73 -0
  125. package/dist/v1/compiled/model/schema.js +1 -0
  126. package/dist/v1/domain/create.d.ts +8 -0
  127. package/dist/v1/domain/create.js +264 -0
  128. package/dist/v1/domain/index.d.ts +2 -0
  129. package/dist/v1/domain/index.js +1 -0
  130. package/dist/v1/domain/model/domain.d.ts +59 -0
  131. package/dist/v1/domain/model/domain.js +1 -0
  132. package/dist/v1/domain/model/input.d.ts +31 -0
  133. package/dist/v1/domain/model/input.js +1 -0
  134. package/dist/v1/domain/namespace/member-collection.d.ts +5 -0
  135. package/dist/v1/domain/namespace/member-collection.js +81 -0
  136. package/dist/v1/domain/projection/classes.d.ts +4 -0
  137. package/dist/v1/domain/projection/classes.js +198 -0
  138. package/dist/v1/domain/validation/create.d.ts +18 -0
  139. package/dist/v1/domain/validation/create.js +75 -0
  140. package/dist/v1/index.d.ts +14 -5
  141. package/dist/v1/index.js +6 -3
  142. package/dist/v1/language/callable/index.d.ts +2 -0
  143. package/dist/v1/language/callable/index.js +1 -0
  144. package/dist/v1/language/callable/model/callable.d.ts +33 -0
  145. package/dist/v1/language/callable/model/callable.js +1 -0
  146. package/dist/v1/language/callable/resolved.d.ts +68 -0
  147. package/dist/v1/language/callable/resolved.js +1 -0
  148. package/dist/v1/language/class/facets.d.ts +58 -0
  149. package/dist/v1/language/class/facets.js +1 -0
  150. package/dist/v1/language/class/index.d.ts +8 -0
  151. package/dist/v1/language/class/index.js +1 -0
  152. package/dist/v1/language/class/model/class.d.ts +37 -0
  153. package/dist/v1/language/class/model/class.js +1 -0
  154. package/dist/v1/{schema/definition → language/class/model}/data.d.ts +2 -3
  155. package/dist/v1/{schema/definition → language/class/model}/data.js +0 -1
  156. package/dist/v1/{schema/definition → language/class/model}/edge.d.ts +9 -6
  157. package/dist/v1/language/class/model/edge.js +1 -0
  158. package/dist/v1/language/class/model/property.d.ts +17 -0
  159. package/dist/v1/language/class/model/property.js +1 -0
  160. package/dist/v1/language/class/property-values.d.ts +15 -0
  161. package/dist/v1/language/class/property-values.js +30 -0
  162. package/dist/v1/language/class/resolved.d.ts +126 -0
  163. package/dist/v1/language/class/resolved.js +1 -0
  164. package/dist/v1/language/core/index.d.ts +2 -0
  165. package/dist/v1/language/core/index.js +1 -0
  166. package/dist/v1/language/core/model/core.d.ts +20 -0
  167. package/dist/v1/language/core/model/core.js +1 -0
  168. package/dist/v1/language/core/resolved.d.ts +21 -0
  169. package/dist/v1/language/core/resolved.js +1 -0
  170. package/dist/v1/{schema → language/definition}/metadata.d.ts +0 -1
  171. package/dist/v1/{schema → language/definition}/metadata.js +0 -1
  172. package/dist/v1/language/definition.d.ts +7 -0
  173. package/dist/v1/language/definition.js +1 -0
  174. package/dist/v1/language/index.d.ts +25 -0
  175. package/dist/v1/language/index.js +2 -0
  176. package/dist/v1/{schema/policy/validation → language/policy/analysis}/branches.d.ts +2 -4
  177. package/dist/v1/{schema/policy/validation → language/policy/analysis}/branches.js +14 -30
  178. package/dist/v1/{schema/policy/validation → language/policy/analysis}/budgets.d.ts +1 -4
  179. package/dist/v1/language/policy/analysis/budgets.js +25 -0
  180. package/dist/v1/language/policy/index.d.ts +3 -0
  181. package/dist/v1/language/policy/index.js +1 -0
  182. package/dist/v1/{schema/policy/ast.d.ts → language/policy/model/policy.d.ts} +7 -7
  183. package/dist/v1/language/policy/model/policy.js +1 -0
  184. package/dist/v1/language/policy/normalization/normalize.d.ts +4 -0
  185. package/dist/v1/{schema/policy → language/policy/normalization}/normalize.js +12 -16
  186. package/dist/v1/language/policy/resolved.d.ts +9 -0
  187. package/dist/v1/language/policy/resolved.js +1 -0
  188. package/dist/v1/language/resolved.d.ts +10 -0
  189. package/dist/v1/language/resolved.js +1 -0
  190. package/dist/v1/language/state/index.d.ts +3 -0
  191. package/dist/v1/language/state/index.js +1 -0
  192. package/dist/v1/language/state/machine.d.ts +28 -0
  193. package/dist/v1/language/state/machine.js +40 -0
  194. package/dist/v1/language/state/topology.d.ts +14 -0
  195. package/dist/v1/language/state/topology.js +69 -0
  196. package/dist/v1/language/validation/diagnostic.d.ts +8 -0
  197. package/dist/v1/language/validation/diagnostic.js +3 -0
  198. package/dist/v1/language/value/compile/fields.d.ts +3 -0
  199. package/dist/v1/language/value/compile/fields.js +60 -0
  200. package/dist/v1/language/value/compile/load.d.ts +4 -0
  201. package/dist/v1/language/value/compile/load.js +41 -0
  202. package/dist/v1/language/value/compile/model.d.ts +27 -0
  203. package/dist/v1/language/value/compile/model.js +1 -0
  204. package/dist/v1/{schema/value/instance → language/value/evaluate}/assertions.d.ts +0 -1
  205. package/dist/v1/{schema/value/instance → language/value/evaluate}/assertions.js +1 -2
  206. package/dist/v1/{schema/value/instance → language/value/evaluate}/evaluator.d.ts +0 -1
  207. package/dist/v1/{schema/value/instance → language/value/evaluate}/evaluator.js +6 -18
  208. package/dist/v1/{schema/value/instance/compiler.d.ts → language/value/evaluate/preparation.d.ts} +4 -4
  209. package/dist/v1/language/value/evaluate/preparation.js +135 -0
  210. package/dist/v1/language/value/evaluate/program.d.ts +3 -0
  211. package/dist/v1/language/value/evaluate/program.js +16 -0
  212. package/dist/v1/{schema/value/instance → language/value/evaluate}/types.d.ts +8 -5
  213. package/dist/v1/{schema/value/instance → language/value/evaluate}/types.js +0 -1
  214. package/dist/v1/{schema/value/instance.validate.d.ts → language/value/evaluate/validate.d.ts} +4 -5
  215. package/dist/v1/{schema/value/instance.validate.js → language/value/evaluate/validate.js} +5 -6
  216. package/dist/v1/language/value/index.d.ts +11 -0
  217. package/dist/v1/language/value/index.js +8 -0
  218. package/dist/v1/{schema/value → language/value/model}/instant.d.ts +1 -1
  219. package/dist/v1/{schema/value → language/value/model}/instant.js +1 -1
  220. package/dist/v1/{schema/value → language/value/model}/object.d.ts +1 -1
  221. package/dist/v1/{schema/value → language/value/model}/object.js +0 -1
  222. package/dist/v1/{schema/value → language/value/model}/schema.d.ts +3 -4
  223. package/dist/v1/{schema/value → language/value/model}/schema.js +0 -2
  224. package/dist/v1/{schema → language}/value/ordering.d.ts +5 -3
  225. package/dist/v1/{schema → language}/value/ordering.js +16 -14
  226. package/dist/v1/{schema → language}/value/profile/canonicalize.d.ts +2 -3
  227. package/dist/v1/{schema → language}/value/profile/canonicalize.js +4 -7
  228. package/dist/v1/language/value/profile/json.validate.d.ts +2 -0
  229. package/dist/v1/{schema → language}/value/profile/json.validate.js +1 -2
  230. package/dist/v1/{schema → language}/value/profile/meta-schema.compiled.d.ts +0 -1
  231. package/dist/v1/{schema → language}/value/profile/meta-schema.compiled.js +1 -2
  232. package/dist/v1/language/value/profile/meta-schema.d.ts +4 -0
  233. package/dist/v1/{schema/value/profile/meta-schema.validate.js → language/value/profile/meta-schema.js} +2 -2
  234. package/dist/v1/language/value/profile/rules.d.ts +3 -0
  235. package/dist/v1/{schema → language}/value/profile/rules.js +7 -50
  236. package/dist/v1/language/value/profile/validate.d.ts +4 -0
  237. package/dist/v1/{schema → language}/value/profile/validate.js +14 -22
  238. package/dist/v1/{schema → language}/value/profile/vocabulary.d.ts +0 -1
  239. package/dist/v1/{schema → language}/value/profile/vocabulary.js +0 -1
  240. package/dist/v1/language/value/reference/closure.d.ts +11 -0
  241. package/dist/v1/{schema/value/resources → language/value/reference}/closure.js +13 -21
  242. package/dist/v1/{schema/value/resources → language/value/reference}/recursion.d.ts +3 -4
  243. package/dist/v1/{schema/value/resources → language/value/reference}/recursion.js +5 -6
  244. package/dist/v1/language/value/reference/references.d.ts +17 -0
  245. package/dist/v1/language/value/reference/references.js +45 -0
  246. package/dist/v1/{schema/value → language/value/reference}/registry.d.ts +9 -7
  247. package/dist/v1/language/value/reference/registry.index.d.ts +14 -0
  248. package/dist/v1/{schema/value/resources → language/value/reference}/registry.index.js +7 -45
  249. package/dist/v1/language/value/reference/registry.js +1 -0
  250. package/dist/v1/language/value/regexp/ast.d.ts +21 -0
  251. package/dist/v1/language/value/regexp/ast.js +326 -0
  252. package/dist/v1/language/value/regexp/compile.d.ts +3 -0
  253. package/dist/v1/language/value/regexp/compile.js +96 -0
  254. package/dist/v1/{schema → language}/value/regexp/lower.d.ts +1 -2
  255. package/dist/v1/{schema → language}/value/regexp/lower.js +2 -3
  256. package/dist/v1/language/value/regexp/matcher.d.ts +7 -0
  257. package/dist/v1/language/value/regexp/matcher.js +50 -0
  258. package/dist/v1/{schema → language}/value/regexp/pattern.d.ts +0 -1
  259. package/dist/v1/{schema → language}/value/regexp/pattern.js +0 -1
  260. package/dist/v1/language/value/regexp/syntax.d.ts +2 -0
  261. package/dist/v1/language/value/regexp/syntax.js +5 -0
  262. package/dist/v1/language/value/syntax/full-match.d.ts +6 -0
  263. package/dist/v1/language/value/syntax/full-match.js +20 -0
  264. package/dist/v1/{schema/value/location → language/value/syntax}/keywords.d.ts +0 -1
  265. package/dist/v1/{schema/value/location → language/value/syntax}/keywords.js +0 -1
  266. package/dist/v1/{schema/value/extensions → language/value/syntax}/node-path/schema.d.ts +1 -2
  267. package/dist/v1/{schema/value/extensions → language/value/syntax}/node-path/schema.js +2 -3
  268. package/dist/v1/language/value/syntax/node-path/validate.d.ts +4 -0
  269. package/dist/v1/{schema/value/extensions → language/value/syntax}/node-path/validate.js +16 -18
  270. package/dist/v1/{schema/value/location → language/value/syntax}/pointer.d.ts +0 -1
  271. package/dist/v1/{schema/value/location → language/value/syntax}/pointer.js +1 -2
  272. package/dist/v1/{schema/value/location → language/value/syntax}/walk.d.ts +1 -2
  273. package/dist/v1/{schema/value/location → language/value/syntax}/walk.js +1 -2
  274. package/dist/v1/language/view/index.d.ts +2 -0
  275. package/dist/v1/language/view/index.js +1 -0
  276. package/dist/v1/language/view/model/view.d.ts +11 -0
  277. package/dist/v1/language/view/model/view.js +1 -0
  278. package/dist/v1/language/view/resolved.d.ts +9 -0
  279. package/dist/v1/language/view/resolved.js +1 -0
  280. package/dist/v1/schema/admission/accept.d.ts +3 -0
  281. package/dist/v1/schema/{domain.accept.js → admission/accept.js} +8 -9
  282. package/dist/v1/schema/{definition/analysis.d.ts → analysis/class.d.ts} +17 -18
  283. package/dist/v1/schema/{definition/analysis.js → analysis/class.js} +21 -30
  284. package/dist/v1/schema/canonical/domain.d.ts +2 -2
  285. package/dist/v1/schema/canonical/domain.digest.d.ts +1 -2
  286. package/dist/v1/schema/canonical/domain.digest.js +2 -6
  287. package/dist/v1/schema/canonical/domain.js +3 -224
  288. package/dist/v1/schema/canonical/freeze.d.ts +0 -1
  289. package/dist/v1/schema/canonical/freeze.js +0 -1
  290. package/dist/v1/schema/{domain.revision.d.ts → canonical/revision.d.ts} +2 -3
  291. package/dist/v1/schema/{domain.revision.js → canonical/revision.js} +3 -4
  292. package/dist/v1/schema/codec/header.d.ts +17 -0
  293. package/dist/v1/schema/codec/header.js +26 -0
  294. package/dist/v1/schema/{domain.codec.d.ts → codec/schema.d.ts} +2 -3
  295. package/dist/v1/schema/{domain.codec.js → codec/schema.js} +4 -5
  296. package/dist/v1/schema/{dependency.meaning.d.ts → compatibility/meaning.d.ts} +4 -5
  297. package/dist/v1/schema/{dependency.meaning.js → compatibility/meaning.js} +121 -124
  298. package/dist/v1/schema/{domain.lookup.d.ts → dependency/lookup.d.ts} +3 -4
  299. package/dist/v1/schema/{domain.lookup.js → dependency/lookup.js} +1 -2
  300. package/dist/v1/schema/diagnostic.d.ts +7 -7
  301. package/dist/v1/schema/diagnostic.js +9 -9
  302. package/dist/v1/schema/index.d.ts +24 -34
  303. package/dist/v1/schema/index.js +11 -14
  304. package/dist/v1/schema/model/format.d.ts +2 -0
  305. package/dist/v1/schema/model/format.js +2 -0
  306. package/dist/v1/schema/model/schema.d.ts +30 -0
  307. package/dist/v1/schema/model/schema.js +4 -0
  308. package/dist/v1/schema/normalization/domain.d.ts +2 -0
  309. package/dist/v1/schema/normalization/domain.js +210 -0
  310. package/dist/v1/schema/resolution/closure.d.ts +3 -4
  311. package/dist/v1/schema/resolution/closure.js +6 -7
  312. package/dist/v1/schema/resolution/context.d.ts +11 -12
  313. package/dist/v1/schema/resolution/context.js +82 -50
  314. package/dist/v1/schema/resolution/definition.index.d.ts +13 -35
  315. package/dist/v1/schema/resolution/definition.index.js +8 -18
  316. package/dist/v1/schema/resolution/domain.d.ts +4 -0
  317. package/dist/v1/schema/resolution/domain.js +112 -0
  318. package/dist/v1/schema/resolution/origins.d.ts +11 -14
  319. package/dist/v1/schema/resolution/origins.js +31 -44
  320. package/dist/v1/schema/resolution/value.registry.d.ts +3 -4
  321. package/dist/v1/schema/resolution/value.registry.js +7 -14
  322. package/dist/v1/schema/revision.d.ts +1 -0
  323. package/dist/v1/schema/revision.js +1 -0
  324. package/dist/v1/schema/validation/class.d.ts +5 -0
  325. package/dist/v1/schema/validation/class.js +257 -0
  326. package/dist/v1/schema/validation/core.d.ts +5 -0
  327. package/dist/v1/schema/{core/validate.js → validation/core.js} +39 -30
  328. package/dist/v1/schema/validation/domain.d.ts +11 -0
  329. package/dist/v1/schema/{domain.validate.js → validation/domain.js} +12 -12
  330. package/dist/v1/schema/validation/domain.route.d.ts +1 -2
  331. package/dist/v1/schema/validation/domain.route.js +3 -4
  332. package/dist/v1/schema/validation/domain.structure.d.ts +3 -4
  333. package/dist/v1/schema/validation/domain.structure.js +203 -207
  334. package/dist/v1/schema/validation/policy/budgets.d.ts +4 -0
  335. package/dist/v1/schema/{policy/validation → validation/policy}/budgets.js +2 -32
  336. package/dist/v1/schema/validation/policy/context.d.ts +28 -0
  337. package/dist/v1/schema/{policy/validation → validation/policy}/context.js +23 -33
  338. package/dist/v1/schema/{policy/validation → validation/policy}/references.d.ts +0 -1
  339. package/dist/v1/schema/{policy/validation → validation/policy}/references.js +18 -11
  340. package/dist/v1/schema/{policy/validation → validation/policy}/typing.d.ts +4 -8
  341. package/dist/v1/schema/{policy/validation → validation/policy}/typing.js +25 -67
  342. package/dist/v1/schema/{policy/validation → validation/policy}/uses.d.ts +0 -1
  343. package/dist/v1/schema/{policy/validation → validation/policy}/uses.js +27 -63
  344. package/dist/v1/schema/{policy/validation → validation/policy}/validate.d.ts +3 -4
  345. package/dist/v1/schema/{policy/validation → validation/policy}/validate.js +0 -1
  346. package/dist/v1/schema/{value/index.d.ts → validation/value-api.d.ts} +9 -10
  347. package/dist/v1/schema/{value/index.js → validation/value-api.js} +4 -5
  348. package/dist/v1/schema/validation/value.d.ts +4 -5
  349. package/dist/v1/schema/validation/value.js +4 -9
  350. package/dist/v1/schema/validation/view.d.ts +3 -0
  351. package/dist/v1/schema/{view/validate.js → validation/view.js} +11 -4
  352. package/dist/v1/value/full-match.d.ts +2 -0
  353. package/dist/v1/value/full-match.js +2 -0
  354. package/dist/v1.d.ts +1 -2
  355. package/dist/v1.js +1 -2
  356. package/dist/value/accept.d.ts +0 -1
  357. package/dist/value/accept.js +0 -1
  358. package/dist/value/canonical.d.ts +0 -1
  359. package/dist/value/canonical.js +0 -1
  360. package/dist/value/decode.d.ts +0 -1
  361. package/dist/value/decode.js +0 -1
  362. package/dist/value/equal.d.ts +0 -1
  363. package/dist/value/equal.js +0 -1
  364. package/dist/value/error.d.ts +0 -1
  365. package/dist/value/error.js +0 -1
  366. package/dist/value/index.d.ts +0 -1
  367. package/dist/value/index.js +0 -1
  368. package/dist/value/json.d.ts +0 -1
  369. package/dist/value/json.js +0 -1
  370. package/dist/value/limits.d.ts +0 -1
  371. package/dist/value/limits.js +0 -1
  372. package/dist/value/types.d.ts +0 -1
  373. package/dist/value/types.js +0 -1
  374. package/dist/value/unicode.d.ts +0 -1
  375. package/dist/value/unicode.js +0 -1
  376. package/dist/version/dispatch.d.ts +0 -1
  377. package/dist/version/dispatch.js +0 -1
  378. package/dist/version/index.d.ts +0 -1
  379. package/dist/version/index.js +0 -1
  380. package/package.json +69 -13
  381. package/dist/index.d.ts.map +0 -1
  382. package/dist/index.js.map +0 -1
  383. package/dist/upgrade/contract.d.ts.map +0 -1
  384. package/dist/upgrade/contract.js.map +0 -1
  385. package/dist/upgrade/index.d.ts.map +0 -1
  386. package/dist/upgrade/index.js.map +0 -1
  387. package/dist/v1/addressing/index.d.ts.map +0 -1
  388. package/dist/v1/addressing/index.js.map +0 -1
  389. package/dist/v1/addressing/key.d.ts.map +0 -1
  390. package/dist/v1/addressing/key.js.map +0 -1
  391. package/dist/v1/addressing/patterns.d.ts.map +0 -1
  392. package/dist/v1/addressing/patterns.js.map +0 -1
  393. package/dist/v1/addressing/property-key.d.ts.map +0 -1
  394. package/dist/v1/addressing/property-key.js.map +0 -1
  395. package/dist/v1/addressing/ref.d.ts +0 -35
  396. package/dist/v1/addressing/ref.d.ts.map +0 -1
  397. package/dist/v1/addressing/ref.js +0 -94
  398. package/dist/v1/addressing/ref.js.map +0 -1
  399. package/dist/v1/addressing/schema-ref.d.ts +0 -8
  400. package/dist/v1/addressing/schema-ref.d.ts.map +0 -1
  401. package/dist/v1/addressing/schema-ref.js +0 -2
  402. package/dist/v1/addressing/schema-ref.js.map +0 -1
  403. package/dist/v1/builder/callable.d.ts +0 -92
  404. package/dist/v1/builder/callable.d.ts.map +0 -1
  405. package/dist/v1/builder/callable.js.map +0 -1
  406. package/dist/v1/builder/compiler/callable.d.ts +0 -20
  407. package/dist/v1/builder/compiler/callable.d.ts.map +0 -1
  408. package/dist/v1/builder/compiler/callable.js.map +0 -1
  409. package/dist/v1/builder/compiler/core.d.ts +0 -6
  410. package/dist/v1/builder/compiler/core.d.ts.map +0 -1
  411. package/dist/v1/builder/compiler/core.js.map +0 -1
  412. package/dist/v1/builder/compiler/core.properties.d.ts +0 -6
  413. package/dist/v1/builder/compiler/core.properties.d.ts.map +0 -1
  414. package/dist/v1/builder/compiler/core.properties.js.map +0 -1
  415. package/dist/v1/builder/compiler/definition.d.ts +0 -32
  416. package/dist/v1/builder/compiler/definition.d.ts.map +0 -1
  417. package/dist/v1/builder/compiler/definition.js +0 -197
  418. package/dist/v1/builder/compiler/definition.js.map +0 -1
  419. package/dist/v1/builder/compiler/policy.d.ts +0 -17
  420. package/dist/v1/builder/compiler/policy.d.ts.map +0 -1
  421. package/dist/v1/builder/compiler/policy.js.map +0 -1
  422. package/dist/v1/builder/compiler/schema.capture.d.ts.map +0 -1
  423. package/dist/v1/builder/compiler/schema.capture.js +0 -85
  424. package/dist/v1/builder/compiler/schema.capture.js.map +0 -1
  425. package/dist/v1/builder/compiler/schema.context.d.ts +0 -45
  426. package/dist/v1/builder/compiler/schema.context.d.ts.map +0 -1
  427. package/dist/v1/builder/compiler/schema.context.js.map +0 -1
  428. package/dist/v1/builder/compiler/schema.d.ts.map +0 -1
  429. package/dist/v1/builder/compiler/schema.js.map +0 -1
  430. package/dist/v1/builder/compiler/schema.ownership.d.ts.map +0 -1
  431. package/dist/v1/builder/compiler/schema.ownership.js.map +0 -1
  432. package/dist/v1/builder/compiler/value.d.ts +0 -26
  433. package/dist/v1/builder/compiler/value.d.ts.map +0 -1
  434. package/dist/v1/builder/compiler/value.js.map +0 -1
  435. package/dist/v1/builder/compiler/value.path.d.ts +0 -4
  436. package/dist/v1/builder/compiler/value.path.d.ts.map +0 -1
  437. package/dist/v1/builder/compiler/value.path.js.map +0 -1
  438. package/dist/v1/builder/compiler/value.zod.d.ts.map +0 -1
  439. package/dist/v1/builder/compiler/value.zod.js.map +0 -1
  440. package/dist/v1/builder/compiler/view.d.ts +0 -12
  441. package/dist/v1/builder/compiler/view.d.ts.map +0 -1
  442. package/dist/v1/builder/compiler/view.js.map +0 -1
  443. package/dist/v1/builder/core.d.ts +0 -27
  444. package/dist/v1/builder/core.d.ts.map +0 -1
  445. package/dist/v1/builder/core.js +0 -21
  446. package/dist/v1/builder/core.js.map +0 -1
  447. package/dist/v1/builder/definition.d.ts +0 -155
  448. package/dist/v1/builder/definition.d.ts.map +0 -1
  449. package/dist/v1/builder/definition.js +0 -141
  450. package/dist/v1/builder/definition.js.map +0 -1
  451. package/dist/v1/builder/full-match.d.ts +0 -12
  452. package/dist/v1/builder/full-match.d.ts.map +0 -1
  453. package/dist/v1/builder/full-match.js +0 -21
  454. package/dist/v1/builder/full-match.js.map +0 -1
  455. package/dist/v1/builder/index.d.ts.map +0 -1
  456. package/dist/v1/builder/index.js.map +0 -1
  457. package/dist/v1/builder/internal/authoring.d.ts.map +0 -1
  458. package/dist/v1/builder/internal/authoring.js.map +0 -1
  459. package/dist/v1/builder/internal/authoring.lazy.d.ts.map +0 -1
  460. package/dist/v1/builder/internal/authoring.lazy.js.map +0 -1
  461. package/dist/v1/builder/internal/diagnostic.d.ts +0 -4
  462. package/dist/v1/builder/internal/diagnostic.d.ts.map +0 -1
  463. package/dist/v1/builder/internal/diagnostic.js +0 -16
  464. package/dist/v1/builder/internal/diagnostic.js.map +0 -1
  465. package/dist/v1/builder/internal/path.metadata.d.ts +0 -5
  466. package/dist/v1/builder/internal/path.metadata.d.ts.map +0 -1
  467. package/dist/v1/builder/internal/path.metadata.js.map +0 -1
  468. package/dist/v1/builder/path.d.ts +0 -9
  469. package/dist/v1/builder/path.d.ts.map +0 -1
  470. package/dist/v1/builder/path.js.map +0 -1
  471. package/dist/v1/builder/policy.d.ts.map +0 -1
  472. package/dist/v1/builder/policy.js.map +0 -1
  473. package/dist/v1/builder/property.d.ts +0 -37
  474. package/dist/v1/builder/property.d.ts.map +0 -1
  475. package/dist/v1/builder/property.js +0 -36
  476. package/dist/v1/builder/property.js.map +0 -1
  477. package/dist/v1/builder/schema.d.ts +0 -6
  478. package/dist/v1/builder/schema.d.ts.map +0 -1
  479. package/dist/v1/builder/schema.input.d.ts +0 -19
  480. package/dist/v1/builder/schema.input.d.ts.map +0 -1
  481. package/dist/v1/builder/schema.input.js +0 -2
  482. package/dist/v1/builder/schema.input.js.map +0 -1
  483. package/dist/v1/builder/schema.js.map +0 -1
  484. package/dist/v1/builder/value-schema.d.ts.map +0 -1
  485. package/dist/v1/builder/value-schema.js.map +0 -1
  486. package/dist/v1/builder/view.d.ts +0 -19
  487. package/dist/v1/builder/view.d.ts.map +0 -1
  488. package/dist/v1/builder/view.js +0 -7
  489. package/dist/v1/builder/view.js.map +0 -1
  490. package/dist/v1/builder.d.ts +0 -3
  491. package/dist/v1/builder.d.ts.map +0 -1
  492. package/dist/v1/builder.js +0 -2
  493. package/dist/v1/builder.js.map +0 -1
  494. package/dist/v1/bundle/codec.d.ts.map +0 -1
  495. package/dist/v1/bundle/codec.js.map +0 -1
  496. package/dist/v1/bundle/index.d.ts.map +0 -1
  497. package/dist/v1/bundle/index.js.map +0 -1
  498. package/dist/v1/bundle/model.d.ts.map +0 -1
  499. package/dist/v1/bundle/model.js.map +0 -1
  500. package/dist/v1/bundle/structure.d.ts.map +0 -1
  501. package/dist/v1/bundle/structure.js.map +0 -1
  502. package/dist/v1/bundle.d.ts +0 -3
  503. package/dist/v1/bundle.d.ts.map +0 -1
  504. package/dist/v1/bundle.js +0 -3
  505. package/dist/v1/bundle.js.map +0 -1
  506. package/dist/v1/index.d.ts.map +0 -1
  507. package/dist/v1/index.js.map +0 -1
  508. package/dist/v1/schema/callable.d.ts +0 -29
  509. package/dist/v1/schema/callable.d.ts.map +0 -1
  510. package/dist/v1/schema/callable.js +0 -2
  511. package/dist/v1/schema/callable.js.map +0 -1
  512. package/dist/v1/schema/canonical/domain.d.ts.map +0 -1
  513. package/dist/v1/schema/canonical/domain.digest.d.ts.map +0 -1
  514. package/dist/v1/schema/canonical/domain.digest.js.map +0 -1
  515. package/dist/v1/schema/canonical/domain.js.map +0 -1
  516. package/dist/v1/schema/canonical/freeze.d.ts.map +0 -1
  517. package/dist/v1/schema/canonical/freeze.js.map +0 -1
  518. package/dist/v1/schema/core/declaration.d.ts +0 -17
  519. package/dist/v1/schema/core/declaration.d.ts.map +0 -1
  520. package/dist/v1/schema/core/declaration.js +0 -2
  521. package/dist/v1/schema/core/declaration.js.map +0 -1
  522. package/dist/v1/schema/core/validate.d.ts +0 -6
  523. package/dist/v1/schema/core/validate.d.ts.map +0 -1
  524. package/dist/v1/schema/core/validate.js.map +0 -1
  525. package/dist/v1/schema/definition/analysis.d.ts.map +0 -1
  526. package/dist/v1/schema/definition/analysis.js.map +0 -1
  527. package/dist/v1/schema/definition/class.d.ts +0 -28
  528. package/dist/v1/schema/definition/class.d.ts.map +0 -1
  529. package/dist/v1/schema/definition/class.js +0 -2
  530. package/dist/v1/schema/definition/class.js.map +0 -1
  531. package/dist/v1/schema/definition/data.d.ts.map +0 -1
  532. package/dist/v1/schema/definition/data.js.map +0 -1
  533. package/dist/v1/schema/definition/edge.d.ts.map +0 -1
  534. package/dist/v1/schema/definition/edge.js +0 -2
  535. package/dist/v1/schema/definition/edge.js.map +0 -1
  536. package/dist/v1/schema/definition/interface.d.ts +0 -22
  537. package/dist/v1/schema/definition/interface.d.ts.map +0 -1
  538. package/dist/v1/schema/definition/interface.js +0 -2
  539. package/dist/v1/schema/definition/interface.js.map +0 -1
  540. package/dist/v1/schema/definition/property.d.ts +0 -18
  541. package/dist/v1/schema/definition/property.d.ts.map +0 -1
  542. package/dist/v1/schema/definition/property.js +0 -2
  543. package/dist/v1/schema/definition/property.js.map +0 -1
  544. package/dist/v1/schema/definition/validate.d.ts +0 -5
  545. package/dist/v1/schema/definition/validate.d.ts.map +0 -1
  546. package/dist/v1/schema/definition/validate.js +0 -221
  547. package/dist/v1/schema/definition/validate.js.map +0 -1
  548. package/dist/v1/schema/dependency.meaning.d.ts.map +0 -1
  549. package/dist/v1/schema/dependency.meaning.js.map +0 -1
  550. package/dist/v1/schema/diagnostic.d.ts.map +0 -1
  551. package/dist/v1/schema/diagnostic.js.map +0 -1
  552. package/dist/v1/schema/domain.accept.d.ts +0 -4
  553. package/dist/v1/schema/domain.accept.d.ts.map +0 -1
  554. package/dist/v1/schema/domain.accept.js.map +0 -1
  555. package/dist/v1/schema/domain.codec.d.ts.map +0 -1
  556. package/dist/v1/schema/domain.codec.js.map +0 -1
  557. package/dist/v1/schema/domain.header.d.ts +0 -15
  558. package/dist/v1/schema/domain.header.d.ts.map +0 -1
  559. package/dist/v1/schema/domain.header.js +0 -21
  560. package/dist/v1/schema/domain.header.js.map +0 -1
  561. package/dist/v1/schema/domain.ir.d.ts +0 -40
  562. package/dist/v1/schema/domain.ir.d.ts.map +0 -1
  563. package/dist/v1/schema/domain.ir.js +0 -5
  564. package/dist/v1/schema/domain.ir.js.map +0 -1
  565. package/dist/v1/schema/domain.lookup.d.ts.map +0 -1
  566. package/dist/v1/schema/domain.lookup.js.map +0 -1
  567. package/dist/v1/schema/domain.resolve.d.ts +0 -26
  568. package/dist/v1/schema/domain.resolve.d.ts.map +0 -1
  569. package/dist/v1/schema/domain.resolve.js +0 -43
  570. package/dist/v1/schema/domain.resolve.js.map +0 -1
  571. package/dist/v1/schema/domain.revision.d.ts.map +0 -1
  572. package/dist/v1/schema/domain.revision.js.map +0 -1
  573. package/dist/v1/schema/domain.validate.d.ts +0 -12
  574. package/dist/v1/schema/domain.validate.d.ts.map +0 -1
  575. package/dist/v1/schema/domain.validate.js.map +0 -1
  576. package/dist/v1/schema/index.d.ts.map +0 -1
  577. package/dist/v1/schema/index.js.map +0 -1
  578. package/dist/v1/schema/metadata.d.ts.map +0 -1
  579. package/dist/v1/schema/metadata.js.map +0 -1
  580. package/dist/v1/schema/policy/ast.d.ts.map +0 -1
  581. package/dist/v1/schema/policy/ast.js +0 -2
  582. package/dist/v1/schema/policy/ast.js.map +0 -1
  583. package/dist/v1/schema/policy/normalize.d.ts +0 -5
  584. package/dist/v1/schema/policy/normalize.d.ts.map +0 -1
  585. package/dist/v1/schema/policy/normalize.js.map +0 -1
  586. package/dist/v1/schema/policy/validation/branches.d.ts.map +0 -1
  587. package/dist/v1/schema/policy/validation/branches.js.map +0 -1
  588. package/dist/v1/schema/policy/validation/budgets.d.ts.map +0 -1
  589. package/dist/v1/schema/policy/validation/budgets.js.map +0 -1
  590. package/dist/v1/schema/policy/validation/context.d.ts +0 -28
  591. package/dist/v1/schema/policy/validation/context.d.ts.map +0 -1
  592. package/dist/v1/schema/policy/validation/context.js.map +0 -1
  593. package/dist/v1/schema/policy/validation/references.d.ts.map +0 -1
  594. package/dist/v1/schema/policy/validation/references.js.map +0 -1
  595. package/dist/v1/schema/policy/validation/typing.d.ts.map +0 -1
  596. package/dist/v1/schema/policy/validation/typing.js.map +0 -1
  597. package/dist/v1/schema/policy/validation/uses.d.ts.map +0 -1
  598. package/dist/v1/schema/policy/validation/uses.js.map +0 -1
  599. package/dist/v1/schema/policy/validation/validate.d.ts.map +0 -1
  600. package/dist/v1/schema/policy/validation/validate.js.map +0 -1
  601. package/dist/v1/schema/reference.d.ts +0 -43
  602. package/dist/v1/schema/reference.d.ts.map +0 -1
  603. package/dist/v1/schema/reference.js +0 -31
  604. package/dist/v1/schema/reference.js.map +0 -1
  605. package/dist/v1/schema/resolution/closure.d.ts.map +0 -1
  606. package/dist/v1/schema/resolution/closure.js.map +0 -1
  607. package/dist/v1/schema/resolution/context.d.ts.map +0 -1
  608. package/dist/v1/schema/resolution/context.js.map +0 -1
  609. package/dist/v1/schema/resolution/definition.index.d.ts.map +0 -1
  610. package/dist/v1/schema/resolution/definition.index.js.map +0 -1
  611. package/dist/v1/schema/resolution/origins.d.ts.map +0 -1
  612. package/dist/v1/schema/resolution/origins.js.map +0 -1
  613. package/dist/v1/schema/resolution/value.registry.d.ts.map +0 -1
  614. package/dist/v1/schema/resolution/value.registry.js.map +0 -1
  615. package/dist/v1/schema/validation/domain.route.d.ts.map +0 -1
  616. package/dist/v1/schema/validation/domain.route.js.map +0 -1
  617. package/dist/v1/schema/validation/domain.structure.d.ts.map +0 -1
  618. package/dist/v1/schema/validation/domain.structure.js.map +0 -1
  619. package/dist/v1/schema/validation/value.d.ts.map +0 -1
  620. package/dist/v1/schema/validation/value.js.map +0 -1
  621. package/dist/v1/schema/value/extensions/node-path/schema.d.ts.map +0 -1
  622. package/dist/v1/schema/value/extensions/node-path/schema.js.map +0 -1
  623. package/dist/v1/schema/value/extensions/node-path/validate.d.ts +0 -5
  624. package/dist/v1/schema/value/extensions/node-path/validate.d.ts.map +0 -1
  625. package/dist/v1/schema/value/extensions/node-path/validate.js.map +0 -1
  626. package/dist/v1/schema/value/index.d.ts.map +0 -1
  627. package/dist/v1/schema/value/index.js.map +0 -1
  628. package/dist/v1/schema/value/instance/assertions.d.ts.map +0 -1
  629. package/dist/v1/schema/value/instance/assertions.js.map +0 -1
  630. package/dist/v1/schema/value/instance/compiler.d.ts.map +0 -1
  631. package/dist/v1/schema/value/instance/compiler.js +0 -69
  632. package/dist/v1/schema/value/instance/compiler.js.map +0 -1
  633. package/dist/v1/schema/value/instance/evaluator.d.ts.map +0 -1
  634. package/dist/v1/schema/value/instance/evaluator.js.map +0 -1
  635. package/dist/v1/schema/value/instance/types.d.ts.map +0 -1
  636. package/dist/v1/schema/value/instance/types.js.map +0 -1
  637. package/dist/v1/schema/value/instance.validate.d.ts.map +0 -1
  638. package/dist/v1/schema/value/instance.validate.js.map +0 -1
  639. package/dist/v1/schema/value/instant.d.ts.map +0 -1
  640. package/dist/v1/schema/value/instant.js.map +0 -1
  641. package/dist/v1/schema/value/location/keywords.d.ts.map +0 -1
  642. package/dist/v1/schema/value/location/keywords.js.map +0 -1
  643. package/dist/v1/schema/value/location/pointer.d.ts.map +0 -1
  644. package/dist/v1/schema/value/location/pointer.js.map +0 -1
  645. package/dist/v1/schema/value/location/walk.d.ts.map +0 -1
  646. package/dist/v1/schema/value/location/walk.js.map +0 -1
  647. package/dist/v1/schema/value/object.d.ts.map +0 -1
  648. package/dist/v1/schema/value/object.js.map +0 -1
  649. package/dist/v1/schema/value/ordering.d.ts.map +0 -1
  650. package/dist/v1/schema/value/ordering.js.map +0 -1
  651. package/dist/v1/schema/value/profile/canonicalize.d.ts.map +0 -1
  652. package/dist/v1/schema/value/profile/canonicalize.js.map +0 -1
  653. package/dist/v1/schema/value/profile/dialect.d.ts +0 -5
  654. package/dist/v1/schema/value/profile/dialect.d.ts.map +0 -1
  655. package/dist/v1/schema/value/profile/dialect.js +0 -36
  656. package/dist/v1/schema/value/profile/dialect.js.map +0 -1
  657. package/dist/v1/schema/value/profile/json.validate.d.ts +0 -3
  658. package/dist/v1/schema/value/profile/json.validate.d.ts.map +0 -1
  659. package/dist/v1/schema/value/profile/json.validate.js.map +0 -1
  660. package/dist/v1/schema/value/profile/meta-schema.compiled.d.ts.map +0 -1
  661. package/dist/v1/schema/value/profile/meta-schema.compiled.js.map +0 -1
  662. package/dist/v1/schema/value/profile/meta-schema.validate.d.ts +0 -4
  663. package/dist/v1/schema/value/profile/meta-schema.validate.d.ts.map +0 -1
  664. package/dist/v1/schema/value/profile/meta-schema.validate.js.map +0 -1
  665. package/dist/v1/schema/value/profile/rules.d.ts +0 -5
  666. package/dist/v1/schema/value/profile/rules.d.ts.map +0 -1
  667. package/dist/v1/schema/value/profile/rules.js.map +0 -1
  668. package/dist/v1/schema/value/profile/validate.d.ts +0 -5
  669. package/dist/v1/schema/value/profile/validate.d.ts.map +0 -1
  670. package/dist/v1/schema/value/profile/validate.js.map +0 -1
  671. package/dist/v1/schema/value/profile/vocabulary.d.ts.map +0 -1
  672. package/dist/v1/schema/value/profile/vocabulary.js.map +0 -1
  673. package/dist/v1/schema/value/regexp/linear.d.ts +0 -20
  674. package/dist/v1/schema/value/regexp/linear.d.ts.map +0 -1
  675. package/dist/v1/schema/value/regexp/linear.js +0 -24
  676. package/dist/v1/schema/value/regexp/linear.js.map +0 -1
  677. package/dist/v1/schema/value/regexp/lower.d.ts.map +0 -1
  678. package/dist/v1/schema/value/regexp/lower.js.map +0 -1
  679. package/dist/v1/schema/value/regexp/pattern.d.ts.map +0 -1
  680. package/dist/v1/schema/value/regexp/pattern.js.map +0 -1
  681. package/dist/v1/schema/value/regexp/syntax.d.ts +0 -3
  682. package/dist/v1/schema/value/regexp/syntax.d.ts.map +0 -1
  683. package/dist/v1/schema/value/regexp/syntax.js +0 -217
  684. package/dist/v1/schema/value/regexp/syntax.js.map +0 -1
  685. package/dist/v1/schema/value/registry.d.ts.map +0 -1
  686. package/dist/v1/schema/value/registry.js +0 -2
  687. package/dist/v1/schema/value/registry.js.map +0 -1
  688. package/dist/v1/schema/value/resources/closure.d.ts +0 -12
  689. package/dist/v1/schema/value/resources/closure.d.ts.map +0 -1
  690. package/dist/v1/schema/value/resources/closure.js.map +0 -1
  691. package/dist/v1/schema/value/resources/recursion.d.ts.map +0 -1
  692. package/dist/v1/schema/value/resources/recursion.js.map +0 -1
  693. package/dist/v1/schema/value/resources/references.d.ts +0 -25
  694. package/dist/v1/schema/value/resources/references.d.ts.map +0 -1
  695. package/dist/v1/schema/value/resources/references.js +0 -93
  696. package/dist/v1/schema/value/resources/references.js.map +0 -1
  697. package/dist/v1/schema/value/resources/registry.index.d.ts +0 -22
  698. package/dist/v1/schema/value/resources/registry.index.d.ts.map +0 -1
  699. package/dist/v1/schema/value/resources/registry.index.js.map +0 -1
  700. package/dist/v1/schema/value/schema.d.ts.map +0 -1
  701. package/dist/v1/schema/value/schema.js.map +0 -1
  702. package/dist/v1/schema/view/declaration.d.ts +0 -14
  703. package/dist/v1/schema/view/declaration.d.ts.map +0 -1
  704. package/dist/v1/schema/view/declaration.js +0 -2
  705. package/dist/v1/schema/view/declaration.js.map +0 -1
  706. package/dist/v1/schema/view/validate.d.ts +0 -4
  707. package/dist/v1/schema/view/validate.d.ts.map +0 -1
  708. package/dist/v1/schema/view/validate.js.map +0 -1
  709. package/dist/v1/schema.d.ts +0 -3
  710. package/dist/v1/schema.d.ts.map +0 -1
  711. package/dist/v1/schema.js +0 -3
  712. package/dist/v1/schema.js.map +0 -1
  713. package/dist/v1.d.ts.map +0 -1
  714. package/dist/v1.js.map +0 -1
  715. package/dist/value/accept.d.ts.map +0 -1
  716. package/dist/value/accept.js.map +0 -1
  717. package/dist/value/canonical.d.ts.map +0 -1
  718. package/dist/value/canonical.js.map +0 -1
  719. package/dist/value/decode.d.ts.map +0 -1
  720. package/dist/value/decode.js.map +0 -1
  721. package/dist/value/equal.d.ts.map +0 -1
  722. package/dist/value/equal.js.map +0 -1
  723. package/dist/value/error.d.ts.map +0 -1
  724. package/dist/value/error.js.map +0 -1
  725. package/dist/value/index.d.ts.map +0 -1
  726. package/dist/value/index.js.map +0 -1
  727. package/dist/value/json.d.ts.map +0 -1
  728. package/dist/value/json.js.map +0 -1
  729. package/dist/value/limits.d.ts.map +0 -1
  730. package/dist/value/limits.js.map +0 -1
  731. package/dist/value/types.d.ts.map +0 -1
  732. package/dist/value/types.js.map +0 -1
  733. package/dist/value/unicode.d.ts.map +0 -1
  734. package/dist/value/unicode.js.map +0 -1
  735. package/dist/version/dispatch.d.ts.map +0 -1
  736. package/dist/version/dispatch.js.map +0 -1
  737. package/dist/version/index.d.ts.map +0 -1
  738. package/dist/version/index.js.map +0 -1
@@ -1,8 +1,9 @@
1
- import { diagnostic } from '../../../diagnostic.js';
2
- import { schemaRefIndex, DOMAIN_ORIGIN_PATTERN, MEMBER_NAME_PATTERN } from '../../../reference.js';
3
- import { parseJsonPointerFragment } from '../../location/pointer.js';
4
- import { walkSchema } from '../../location/walk.js';
5
- import { isValueObject as isJsonObject } from '../../object.js';
1
+ import { Key } from '../../../../addressing/index.js';
2
+ import { DOMAIN_ORIGIN_PATTERN, MEMBER_NAME_PATTERN } from '../../../../addressing/patterns.js';
3
+ import { diagnostic } from '../../../validation/diagnostic.js';
4
+ import { isValueObject as isJsonObject } from '../../model/object.js';
5
+ import { parseJsonPointerFragment } from '../pointer.js';
6
+ import { walkSchema } from '../walk.js';
6
7
  import { GRAPH_NODE_PATH_SCHEMA_ID } from './schema.js';
7
8
  export function validateNodePathExtension(schema, context, pointer, definitionExists) {
8
9
  const diagnostics = [];
@@ -14,15 +15,13 @@ export function validateNodePathExtension(schema, context, pointer, definitionEx
14
15
  const tokens = parseJsonPointerFragment(`#${location.pointer}`);
15
16
  const fieldName = tokens?.length === 2 && tokens[0] === 'properties' ? tokens[1] : undefined;
16
17
  const root = isJsonObject(schema) ? schema : undefined;
17
- const directRequiredField = context === 'callable-input' &&
18
+ const directField = context === 'callable-input' &&
18
19
  root?.type === 'object' &&
19
20
  location.depth === 1 &&
20
21
  location.parentKeyword === 'properties' &&
21
- fieldName !== undefined &&
22
- Array.isArray(root?.required) &&
23
- root.required.includes(fieldName);
24
- if (!directRequiredField) {
25
- diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path is allowed only on a direct required property schema at a callable-input object root.'));
22
+ fieldName !== undefined;
23
+ if (!directField) {
24
+ diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'x-astrale-path is allowed only on a direct property schema at a callable-input object root.'));
26
25
  }
27
26
  const schemaKeys = Object.keys(location.schema);
28
27
  if (schemaKeys.length !== 2 ||
@@ -42,23 +41,23 @@ export function validateNodePathExtension(schema, context, pointer, definitionEx
42
41
  diagnostics.push(diagnostic('VS_PATH_EXTENSION', extensionPointer, 'A V1 Path field resolves exactly one Node.'));
43
42
  }
44
43
  if (!Array.isArray(annotation.accepts) || annotation.accepts.length === 0) {
45
- diagnostics.push(diagnostic('VS_PATH_EXTENSION', `${extensionPointer}/accepts`, 'x-astrale-path.accepts must be a non-empty Node Definition ref set.'));
44
+ diagnostics.push(diagnostic('VS_PATH_EXTENSION', `${extensionPointer}/accepts`, 'x-astrale-path.accepts must be a non-empty Node Class ref set.'));
46
45
  return;
47
46
  }
48
47
  const seen = new Set();
49
48
  annotation.accepts.forEach((candidate, candidateIndex) => {
50
49
  const candidatePointer = `${extensionPointer}/accepts/${candidateIndex}`;
51
50
  if (!isNodeDefinitionRef(candidate)) {
52
- diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'Path acceptance entries are exact node-family class or interface refs.'));
51
+ diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'Path acceptance entries are exact Node Class refs.'));
53
52
  return;
54
53
  }
55
- const key = schemaRefIndex(candidate);
54
+ const key = Key.of(candidate);
56
55
  if (seen.has(key)) {
57
- diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'x-astrale-path.accepts rejects duplicate Definition refs.'));
56
+ diagnostics.push(diagnostic('VS_PATH_EXTENSION', candidatePointer, 'x-astrale-path.accepts rejects duplicate Class refs.'));
58
57
  }
59
58
  seen.add(key);
60
59
  if (!definitionExists(candidate)) {
61
- diagnostics.push(diagnostic('VS_REFERENCE_RESOLUTION', candidatePointer, 'Path acceptance Definition is absent from the current/direct exact registry.'));
60
+ diagnostics.push(diagnostic('VS_REFERENCE_RESOLUTION', candidatePointer, 'Path acceptance Class is absent from the current/direct exact registry.'));
62
61
  }
63
62
  });
64
63
  });
@@ -69,7 +68,7 @@ function isNodeDefinitionRef(value) {
69
68
  hasExactKeys(value, ['origin', 'kind', 'name']) &&
70
69
  typeof value.origin === 'string' &&
71
70
  DOMAIN_ORIGIN_PATTERN.test(value.origin) &&
72
- (value.kind === 'interface' || value.kind === 'class') &&
71
+ value.kind === 'class' &&
73
72
  typeof value.name === 'string' &&
74
73
  MEMBER_NAME_PATTERN.test(value.name));
75
74
  }
@@ -77,4 +76,3 @@ function hasExactKeys(value, expected) {
77
76
  const actual = Object.keys(value);
78
77
  return actual.length === expected.length && expected.every((key) => Object.hasOwn(value, key));
79
78
  }
80
- //# sourceMappingURL=validate.js.map
@@ -2,4 +2,3 @@ export declare function appendPointer(pointer: string, token: string | number):
2
2
  export declare function parseJsonPointerFragment(fragment: string): readonly string[] | undefined;
3
3
  export declare function tokensToPointer(tokens: readonly string[]): string;
4
4
  export declare function resolvePointer(root: unknown, tokens: readonly string[]): unknown;
5
- //# sourceMappingURL=pointer.d.ts.map
@@ -46,5 +46,4 @@ export function resolvePointer(root, tokens) {
46
46
  }
47
47
  return value;
48
48
  }
49
- import { isValueObject as isJsonObject } from '../object.js';
50
- //# sourceMappingURL=pointer.js.map
49
+ import { isValueObject as isJsonObject } from '../model/object.js';
@@ -1,4 +1,4 @@
1
- import type { JsonSchema } from '../schema.js';
1
+ import type { JsonSchema } from '../model/schema.js';
2
2
  export interface SchemaLocation {
3
3
  readonly schema: JsonSchema;
4
4
  readonly pointer: string;
@@ -8,4 +8,3 @@ export interface SchemaLocation {
8
8
  export declare function walkSchema(schema: JsonSchema, visit: (location: SchemaLocation) => void, pointer?: string): void;
9
9
  export declare function collectSchemaPointers(schema: JsonSchema): ReadonlySet<string>;
10
10
  export declare function isJsonSchema(value: unknown): value is JsonSchema;
11
- //# sourceMappingURL=walk.d.ts.map
@@ -1,4 +1,4 @@
1
- import { isValueObject as isJsonObject } from '../object.js';
1
+ import { isValueObject as isJsonObject } from '../model/object.js';
2
2
  import { SCHEMA_ARRAY_KEYWORDS, SCHEMA_MAP_KEYWORDS, SCHEMA_SINGLE_KEYWORDS } from './keywords.js';
3
3
  import { appendPointer } from './pointer.js';
4
4
  export function walkSchema(schema, visit, pointer = '') {
@@ -51,4 +51,3 @@ export function collectSchemaPointers(schema) {
51
51
  export function isJsonSchema(value) {
52
52
  return typeof value === 'boolean' || isJsonObject(value);
53
53
  }
54
- //# sourceMappingURL=walk.js.map
@@ -0,0 +1,2 @@
1
+ export type * from './model/view.js';
2
+ export type * from './resolved.js';
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,11 @@
1
+ import type { ClassRef, DefinitionBase, ViewRef } from '../../../addressing/index.js';
2
+ export type ViewTarget = {
3
+ readonly kind: 'domain';
4
+ } | {
5
+ readonly kind: 'definition';
6
+ readonly definitions: readonly [ClassRef, ...ClassRef[]];
7
+ };
8
+ export interface ViewDefinition extends DefinitionBase<ViewRef> {
9
+ readonly description?: string;
10
+ readonly target: ViewTarget;
11
+ }
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,9 @@
1
+ import type { DefinitionKey, ViewRef } from '../../addressing/index.js';
2
+ import type { ViewDefinition, ViewTarget } from './model/view.js';
3
+ export interface ResolvedView {
4
+ readonly ref: ViewRef;
5
+ readonly key: DefinitionKey<string, 'view'>;
6
+ readonly target: ViewTarget;
7
+ readonly description?: ViewDefinition['description'];
8
+ readonly definition: ViewDefinition;
9
+ }
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,3 @@
1
+ import type { DomainSchemaLookup } from '../dependency/lookup.js';
2
+ import type { DomainSchema } from '../model/schema.js';
3
+ export declare function acceptDomainSchema(input: unknown, lookup?: DomainSchemaLookup): DomainSchema;
@@ -1,10 +1,10 @@
1
1
  import { accept as acceptJsonValue, BoundaryError as JsonBoundaryError, } from '@astrale-os/kernel-dsl/value';
2
- import { DomainSchemaError, diagnostic } from './diagnostic.js';
3
- import { emptyDomainSchemaLookup } from './domain.lookup.js';
4
- import { canonicalDomainSchemaAfterValidation } from './domain.revision.js';
5
- import { validateDomainSchemaSemantics } from './domain.validate.js';
6
- import { rememberDomainClosure } from './resolution/closure.js';
7
- import { routeDomainSchema } from './validation/domain.route.js';
2
+ import { canonicalDomainSchemaAfterValidation } from '../canonical/revision.js';
3
+ import { emptyDomainSchemaLookup } from '../dependency/lookup.js';
4
+ import { SchemaError, diagnostic } from '../diagnostic.js';
5
+ import { rememberDomainClosure } from '../resolution/closure.js';
6
+ import { validateDomainSchemaSemantics } from '../validation/domain.js';
7
+ import { routeDomainSchema } from '../validation/domain.route.js';
8
8
  export function acceptDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
9
9
  let admitted;
10
10
  try {
@@ -12,16 +12,15 @@ export function acceptDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
12
12
  }
13
13
  catch (error) {
14
14
  if (error instanceof JsonBoundaryError) {
15
- throw new DomainSchemaError([diagnostic('DV_JSON_VALUE', error.pointer, error.message)]);
15
+ throw new SchemaError([diagnostic('DV_JSON_VALUE', error.pointer, error.message)]);
16
16
  }
17
17
  throw error;
18
18
  }
19
19
  const structured = routeDomainSchema(admitted);
20
20
  const validation = validateDomainSchemaSemantics(structured, lookup);
21
21
  if (validation.diagnostics.length > 0)
22
- throw new DomainSchemaError(validation.diagnostics);
22
+ throw new SchemaError(validation.diagnostics);
23
23
  const accepted = canonicalDomainSchemaAfterValidation(structured).schema;
24
24
  rememberDomainClosure(accepted, validation.context.dependencies.values());
25
25
  return accepted;
26
26
  }
27
- //# sourceMappingURL=domain.accept.js.map
@@ -1,43 +1,42 @@
1
- import type { MethodDeclaration } from '../callable.js';
2
- import type { DomainDiagnostic } from '../diagnostic.js';
3
- import type { DefinitionRef } from '../reference.js';
1
+ import type { ClassRef } from '../../addressing/index.js';
2
+ import type { MethodDefinition } from '../../language/callable/model/callable.js';
3
+ import type { ClassDefinition } from '../../language/class/model/class.js';
4
+ import type { DataDefinition } from '../../language/class/model/data.js';
5
+ import type { PropertyAuto } from '../../language/class/model/property.js';
6
+ import type { StateTopology } from '../../language/state/index.js';
7
+ import type { JsonSchema } from '../../language/value/model/schema.js';
8
+ import type { SchemaDiagnostic } from '../diagnostic.js';
4
9
  import type { DomainResolutionContext } from '../resolution/context.js';
5
- import type { JsonSchema } from '../value/schema.js';
6
- import type { ClassDeclaration } from './class.js';
7
- import type { DataDeclaration } from './data.js';
8
- import type { InterfaceDeclaration } from './interface.js';
9
- import type { PropertyAuto } from './property.js';
10
10
  import { PropertyKey } from '../../addressing/index.js';
11
11
  export interface EffectiveField {
12
12
  readonly identity: PropertyKey;
13
- readonly owner: DefinitionRef;
13
+ readonly owner: ClassRef;
14
14
  readonly name: string;
15
15
  readonly schema: JsonSchema;
16
16
  readonly required: boolean;
17
- readonly visibility: 'public' | 'private';
18
17
  readonly auto?: PropertyAuto;
18
+ readonly state?: StateTopology;
19
19
  }
20
20
  export interface EffectiveMethod {
21
21
  readonly identity: string;
22
- readonly owner: DefinitionRef;
22
+ readonly owner: ClassRef;
23
23
  readonly name: string;
24
- readonly declaration: MethodDeclaration;
24
+ readonly declaration: MethodDefinition;
25
25
  }
26
26
  export interface EffectiveData {
27
27
  readonly identity: string;
28
- readonly owner: DefinitionRef;
29
- readonly declaration: DataDeclaration;
28
+ readonly owner: ClassRef;
29
+ readonly declaration: DataDefinition;
30
30
  }
31
31
  export interface DefinitionAnalysis {
32
- readonly ref: DefinitionRef;
33
- readonly declaration: InterfaceDeclaration | ClassDeclaration;
32
+ readonly ref: ClassRef;
33
+ readonly declaration: ClassDefinition;
34
34
  readonly properties: ReadonlyMap<PropertyKey, EffectiveField>;
35
35
  readonly data?: EffectiveData;
36
36
  readonly methods: ReadonlyMap<string, EffectiveMethod>;
37
37
  }
38
38
  export interface DefinitionAnalysisResult {
39
39
  readonly definitions: ReadonlyMap<string, DefinitionAnalysis>;
40
- readonly diagnostics: readonly DomainDiagnostic[];
40
+ readonly diagnostics: readonly SchemaDiagnostic[];
41
41
  }
42
42
  export declare function analyzeDefinitions(environment: DomainResolutionContext): DefinitionAnalysisResult;
43
- //# sourceMappingURL=analysis.d.ts.map
@@ -1,20 +1,21 @@
1
1
  import { json } from '@astrale-os/kernel-dsl/value';
2
- import { PropertyKey } from '../../addressing/index.js';
2
+ import { Key, PropertyKey } from '../../addressing/index.js';
3
+ import { definitionRefIndex } from '../../addressing/ordering.js';
4
+ import { normalizePolicyChecks } from '../../language/policy/normalization/normalize.js';
5
+ import { canonicalizeValueSchema } from '../../language/value/profile/canonicalize.js';
3
6
  import { diagnostic } from '../diagnostic.js';
4
- import { normalizePolicyChecks } from '../policy/normalize.js';
5
- import { schemaRefIndex, formatSchemaRef } from '../reference.js';
6
- import { canonicalizeValueSchema } from '../value/profile/canonicalize.js';
7
+ const formatDefinitionRef = Key.of;
7
8
  export function analyzeDefinitions(environment) {
8
9
  const diagnostics = [];
9
10
  const result = new Map();
10
11
  const visiting = new Set();
11
12
  const analyze = (ref) => {
12
- const key = schemaRefIndex(ref);
13
+ const key = definitionRefIndex(ref);
13
14
  const cached = result.get(key);
14
15
  if (cached !== undefined)
15
16
  return cached;
16
17
  if (visiting.has(key)) {
17
- diagnostics.push(diagnostic('DV_INTERFACE_ACYCLIC', '', `Inheritance cycle reaches ${formatSchemaRef(ref)}.`, formatSchemaRef(ref)));
18
+ diagnostics.push(diagnostic('DV_CLASS_ACYCLIC', '', `Inheritance cycle reaches ${formatDefinitionRef(ref)}.`, formatDefinitionRef(ref)));
18
19
  return undefined;
19
20
  }
20
21
  const resolved = environment.resolveAny(ref);
@@ -22,14 +23,14 @@ export function analyzeDefinitions(environment) {
22
23
  return undefined;
23
24
  visiting.add(key);
24
25
  const declaration = resolved.declaration;
25
- const parents = parentRefs(declaration, ref.kind);
26
+ const parents = declaration.extends;
26
27
  const parentAnalyses = parents.flatMap((parent) => {
27
28
  const target = environment.resolveAny(parent);
28
29
  if (target === undefined) {
29
- diagnostics.push(diagnostic('DV_REF_RESOLVES', '', `Inheritance ref ${formatSchemaRef(parent)} does not resolve.`, formatSchemaRef(parent)));
30
+ diagnostics.push(diagnostic('DV_REF_RESOLVES', '', `Inheritance ref ${formatDefinitionRef(parent)} does not resolve.`, formatDefinitionRef(parent)));
30
31
  return [];
31
32
  }
32
- const analysis = analyze(target.ref);
33
+ const analysis = target.ref.kind === 'class' ? analyze(target.ref) : undefined;
33
34
  return analysis === undefined ? [] : [analysis];
34
35
  });
35
36
  const properties = mergeFields(parentAnalyses.map((parent) => parent.properties), ownFields(ref, declaration));
@@ -51,27 +52,18 @@ export function analyzeDefinitions(environment) {
51
52
  }
52
53
  return Object.freeze({ definitions: result, diagnostics: Object.freeze(diagnostics) });
53
54
  }
54
- function parentRefs(declaration, kind) {
55
- if (kind === 'interface') {
56
- return declaration.extends;
57
- }
58
- return declaration.implements;
59
- }
60
55
  function ownFields(owner, declaration) {
61
- const root = declaration.properties;
62
- const required = new Set(root.required);
63
56
  const result = new Map();
64
- for (const [name, schema] of Object.entries(root.properties)) {
57
+ for (const [name, property] of Object.entries(declaration.properties)) {
65
58
  const key = PropertyKey.of(owner, name);
66
- const metadata = declaration.propertyMetadata[name];
67
59
  result.set(key, {
68
60
  identity: key,
69
61
  owner,
70
62
  name,
71
- schema,
72
- required: required.has(name),
73
- visibility: metadata?.visibility === 'private' ? 'private' : 'public',
74
- ...(metadata?.auto === undefined ? {} : { auto: metadata.auto }),
63
+ schema: property.schema,
64
+ required: property.required,
65
+ ...(property.auto === undefined ? {} : { auto: property.auto }),
66
+ ...(property.state === undefined ? {} : { state: property.state }),
75
67
  });
76
68
  }
77
69
  return result;
@@ -99,17 +91,17 @@ function mergeData(owner, declaration, parents, diagnostics) {
99
91
  continue;
100
92
  }
101
93
  if (effective.identity !== parent.data.identity) {
102
- diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data has distinct declaring owners ${formatSchemaRef(effective.owner)} and ${formatSchemaRef(parent.data.owner)}.`));
94
+ diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data has distinct declaring owners ${formatDefinitionRef(effective.owner)} and ${formatDefinitionRef(parent.data.owner)}.`));
103
95
  }
104
96
  }
105
97
  const own = 'data' in declaration ? declaration.data : undefined;
106
98
  if (own === undefined)
107
99
  return effective;
108
100
  if (effective !== undefined) {
109
- diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data redeclares the inherited contract from ${formatSchemaRef(effective.owner)}.`));
101
+ diagnostics.push(diagnostic('DV_DATA_COMPOSITION', '', `Data redeclares the inherited contract from ${formatDefinitionRef(effective.owner)}.`));
110
102
  }
111
103
  return {
112
- identity: `${schemaRefIndex(owner)}\u0000data`,
104
+ identity: `${definitionRefIndex(owner)}\u0000data`,
113
105
  owner,
114
106
  declaration: own,
115
107
  };
@@ -135,7 +127,7 @@ function mergeMethods(owner, declaration, parents, diagnostics) {
135
127
  const parentsForName = inherited.get(name) ?? [];
136
128
  for (const parent of parentsForName) {
137
129
  if (parent.declaration.inheritance === 'sealed') {
138
- diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} cannot override sealed ${formatSchemaRef(parent.owner)}.${name}.`));
130
+ diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} cannot override sealed ${formatDefinitionRef(parent.owner)}.${name}.`));
139
131
  }
140
132
  if (!sameMethodSignature(ownMethod, parent.declaration)) {
141
133
  diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Method ${name} does not exactly preserve its inherited signature.`));
@@ -146,7 +138,7 @@ function mergeMethods(owner, declaration, parents, diagnostics) {
146
138
  }
147
139
  }
148
140
  result.set(name, {
149
- identity: `${schemaRefIndex(owner)}\u0000method\u0000${name}`,
141
+ identity: `${definitionRefIndex(owner)}\u0000method\u0000${name}`,
150
142
  owner,
151
143
  name,
152
144
  declaration: ownMethod,
@@ -158,7 +150,7 @@ function mergeMethods(owner, declaration, parents, diagnostics) {
158
150
  diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Inherited method ${name} is ambiguous and has no local override.`));
159
151
  }
160
152
  }
161
- if (owner.kind === 'class' && declaration.family === 'node') {
153
+ if (declaration.kind === 'node' && !declaration.abstract) {
162
154
  for (const [name, method] of result) {
163
155
  if (method.declaration.inheritance === 'abstract') {
164
156
  diagnostics.push(diagnostic('DV_METHOD_COMPOSITION', '', `Concrete Class ${owner.name} leaves method ${name} abstract.`));
@@ -187,4 +179,3 @@ function canonicalMethodOutput(value) {
187
179
  function canonicalPolicy(value) {
188
180
  return json.serialize(value === undefined ? null : normalizePolicyChecks(value));
189
181
  }
190
- //# sourceMappingURL=analysis.js.map
@@ -1,3 +1,3 @@
1
- import type { DomainSchemaIR } from '../domain.ir.js';
1
+ import type { DomainSchemaIR } from '../model/schema.js';
2
+ /** Produce the deterministic semantic document consumed by canonical JSON serialization. */
2
3
  export declare function canonicalizeDomainSchema(schema: DomainSchemaIR): DomainSchemaIR;
3
- //# sourceMappingURL=domain.d.ts.map
@@ -1,4 +1,3 @@
1
- import type { Revision } from '../reference.js';
1
+ import type { Revision } from '../../addressing/index.js';
2
2
  /** Content-address canonical DomainSchema bytes with the V1 revision algorithm. */
3
3
  export declare function digestDomainSchemaBytes(bytes: Uint8Array): Revision;
4
- //# sourceMappingURL=domain.digest.d.ts.map
@@ -1,9 +1,5 @@
1
- import { sha256 } from '@noble/hashes/sha2.js';
1
+ import { digestRevisionBytes } from '../../addressing/revision.js';
2
2
  /** Content-address canonical DomainSchema bytes with the V1 revision algorithm. */
3
3
  export function digestDomainSchemaBytes(bytes) {
4
- let hexadecimal = '';
5
- for (const byte of sha256(bytes))
6
- hexadecimal += byte.toString(16).padStart(2, '0');
7
- return `sha256:${hexadecimal}`;
4
+ return digestRevisionBytes(bytes);
8
5
  }
9
- //# sourceMappingURL=domain.digest.js.map
@@ -1,226 +1,5 @@
1
- import { json } from '@astrale-os/kernel-dsl/value';
2
- import { normalizePolicyChecks, normalizePolicyDeclaration } from '../policy/normalize.js';
3
- import { compareSchemaRefs, compareUnicode, } from '../reference.js';
4
- import { canonicalizeValueSchema } from '../value/profile/canonicalize.js';
1
+ import { normalizeDomainSchema } from '../normalization/domain.js';
2
+ /** Produce the deterministic semantic document consumed by canonical JSON serialization. */
5
3
  export function canonicalizeDomainSchema(schema) {
6
- const classes = mapRecord(schema.classes, canonicalizeClass);
7
- const orientationByClass = new Map(Object.entries(classes)
8
- .filter((entry) => entry[1].family === 'edge')
9
- .map(([name, declaration]) => [name, declaration.orientation]));
10
- const canonical = {
11
- format: 'astrale.dsl',
12
- version: 'v1',
13
- origin: schema.origin,
14
- dependencies: [...schema.dependencies].sort((left, right) => compareUnicode(left.origin, right.origin)),
15
- types: mapRecord(schema.types, (value) => canonicalizeValueSchema(value, 'named-type')),
16
- interfaces: mapRecord(schema.interfaces, canonicalizeInterface),
17
- classes,
18
- functions: mapRecord(schema.functions, canonicalizeFunction),
19
- policies: mapRecord(schema.policies, normalizePolicyDeclaration),
20
- views: mapRecord(schema.views, canonicalizeView),
21
- core: {
22
- nodes: mapRecord(schema.core.nodes, (node) => ({
23
- class: node.class,
24
- properties: copyJsonValue(node.properties),
25
- })),
26
- edges: schema.core.edges
27
- .map((edge) => canonicalizeCoreEdge(edge, schema.origin, orientationByClass))
28
- .sort(compareCoreEdges),
29
- },
30
- };
31
- return copyJsonValue(canonical);
4
+ return normalizeDomainSchema(schema);
32
5
  }
33
- function canonicalizeView(value) {
34
- return {
35
- ...withDescription(value),
36
- target: value.target.kind === 'domain'
37
- ? { kind: 'domain' }
38
- : {
39
- kind: 'definition',
40
- definitions: [...value.target.definitions].sort(compareSchemaRefs),
41
- },
42
- auth: value.auth,
43
- };
44
- }
45
- function canonicalizeInterface(value) {
46
- const base = {
47
- ...withDescription(value),
48
- family: value.family,
49
- extends: [...value.extends].sort(compareSchemaRefs),
50
- properties: canonicalizePropertyFacet(value.properties),
51
- propertyMetadata: canonicalizePropertyMetadata(value.propertyMetadata),
52
- };
53
- if (value.family === 'both')
54
- return base;
55
- if (value.family === 'node') {
56
- return {
57
- ...base,
58
- methods: mapRecord(value.methods, canonicalizeMethod),
59
- ...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
60
- };
61
- }
62
- return value.orientation === 'directed'
63
- ? {
64
- ...base,
65
- orientation: 'directed',
66
- endpoints: canonicalizeDirectedEndpoints(value.endpoints),
67
- constraints: value.constraints,
68
- }
69
- : {
70
- ...base,
71
- orientation: 'undirected',
72
- endpoints: canonicalizeIncidentEndpoints(value.endpoints),
73
- constraints: value.constraints,
74
- };
75
- }
76
- function canonicalizeClass(value) {
77
- const base = {
78
- ...withDescription(value),
79
- family: value.family,
80
- implements: [...value.implements].sort(compareSchemaRefs),
81
- properties: canonicalizePropertyFacet(value.properties),
82
- propertyMetadata: canonicalizePropertyMetadata(value.propertyMetadata),
83
- };
84
- if (value.family === 'node') {
85
- return {
86
- ...base,
87
- methods: mapRecord(value.methods, canonicalizeMethod),
88
- ...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
89
- ...(value.icon === undefined ? {} : { icon: value.icon }),
90
- policies: value.policies,
91
- };
92
- }
93
- return value.orientation === 'directed'
94
- ? {
95
- ...base,
96
- orientation: 'directed',
97
- endpoints: canonicalizeDirectedEndpoints(value.endpoints),
98
- policies: value.policies,
99
- constraints: value.constraints,
100
- }
101
- : {
102
- ...base,
103
- orientation: 'undirected',
104
- endpoints: canonicalizeIncidentEndpoints(value.endpoints),
105
- policies: value.policies,
106
- constraints: value.constraints,
107
- };
108
- }
109
- function canonicalizeFunction(value) {
110
- return {
111
- ...withDescription(value),
112
- input: canonicalizeValueSchema(value.input, 'callable-input'),
113
- output: canonicalizeCallableOutput(value.output),
114
- auth: value.auth,
115
- ...(value.policy === undefined ? {} : { policy: normalizePolicyChecks(value.policy) }),
116
- };
117
- }
118
- function canonicalizeMethod(value) {
119
- return {
120
- ...canonicalizeFunction(value),
121
- static: value.static,
122
- inheritance: value.inheritance,
123
- };
124
- }
125
- function canonicalizeCallableOutput(value) {
126
- switch (value.mode) {
127
- case 'value':
128
- return { mode: 'value', schema: canonicalizeValueSchema(value.schema, 'callable-output') };
129
- case 'stream':
130
- return { mode: 'stream', item: canonicalizeValueSchema(value.item, 'callable-output') };
131
- case 'binary':
132
- return { mode: 'binary' };
133
- }
134
- }
135
- function canonicalizePropertyFacet(value) {
136
- const canonical = canonicalizeValueSchema(value, 'property-facet');
137
- return canonical;
138
- }
139
- function canonicalizePropertyMetadata(value) {
140
- return Object.fromEntries(Object.entries(value)
141
- .filter(([, metadata]) => metadata.visibility === 'private' || metadata.auto !== undefined)
142
- .map(([name, metadata]) => [
143
- name,
144
- metadata.auto === undefined
145
- ? { visibility: metadata.visibility }
146
- : {
147
- visibility: metadata.visibility,
148
- auto: {
149
- on: [...new Set(metadata.auto.on)].sort(compareUnicode),
150
- set: metadata.auto.set,
151
- },
152
- },
153
- ])
154
- .sort(([left], [right]) => compareUnicode(left, right)));
155
- }
156
- function canonicalizeDirectedEndpoints(value) {
157
- return {
158
- ...value,
159
- source: { ...value.source, accepts: [...value.source.accepts].sort(compareSchemaRefs) },
160
- target: { ...value.target, accepts: [...value.target.accepts].sort(compareSchemaRefs) },
161
- };
162
- }
163
- function canonicalizeIncidentEndpoints(value) {
164
- return [
165
- { ...value[0], accepts: [...value[0].accepts].sort(compareSchemaRefs) },
166
- { ...value[1], accepts: [...value[1].accepts].sort(compareSchemaRefs) },
167
- ];
168
- }
169
- function canonicalizeCoreEdge(edge, origin, orientationByClass) {
170
- const isLocal = edge.class.origin === origin;
171
- const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';
172
- const [source, target] = isUndirected && compareCoreEndpoints(edge.source, edge.target) > 0
173
- ? [edge.target, edge.source]
174
- : [edge.source, edge.target];
175
- return {
176
- class: edge.class,
177
- source,
178
- target,
179
- properties: copyJsonValue(edge.properties),
180
- };
181
- }
182
- function compareCoreEdges(left, right) {
183
- return (compareSchemaRefs(left.class, right.class) ||
184
- compareCoreEndpoints(left.source, right.source) ||
185
- compareCoreEndpoints(left.target, right.target) ||
186
- compareBytes(json.serialize(left.properties), json.serialize(right.properties)));
187
- }
188
- function compareCoreEndpoints(left, right) {
189
- if (left.kind === 'domain')
190
- return right.kind === 'domain' ? 0 : -1;
191
- if (right.kind === 'domain')
192
- return 1;
193
- return compareSchemaRefs(left, right);
194
- }
195
- function compareBytes(left, right) {
196
- const encoder = new TextEncoder();
197
- const a = encoder.encode(left);
198
- const b = encoder.encode(right);
199
- const length = Math.min(a.length, b.length);
200
- for (let index = 0; index < length; index++) {
201
- if (a[index] !== b[index])
202
- return (a[index] ?? 0) - (b[index] ?? 0);
203
- }
204
- return a.length - b.length;
205
- }
206
- function mapRecord(value, map) {
207
- return Object.fromEntries(Object.entries(value)
208
- .sort(([left], [right]) => compareUnicode(left, right))
209
- .map(([name, entry]) => [name, map(entry, name)]));
210
- }
211
- function withDescription(value) {
212
- return value.description === undefined ? {} : { description: value.description };
213
- }
214
- function copyJsonValue(value) {
215
- if (typeof value === 'number') {
216
- if (Object.is(value, -0))
217
- throw new TypeError('Cannot canonicalize negative zero.');
218
- return value;
219
- }
220
- if (value === null || typeof value !== 'object')
221
- return value;
222
- if (Array.isArray(value))
223
- return value.map((entry) => copyJsonValue(entry));
224
- return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, copyJsonValue(entry)]));
225
- }
226
- //# sourceMappingURL=domain.js.map
@@ -1,2 +1 @@
1
1
  export declare function deepFreeze<T>(value: T): Readonly<T>;
2
- //# sourceMappingURL=freeze.d.ts.map