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

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 (701) hide show
  1. package/dist/index.d.ts +1 -57
  2. package/dist/index.js +1 -31
  3. package/dist/upgrade/contract.d.ts +31 -0
  4. package/dist/upgrade/contract.js +1 -0
  5. package/dist/upgrade/index.d.ts +1 -0
  6. package/dist/upgrade/index.js +1 -0
  7. package/dist/v1/addressing/class-key.d.ts +12 -0
  8. package/dist/v1/addressing/class-key.js +39 -0
  9. package/dist/v1/addressing/definition-ref.d.ts +28 -0
  10. package/dist/v1/addressing/definition-ref.js +63 -0
  11. package/dist/v1/addressing/domain-dependency.d.ts +18 -0
  12. package/dist/v1/addressing/domain-dependency.js +6 -0
  13. package/dist/v1/addressing/index.d.ts +12 -0
  14. package/dist/v1/addressing/index.js +7 -0
  15. package/dist/v1/addressing/key.d.ts +19 -0
  16. package/dist/v1/addressing/key.js +39 -0
  17. package/dist/v1/addressing/method-address.d.ts +9 -0
  18. package/dist/v1/addressing/method-address.js +1 -0
  19. package/dist/v1/addressing/method-key.d.ts +15 -0
  20. package/dist/v1/addressing/method-key.js +60 -0
  21. package/dist/v1/addressing/ordering.d.ts +6 -0
  22. package/dist/v1/addressing/ordering.js +20 -0
  23. package/dist/v1/addressing/patterns.d.ts +27 -0
  24. package/dist/v1/addressing/patterns.js +29 -0
  25. package/dist/v1/addressing/property-key.d.ts +13 -0
  26. package/dist/v1/addressing/property-key.js +39 -0
  27. package/dist/v1/addressing/revision.d.ts +8 -0
  28. package/dist/v1/addressing/revision.js +8 -0
  29. package/dist/v1/builder/callable/authoring.d.ts +117 -0
  30. package/dist/v1/builder/callable/authoring.js +67 -0
  31. package/dist/v1/builder/class/authoring.d.ts +367 -0
  32. package/dist/v1/builder/class/authoring.js +134 -0
  33. package/dist/v1/builder/class/property.d.ts +52 -0
  34. package/dist/v1/builder/class/property.js +49 -0
  35. package/dist/v1/builder/core/authoring.d.ts +42 -0
  36. package/dist/v1/builder/core/authoring.js +39 -0
  37. package/dist/v1/builder/index.d.ts +26 -0
  38. package/dist/v1/builder/index.js +11 -0
  39. package/dist/v1/builder/lowering/callable.d.ts +24 -0
  40. package/dist/v1/builder/lowering/callable.js +135 -0
  41. package/dist/v1/builder/lowering/class.d.ts +22 -0
  42. package/dist/v1/builder/lowering/class.js +129 -0
  43. package/dist/v1/builder/lowering/core-properties.d.ts +10 -0
  44. package/dist/v1/builder/lowering/core-properties.js +76 -0
  45. package/dist/v1/builder/lowering/core.d.ts +22 -0
  46. package/dist/v1/builder/lowering/core.js +50 -0
  47. package/dist/v1/builder/lowering/policy.d.ts +16 -0
  48. package/dist/v1/builder/lowering/policy.js +59 -0
  49. package/dist/v1/builder/lowering/schema/capture.d.ts +4 -0
  50. package/dist/v1/builder/lowering/schema/capture.js +70 -0
  51. package/dist/v1/builder/lowering/schema/compile.d.ts +10 -0
  52. package/dist/v1/builder/lowering/schema/compile.js +80 -0
  53. package/dist/v1/builder/lowering/schema/context.d.ts +44 -0
  54. package/dist/v1/builder/lowering/schema/context.js +247 -0
  55. package/dist/v1/builder/lowering/schema/ownership.d.ts +8 -0
  56. package/dist/v1/builder/lowering/schema/ownership.js +29 -0
  57. package/dist/v1/builder/lowering/value/compile.d.ts +15 -0
  58. package/dist/v1/builder/lowering/value/compile.js +136 -0
  59. package/dist/v1/builder/lowering/value/path.d.ts +3 -0
  60. package/dist/v1/builder/lowering/value/path.js +20 -0
  61. package/dist/v1/builder/lowering/value/zod.d.ts +32 -0
  62. package/dist/v1/builder/lowering/value/zod.js +342 -0
  63. package/dist/v1/builder/lowering/view.d.ts +11 -0
  64. package/dist/v1/builder/lowering/view.js +27 -0
  65. package/dist/v1/builder/policy/authoring.d.ts +52 -0
  66. package/dist/v1/builder/policy/authoring.js +90 -0
  67. package/dist/v1/builder/schema/define.d.ts +11 -0
  68. package/dist/v1/builder/schema/define.js +5 -0
  69. package/dist/v1/builder/schema/diagnostic.d.ts +16 -0
  70. package/dist/v1/builder/schema/diagnostic.js +31 -0
  71. package/dist/v1/builder/schema/handle.d.ts +7 -0
  72. package/dist/v1/builder/schema/handle.js +14 -0
  73. package/dist/v1/builder/schema/input.d.ts +15 -0
  74. package/dist/v1/builder/schema/input.js +1 -0
  75. package/dist/v1/builder/schema/lazy.d.ts +2 -0
  76. package/dist/v1/builder/schema/lazy.js +13 -0
  77. package/dist/v1/builder/schema/projection.d.ts +364 -0
  78. package/dist/v1/builder/schema/projection.js +1 -0
  79. package/dist/v1/builder/value/full-match.d.ts +4 -0
  80. package/dist/v1/builder/value/full-match.js +11 -0
  81. package/dist/v1/builder/value/path-metadata.d.ts +4 -0
  82. package/dist/v1/builder/value/path-metadata.js +7 -0
  83. package/dist/v1/builder/value/path.d.ts +8 -0
  84. package/dist/v1/builder/value/path.js +11 -0
  85. package/dist/v1/builder/value/schema.d.ts +16 -0
  86. package/dist/v1/builder/value/schema.js +10 -0
  87. package/dist/v1/builder/view/authoring.d.ts +17 -0
  88. package/dist/v1/builder/view/authoring.js +16 -0
  89. package/dist/v1/bundle/codec.d.ts +5 -0
  90. package/dist/v1/bundle/codec.js +168 -0
  91. package/dist/v1/bundle/create.d.ts +3 -0
  92. package/dist/v1/bundle/create.js +5 -0
  93. package/dist/v1/bundle/diagnostic.d.ts +10 -0
  94. package/dist/v1/bundle/diagnostic.js +17 -0
  95. package/dist/v1/bundle/index.d.ts +18 -0
  96. package/dist/v1/bundle/index.js +20 -0
  97. package/dist/v1/bundle/model.d.ts +16 -0
  98. package/dist/v1/bundle/model.js +11 -0
  99. package/dist/v1/bundle/structure.d.ts +7 -0
  100. package/dist/v1/bundle/structure.js +71 -0
  101. package/dist/v1/bundle/transport.d.ts +8 -0
  102. package/dist/v1/bundle/transport.js +7 -0
  103. package/dist/v1/compiled/admission/accept.d.ts +3 -0
  104. package/dist/v1/compiled/admission/accept.js +881 -0
  105. package/dist/v1/compiled/admission/revision.d.ts +4 -0
  106. package/dist/v1/compiled/admission/revision.js +73 -0
  107. package/dist/v1/compiled/admission/semantics.d.ts +7 -0
  108. package/dist/v1/compiled/admission/semantics.js +1091 -0
  109. package/dist/v1/compiled/codec/json.d.ts +3 -0
  110. package/dist/v1/compiled/codec/json.js +9 -0
  111. package/dist/v1/compiled/compiler/compile.d.ts +4 -0
  112. package/dist/v1/compiled/compiler/compile.js +113 -0
  113. package/dist/v1/compiled/diagnostic.d.ts +11 -0
  114. package/dist/v1/compiled/diagnostic.js +13 -0
  115. package/dist/v1/compiled/index.d.ts +7 -0
  116. package/dist/v1/compiled/index.js +5 -0
  117. package/dist/v1/compiled/loader/index.d.ts +1 -0
  118. package/dist/v1/compiled/loader/index.js +1 -0
  119. package/dist/v1/compiled/loader/load.d.ts +4 -0
  120. package/dist/v1/compiled/loader/load.js +141 -0
  121. package/dist/v1/compiled/model/schema.d.ts +73 -0
  122. package/dist/v1/compiled/model/schema.js +1 -0
  123. package/dist/v1/domain/create.d.ts +8 -0
  124. package/dist/v1/domain/create.js +264 -0
  125. package/dist/v1/domain/index.d.ts +2 -0
  126. package/dist/v1/domain/index.js +1 -0
  127. package/dist/v1/domain/model/domain.d.ts +59 -0
  128. package/dist/v1/domain/model/domain.js +1 -0
  129. package/dist/v1/domain/model/input.d.ts +31 -0
  130. package/dist/v1/domain/model/input.js +1 -0
  131. package/dist/v1/domain/namespace/member-collection.d.ts +5 -0
  132. package/dist/v1/domain/namespace/member-collection.js +81 -0
  133. package/dist/v1/domain/projection/classes.d.ts +4 -0
  134. package/dist/v1/domain/projection/classes.js +200 -0
  135. package/dist/v1/domain/validation/create.d.ts +18 -0
  136. package/dist/v1/domain/validation/create.js +75 -0
  137. package/dist/v1/index.d.ts +16 -0
  138. package/dist/v1/index.js +8 -0
  139. package/dist/v1/language/callable/index.d.ts +2 -0
  140. package/dist/v1/language/callable/index.js +1 -0
  141. package/dist/v1/language/callable/model/callable.d.ts +33 -0
  142. package/dist/v1/language/callable/model/callable.js +1 -0
  143. package/dist/v1/language/callable/resolved.d.ts +68 -0
  144. package/dist/v1/language/callable/resolved.js +1 -0
  145. package/dist/v1/language/class/facets.d.ts +58 -0
  146. package/dist/v1/language/class/facets.js +1 -0
  147. package/dist/v1/language/class/index.d.ts +8 -0
  148. package/dist/v1/language/class/index.js +1 -0
  149. package/dist/v1/language/class/model/class.d.ts +36 -0
  150. package/dist/v1/language/class/model/class.js +1 -0
  151. package/dist/v1/language/class/model/data.d.ts +11 -0
  152. package/dist/v1/language/class/model/data.js +2 -0
  153. package/dist/v1/language/class/model/edge.d.ts +38 -0
  154. package/dist/v1/language/class/model/edge.js +1 -0
  155. package/dist/v1/language/class/model/property.d.ts +18 -0
  156. package/dist/v1/language/class/model/property.js +1 -0
  157. package/dist/v1/language/class/property-values.d.ts +15 -0
  158. package/dist/v1/language/class/property-values.js +30 -0
  159. package/dist/v1/language/class/resolved.d.ts +123 -0
  160. package/dist/v1/language/class/resolved.js +1 -0
  161. package/dist/v1/language/core/index.d.ts +2 -0
  162. package/dist/v1/language/core/index.js +1 -0
  163. package/dist/v1/language/core/model/core.d.ts +20 -0
  164. package/dist/v1/language/core/model/core.js +1 -0
  165. package/dist/v1/language/core/resolved.d.ts +21 -0
  166. package/dist/v1/language/core/resolved.js +1 -0
  167. package/dist/v1/language/definition/metadata.d.ts +12 -0
  168. package/dist/v1/language/definition/metadata.js +12 -0
  169. package/dist/v1/language/definition.d.ts +7 -0
  170. package/dist/v1/language/definition.js +1 -0
  171. package/dist/v1/language/index.d.ts +23 -0
  172. package/dist/v1/language/index.js +1 -0
  173. package/dist/v1/language/policy/analysis/branches.d.ts +19 -0
  174. package/dist/v1/language/policy/analysis/branches.js +132 -0
  175. package/dist/v1/language/policy/analysis/budgets.d.ts +16 -0
  176. package/dist/v1/language/policy/analysis/budgets.js +25 -0
  177. package/dist/v1/language/policy/index.d.ts +3 -0
  178. package/dist/v1/language/policy/index.js +1 -0
  179. package/dist/v1/language/policy/model/policy.d.ts +77 -0
  180. package/dist/v1/language/policy/model/policy.js +1 -0
  181. package/dist/v1/language/policy/normalization/normalize.d.ts +4 -0
  182. package/dist/v1/language/policy/normalization/normalize.js +226 -0
  183. package/dist/v1/language/policy/resolved.d.ts +9 -0
  184. package/dist/v1/language/policy/resolved.js +1 -0
  185. package/dist/v1/language/resolved.d.ts +10 -0
  186. package/dist/v1/language/resolved.js +1 -0
  187. package/dist/v1/language/validation/diagnostic.d.ts +8 -0
  188. package/dist/v1/language/validation/diagnostic.js +3 -0
  189. package/dist/v1/language/value/compile/fields.d.ts +3 -0
  190. package/dist/v1/language/value/compile/fields.js +60 -0
  191. package/dist/v1/language/value/compile/load.d.ts +4 -0
  192. package/dist/v1/language/value/compile/load.js +41 -0
  193. package/dist/v1/language/value/compile/model.d.ts +27 -0
  194. package/dist/v1/language/value/compile/model.js +1 -0
  195. package/dist/v1/language/value/evaluate/assertions.d.ts +6 -0
  196. package/dist/v1/language/value/evaluate/assertions.js +58 -0
  197. package/dist/v1/language/value/evaluate/evaluator.d.ts +4 -0
  198. package/dist/v1/language/value/evaluate/evaluator.js +361 -0
  199. package/dist/v1/language/value/evaluate/preparation.d.ts +13 -0
  200. package/dist/v1/language/value/evaluate/preparation.js +135 -0
  201. package/dist/v1/language/value/evaluate/program.d.ts +3 -0
  202. package/dist/v1/language/value/evaluate/program.js +16 -0
  203. package/dist/v1/language/value/evaluate/types.d.ts +36 -0
  204. package/dist/v1/language/value/evaluate/types.js +9 -0
  205. package/dist/v1/language/value/evaluate/validate.d.ts +12 -0
  206. package/dist/v1/language/value/evaluate/validate.js +43 -0
  207. package/dist/v1/language/value/index.d.ts +11 -0
  208. package/dist/v1/language/value/index.js +8 -0
  209. package/dist/v1/language/value/model/instant.d.ts +9 -0
  210. package/dist/v1/language/value/model/instant.js +37 -0
  211. package/dist/v1/language/value/model/object.d.ts +5 -0
  212. package/dist/v1/language/value/model/object.js +3 -0
  213. package/dist/v1/language/value/model/schema.d.ts +25 -0
  214. package/dist/v1/language/value/model/schema.js +11 -0
  215. package/dist/v1/language/value/ordering.d.ts +13 -0
  216. package/dist/v1/language/value/ordering.js +174 -0
  217. package/dist/v1/language/value/profile/canonicalize.d.ts +4 -0
  218. package/dist/v1/language/value/profile/canonicalize.js +130 -0
  219. package/dist/v1/language/value/profile/json.validate.d.ts +2 -0
  220. package/dist/v1/language/value/profile/json.validate.js +14 -0
  221. package/dist/v1/language/value/profile/meta-schema.compiled.d.ts +78 -0
  222. package/dist/v1/language/value/profile/meta-schema.compiled.js +2079 -0
  223. package/dist/v1/language/value/profile/meta-schema.d.ts +4 -0
  224. package/dist/v1/language/value/profile/meta-schema.js +19 -0
  225. package/dist/v1/language/value/profile/rules.d.ts +3 -0
  226. package/dist/v1/language/value/profile/rules.js +109 -0
  227. package/dist/v1/language/value/profile/validate.d.ts +4 -0
  228. package/dist/v1/language/value/profile/validate.js +39 -0
  229. package/dist/v1/language/value/profile/vocabulary.d.ts +2 -0
  230. package/dist/v1/language/value/profile/vocabulary.js +68 -0
  231. package/dist/v1/language/value/reference/closure.d.ts +11 -0
  232. package/dist/v1/language/value/reference/closure.js +51 -0
  233. package/dist/v1/language/value/reference/recursion.d.ts +5 -0
  234. package/dist/v1/language/value/reference/recursion.js +95 -0
  235. package/dist/v1/language/value/reference/references.d.ts +17 -0
  236. package/dist/v1/language/value/reference/references.js +45 -0
  237. package/dist/v1/language/value/reference/registry.d.ts +24 -0
  238. package/dist/v1/language/value/reference/registry.index.d.ts +14 -0
  239. package/dist/v1/language/value/reference/registry.index.js +76 -0
  240. package/dist/v1/language/value/reference/registry.js +1 -0
  241. package/dist/v1/language/value/regexp/ast.d.ts +21 -0
  242. package/dist/v1/language/value/regexp/ast.js +326 -0
  243. package/dist/v1/language/value/regexp/compile.d.ts +3 -0
  244. package/dist/v1/language/value/regexp/compile.js +96 -0
  245. package/dist/v1/language/value/regexp/lower.d.ts +3 -0
  246. package/dist/v1/language/value/regexp/lower.js +26 -0
  247. package/dist/v1/language/value/regexp/matcher.d.ts +7 -0
  248. package/dist/v1/language/value/regexp/matcher.js +50 -0
  249. package/dist/v1/language/value/regexp/pattern.d.ts +2 -0
  250. package/dist/v1/language/value/regexp/pattern.js +38 -0
  251. package/dist/v1/language/value/regexp/syntax.d.ts +2 -0
  252. package/dist/v1/language/value/regexp/syntax.js +5 -0
  253. package/dist/v1/language/value/syntax/full-match.d.ts +6 -0
  254. package/dist/v1/language/value/syntax/full-match.js +20 -0
  255. package/dist/v1/language/value/syntax/keywords.d.ts +3 -0
  256. package/dist/v1/language/value/syntax/keywords.js +20 -0
  257. package/dist/v1/language/value/syntax/node-path/schema.d.ts +5 -0
  258. package/dist/v1/language/value/syntax/node-path/schema.js +18 -0
  259. package/dist/v1/language/value/syntax/node-path/validate.d.ts +4 -0
  260. package/dist/v1/language/value/syntax/node-path/validate.js +80 -0
  261. package/dist/v1/language/value/syntax/pointer.d.ts +4 -0
  262. package/dist/v1/language/value/syntax/pointer.js +49 -0
  263. package/dist/v1/language/value/syntax/walk.d.ts +10 -0
  264. package/dist/v1/language/value/syntax/walk.js +53 -0
  265. package/dist/v1/language/view/index.d.ts +2 -0
  266. package/dist/v1/language/view/index.js +1 -0
  267. package/dist/v1/language/view/model/view.d.ts +11 -0
  268. package/dist/v1/language/view/model/view.js +1 -0
  269. package/dist/v1/language/view/resolved.d.ts +9 -0
  270. package/dist/v1/language/view/resolved.js +1 -0
  271. package/dist/v1/schema/admission/accept.d.ts +3 -0
  272. package/dist/v1/schema/admission/accept.js +26 -0
  273. package/dist/v1/schema/analysis/class.d.ts +41 -0
  274. package/dist/v1/schema/analysis/class.js +181 -0
  275. package/dist/v1/schema/canonical/domain.d.ts +3 -0
  276. package/dist/v1/schema/canonical/domain.digest.d.ts +3 -0
  277. package/dist/v1/schema/canonical/domain.digest.js +5 -0
  278. package/dist/v1/schema/canonical/domain.js +5 -0
  279. package/dist/v1/schema/canonical/freeze.d.ts +1 -0
  280. package/dist/v1/schema/canonical/freeze.js +9 -0
  281. package/dist/v1/schema/canonical/revision.d.ts +11 -0
  282. package/dist/v1/schema/canonical/revision.js +17 -0
  283. package/dist/v1/schema/codec/header.d.ts +17 -0
  284. package/dist/v1/schema/codec/header.js +26 -0
  285. package/dist/v1/schema/codec/schema.d.ts +5 -0
  286. package/dist/v1/schema/codec/schema.js +21 -0
  287. package/dist/v1/schema/compatibility/meaning.d.ts +29 -0
  288. package/dist/v1/schema/compatibility/meaning.js +605 -0
  289. package/dist/v1/schema/dependency/lookup.d.ts +18 -0
  290. package/dist/v1/schema/dependency/lookup.js +31 -0
  291. package/dist/v1/schema/diagnostic.d.ts +12 -0
  292. package/dist/v1/schema/diagnostic.js +21 -0
  293. package/dist/v1/schema/index.d.ts +26 -0
  294. package/dist/v1/schema/index.js +13 -0
  295. package/dist/v1/schema/model/format.d.ts +2 -0
  296. package/dist/v1/schema/model/format.js +2 -0
  297. package/dist/v1/schema/model/schema.d.ts +30 -0
  298. package/dist/v1/schema/model/schema.js +4 -0
  299. package/dist/v1/schema/normalization/domain.d.ts +2 -0
  300. package/dist/v1/schema/normalization/domain.js +207 -0
  301. package/dist/v1/schema/resolution/closure.d.ts +9 -0
  302. package/dist/v1/schema/resolution/closure.js +49 -0
  303. package/dist/v1/schema/resolution/context.d.ts +17 -0
  304. package/dist/v1/schema/resolution/context.js +158 -0
  305. package/dist/v1/schema/resolution/definition.index.d.ts +21 -0
  306. package/dist/v1/schema/resolution/definition.index.js +17 -0
  307. package/dist/v1/schema/resolution/domain.d.ts +4 -0
  308. package/dist/v1/schema/resolution/domain.js +112 -0
  309. package/dist/v1/schema/resolution/origins.d.ts +14 -0
  310. package/dist/v1/schema/resolution/origins.js +121 -0
  311. package/dist/v1/schema/resolution/value.registry.d.ts +7 -0
  312. package/dist/v1/schema/resolution/value.registry.js +39 -0
  313. package/dist/v1/schema/revision.d.ts +1 -0
  314. package/dist/v1/schema/revision.js +1 -0
  315. package/dist/v1/schema/validation/class.d.ts +5 -0
  316. package/dist/v1/schema/validation/class.js +208 -0
  317. package/dist/v1/schema/validation/core.d.ts +5 -0
  318. package/dist/v1/schema/validation/core.js +264 -0
  319. package/dist/v1/schema/validation/domain.d.ts +11 -0
  320. package/dist/v1/schema/validation/domain.js +36 -0
  321. package/dist/v1/schema/validation/domain.route.d.ts +4 -0
  322. package/dist/v1/schema/validation/domain.route.js +32 -0
  323. package/dist/v1/schema/validation/domain.structure.d.ts +4 -0
  324. package/dist/v1/schema/validation/domain.structure.js +427 -0
  325. package/dist/v1/schema/validation/policy/budgets.d.ts +4 -0
  326. package/dist/v1/schema/validation/policy/budgets.js +102 -0
  327. package/dist/v1/schema/validation/policy/context.d.ts +28 -0
  328. package/dist/v1/schema/validation/policy/context.js +89 -0
  329. package/dist/v1/schema/validation/policy/references.d.ts +2 -0
  330. package/dist/v1/schema/validation/policy/references.js +143 -0
  331. package/dist/v1/schema/validation/policy/typing.d.ts +19 -0
  332. package/dist/v1/schema/validation/policy/typing.js +318 -0
  333. package/dist/v1/schema/validation/policy/uses.d.ts +5 -0
  334. package/dist/v1/schema/validation/policy/uses.js +258 -0
  335. package/dist/v1/schema/validation/policy/validate.d.ts +11 -0
  336. package/dist/v1/schema/validation/policy/validate.js +23 -0
  337. package/dist/v1/schema/validation/value-api.d.ts +13 -0
  338. package/dist/v1/schema/validation/value-api.js +23 -0
  339. package/dist/v1/schema/validation/value.d.ts +4 -0
  340. package/dist/v1/schema/validation/value.js +39 -0
  341. package/dist/v1/schema/validation/view.d.ts +3 -0
  342. package/dist/v1/schema/validation/view.js +29 -0
  343. package/dist/v1/value/full-match.d.ts +2 -0
  344. package/dist/v1/value/full-match.js +2 -0
  345. package/dist/v1.d.ts +2 -0
  346. package/dist/v1.js +2 -0
  347. package/dist/value/accept.d.ts +8 -0
  348. package/dist/value/accept.js +132 -0
  349. package/dist/value/canonical.d.ts +4 -0
  350. package/dist/value/canonical.js +41 -0
  351. package/dist/value/decode.d.ts +4 -0
  352. package/dist/value/decode.js +108 -0
  353. package/dist/value/equal.d.ts +3 -0
  354. package/dist/value/equal.js +5 -0
  355. package/dist/value/error.d.ts +12 -0
  356. package/dist/value/error.js +21 -0
  357. package/dist/value/index.d.ts +9 -0
  358. package/dist/value/index.js +6 -0
  359. package/dist/value/json.d.ts +3 -0
  360. package/dist/value/json.js +3 -0
  361. package/dist/value/limits.d.ts +21 -0
  362. package/dist/value/limits.js +15 -0
  363. package/dist/value/types.d.ts +6 -0
  364. package/dist/value/types.js +1 -0
  365. package/dist/value/unicode.d.ts +4 -0
  366. package/dist/value/unicode.js +64 -0
  367. package/dist/version/dispatch.d.ts +24 -0
  368. package/dist/version/dispatch.js +47 -0
  369. package/dist/version/index.d.ts +2 -0
  370. package/dist/version/index.js +1 -0
  371. package/package.json +75 -15
  372. package/dist/builders/bitmask.d.ts +0 -5
  373. package/dist/builders/bitmask.d.ts.map +0 -1
  374. package/dist/builders/bitmask.js +0 -12
  375. package/dist/builders/bitmask.js.map +0 -1
  376. package/dist/builders/data.d.ts +0 -7
  377. package/dist/builders/data.d.ts.map +0 -1
  378. package/dist/builders/data.js +0 -18
  379. package/dist/builders/data.js.map +0 -1
  380. package/dist/builders/definition/base.d.ts +0 -13
  381. package/dist/builders/definition/base.d.ts.map +0 -1
  382. package/dist/builders/definition/base.js +0 -24
  383. package/dist/builders/definition/base.js.map +0 -1
  384. package/dist/builders/definition/edge-class.d.ts +0 -8
  385. package/dist/builders/definition/edge-class.d.ts.map +0 -1
  386. package/dist/builders/definition/edge-class.js +0 -9
  387. package/dist/builders/definition/edge-class.js.map +0 -1
  388. package/dist/builders/definition/edge-interface.d.ts +0 -8
  389. package/dist/builders/definition/edge-interface.d.ts.map +0 -1
  390. package/dist/builders/definition/edge-interface.js +0 -9
  391. package/dist/builders/definition/edge-interface.js.map +0 -1
  392. package/dist/builders/definition/node-class.d.ts +0 -7
  393. package/dist/builders/definition/node-class.d.ts.map +0 -1
  394. package/dist/builders/definition/node-class.js +0 -9
  395. package/dist/builders/definition/node-class.js.map +0 -1
  396. package/dist/builders/definition/node-interface.d.ts +0 -7
  397. package/dist/builders/definition/node-interface.d.ts.map +0 -1
  398. package/dist/builders/definition/node-interface.js +0 -9
  399. package/dist/builders/definition/node-interface.js.map +0 -1
  400. package/dist/builders/function.d.ts +0 -34
  401. package/dist/builders/function.d.ts.map +0 -1
  402. package/dist/builders/function.js +0 -8
  403. package/dist/builders/function.js.map +0 -1
  404. package/dist/builders/policy.d.ts +0 -10
  405. package/dist/builders/policy.d.ts.map +0 -1
  406. package/dist/builders/policy.js +0 -28
  407. package/dist/builders/policy.js.map +0 -1
  408. package/dist/builders/prop.d.ts +0 -7
  409. package/dist/builders/prop.d.ts.map +0 -1
  410. package/dist/builders/prop.js +0 -9
  411. package/dist/builders/prop.js.map +0 -1
  412. package/dist/builders/ref.d.ts +0 -12
  413. package/dist/builders/ref.d.ts.map +0 -1
  414. package/dist/builders/ref.js +0 -27
  415. package/dist/builders/ref.js.map +0 -1
  416. package/dist/grammar/definition/base.d.ts +0 -13
  417. package/dist/grammar/definition/base.d.ts.map +0 -1
  418. package/dist/grammar/definition/base.js +0 -2
  419. package/dist/grammar/definition/base.js.map +0 -1
  420. package/dist/grammar/definition/discriminants.d.ts +0 -31
  421. package/dist/grammar/definition/discriminants.d.ts.map +0 -1
  422. package/dist/grammar/definition/discriminants.js +0 -33
  423. package/dist/grammar/definition/discriminants.js.map +0 -1
  424. package/dist/grammar/definition/edge-class.d.ts +0 -19
  425. package/dist/grammar/definition/edge-class.d.ts.map +0 -1
  426. package/dist/grammar/definition/edge-class.js +0 -2
  427. package/dist/grammar/definition/edge-class.js.map +0 -1
  428. package/dist/grammar/definition/edge-interface.d.ts +0 -18
  429. package/dist/grammar/definition/edge-interface.d.ts.map +0 -1
  430. package/dist/grammar/definition/edge-interface.js +0 -2
  431. package/dist/grammar/definition/edge-interface.js.map +0 -1
  432. package/dist/grammar/definition/node-class.d.ts +0 -26
  433. package/dist/grammar/definition/node-class.d.ts.map +0 -1
  434. package/dist/grammar/definition/node-class.js +0 -2
  435. package/dist/grammar/definition/node-class.js.map +0 -1
  436. package/dist/grammar/definition/node-interface.d.ts +0 -14
  437. package/dist/grammar/definition/node-interface.d.ts.map +0 -1
  438. package/dist/grammar/definition/node-interface.js +0 -2
  439. package/dist/grammar/definition/node-interface.js.map +0 -1
  440. package/dist/grammar/facets/constraints.d.ts +0 -8
  441. package/dist/grammar/facets/constraints.d.ts.map +0 -1
  442. package/dist/grammar/facets/constraints.js +0 -2
  443. package/dist/grammar/facets/constraints.js.map +0 -1
  444. package/dist/grammar/facets/content.d.ts +0 -4
  445. package/dist/grammar/facets/content.d.ts.map +0 -1
  446. package/dist/grammar/facets/content.js +0 -2
  447. package/dist/grammar/facets/content.js.map +0 -1
  448. package/dist/grammar/facets/endpoints.d.ts +0 -14
  449. package/dist/grammar/facets/endpoints.d.ts.map +0 -1
  450. package/dist/grammar/facets/endpoints.js +0 -3
  451. package/dist/grammar/facets/endpoints.js.map +0 -1
  452. package/dist/grammar/facets/indexes.d.ts +0 -12
  453. package/dist/grammar/facets/indexes.d.ts.map +0 -1
  454. package/dist/grammar/facets/indexes.js +0 -9
  455. package/dist/grammar/facets/indexes.js.map +0 -1
  456. package/dist/grammar/facets/properties.d.ts +0 -26
  457. package/dist/grammar/facets/properties.d.ts.map +0 -1
  458. package/dist/grammar/facets/properties.js +0 -45
  459. package/dist/grammar/facets/properties.js.map +0 -1
  460. package/dist/grammar/function/config.d.ts +0 -16
  461. package/dist/grammar/function/config.d.ts.map +0 -1
  462. package/dist/grammar/function/config.js +0 -2
  463. package/dist/grammar/function/config.js.map +0 -1
  464. package/dist/grammar/function/def.d.ts +0 -58
  465. package/dist/grammar/function/def.d.ts.map +0 -1
  466. package/dist/grammar/function/def.js +0 -2
  467. package/dist/grammar/function/def.js.map +0 -1
  468. package/dist/grammar/function/inheritance.d.ts +0 -3
  469. package/dist/grammar/function/inheritance.d.ts.map +0 -1
  470. package/dist/grammar/function/inheritance.js +0 -2
  471. package/dist/grammar/function/inheritance.js.map +0 -1
  472. package/dist/grammar/function/output.d.ts +0 -3
  473. package/dist/grammar/function/output.d.ts.map +0 -1
  474. package/dist/grammar/function/output.js +0 -2
  475. package/dist/grammar/function/output.js.map +0 -1
  476. package/dist/grammar/policy/callable.d.ts +0 -40
  477. package/dist/grammar/policy/callable.d.ts.map +0 -1
  478. package/dist/grammar/policy/callable.js +0 -2
  479. package/dist/grammar/policy/callable.js.map +0 -1
  480. package/dist/grammar/policy/def.d.ts +0 -27
  481. package/dist/grammar/policy/def.d.ts.map +0 -1
  482. package/dist/grammar/policy/def.js +0 -2
  483. package/dist/grammar/policy/def.js.map +0 -1
  484. package/dist/grammar/policy/pattern.d.ts +0 -34
  485. package/dist/grammar/policy/pattern.d.ts.map +0 -1
  486. package/dist/grammar/policy/pattern.js +0 -2
  487. package/dist/grammar/policy/pattern.js.map +0 -1
  488. package/dist/grammar/values/bitmask.d.ts +0 -7
  489. package/dist/grammar/values/bitmask.d.ts.map +0 -1
  490. package/dist/grammar/values/bitmask.js +0 -2
  491. package/dist/grammar/values/bitmask.js.map +0 -1
  492. package/dist/grammar/values/data.d.ts +0 -30
  493. package/dist/grammar/values/data.d.ts.map +0 -1
  494. package/dist/grammar/values/data.js +0 -2
  495. package/dist/grammar/values/data.js.map +0 -1
  496. package/dist/grammar/values/ref.d.ts +0 -26
  497. package/dist/grammar/values/ref.d.ts.map +0 -1
  498. package/dist/grammar/values/ref.js +0 -2
  499. package/dist/grammar/values/ref.js.map +0 -1
  500. package/dist/grammar/values/self.d.ts +0 -12
  501. package/dist/grammar/values/self.d.ts.map +0 -1
  502. package/dist/grammar/values/self.js +0 -6
  503. package/dist/grammar/values/self.js.map +0 -1
  504. package/dist/index.d.ts.map +0 -1
  505. package/dist/index.js.map +0 -1
  506. package/dist/inference/content.d.ts +0 -27
  507. package/dist/inference/content.d.ts.map +0 -1
  508. package/dist/inference/content.js +0 -2
  509. package/dist/inference/content.js.map +0 -1
  510. package/dist/inference/index.d.ts +0 -7
  511. package/dist/inference/index.d.ts.map +0 -1
  512. package/dist/inference/index.js +0 -2
  513. package/dist/inference/index.js.map +0 -1
  514. package/dist/inference/inheritance.d.ts +0 -48
  515. package/dist/inference/inheritance.d.ts.map +0 -1
  516. package/dist/inference/inheritance.js +0 -2
  517. package/dist/inference/inheritance.js.map +0 -1
  518. package/dist/inference/input.d.ts +0 -30
  519. package/dist/inference/input.d.ts.map +0 -1
  520. package/dist/inference/input.js +0 -2
  521. package/dist/inference/input.js.map +0 -1
  522. package/dist/inference/methods.d.ts +0 -69
  523. package/dist/inference/methods.d.ts.map +0 -1
  524. package/dist/inference/methods.js +0 -2
  525. package/dist/inference/methods.js.map +0 -1
  526. package/dist/inference/properties.d.ts +0 -37
  527. package/dist/inference/properties.d.ts.map +0 -1
  528. package/dist/inference/properties.js +0 -2
  529. package/dist/inference/properties.js.map +0 -1
  530. package/dist/inference/schema.d.ts +0 -37
  531. package/dist/inference/schema.d.ts.map +0 -1
  532. package/dist/inference/schema.js +0 -2
  533. package/dist/inference/schema.js.map +0 -1
  534. package/dist/instance/core/define.d.ts +0 -13
  535. package/dist/instance/core/define.d.ts.map +0 -1
  536. package/dist/instance/core/define.js +0 -63
  537. package/dist/instance/core/define.js.map +0 -1
  538. package/dist/instance/core/edge.d.ts +0 -9
  539. package/dist/instance/core/edge.d.ts.map +0 -1
  540. package/dist/instance/core/edge.js +0 -11
  541. package/dist/instance/core/edge.js.map +0 -1
  542. package/dist/instance/core/endpoint.d.ts +0 -11
  543. package/dist/instance/core/endpoint.d.ts.map +0 -1
  544. package/dist/instance/core/endpoint.js +0 -19
  545. package/dist/instance/core/endpoint.js.map +0 -1
  546. package/dist/instance/core/node.d.ts +0 -7
  547. package/dist/instance/core/node.d.ts.map +0 -1
  548. package/dist/instance/core/node.js +0 -9
  549. package/dist/instance/core/node.js.map +0 -1
  550. package/dist/instance/core/path.d.ts +0 -21
  551. package/dist/instance/core/path.d.ts.map +0 -1
  552. package/dist/instance/core/path.js +0 -21
  553. package/dist/instance/core/path.js.map +0 -1
  554. package/dist/instance/core/self.d.ts +0 -15
  555. package/dist/instance/core/self.d.ts.map +0 -1
  556. package/dist/instance/core/self.js +0 -8
  557. package/dist/instance/core/self.js.map +0 -1
  558. package/dist/instance/core/types.d.ts +0 -45
  559. package/dist/instance/core/types.d.ts.map +0 -1
  560. package/dist/instance/core/types.js +0 -2
  561. package/dist/instance/core/types.js.map +0 -1
  562. package/dist/instance/seed/define.d.ts +0 -12
  563. package/dist/instance/seed/define.d.ts.map +0 -1
  564. package/dist/instance/seed/define.js +0 -34
  565. package/dist/instance/seed/define.js.map +0 -1
  566. package/dist/instance/seed/types.d.ts +0 -12
  567. package/dist/instance/seed/types.d.ts.map +0 -1
  568. package/dist/instance/seed/types.js +0 -2
  569. package/dist/instance/seed/types.js.map +0 -1
  570. package/dist/ir/classes.d.ts +0 -78
  571. package/dist/ir/classes.d.ts.map +0 -1
  572. package/dist/ir/classes.js +0 -2
  573. package/dist/ir/classes.js.map +0 -1
  574. package/dist/ir/domain.d.ts +0 -13
  575. package/dist/ir/domain.d.ts.map +0 -1
  576. package/dist/ir/domain.js +0 -2
  577. package/dist/ir/domain.js.map +0 -1
  578. package/dist/ir/endpoints.d.ts +0 -27
  579. package/dist/ir/endpoints.d.ts.map +0 -1
  580. package/dist/ir/endpoints.js +0 -2
  581. package/dist/ir/endpoints.js.map +0 -1
  582. package/dist/ir/functions.d.ts +0 -34
  583. package/dist/ir/functions.d.ts.map +0 -1
  584. package/dist/ir/functions.js +0 -2
  585. package/dist/ir/functions.js.map +0 -1
  586. package/dist/ir/index.d.ts +0 -9
  587. package/dist/ir/index.d.ts.map +0 -1
  588. package/dist/ir/index.js +0 -2
  589. package/dist/ir/index.js.map +0 -1
  590. package/dist/ir/ir.d.ts +0 -75
  591. package/dist/ir/ir.d.ts.map +0 -1
  592. package/dist/ir/ir.js +0 -5
  593. package/dist/ir/ir.js.map +0 -1
  594. package/dist/ir/json-schema.d.ts +0 -20
  595. package/dist/ir/json-schema.d.ts.map +0 -1
  596. package/dist/ir/json-schema.js +0 -2
  597. package/dist/ir/json-schema.js.map +0 -1
  598. package/dist/ir/policies.d.ts +0 -74
  599. package/dist/ir/policies.d.ts.map +0 -1
  600. package/dist/ir/policies.js +0 -2
  601. package/dist/ir/policies.js.map +0 -1
  602. package/dist/schema/classify.d.ts +0 -8
  603. package/dist/schema/classify.d.ts.map +0 -1
  604. package/dist/schema/classify.js +0 -20
  605. package/dist/schema/classify.js.map +0 -1
  606. package/dist/schema/define.d.ts +0 -23
  607. package/dist/schema/define.d.ts.map +0 -1
  608. package/dist/schema/define.js +0 -58
  609. package/dist/schema/define.js.map +0 -1
  610. package/dist/schema/error.d.ts +0 -8
  611. package/dist/schema/error.d.ts.map +0 -1
  612. package/dist/schema/error.js +0 -14
  613. package/dist/schema/error.js.map +0 -1
  614. package/dist/schema/refs.d.ts +0 -77
  615. package/dist/schema/refs.d.ts.map +0 -1
  616. package/dist/schema/refs.js +0 -100
  617. package/dist/schema/refs.js.map +0 -1
  618. package/dist/schema/resolve/index.d.ts +0 -5
  619. package/dist/schema/resolve/index.d.ts.map +0 -1
  620. package/dist/schema/resolve/index.js +0 -5
  621. package/dist/schema/resolve/index.js.map +0 -1
  622. package/dist/schema/resolve/methods.d.ts +0 -8
  623. package/dist/schema/resolve/methods.d.ts.map +0 -1
  624. package/dist/schema/resolve/methods.js +0 -18
  625. package/dist/schema/resolve/methods.js.map +0 -1
  626. package/dist/schema/resolve/properties.d.ts +0 -13
  627. package/dist/schema/resolve/properties.d.ts.map +0 -1
  628. package/dist/schema/resolve/properties.js +0 -37
  629. package/dist/schema/resolve/properties.js.map +0 -1
  630. package/dist/schema/resolve/self.d.ts +0 -7
  631. package/dist/schema/resolve/self.d.ts.map +0 -1
  632. package/dist/schema/resolve/self.js +0 -33
  633. package/dist/schema/resolve/self.js.map +0 -1
  634. package/dist/schema/resolve/thunks.d.ts +0 -12
  635. package/dist/schema/resolve/thunks.d.ts.map +0 -1
  636. package/dist/schema/resolve/thunks.js +0 -37
  637. package/dist/schema/resolve/thunks.js.map +0 -1
  638. package/dist/schema/schema.d.ts +0 -25
  639. package/dist/schema/schema.d.ts.map +0 -1
  640. package/dist/schema/schema.js +0 -2
  641. package/dist/schema/schema.js.map +0 -1
  642. package/dist/schema/validators/context.d.ts +0 -17
  643. package/dist/schema/validators/context.d.ts.map +0 -1
  644. package/dist/schema/validators/context.js +0 -2
  645. package/dist/schema/validators/context.js.map +0 -1
  646. package/dist/schema/validators/endpoints.d.ts +0 -4
  647. package/dist/schema/validators/endpoints.d.ts.map +0 -1
  648. package/dist/schema/validators/endpoints.js +0 -27
  649. package/dist/schema/validators/endpoints.js.map +0 -1
  650. package/dist/schema/validators/index.d.ts +0 -12
  651. package/dist/schema/validators/index.d.ts.map +0 -1
  652. package/dist/schema/validators/index.js +0 -25
  653. package/dist/schema/validators/index.js.map +0 -1
  654. package/dist/schema/validators/indexes.d.ts +0 -4
  655. package/dist/schema/validators/indexes.d.ts.map +0 -1
  656. package/dist/schema/validators/indexes.js +0 -19
  657. package/dist/schema/validators/indexes.js.map +0 -1
  658. package/dist/schema/validators/inheritance.d.ts +0 -4
  659. package/dist/schema/validators/inheritance.d.ts.map +0 -1
  660. package/dist/schema/validators/inheritance.js +0 -27
  661. package/dist/schema/validators/inheritance.js.map +0 -1
  662. package/dist/schema/validators/methods.d.ts +0 -9
  663. package/dist/schema/validators/methods.d.ts.map +0 -1
  664. package/dist/schema/validators/methods.js +0 -44
  665. package/dist/schema/validators/methods.js.map +0 -1
  666. package/dist/schema/validators/names.d.ts +0 -4
  667. package/dist/schema/validators/names.d.ts.map +0 -1
  668. package/dist/schema/validators/names.js +0 -19
  669. package/dist/schema/validators/names.js.map +0 -1
  670. package/dist/schema/validators/policies.d.ts +0 -4
  671. package/dist/schema/validators/policies.d.ts.map +0 -1
  672. package/dist/schema/validators/policies.js +0 -61
  673. package/dist/schema/validators/policies.js.map +0 -1
  674. package/dist/schema/validators/ref-targets.d.ts +0 -4
  675. package/dist/schema/validators/ref-targets.d.ts.map +0 -1
  676. package/dist/schema/validators/ref-targets.js +0 -54
  677. package/dist/schema/validators/ref-targets.js.map +0 -1
  678. package/dist/serializer/context.d.ts +0 -35
  679. package/dist/serializer/context.d.ts.map +0 -1
  680. package/dist/serializer/context.js +0 -359
  681. package/dist/serializer/context.js.map +0 -1
  682. package/dist/serializer/helpers.d.ts +0 -34
  683. package/dist/serializer/helpers.d.ts.map +0 -1
  684. package/dist/serializer/helpers.js +0 -116
  685. package/dist/serializer/helpers.js.map +0 -1
  686. package/dist/serializer/index.d.ts +0 -2
  687. package/dist/serializer/index.d.ts.map +0 -1
  688. package/dist/serializer/index.js +0 -2
  689. package/dist/serializer/index.js.map +0 -1
  690. package/dist/serializer/policies.d.ts +0 -34
  691. package/dist/serializer/policies.d.ts.map +0 -1
  692. package/dist/serializer/policies.js +0 -837
  693. package/dist/serializer/policies.js.map +0 -1
  694. package/dist/serializer/policy-typing.d.ts +0 -56
  695. package/dist/serializer/policy-typing.d.ts.map +0 -1
  696. package/dist/serializer/policy-typing.js +0 -490
  697. package/dist/serializer/policy-typing.js.map +0 -1
  698. package/dist/serializer/serialize.d.ts +0 -12
  699. package/dist/serializer/serialize.d.ts.map +0 -1
  700. package/dist/serializer/serialize.js +0 -6
  701. package/dist/serializer/serialize.js.map +0 -1
@@ -1,48 +0,0 @@
1
- import type { AnyDef } from '../grammar/definition/discriminants.js';
2
- import type { FnDef } from '../grammar/function/def.js';
3
- import type { ExtractMethods } from './methods.js';
4
- import type { ExtractInherits } from './properties.js';
5
- /** Extract own sealed method keys from a def */
6
- type SealedOwnKeys<D> = {
7
- [M in keyof ExtractMethods<D> & string]: ExtractMethods<D>[M] extends FnDef<infer _P, infer _R, infer I, infer _S> ? I extends 'sealed' ? M : never : never;
8
- }[keyof ExtractMethods<D> & string];
9
- /**
10
- * Collect sealed method keys via a tail-recursive worklist.
11
- *
12
- * Single recursive call per frame — `inherits` of the head get prepended to
13
- * the worklist so the DAG is flattened. Union accumulates in `Acc`.
14
- */
15
- type SealedKeysFromInherits<T, Acc = never> = T extends readonly [
16
- infer Head extends AnyDef,
17
- ...infer Tail extends readonly AnyDef[]
18
- ] ? SealedKeysFromInherits<[...ExtractInherits<Head>, ...Tail], Acc | SealedOwnKeys<Head>> : Acc;
19
- /** All sealed method keys for a def (own + inherited) */
20
- export type AllSealedKeys<D> = D extends AnyDef ? SealedOwnKeys<D> | SealedKeysFromInherits<ExtractInherits<D>> : never;
21
- /** Extract own abstract method keys from a def */
22
- type AbstractOwnKeys<D> = {
23
- [M in keyof ExtractMethods<D> & string]: ExtractMethods<D>[M] extends FnDef<infer _P, infer _R, infer I, infer _S> ? I extends 'abstract' ? M : never : never;
24
- }[keyof ExtractMethods<D> & string];
25
- /** Tail-recursive worklist over the inherits DAG. Union accumulates in `Acc`. */
26
- type AbstractKeysFromInherits<T, Acc = never> = T extends readonly [
27
- infer Head extends AnyDef,
28
- ...infer Tail extends readonly AnyDef[]
29
- ] ? AbstractKeysFromInherits<[...ExtractInherits<Head>, ...Tail], Acc | AbstractOwnKeys<Head>> : Acc;
30
- /** Abstract method keys inherited that still need implementation (not overridden by own methods) */
31
- export type InheritedAbstractKeys<D> = D extends AnyDef ? Exclude<AbstractKeysFromInherits<ExtractInherits<D>>, keyof ExtractMethods<D>> : never;
32
- /** Extract own default (non-abstract, non-sealed) method keys from a def */
33
- type DefaultOwnKeys<D> = {
34
- [M in keyof ExtractMethods<D> & string]: ExtractMethods<D>[M] extends FnDef<infer _P, infer _R, infer I, infer _S> ? I extends 'sealed' | 'abstract' ? never : M : never;
35
- }[keyof ExtractMethods<D> & string];
36
- /** Tail-recursive worklist over the inherits DAG. Union accumulates in `Acc`. */
37
- type DefaultKeysFromInherits<T, Acc = never> = T extends readonly [
38
- infer Head extends AnyDef,
39
- ...infer Tail extends readonly AnyDef[]
40
- ] ? DefaultKeysFromInherits<[...ExtractInherits<Head>, ...Tail], Acc | DefaultOwnKeys<Head>> : Acc;
41
- /** Default method keys inherited that are NOT overridden by own methods */
42
- export type InheritedDefaultKeys<D> = D extends AnyDef ? Exclude<DefaultKeysFromInherits<ExtractInherits<D>>, keyof ExtractMethods<D>> : never;
43
- /** Own method keys that need an implementation (sealed or default, not abstract) */
44
- export type ImplementableOwnKeys<D> = DefaultOwnKeys<D> | SealedOwnKeys<D>;
45
- /** Check if a def has non-abstract own methods that need an implementation */
46
- export type HasImplementableMethods<D> = ImplementableOwnKeys<D> extends never ? false : true;
47
- export {};
48
- //# sourceMappingURL=inheritance.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"inheritance.d.ts","sourceRoot":"","sources":["../../src/inference/inheritance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEtD,gDAAgD;AAChD,KAAK,aAAa,CAAC,CAAC,IAAI;KACrB,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CACzE,MAAM,EAAE,EACR,MAAM,EAAE,EACR,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG,CAAC,SAAS,QAAQ,GAChB,CAAC,GACD,KAAK,GACP,KAAK;CACV,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAA;AAEnC;;;;;GAKG;AACH,KAAK,sBAAsB,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IAC/D,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,sBAAsB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,GACtF,GAAG,CAAA;AAEP,yDAAyD;AACzD,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC3C,aAAa,CAAC,CAAC,CAAC,GAAG,sBAAsB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAC7D,KAAK,CAAA;AAET,kDAAkD;AAClD,KAAK,eAAe,CAAC,CAAC,IAAI;KACvB,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CACzE,MAAM,EAAE,EACR,MAAM,EAAE,EACR,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,KAAK,GACP,KAAK;CACV,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAA;AAEnC,iFAAiF;AACjF,KAAK,wBAAwB,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IACjE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,wBAAwB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,GAC1F,GAAG,CAAA;AAEP,oGAAoG;AACpG,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnD,OAAO,CAAC,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAC9E,KAAK,CAAA;AAET,4EAA4E;AAC5E,KAAK,cAAc,CAAC,CAAC,IAAI;KACtB,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CACzE,MAAM,EAAE,EACR,MAAM,EAAE,EACR,MAAM,CAAC,EACP,MAAM,EAAE,CACT,GACG,CAAC,SAAS,QAAQ,GAAG,UAAU,GAC7B,KAAK,GACL,CAAC,GACH,KAAK;CACV,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAA;AAEnC,iFAAiF;AACjF,KAAK,uBAAuB,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IAChE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,uBAAuB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,GACxF,GAAG,CAAA;AAEP,2EAA2E;AAC3E,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAClD,OAAO,CAAC,uBAAuB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAC7E,KAAK,CAAA;AAET,oFAAoF;AACpF,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;AAE1E,8EAA8E;AAC9E,MAAM,MAAM,uBAAuB,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=inheritance.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"inheritance.js","sourceRoot":"","sources":["../../src/inference/inheritance.ts"],"names":[],"mappings":""}
@@ -1,30 +0,0 @@
1
- import type { AnyDef } from '../grammar/definition/discriminants.js';
2
- import type { ExtractContent } from './content.js';
3
- import type { ExtractProperties, ExtractInherits, InferProperties } from './properties.js';
4
- /**
5
- * Walk the ancestor DAG, plain-intersecting each def's own props and content.
6
- * Tail-recursive worklist — `inherits` of each head are prepended so the DAG
7
- * is flattened without branching recursion.
8
- */
9
- type CollectAncestorInput<T, Acc = unknown> = T extends readonly [
10
- infer Head extends AnyDef,
11
- ...infer Tail extends readonly AnyDef[]
12
- ] ? CollectAncestorInput<[
13
- ...ExtractInherits<Head>,
14
- ...Tail
15
- ], Acc & InferProperties<ExtractProperties<Head>> & InferProperties<ExtractContent<Head>>> : Acc;
16
- /** A single def's input contribution: own props/content plus all its ancestors. */
17
- type ResolveInheritsEntry<H extends AnyDef> = InferProperties<ExtractProperties<H>> & InferProperties<ExtractContent<H>> & CollectAncestorInput<ExtractInherits<H>>;
18
- /**
19
- * Collect all siblings' contributions — later siblings shadow earlier ones
20
- * (preserves the original right-wins semantics of `inherits: [A, B]`).
21
- * Tail-recursive accumulator form.
22
- */
23
- type CollectInputFromInherits<T, Acc = unknown> = T extends readonly [
24
- infer Head extends AnyDef,
25
- ...infer Tail extends readonly AnyDef[]
26
- ] ? CollectInputFromInherits<Tail, Omit<Acc, keyof ResolveInheritsEntry<Head>> & ResolveInheritsEntry<Head>> : Acc;
27
- /** Full inferred node input: properties + content, own shadow inherited */
28
- export type ExtractNodeInput<D> = D extends AnyDef ? Omit<CollectInputFromInherits<ExtractInherits<D>>, keyof InferProperties<ExtractProperties<D>> | keyof InferProperties<ExtractContent<D>>> & InferProperties<ExtractProperties<D>> & InferProperties<ExtractContent<D>> : unknown;
29
- export {};
30
- //# sourceMappingURL=input.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"input.d.ts","sourceRoot":"","sources":["../../src/inference/input.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAClD,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAE1F;;;;GAIG;AACH,KAAK,oBAAoB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IAC/D,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,oBAAoB,CAClB;IAAC,GAAG,eAAe,CAAC,IAAI,CAAC;IAAE,GAAG,IAAI;CAAC,EACnC,GAAG,GAAG,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,eAAe,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CACvF,GACD,GAAG,CAAA;AAEP,mFAAmF;AACnF,KAAK,oBAAoB,CAAC,CAAC,SAAS,MAAM,IAAI,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACjF,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAClC,oBAAoB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1C;;;;GAIG;AACH,KAAK,wBAAwB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACnE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,wBAAwB,CACtB,IAAI,EACJ,IAAI,CAAC,GAAG,EAAE,MAAM,oBAAoB,CAAC,IAAI,CAAC,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CACzE,GACD,GAAG,CAAA;AAEP,2EAA2E;AAC3E,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAC9C,IAAI,CACF,wBAAwB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAC5C,MAAM,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CACvF,GACC,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACrC,eAAe,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GACpC,OAAO,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=input.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"input.js","sourceRoot":"","sources":["../../src/inference/input.ts"],"names":[],"mappings":""}
@@ -1,69 +0,0 @@
1
- import type { z } from 'zod';
2
- import type { AnyDef } from '../grammar/definition/discriminants.js';
3
- import type { ParamShape } from '../grammar/function/config.js';
4
- import type { FnDef } from '../grammar/function/def.js';
5
- import type { DATA_TAG } from '../grammar/values/data.js';
6
- import type { ExtractFullContent } from './content.js';
7
- import type { ExtractInherits, ExtractFullProperties } from './properties.js';
8
- /** Extract own methods from a def's config */
9
- export type ExtractMethods<D> = D extends {
10
- config: {
11
- methods: infer M extends Record<string, FnDef>;
12
- };
13
- } ? M : {};
14
- /**
15
- * Collect methods from all ancestors via a tail-recursive worklist.
16
- *
17
- * Visits one def per frame; the def's own `inherits` are prepended to the
18
- * worklist so the DAG is flattened without branching recursion. Eligible for
19
- * TS tuple tail-call optimization — deep/wide inheritance no longer risks
20
- * "Type instantiation is excessively deep".
21
- */
22
- type CollectAncestorMethods<T, Acc = unknown> = T extends readonly [
23
- infer Head extends AnyDef,
24
- ...infer Tail extends readonly AnyDef[]
25
- ] ? CollectAncestorMethods<[...ExtractInherits<Head>, ...Tail], Acc & ExtractMethods<Head>> : Acc;
26
- /** All methods for a def: own + inherited (own shadows inherited) */
27
- export type AllMethods<D> = D extends AnyDef ? Omit<CollectAncestorMethods<ExtractInherits<D>>, keyof ExtractMethods<D>> & ExtractMethods<D> : ExtractMethods<D>;
28
- /** Check if a def has methods (own or inherited) */
29
- export type HasMethods<D> = keyof AllMethods<D> extends never ? false : true;
30
- /** Get method names from a def (own + inherited) */
31
- export type ExtractMethodNames<D> = keyof AllMethods<D> & string;
32
- /** Get the config of a specific method */
33
- type GetMethodConfig<D, M extends string> = M extends keyof AllMethods<D> ? AllMethods<D>[M] extends {
34
- config: infer MC;
35
- } ? MC : never : never;
36
- /** Extract resolved params (handles thunks at type level) */
37
- export type ExtractMethodParams<D, M extends string> = GetMethodConfig<D, M> extends {
38
- params: infer P;
39
- } ? P extends () => infer R ? R extends ParamShape ? R : Record<string, never> : P extends ParamShape ? P : Record<string, never> : Record<string, never>;
40
- /** Extract return Zod type */
41
- export type ExtractMethodReturns<D, M extends string> = GetMethodConfig<D, M> extends {
42
- returns: infer R;
43
- } ? R extends z.ZodType ? R : never : never;
44
- /** Resolve return value — handles data() markers */
45
- type MethodReturnValue<D, R extends z.ZodType> = R extends {
46
- readonly [DATA_TAG]: {
47
- readonly kind: 'self';
48
- };
49
- } ? D extends AnyDef ? ExtractFullContent<D> : never : R extends {
50
- readonly [DATA_TAG]: {
51
- readonly kind: 'grant';
52
- readonly target: infer T;
53
- };
54
- } ? T extends AnyDef ? ExtractFullContent<T> : unknown : z.infer<R>;
55
- /** Extract the resolved return value of a method */
56
- export type ExtractMethodReturnValue<D, M extends string> = MethodReturnValue<D, ExtractMethodReturns<D, M>>;
57
- /** Self type for a method context — properties + id (+ from/to for edges) */
58
- export type MethodSelf<D> = D extends {
59
- from: any;
60
- to: any;
61
- } ? ExtractFullProperties<D> & {
62
- readonly id: string;
63
- readonly from: string;
64
- readonly to: string;
65
- } : ExtractFullProperties<D> & {
66
- readonly id: string;
67
- };
68
- export {};
69
- //# sourceMappingURL=methods.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"methods.d.ts","sourceRoot":"","sources":["../../src/inference/methods.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAA;AAC/D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAE7E,8CAA8C;AAE9C,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS;IACxC,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;KAAE,CAAA;CAC3D,GACG,CAAC,GACD,EAAE,CAAA;AAEN;;;;;;;GAOG;AACH,KAAK,sBAAsB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACjE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,sBAAsB,CAAC,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,GACvF,GAAG,CAAA;AAEP,qEAAqE;AACrE,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACxC,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAC7F,cAAc,CAAC,CAAC,CAAC,CAAA;AAErB,oDAAoD;AACpD,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,IAAI,CAAA;AAE5E,oDAAoD;AACpD,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAA;AAEhE,0CAA0C;AAC1C,KAAK,eAAe,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,UAAU,CAAC,CAAC,CAAC,GACrE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GAC3C,EAAE,GACF,KAAK,GACP,KAAK,CAAA;AAET,6DAA6D;AAC7D,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IACjD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7C,CAAC,SAAS,MAAM,MAAM,CAAC,GACrB,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACvB,CAAC,SAAS,UAAU,GAClB,CAAC,GACD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;AAE3B,8BAA8B;AAC9B,MAAM,MAAM,oBAAoB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAClD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS;IAC5B,OAAO,EAAE,MAAM,CAAC,CAAA;CACjB,GACG,CAAC,SAAS,CAAC,CAAC,OAAO,GACjB,CAAC,GACD,KAAK,GACP,KAAK,CAAA;AAEX,oDAAoD;AACpD,KAAK,iBAAiB,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS;IACzD,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;CAC/C,GACG,CAAC,SAAS,MAAM,GACd,kBAAkB,CAAC,CAAC,CAAC,GACrB,KAAK,GACP,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GACrF,CAAC,SAAS,MAAM,GACd,kBAAkB,CAAC,CAAC,CAAC,GACrB,OAAO,GACT,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhB,oDAAoD;AACpD,MAAM,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,iBAAiB,CAC3E,CAAC,EACD,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAC3B,CAAA;AAED,6EAA6E;AAC7E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,GAAG,CAAC;IAAC,EAAE,EAAE,GAAG,CAAA;CAAE,GACxD,qBAAqB,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9F,qBAAqB,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=methods.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"methods.js","sourceRoot":"","sources":["../../src/inference/methods.ts"],"names":[],"mappings":""}
@@ -1,37 +0,0 @@
1
- import type { z } from 'zod';
2
- import type { AnyDef } from '../grammar/definition/discriminants.js';
3
- import type { PropertyDef } from '../grammar/facets/properties.js';
4
- /** Extract own properties from a def's config */
5
- export type ExtractProperties<D> = D extends {
6
- config: {
7
- properties: infer A;
8
- };
9
- } ? A : {};
10
- /** Infer Zod types in a property shape (handles both bare Zod and PropertyDef) */
11
- export type InferProperties<A> = {
12
- [K in keyof A]: A[K] extends PropertyDef<infer S> ? S extends z.ZodType<infer O> ? O : never : A[K] extends z.ZodType<infer O> ? O : never;
13
- };
14
- /** Extract inherits array from any def */
15
- export type ExtractInherits<D> = D extends {
16
- config: {
17
- inherits: infer I extends readonly AnyDef[];
18
- };
19
- } ? I : readonly [];
20
- /**
21
- * Collect inferred properties from all ancestors via a tail-recursive worklist.
22
- *
23
- * Visits one def per frame; `inherits` are prepended to the worklist so the DAG
24
- * is flattened without branching recursion. Intersection accumulates in `Acc`
25
- * — eligible for TS tuple tail-call optimization.
26
- */
27
- type CollectAncestorProperties<T, Acc = unknown> = T extends readonly [
28
- infer Head extends AnyDef,
29
- ...infer Tail extends readonly AnyDef[]
30
- ] ? CollectAncestorProperties<[
31
- ...ExtractInherits<Head>,
32
- ...Tail
33
- ], Acc & InferProperties<ExtractProperties<Head>>> : Acc;
34
- /** Full inferred properties: own shadow inherited (own keys take precedence) */
35
- export type ExtractFullProperties<D> = D extends AnyDef ? Omit<CollectAncestorProperties<ExtractInherits<D>>, keyof InferProperties<ExtractProperties<D>>> & InferProperties<ExtractProperties<D>> : unknown;
36
- export {};
37
- //# sourceMappingURL=properties.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../src/inference/properties.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAE5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wCAAwC,CAAA;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAA;AAElE,iDAAiD;AAEjD,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,GAAG,EAAE,CAAA;AAEzF,kFAAkF;AAClF,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;KAC9B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAC7C,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC1B,CAAC,GACD,KAAK,GACP,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAC7B,CAAC,GACD,KAAK;CACZ,CAAA;AAED,0CAA0C;AAC1C,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS;IACzC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,SAAS,MAAM,EAAE,CAAA;KAAE,CAAA;CACxD,GACG,CAAC,GACD,SAAS,EAAE,CAAA;AAEf;;;;;;GAMG;AACH,KAAK,yBAAyB,CAAC,CAAC,EAAE,GAAG,GAAG,OAAO,IAAI,CAAC,SAAS,SAAS;IACpE,MAAM,IAAI,SAAS,MAAM;IACzB,GAAG,MAAM,IAAI,SAAS,SAAS,MAAM,EAAE;CACxC,GACG,yBAAyB,CACvB;IAAC,GAAG,eAAe,CAAC,IAAI,CAAC;IAAE,GAAG,IAAI;CAAC,EACnC,GAAG,GAAG,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAC/C,GACD,GAAG,CAAA;AAEP,gFAAgF;AAChF,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnD,IAAI,CACF,yBAAyB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAC7C,MAAM,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAC5C,GACC,eAAe,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACvC,OAAO,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=properties.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"properties.js","sourceRoot":"","sources":["../../src/inference/properties.ts"],"names":[],"mappings":""}
@@ -1,37 +0,0 @@
1
- import type { Kind } from '../grammar/definition/discriminants.js';
2
- import type { EdgeClassDef } from '../grammar/definition/edge-class.js';
3
- import type { EdgeInterfaceDef } from '../grammar/definition/edge-interface.js';
4
- import type { NodeClassDef } from '../grammar/definition/node-class.js';
5
- import type { NodeInterfaceDef } from '../grammar/definition/node-interface.js';
6
- import type { FnDef } from '../grammar/function/def.js';
7
- /** Filter a record of defs by kind */
8
- export type FilterByKind<Defs extends Record<string, {
9
- __kind: string;
10
- }>, K extends Kind> = {
11
- [N in keyof Defs as Defs[N] extends {
12
- __kind: K;
13
- } ? N : never]: Defs[N];
14
- };
15
- /** Extract all node interfaces from a schema group */
16
- export type SchemaNodeInterfaces<I extends Record<string, any>> = {
17
- [N in keyof I as I[N] extends NodeInterfaceDef<any> ? N : never]: I[N];
18
- };
19
- /** Extract all node classes from a schema group */
20
- export type SchemaNodeClasses<C extends Record<string, any>> = {
21
- [N in keyof C as C[N] extends NodeClassDef<any> ? N : never]: C[N];
22
- };
23
- /** Extract all edge interfaces from a schema group */
24
- export type SchemaEdgeInterfaces<I extends Record<string, any>> = {
25
- [N in keyof I as I[N] extends EdgeInterfaceDef<any, any> ? N : never]: I[N];
26
- };
27
- /** Extract all edge classes from a schema group */
28
- export type SchemaEdgeClasses<C extends Record<string, any>> = {
29
- [N in keyof C as C[N] extends EdgeClassDef<any, any> ? N : never]: C[N];
30
- };
31
- /** Extract all method FnDefs from a def, preserving names */
32
- export type SchemaFnRefs<D> = D extends {
33
- config: {
34
- methods: infer M extends Record<string, FnDef>;
35
- };
36
- } ? M : never;
37
- //# sourceMappingURL=schema.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/inference/schema.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,wCAAwC,CAAA;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAA;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAA;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAA;AAC/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AAEvD,sCAAsC;AACtC,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAAC,SAAS,IAAI,IAAI;KACzF,CAAC,IAAI,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS;QAAE,MAAM,EAAE,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;CACxE,CAAA;AAED,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC/D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACvE,CAAA;AAED,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC5D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACnE,CAAA;AAED,sDAAsD;AACtD,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC/D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CAC5E,CAAA;AAED,mDAAmD;AACnD,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI;KAC5D,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACxE,CAAA;AAED,6DAA6D;AAC7D,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS;IACtC,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;KAAE,CAAA;CAC3D,GACG,CAAC,GACD,KAAK,CAAA"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=schema.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/inference/schema.ts"],"names":[],"mappings":""}
@@ -1,13 +0,0 @@
1
- import type { Schema } from '../../schema/schema.js';
2
- import type { CoreNode, CoreEdge, Core, PathTree } from './types.js';
3
- /**
4
- * Define the core (genesis) data for a domain.
5
- *
6
- * Returns an object whose top-level keys are CorePath values matching the
7
- * node tree structure, plus metadata (__nodes, __edges, schema, domain).
8
- */
9
- export declare function defineCore<S extends Schema, const Nodes extends Record<string, CoreNode<any, any>>>(schema: S, config: {
10
- nodes: Nodes;
11
- edges?: readonly CoreEdge[];
12
- }): Core<S, PathTree<Nodes>> & PathTree<Nodes>;
13
- //# sourceMappingURL=define.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"define.d.ts","sourceRoot":"","sources":["../../../src/instance/core/define.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAgC,MAAM,YAAY,CAAA;AAKlG;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,CAAC,SAAS,MAAM,EAChB,KAAK,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAEtD,MAAM,EAAE,CAAC,EACT,MAAM,EAAE;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GACpD,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAiE5C"}
@@ -1,63 +0,0 @@
1
- import { resolveEndpoint } from './endpoint.js';
2
- import { buildCorePath } from './path.js';
3
- /**
4
- * Define the core (genesis) data for a domain.
5
- *
6
- * Returns an object whose top-level keys are CorePath values matching the
7
- * node tree structure, plus metadata (__nodes, __edges, schema, domain).
8
- */
9
- export function defineCore(schema, config) {
10
- const domain = schema.domain;
11
- const nodeToPath = new Map();
12
- const flatNodes = [];
13
- function walkNodes(nodes, parentSlugs, parentPath, result) {
14
- for (const [key, coreNode] of Object.entries(nodes)) {
15
- if (parentSlugs.length === 0 && key === 'core') {
16
- throw new Error(`defineCore: "core" is a reserved top-level slug (used internally as the user-core anchor folder). Choose a different name.`);
17
- }
18
- const slugs = [...parentSlugs, key];
19
- const nodePath = buildCorePath(domain, slugs);
20
- nodeToPath.set(coreNode, nodePath);
21
- flatNodes.push({
22
- path: nodePath,
23
- def: coreNode.__nodeDef,
24
- data: coreNode.__data,
25
- parent: parentPath,
26
- });
27
- const children = coreNode.__children;
28
- const hasChildren = Object.keys(children).length > 0;
29
- if (hasChildren) {
30
- const childPaths = {};
31
- walkNodes(children, slugs, nodePath, childPaths);
32
- // Create an object that acts as both a CorePath (via toString/valueOf)
33
- // and a container for child paths (via direct properties).
34
- const pathWithChildren = Object.assign(Object.create(null), childPaths);
35
- pathWithChildren.toString = () => String(nodePath);
36
- pathWithChildren.valueOf = () => String(nodePath);
37
- // Tag so isCorePath still works
38
- pathWithChildren[Symbol.toPrimitive] = () => String(nodePath);
39
- result[key] = pathWithChildren;
40
- }
41
- else {
42
- result[key] = nodePath;
43
- }
44
- }
45
- }
46
- const pathTree = {};
47
- walkNodes(config.nodes, [], undefined, pathTree);
48
- const flatEdges = [];
49
- if (config.edges) {
50
- for (const e of config.edges) {
51
- const from = resolveEndpoint(e.__from, nodeToPath);
52
- const to = resolveEndpoint(e.__to, nodeToPath);
53
- flatEdges.push({ from, edge: e.__edgeDef, to, data: e.__data });
54
- }
55
- }
56
- return Object.assign(pathTree, {
57
- schema,
58
- domain,
59
- __nodes: flatNodes,
60
- __edges: flatEdges,
61
- });
62
- }
63
- //# sourceMappingURL=define.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"define.js","sourceRoot":"","sources":["../../../src/instance/core/define.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EAAE,aAAa,EAAiB,MAAM,WAAW,CAAA;AAExD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAIxB,MAAS,EACT,MAAqD;IAErD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;IAC5B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAsB,CAAA;IAChD,MAAM,SAAS,GAAoB,EAAE,CAAA;IAErC,SAAS,SAAS,CAChB,KAA+B,EAC/B,WAAqB,EACrB,UAAgC,EAChC,MAA+B;QAE/B,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;gBAC/C,MAAM,IAAI,KAAK,CACb,4HAA4H,CAC7H,CAAA;YACH,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,EAAE,GAAG,CAAC,CAAA;YACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YAC7C,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;YAClC,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,QAAQ,CAAC,SAAS;gBACvB,IAAI,EAAE,QAAQ,CAAC,MAAM;gBACrB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAA;YAEF,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAsC,CAAA;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;YAEpD,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,UAAU,GAA4B,EAAE,CAAA;gBAC9C,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;gBAChD,uEAAuE;gBACvE,2DAA2D;gBAC3D,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;gBACvE,gBAAgB,CAAC,QAAQ,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAClD,gBAAgB,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBACjD,gCAAgC;gBAChC,gBAAgB,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAA;YAChC,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAA;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAA4B,EAAE,CAAA;IAC5C,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IAEhD,MAAM,SAAS,GAAoB,EAAE,CAAA;IACrC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;YAClD,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;YAC9C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;QAC7B,MAAM;QACN,MAAM;QACN,OAAO,EAAE,SAAS;QAClB,OAAO,EAAE,SAAS;KACnB,CAA+C,CAAA;AAClD,CAAC"}
@@ -1,9 +0,0 @@
1
- import type { AnyEdgeDef } from '../../grammar/definition/discriminants.js';
2
- import type { CorePath } from './path.js';
3
- import type { SelfMarker } from './self.js';
4
- import type { CoreNode, CoreEdge } from './types.js';
5
- /** An endpoint of a core edge — a core node, a core path string, or a `selfOf(def)` marker. */
6
- export type EdgeEndpoint = CoreNode | CorePath | SelfMarker;
7
- /** Create a core edge between nodes, paths, or meta-node references */
8
- export declare function edge(from: EdgeEndpoint, edgeDef: AnyEdgeDef, to: EdgeEndpoint, data?: Record<string, unknown>): CoreEdge;
9
- //# sourceMappingURL=edge.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"edge.d.ts","sourceRoot":"","sources":["../../../src/instance/core/edge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2CAA2C,CAAA;AAC3E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAEpD,+FAA+F;AAC/F,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAA;AAE3D,uEAAuE;AACvE,wBAAgB,IAAI,CAClB,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,UAAU,EACnB,EAAE,EAAE,YAAY,EAChB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,QAAQ,CAQV"}
@@ -1,11 +0,0 @@
1
- /** Create a core edge between nodes, paths, or meta-node references */
2
- export function edge(from, edgeDef, to, data) {
3
- return {
4
- type: 'core-edge',
5
- __from: from,
6
- __to: to,
7
- __edgeDef: edgeDef,
8
- __data: data,
9
- };
10
- }
11
- //# sourceMappingURL=edge.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"edge.js","sourceRoot":"","sources":["../../../src/instance/core/edge.ts"],"names":[],"mappings":"AAQA,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAClB,IAAkB,EAClB,OAAmB,EACnB,EAAgB,EAChB,IAA8B;IAE9B,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,EAAE;QACR,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,IAAI;KACb,CAAA;AACH,CAAC"}
@@ -1,11 +0,0 @@
1
- import type { CoreNode } from './types.js';
2
- import { type CorePath } from './path.js';
3
- import { type SelfMarker } from './self.js';
4
- /**
5
- * Normalize an edge endpoint declared in `defineCore`/`defineSeed` into the
6
- * compile-time form `(CorePath | SelfMarker)`. `CoreNode` references are
7
- * looked up in `nodeToPath` and replaced with their resolved core path; the
8
- * other two variants pass through unchanged.
9
- */
10
- export declare function resolveEndpoint(target: CoreNode | CorePath | SelfMarker, nodeToPath: Map<CoreNode, CorePath>): CorePath | SelfMarker;
11
- //# sourceMappingURL=endpoint.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"endpoint.d.ts","sourceRoot":"","sources":["../../../src/instance/core/endpoint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE1C,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAA;AACrD,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,WAAW,CAAA;AAEzD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,EACxC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAClC,QAAQ,GAAG,UAAU,CAMvB"}
@@ -1,19 +0,0 @@
1
- import { isCorePath } from './path.js';
2
- import { isSelfMarker } from './self.js';
3
- /**
4
- * Normalize an edge endpoint declared in `defineCore`/`defineSeed` into the
5
- * compile-time form `(CorePath | SelfMarker)`. `CoreNode` references are
6
- * looked up in `nodeToPath` and replaced with their resolved core path; the
7
- * other two variants pass through unchanged.
8
- */
9
- export function resolveEndpoint(target, nodeToPath) {
10
- if (isSelfMarker(target))
11
- return target;
12
- if (isCorePath(target))
13
- return target;
14
- const p = nodeToPath.get(target);
15
- if (!p)
16
- throw new Error('CoreNode not found in core definition — was it declared in `nodes`?');
17
- return p;
18
- }
19
- //# sourceMappingURL=endpoint.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"endpoint.js","sourceRoot":"","sources":["../../../src/instance/core/endpoint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAA;AACrD,OAAO,EAAE,YAAY,EAAmB,MAAM,WAAW,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAwC,EACxC,UAAmC;IAEnC,IAAI,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IACvC,IAAI,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IACrC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAChC,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qEAAqE,CAAC,CAAA;IAC9F,OAAO,CAAC,CAAA;AACV,CAAC"}
@@ -1,7 +0,0 @@
1
- import type { AnyNodeDef } from '../../grammar/definition/discriminants.js';
2
- import type { CoreNode } from './types.js';
3
- /** Create a leaf core node (no children) */
4
- export declare function node<N extends AnyNodeDef>(def: N, data: Record<string, unknown>): CoreNode<N>;
5
- /** Create a core node with children */
6
- export declare function node<N extends AnyNodeDef, C extends Record<string, CoreNode<any, any>>>(def: N, data: Record<string, unknown>, children: C): CoreNode<N, C>;
7
- //# sourceMappingURL=node.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"node.d.ts","sourceRoot":"","sources":["../../../src/instance/core/node.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2CAA2C,CAAA;AAC3E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE1C,4CAA4C;AAC5C,wBAAgB,IAAI,CAAC,CAAC,SAAS,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AAC9F,uCAAuC;AACvC,wBAAgB,IAAI,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EACrF,GAAG,EAAE,CAAC,EACN,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,QAAQ,EAAE,CAAC,GACV,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
@@ -1,9 +0,0 @@
1
- export function node(def, data, children) {
2
- return {
3
- type: 'core-node',
4
- __nodeDef: def,
5
- __data: data,
6
- __children: (children ?? {}),
7
- };
8
- }
9
- //# sourceMappingURL=node.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"node.js","sourceRoot":"","sources":["../../../src/instance/core/node.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,IAAI,CAClB,GAAe,EACf,IAA6B,EAC7B,QAAmC;IAEnC,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,SAAS,EAAE,GAAG;QACd,MAAM,EAAE,IAAI;QACZ,UAAU,EAAE,CAAC,QAAQ,IAAI,EAAE,CAA0B;KACtD,CAAA;AACH,CAAC"}
@@ -1,21 +0,0 @@
1
- /**
2
- * CorePath — a branded string representing a slash-delimited path to a core instance.
3
- * Example: "/my-domain.com/core/admin/system-class"
4
- *
5
- * All user core lives under the reserved `core/` anchor folder; the builder
6
- * embeds that segment so the CorePath matches the actual graph layout.
7
- */
8
- export type CorePath = string & {
9
- readonly __brand: unique symbol;
10
- };
11
- /**
12
- * Reserved slug for the user-core anchor folder. Every user core path is
13
- * `/<domain>/${CORE_ANCHOR_SLUG}/...`. Consumed by `@astrale-os/kernel-core`
14
- * via re-export from its layout module.
15
- */
16
- export declare const CORE_ANCHOR_SLUG: 'core';
17
- /** Build a CorePath from a domain and slug segments */
18
- export declare function buildCorePath(domain: string, slugs: readonly string[]): CorePath;
19
- /** Check if a value is a CorePath */
20
- export declare function isCorePath(value: unknown): value is CorePath;
21
- //# sourceMappingURL=path.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../src/instance/core/path.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,MAAM,CAAA;CAAE,CAAA;AAInE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAG,MAAe,CAAA;AAE/C,uDAAuD;AACvD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAShF;AAED,qCAAqC;AACrC,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAE5D"}
@@ -1,21 +0,0 @@
1
- const SLUG_RE = /^[a-z][a-z0-9-]*$/;
2
- /**
3
- * Reserved slug for the user-core anchor folder. Every user core path is
4
- * `/<domain>/${CORE_ANCHOR_SLUG}/...`. Consumed by `@astrale-os/kernel-core`
5
- * via re-export from its layout module.
6
- */
7
- export const CORE_ANCHOR_SLUG = 'core';
8
- /** Build a CorePath from a domain and slug segments */
9
- export function buildCorePath(domain, slugs) {
10
- for (const slug of slugs) {
11
- if (!SLUG_RE.test(slug)) {
12
- throw new Error(`Invalid core path slug '${slug}': must be lowercase alphanumeric with hyphens, starting with a letter`);
13
- }
14
- }
15
- return `/${domain}/${CORE_ANCHOR_SLUG}/${slugs.join('/')}`;
16
- }
17
- /** Check if a value is a CorePath */
18
- export function isCorePath(value) {
19
- return typeof value === 'string' && value.startsWith('/');
20
- }
21
- //# sourceMappingURL=path.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"path.js","sourceRoot":"","sources":["../../../src/instance/core/path.ts"],"names":[],"mappings":"AASA,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAe,CAAA;AAE/C,uDAAuD;AACvD,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,KAAwB;IACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,wEAAwE,CACxG,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,MAAM,IAAI,gBAAgB,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAc,CAAA;AACxE,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAC3D,CAAC"}
@@ -1,15 +0,0 @@
1
- import type { AnyNodeDef } from '../../grammar/definition/discriminants.js';
2
- /**
3
- * Marker referring to the `/self` meta-node of a class or interface — resolved
4
- * at compile time to `/<def.declaringDomain>/<namespace.Name>/self`. Lets
5
- * `defineCore` edges target schema meta-nodes declaratively, without
6
- * hardcoding the declaring domain's base.
7
- */
8
- export interface SelfMarker<C extends AnyNodeDef = AnyNodeDef> {
9
- readonly type: 'core-self';
10
- readonly __def: C;
11
- }
12
- /** Refer to the `/self` meta-node of `def` as an edge endpoint. */
13
- export declare function selfOf<C extends AnyNodeDef>(def: C): SelfMarker<C>;
14
- export declare function isSelfMarker(value: unknown): value is SelfMarker;
15
- //# sourceMappingURL=self.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"self.d.ts","sourceRoot":"","sources":["../../../src/instance/core/self.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2CAA2C,CAAA;AAE3E;;;;;GAKG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC3D,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAClB;AAED,mEAAmE;AACnE,wBAAgB,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,GAAG,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAElE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAIhE"}
@@ -1,8 +0,0 @@
1
- /** Refer to the `/self` meta-node of `def` as an edge endpoint. */
2
- export function selfOf(def) {
3
- return { type: 'core-self', __def: def };
4
- }
5
- export function isSelfMarker(value) {
6
- return (typeof value === 'object' && value !== null && 'type' in value && value.type === 'core-self');
7
- }
8
- //# sourceMappingURL=self.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"self.js","sourceRoot":"","sources":["../../../src/instance/core/self.ts"],"names":[],"mappings":"AAaA,mEAAmE;AACnE,MAAM,UAAU,MAAM,CAAuB,GAAM;IACjD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAC7F,CAAA;AACH,CAAC"}