@astrale-os/kernel-dsl 0.1.5 → 0.2.0-beta.1

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 (866) hide show
  1. package/dist/index.d.ts +1 -56
  2. package/dist/index.d.ts.map +1 -1
  3. package/dist/index.js +1 -30
  4. package/dist/index.js.map +1 -1
  5. package/dist/upgrade/contract.d.ts +32 -0
  6. package/dist/upgrade/contract.d.ts.map +1 -0
  7. package/dist/upgrade/contract.js +2 -0
  8. package/dist/upgrade/contract.js.map +1 -0
  9. package/dist/upgrade/index.d.ts +2 -0
  10. package/dist/upgrade/index.d.ts.map +1 -0
  11. package/dist/upgrade/index.js.map +1 -0
  12. package/dist/v1/addressing/index.d.ts +6 -0
  13. package/dist/v1/addressing/index.d.ts.map +1 -0
  14. package/dist/v1/addressing/index.js +5 -0
  15. package/dist/v1/addressing/index.js.map +1 -0
  16. package/dist/v1/addressing/key.d.ts +21 -0
  17. package/dist/v1/addressing/key.d.ts.map +1 -0
  18. package/dist/v1/addressing/key.js +49 -0
  19. package/dist/v1/addressing/key.js.map +1 -0
  20. package/dist/v1/addressing/patterns.d.ts +18 -0
  21. package/dist/v1/addressing/patterns.d.ts.map +1 -0
  22. package/dist/v1/addressing/patterns.js +20 -0
  23. package/dist/v1/addressing/patterns.js.map +1 -0
  24. package/dist/v1/addressing/property-key.d.ts +18 -0
  25. package/dist/v1/addressing/property-key.d.ts.map +1 -0
  26. package/dist/v1/addressing/property-key.js +30 -0
  27. package/dist/v1/addressing/property-key.js.map +1 -0
  28. package/dist/v1/addressing/ref.d.ts +35 -0
  29. package/dist/v1/addressing/ref.d.ts.map +1 -0
  30. package/dist/v1/addressing/ref.js +94 -0
  31. package/dist/v1/addressing/ref.js.map +1 -0
  32. package/dist/v1/addressing/schema-ref.d.ts +8 -0
  33. package/dist/v1/addressing/schema-ref.d.ts.map +1 -0
  34. package/dist/v1/addressing/schema-ref.js +2 -0
  35. package/dist/v1/addressing/schema-ref.js.map +1 -0
  36. package/dist/v1/builder/callable.d.ts +81 -0
  37. package/dist/v1/builder/callable.d.ts.map +1 -0
  38. package/dist/v1/builder/callable.js +44 -0
  39. package/dist/v1/builder/callable.js.map +1 -0
  40. package/dist/v1/builder/compiler/callable.d.ts +20 -0
  41. package/dist/v1/builder/compiler/callable.d.ts.map +1 -0
  42. package/dist/v1/builder/compiler/callable.js +139 -0
  43. package/dist/v1/builder/compiler/callable.js.map +1 -0
  44. package/dist/v1/builder/compiler/core.d.ts +6 -0
  45. package/dist/v1/builder/compiler/core.d.ts.map +1 -0
  46. package/dist/v1/builder/compiler/core.js +44 -0
  47. package/dist/v1/builder/compiler/core.js.map +1 -0
  48. package/dist/v1/builder/compiler/core.properties.d.ts +6 -0
  49. package/dist/v1/builder/compiler/core.properties.d.ts.map +1 -0
  50. package/dist/v1/builder/compiler/core.properties.js +70 -0
  51. package/dist/v1/builder/compiler/core.properties.js.map +1 -0
  52. package/dist/v1/builder/compiler/definition.d.ts +26 -0
  53. package/dist/v1/builder/compiler/definition.d.ts.map +1 -0
  54. package/dist/v1/builder/compiler/definition.js +154 -0
  55. package/dist/v1/builder/compiler/definition.js.map +1 -0
  56. package/dist/v1/builder/compiler/policy.d.ts +17 -0
  57. package/dist/v1/builder/compiler/policy.d.ts.map +1 -0
  58. package/dist/v1/builder/compiler/policy.js +54 -0
  59. package/dist/v1/builder/compiler/policy.js.map +1 -0
  60. package/dist/v1/builder/compiler/schema.capture.d.ts +5 -0
  61. package/dist/v1/builder/compiler/schema.capture.d.ts.map +1 -0
  62. package/dist/v1/builder/compiler/schema.capture.js +85 -0
  63. package/dist/v1/builder/compiler/schema.capture.js.map +1 -0
  64. package/dist/v1/builder/compiler/schema.context.d.ts +45 -0
  65. package/dist/v1/builder/compiler/schema.context.d.ts.map +1 -0
  66. package/dist/v1/builder/compiler/schema.context.js +255 -0
  67. package/dist/v1/builder/compiler/schema.context.js.map +1 -0
  68. package/dist/v1/builder/compiler/schema.d.ts +10 -0
  69. package/dist/v1/builder/compiler/schema.d.ts.map +1 -0
  70. package/dist/v1/builder/compiler/schema.js +90 -0
  71. package/dist/v1/builder/compiler/schema.js.map +1 -0
  72. package/dist/v1/builder/compiler/schema.ownership.d.ts +9 -0
  73. package/dist/v1/builder/compiler/schema.ownership.d.ts.map +1 -0
  74. package/dist/v1/builder/compiler/schema.ownership.js +30 -0
  75. package/dist/v1/builder/compiler/schema.ownership.js.map +1 -0
  76. package/dist/v1/builder/compiler/value.d.ts +22 -0
  77. package/dist/v1/builder/compiler/value.d.ts.map +1 -0
  78. package/dist/v1/builder/compiler/value.js +149 -0
  79. package/dist/v1/builder/compiler/value.js.map +1 -0
  80. package/dist/v1/builder/compiler/value.path.d.ts +4 -0
  81. package/dist/v1/builder/compiler/value.path.d.ts.map +1 -0
  82. package/dist/v1/builder/compiler/value.path.js +21 -0
  83. package/dist/v1/builder/compiler/value.path.js.map +1 -0
  84. package/dist/v1/builder/compiler/value.zod.d.ts +33 -0
  85. package/dist/v1/builder/compiler/value.zod.d.ts.map +1 -0
  86. package/dist/v1/builder/compiler/value.zod.js +343 -0
  87. package/dist/v1/builder/compiler/value.zod.js.map +1 -0
  88. package/dist/v1/builder/compiler/view.d.ts +12 -0
  89. package/dist/v1/builder/compiler/view.d.ts.map +1 -0
  90. package/dist/v1/builder/compiler/view.js +27 -0
  91. package/dist/v1/builder/compiler/view.js.map +1 -0
  92. package/dist/v1/builder/core.d.ts +27 -0
  93. package/dist/v1/builder/core.d.ts.map +1 -0
  94. package/dist/v1/builder/core.js +21 -0
  95. package/dist/v1/builder/core.js.map +1 -0
  96. package/dist/v1/builder/definition.d.ts +105 -0
  97. package/dist/v1/builder/definition.d.ts.map +1 -0
  98. package/dist/v1/builder/definition.js +97 -0
  99. package/dist/v1/builder/definition.js.map +1 -0
  100. package/dist/v1/builder/full-match.d.ts +12 -0
  101. package/dist/v1/builder/full-match.d.ts.map +1 -0
  102. package/dist/v1/builder/full-match.js +21 -0
  103. package/dist/v1/builder/full-match.js.map +1 -0
  104. package/dist/v1/builder/index.d.ts +22 -0
  105. package/dist/v1/builder/index.d.ts.map +1 -0
  106. package/dist/v1/builder/index.js +11 -0
  107. package/dist/v1/builder/index.js.map +1 -0
  108. package/dist/v1/builder/internal/authoring.d.ts +8 -0
  109. package/dist/v1/builder/internal/authoring.d.ts.map +1 -0
  110. package/dist/v1/builder/internal/authoring.js +15 -0
  111. package/dist/v1/builder/internal/authoring.js.map +1 -0
  112. package/dist/v1/builder/internal/authoring.lazy.d.ts +3 -0
  113. package/dist/v1/builder/internal/authoring.lazy.d.ts.map +1 -0
  114. package/dist/v1/builder/internal/authoring.lazy.js +14 -0
  115. package/dist/v1/builder/internal/authoring.lazy.js.map +1 -0
  116. package/dist/v1/builder/internal/diagnostic.d.ts +4 -0
  117. package/dist/v1/builder/internal/diagnostic.d.ts.map +1 -0
  118. package/dist/v1/builder/internal/diagnostic.js +16 -0
  119. package/dist/v1/builder/internal/diagnostic.js.map +1 -0
  120. package/dist/v1/builder/internal/path.metadata.d.ts +5 -0
  121. package/dist/v1/builder/internal/path.metadata.d.ts.map +1 -0
  122. package/dist/v1/builder/internal/path.metadata.js +8 -0
  123. package/dist/v1/builder/internal/path.metadata.js.map +1 -0
  124. package/dist/v1/builder/path.d.ts +9 -0
  125. package/dist/v1/builder/path.d.ts.map +1 -0
  126. package/dist/v1/builder/path.js +12 -0
  127. package/dist/v1/builder/path.js.map +1 -0
  128. package/dist/v1/builder/policy.d.ts +50 -0
  129. package/dist/v1/builder/policy.d.ts.map +1 -0
  130. package/dist/v1/builder/policy.js +79 -0
  131. package/dist/v1/builder/policy.js.map +1 -0
  132. package/dist/v1/builder/property.d.ts +23 -0
  133. package/dist/v1/builder/property.d.ts.map +1 -0
  134. package/dist/v1/builder/property.js +12 -0
  135. package/dist/v1/builder/property.js.map +1 -0
  136. package/dist/v1/builder/schema.d.ts +6 -0
  137. package/dist/v1/builder/schema.d.ts.map +1 -0
  138. package/dist/v1/builder/schema.input.d.ts +19 -0
  139. package/dist/v1/builder/schema.input.d.ts.map +1 -0
  140. package/dist/v1/builder/schema.input.js +2 -0
  141. package/dist/v1/builder/schema.input.js.map +1 -0
  142. package/dist/v1/builder/schema.js +6 -0
  143. package/dist/v1/builder/schema.js.map +1 -0
  144. package/dist/v1/builder/value-schema.d.ts +17 -0
  145. package/dist/v1/builder/value-schema.d.ts.map +1 -0
  146. package/dist/v1/builder/value-schema.js +11 -0
  147. package/dist/v1/builder/value-schema.js.map +1 -0
  148. package/dist/v1/builder/view.d.ts +19 -0
  149. package/dist/v1/builder/view.d.ts.map +1 -0
  150. package/dist/v1/builder/view.js +7 -0
  151. package/dist/v1/builder/view.js.map +1 -0
  152. package/dist/v1/builder.d.ts +3 -0
  153. package/dist/v1/builder.d.ts.map +1 -0
  154. package/dist/v1/builder.js +2 -0
  155. package/dist/v1/builder.js.map +1 -0
  156. package/dist/v1/bundle/codec.d.ts +6 -0
  157. package/dist/v1/bundle/codec.d.ts.map +1 -0
  158. package/dist/v1/bundle/codec.js +151 -0
  159. package/dist/v1/bundle/codec.js.map +1 -0
  160. package/dist/v1/bundle/index.d.ts +17 -0
  161. package/dist/v1/bundle/index.d.ts.map +1 -0
  162. package/dist/v1/bundle/index.js +20 -0
  163. package/dist/v1/bundle/index.js.map +1 -0
  164. package/dist/v1/bundle/model.d.ts +19 -0
  165. package/dist/v1/bundle/model.d.ts.map +1 -0
  166. package/dist/v1/bundle/model.js +17 -0
  167. package/dist/v1/bundle/model.js.map +1 -0
  168. package/dist/v1/bundle/structure.d.ts +8 -0
  169. package/dist/v1/bundle/structure.d.ts.map +1 -0
  170. package/dist/v1/bundle/structure.js +71 -0
  171. package/dist/v1/bundle/structure.js.map +1 -0
  172. package/dist/v1/bundle.d.ts +3 -0
  173. package/dist/v1/bundle.d.ts.map +1 -0
  174. package/dist/v1/bundle.js +3 -0
  175. package/dist/v1/bundle.js.map +1 -0
  176. package/dist/v1/index.d.ts +9 -0
  177. package/dist/v1/index.d.ts.map +1 -0
  178. package/dist/v1/index.js +6 -0
  179. package/dist/v1/index.js.map +1 -0
  180. package/dist/v1/schema/callable.d.ts +29 -0
  181. package/dist/v1/schema/callable.d.ts.map +1 -0
  182. package/dist/v1/schema/callable.js.map +1 -0
  183. package/dist/v1/schema/canonical/domain.d.ts +3 -0
  184. package/dist/v1/schema/canonical/domain.d.ts.map +1 -0
  185. package/dist/v1/schema/canonical/domain.digest.d.ts +4 -0
  186. package/dist/v1/schema/canonical/domain.digest.d.ts.map +1 -0
  187. package/dist/v1/schema/canonical/domain.digest.js +9 -0
  188. package/dist/v1/schema/canonical/domain.digest.js.map +1 -0
  189. package/dist/v1/schema/canonical/domain.js +193 -0
  190. package/dist/v1/schema/canonical/domain.js.map +1 -0
  191. package/dist/v1/schema/canonical/freeze.d.ts +2 -0
  192. package/dist/v1/schema/canonical/freeze.d.ts.map +1 -0
  193. package/dist/v1/schema/canonical/freeze.js +10 -0
  194. package/dist/v1/schema/canonical/freeze.js.map +1 -0
  195. package/dist/v1/schema/core/declaration.d.ts +17 -0
  196. package/dist/v1/schema/core/declaration.d.ts.map +1 -0
  197. package/dist/v1/schema/core/declaration.js +2 -0
  198. package/dist/v1/schema/core/declaration.js.map +1 -0
  199. package/dist/v1/schema/core/validate.d.ts +6 -0
  200. package/dist/v1/schema/core/validate.d.ts.map +1 -0
  201. package/dist/v1/schema/core/validate.js +237 -0
  202. package/dist/v1/schema/core/validate.js.map +1 -0
  203. package/dist/v1/schema/definition/analysis.d.ts +41 -0
  204. package/dist/v1/schema/definition/analysis.d.ts.map +1 -0
  205. package/dist/v1/schema/definition/analysis.js +188 -0
  206. package/dist/v1/schema/definition/analysis.js.map +1 -0
  207. package/dist/v1/schema/definition/class.d.ts +28 -0
  208. package/dist/v1/schema/definition/class.d.ts.map +1 -0
  209. package/dist/v1/schema/definition/class.js +2 -0
  210. package/dist/v1/schema/definition/class.js.map +1 -0
  211. package/dist/v1/schema/definition/data.d.ts +12 -0
  212. package/dist/v1/schema/definition/data.d.ts.map +1 -0
  213. package/dist/v1/schema/definition/data.js +3 -0
  214. package/dist/v1/schema/definition/data.js.map +1 -0
  215. package/dist/v1/schema/definition/edge.d.ts +22 -0
  216. package/dist/v1/schema/definition/edge.d.ts.map +1 -0
  217. package/dist/v1/schema/definition/edge.js +2 -0
  218. package/dist/v1/schema/definition/edge.js.map +1 -0
  219. package/dist/v1/schema/definition/interface.d.ts +22 -0
  220. package/dist/v1/schema/definition/interface.d.ts.map +1 -0
  221. package/dist/v1/schema/definition/interface.js +2 -0
  222. package/dist/v1/schema/definition/interface.js.map +1 -0
  223. package/dist/v1/schema/definition/property.d.ts +11 -0
  224. package/dist/v1/schema/definition/property.d.ts.map +1 -0
  225. package/dist/v1/schema/definition/property.js +2 -0
  226. package/dist/v1/schema/definition/property.js.map +1 -0
  227. package/dist/v1/schema/definition/validate.d.ts +5 -0
  228. package/dist/v1/schema/definition/validate.d.ts.map +1 -0
  229. package/dist/v1/schema/definition/validate.js +152 -0
  230. package/dist/v1/schema/definition/validate.js.map +1 -0
  231. package/dist/v1/schema/dependency.meaning.d.ts +30 -0
  232. package/dist/v1/schema/dependency.meaning.d.ts.map +1 -0
  233. package/dist/v1/schema/dependency.meaning.js +608 -0
  234. package/dist/v1/schema/dependency.meaning.js.map +1 -0
  235. package/dist/v1/schema/diagnostic.d.ts +12 -0
  236. package/dist/v1/schema/diagnostic.d.ts.map +1 -0
  237. package/dist/v1/schema/diagnostic.js +21 -0
  238. package/dist/v1/schema/diagnostic.js.map +1 -0
  239. package/dist/v1/schema/domain.accept.d.ts +4 -0
  240. package/dist/v1/schema/domain.accept.d.ts.map +1 -0
  241. package/dist/v1/schema/domain.accept.js +27 -0
  242. package/dist/v1/schema/domain.accept.js.map +1 -0
  243. package/dist/v1/schema/domain.codec.d.ts +6 -0
  244. package/dist/v1/schema/domain.codec.d.ts.map +1 -0
  245. package/dist/v1/schema/domain.codec.js +22 -0
  246. package/dist/v1/schema/domain.codec.js.map +1 -0
  247. package/dist/v1/schema/domain.header.d.ts +15 -0
  248. package/dist/v1/schema/domain.header.d.ts.map +1 -0
  249. package/dist/v1/schema/domain.header.js +21 -0
  250. package/dist/v1/schema/domain.header.js.map +1 -0
  251. package/dist/v1/schema/domain.ir.d.ts +40 -0
  252. package/dist/v1/schema/domain.ir.d.ts.map +1 -0
  253. package/dist/v1/schema/domain.ir.js +5 -0
  254. package/dist/v1/schema/domain.ir.js.map +1 -0
  255. package/dist/v1/schema/domain.lookup.d.ts +19 -0
  256. package/dist/v1/schema/domain.lookup.d.ts.map +1 -0
  257. package/dist/v1/schema/domain.lookup.js +32 -0
  258. package/dist/v1/schema/domain.lookup.js.map +1 -0
  259. package/dist/v1/schema/domain.resolve.d.ts +26 -0
  260. package/dist/v1/schema/domain.resolve.d.ts.map +1 -0
  261. package/dist/v1/schema/domain.resolve.js +43 -0
  262. package/dist/v1/schema/domain.resolve.js.map +1 -0
  263. package/dist/v1/schema/domain.revision.d.ts +12 -0
  264. package/dist/v1/schema/domain.revision.d.ts.map +1 -0
  265. package/dist/v1/schema/domain.revision.js +18 -0
  266. package/dist/v1/schema/domain.revision.js.map +1 -0
  267. package/dist/v1/schema/domain.validate.d.ts +12 -0
  268. package/dist/v1/schema/domain.validate.d.ts.map +1 -0
  269. package/dist/v1/schema/domain.validate.js +36 -0
  270. package/dist/v1/schema/domain.validate.js.map +1 -0
  271. package/dist/v1/schema/index.d.ts +36 -0
  272. package/dist/v1/schema/index.d.ts.map +1 -0
  273. package/dist/v1/schema/index.js +16 -0
  274. package/dist/v1/schema/index.js.map +1 -0
  275. package/dist/v1/schema/metadata.d.ts +13 -0
  276. package/dist/v1/schema/metadata.d.ts.map +1 -0
  277. package/dist/v1/schema/metadata.js +13 -0
  278. package/dist/v1/schema/metadata.js.map +1 -0
  279. package/dist/v1/schema/policy/ast.d.ts +77 -0
  280. package/dist/v1/schema/policy/ast.d.ts.map +1 -0
  281. package/dist/v1/schema/policy/ast.js +2 -0
  282. package/dist/v1/schema/policy/ast.js.map +1 -0
  283. package/dist/v1/schema/policy/normalize.d.ts +5 -0
  284. package/dist/v1/schema/policy/normalize.d.ts.map +1 -0
  285. package/dist/v1/schema/policy/normalize.js +230 -0
  286. package/dist/v1/schema/policy/normalize.js.map +1 -0
  287. package/dist/v1/schema/policy/validation/branches.d.ts +21 -0
  288. package/dist/v1/schema/policy/validation/branches.d.ts.map +1 -0
  289. package/dist/v1/schema/policy/validation/branches.js +155 -0
  290. package/dist/v1/schema/policy/validation/branches.js.map +1 -0
  291. package/dist/v1/schema/policy/validation/budgets.d.ts +19 -0
  292. package/dist/v1/schema/policy/validation/budgets.d.ts.map +1 -0
  293. package/dist/v1/schema/policy/validation/budgets.js +132 -0
  294. package/dist/v1/schema/policy/validation/budgets.js.map +1 -0
  295. package/dist/v1/schema/policy/validation/context.d.ts +28 -0
  296. package/dist/v1/schema/policy/validation/context.d.ts.map +1 -0
  297. package/dist/v1/schema/policy/validation/context.js +99 -0
  298. package/dist/v1/schema/policy/validation/context.js.map +1 -0
  299. package/dist/v1/schema/policy/validation/references.d.ts +3 -0
  300. package/dist/v1/schema/policy/validation/references.d.ts.map +1 -0
  301. package/dist/v1/schema/policy/validation/references.js +136 -0
  302. package/dist/v1/schema/policy/validation/references.js.map +1 -0
  303. package/dist/v1/schema/policy/validation/typing.d.ts +23 -0
  304. package/dist/v1/schema/policy/validation/typing.d.ts.map +1 -0
  305. package/dist/v1/schema/policy/validation/typing.js +357 -0
  306. package/dist/v1/schema/policy/validation/typing.js.map +1 -0
  307. package/dist/v1/schema/policy/validation/uses.d.ts +6 -0
  308. package/dist/v1/schema/policy/validation/uses.d.ts.map +1 -0
  309. package/dist/v1/schema/policy/validation/uses.js +269 -0
  310. package/dist/v1/schema/policy/validation/uses.js.map +1 -0
  311. package/dist/v1/schema/policy/validation/validate.d.ts +12 -0
  312. package/dist/v1/schema/policy/validation/validate.d.ts.map +1 -0
  313. package/dist/v1/schema/policy/validation/validate.js +24 -0
  314. package/dist/v1/schema/policy/validation/validate.js.map +1 -0
  315. package/dist/v1/schema/reference.d.ts +43 -0
  316. package/dist/v1/schema/reference.d.ts.map +1 -0
  317. package/dist/v1/schema/reference.js +31 -0
  318. package/dist/v1/schema/reference.js.map +1 -0
  319. package/dist/v1/schema/resolution/closure.d.ts +10 -0
  320. package/dist/v1/schema/resolution/closure.d.ts.map +1 -0
  321. package/dist/v1/schema/resolution/closure.js +50 -0
  322. package/dist/v1/schema/resolution/closure.js.map +1 -0
  323. package/dist/v1/schema/resolution/context.d.ts +18 -0
  324. package/dist/v1/schema/resolution/context.d.ts.map +1 -0
  325. package/dist/v1/schema/resolution/context.js +126 -0
  326. package/dist/v1/schema/resolution/context.js.map +1 -0
  327. package/dist/v1/schema/resolution/definition.index.d.ts +43 -0
  328. package/dist/v1/schema/resolution/definition.index.d.ts.map +1 -0
  329. package/dist/v1/schema/resolution/definition.index.js +27 -0
  330. package/dist/v1/schema/resolution/definition.index.js.map +1 -0
  331. package/dist/v1/schema/resolution/origins.d.ts +17 -0
  332. package/dist/v1/schema/resolution/origins.d.ts.map +1 -0
  333. package/dist/v1/schema/resolution/origins.js +129 -0
  334. package/dist/v1/schema/resolution/origins.js.map +1 -0
  335. package/dist/v1/schema/resolution/value.registry.d.ts +8 -0
  336. package/dist/v1/schema/resolution/value.registry.d.ts.map +1 -0
  337. package/dist/v1/schema/resolution/value.registry.js +46 -0
  338. package/dist/v1/schema/resolution/value.registry.js.map +1 -0
  339. package/dist/v1/schema/validation/domain.route.d.ts +5 -0
  340. package/dist/v1/schema/validation/domain.route.d.ts.map +1 -0
  341. package/dist/v1/schema/validation/domain.route.js +33 -0
  342. package/dist/v1/schema/validation/domain.route.js.map +1 -0
  343. package/dist/v1/schema/validation/domain.structure.d.ts +5 -0
  344. package/dist/v1/schema/validation/domain.structure.d.ts.map +1 -0
  345. package/dist/v1/schema/validation/domain.structure.js +422 -0
  346. package/dist/v1/schema/validation/domain.structure.js.map +1 -0
  347. package/dist/v1/schema/validation/value.d.ts +5 -0
  348. package/dist/v1/schema/validation/value.d.ts.map +1 -0
  349. package/dist/v1/schema/validation/value.js +44 -0
  350. package/dist/v1/schema/validation/value.js.map +1 -0
  351. package/dist/v1/schema/value/extensions/node-path/schema.d.ts +6 -0
  352. package/dist/v1/schema/value/extensions/node-path/schema.d.ts.map +1 -0
  353. package/dist/v1/schema/value/extensions/node-path/schema.js +19 -0
  354. package/dist/v1/schema/value/extensions/node-path/schema.js.map +1 -0
  355. package/dist/v1/schema/value/extensions/node-path/validate.d.ts +5 -0
  356. package/dist/v1/schema/value/extensions/node-path/validate.d.ts.map +1 -0
  357. package/dist/v1/schema/value/extensions/node-path/validate.js +80 -0
  358. package/dist/v1/schema/value/extensions/node-path/validate.js.map +1 -0
  359. package/dist/v1/schema/value/index.d.ts +14 -0
  360. package/dist/v1/schema/value/index.d.ts.map +1 -0
  361. package/dist/v1/schema/value/index.js +24 -0
  362. package/dist/v1/schema/value/index.js.map +1 -0
  363. package/dist/v1/schema/value/instance/assertions.d.ts +7 -0
  364. package/dist/v1/schema/value/instance/assertions.d.ts.map +1 -0
  365. package/dist/v1/schema/value/instance/assertions.js +59 -0
  366. package/dist/v1/schema/value/instance/assertions.js.map +1 -0
  367. package/dist/v1/schema/value/instance/compiler.d.ts +13 -0
  368. package/dist/v1/schema/value/instance/compiler.d.ts.map +1 -0
  369. package/dist/v1/schema/value/instance/compiler.js +69 -0
  370. package/dist/v1/schema/value/instance/compiler.js.map +1 -0
  371. package/dist/v1/schema/value/instance/evaluator.d.ts +5 -0
  372. package/dist/v1/schema/value/instance/evaluator.d.ts.map +1 -0
  373. package/dist/v1/schema/value/instance/evaluator.js +373 -0
  374. package/dist/v1/schema/value/instance/evaluator.js.map +1 -0
  375. package/dist/v1/schema/value/instance/types.d.ts +33 -0
  376. package/dist/v1/schema/value/instance/types.d.ts.map +1 -0
  377. package/dist/v1/schema/value/instance/types.js +10 -0
  378. package/dist/v1/schema/value/instance/types.js.map +1 -0
  379. package/dist/v1/schema/value/instance.validate.d.ts +13 -0
  380. package/dist/v1/schema/value/instance.validate.d.ts.map +1 -0
  381. package/dist/v1/schema/value/instance.validate.js +44 -0
  382. package/dist/v1/schema/value/instance.validate.js.map +1 -0
  383. package/dist/v1/schema/value/instant.d.ts +9 -0
  384. package/dist/v1/schema/value/instant.d.ts.map +1 -0
  385. package/dist/v1/schema/value/instant.js +37 -0
  386. package/dist/v1/schema/value/instant.js.map +1 -0
  387. package/dist/v1/schema/value/location/keywords.d.ts +4 -0
  388. package/dist/v1/schema/value/location/keywords.d.ts.map +1 -0
  389. package/dist/v1/schema/value/location/keywords.js +21 -0
  390. package/dist/v1/schema/value/location/keywords.js.map +1 -0
  391. package/dist/v1/schema/value/location/pointer.d.ts +5 -0
  392. package/dist/v1/schema/value/location/pointer.d.ts.map +1 -0
  393. package/dist/v1/schema/value/location/pointer.js +50 -0
  394. package/dist/v1/schema/value/location/pointer.js.map +1 -0
  395. package/dist/v1/schema/value/location/walk.d.ts +11 -0
  396. package/dist/v1/schema/value/location/walk.d.ts.map +1 -0
  397. package/dist/v1/schema/value/location/walk.js +54 -0
  398. package/dist/v1/schema/value/location/walk.js.map +1 -0
  399. package/dist/v1/schema/value/object.d.ts +5 -0
  400. package/dist/v1/schema/value/object.d.ts.map +1 -0
  401. package/dist/v1/schema/value/object.js +4 -0
  402. package/dist/v1/schema/value/object.js.map +1 -0
  403. package/dist/v1/schema/value/ordering.d.ts +11 -0
  404. package/dist/v1/schema/value/ordering.d.ts.map +1 -0
  405. package/dist/v1/schema/value/ordering.js +172 -0
  406. package/dist/v1/schema/value/ordering.js.map +1 -0
  407. package/dist/v1/schema/value/profile/canonicalize.d.ts +5 -0
  408. package/dist/v1/schema/value/profile/canonicalize.d.ts.map +1 -0
  409. package/dist/v1/schema/value/profile/canonicalize.js +133 -0
  410. package/dist/v1/schema/value/profile/canonicalize.js.map +1 -0
  411. package/dist/v1/schema/value/profile/dialect.d.ts +5 -0
  412. package/dist/v1/schema/value/profile/dialect.d.ts.map +1 -0
  413. package/dist/v1/schema/value/profile/dialect.js +36 -0
  414. package/dist/v1/schema/value/profile/dialect.js.map +1 -0
  415. package/dist/v1/schema/value/profile/json.validate.d.ts +3 -0
  416. package/dist/v1/schema/value/profile/json.validate.d.ts.map +1 -0
  417. package/dist/v1/schema/value/profile/json.validate.js +15 -0
  418. package/dist/v1/schema/value/profile/json.validate.js.map +1 -0
  419. package/dist/v1/schema/value/profile/meta-schema.validate.d.ts +4 -0
  420. package/dist/v1/schema/value/profile/meta-schema.validate.d.ts.map +1 -0
  421. package/dist/v1/schema/value/profile/meta-schema.validate.js +25 -0
  422. package/dist/v1/schema/value/profile/meta-schema.validate.js.map +1 -0
  423. package/dist/v1/schema/value/profile/rules.d.ts +5 -0
  424. package/dist/v1/schema/value/profile/rules.d.ts.map +1 -0
  425. package/dist/v1/schema/value/profile/rules.js +152 -0
  426. package/dist/v1/schema/value/profile/rules.js.map +1 -0
  427. package/dist/v1/schema/value/profile/validate.d.ts +5 -0
  428. package/dist/v1/schema/value/profile/validate.d.ts.map +1 -0
  429. package/dist/v1/schema/value/profile/validate.js +47 -0
  430. package/dist/v1/schema/value/profile/validate.js.map +1 -0
  431. package/dist/v1/schema/value/profile/vocabulary.d.ts +3 -0
  432. package/dist/v1/schema/value/profile/vocabulary.d.ts.map +1 -0
  433. package/dist/v1/schema/value/profile/vocabulary.js +69 -0
  434. package/dist/v1/schema/value/profile/vocabulary.js.map +1 -0
  435. package/dist/v1/schema/value/regexp/linear.d.ts +20 -0
  436. package/dist/v1/schema/value/regexp/linear.d.ts.map +1 -0
  437. package/dist/v1/schema/value/regexp/linear.js +24 -0
  438. package/dist/v1/schema/value/regexp/linear.js.map +1 -0
  439. package/dist/v1/schema/value/regexp/lower.d.ts +4 -0
  440. package/dist/v1/schema/value/regexp/lower.d.ts.map +1 -0
  441. package/dist/v1/schema/value/regexp/lower.js +27 -0
  442. package/dist/v1/schema/value/regexp/lower.js.map +1 -0
  443. package/dist/v1/schema/value/regexp/pattern.d.ts +3 -0
  444. package/dist/v1/schema/value/regexp/pattern.d.ts.map +1 -0
  445. package/dist/v1/schema/value/regexp/pattern.js +39 -0
  446. package/dist/v1/schema/value/regexp/pattern.js.map +1 -0
  447. package/dist/v1/schema/value/regexp/syntax.d.ts +3 -0
  448. package/dist/v1/schema/value/regexp/syntax.d.ts.map +1 -0
  449. package/dist/v1/schema/value/regexp/syntax.js +219 -0
  450. package/dist/v1/schema/value/regexp/syntax.js.map +1 -0
  451. package/dist/v1/schema/value/registry.d.ts +22 -0
  452. package/dist/v1/schema/value/registry.d.ts.map +1 -0
  453. package/dist/v1/schema/value/registry.js +2 -0
  454. package/dist/v1/schema/value/registry.js.map +1 -0
  455. package/dist/v1/schema/value/resources/closure.d.ts +12 -0
  456. package/dist/v1/schema/value/resources/closure.d.ts.map +1 -0
  457. package/dist/v1/schema/value/resources/closure.js +59 -0
  458. package/dist/v1/schema/value/resources/closure.js.map +1 -0
  459. package/dist/v1/schema/value/resources/recursion.d.ts +6 -0
  460. package/dist/v1/schema/value/resources/recursion.d.ts.map +1 -0
  461. package/dist/v1/schema/value/resources/recursion.js +96 -0
  462. package/dist/v1/schema/value/resources/recursion.js.map +1 -0
  463. package/dist/v1/schema/value/resources/references.d.ts +25 -0
  464. package/dist/v1/schema/value/resources/references.d.ts.map +1 -0
  465. package/dist/v1/schema/value/resources/references.js +93 -0
  466. package/dist/v1/schema/value/resources/references.js.map +1 -0
  467. package/dist/v1/schema/value/resources/registry.index.d.ts +22 -0
  468. package/dist/v1/schema/value/resources/registry.index.d.ts.map +1 -0
  469. package/dist/v1/schema/value/resources/registry.index.js +114 -0
  470. package/dist/v1/schema/value/resources/registry.index.js.map +1 -0
  471. package/dist/v1/schema/value/schema.d.ts +26 -0
  472. package/dist/v1/schema/value/schema.d.ts.map +1 -0
  473. package/dist/v1/schema/value/schema.js +13 -0
  474. package/dist/v1/schema/value/schema.js.map +1 -0
  475. package/dist/v1/schema/view/declaration.d.ts +14 -0
  476. package/dist/v1/schema/view/declaration.d.ts.map +1 -0
  477. package/dist/v1/schema/view/declaration.js +2 -0
  478. package/dist/v1/schema/view/declaration.js.map +1 -0
  479. package/dist/v1/schema/view/validate.d.ts +4 -0
  480. package/dist/v1/schema/view/validate.d.ts.map +1 -0
  481. package/dist/v1/schema/view/validate.js +22 -0
  482. package/dist/v1/schema/view/validate.js.map +1 -0
  483. package/dist/v1/schema.d.ts +3 -0
  484. package/dist/v1/schema.d.ts.map +1 -0
  485. package/dist/v1/schema.js +3 -0
  486. package/dist/v1/schema.js.map +1 -0
  487. package/dist/v1.d.ts +3 -0
  488. package/dist/v1.d.ts.map +1 -0
  489. package/dist/v1.js +3 -0
  490. package/dist/v1.js.map +1 -0
  491. package/dist/value/accept.d.ts +9 -0
  492. package/dist/value/accept.d.ts.map +1 -0
  493. package/dist/value/accept.js +133 -0
  494. package/dist/value/accept.js.map +1 -0
  495. package/dist/value/canonical.d.ts +5 -0
  496. package/dist/value/canonical.d.ts.map +1 -0
  497. package/dist/value/canonical.js +42 -0
  498. package/dist/value/canonical.js.map +1 -0
  499. package/dist/value/decode.d.ts +5 -0
  500. package/dist/value/decode.d.ts.map +1 -0
  501. package/dist/value/decode.js +109 -0
  502. package/dist/value/decode.js.map +1 -0
  503. package/dist/value/equal.d.ts +4 -0
  504. package/dist/value/equal.d.ts.map +1 -0
  505. package/dist/value/equal.js +6 -0
  506. package/dist/value/equal.js.map +1 -0
  507. package/dist/value/error.d.ts +13 -0
  508. package/dist/value/error.d.ts.map +1 -0
  509. package/dist/value/error.js +22 -0
  510. package/dist/value/error.js.map +1 -0
  511. package/dist/value/index.d.ts +10 -0
  512. package/dist/value/index.d.ts.map +1 -0
  513. package/dist/value/index.js +7 -0
  514. package/dist/value/index.js.map +1 -0
  515. package/dist/value/json.d.ts +4 -0
  516. package/dist/value/json.d.ts.map +1 -0
  517. package/dist/value/json.js +4 -0
  518. package/dist/value/json.js.map +1 -0
  519. package/dist/value/limits.d.ts +22 -0
  520. package/dist/value/limits.d.ts.map +1 -0
  521. package/dist/value/limits.js +16 -0
  522. package/dist/value/limits.js.map +1 -0
  523. package/dist/value/types.d.ts +7 -0
  524. package/dist/value/types.d.ts.map +1 -0
  525. package/dist/value/types.js.map +1 -0
  526. package/dist/value/unicode.d.ts +5 -0
  527. package/dist/value/unicode.d.ts.map +1 -0
  528. package/dist/value/unicode.js +65 -0
  529. package/dist/value/unicode.js.map +1 -0
  530. package/dist/version/dispatch.d.ts +25 -0
  531. package/dist/version/dispatch.d.ts.map +1 -0
  532. package/dist/version/dispatch.js +48 -0
  533. package/dist/version/dispatch.js.map +1 -0
  534. package/dist/version/index.d.ts +3 -0
  535. package/dist/version/index.d.ts.map +1 -0
  536. package/dist/version/index.js +2 -0
  537. package/dist/version/index.js.map +1 -0
  538. package/package.json +19 -8
  539. package/dist/builders/bitmask.d.ts +0 -5
  540. package/dist/builders/bitmask.d.ts.map +0 -1
  541. package/dist/builders/bitmask.js +0 -12
  542. package/dist/builders/bitmask.js.map +0 -1
  543. package/dist/builders/data.d.ts +0 -7
  544. package/dist/builders/data.d.ts.map +0 -1
  545. package/dist/builders/data.js +0 -18
  546. package/dist/builders/data.js.map +0 -1
  547. package/dist/builders/definition/base.d.ts +0 -13
  548. package/dist/builders/definition/base.d.ts.map +0 -1
  549. package/dist/builders/definition/base.js +0 -24
  550. package/dist/builders/definition/base.js.map +0 -1
  551. package/dist/builders/definition/edge-class.d.ts +0 -8
  552. package/dist/builders/definition/edge-class.d.ts.map +0 -1
  553. package/dist/builders/definition/edge-class.js +0 -9
  554. package/dist/builders/definition/edge-class.js.map +0 -1
  555. package/dist/builders/definition/edge-interface.d.ts +0 -8
  556. package/dist/builders/definition/edge-interface.d.ts.map +0 -1
  557. package/dist/builders/definition/edge-interface.js +0 -9
  558. package/dist/builders/definition/edge-interface.js.map +0 -1
  559. package/dist/builders/definition/node-class.d.ts +0 -7
  560. package/dist/builders/definition/node-class.d.ts.map +0 -1
  561. package/dist/builders/definition/node-class.js +0 -9
  562. package/dist/builders/definition/node-class.js.map +0 -1
  563. package/dist/builders/definition/node-interface.d.ts +0 -7
  564. package/dist/builders/definition/node-interface.d.ts.map +0 -1
  565. package/dist/builders/definition/node-interface.js +0 -9
  566. package/dist/builders/definition/node-interface.js.map +0 -1
  567. package/dist/builders/function.d.ts +0 -34
  568. package/dist/builders/function.d.ts.map +0 -1
  569. package/dist/builders/function.js +0 -8
  570. package/dist/builders/function.js.map +0 -1
  571. package/dist/builders/policy.d.ts +0 -10
  572. package/dist/builders/policy.d.ts.map +0 -1
  573. package/dist/builders/policy.js +0 -28
  574. package/dist/builders/policy.js.map +0 -1
  575. package/dist/builders/prop.d.ts +0 -7
  576. package/dist/builders/prop.d.ts.map +0 -1
  577. package/dist/builders/prop.js +0 -9
  578. package/dist/builders/prop.js.map +0 -1
  579. package/dist/builders/ref.d.ts +0 -12
  580. package/dist/builders/ref.d.ts.map +0 -1
  581. package/dist/builders/ref.js +0 -27
  582. package/dist/builders/ref.js.map +0 -1
  583. package/dist/grammar/definition/base.d.ts +0 -13
  584. package/dist/grammar/definition/base.d.ts.map +0 -1
  585. package/dist/grammar/definition/base.js +0 -2
  586. package/dist/grammar/definition/base.js.map +0 -1
  587. package/dist/grammar/definition/discriminants.d.ts +0 -31
  588. package/dist/grammar/definition/discriminants.d.ts.map +0 -1
  589. package/dist/grammar/definition/discriminants.js +0 -33
  590. package/dist/grammar/definition/discriminants.js.map +0 -1
  591. package/dist/grammar/definition/edge-class.d.ts +0 -19
  592. package/dist/grammar/definition/edge-class.d.ts.map +0 -1
  593. package/dist/grammar/definition/edge-class.js +0 -2
  594. package/dist/grammar/definition/edge-class.js.map +0 -1
  595. package/dist/grammar/definition/edge-interface.d.ts +0 -18
  596. package/dist/grammar/definition/edge-interface.d.ts.map +0 -1
  597. package/dist/grammar/definition/edge-interface.js +0 -2
  598. package/dist/grammar/definition/edge-interface.js.map +0 -1
  599. package/dist/grammar/definition/node-class.d.ts +0 -26
  600. package/dist/grammar/definition/node-class.d.ts.map +0 -1
  601. package/dist/grammar/definition/node-class.js +0 -2
  602. package/dist/grammar/definition/node-class.js.map +0 -1
  603. package/dist/grammar/definition/node-interface.d.ts +0 -14
  604. package/dist/grammar/definition/node-interface.d.ts.map +0 -1
  605. package/dist/grammar/definition/node-interface.js +0 -2
  606. package/dist/grammar/definition/node-interface.js.map +0 -1
  607. package/dist/grammar/facets/constraints.d.ts +0 -8
  608. package/dist/grammar/facets/constraints.d.ts.map +0 -1
  609. package/dist/grammar/facets/constraints.js +0 -2
  610. package/dist/grammar/facets/constraints.js.map +0 -1
  611. package/dist/grammar/facets/content.d.ts +0 -4
  612. package/dist/grammar/facets/content.d.ts.map +0 -1
  613. package/dist/grammar/facets/content.js +0 -2
  614. package/dist/grammar/facets/content.js.map +0 -1
  615. package/dist/grammar/facets/endpoints.d.ts +0 -14
  616. package/dist/grammar/facets/endpoints.d.ts.map +0 -1
  617. package/dist/grammar/facets/endpoints.js +0 -3
  618. package/dist/grammar/facets/endpoints.js.map +0 -1
  619. package/dist/grammar/facets/indexes.d.ts +0 -12
  620. package/dist/grammar/facets/indexes.d.ts.map +0 -1
  621. package/dist/grammar/facets/indexes.js +0 -9
  622. package/dist/grammar/facets/indexes.js.map +0 -1
  623. package/dist/grammar/facets/properties.d.ts +0 -26
  624. package/dist/grammar/facets/properties.d.ts.map +0 -1
  625. package/dist/grammar/facets/properties.js +0 -45
  626. package/dist/grammar/facets/properties.js.map +0 -1
  627. package/dist/grammar/function/config.d.ts +0 -16
  628. package/dist/grammar/function/config.d.ts.map +0 -1
  629. package/dist/grammar/function/config.js +0 -2
  630. package/dist/grammar/function/config.js.map +0 -1
  631. package/dist/grammar/function/def.d.ts +0 -58
  632. package/dist/grammar/function/def.d.ts.map +0 -1
  633. package/dist/grammar/function/def.js +0 -2
  634. package/dist/grammar/function/def.js.map +0 -1
  635. package/dist/grammar/function/inheritance.d.ts +0 -3
  636. package/dist/grammar/function/inheritance.d.ts.map +0 -1
  637. package/dist/grammar/function/inheritance.js +0 -2
  638. package/dist/grammar/function/inheritance.js.map +0 -1
  639. package/dist/grammar/function/output.d.ts +0 -3
  640. package/dist/grammar/function/output.d.ts.map +0 -1
  641. package/dist/grammar/function/output.js +0 -2
  642. package/dist/grammar/function/output.js.map +0 -1
  643. package/dist/grammar/policy/callable.d.ts +0 -40
  644. package/dist/grammar/policy/callable.d.ts.map +0 -1
  645. package/dist/grammar/policy/callable.js.map +0 -1
  646. package/dist/grammar/policy/def.d.ts +0 -27
  647. package/dist/grammar/policy/def.d.ts.map +0 -1
  648. package/dist/grammar/policy/def.js +0 -2
  649. package/dist/grammar/policy/def.js.map +0 -1
  650. package/dist/grammar/policy/pattern.d.ts +0 -34
  651. package/dist/grammar/policy/pattern.d.ts.map +0 -1
  652. package/dist/grammar/policy/pattern.js +0 -2
  653. package/dist/grammar/policy/pattern.js.map +0 -1
  654. package/dist/grammar/values/bitmask.d.ts +0 -7
  655. package/dist/grammar/values/bitmask.d.ts.map +0 -1
  656. package/dist/grammar/values/bitmask.js +0 -2
  657. package/dist/grammar/values/bitmask.js.map +0 -1
  658. package/dist/grammar/values/data.d.ts +0 -30
  659. package/dist/grammar/values/data.d.ts.map +0 -1
  660. package/dist/grammar/values/data.js +0 -2
  661. package/dist/grammar/values/data.js.map +0 -1
  662. package/dist/grammar/values/ref.d.ts +0 -26
  663. package/dist/grammar/values/ref.d.ts.map +0 -1
  664. package/dist/grammar/values/ref.js +0 -2
  665. package/dist/grammar/values/ref.js.map +0 -1
  666. package/dist/grammar/values/self.d.ts +0 -12
  667. package/dist/grammar/values/self.d.ts.map +0 -1
  668. package/dist/grammar/values/self.js +0 -6
  669. package/dist/grammar/values/self.js.map +0 -1
  670. package/dist/inference/content.d.ts +0 -27
  671. package/dist/inference/content.d.ts.map +0 -1
  672. package/dist/inference/content.js +0 -2
  673. package/dist/inference/content.js.map +0 -1
  674. package/dist/inference/index.d.ts +0 -7
  675. package/dist/inference/index.d.ts.map +0 -1
  676. package/dist/inference/index.js.map +0 -1
  677. package/dist/inference/inheritance.d.ts +0 -48
  678. package/dist/inference/inheritance.d.ts.map +0 -1
  679. package/dist/inference/inheritance.js +0 -2
  680. package/dist/inference/inheritance.js.map +0 -1
  681. package/dist/inference/input.d.ts +0 -30
  682. package/dist/inference/input.d.ts.map +0 -1
  683. package/dist/inference/input.js +0 -2
  684. package/dist/inference/input.js.map +0 -1
  685. package/dist/inference/methods.d.ts +0 -69
  686. package/dist/inference/methods.d.ts.map +0 -1
  687. package/dist/inference/methods.js +0 -2
  688. package/dist/inference/methods.js.map +0 -1
  689. package/dist/inference/properties.d.ts +0 -37
  690. package/dist/inference/properties.d.ts.map +0 -1
  691. package/dist/inference/properties.js +0 -2
  692. package/dist/inference/properties.js.map +0 -1
  693. package/dist/inference/schema.d.ts +0 -37
  694. package/dist/inference/schema.d.ts.map +0 -1
  695. package/dist/inference/schema.js +0 -2
  696. package/dist/inference/schema.js.map +0 -1
  697. package/dist/instance/core/define.d.ts +0 -13
  698. package/dist/instance/core/define.d.ts.map +0 -1
  699. package/dist/instance/core/define.js +0 -63
  700. package/dist/instance/core/define.js.map +0 -1
  701. package/dist/instance/core/edge.d.ts +0 -9
  702. package/dist/instance/core/edge.d.ts.map +0 -1
  703. package/dist/instance/core/edge.js +0 -11
  704. package/dist/instance/core/edge.js.map +0 -1
  705. package/dist/instance/core/endpoint.d.ts +0 -11
  706. package/dist/instance/core/endpoint.d.ts.map +0 -1
  707. package/dist/instance/core/endpoint.js +0 -19
  708. package/dist/instance/core/endpoint.js.map +0 -1
  709. package/dist/instance/core/node.d.ts +0 -7
  710. package/dist/instance/core/node.d.ts.map +0 -1
  711. package/dist/instance/core/node.js +0 -9
  712. package/dist/instance/core/node.js.map +0 -1
  713. package/dist/instance/core/path.d.ts +0 -21
  714. package/dist/instance/core/path.d.ts.map +0 -1
  715. package/dist/instance/core/path.js +0 -21
  716. package/dist/instance/core/path.js.map +0 -1
  717. package/dist/instance/core/self.d.ts +0 -15
  718. package/dist/instance/core/self.d.ts.map +0 -1
  719. package/dist/instance/core/self.js +0 -8
  720. package/dist/instance/core/self.js.map +0 -1
  721. package/dist/instance/core/types.d.ts +0 -45
  722. package/dist/instance/core/types.d.ts.map +0 -1
  723. package/dist/instance/core/types.js.map +0 -1
  724. package/dist/instance/seed/define.d.ts +0 -12
  725. package/dist/instance/seed/define.d.ts.map +0 -1
  726. package/dist/instance/seed/define.js +0 -34
  727. package/dist/instance/seed/define.js.map +0 -1
  728. package/dist/instance/seed/types.d.ts +0 -12
  729. package/dist/instance/seed/types.d.ts.map +0 -1
  730. package/dist/instance/seed/types.js +0 -2
  731. package/dist/instance/seed/types.js.map +0 -1
  732. package/dist/ir/classes.d.ts +0 -78
  733. package/dist/ir/classes.d.ts.map +0 -1
  734. package/dist/ir/classes.js +0 -2
  735. package/dist/ir/classes.js.map +0 -1
  736. package/dist/ir/domain.d.ts +0 -13
  737. package/dist/ir/domain.d.ts.map +0 -1
  738. package/dist/ir/domain.js +0 -2
  739. package/dist/ir/domain.js.map +0 -1
  740. package/dist/ir/endpoints.d.ts +0 -27
  741. package/dist/ir/endpoints.d.ts.map +0 -1
  742. package/dist/ir/endpoints.js +0 -2
  743. package/dist/ir/endpoints.js.map +0 -1
  744. package/dist/ir/functions.d.ts +0 -34
  745. package/dist/ir/functions.d.ts.map +0 -1
  746. package/dist/ir/functions.js +0 -2
  747. package/dist/ir/functions.js.map +0 -1
  748. package/dist/ir/index.d.ts +0 -9
  749. package/dist/ir/index.d.ts.map +0 -1
  750. package/dist/ir/index.js +0 -2
  751. package/dist/ir/index.js.map +0 -1
  752. package/dist/ir/ir.d.ts +0 -75
  753. package/dist/ir/ir.d.ts.map +0 -1
  754. package/dist/ir/ir.js +0 -5
  755. package/dist/ir/ir.js.map +0 -1
  756. package/dist/ir/json-schema.d.ts +0 -20
  757. package/dist/ir/json-schema.d.ts.map +0 -1
  758. package/dist/ir/json-schema.js +0 -2
  759. package/dist/ir/json-schema.js.map +0 -1
  760. package/dist/ir/policies.d.ts +0 -74
  761. package/dist/ir/policies.d.ts.map +0 -1
  762. package/dist/ir/policies.js +0 -2
  763. package/dist/ir/policies.js.map +0 -1
  764. package/dist/schema/classify.d.ts +0 -8
  765. package/dist/schema/classify.d.ts.map +0 -1
  766. package/dist/schema/classify.js +0 -20
  767. package/dist/schema/classify.js.map +0 -1
  768. package/dist/schema/define.d.ts +0 -23
  769. package/dist/schema/define.d.ts.map +0 -1
  770. package/dist/schema/define.js +0 -58
  771. package/dist/schema/define.js.map +0 -1
  772. package/dist/schema/error.d.ts +0 -8
  773. package/dist/schema/error.d.ts.map +0 -1
  774. package/dist/schema/error.js +0 -14
  775. package/dist/schema/error.js.map +0 -1
  776. package/dist/schema/refs.d.ts +0 -77
  777. package/dist/schema/refs.d.ts.map +0 -1
  778. package/dist/schema/refs.js +0 -100
  779. package/dist/schema/refs.js.map +0 -1
  780. package/dist/schema/resolve/index.d.ts +0 -5
  781. package/dist/schema/resolve/index.d.ts.map +0 -1
  782. package/dist/schema/resolve/index.js +0 -5
  783. package/dist/schema/resolve/index.js.map +0 -1
  784. package/dist/schema/resolve/methods.d.ts +0 -8
  785. package/dist/schema/resolve/methods.d.ts.map +0 -1
  786. package/dist/schema/resolve/methods.js +0 -18
  787. package/dist/schema/resolve/methods.js.map +0 -1
  788. package/dist/schema/resolve/properties.d.ts +0 -13
  789. package/dist/schema/resolve/properties.d.ts.map +0 -1
  790. package/dist/schema/resolve/properties.js +0 -37
  791. package/dist/schema/resolve/properties.js.map +0 -1
  792. package/dist/schema/resolve/self.d.ts +0 -7
  793. package/dist/schema/resolve/self.d.ts.map +0 -1
  794. package/dist/schema/resolve/self.js +0 -33
  795. package/dist/schema/resolve/self.js.map +0 -1
  796. package/dist/schema/resolve/thunks.d.ts +0 -12
  797. package/dist/schema/resolve/thunks.d.ts.map +0 -1
  798. package/dist/schema/resolve/thunks.js +0 -37
  799. package/dist/schema/resolve/thunks.js.map +0 -1
  800. package/dist/schema/schema.d.ts +0 -25
  801. package/dist/schema/schema.d.ts.map +0 -1
  802. package/dist/schema/schema.js +0 -2
  803. package/dist/schema/schema.js.map +0 -1
  804. package/dist/schema/validators/context.d.ts +0 -17
  805. package/dist/schema/validators/context.d.ts.map +0 -1
  806. package/dist/schema/validators/context.js +0 -2
  807. package/dist/schema/validators/context.js.map +0 -1
  808. package/dist/schema/validators/endpoints.d.ts +0 -4
  809. package/dist/schema/validators/endpoints.d.ts.map +0 -1
  810. package/dist/schema/validators/endpoints.js +0 -27
  811. package/dist/schema/validators/endpoints.js.map +0 -1
  812. package/dist/schema/validators/index.d.ts +0 -12
  813. package/dist/schema/validators/index.d.ts.map +0 -1
  814. package/dist/schema/validators/index.js +0 -25
  815. package/dist/schema/validators/index.js.map +0 -1
  816. package/dist/schema/validators/indexes.d.ts +0 -4
  817. package/dist/schema/validators/indexes.d.ts.map +0 -1
  818. package/dist/schema/validators/indexes.js +0 -19
  819. package/dist/schema/validators/indexes.js.map +0 -1
  820. package/dist/schema/validators/inheritance.d.ts +0 -4
  821. package/dist/schema/validators/inheritance.d.ts.map +0 -1
  822. package/dist/schema/validators/inheritance.js +0 -27
  823. package/dist/schema/validators/inheritance.js.map +0 -1
  824. package/dist/schema/validators/methods.d.ts +0 -9
  825. package/dist/schema/validators/methods.d.ts.map +0 -1
  826. package/dist/schema/validators/methods.js +0 -44
  827. package/dist/schema/validators/methods.js.map +0 -1
  828. package/dist/schema/validators/names.d.ts +0 -4
  829. package/dist/schema/validators/names.d.ts.map +0 -1
  830. package/dist/schema/validators/names.js +0 -19
  831. package/dist/schema/validators/names.js.map +0 -1
  832. package/dist/schema/validators/policies.d.ts +0 -4
  833. package/dist/schema/validators/policies.d.ts.map +0 -1
  834. package/dist/schema/validators/policies.js +0 -61
  835. package/dist/schema/validators/policies.js.map +0 -1
  836. package/dist/schema/validators/ref-targets.d.ts +0 -4
  837. package/dist/schema/validators/ref-targets.d.ts.map +0 -1
  838. package/dist/schema/validators/ref-targets.js +0 -54
  839. package/dist/schema/validators/ref-targets.js.map +0 -1
  840. package/dist/serializer/context.d.ts +0 -35
  841. package/dist/serializer/context.d.ts.map +0 -1
  842. package/dist/serializer/context.js +0 -359
  843. package/dist/serializer/context.js.map +0 -1
  844. package/dist/serializer/helpers.d.ts +0 -34
  845. package/dist/serializer/helpers.d.ts.map +0 -1
  846. package/dist/serializer/helpers.js +0 -116
  847. package/dist/serializer/helpers.js.map +0 -1
  848. package/dist/serializer/index.d.ts +0 -2
  849. package/dist/serializer/index.d.ts.map +0 -1
  850. package/dist/serializer/index.js +0 -2
  851. package/dist/serializer/index.js.map +0 -1
  852. package/dist/serializer/policies.d.ts +0 -34
  853. package/dist/serializer/policies.d.ts.map +0 -1
  854. package/dist/serializer/policies.js +0 -837
  855. package/dist/serializer/policies.js.map +0 -1
  856. package/dist/serializer/policy-typing.d.ts +0 -56
  857. package/dist/serializer/policy-typing.d.ts.map +0 -1
  858. package/dist/serializer/policy-typing.js +0 -490
  859. package/dist/serializer/policy-typing.js.map +0 -1
  860. package/dist/serializer/serialize.d.ts +0 -12
  861. package/dist/serializer/serialize.d.ts.map +0 -1
  862. package/dist/serializer/serialize.js +0 -6
  863. package/dist/serializer/serialize.js.map +0 -1
  864. /package/dist/{inference → upgrade}/index.js +0 -0
  865. /package/dist/{grammar/policy → v1/schema}/callable.js +0 -0
  866. /package/dist/{instance/core → value}/types.js +0 -0
@@ -0,0 +1,193 @@
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';
5
+ 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);
32
+ }
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 {
63
+ ...base,
64
+ endpoints: canonicalizeEndpoints(value.endpoints),
65
+ orientation: value.orientation,
66
+ constraints: value.constraints,
67
+ };
68
+ }
69
+ function canonicalizeClass(value) {
70
+ const base = {
71
+ ...withDescription(value),
72
+ family: value.family,
73
+ implements: [...value.implements].sort(compareSchemaRefs),
74
+ properties: canonicalizePropertyFacet(value.properties),
75
+ propertyMetadata: canonicalizePropertyMetadata(value.propertyMetadata),
76
+ };
77
+ if (value.family === 'node') {
78
+ return {
79
+ ...base,
80
+ methods: mapRecord(value.methods, canonicalizeMethod),
81
+ ...(value.data === undefined ? {} : { data: { mediaType: value.data.mediaType } }),
82
+ ...(value.icon === undefined ? {} : { icon: value.icon }),
83
+ policies: value.policies,
84
+ };
85
+ }
86
+ return {
87
+ ...base,
88
+ endpoints: canonicalizeEndpoints(value.endpoints),
89
+ orientation: value.orientation,
90
+ policies: value.policies,
91
+ constraints: value.constraints,
92
+ };
93
+ }
94
+ function canonicalizeFunction(value) {
95
+ return {
96
+ ...withDescription(value),
97
+ input: canonicalizeValueSchema(value.input, 'callable-input'),
98
+ output: canonicalizeCallableOutput(value.output),
99
+ auth: value.auth,
100
+ ...(value.policy === undefined ? {} : { policy: normalizePolicyChecks(value.policy) }),
101
+ };
102
+ }
103
+ function canonicalizeMethod(value) {
104
+ return {
105
+ ...canonicalizeFunction(value),
106
+ static: value.static,
107
+ inheritance: value.inheritance,
108
+ };
109
+ }
110
+ function canonicalizeCallableOutput(value) {
111
+ switch (value.mode) {
112
+ case 'value':
113
+ return { mode: 'value', schema: canonicalizeValueSchema(value.schema, 'callable-output') };
114
+ case 'stream':
115
+ return { mode: 'stream', item: canonicalizeValueSchema(value.item, 'callable-output') };
116
+ case 'binary':
117
+ return { mode: 'binary' };
118
+ }
119
+ }
120
+ function canonicalizePropertyFacet(value) {
121
+ const canonical = canonicalizeValueSchema(value, 'property-facet');
122
+ return canonical;
123
+ }
124
+ function canonicalizePropertyMetadata(value) {
125
+ return Object.fromEntries(Object.entries(value)
126
+ .filter(([, metadata]) => metadata.visibility === 'private')
127
+ .sort(([left], [right]) => compareUnicode(left, right)));
128
+ }
129
+ function canonicalizeEndpoints(value) {
130
+ return {
131
+ ...value,
132
+ source: { ...value.source, accepts: [...value.source.accepts].sort(compareSchemaRefs) },
133
+ target: { ...value.target, accepts: [...value.target.accepts].sort(compareSchemaRefs) },
134
+ };
135
+ }
136
+ function canonicalizeCoreEdge(edge, origin, orientationByClass) {
137
+ const isLocal = edge.class.origin === origin;
138
+ const isUndirected = isLocal && orientationByClass.get(edge.class.name) === 'undirected';
139
+ const [source, target] = isUndirected && compareCoreEndpoints(edge.source, edge.target) > 0
140
+ ? [edge.target, edge.source]
141
+ : [edge.source, edge.target];
142
+ return {
143
+ class: edge.class,
144
+ source,
145
+ target,
146
+ properties: copyJsonValue(edge.properties),
147
+ };
148
+ }
149
+ function compareCoreEdges(left, right) {
150
+ return (compareSchemaRefs(left.class, right.class) ||
151
+ compareCoreEndpoints(left.source, right.source) ||
152
+ compareCoreEndpoints(left.target, right.target) ||
153
+ compareBytes(json.serialize(left.properties), json.serialize(right.properties)));
154
+ }
155
+ function compareCoreEndpoints(left, right) {
156
+ if (left.kind === 'domain')
157
+ return right.kind === 'domain' ? 0 : -1;
158
+ if (right.kind === 'domain')
159
+ return 1;
160
+ return compareSchemaRefs(left, right);
161
+ }
162
+ function compareBytes(left, right) {
163
+ const encoder = new TextEncoder();
164
+ const a = encoder.encode(left);
165
+ const b = encoder.encode(right);
166
+ const length = Math.min(a.length, b.length);
167
+ for (let index = 0; index < length; index++) {
168
+ if (a[index] !== b[index])
169
+ return (a[index] ?? 0) - (b[index] ?? 0);
170
+ }
171
+ return a.length - b.length;
172
+ }
173
+ function mapRecord(value, map) {
174
+ return Object.fromEntries(Object.entries(value)
175
+ .sort(([left], [right]) => compareUnicode(left, right))
176
+ .map(([name, entry]) => [name, map(entry, name)]));
177
+ }
178
+ function withDescription(value) {
179
+ return value.description === undefined ? {} : { description: value.description };
180
+ }
181
+ function copyJsonValue(value) {
182
+ if (typeof value === 'number') {
183
+ if (Object.is(value, -0))
184
+ throw new TypeError('Cannot canonicalize negative zero.');
185
+ return value;
186
+ }
187
+ if (value === null || typeof value !== 'object')
188
+ return value;
189
+ if (Array.isArray(value))
190
+ return value.map((entry) => copyJsonValue(entry));
191
+ return Object.fromEntries(Object.entries(value).map(([key, entry]) => [key, copyJsonValue(entry)]));
192
+ }
193
+ //# sourceMappingURL=domain.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAWnD,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAC1F,OAAO,EACL,iBAAiB,EACjB,cAAc,GAGf,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAA;AAE1E,MAAM,UAAU,wBAAwB,CAAC,MAAsB;IAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SACpB,MAAM,CACL,CAAC,KAAK,EAAoE,EAAE,CAC1E,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAC7B;SACA,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,SAAS,GAAmB;QAChC,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAC1C;QACD,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACvF,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAC/D,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,oBAAoB,CAAC;QAC5D,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,0BAA0B,CAAC;QAChE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChD,IAAI,EAAE;YACJ,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;aACrE,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK;iBACrB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;iBAC5E,IAAI,CAAC,gBAAgB,CAAC;SAC1B;KACF,CAAA;IACD,OAAO,aAAa,CAAC,SAAS,CAA8B,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAsB;IAC9C,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EACJ,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpB,CAAC,CAAC;gBACE,IAAI,EAAE,YAAY;gBAClB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAGhE;aACF;QACP,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA2B;IACxD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACnD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAA4B,CAAA;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;SAC3D,CAAA;IAC3B,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;KACP,CAAA;AAC3B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,IAAI,GAAG;QACX,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACzD,UAAU,EAAE,yBAAyB,CAAC,KAAK,CAAC,UAAU,CAAC;QACvD,gBAAgB,EAAE,4BAA4B,CAAC,KAAK,CAAC,gBAAgB,CAAC;KACvE,CAAA;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC;YACrD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;YAClF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACL,CAAA;IACvB,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC;QACjD,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;KACX,CAAA;AACvB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA0B;IACtD,OAAO;QACL,GAAG,eAAe,CAAC,KAAK,CAAC;QACzB,KAAK,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAC7D,MAAM,EAAE,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;KACvF,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAwB;IAClD,OAAO;QACL,GAAG,oBAAoB,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAA;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAqB;IACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE,CAAA;QAC5F,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAA;QACzF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA2B;IAC5D,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAA;IAClE,OAAO,SAAiC,CAAA;AAC1C,CAAC;AAED,SAAS,4BAA4B,CAAC,KAA6B;IACjE,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC;SAC3D,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAC1D,CAAA;AACH,CAAC;AAED,SAAS,qBAAqB,CAK5B,KAAQ;IACR,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;QACvF,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;KACxF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAyB,EACzB,MAAc,EACd,kBAA+C;IAE/C,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAA;IAC5C,MAAM,YAAY,GAAG,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAA;IACxF,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,YAAY,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAChE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM;QACN,MAAM;QACN,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAA2B;KACrE,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAyB,EAAE,KAA0B;IAC7E,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAC1C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAChF,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAqB,EAAE,KAAsB;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAA;IACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;IACjC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAA;AAC5B,CAAC;AAED,SAAS,SAAS,CAChB,KAAkC,EAClC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CACpD,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAwC;IAG/D,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAA;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,KAAiC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAc,CAAA;IACxF,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC,KAAkB,CAAC,CAAC,CAAC,CACzE,CAAA;AAChB,CAAC"}
@@ -0,0 +1,2 @@
1
+ export declare function deepFreeze<T>(value: T): Readonly<T>;
2
+ //# sourceMappingURL=freeze.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"freeze.d.ts","sourceRoot":"","sources":["../../../../v1/schema/canonical/freeze.ts"],"names":[],"mappings":"AAAA,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CASnD"}
@@ -0,0 +1,10 @@
1
+ export function deepFreeze(value) {
2
+ if (value === null || typeof value !== 'object' || Object.isFrozen(value)) {
3
+ return value;
4
+ }
5
+ for (const nested of Object.values(value)) {
6
+ deepFreeze(nested);
7
+ }
8
+ return Object.freeze(value);
9
+ }
10
+ //# sourceMappingURL=freeze.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"freeze.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/freeze.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,UAAU,CAAI,KAAQ;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAoB,CAAA;IAC7B,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,EAAE,CAAC;QACrE,UAAU,CAAC,MAAM,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAgB,CAAA;AAC5C,CAAC"}
@@ -0,0 +1,17 @@
1
+ import type { Object as JsonObject } from '@astrale-os/kernel-dsl/value';
2
+ import type { ClassRef, CoreEndpointRef } from '../reference.js';
3
+ export interface CoreNodeDeclaration {
4
+ readonly class: ClassRef;
5
+ readonly properties: JsonObject;
6
+ }
7
+ export interface CoreEdgeDeclaration {
8
+ readonly class: ClassRef;
9
+ readonly source: CoreEndpointRef;
10
+ readonly target: CoreEndpointRef;
11
+ readonly properties: JsonObject;
12
+ }
13
+ export interface CoreDeclaration {
14
+ readonly nodes: Readonly<Record<string, CoreNodeDeclaration>>;
15
+ readonly edges: readonly CoreEdgeDeclaration[];
16
+ }
17
+ //# sourceMappingURL=declaration.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../../../../v1/schema/core/declaration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAExE,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEhE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAChC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAA;CAC/C"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=declaration.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"declaration.js","sourceRoot":"","sources":["../../../../v1/schema/core/declaration.ts"],"names":[],"mappings":""}
@@ -0,0 +1,6 @@
1
+ import type { DefinitionAnalysisResult } from '../definition/analysis.js';
2
+ import type { DomainDiagnostic } from '../diagnostic.js';
3
+ import type { DomainResolutionContext } from '../resolution/context.js';
4
+ import type { ValueSchemaRegistry } from '../value/registry.js';
5
+ export declare function validateCore(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult, registry: ValueSchemaRegistry): readonly DomainDiagnostic[];
6
+ //# sourceMappingURL=validate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../../v1/schema/core/validate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAsB,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AAI7F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AASxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAiC/D,wBAAgB,YAAY,CAC1B,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,EAClC,QAAQ,EAAE,mBAAmB,GAC5B,SAAS,gBAAgB,EAAE,CAO7B"}
@@ -0,0 +1,237 @@
1
+ import { diagnostic } from '../diagnostic.js';
2
+ import { schemaRefIndex, compareUnicode, formatSchemaRef } from '../reference.js';
3
+ import { validateJsonInstance } from '../value/instance.validate.js';
4
+ export function validateCore(environment, analysis, registry) {
5
+ const diagnostics = [];
6
+ const nodesByRef = resolveCoreNodes(environment, analysis, registry, diagnostics);
7
+ const edges = resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnostics);
8
+ validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics);
9
+ return Object.freeze(diagnostics);
10
+ }
11
+ function resolveCoreNodes(environment, analysis, registry, diagnostics) {
12
+ const nodes = new Map();
13
+ for (const [slug, node] of Object.entries(environment.candidate.core.nodes)) {
14
+ const pointer = `/core/nodes/${escapePointer(slug)}`;
15
+ const resolved = environment.resolve(node.class);
16
+ if (node.class.origin !== environment.candidate.origin ||
17
+ resolved === undefined ||
18
+ resolved.ref.kind !== 'class' ||
19
+ resolved.family !== 'node') {
20
+ diagnostics.push(diagnostic('DV_CORE_NODE_CLASS', `${pointer}/class`, `Core Node Class ${formatSchemaRef(node.class)} must resolve to a local concrete Node Class.`, formatSchemaRef(node.class)));
21
+ continue;
22
+ }
23
+ const definition = analysis.definitions.get(schemaRefIndex(node.class));
24
+ if (definition === undefined)
25
+ continue;
26
+ validateCreationProperties(definition, node.properties, registry, 'DV_CORE_NODE_PROPERTIES', `${pointer}/properties`, diagnostics);
27
+ const ref = { origin: environment.candidate.origin, kind: 'core', name: slug };
28
+ const key = schemaRefIndex(ref);
29
+ nodes.set(key, { kind: 'core', slug, ref, key, classRef: node.class, analysis: definition });
30
+ }
31
+ return nodes;
32
+ }
33
+ function resolveCoreEdges(environment, analysis, registry, nodesByRef, diagnostics) {
34
+ const edges = [];
35
+ for (const [index, edge] of environment.candidate.core.edges.entries()) {
36
+ const pointer = `/core/edges/${index}`;
37
+ const source = resolveCoreEndpoint(edge.source, `${pointer}/source`, nodesByRef, diagnostics);
38
+ const target = resolveCoreEndpoint(edge.target, `${pointer}/target`, nodesByRef, diagnostics);
39
+ const resolved = environment.resolve(edge.class);
40
+ if (edge.class.origin !== environment.candidate.origin ||
41
+ resolved === undefined ||
42
+ resolved.ref.kind !== 'class' ||
43
+ resolved.family !== 'edge') {
44
+ diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', `${pointer}/class`, `Core Edge Class ${formatSchemaRef(edge.class)} must resolve to a local concrete Edge Class.`, formatSchemaRef(edge.class)));
45
+ continue;
46
+ }
47
+ const definition = analysis.definitions.get(schemaRefIndex(edge.class));
48
+ if (definition === undefined)
49
+ continue;
50
+ validateCreationProperties(definition, edge.properties, registry, 'DV_CORE_EDGE_PROPERTIES', `${pointer}/properties`, diagnostics);
51
+ const declaration = resolved.declaration;
52
+ if (source === undefined || target === undefined)
53
+ continue;
54
+ if (!endpointSatisfies(environment, source, declaration.endpoints.source.accepts) ||
55
+ !endpointSatisfies(environment, target, declaration.endpoints.target.accepts)) {
56
+ diagnostics.push(diagnostic('DV_CORE_EDGE_CLASS', pointer, `Core Edge endpoints do not satisfy ${formatSchemaRef(edge.class)}.`, formatSchemaRef(edge.class)));
57
+ continue;
58
+ }
59
+ edges.push({ source, target, declaration, value: edge, pointer });
60
+ }
61
+ return edges;
62
+ }
63
+ function resolveCoreEndpoint(ref, pointer, nodesByRef, diagnostics) {
64
+ if (ref.kind === 'domain')
65
+ return { kind: 'domain', ref, key: 'domain' };
66
+ const node = nodesByRef.get(schemaRefIndex(ref));
67
+ if (node === undefined) {
68
+ diagnostics.push(diagnostic('DV_CORE_REF', pointer, `Core endpoint ${formatSchemaRef(ref)} does not name a declared local Core Node.`, formatSchemaRef(ref)));
69
+ }
70
+ return node;
71
+ }
72
+ function endpointSatisfies(environment, endpoint, accepts) {
73
+ // The owning Domain is a graph-projection identity, not a Definition declared by this DSL.
74
+ // Its concrete Class contract is therefore admitted by the projection compiler.
75
+ return endpoint.kind === 'domain' || classSatisfies(environment, endpoint.classRef, accepts);
76
+ }
77
+ function validateCreationProperties(definition, properties, registry, code, pointer, diagnostics) {
78
+ const schema = {
79
+ type: 'object',
80
+ properties: Object.fromEntries([...definition.properties].map(([name, field]) => [name, field.schema])),
81
+ required: [...definition.properties]
82
+ .filter(([, field]) => field.required)
83
+ .map(([name]) => name)
84
+ .sort(compareUnicode),
85
+ additionalProperties: false,
86
+ };
87
+ for (const failure of validateJsonInstance(schema, properties, registry, pointer)) {
88
+ diagnostics.push(diagnostic(code, failure.pointer, failure.message, failure.ref));
89
+ }
90
+ }
91
+ function validateCoreEdgeSet(environment, edges, nodesByRef, diagnostics) {
92
+ const seen = new Map();
93
+ const edgeSlices = new Map();
94
+ for (const [name, candidate] of Object.entries(environment.candidate.classes)) {
95
+ if (candidate.family !== 'edge')
96
+ continue;
97
+ const ref = {
98
+ origin: environment.candidate.origin,
99
+ kind: 'class',
100
+ name,
101
+ };
102
+ const resolved = environment.resolve(ref);
103
+ if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'edge') {
104
+ continue;
105
+ }
106
+ edgeSlices.set(schemaRefIndex(ref), {
107
+ declaration: resolved.declaration,
108
+ edges: [],
109
+ });
110
+ }
111
+ for (const edge of edges) {
112
+ const classKey = schemaRefIndex(edge.value.class);
113
+ const [source, target] = edge.declaration.orientation === 'undirected' &&
114
+ compareUnicode(edge.source.key, edge.target.key) > 0
115
+ ? [edge.target.key, edge.source.key]
116
+ : [edge.source.key, edge.target.key];
117
+ const key = `${classKey}\u0000${source}\u0000${target}`;
118
+ const previous = seen.get(key);
119
+ if (previous !== undefined) {
120
+ diagnostics.push(diagnostic('DV_CORE_EDGE_KEY', edge.pointer, `Core Edge duplicates the normalized EdgeKey declared at ${previous}.`));
121
+ }
122
+ else {
123
+ seen.set(key, edge.pointer);
124
+ }
125
+ const slice = edgeSlices.get(classKey) ?? {
126
+ declaration: edge.declaration,
127
+ edges: [],
128
+ };
129
+ slice.edges.push(edge);
130
+ edgeSlices.set(classKey, slice);
131
+ if (edge.declaration.constraints.noSelf === true && edge.source.key === edge.target.key) {
132
+ diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', edge.pointer, 'Core Edge violates noSelf.'));
133
+ }
134
+ }
135
+ for (const { declaration, edges: classEdges } of edgeSlices.values()) {
136
+ if (declaration.constraints.acyclic === true && hasDirectedCycle(classEdges)) {
137
+ diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', '/core/edges', 'Core Edge set violates exact-Class acyclicity.'));
138
+ }
139
+ validateCardinality(environment, declaration, classEdges, nodesByRef, diagnostics);
140
+ }
141
+ }
142
+ function validateCardinality(environment, declaration, edges, nodesByRef, diagnostics) {
143
+ if (declaration.orientation === 'undirected') {
144
+ for (const node of nodesByRef.values()) {
145
+ if (!classSatisfies(environment, node.classRef, declaration.endpoints.source.accepts)) {
146
+ continue;
147
+ }
148
+ const degree = edges.filter((edge) => edge.source.key === node.key || edge.target.key === node.key).length;
149
+ checkBound(declaration.endpoints.source, degree, node, diagnostics);
150
+ }
151
+ return;
152
+ }
153
+ for (const node of nodesByRef.values()) {
154
+ if (classSatisfies(environment, node.classRef, declaration.endpoints.source.accepts)) {
155
+ const degree = edges.filter((edge) => edge.source.key === node.key).length;
156
+ checkBound(declaration.endpoints.source, degree, node, diagnostics);
157
+ }
158
+ if (classSatisfies(environment, node.classRef, declaration.endpoints.target.accepts)) {
159
+ const degree = edges.filter((edge) => edge.target.key === node.key).length;
160
+ checkBound(declaration.endpoints.target, degree, node, diagnostics);
161
+ }
162
+ }
163
+ }
164
+ function checkBound(endpoint, degree, node, diagnostics) {
165
+ const [minimum, maximum] = cardinalityBounds(endpoint.cardinality);
166
+ if (degree >= minimum && degree <= maximum)
167
+ return;
168
+ diagnostics.push(diagnostic('DV_CORE_EDGE_CONSTRAINTS', `/core/nodes/${escapePointer(node.slug)}`, `Core degree ${degree} violates ${endpoint.role} cardinality ${endpoint.cardinality}.`));
169
+ }
170
+ function cardinalityBounds(value) {
171
+ switch (value) {
172
+ case '0..*':
173
+ return [0, Number.POSITIVE_INFINITY];
174
+ case '1..*':
175
+ return [1, Number.POSITIVE_INFINITY];
176
+ case '0..1':
177
+ return [0, 1];
178
+ case '1':
179
+ return [1, 1];
180
+ }
181
+ }
182
+ function hasDirectedCycle(edges) {
183
+ const outgoing = new Map();
184
+ for (const edge of edges) {
185
+ const targets = outgoing.get(edge.source.key) ?? [];
186
+ targets.push(edge.target.key);
187
+ outgoing.set(edge.source.key, targets);
188
+ }
189
+ const visiting = new Set();
190
+ const visited = new Set();
191
+ const visit = (key) => {
192
+ if (visiting.has(key))
193
+ return true;
194
+ if (visited.has(key))
195
+ return false;
196
+ visiting.add(key);
197
+ for (const target of outgoing.get(key) ?? [])
198
+ if (visit(target))
199
+ return true;
200
+ visiting.delete(key);
201
+ visited.add(key);
202
+ return false;
203
+ };
204
+ return [...outgoing.keys()].some(visit);
205
+ }
206
+ function classSatisfies(environment, classRef, accepts) {
207
+ if (accepts.some((ref) => schemaRefIndex(ref) === schemaRefIndex(classRef)))
208
+ return true;
209
+ const resolved = environment.resolveAny(classRef);
210
+ if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'node') {
211
+ return false;
212
+ }
213
+ return classImplementsAny(environment, resolved.declaration.implements, accepts, new Set());
214
+ }
215
+ function classImplementsAny(environment, parents, accepts, visited) {
216
+ const accepted = new Set(accepts.map(schemaRefIndex));
217
+ for (const parent of parents) {
218
+ const key = schemaRefIndex(parent);
219
+ if (accepted.has(key))
220
+ return true;
221
+ if (visited.has(key))
222
+ continue;
223
+ visited.add(key);
224
+ const resolved = environment.resolveAny(parent);
225
+ if (resolved !== undefined &&
226
+ resolved.ref.kind === 'interface' &&
227
+ (resolved.family === 'node' || resolved.family === 'both') &&
228
+ classImplementsAny(environment, resolved.declaration.extends, accepts, visited)) {
229
+ return true;
230
+ }
231
+ }
232
+ return false;
233
+ }
234
+ function escapePointer(value) {
235
+ return value.replaceAll('~', '~0').replaceAll('/', '~1');
236
+ }
237
+ //# sourceMappingURL=validate.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../v1/schema/core/validate.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAA;AA2BpE,MAAM,UAAU,YAAY,CAC1B,WAAoC,EACpC,QAAkC,EAClC,QAA6B;IAE7B,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,MAAM,UAAU,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACjF,MAAM,KAAK,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAExF,mBAAmB,CAAC,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,QAAkC,EAClC,QAA6B,EAC7B,WAA+B;IAE/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAA;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QACpD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM;YAClD,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,MAAM,KAAK,MAAM,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EAC7F,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,0BAA0B,CACxB,UAAU,EACV,IAAI,CAAC,UAAU,EACf,QAAQ,EACR,yBAAyB,EACzB,GAAG,OAAO,aAAa,EACvB,WAAW,CACZ,CAAA;QACD,MAAM,GAAG,GAAY,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACvF,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,QAAkC,EAClC,QAA6B,EAC7B,UAAiD,EACjD,WAA+B;IAE/B,MAAM,KAAK,GAAuB,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,eAAe,KAAK,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC7F,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;QAC7F,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,SAAS,CAAC,MAAM;YAClD,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO;YAC7B,QAAQ,CAAC,MAAM,KAAK,MAAM,EAC1B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,OAAO,QAAQ,EAClB,mBAAmB,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,+CAA+C,EAC7F,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,IAAI,UAAU,KAAK,SAAS;YAAE,SAAQ;QACtC,0BAA0B,CACxB,UAAU,EACV,IAAI,CAAC,UAAU,EACf,QAAQ,EACR,yBAAyB,EACzB,GAAG,OAAO,aAAa,EACvB,WAAW,CACZ,CAAA;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAmC,CAAA;QAChE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,SAAQ;QAC1D,IACE,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC;YAC7E,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAC7E,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,OAAO,EACP,sCAAsC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EACpE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5B,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,mBAAmB,CAC1B,GAAoB,EACpB,OAAe,EACf,UAAiD,EACjD,WAA+B;IAE/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;IACxE,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,aAAa,EACb,OAAO,EACP,iBAAiB,eAAe,CAAC,GAAG,CAAC,4CAA4C,EACjF,eAAe,CAAC,GAAG,CAAC,CACrB,CACF,CAAA;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,iBAAiB,CACxB,WAAoC,EACpC,QAA8B,EAC9B,OAAiC;IAEjC,2FAA2F;IAC3F,gFAAgF;IAChF,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,cAAc,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;AAC9F,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA8B,EAC9B,UAAsB,EACtB,QAA6B,EAC7B,IAA2D,EAC3D,OAAe,EACf,WAA+B;IAE/B,MAAM,MAAM,GAAyB;QACnC,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAC5B,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CACxE;QACD,QAAQ,EAAE,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;aACjC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;aACrB,IAAI,CAAC,cAAc,CAAC;QACvB,oBAAoB,EAAE,KAAK;KAC5B,CAAA;IACD,KAAK,MAAM,OAAO,IAAI,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAClF,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;IACnF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,KAAkC,EAClC,UAAiD,EACjD,WAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAGvB,CAAA;IAEH,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QACzC,MAAM,GAAG,GAAa;YACpB,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM;YACpC,IAAI,EAAE,OAAO;YACb,IAAI;SACL,CAAA;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1F,SAAQ;QACV,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE;YAClC,WAAW,EAAE,QAAQ,CAAC,WAAmC;YACzD,KAAK,EAAE,EAAE;SACV,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACjD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GACpB,IAAI,CAAC,WAAW,CAAC,WAAW,KAAK,YAAY;YAC7C,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAClD,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;YACpC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACxC,MAAM,GAAG,GAAG,GAAG,QAAQ,SAAS,MAAM,SAAS,MAAM,EAAE,CAAA;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,IAAI,CAAC,OAAO,EACZ,2DAA2D,QAAQ,GAAG,CACvE,CACF,CAAA;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;QAC7B,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI;YACxC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,EAAE;SACV,CAAA;QACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACtB,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QAE/B,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YACxF,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,0BAA0B,EAAE,IAAI,CAAC,OAAO,EAAE,4BAA4B,CAAC,CACnF,CAAA;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACrE,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,IAAI,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,aAAa,EACb,gDAAgD,CACjD,CACF,CAAA;QACH,CAAC;QACD,mBAAmB,CAAC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAA;IACpF,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,WAAoC,EACpC,WAAiC,EACjC,KAAkC,EAClC,UAAiD,EACjD,WAA+B;IAE/B,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtF,SAAQ;YACV,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CACzB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CACvE,CAAC,MAAM,CAAA;YACR,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QACrE,CAAC;QACD,OAAM;IACR,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAC1E,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QACrE,CAAC;QACD,IAAI,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAC1E,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QACrE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,QAAsB,EACtB,MAAc,EACd,IAAsB,EACtB,WAA+B;IAE/B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAClE,IAAI,MAAM,IAAI,OAAO,IAAI,MAAM,IAAI,OAAO;QAAE,OAAM;IAClD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,0BAA0B,EAC1B,eAAe,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACzC,eAAe,MAAM,aAAa,QAAQ,CAAC,IAAI,gBAAgB,QAAQ,CAAC,WAAW,GAAG,CACvF,CACF,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAkB;IAC3C,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAA;QACtC,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACf,KAAK,GAAG;YACN,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACjB,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAkC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;QACnD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC7B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAW,EAAE;QACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAClC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;YAAE,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAA;QAC5E,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACpB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,cAAc,CACrB,WAAoC,EACpC,QAAkB,EAClB,OAAiC;IAEjC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACxF,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;IACjD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC1F,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,kBAAkB,CACvB,WAAW,EACV,QAAQ,CAAC,WAA6D,CAAC,UAAU,EAClF,OAAO,EACP,IAAI,GAAG,EAAE,CACV,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAoC,EACpC,OAA6B,EAC7B,OAAiC,EACjC,OAAoB;IAEpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAA;IACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAA;QAClC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC9B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAChB,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QAC/C,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;YACjC,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC;YAC1D,kBAAkB,CAChB,WAAW,EACV,QAAQ,CAAC,WAAoC,CAAC,OAAO,EACtD,OAAO,EACP,OAAO,CACR,EACD,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}
@@ -0,0 +1,41 @@
1
+ import type { MethodDeclaration } from '../callable.js';
2
+ import type { DomainDiagnostic } from '../diagnostic.js';
3
+ import type { DefinitionRef } from '../reference.js';
4
+ 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 { PropertyKey } from '../../addressing/index.js';
10
+ export interface EffectiveField {
11
+ readonly identity: PropertyKey;
12
+ readonly owner: DefinitionRef;
13
+ readonly name: string;
14
+ readonly schema: JsonSchema;
15
+ readonly required: boolean;
16
+ readonly visibility: 'public' | 'private';
17
+ }
18
+ export interface EffectiveMethod {
19
+ readonly identity: string;
20
+ readonly owner: DefinitionRef;
21
+ readonly name: string;
22
+ readonly declaration: MethodDeclaration;
23
+ }
24
+ export interface EffectiveData {
25
+ readonly identity: string;
26
+ readonly owner: DefinitionRef;
27
+ readonly declaration: DataDeclaration;
28
+ }
29
+ export interface DefinitionAnalysis {
30
+ readonly ref: DefinitionRef;
31
+ readonly declaration: InterfaceDeclaration | ClassDeclaration;
32
+ readonly properties: ReadonlyMap<PropertyKey, EffectiveField>;
33
+ readonly data?: EffectiveData;
34
+ readonly methods: ReadonlyMap<string, EffectiveMethod>;
35
+ }
36
+ export interface DefinitionAnalysisResult {
37
+ readonly definitions: ReadonlyMap<string, DefinitionAnalysis>;
38
+ readonly diagnostics: readonly DomainDiagnostic[];
39
+ }
40
+ export declare function analyzeDefinitions(environment: DomainResolutionContext): DefinitionAnalysisResult;
41
+ //# sourceMappingURL=analysis.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/analysis.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AACvD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAChD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAA;AAE1D,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAMvD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;CAC1C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAA;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAA;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,gBAAgB,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CACvD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IAC7D,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAClD;AAED,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,uBAAuB,GAAG,wBAAwB,CAiEjG"}