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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (870) 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 +92 -0
  37. package/dist/v1/builder/callable.d.ts.map +1 -0
  38. package/dist/v1/builder/callable.js +46 -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 +138 -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 +32 -0
  53. package/dist/v1/builder/compiler/definition.d.ts.map +1 -0
  54. package/dist/v1/builder/compiler/definition.js +197 -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 +26 -0
  77. package/dist/v1/builder/compiler/value.d.ts.map +1 -0
  78. package/dist/v1/builder/compiler/value.js +160 -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 +155 -0
  97. package/dist/v1/builder/definition.d.ts.map +1 -0
  98. package/dist/v1/builder/definition.js +141 -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 +37 -0
  133. package/dist/v1/builder/property.d.ts.map +1 -0
  134. package/dist/v1/builder/property.js +36 -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 +226 -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 +257 -0
  202. package/dist/v1/schema/core/validate.js.map +1 -0
  203. package/dist/v1/schema/definition/analysis.d.ts +43 -0
  204. package/dist/v1/schema/definition/analysis.d.ts.map +1 -0
  205. package/dist/v1/schema/definition/analysis.js +190 -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 +35 -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 +18 -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 +221 -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 +360 -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 +272 -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 +132 -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 +453 -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.compiled.d.ts +79 -0
  420. package/dist/v1/schema/value/profile/meta-schema.compiled.d.ts.map +1 -0
  421. package/dist/v1/schema/value/profile/meta-schema.compiled.js +2080 -0
  422. package/dist/v1/schema/value/profile/meta-schema.compiled.js.map +1 -0
  423. package/dist/v1/schema/value/profile/meta-schema.validate.d.ts +4 -0
  424. package/dist/v1/schema/value/profile/meta-schema.validate.d.ts.map +1 -0
  425. package/dist/v1/schema/value/profile/meta-schema.validate.js +19 -0
  426. package/dist/v1/schema/value/profile/meta-schema.validate.js.map +1 -0
  427. package/dist/v1/schema/value/profile/rules.d.ts +5 -0
  428. package/dist/v1/schema/value/profile/rules.d.ts.map +1 -0
  429. package/dist/v1/schema/value/profile/rules.js +152 -0
  430. package/dist/v1/schema/value/profile/rules.js.map +1 -0
  431. package/dist/v1/schema/value/profile/validate.d.ts +5 -0
  432. package/dist/v1/schema/value/profile/validate.d.ts.map +1 -0
  433. package/dist/v1/schema/value/profile/validate.js +47 -0
  434. package/dist/v1/schema/value/profile/validate.js.map +1 -0
  435. package/dist/v1/schema/value/profile/vocabulary.d.ts +3 -0
  436. package/dist/v1/schema/value/profile/vocabulary.d.ts.map +1 -0
  437. package/dist/v1/schema/value/profile/vocabulary.js +69 -0
  438. package/dist/v1/schema/value/profile/vocabulary.js.map +1 -0
  439. package/dist/v1/schema/value/regexp/linear.d.ts +20 -0
  440. package/dist/v1/schema/value/regexp/linear.d.ts.map +1 -0
  441. package/dist/v1/schema/value/regexp/linear.js +24 -0
  442. package/dist/v1/schema/value/regexp/linear.js.map +1 -0
  443. package/dist/v1/schema/value/regexp/lower.d.ts +4 -0
  444. package/dist/v1/schema/value/regexp/lower.d.ts.map +1 -0
  445. package/dist/v1/schema/value/regexp/lower.js +27 -0
  446. package/dist/v1/schema/value/regexp/lower.js.map +1 -0
  447. package/dist/v1/schema/value/regexp/pattern.d.ts +3 -0
  448. package/dist/v1/schema/value/regexp/pattern.d.ts.map +1 -0
  449. package/dist/v1/schema/value/regexp/pattern.js +39 -0
  450. package/dist/v1/schema/value/regexp/pattern.js.map +1 -0
  451. package/dist/v1/schema/value/regexp/syntax.d.ts +3 -0
  452. package/dist/v1/schema/value/regexp/syntax.d.ts.map +1 -0
  453. package/dist/v1/schema/value/regexp/syntax.js +217 -0
  454. package/dist/v1/schema/value/regexp/syntax.js.map +1 -0
  455. package/dist/v1/schema/value/registry.d.ts +22 -0
  456. package/dist/v1/schema/value/registry.d.ts.map +1 -0
  457. package/dist/v1/schema/value/registry.js +2 -0
  458. package/dist/v1/schema/value/registry.js.map +1 -0
  459. package/dist/v1/schema/value/resources/closure.d.ts +12 -0
  460. package/dist/v1/schema/value/resources/closure.d.ts.map +1 -0
  461. package/dist/v1/schema/value/resources/closure.js +59 -0
  462. package/dist/v1/schema/value/resources/closure.js.map +1 -0
  463. package/dist/v1/schema/value/resources/recursion.d.ts +6 -0
  464. package/dist/v1/schema/value/resources/recursion.d.ts.map +1 -0
  465. package/dist/v1/schema/value/resources/recursion.js +96 -0
  466. package/dist/v1/schema/value/resources/recursion.js.map +1 -0
  467. package/dist/v1/schema/value/resources/references.d.ts +25 -0
  468. package/dist/v1/schema/value/resources/references.d.ts.map +1 -0
  469. package/dist/v1/schema/value/resources/references.js +93 -0
  470. package/dist/v1/schema/value/resources/references.js.map +1 -0
  471. package/dist/v1/schema/value/resources/registry.index.d.ts +22 -0
  472. package/dist/v1/schema/value/resources/registry.index.d.ts.map +1 -0
  473. package/dist/v1/schema/value/resources/registry.index.js +114 -0
  474. package/dist/v1/schema/value/resources/registry.index.js.map +1 -0
  475. package/dist/v1/schema/value/schema.d.ts +26 -0
  476. package/dist/v1/schema/value/schema.d.ts.map +1 -0
  477. package/dist/v1/schema/value/schema.js +13 -0
  478. package/dist/v1/schema/value/schema.js.map +1 -0
  479. package/dist/v1/schema/view/declaration.d.ts +14 -0
  480. package/dist/v1/schema/view/declaration.d.ts.map +1 -0
  481. package/dist/v1/schema/view/declaration.js +2 -0
  482. package/dist/v1/schema/view/declaration.js.map +1 -0
  483. package/dist/v1/schema/view/validate.d.ts +4 -0
  484. package/dist/v1/schema/view/validate.d.ts.map +1 -0
  485. package/dist/v1/schema/view/validate.js +22 -0
  486. package/dist/v1/schema/view/validate.js.map +1 -0
  487. package/dist/v1/schema.d.ts +3 -0
  488. package/dist/v1/schema.d.ts.map +1 -0
  489. package/dist/v1/schema.js +3 -0
  490. package/dist/v1/schema.js.map +1 -0
  491. package/dist/v1.d.ts +3 -0
  492. package/dist/v1.d.ts.map +1 -0
  493. package/dist/v1.js +3 -0
  494. package/dist/v1.js.map +1 -0
  495. package/dist/value/accept.d.ts +9 -0
  496. package/dist/value/accept.d.ts.map +1 -0
  497. package/dist/value/accept.js +133 -0
  498. package/dist/value/accept.js.map +1 -0
  499. package/dist/value/canonical.d.ts +5 -0
  500. package/dist/value/canonical.d.ts.map +1 -0
  501. package/dist/value/canonical.js +42 -0
  502. package/dist/value/canonical.js.map +1 -0
  503. package/dist/value/decode.d.ts +5 -0
  504. package/dist/value/decode.d.ts.map +1 -0
  505. package/dist/value/decode.js +109 -0
  506. package/dist/value/decode.js.map +1 -0
  507. package/dist/value/equal.d.ts +4 -0
  508. package/dist/value/equal.d.ts.map +1 -0
  509. package/dist/value/equal.js +6 -0
  510. package/dist/value/equal.js.map +1 -0
  511. package/dist/value/error.d.ts +13 -0
  512. package/dist/value/error.d.ts.map +1 -0
  513. package/dist/value/error.js +22 -0
  514. package/dist/value/error.js.map +1 -0
  515. package/dist/value/index.d.ts +10 -0
  516. package/dist/value/index.d.ts.map +1 -0
  517. package/dist/value/index.js +7 -0
  518. package/dist/value/index.js.map +1 -0
  519. package/dist/value/json.d.ts +4 -0
  520. package/dist/value/json.d.ts.map +1 -0
  521. package/dist/value/json.js +4 -0
  522. package/dist/value/json.js.map +1 -0
  523. package/dist/value/limits.d.ts +22 -0
  524. package/dist/value/limits.d.ts.map +1 -0
  525. package/dist/value/limits.js +16 -0
  526. package/dist/value/limits.js.map +1 -0
  527. package/dist/value/types.d.ts +7 -0
  528. package/dist/value/types.d.ts.map +1 -0
  529. package/dist/value/types.js.map +1 -0
  530. package/dist/value/unicode.d.ts +5 -0
  531. package/dist/value/unicode.d.ts.map +1 -0
  532. package/dist/value/unicode.js +65 -0
  533. package/dist/value/unicode.js.map +1 -0
  534. package/dist/version/dispatch.d.ts +25 -0
  535. package/dist/version/dispatch.d.ts.map +1 -0
  536. package/dist/version/dispatch.js +48 -0
  537. package/dist/version/dispatch.js.map +1 -0
  538. package/dist/version/index.d.ts +3 -0
  539. package/dist/version/index.d.ts.map +1 -0
  540. package/dist/version/index.js +2 -0
  541. package/dist/version/index.js.map +1 -0
  542. package/package.json +20 -8
  543. package/dist/builders/bitmask.d.ts +0 -5
  544. package/dist/builders/bitmask.d.ts.map +0 -1
  545. package/dist/builders/bitmask.js +0 -12
  546. package/dist/builders/bitmask.js.map +0 -1
  547. package/dist/builders/data.d.ts +0 -7
  548. package/dist/builders/data.d.ts.map +0 -1
  549. package/dist/builders/data.js +0 -18
  550. package/dist/builders/data.js.map +0 -1
  551. package/dist/builders/definition/base.d.ts +0 -13
  552. package/dist/builders/definition/base.d.ts.map +0 -1
  553. package/dist/builders/definition/base.js +0 -24
  554. package/dist/builders/definition/base.js.map +0 -1
  555. package/dist/builders/definition/edge-class.d.ts +0 -8
  556. package/dist/builders/definition/edge-class.d.ts.map +0 -1
  557. package/dist/builders/definition/edge-class.js +0 -9
  558. package/dist/builders/definition/edge-class.js.map +0 -1
  559. package/dist/builders/definition/edge-interface.d.ts +0 -8
  560. package/dist/builders/definition/edge-interface.d.ts.map +0 -1
  561. package/dist/builders/definition/edge-interface.js +0 -9
  562. package/dist/builders/definition/edge-interface.js.map +0 -1
  563. package/dist/builders/definition/node-class.d.ts +0 -7
  564. package/dist/builders/definition/node-class.d.ts.map +0 -1
  565. package/dist/builders/definition/node-class.js +0 -9
  566. package/dist/builders/definition/node-class.js.map +0 -1
  567. package/dist/builders/definition/node-interface.d.ts +0 -7
  568. package/dist/builders/definition/node-interface.d.ts.map +0 -1
  569. package/dist/builders/definition/node-interface.js +0 -9
  570. package/dist/builders/definition/node-interface.js.map +0 -1
  571. package/dist/builders/function.d.ts +0 -34
  572. package/dist/builders/function.d.ts.map +0 -1
  573. package/dist/builders/function.js +0 -8
  574. package/dist/builders/function.js.map +0 -1
  575. package/dist/builders/policy.d.ts +0 -10
  576. package/dist/builders/policy.d.ts.map +0 -1
  577. package/dist/builders/policy.js +0 -28
  578. package/dist/builders/policy.js.map +0 -1
  579. package/dist/builders/prop.d.ts +0 -7
  580. package/dist/builders/prop.d.ts.map +0 -1
  581. package/dist/builders/prop.js +0 -9
  582. package/dist/builders/prop.js.map +0 -1
  583. package/dist/builders/ref.d.ts +0 -12
  584. package/dist/builders/ref.d.ts.map +0 -1
  585. package/dist/builders/ref.js +0 -27
  586. package/dist/builders/ref.js.map +0 -1
  587. package/dist/grammar/definition/base.d.ts +0 -13
  588. package/dist/grammar/definition/base.d.ts.map +0 -1
  589. package/dist/grammar/definition/base.js +0 -2
  590. package/dist/grammar/definition/base.js.map +0 -1
  591. package/dist/grammar/definition/discriminants.d.ts +0 -31
  592. package/dist/grammar/definition/discriminants.d.ts.map +0 -1
  593. package/dist/grammar/definition/discriminants.js +0 -33
  594. package/dist/grammar/definition/discriminants.js.map +0 -1
  595. package/dist/grammar/definition/edge-class.d.ts +0 -19
  596. package/dist/grammar/definition/edge-class.d.ts.map +0 -1
  597. package/dist/grammar/definition/edge-class.js +0 -2
  598. package/dist/grammar/definition/edge-class.js.map +0 -1
  599. package/dist/grammar/definition/edge-interface.d.ts +0 -18
  600. package/dist/grammar/definition/edge-interface.d.ts.map +0 -1
  601. package/dist/grammar/definition/edge-interface.js +0 -2
  602. package/dist/grammar/definition/edge-interface.js.map +0 -1
  603. package/dist/grammar/definition/node-class.d.ts +0 -26
  604. package/dist/grammar/definition/node-class.d.ts.map +0 -1
  605. package/dist/grammar/definition/node-class.js +0 -2
  606. package/dist/grammar/definition/node-class.js.map +0 -1
  607. package/dist/grammar/definition/node-interface.d.ts +0 -14
  608. package/dist/grammar/definition/node-interface.d.ts.map +0 -1
  609. package/dist/grammar/definition/node-interface.js +0 -2
  610. package/dist/grammar/definition/node-interface.js.map +0 -1
  611. package/dist/grammar/facets/constraints.d.ts +0 -8
  612. package/dist/grammar/facets/constraints.d.ts.map +0 -1
  613. package/dist/grammar/facets/constraints.js +0 -2
  614. package/dist/grammar/facets/constraints.js.map +0 -1
  615. package/dist/grammar/facets/content.d.ts +0 -4
  616. package/dist/grammar/facets/content.d.ts.map +0 -1
  617. package/dist/grammar/facets/content.js +0 -2
  618. package/dist/grammar/facets/content.js.map +0 -1
  619. package/dist/grammar/facets/endpoints.d.ts +0 -14
  620. package/dist/grammar/facets/endpoints.d.ts.map +0 -1
  621. package/dist/grammar/facets/endpoints.js +0 -3
  622. package/dist/grammar/facets/endpoints.js.map +0 -1
  623. package/dist/grammar/facets/indexes.d.ts +0 -12
  624. package/dist/grammar/facets/indexes.d.ts.map +0 -1
  625. package/dist/grammar/facets/indexes.js +0 -9
  626. package/dist/grammar/facets/indexes.js.map +0 -1
  627. package/dist/grammar/facets/properties.d.ts +0 -26
  628. package/dist/grammar/facets/properties.d.ts.map +0 -1
  629. package/dist/grammar/facets/properties.js +0 -45
  630. package/dist/grammar/facets/properties.js.map +0 -1
  631. package/dist/grammar/function/config.d.ts +0 -16
  632. package/dist/grammar/function/config.d.ts.map +0 -1
  633. package/dist/grammar/function/config.js +0 -2
  634. package/dist/grammar/function/config.js.map +0 -1
  635. package/dist/grammar/function/def.d.ts +0 -58
  636. package/dist/grammar/function/def.d.ts.map +0 -1
  637. package/dist/grammar/function/def.js +0 -2
  638. package/dist/grammar/function/def.js.map +0 -1
  639. package/dist/grammar/function/inheritance.d.ts +0 -3
  640. package/dist/grammar/function/inheritance.d.ts.map +0 -1
  641. package/dist/grammar/function/inheritance.js +0 -2
  642. package/dist/grammar/function/inheritance.js.map +0 -1
  643. package/dist/grammar/function/output.d.ts +0 -3
  644. package/dist/grammar/function/output.d.ts.map +0 -1
  645. package/dist/grammar/function/output.js +0 -2
  646. package/dist/grammar/function/output.js.map +0 -1
  647. package/dist/grammar/policy/callable.d.ts +0 -40
  648. package/dist/grammar/policy/callable.d.ts.map +0 -1
  649. package/dist/grammar/policy/callable.js.map +0 -1
  650. package/dist/grammar/policy/def.d.ts +0 -27
  651. package/dist/grammar/policy/def.d.ts.map +0 -1
  652. package/dist/grammar/policy/def.js +0 -2
  653. package/dist/grammar/policy/def.js.map +0 -1
  654. package/dist/grammar/policy/pattern.d.ts +0 -34
  655. package/dist/grammar/policy/pattern.d.ts.map +0 -1
  656. package/dist/grammar/policy/pattern.js +0 -2
  657. package/dist/grammar/policy/pattern.js.map +0 -1
  658. package/dist/grammar/values/bitmask.d.ts +0 -7
  659. package/dist/grammar/values/bitmask.d.ts.map +0 -1
  660. package/dist/grammar/values/bitmask.js +0 -2
  661. package/dist/grammar/values/bitmask.js.map +0 -1
  662. package/dist/grammar/values/data.d.ts +0 -30
  663. package/dist/grammar/values/data.d.ts.map +0 -1
  664. package/dist/grammar/values/data.js +0 -2
  665. package/dist/grammar/values/data.js.map +0 -1
  666. package/dist/grammar/values/ref.d.ts +0 -26
  667. package/dist/grammar/values/ref.d.ts.map +0 -1
  668. package/dist/grammar/values/ref.js +0 -2
  669. package/dist/grammar/values/ref.js.map +0 -1
  670. package/dist/grammar/values/self.d.ts +0 -12
  671. package/dist/grammar/values/self.d.ts.map +0 -1
  672. package/dist/grammar/values/self.js +0 -6
  673. package/dist/grammar/values/self.js.map +0 -1
  674. package/dist/inference/content.d.ts +0 -27
  675. package/dist/inference/content.d.ts.map +0 -1
  676. package/dist/inference/content.js +0 -2
  677. package/dist/inference/content.js.map +0 -1
  678. package/dist/inference/index.d.ts +0 -7
  679. package/dist/inference/index.d.ts.map +0 -1
  680. package/dist/inference/index.js.map +0 -1
  681. package/dist/inference/inheritance.d.ts +0 -48
  682. package/dist/inference/inheritance.d.ts.map +0 -1
  683. package/dist/inference/inheritance.js +0 -2
  684. package/dist/inference/inheritance.js.map +0 -1
  685. package/dist/inference/input.d.ts +0 -30
  686. package/dist/inference/input.d.ts.map +0 -1
  687. package/dist/inference/input.js +0 -2
  688. package/dist/inference/input.js.map +0 -1
  689. package/dist/inference/methods.d.ts +0 -69
  690. package/dist/inference/methods.d.ts.map +0 -1
  691. package/dist/inference/methods.js +0 -2
  692. package/dist/inference/methods.js.map +0 -1
  693. package/dist/inference/properties.d.ts +0 -37
  694. package/dist/inference/properties.d.ts.map +0 -1
  695. package/dist/inference/properties.js +0 -2
  696. package/dist/inference/properties.js.map +0 -1
  697. package/dist/inference/schema.d.ts +0 -37
  698. package/dist/inference/schema.d.ts.map +0 -1
  699. package/dist/inference/schema.js +0 -2
  700. package/dist/inference/schema.js.map +0 -1
  701. package/dist/instance/core/define.d.ts +0 -13
  702. package/dist/instance/core/define.d.ts.map +0 -1
  703. package/dist/instance/core/define.js +0 -63
  704. package/dist/instance/core/define.js.map +0 -1
  705. package/dist/instance/core/edge.d.ts +0 -9
  706. package/dist/instance/core/edge.d.ts.map +0 -1
  707. package/dist/instance/core/edge.js +0 -11
  708. package/dist/instance/core/edge.js.map +0 -1
  709. package/dist/instance/core/endpoint.d.ts +0 -11
  710. package/dist/instance/core/endpoint.d.ts.map +0 -1
  711. package/dist/instance/core/endpoint.js +0 -19
  712. package/dist/instance/core/endpoint.js.map +0 -1
  713. package/dist/instance/core/node.d.ts +0 -7
  714. package/dist/instance/core/node.d.ts.map +0 -1
  715. package/dist/instance/core/node.js +0 -9
  716. package/dist/instance/core/node.js.map +0 -1
  717. package/dist/instance/core/path.d.ts +0 -21
  718. package/dist/instance/core/path.d.ts.map +0 -1
  719. package/dist/instance/core/path.js +0 -21
  720. package/dist/instance/core/path.js.map +0 -1
  721. package/dist/instance/core/self.d.ts +0 -15
  722. package/dist/instance/core/self.d.ts.map +0 -1
  723. package/dist/instance/core/self.js +0 -8
  724. package/dist/instance/core/self.js.map +0 -1
  725. package/dist/instance/core/types.d.ts +0 -45
  726. package/dist/instance/core/types.d.ts.map +0 -1
  727. package/dist/instance/core/types.js.map +0 -1
  728. package/dist/instance/seed/define.d.ts +0 -12
  729. package/dist/instance/seed/define.d.ts.map +0 -1
  730. package/dist/instance/seed/define.js +0 -34
  731. package/dist/instance/seed/define.js.map +0 -1
  732. package/dist/instance/seed/types.d.ts +0 -12
  733. package/dist/instance/seed/types.d.ts.map +0 -1
  734. package/dist/instance/seed/types.js +0 -2
  735. package/dist/instance/seed/types.js.map +0 -1
  736. package/dist/ir/classes.d.ts +0 -78
  737. package/dist/ir/classes.d.ts.map +0 -1
  738. package/dist/ir/classes.js +0 -2
  739. package/dist/ir/classes.js.map +0 -1
  740. package/dist/ir/domain.d.ts +0 -13
  741. package/dist/ir/domain.d.ts.map +0 -1
  742. package/dist/ir/domain.js +0 -2
  743. package/dist/ir/domain.js.map +0 -1
  744. package/dist/ir/endpoints.d.ts +0 -27
  745. package/dist/ir/endpoints.d.ts.map +0 -1
  746. package/dist/ir/endpoints.js +0 -2
  747. package/dist/ir/endpoints.js.map +0 -1
  748. package/dist/ir/functions.d.ts +0 -34
  749. package/dist/ir/functions.d.ts.map +0 -1
  750. package/dist/ir/functions.js +0 -2
  751. package/dist/ir/functions.js.map +0 -1
  752. package/dist/ir/index.d.ts +0 -9
  753. package/dist/ir/index.d.ts.map +0 -1
  754. package/dist/ir/index.js +0 -2
  755. package/dist/ir/index.js.map +0 -1
  756. package/dist/ir/ir.d.ts +0 -75
  757. package/dist/ir/ir.d.ts.map +0 -1
  758. package/dist/ir/ir.js +0 -5
  759. package/dist/ir/ir.js.map +0 -1
  760. package/dist/ir/json-schema.d.ts +0 -20
  761. package/dist/ir/json-schema.d.ts.map +0 -1
  762. package/dist/ir/json-schema.js +0 -2
  763. package/dist/ir/json-schema.js.map +0 -1
  764. package/dist/ir/policies.d.ts +0 -74
  765. package/dist/ir/policies.d.ts.map +0 -1
  766. package/dist/ir/policies.js +0 -2
  767. package/dist/ir/policies.js.map +0 -1
  768. package/dist/schema/classify.d.ts +0 -8
  769. package/dist/schema/classify.d.ts.map +0 -1
  770. package/dist/schema/classify.js +0 -20
  771. package/dist/schema/classify.js.map +0 -1
  772. package/dist/schema/define.d.ts +0 -23
  773. package/dist/schema/define.d.ts.map +0 -1
  774. package/dist/schema/define.js +0 -58
  775. package/dist/schema/define.js.map +0 -1
  776. package/dist/schema/error.d.ts +0 -8
  777. package/dist/schema/error.d.ts.map +0 -1
  778. package/dist/schema/error.js +0 -14
  779. package/dist/schema/error.js.map +0 -1
  780. package/dist/schema/refs.d.ts +0 -77
  781. package/dist/schema/refs.d.ts.map +0 -1
  782. package/dist/schema/refs.js +0 -100
  783. package/dist/schema/refs.js.map +0 -1
  784. package/dist/schema/resolve/index.d.ts +0 -5
  785. package/dist/schema/resolve/index.d.ts.map +0 -1
  786. package/dist/schema/resolve/index.js +0 -5
  787. package/dist/schema/resolve/index.js.map +0 -1
  788. package/dist/schema/resolve/methods.d.ts +0 -8
  789. package/dist/schema/resolve/methods.d.ts.map +0 -1
  790. package/dist/schema/resolve/methods.js +0 -18
  791. package/dist/schema/resolve/methods.js.map +0 -1
  792. package/dist/schema/resolve/properties.d.ts +0 -13
  793. package/dist/schema/resolve/properties.d.ts.map +0 -1
  794. package/dist/schema/resolve/properties.js +0 -37
  795. package/dist/schema/resolve/properties.js.map +0 -1
  796. package/dist/schema/resolve/self.d.ts +0 -7
  797. package/dist/schema/resolve/self.d.ts.map +0 -1
  798. package/dist/schema/resolve/self.js +0 -33
  799. package/dist/schema/resolve/self.js.map +0 -1
  800. package/dist/schema/resolve/thunks.d.ts +0 -12
  801. package/dist/schema/resolve/thunks.d.ts.map +0 -1
  802. package/dist/schema/resolve/thunks.js +0 -37
  803. package/dist/schema/resolve/thunks.js.map +0 -1
  804. package/dist/schema/schema.d.ts +0 -25
  805. package/dist/schema/schema.d.ts.map +0 -1
  806. package/dist/schema/schema.js +0 -2
  807. package/dist/schema/schema.js.map +0 -1
  808. package/dist/schema/validators/context.d.ts +0 -17
  809. package/dist/schema/validators/context.d.ts.map +0 -1
  810. package/dist/schema/validators/context.js +0 -2
  811. package/dist/schema/validators/context.js.map +0 -1
  812. package/dist/schema/validators/endpoints.d.ts +0 -4
  813. package/dist/schema/validators/endpoints.d.ts.map +0 -1
  814. package/dist/schema/validators/endpoints.js +0 -27
  815. package/dist/schema/validators/endpoints.js.map +0 -1
  816. package/dist/schema/validators/index.d.ts +0 -12
  817. package/dist/schema/validators/index.d.ts.map +0 -1
  818. package/dist/schema/validators/index.js +0 -25
  819. package/dist/schema/validators/index.js.map +0 -1
  820. package/dist/schema/validators/indexes.d.ts +0 -4
  821. package/dist/schema/validators/indexes.d.ts.map +0 -1
  822. package/dist/schema/validators/indexes.js +0 -19
  823. package/dist/schema/validators/indexes.js.map +0 -1
  824. package/dist/schema/validators/inheritance.d.ts +0 -4
  825. package/dist/schema/validators/inheritance.d.ts.map +0 -1
  826. package/dist/schema/validators/inheritance.js +0 -27
  827. package/dist/schema/validators/inheritance.js.map +0 -1
  828. package/dist/schema/validators/methods.d.ts +0 -9
  829. package/dist/schema/validators/methods.d.ts.map +0 -1
  830. package/dist/schema/validators/methods.js +0 -44
  831. package/dist/schema/validators/methods.js.map +0 -1
  832. package/dist/schema/validators/names.d.ts +0 -4
  833. package/dist/schema/validators/names.d.ts.map +0 -1
  834. package/dist/schema/validators/names.js +0 -19
  835. package/dist/schema/validators/names.js.map +0 -1
  836. package/dist/schema/validators/policies.d.ts +0 -4
  837. package/dist/schema/validators/policies.d.ts.map +0 -1
  838. package/dist/schema/validators/policies.js +0 -61
  839. package/dist/schema/validators/policies.js.map +0 -1
  840. package/dist/schema/validators/ref-targets.d.ts +0 -4
  841. package/dist/schema/validators/ref-targets.d.ts.map +0 -1
  842. package/dist/schema/validators/ref-targets.js +0 -54
  843. package/dist/schema/validators/ref-targets.js.map +0 -1
  844. package/dist/serializer/context.d.ts +0 -35
  845. package/dist/serializer/context.d.ts.map +0 -1
  846. package/dist/serializer/context.js +0 -359
  847. package/dist/serializer/context.js.map +0 -1
  848. package/dist/serializer/helpers.d.ts +0 -34
  849. package/dist/serializer/helpers.d.ts.map +0 -1
  850. package/dist/serializer/helpers.js +0 -116
  851. package/dist/serializer/helpers.js.map +0 -1
  852. package/dist/serializer/index.d.ts +0 -2
  853. package/dist/serializer/index.d.ts.map +0 -1
  854. package/dist/serializer/index.js +0 -2
  855. package/dist/serializer/index.js.map +0 -1
  856. package/dist/serializer/policies.d.ts +0 -34
  857. package/dist/serializer/policies.d.ts.map +0 -1
  858. package/dist/serializer/policies.js +0 -837
  859. package/dist/serializer/policies.js.map +0 -1
  860. package/dist/serializer/policy-typing.d.ts +0 -56
  861. package/dist/serializer/policy-typing.d.ts.map +0 -1
  862. package/dist/serializer/policy-typing.js +0 -490
  863. package/dist/serializer/policy-typing.js.map +0 -1
  864. package/dist/serializer/serialize.d.ts +0 -12
  865. package/dist/serializer/serialize.d.ts.map +0 -1
  866. package/dist/serializer/serialize.js +0 -6
  867. package/dist/serializer/serialize.js.map +0 -1
  868. /package/dist/{inference → upgrade}/index.js +0 -0
  869. /package/dist/{grammar/policy → v1/schema}/callable.js +0 -0
  870. /package/dist/{instance/core → value}/types.js +0 -0
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=edge.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"edge.js","sourceRoot":"","sources":["../../../../v1/schema/definition/edge.ts"],"names":[],"mappings":""}
@@ -0,0 +1,22 @@
1
+ import type { MethodRecord } from '../callable.js';
2
+ import type { InterfaceRef } from '../reference.js';
3
+ import type { DataFacet } from './data.js';
4
+ import type { EdgeContract } from './edge.js';
5
+ import type { PropertyFacet } from './property.js';
6
+ export interface NodeInterfaceDeclaration extends PropertyFacet, DataFacet {
7
+ readonly family: 'node';
8
+ readonly description?: string;
9
+ readonly extends: readonly InterfaceRef[];
10
+ readonly methods: MethodRecord;
11
+ }
12
+ export type EdgeInterfaceDeclaration = PropertyFacet & EdgeContract & {
13
+ readonly family: 'edge';
14
+ readonly description?: string;
15
+ readonly extends: readonly InterfaceRef[];
16
+ };
17
+ export type InterfaceDeclaration = (PropertyFacet & {
18
+ readonly family: 'both';
19
+ readonly description?: string;
20
+ readonly extends: readonly InterfaceRef[];
21
+ }) | NodeInterfaceDeclaration | EdgeInterfaceDeclaration;
22
+ //# sourceMappingURL=interface.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"interface.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,MAAM,WAAW,wBAAyB,SAAQ,aAAa,EAAE,SAAS;IACxE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;IACzC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAC/B;AAED,MAAM,MAAM,wBAAwB,GAAG,aAAa,GAClD,YAAY,GAAG;IACb,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC1C,CAAA;AAEH,MAAM,MAAM,oBAAoB,GAC5B,CAAC,aAAa,GAAG;IACf,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CAC1C,CAAC,GACF,wBAAwB,GACxB,wBAAwB,CAAA"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=interface.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"interface.js","sourceRoot":"","sources":["../../../../v1/schema/definition/interface.ts"],"names":[],"mappings":""}
@@ -0,0 +1,18 @@
1
+ import type { PropertyObjectSchema } from '../value/schema.js';
2
+ export type PropertyVisibility = 'public' | 'private';
3
+ export type AutoEvent = 'create' | 'update';
4
+ export type AutoSet = 'instant';
5
+ export interface PropertyAuto {
6
+ readonly on: readonly AutoEvent[];
7
+ readonly set: AutoSet;
8
+ }
9
+ export interface PropertyMetadata {
10
+ readonly visibility: PropertyVisibility;
11
+ readonly auto?: PropertyAuto;
12
+ }
13
+ export type PropertyMetadataRecord = Readonly<Record<string, PropertyMetadata>>;
14
+ export interface PropertyFacet {
15
+ readonly properties: PropertyObjectSchema;
16
+ readonly propertyMetadata: PropertyMetadataRecord;
17
+ }
18
+ //# sourceMappingURL=property.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/property.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAA;AAE9D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,CAAA;AAErD,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAC3C,MAAM,MAAM,OAAO,GAAG,SAAS,CAAA;AAE/B,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;IACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;IACvC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAA;CAC7B;AAED,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAE/E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAA;IACzC,QAAQ,CAAC,gBAAgB,EAAE,sBAAsB,CAAA;CAClD"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=property.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"property.js","sourceRoot":"","sources":["../../../../v1/schema/definition/property.ts"],"names":[],"mappings":""}
@@ -0,0 +1,5 @@
1
+ import type { DomainDiagnostic } from '../diagnostic.js';
2
+ import type { DomainResolutionContext } from '../resolution/context.js';
3
+ import type { DefinitionAnalysisResult } from './analysis.js';
4
+ export declare function validateDefinitions(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult): readonly DomainDiagnostic[];
5
+ //# sourceMappingURL=validate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../../v1/schema/definition/validate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAExD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAA;AAU7D,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,GACjC,SAAS,gBAAgB,EAAE,CAqB7B"}
@@ -0,0 +1,221 @@
1
+ import { json } from '@astrale-os/kernel-dsl/value';
2
+ import { diagnostic } from '../diagnostic.js';
3
+ import { schemaRefIndex, compareSchemaRefs, formatSchemaRef } from '../reference.js';
4
+ import { createValueSchemaRegistry } from '../resolution/value.registry.js';
5
+ import { classifyOrdering } from '../value/ordering.js';
6
+ export function validateDefinitions(environment, analysis) {
7
+ const diagnostics = [...analysis.diagnostics];
8
+ const schema = environment.candidate;
9
+ for (const [name, declaration] of Object.entries(schema.interfaces)) {
10
+ const ref = localRef(schema.origin, 'interfaces', name);
11
+ validateFacet(environment, declaration, `/interfaces/${escapePointer(name)}`, diagnostics);
12
+ validateParents(environment, ref, declaration.family, declaration.extends, diagnostics);
13
+ if (declaration.family === 'edge')
14
+ validateEdgeContract(environment, ref, declaration, diagnostics);
15
+ }
16
+ for (const [name, declaration] of Object.entries(schema.classes)) {
17
+ const ref = localRef(schema.origin, 'classes', name);
18
+ validateFacet(environment, declaration, `/classes/${escapePointer(name)}`, diagnostics);
19
+ validateParents(environment, ref, declaration.family, declaration.implements, diagnostics);
20
+ if (declaration.family === 'edge')
21
+ validateEdgeContract(environment, ref, declaration, diagnostics);
22
+ }
23
+ validateEdgeInterfaceEquality(environment, diagnostics);
24
+ return Object.freeze(diagnostics);
25
+ }
26
+ function validateFacet(environment, declaration, pointer, diagnostics) {
27
+ const names = new Set(Object.keys(declaration.properties.properties));
28
+ for (const [index, name] of declaration.properties.required.entries()) {
29
+ if (!names.has(name)) {
30
+ diagnostics.push(diagnostic('DV_PROPERTY_FACET', `${pointer}/properties/required/${index}`, `Required property ${name} is not directly declared.`));
31
+ }
32
+ }
33
+ for (const name of Object.keys(declaration.propertyMetadata)) {
34
+ if (!names.has(name)) {
35
+ diagnostics.push(diagnostic('DV_PROPERTY_FACET', `${pointer}/propertyMetadata/${escapePointer(name)}`, `Metadata cannot create hidden property ${name}.`));
36
+ }
37
+ }
38
+ const required = new Set(declaration.properties.required);
39
+ const valueRegistry = createValueSchemaRegistry(environment);
40
+ for (const [name, metadata] of Object.entries(declaration.propertyMetadata)) {
41
+ if (metadata.auto === undefined)
42
+ continue;
43
+ const propertyPointer = `${pointer}/propertyMetadata/${escapePointer(name)}/auto`;
44
+ if (required.has(name) && !metadata.auto.on.includes('create')) {
45
+ diagnostics.push(diagnostic('DV_PROPERTY_AUTO', `${propertyPointer}/on`, 'A required automatic Property must run on create.'));
46
+ }
47
+ const contract = declaration.properties.properties[name];
48
+ if (contract !== undefined &&
49
+ metadata.auto.set === 'instant' &&
50
+ classifyOrdering(contract, valueRegistry) !== 'instant') {
51
+ diagnostics.push(diagnostic('DV_PROPERTY_AUTO', `${propertyPointer}/set`, 'The instant setter requires an Instant value schema.'));
52
+ }
53
+ }
54
+ if ('methods' in declaration) {
55
+ for (const [name, method] of Object.entries(declaration.methods)) {
56
+ const methodPointer = `${pointer}/methods/${escapePointer(name)}`;
57
+ if (method.inheritance === 'abstract' && method.policy !== undefined) {
58
+ diagnostics.push(diagnostic('DV_METHOD_ABSTRACT', `${methodPointer}/policy`, 'Abstract Methods cannot have a Policy.'));
59
+ }
60
+ if (!('implements' in declaration)) {
61
+ // Node Interface methods may use every inheritance mode.
62
+ }
63
+ else if (method.inheritance === 'abstract') {
64
+ diagnostics.push(diagnostic('DV_METHOD_ABSTRACT', `${methodPointer}/inheritance`, 'A Node Class cannot declare an abstract Method.'));
65
+ }
66
+ }
67
+ }
68
+ }
69
+ function validateParents(environment, owner, ownerFamily, parents, diagnostics) {
70
+ for (const [index, parent] of parents.entries()) {
71
+ const target = environment.resolve(parent);
72
+ if (target === undefined) {
73
+ diagnostics.push(diagnostic('DV_REF_RESOLVES', `/${owner.kind === 'class' ? 'classes' : 'interfaces'}/${escapePointer(owner.name)}/${owner.kind === 'class' ? 'implements' : 'extends'}/${index}`, `Parent ${formatSchemaRef(parent)} does not resolve exactly.`, formatSchemaRef(parent)));
74
+ continue;
75
+ }
76
+ const allowed = target.ref.kind === 'interface' &&
77
+ (ownerFamily === 'both'
78
+ ? target.family === 'both'
79
+ : target.family === ownerFamily || target.family === 'both');
80
+ if (!allowed) {
81
+ diagnostics.push(diagnostic('DV_INTERFACE_KIND', '', `${formatSchemaRef(owner)} cannot inherit ${formatSchemaRef(parent)}.`));
82
+ }
83
+ }
84
+ }
85
+ function validateEdgeContract(environment, owner, declaration, diagnostics) {
86
+ const endpoints = declaration.orientation === 'directed'
87
+ ? [declaration.endpoints.source, declaration.endpoints.target]
88
+ : declaration.endpoints;
89
+ if (endpoints[0].role === endpoints[1].role) {
90
+ diagnostics.push(diagnostic('DV_EDGE_ROLE', '', `${formatSchemaRef(owner)} has equal source and target roles.`));
91
+ }
92
+ validateEndpoint(environment, owner, endpoints[0], declaration.orientation === 'directed' ? 'source' : 'first endpoint', diagnostics);
93
+ validateEndpoint(environment, owner, endpoints[1], declaration.orientation === 'directed' ? 'target' : 'second endpoint', diagnostics);
94
+ if (declaration.orientation === 'undirected') {
95
+ if (!sameIncidentEndpointContract(declaration.endpoints[0], declaration.endpoints[1]) &&
96
+ undirectedEndpointsOverlap(environment, declaration.endpoints)) {
97
+ diagnostics.push(diagnostic('DV_EDGE_UNDIRECTED', '', `${formatSchemaRef(owner)} has unequal undirected endpoint contracts whose accepted Node families overlap.`));
98
+ }
99
+ if (declaration.constraints.acyclic === true) {
100
+ diagnostics.push(diagnostic('DV_EDGE_CONSTRAINT', '', 'acyclic is valid only for directed Edge contracts.'));
101
+ }
102
+ }
103
+ }
104
+ function validateEndpoint(environment, owner, endpoint, side, diagnostics) {
105
+ const seen = new Set();
106
+ for (const ref of endpoint.accepts) {
107
+ const key = schemaRefIndex(ref);
108
+ if (seen.has(key)) {
109
+ diagnostics.push(diagnostic('DV_EDGE_ACCEPTS', '', `${formatSchemaRef(owner)} ${side} repeats ${formatSchemaRef(ref)}.`));
110
+ }
111
+ seen.add(key);
112
+ const resolved = environment.resolve(ref);
113
+ if (resolved === undefined || resolved.family !== 'node') {
114
+ diagnostics.push(diagnostic('DV_EDGE_ACCEPTS', '', `${formatSchemaRef(owner)} ${side} ref ${formatSchemaRef(ref)} does not resolve to a Node Definition.`));
115
+ }
116
+ }
117
+ }
118
+ function validateEdgeInterfaceEquality(environment, diagnostics) {
119
+ for (const resolved of environment.definitions.values()) {
120
+ if (resolved.family !== 'edge')
121
+ continue;
122
+ const declaration = resolved.declaration;
123
+ const parents = resolved.ref.kind === 'interface'
124
+ ? declaration.extends
125
+ : declaration.implements;
126
+ for (const parentRef of parents) {
127
+ const parent = environment.resolveAny(parentRef);
128
+ if (parent === undefined || parent.ref.kind !== 'interface' || parent.family !== 'edge') {
129
+ continue;
130
+ }
131
+ const parentDeclaration = parent.declaration;
132
+ const childContract = {
133
+ endpoints: canonicalEndpoints(declaration.endpoints),
134
+ orientation: declaration.orientation,
135
+ constraints: declaration.constraints,
136
+ };
137
+ const parentContract = {
138
+ endpoints: canonicalEndpoints(parentDeclaration.endpoints),
139
+ orientation: parentDeclaration.orientation,
140
+ constraints: parentDeclaration.constraints,
141
+ };
142
+ if (json.serialize(childContract) !== json.serialize(parentContract)) {
143
+ diagnostics.push(diagnostic('DV_EDGE_INTERFACE_COMPOSITION', '', `${formatSchemaRef(resolved.ref)} does not exactly preserve ${formatSchemaRef(parentRef)}.`));
144
+ }
145
+ }
146
+ }
147
+ }
148
+ function canonicalEndpoints(endpoints) {
149
+ if (Array.isArray(endpoints)) {
150
+ return [
151
+ { ...endpoints[0], accepts: [...endpoints[0].accepts].sort(compareSchemaRefs) },
152
+ { ...endpoints[1], accepts: [...endpoints[1].accepts].sort(compareSchemaRefs) },
153
+ ];
154
+ }
155
+ const directed = endpoints;
156
+ return {
157
+ source: {
158
+ ...directed.source,
159
+ accepts: [...directed.source.accepts].sort(compareSchemaRefs),
160
+ },
161
+ target: {
162
+ ...directed.target,
163
+ accepts: [...directed.target.accepts].sort(compareSchemaRefs),
164
+ },
165
+ };
166
+ }
167
+ function sameIncidentEndpointContract(left, right) {
168
+ if (left.incident !== right.incident)
169
+ return false;
170
+ const a = [...left.accepts].map(schemaRefIndex).sort();
171
+ const b = [...right.accepts].map(schemaRefIndex).sort();
172
+ return a.length === b.length && a.every((value, index) => value === b[index]);
173
+ }
174
+ function undirectedEndpointsOverlap(environment, endpoints) {
175
+ for (const resolved of environment.definitions.values()) {
176
+ if (resolved.ref.kind !== 'class' || resolved.family !== 'node')
177
+ continue;
178
+ const candidate = resolved.ref;
179
+ if (classSatisfies(environment, candidate, endpoints[0].accepts) &&
180
+ classSatisfies(environment, candidate, endpoints[1].accepts)) {
181
+ return true;
182
+ }
183
+ }
184
+ return false;
185
+ }
186
+ function classSatisfies(environment, candidate, accepts) {
187
+ if (accepts.some((ref) => schemaRefIndex(ref) === schemaRefIndex(candidate)))
188
+ return true;
189
+ const resolved = environment.resolveAny(candidate);
190
+ if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.family !== 'node') {
191
+ return false;
192
+ }
193
+ const declaration = resolved.declaration;
194
+ return implementsAny(environment, declaration.implements, accepts, new Set());
195
+ }
196
+ function implementsAny(environment, parents, accepts, visited) {
197
+ const accepted = new Set(accepts.map(schemaRefIndex));
198
+ for (const parent of parents) {
199
+ const key = schemaRefIndex(parent);
200
+ if (accepted.has(key))
201
+ return true;
202
+ if (visited.has(key))
203
+ continue;
204
+ visited.add(key);
205
+ const resolved = environment.resolveAny(parent);
206
+ if (resolved !== undefined &&
207
+ resolved.ref.kind === 'interface' &&
208
+ (resolved.family === 'node' || resolved.family === 'both') &&
209
+ implementsAny(environment, resolved.declaration.extends, accepts, visited)) {
210
+ return true;
211
+ }
212
+ }
213
+ return false;
214
+ }
215
+ function localRef(origin, namespace, name) {
216
+ return { origin, kind: namespace === 'classes' ? 'class' : 'interface', name };
217
+ }
218
+ function escapePointer(value) {
219
+ return value.replaceAll('~', '~0').replaceAll('/', '~1');
220
+ }
221
+ //# sourceMappingURL=validate.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../v1/schema/definition/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAUnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AACpF,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AAEvD,MAAM,UAAU,mBAAmB,CACjC,WAAoC,EACpC,QAAkC;IAElC,MAAM,WAAW,GAAuB,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAA;IACjE,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAA;IAEpC,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;QACvD,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QAC1F,eAAe,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QACvF,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;YAC/B,oBAAoB,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;IACpE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAA;QACpD,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QACvF,eAAe,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;QAC1F,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;YAC/B,oBAAoB,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAA;IACpE,CAAC;IAED,6BAA6B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,aAAa,CACpB,WAAoC,EACpC,WAAoD,EACpD,OAAe,EACf,WAA+B;IAE/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAA;IACrE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACtE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,wBAAwB,KAAK,EAAE,EACzC,qBAAqB,IAAI,4BAA4B,CACtD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,GAAG,OAAO,qBAAqB,aAAa,CAAC,IAAI,CAAC,EAAE,EACpD,0CAA0C,IAAI,GAAG,CAClD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;IACzD,MAAM,aAAa,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC5E,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QACzC,MAAM,eAAe,GAAG,GAAG,OAAO,qBAAqB,aAAa,CAAC,IAAI,CAAC,OAAO,CAAA;QACjF,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/D,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,GAAG,eAAe,KAAK,EACvB,mDAAmD,CACpD,CACF,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QACxD,IACE,QAAQ,KAAK,SAAS;YACtB,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;YAC/B,gBAAgB,CAAC,QAAQ,EAAE,aAAa,CAAC,KAAK,SAAS,EACvD,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,kBAAkB,EAClB,GAAG,eAAe,MAAM,EACxB,sDAAsD,CACvD,CACF,CAAA;QACH,CAAC;IACH,CAAC;IACD,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,MAAM,aAAa,GAAG,GAAG,OAAO,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;YACjE,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,aAAa,SAAS,EACzB,wCAAwC,CACzC,CACF,CAAA;YACH,CAAC;YACD,IAAI,CAAC,CAAC,YAAY,IAAI,WAAW,CAAC,EAAE,CAAC;gBACnC,yDAAyD;YAC3D,CAAC;iBAAM,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC7C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,GAAG,aAAa,cAAc,EAC9B,iDAAiD,CAClD,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,WAAoC,EACpC,KAAoB,EACpB,WAAmB,EACnB,OAA6B,EAC7B,WAA+B;IAE/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC1C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,KAAK,EAAE,EAClJ,UAAU,eAAe,CAAC,MAAM,CAAC,4BAA4B,EAC7D,eAAe,CAAC,MAAM,CAAC,CACxB,CACF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GACX,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,WAAW,KAAK,MAAM;gBACrB,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM;gBAC1B,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;QAChE,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CACd,UAAU,CACR,mBAAmB,EACnB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,mBAAmB,eAAe,CAAC,MAAM,CAAC,GAAG,CACvE,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAAoC,EACpC,KAAoB,EACpB,WAAyB,EACzB,WAA+B;IAE/B,MAAM,SAAS,GACb,WAAW,CAAC,WAAW,KAAK,UAAU;QACpC,CAAC,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAW;QACzE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAA;IAC3B,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,cAAc,EACd,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,qCAAqC,CAC/D,CACF,CAAA;IACH,CAAC;IACD,gBAAgB,CACd,WAAW,EACX,KAAK,EACL,SAAS,CAAC,CAAC,CAAC,EACZ,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,EACpE,WAAW,CACZ,CAAA;IACD,gBAAgB,CACd,WAAW,EACX,KAAK,EACL,SAAS,CAAC,CAAC,CAAC,EACZ,WAAW,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,EACrE,WAAW,CACZ,CAAA;IACD,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC7C,IACE,CAAC,4BAA4B,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACjF,0BAA0B,CAAC,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,EAC9D,CAAC;YACD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,oBAAoB,EACpB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,kFAAkF,CAC5G,CACF,CAAA;QACH,CAAC;QACD,IAAI,WAAW,CAAC,WAAW,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,oBAAoB,EAAE,EAAE,EAAE,oDAAoD,CAAC,CAC3F,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoC,EACpC,KAAoB,EACpB,QAA0B,EAC1B,IAAY,EACZ,WAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,IAAI,YAAY,eAAe,CAAC,GAAG,CAAC,GAAG,CACrE,CACF,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACzD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,EAAE,EACF,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,eAAe,CAAC,GAAG,CAAC,yCAAyC,CACvG,CACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,WAAoC,EACpC,WAA+B;IAE/B,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QACxC,MAAM,WAAW,GAAG,QAAQ,CAAC,WAG5B,CAAA;QACD,MAAM,OAAO,GACX,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,CAAE,WAAiE,CAAC,OAAO;YAC5E,CAAC,CAAE,WAA6D,CAAC,UAAU,CAAA;QAC/E,KAAK,MAAM,SAAS,IAAI,OAAO,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YAChD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACxF,SAAQ;YACV,CAAC;YACD,MAAM,iBAAiB,GAAG,MAAM,CAAC,WAGhC,CAAA;YACD,MAAM,aAAa,GAAG;gBACpB,SAAS,EAAE,kBAAkB,CAAC,WAAW,CAAC,SAAS,CAAC;gBACpD,WAAW,EAAE,WAAW,CAAC,WAAW;gBACpC,WAAW,EAAE,WAAW,CAAC,WAAW;aACrC,CAAA;YACD,MAAM,cAAc,GAAG;gBACrB,SAAS,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,SAAS,CAAC;gBAC1D,WAAW,EAAE,iBAAiB,CAAC,WAAW;gBAC1C,WAAW,EAAE,iBAAiB,CAAC,WAAW;aAC3C,CAAA;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBACrE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,+BAA+B,EAC/B,EAAE,EACF,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,8BAA8B,eAAe,CAAC,SAAS,CAAC,GAAG,CAC5F,CACF,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAoC;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;YAC/E,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE;SAChF,CAAA;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,SAA4E,CAAA;IAC7F,OAAO;QACL,MAAM,EAAE;YACN,GAAG,QAAQ,CAAC,MAAM;YAClB,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;SAC9D;QACD,MAAM,EAAE;YACN,GAAG,QAAQ,CAAC,MAAM;YAClB,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC;SAC9D;KACF,CAAA;AACH,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAsB,EAAE,KAAuB;IACnF,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAA;IAClD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAA;IACtD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAA;IACvD,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,0BAA0B,CACjC,WAAoC,EACpC,SAAwD;IAExD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QACxD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAAE,SAAQ;QACzE,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAe,CAAA;QAC1C,IACE,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5D,cAAc,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAC5D,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,cAAc,CACrB,WAAoC,EACpC,SAAmB,EACnB,OAAiC;IAEjC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,cAAc,CAAC,SAAS,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IACzF,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IAClD,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,MAAM,WAAW,GAAG,QAAQ,CAAC,WAA4D,CAAA;IACzF,OAAO,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,aAAa,CACpB,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,aAAa,CACX,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,QAAQ,CACf,MAAc,EACd,SAAmC,EACnC,IAAY;IAEZ,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,CAAA;AAChF,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,30 @@
1
+ import type { Key as SemanticKey } from '../addressing/index.js';
2
+ import type { DomainSchema } from './domain.ir.js';
3
+ import type { Revision } from './reference.js';
4
+ import { Key } from '../addressing/index.js';
5
+ export type DependencyMeaningChangeKind = 'missing' | 'changed';
6
+ export type MeaningFingerprint = `sha256:${string}`;
7
+ export interface DependencyMeaningChange {
8
+ readonly key: SemanticKey;
9
+ readonly kind: DependencyMeaningChangeKind;
10
+ readonly sourceFingerprint: MeaningFingerprint;
11
+ readonly targetFingerprint?: MeaningFingerprint;
12
+ }
13
+ export interface DependencyMeaningComparison {
14
+ readonly version: 1;
15
+ readonly dependency: Key.Origin;
16
+ readonly source: Revision;
17
+ readonly target: Revision;
18
+ readonly footprint: readonly SemanticKey[];
19
+ readonly changes: readonly DependencyMeaningChange[];
20
+ readonly fingerprint: MeaningFingerprint;
21
+ }
22
+ /**
23
+ * Compare the exact V1 meaning one accepted Domain used from a retained dependency with a
24
+ * candidate revision of that same dependency origin. This operation is pure and makes no
25
+ * lifecycle-compatibility decision.
26
+ */
27
+ export declare function compareDependencyMeaning(dependent: DomainSchema, target: DomainSchema): DependencyMeaningComparison;
28
+ /** Compare one explicit non-empty source member surface and its reachable V1 meaning. */
29
+ export declare function compareMemberMeaning(source: DomainSchema, target: DomainSchema, roots: readonly [SemanticKey, ...SemanticKey[]]): DependencyMeaningComparison;
30
+ //# sourceMappingURL=dependency.meaning.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"dependency.meaning.d.ts","sourceRoot":"","sources":["../../../v1/schema/dependency.meaning.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,GAAG,IAAI,WAAW,EAAsC,MAAM,wBAAwB,CAAA;AAKpG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAElD,OAAO,KAAK,EAAmC,QAAQ,EAAa,MAAM,gBAAgB,CAAA;AAI1F,OAAO,EAAE,GAAG,EAAoB,MAAM,wBAAwB,CAAA;AAoB9D,MAAM,MAAM,2BAA2B,GAAG,SAAS,GAAG,SAAS,CAAA;AAC/D,MAAM,MAAM,kBAAkB,GAAG,UAAU,MAAM,EAAE,CAAA;AAEnD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAA;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,kBAAkB,CAAA;IAC9C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,kBAAkB,CAAA;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAA;CACzC;AA6CD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,YAAY,EACvB,MAAM,EAAE,YAAY,GACnB,2BAA2B,CAmB7B;AAED,yFAAyF;AACzF,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,GAAG,WAAW,EAAE,CAAC,GAC9C,2BAA2B,CA4B7B"}