@astrale-os/kernel-dsl 0.1.4 → 0.1.5

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 (211) hide show
  1. package/dist/builders/bitmask.js +1 -0
  2. package/dist/builders/bitmask.js.map +1 -0
  3. package/dist/builders/data.js +1 -0
  4. package/dist/builders/data.js.map +1 -0
  5. package/dist/builders/definition/base.js +1 -0
  6. package/dist/builders/definition/base.js.map +1 -0
  7. package/dist/builders/definition/edge-class.js +1 -0
  8. package/dist/builders/definition/edge-class.js.map +1 -0
  9. package/dist/builders/definition/edge-interface.js +1 -0
  10. package/dist/builders/definition/edge-interface.js.map +1 -0
  11. package/dist/builders/definition/node-class.js +1 -0
  12. package/dist/builders/definition/node-class.js.map +1 -0
  13. package/dist/builders/definition/node-interface.js +1 -0
  14. package/dist/builders/definition/node-interface.js.map +1 -0
  15. package/dist/builders/function.d.ts +16 -2
  16. package/dist/builders/function.d.ts.map +1 -1
  17. package/dist/builders/function.js +1 -1
  18. package/dist/builders/function.js.map +1 -0
  19. package/dist/builders/policy.d.ts +10 -0
  20. package/dist/builders/policy.d.ts.map +1 -0
  21. package/dist/builders/policy.js +28 -0
  22. package/dist/builders/policy.js.map +1 -0
  23. package/dist/builders/prop.js +1 -0
  24. package/dist/builders/prop.js.map +1 -0
  25. package/dist/builders/ref.js +1 -0
  26. package/dist/builders/ref.js.map +1 -0
  27. package/dist/grammar/definition/base.js +1 -0
  28. package/dist/grammar/definition/base.js.map +1 -0
  29. package/dist/grammar/definition/discriminants.js +1 -0
  30. package/dist/grammar/definition/discriminants.js.map +1 -0
  31. package/dist/grammar/definition/edge-class.js +1 -0
  32. package/dist/grammar/definition/edge-class.js.map +1 -0
  33. package/dist/grammar/definition/edge-interface.js +1 -0
  34. package/dist/grammar/definition/edge-interface.js.map +1 -0
  35. package/dist/grammar/definition/node-class.d.ts +5 -0
  36. package/dist/grammar/definition/node-class.d.ts.map +1 -1
  37. package/dist/grammar/definition/node-class.js +1 -0
  38. package/dist/grammar/definition/node-class.js.map +1 -0
  39. package/dist/grammar/definition/node-interface.js +1 -0
  40. package/dist/grammar/definition/node-interface.js.map +1 -0
  41. package/dist/grammar/facets/constraints.js +1 -0
  42. package/dist/grammar/facets/constraints.js.map +1 -0
  43. package/dist/grammar/facets/content.js +1 -0
  44. package/dist/grammar/facets/content.js.map +1 -0
  45. package/dist/grammar/facets/endpoints.js +1 -0
  46. package/dist/grammar/facets/endpoints.js.map +1 -0
  47. package/dist/grammar/facets/indexes.js +1 -0
  48. package/dist/grammar/facets/indexes.js.map +1 -0
  49. package/dist/grammar/facets/properties.js +1 -0
  50. package/dist/grammar/facets/properties.js.map +1 -0
  51. package/dist/grammar/function/config.d.ts +5 -3
  52. package/dist/grammar/function/config.d.ts.map +1 -1
  53. package/dist/grammar/function/config.js +1 -0
  54. package/dist/grammar/function/config.js.map +1 -0
  55. package/dist/grammar/function/def.d.ts +3 -0
  56. package/dist/grammar/function/def.d.ts.map +1 -1
  57. package/dist/grammar/function/def.js +1 -0
  58. package/dist/grammar/function/def.js.map +1 -0
  59. package/dist/grammar/function/inheritance.js +1 -0
  60. package/dist/grammar/function/inheritance.js.map +1 -0
  61. package/dist/grammar/function/output.js +1 -0
  62. package/dist/grammar/function/output.js.map +1 -0
  63. package/dist/grammar/policy/callable.d.ts +40 -0
  64. package/dist/grammar/policy/callable.d.ts.map +1 -0
  65. package/dist/grammar/policy/callable.js +2 -0
  66. package/dist/grammar/policy/callable.js.map +1 -0
  67. package/dist/grammar/policy/def.d.ts +27 -0
  68. package/dist/grammar/policy/def.d.ts.map +1 -0
  69. package/dist/grammar/policy/def.js +2 -0
  70. package/dist/grammar/policy/def.js.map +1 -0
  71. package/dist/grammar/policy/pattern.d.ts +34 -0
  72. package/dist/grammar/policy/pattern.d.ts.map +1 -0
  73. package/dist/grammar/policy/pattern.js +2 -0
  74. package/dist/grammar/policy/pattern.js.map +1 -0
  75. package/dist/grammar/values/bitmask.js +1 -0
  76. package/dist/grammar/values/bitmask.js.map +1 -0
  77. package/dist/grammar/values/data.js +1 -0
  78. package/dist/grammar/values/data.js.map +1 -0
  79. package/dist/grammar/values/ref.js +1 -0
  80. package/dist/grammar/values/ref.js.map +1 -0
  81. package/dist/grammar/values/self.js +1 -0
  82. package/dist/grammar/values/self.js.map +1 -0
  83. package/dist/index.d.ts +5 -1
  84. package/dist/index.d.ts.map +1 -1
  85. package/dist/index.js +2 -0
  86. package/dist/index.js.map +1 -0
  87. package/dist/inference/content.js +1 -0
  88. package/dist/inference/content.js.map +1 -0
  89. package/dist/inference/index.js +1 -0
  90. package/dist/inference/index.js.map +1 -0
  91. package/dist/inference/inheritance.js +1 -0
  92. package/dist/inference/inheritance.js.map +1 -0
  93. package/dist/inference/input.js +1 -0
  94. package/dist/inference/input.js.map +1 -0
  95. package/dist/inference/methods.js +1 -0
  96. package/dist/inference/methods.js.map +1 -0
  97. package/dist/inference/properties.js +1 -0
  98. package/dist/inference/properties.js.map +1 -0
  99. package/dist/inference/schema.js +1 -0
  100. package/dist/inference/schema.js.map +1 -0
  101. package/dist/instance/core/define.js +1 -0
  102. package/dist/instance/core/define.js.map +1 -0
  103. package/dist/instance/core/edge.js +1 -0
  104. package/dist/instance/core/edge.js.map +1 -0
  105. package/dist/instance/core/endpoint.js +1 -0
  106. package/dist/instance/core/endpoint.js.map +1 -0
  107. package/dist/instance/core/node.js +1 -0
  108. package/dist/instance/core/node.js.map +1 -0
  109. package/dist/instance/core/path.js +1 -0
  110. package/dist/instance/core/path.js.map +1 -0
  111. package/dist/instance/core/self.js +1 -0
  112. package/dist/instance/core/self.js.map +1 -0
  113. package/dist/instance/core/types.js +1 -0
  114. package/dist/instance/core/types.js.map +1 -0
  115. package/dist/instance/seed/define.js +1 -0
  116. package/dist/instance/seed/define.js.map +1 -0
  117. package/dist/instance/seed/types.js +1 -0
  118. package/dist/instance/seed/types.js.map +1 -0
  119. package/dist/ir/classes.d.ts +6 -0
  120. package/dist/ir/classes.d.ts.map +1 -1
  121. package/dist/ir/classes.js +1 -0
  122. package/dist/ir/classes.js.map +1 -0
  123. package/dist/ir/domain.js +1 -0
  124. package/dist/ir/domain.js.map +1 -0
  125. package/dist/ir/endpoints.js +1 -0
  126. package/dist/ir/endpoints.js.map +1 -0
  127. package/dist/ir/functions.d.ts +15 -0
  128. package/dist/ir/functions.d.ts.map +1 -1
  129. package/dist/ir/functions.js +1 -0
  130. package/dist/ir/functions.js.map +1 -0
  131. package/dist/ir/index.d.ts +2 -1
  132. package/dist/ir/index.d.ts.map +1 -1
  133. package/dist/ir/index.js +1 -0
  134. package/dist/ir/index.js.map +1 -0
  135. package/dist/ir/ir.d.ts +12 -0
  136. package/dist/ir/ir.d.ts.map +1 -1
  137. package/dist/ir/ir.js +1 -0
  138. package/dist/ir/ir.js.map +1 -0
  139. package/dist/ir/json-schema.js +1 -0
  140. package/dist/ir/json-schema.js.map +1 -0
  141. package/dist/ir/policies.d.ts +74 -0
  142. package/dist/ir/policies.d.ts.map +1 -0
  143. package/dist/ir/policies.js +2 -0
  144. package/dist/ir/policies.js.map +1 -0
  145. package/dist/schema/classify.js +1 -0
  146. package/dist/schema/classify.js.map +1 -0
  147. package/dist/schema/define.d.ts +2 -0
  148. package/dist/schema/define.d.ts.map +1 -1
  149. package/dist/schema/define.js +20 -2
  150. package/dist/schema/define.js.map +1 -0
  151. package/dist/schema/error.js +1 -0
  152. package/dist/schema/error.js.map +1 -0
  153. package/dist/schema/refs.js +1 -0
  154. package/dist/schema/refs.js.map +1 -0
  155. package/dist/schema/resolve/index.js +1 -0
  156. package/dist/schema/resolve/index.js.map +1 -0
  157. package/dist/schema/resolve/methods.js +1 -0
  158. package/dist/schema/resolve/methods.js.map +1 -0
  159. package/dist/schema/resolve/properties.js +1 -0
  160. package/dist/schema/resolve/properties.js.map +1 -0
  161. package/dist/schema/resolve/self.js +1 -0
  162. package/dist/schema/resolve/self.js.map +1 -0
  163. package/dist/schema/resolve/thunks.js +1 -0
  164. package/dist/schema/resolve/thunks.js.map +1 -0
  165. package/dist/schema/schema.d.ts +3 -0
  166. package/dist/schema/schema.d.ts.map +1 -1
  167. package/dist/schema/schema.js +1 -0
  168. package/dist/schema/schema.js.map +1 -0
  169. package/dist/schema/validators/context.d.ts +4 -0
  170. package/dist/schema/validators/context.d.ts.map +1 -1
  171. package/dist/schema/validators/context.js +1 -0
  172. package/dist/schema/validators/context.js.map +1 -0
  173. package/dist/schema/validators/endpoints.js +1 -0
  174. package/dist/schema/validators/endpoints.js.map +1 -0
  175. package/dist/schema/validators/index.d.ts +1 -0
  176. package/dist/schema/validators/index.d.ts.map +1 -1
  177. package/dist/schema/validators/index.js +4 -0
  178. package/dist/schema/validators/index.js.map +1 -0
  179. package/dist/schema/validators/indexes.js +1 -0
  180. package/dist/schema/validators/indexes.js.map +1 -0
  181. package/dist/schema/validators/inheritance.js +1 -0
  182. package/dist/schema/validators/inheritance.js.map +1 -0
  183. package/dist/schema/validators/methods.js +1 -0
  184. package/dist/schema/validators/methods.js.map +1 -0
  185. package/dist/schema/validators/names.js +1 -0
  186. package/dist/schema/validators/names.js.map +1 -0
  187. package/dist/schema/validators/policies.d.ts +4 -0
  188. package/dist/schema/validators/policies.d.ts.map +1 -0
  189. package/dist/schema/validators/policies.js +61 -0
  190. package/dist/schema/validators/policies.js.map +1 -0
  191. package/dist/schema/validators/ref-targets.js +1 -0
  192. package/dist/schema/validators/ref-targets.js.map +1 -0
  193. package/dist/serializer/context.d.ts +3 -0
  194. package/dist/serializer/context.d.ts.map +1 -1
  195. package/dist/serializer/context.js +57 -6
  196. package/dist/serializer/context.js.map +1 -0
  197. package/dist/serializer/helpers.js +1 -0
  198. package/dist/serializer/helpers.js.map +1 -0
  199. package/dist/serializer/index.js +1 -0
  200. package/dist/serializer/index.js.map +1 -0
  201. package/dist/serializer/policies.d.ts +34 -0
  202. package/dist/serializer/policies.d.ts.map +1 -0
  203. package/dist/serializer/policies.js +837 -0
  204. package/dist/serializer/policies.js.map +1 -0
  205. package/dist/serializer/policy-typing.d.ts +56 -0
  206. package/dist/serializer/policy-typing.d.ts.map +1 -0
  207. package/dist/serializer/policy-typing.js +490 -0
  208. package/dist/serializer/policy-typing.js.map +1 -0
  209. package/dist/serializer/serialize.js +1 -0
  210. package/dist/serializer/serialize.js.map +1 -0
  211. package/package.json +2 -2
@@ -0,0 +1 @@
1
+ {"version":3,"file":"policies.js","sourceRoot":"","sources":["../../src/serializer/policies.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAA;AACzF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAsB,MAAM,mBAAmB,CAAA;AAC7F,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEjD,MAAM,eAAe,GAAG,MAAM,CAAC,gCAAgC,CAAC,CAAA;AAChE,MAAM,kBAAkB,GAAG,MAAM,CAAC,mCAAmC,CAAC,CAAA;AACtE,MAAM,aAAa,GAAG,MAAM,CAAC,8BAA8B,CAAC,CAAA;AAC5D,MAAM,gBAAgB,GAAG,MAAM,CAAC,iCAAiC,CAAC,CAAA;AAElE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,KAAK,EAAE,CAAC;IACR,QAAQ,EAAE,CAAC;IACX,kBAAkB,EAAE,CAAC;IACrB,cAAc,EAAE,CAAC;IACjB,MAAM,EAAE,CAAC;IACT,OAAO,EAAE,CAAC;IACV,cAAc,EAAE,CAAC;CAClB,CAAC,CAAA;AAqCF,SAAS,IAAI,CAAC,KAAa,EAAE,OAAe,EAAE,QAAiB,EAAE,QAAiB;IAChF,MAAM,IAAI,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;AACrE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,IAAI,KAAK,CAAA;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC7E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjF,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3B,CAAA;IACD,OAAO,IAAI,OAAO;SACf,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;SACvE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AACjB,CAAC;AAED,SAAS,YAAY,CAAI,MAAoB,EAAE,GAAyB;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAa,CAAA;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;IACxD,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;SACxB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACrE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,YAAY,CAAI,MAAoB;IAC3C,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAA;IAC5C,MAAM,MAAM,GAAU,EAAE,CAAA;IACxB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAE,CAAA;QAC5B,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;QACpE,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC5B,UAA6B,EAC7B,WAAW,GAAgC,IAAI,GAAG,EAAE,EACpD,KAAK,GAAG,CAAC;IAET,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAW,EAAE;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAA;QACzC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACtC,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,UAAU,EAAE,mBAAmB,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAA;QACpF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,CAAA;IACxC,CAAC,CAAA;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,OAAO;YACL,EAAE,EAAE,UAAU;YACd,GAAG,EAAE;gBACH,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;gBAClC,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;gBAClC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5D;SACF,CAAA;IACH,CAAC;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,IAA+D,CAAA;QACnE,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAA;YACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBAC9C,MAAM,KAAK,GAAG,SAAS,KAAK,aAAa,KAAK,EAAE,CAAA;gBAChD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;YACzE,CAAC,CAAC,CAAA;YACF,MAAM,KAAK,GAAG,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;YAC/E,MAAM,GAAG,GAAG,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAA;YAC/D,MAAM,SAAS,GAAG;gBAChB,EAAE,EAAE;oBACF,MAAM,EAAE;wBACN,KAAK,EAAE,QAAqD;wBAC5D,KAAK,EAAE,KAAK,CAAC,EAAE;qBAChB;iBAC0B;gBAC7B,GAAG;gBACH,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC;aAC5B,CAAA;YACD,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO;gBAAE,IAAI,GAAG,SAAS,CAAA;QACjE,CAAC;QACD,OAAO,IAAK,CAAA;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;IAC1D,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;IAC5E,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/F,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC7C,KAAK,MAAM,OAAO,IAAI,SAAS;QAAE,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAA;IAC/E,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;SAChC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACrE,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAA;IAChC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAGpD,CAAA;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACxD,OAAO,QAAQ,KAAK,OAAO;QACzB,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE;QAC5D,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,CAAA;AAChE,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAuB;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,CAAC,eAAe,CAAC,EAAE,IAAI;KACxB,CAAwB,CAAA;AAC3B,CAAC;AAED,SAAS,qBAAqB,CAAC,EAAqB;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,CAAC,kBAAkB,CAAC,EAAE,EAAE;KACzB,CAA2B,CAAA;AAC9B,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,kBAAkB,IAAI,KAAK,CAAC,EAAE,CAAC;QAClF,OAAO,IAAI,CACT,KAAK,EACL,mBAAmB,KAAK,6EAA6E,EACrG,kCAAkC,EAClC,OAAO,KAAK,CACb,CAAA;IACH,CAAC;IACD,OAAQ,KAAgC,CAAC,kBAAkB,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAyD,EACzD,MAAkB;IAElB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,CAAC,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;KACpC,CAAsB,CAAA;AACzB,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAsB;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,CAAC,gBAAgB,CAAC,EAAE,EAAE;KACvB,CAAyB,CAAA;AAC5B,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,KAAa;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,gBAAgB,IAAI,KAAK,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CACT,KAAK,EACL,oBAAoB,KAAK,oEAAoE,EAC7F,mCAAmC,EACnC,OAAO,KAAK,CACb,CAAA;IACH,CAAC;IACD,OAAQ,KAA8B,CAAC,gBAAgB,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA6B;IACrD,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAA;QAChC,IAAI,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;YAC1C,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,UAAU,CAAA;YAChD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAC7C,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CACT,CAAA;QAC9C,OAAO;YACL,MAAM,EAAE;gBACN,KAAK;gBACL,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;aACjD;SACF,CAAA;IACH,CAAC;IAED,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAwB,EAAE,CAAA;QACxC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;YAC5C,IAAI,OAAO,IAAI,UAAU;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;;gBACxD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAChC,CAAC;QACD,OAAO;YACL,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,aAAa,CAG1C;SACF,CAAA;IACH,CAAC;IAED,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;QAC5C,IAAI,OAAO,IAAI,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;;YACxD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAChC,CAAC;IACD,OAAO;QACL,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,aAAa,CAG1C;KACF,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAC,UAA8B;IACpD,IAAI,OAAO,IAAI,UAAU;QAAE,OAAO,UAAU,CAAA;IAE5C,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAyB,EAAE,CAAA;QACzC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;YAC1C,IAAI,OAAO,IAAI,UAAU;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;;gBACxD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAChC,CAAC;QACD,OAAO;YACL,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,aAAa,CAG1C;SACF,CAAA;IACH,CAAC;IAED,MAAM,QAAQ,GAAyB,EAAE,CAAA;IACzC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,CAAA;QAC1C,IAAI,OAAO,IAAI,UAAU;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;;YACxD,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAChC,CAAC;IACD,OAAO;QACL,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,aAAa,CAG1C;KACF,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,UAA6B;IACjD,IAAI,QAAQ,IAAI,UAAU;QAAE,OAAO,CAAC,CAAA;IACpC,IAAI,QAAQ,IAAI,UAAU;QAAE,OAAO,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5E,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;IAC5E,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAA;AACpD,CAAC;AAED,SAAS,qBAAqB,CAAC,UAA6B,EAAE,IAAiB;IAC7E,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACjC,OAAM;IACR,CAAC;IACD,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QACvE,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACpD,OAAM;IACR,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;IAC5E,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,qBAAqB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB,EAAE,KAAoB;IAC9D,OAAO;QACL,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;QACtC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;KAC5D,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CACtB,UAA6B,EAC7B,eAAe,GAAwB,IAAI,GAAG,EAAE;IAEhD,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAA;IACvE,CAAC;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAA;QACrC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACtE,OAAO,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACvD,CAAC;IAED,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAA;YACzD,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ;gBAAE,OAAO,MAAM,CAAA;QACpD,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,IAAI,MAAM,GAAoB,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAA;IAClF,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAA;QACjE,MAAM,IAAI,GAAoB,EAAE,CAAA;QAChC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;gBACrC,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ;oBAAE,OAAO,IAAI,CAAA;YAChD,CAAC;QACH,CAAC;QACD,MAAM,GAAG,IAAI,CAAA;IACf,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,WAAW,CAAC,IAAuB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAA;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAA;QACjB,KAAK,UAAU;YACb,OAAO,YAAY,IAAI,CAAC,EAAE,EAAE,CAAA;IAChC,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,MAAqB,EAAE,KAAa;IACtE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAA;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAA;IACvD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,SAAS;QAAE,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,CAAA;IAEjE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,KAAa,EAAQ,EAAE;QACpD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;QACxD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAU,CAAA;QAC1D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAClB,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAChC,CAAC,CAAA;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACvC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACvC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACpB,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACpB,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACzB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,CAAA;IACzB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;QAC9B,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAClC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACpB,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC3E,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;IAC3E,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,CACF,KAAK,EACL,wGAAwG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACjI,gCAAgC,EAChC,6BAA6B,CAC9B,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAA6B,EAC7B,KAAa,EACb,MAAM,GAAwB,IAAI,GAAG,EAAE,EACvC,QAAQ,GAAgB,IAAI,GAAG,EAAE;IAEjC,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,QAAQ,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7D,IAAI,CACF,KAAK,EACL,mBAAmB,QAAQ,CAAC,EAAE,iDAAiD,EAC/E,wDAAwD,EACxD,yBAAyB,QAAQ,CAAC,EAAE,EAAE,CACvC,CAAA;YACH,CAAC;QACH,CAAC;QACD,OAAM;IACR,CAAC;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,EAAE,kDAAkD,CAAC,CAAA;QACjE,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC/D,IAAI,CACF,KAAK,EACL,qBAAqB,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,yBAAyB,MAAM,CAAC,kBAAkB,EAAE,CACxG,CAAA;QACH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAA;QAC5B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;YAC3B,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,EAAE,mBAAmB,EAAE,6BAA6B,CAAC,CAAA;YACjE,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAChB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACd,CAAC;QACD,sBAAsB,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAA;QACtE,OAAM;IACR,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;IAC5E,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,sBAAsB,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;AAC1F,CAAC;AAED,SAAS,kBAAkB,CACzB,UAA6B,EAC7B,OAAO,GAAG,IAAI,GAAG,EAAkB,EACnC,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE;IAEtB,MAAM,WAAW,GAAG,CAAC,IAAuB,EAAqB,EAAE;QACjE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAA;QACzC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACtC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,UAAU,EAAE,mBAAmB,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAA;QAC1E,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,CAAA;IAC5C,CAAC,CAAA;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,OAAO;YACL,GAAG,UAAU;YACb,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC;YACtC,MAAM,EAAE,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC;SACvC,CAAA;IACH,CAAC;IAED,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;QAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,CAAA;YAC1B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;YAChC,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;QAC3E,CAAC,CAA8C,CAAA;QAC/C,OAAO;YACL,MAAM,EAAE;gBACN,KAAK;gBACL,KAAK,EAAE,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC;aACpE;SACF,CAAA;IACH,CAAC;IAED,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,OAAO;YACL,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CACvC;SACT,CAAA;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAQ;KAC/F,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CACtB,UAA6B,EAC7B,KAAa,EACb,WAAmB;IAEnB,sBAAsB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IAEzC,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;IACtC,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,EAAE,wBAAwB,KAAK,yBAAyB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IACnF,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,CAAA;IAC5C,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,CAAC,KAAK,EAAE,gCAAgC,MAAM,CAAC,QAAQ,sBAAsB,CAAC,CAAA;IACpF,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;YAChD,IAAI,CACF,KAAK,EACL,qBAAqB,MAAM,CAAC,KAAK,CAAC,MAAM,+BAA+B,MAAM,CAAC,cAAc,EAAE,CAC/F,CAAA;QACH,CAAC;QACD,0BAA0B,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC3C,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,WAAW,CAAC,CAAC,CAAA;IAC9C,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC1C,IAAI,OAAO,CAAC,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,qBAAqB,OAAO,CAAC,IAAI,uBAAuB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;IACvF,CAAC;IAED,OAAO;QACL,KAAK;QACL,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QACzD,OAAO;KACR,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,UAA8B;IACnD,IAAI,OAAO,IAAI,UAAU;QAAE,OAAO,CAAC,CAAA;IACnC,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;IAC5E,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA8B;IACtD,IAAI,OAAO,IAAI,UAAU;QAAE,OAAO,CAAC,CAAA;IACnC,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,OAAO,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1F,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;AAC1F,CAAC;AAED,SAAS,cAAc,CAAC,UAA8B;IACpD,IAAI,OAAO,IAAI,UAAU;QAAE,OAAO,CAAC,CAAA;IACnC,MAAM,QAAQ,GAAG,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAA;IAC5E,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;AAChF,CAAC;AAED,SAAS,gBAAgB,CAAC,UAA8B,EAAE,KAAa;IACrE,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAA;IAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,EAAE,yBAAyB,KAAK,yBAAyB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IACpF,CAAC;IACD,IAAI,QAAQ,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,EAAE,uBAAuB,QAAQ,mCAAmC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;IAClG,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,EAAE,uBAAuB,MAAM,4BAA4B,MAAM,CAAC,cAAc,EAAE,CAAC,CAAA;IAC/F,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,MAAiB;IACvC,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAAE,OAAO,IAAI,CAAA;IACrF,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAA;IACvE,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAE,KAAmC,CAAC,CAAC,CAAC,IAAI,CAAA;AACzF,CAAC;AAED,MAAM,OAAO,cAAc;IAYI,MAAM;IAXlB,SAAS,CAA4B;IACrC,YAAY,GAGxB,EAAE,CAAA;IACU,WAAW,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC1C,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAA;IACnD,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAA;IACrD,cAAc,GAAG,CAAC,CAAA;IAClB,MAAM,CAA0B;IAExC,YAA6B,MAAc;sBAAd,MAAM;QACjC,IAAI,CAAC,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;QAC3C,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACxF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IAED,IAAI,qBAAqB;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACrF,CAAC;IAED,mBAAmB;QACjB,MAAM,MAAM,GAAsC,EAAE,CAAA;QACpD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAC5C,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACnE,IAAI,CAAC,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACnD,IAAI,CAAC,MAAM,CAAC,oBAAoB,EAAE,CAAA;QAClC,OAAO,MAAM,CAAA;IACf,CAAC;IAED,mBAAmB,CAAC,UAAkB,EAAE,KAAa;QACnD,MAAM,UAAU,GACd,UAAU,CAAC,MAGZ,CAAC,QAAQ,CAAA;QACV,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAA;QACjC,IAAI,CAAC,UAAU,CAAC,IAAI;YAAE,OAAO,EAAE,CAAA;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAA;QACnE,IAAI,CAAC,YAAY,EAAE,CAAC,aAAa,CAC/B,GAAG,EACH,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,UAAwB,EAAE,GAAG,KAAK,OAAO,CAAC,EACzE,GAAG,KAAK,OAAO,CAChB,CAAA;QACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;IACtB,CAAC;IAED,mBAAmB,CACjB,UAAiB,EACjB,KAAa,EACb,KAAa;QAEb,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAA;QACzC,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAA;QAC/B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,CACT,KAAK,EACL,6DAA6D,KAAK,CAAC,MAAM,4BAA4B,CACtG,CAAA;QACH,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAA;QACxF,MAAM,OAAO,GAA4B;YACvC,KAAK,EAAE,MAAM;YACb,MAAM;YACN,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;SACjC,CAAA;QACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,CAAA;QAC1D,CAAC;QAED,IAAI,KAAc,CAAA;QAClB,IAAI,CAAC;YACH,KAAK,GAAG,QAAQ,CAAC,OAAc,CAAC,CAAA;QAClC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,qBAAqB;gBAAE,MAAM,KAAK,CAAA;YACvD,OAAO,IAAI,CAAC,KAAK,EAAE,oCAAoC,KAAK,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACpF,CAAC;QACD,MAAM,UAAU,GAAG,cAAc,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;QACnE,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QACnC,OAAO,UAAU,CAAA;IACnB,CAAC;IAED,qBAAqB,CAAC,UAAmB,EAAE,KAAa;QACtD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAA;QACzC,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAA;QAC/B,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACrD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAAI,CACT,GAAG,KAAK,QAAQ,EAChB,0EAA0E,EAC1E,iBAAiB,EACjB,kBAAkB,CACnB,CAAA;QACH,CAAC;QAED,MAAM,OAAO,GAAG;YACd,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC;YACvD,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;SACjC,CAAA;QACD,IAAI,KAAc,CAAA;QAClB,IAAI,CAAC;YACH,KAAK,GAAG,QAAQ,CAAC,OAAc,CAAC,CAAA;QAClC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,qBAAqB;gBAAE,MAAM,KAAK,CAAA;YACvD,OAAO,IAAI,CAAC,KAAK,EAAE,oCAAoC,KAAK,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACpF,CAAC;QACD,MAAM,UAAU,GAAG,cAAc,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;QACnE,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QACnC,OAAO,UAAU,CAAA;IACnB,CAAC;IAEO,YAAY,CAAC,IAAY,EAAE,KAAwB;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC1C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;QACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CACT,YAAY,IAAI,EAAE,EAClB,mCAAmC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CACnE,CAAA;QACH,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAA;QAC/C,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,yBAAyB,IAAI,GAAG,CAAC,CAAA;QAClF,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAA;QAC/B,IAAI,WAA8B,CAAA;QAElC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACtB,IAAI,CAAC,cAAc,GAAG,CAAC,CAAA;YACvB,IAAI,KAAc,CAAA;YAClB,IAAI,CAAC;gBACH,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,YAAY,IAAI,QAAQ,CAAC,CAAC,CAAA;YACrE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,qBAAqB;oBAAE,MAAM,KAAK,CAAA;gBACvD,OAAO,IAAI,CAAC,YAAY,IAAI,QAAQ,EAAE,2BAA2B,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC7F,CAAC;YACD,MAAM,GAAG,GAAG,oBAAoB,CAAC,KAAK,EAAE,YAAY,IAAI,QAAQ,CAAC,CAAA;YACjE,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAA;YACxC,sBAAsB,CAAC,UAAU,EAAE,YAAY,IAAI,QAAQ,CAAC,CAAA;YAC5D,MAAM,eAAe,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAA;YAC5D,MAAM,SAAS,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC,CAAA;YACvE,IAAI,CAAC,QAAQ,CAAC,GAAG,CACf,IAAI,EACJ,eAAe,CAAC,SAAS,EAAE,YAAY,IAAI,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CACzE,CAAA;YACD,WAAW;gBACT,MAAM,CAAC,WAAW,KAAK,SAAS;oBAC9B,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE;oBACvD,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;QAC5B,CAAC;aAAM,IAAI,MAAM,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAClD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,OAAO,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,4CAA4C,CAAC,CAAA;YAC/E,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,YAAY,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAA;gBACjF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;gBAC7C,OAAO,GAAG,CAAA;YACZ,CAAC,CAAC,CAAA;YACF,MAAM,UAAU,GAAG,YAAY,CAC7B,IAAI,EACJ,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,CACR,CAAA;YACpD,WAAW,GAAG,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;QAC3F,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CACT,YAAY,IAAI,EAAE,EAClB,WAAW,IAAI,kEAAkE,CAClF,CAAA;QACH,CAAC;QAED,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAA;QACxC,OAAO,WAAW,CAAA;IACpB,CAAC;IAEO,YAAY,CAAC,IAAY,EAAE,KAAwB;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACtC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAA;QACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,YAAY,IAAI,EAAE,EAAE,sCAAsC,IAAI,GAAG,CAAC,CAAA;QAChF,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACjF,IAAI,OAAO,IAAI,WAAW;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;QAE3D,MAAM,QAAQ,GAAG,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;QAC3D,MAAM,IAAI,GAAG,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAA;QAC3E,MAAM,QAAQ,GAAqB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAc,EAAE,EAAE,CAC7D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,CAC9C,CAAA;QACD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,IAAI,UAAoB,CAAA;QACxB,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;QAChE,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,CAAC,CAAC,CAAC,CAAA;YAChB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAA;gBAC1F,IAAI,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ;oBAAE,MAAK;YAChD,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;QACrD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAC3D,CAAC;QAED,IAAI,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;YACzB,IAAI,CACF,YAAY,IAAI,EAAE,EAClB,+BAA+B,KAAK,yBAAyB,MAAM,CAAC,KAAK,EAAE,CAC5E,CAAA;QACH,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxC,IAAI,CACF,YAAY,IAAI,EAAE,EAClB,uCAAuC,MAAM,CAAC,QAAQ,sBAAsB,CAC7E,CAAA;QACH,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;YACpD,IAAI,CACF,YAAY,IAAI,EAAE,EAClB,iCAAiC,MAAM,CAAC,cAAc,gCAAgC,CACvF,CAAA;QACH,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,CACF,YAAY,IAAI,EAAE,EAClB,oCAAoC,OAAO,CAAC,IAAI,uBAAuB,MAAM,CAAC,OAAO,EAAE,CACxF,CAAA;QACH,CAAC;QAED,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,CAAA;QAC9C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAChC,OAAO,OAAO,CAAA;IAChB,CAAC;IAEO,cAAc,CAAC,KAAa;QAClC,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAErD,MAAM,IAAI,GAAG,CAAC,KAKb,EAA0B,EAAE;YAC3B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAA;YACvF,MAAM,SAAS,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,aAAa,CAAC,CAAA;YAChF,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxD,OAAO,IAAI,CAAC,GAAG,KAAK,aAAa,EAAE,4CAA4C,CAAC,CAAA;YAClF,CAAC;YACD,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;YACzB,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,KAAK,GACT,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;oBAC5B,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;oBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC;oBACf,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG;oBACxB,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAA;gBAC7B,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,OAAO,IAAI,CACT,GAAG,KAAK,cAAc,EACtB,iDAAiD,MAAM,CAAC,MAAM,EAAE,CACjE,CAAA;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC;oBAAE,MAAM,GAAG,SAAS,CAAA;YAC9D,CAAC;YACD,OAAO,qBAAqB,CAAC;gBAC3B,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,cAAc,CAAC;gBAClE,KAAK,EAAE,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,KAAK,aAAa,CAAC;gBAChF,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,cAAc,CAAC;gBAClE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9B,CAAC,CAAA;QACJ,CAAC,CAAA;QAED,MAAM,KAAK,GAAG,CACZ,KAA8B,EAC9B,GAAG,IAAwC,EACnB,EAAE,CAC1B,qBAAqB,CAAC;YACpB,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAQ;SAClF,CAAC,CAAA;QAEJ,MAAM,KAAK,GAAG,CACZ,KAA8B,EAC9B,GAAG,IAAwC,EACnB,EAAE,CAC1B,qBAAqB,CAAC;YACpB,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAQ;SAClF,CAAC,CAAA;QAEJ,MAAM,MAAM,GAAG,CACb,KAE6B,EACL,EAAE;YAC1B,IAAI,OAAO,KAAK,KAAK,UAAU;gBAAE,OAAO,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,6BAA6B,CAAC,CAAA;YAC9F,MAAM,KAAK,GAGN,EAAE,CAAA;YACP,MAAM,KAAK,GAAG,KAAK,CAAC;gBAClB,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE;oBACnB,MAAM,SAAS,GAAG,IAAI,CAAC,qBAAqB,CAAC,UAAU,EAAE,GAAG,KAAK,cAAc,CAAC,CAAA;oBAChF,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;wBACxD,OAAO,IAAI,CAAC,GAAG,KAAK,cAAc,EAAE,8CAA8C,CAAC,CAAA;oBACrF,CAAC;oBACD,IAAI,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;wBAC9C,OAAO,IAAI,CACT,GAAG,KAAK,eAAe,EACvB,gCAAgC,MAAM,CAAC,kBAAkB,iBAAiB,CAC3E,CAAA;oBACH,CAAC;oBACD,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,UAAmB,EAAE,EAAE,EAAE,IAAI,CAAC,cAAc,EAAE,EAAE,CAAA;oBACzE,KAAK,CAAC,IAAI,CAAC;wBACT,QAAQ;wBACR,KAAK,EAAE,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,KAAK,cAAc,CAAC;qBAClF,CAAC,CAAA;oBACF,OAAO,kBAAkB,CAAC,QAAQ,CAAC,CAAA;gBACrC,CAAC;aACF,CAAC,CAAA;YACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,kDAAkD,CAAC,CAAA;YACpF,CAAC;YACD,OAAO,qBAAqB,CAAC;gBAC3B,MAAM,EAAE;oBACN,KAAK,EAAE,KAAsE;oBAC7E,KAAK,EAAE,oBAAoB,CAAC,KAAK,EAAE,GAAG,KAAK,eAAe,CAAC;iBAC5D;aACF,CAAC,CAAA;QACJ,CAAC,CAAA;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IACvE,CAAC;IAEO,eAAe,CAAC,KAA4B,EAAE,KAAa;QACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,IAAI,KAAK,EAAE,CAAC;YAC5E,OAAQ,KAA6B,CAAC,eAAe,CAAC,CAAA;QACxD,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,EAAE,uEAAuE,CAAC,CAAA;IAC7F,CAAC;IAEO,iBAAiB,CAAC,KAAa;QACrC,MAAM,KAAK,GAAG,CAAC,MAAmB,EAAE,MAA0B,EAAwB,EAAE;YACtF,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,aAAa,IAAI,MAAM,CAAC,EAAE,CAAC;gBAChF,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,6DAA6D,CAAC,CAAA;YAC9F,CAAC;YACD,MAAM,OAAO,GAAI,MAA4B,CAAC,aAAa,CAAC,CAAA;YAC5D,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,eAAe,CAAC,CAAA;YAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAA;YAC3D,IAAI,CAAC,YAAY,EAAE,CAAC,aAAa,CAC/B,GAAG,EACH,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,eAAe,CAAC,EACvE,GAAG,KAAK,QAAQ,CACjB,CAAA;YACD,OAAO,mBAAmB,CAAC;gBACzB,KAAK,EAAE,GAAG;gBACV,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAA;QACJ,CAAC,CAAA;QACD,MAAM,KAAK,GAAG,CACZ,KAA+B,EAC/B,GAAG,IAAyC,EACtB,EAAE,CACxB,mBAAmB,CAAC;YAClB,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAQ;SAChF,CAAC,CAAA;QACJ,MAAM,KAAK,GAAG,CACZ,KAA+B,EAC/B,GAAG,IAAyC,EACtB,EAAE,CACxB,mBAAmB,CAAC;YAClB,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAQ;SAChF,CAAC,CAAA;QACJ,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IAChC,CAAC;IAEO,kBAAkB,CACxB,KAAgC,EAChC,KAAa;QAEb,MAAM,MAAM,GAAsC,EAAE,CAAA;QACpD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,SAAQ;YAChC,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;YAC/B,IAAI,CAAC,IAAI;gBAAE,SAAQ;YACnB,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,CAAA;YACrE,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,CAAA;QACzE,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC9B,CAAC;IAEO,gBAAgB,CAAC,KAAa,EAAE,KAAa;QACnD,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAe,CAAC,EAAE,CAAC;YACrD,OAAO,IAAI,CAAC,KAAK,EAAE,yEAAyE,CAAC,CAAA;QAC/F,CAAC;QACD,MAAM,UAAU,GAAG,KAAmB,CAAA;QACtC,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QAC5C,OAAO,UAAU,CAAA;IACnB,CAAC;IAEO,gBAAgB,CAAC,KAAkB,EAAE,KAAa;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACvD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,IAAI,CACT,KAAK,EACL,qEAAqE,EACrE,oBAAoB,EACpB,gCAAgC,CACjC,CAAA;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IAC7D,CAAC;IAEO,iBAAiB,CAAC,KAAkB,EAAE,KAAa;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC7E,OAAO,IAAI,CAAC,KAAK,EAAE,oEAAoE,CAAC,CAAA;QAC1F,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAEO,qBAAqB,CAAmB,KAAoB,EAAE,KAAa;QACjF,IAAI,OAAO,KAAK,KAAK,UAAU;YAAE,OAAO,KAAK,CAAA;QAC7C,IAAI,CAAC;YACH,OAAO,KAAK,EAAE,CAAA;QAChB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,KAAK,EAAE,4CAA4C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACjF,CAAC;IACH,CAAC;IAEO,YAAY;QAClB,OAAO,CACL,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,0DAA0D,CAAC,CAC5F,CAAA;IACH,CAAC;IAEO,oBAAoB,CAC1B,UAAgE,EAChE,IAAO,EACP,KAAa;QAEb,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,KAAK,EAAE,YAAY,IAAI,cAAc,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QAC7D,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAS,CAAA;IACjF,CAAC;IAEO,oBAAoB,CAC1B,UAAkB,EAClB,KAAa;QAEb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC5C,IAAI,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;QAEnE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;YAC/C,IAAI,UAAU;gBAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,CAAA;QAChE,CAAC;QAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;QAC7D,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,IAAI,CACT,KAAK,EACL,uFAAuF,UAAU,CAAC,MAAM,uBAAuB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC9J,CAAA;QACH,CAAC;QACD,OAAO,IAAI,CACT,KAAK,EACL,6EAA6E,CAC9E,CAAA;IACH,CAAC;CACF"}
@@ -0,0 +1,56 @@
1
+ import type { AnyNodeDef } from '../grammar/definition/discriminants.js';
2
+ import type { DomainMemberRef, EdgeClassRef, NodeClassRef, PolicyDeclaration, PolicyRef } from '../ir/index.js';
3
+ import type { Schema } from '../schema/schema.js';
4
+ type NodeInterfaceRef = DomainMemberRef<'node-interface'>;
5
+ type NodeDefinitionRef = NodeClassRef | NodeInterfaceRef;
6
+ export type PolicyObjectContract = {
7
+ readonly kind: 'default';
8
+ } | {
9
+ readonly kind: 'exact';
10
+ readonly ref: NodeClassRef;
11
+ } | {
12
+ readonly kind: 'universal-interface';
13
+ readonly ref: NodeInterfaceRef;
14
+ };
15
+ /**
16
+ * Backend-neutral V1 Policy type admission over legacy authoring definitions.
17
+ *
18
+ * The legacy DSL keeps its schema vocabulary, but Policy terms, endpoint
19
+ * intersections, repeat transitions and use sites follow `kernel-v2/dsl/.spec`.
20
+ */
21
+ export declare class PolicyTyping {
22
+ private readonly schema;
23
+ private readonly policies;
24
+ private readonly definitionRefs;
25
+ private readonly definitions;
26
+ private readonly allNodeClasses;
27
+ constructor(schema: Schema, policies: Readonly<Record<string, PolicyDeclaration>>);
28
+ validateDeclarations(): void;
29
+ contractOf(definition: AnyNodeDef, field: string): PolicyObjectContract;
30
+ assertAccepts(ref: PolicyRef, object: PolicyObjectContract, field: string): void;
31
+ private expandedBranches;
32
+ private branchIsTyped;
33
+ private constraintsAreSatisfiable;
34
+ private universalGroupIsSatisfiable;
35
+ private applyInitial;
36
+ private exactInitial;
37
+ private applyExact;
38
+ private applyInterface;
39
+ private applyEndpoint;
40
+ endpointsOverlap(left: readonly NodeDefinitionRef[], right: readonly NodeDefinitionRef[]): boolean;
41
+ edgeEndpoints(ref: EdgeClassRef): {
42
+ readonly source: readonly NodeDefinitionRef[];
43
+ readonly target: readonly NodeDefinitionRef[];
44
+ readonly undirected: boolean;
45
+ } | undefined;
46
+ private nodeRef;
47
+ private classSatisfiesEndpoint;
48
+ private classImplements;
49
+ private interfaceExtends;
50
+ private indexClosure;
51
+ private indexDefinition;
52
+ private refOf;
53
+ private fail;
54
+ }
55
+ export {};
56
+ //# sourceMappingURL=policy-typing.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"policy-typing.d.ts","sourceRoot":"","sources":["../../src/serializer/policy-typing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,UAAU,EAAE,MAAM,wCAAwC,CAAA;AAEhF,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,iBAAiB,EAIjB,SAAS,EACV,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAKjD,KAAK,gBAAgB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAA;AACzD,KAAK,iBAAiB,GAAG,YAAY,GAAG,gBAAgB,CAAA;AAGxD,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAAA;AAiC5E;;;;;GAKG;AACH,qBAAa,YAAY;IAMrB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAN3B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAkC;IACjE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA4B;IACxD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAyB;IAExD,YACmB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC,EAMvE;IAED,oBAAoB,IAAI,IAAI,CAa3B;IAED,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,oBAAoB,CAOtE;IAED,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAW/E;IAED,OAAO,CAAC,gBAAgB;IAuBxB,OAAO,CAAC,aAAa;IAKrB,OAAO,CAAC,yBAAyB;IAmDjC,OAAO,CAAC,2BAA2B;IAqBnC,OAAO,CAAC,YAAY;IAoBpB,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,UAAU;IAclB,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,aAAa;IA0BrB,gBAAgB,CACd,IAAI,EAAE,SAAS,iBAAiB,EAAE,EAClC,KAAK,EAAE,SAAS,iBAAiB,EAAE,GAClC,OAAO,CAGT;IAED,aAAa,CAAC,GAAG,EAAE,YAAY,GAC3B;QACE,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAA;QAC7C,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAA;QAC7C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;KAC7B,GACD,SAAS,CAQZ;IAED,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,sBAAsB;IAW9B,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,gBAAgB;IAiBxB,OAAO,CAAC,YAAY;IAgBpB,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,KAAK;IAKb,OAAO,CAAC,IAAI;CAGb"}
@@ -0,0 +1,490 @@
1
+ import { isEdgeClass, isNodeClass, isNodeInterface } from '../grammar/definition/discriminants.js';
2
+ import { SchemaValidationError } from '../schema/error.js';
3
+ const IDENTITY_REF = Object.freeze({
4
+ origin: 'kernel.astrale.ai',
5
+ kind: 'node-interface',
6
+ name: 'Identity',
7
+ });
8
+ const MAX_BRANCHES = 8;
9
+ const BRANCH_OVERFLOW = MAX_BRANCHES + 1;
10
+ const MAX_REPEAT = 3;
11
+ /**
12
+ * Backend-neutral V1 Policy type admission over legacy authoring definitions.
13
+ *
14
+ * The legacy DSL keeps its schema vocabulary, but Policy terms, endpoint
15
+ * intersections, repeat transitions and use sites follow `kernel-v2/dsl/.spec`.
16
+ */
17
+ export class PolicyTyping {
18
+ schema;
19
+ policies;
20
+ definitionRefs = new Map();
21
+ definitions = new Map();
22
+ allNodeClasses;
23
+ constructor(schema, policies) {
24
+ this.schema = schema;
25
+ this.policies = policies;
26
+ this.indexClosure();
27
+ this.allNodeClasses = [...this.definitions.entries()]
28
+ .filter((entry) => isNodeClass(entry[1]))
29
+ .map(([, definition]) => this.refOf(definition));
30
+ }
31
+ validateDeclarations() {
32
+ for (const name of Object.keys(this.policies)) {
33
+ const branches = this.expandedBranches(name, new Set(), `$${name}`);
34
+ if (!branches)
35
+ continue;
36
+ for (const [index, branch] of branches.entries()) {
37
+ if (!this.branchIsTyped(branch, { kind: 'default' })) {
38
+ this.fail(`policies.${name}`, `Expanded normalized Policy branch ${index} has contradictory endpoint or repeat contracts`);
39
+ }
40
+ }
41
+ }
42
+ }
43
+ contractOf(definition, field) {
44
+ const ref = this.refOf(definition);
45
+ if (isNodeClass(definition))
46
+ return { kind: 'exact', ref: ref };
47
+ if (isNodeInterface(definition)) {
48
+ return { kind: 'universal-interface', ref: ref };
49
+ }
50
+ return this.fail(field, 'Policy objects must resolve to one Node Class or Node Interface');
51
+ }
52
+ assertAccepts(ref, object, field) {
53
+ if (ref.origin !== this.schema.domain || ref.kind !== 'policy' || !this.policies[ref.name]) {
54
+ this.fail(field, `Policy use must resolve to one local named Policy`);
55
+ }
56
+ const branches = this.expandedBranches(ref.name, new Set(), `$use:${ref.name}`);
57
+ if (!branches || !branches.every((branch) => this.branchIsTyped(branch, object))) {
58
+ this.fail(field, `Policy '${ref.name}' is not compatible with every normalized branch of this object contract`);
59
+ }
60
+ }
61
+ expandedBranches(name, visiting, namespace) {
62
+ if (visiting.has(name))
63
+ return undefined;
64
+ const declaration = this.policies[name];
65
+ if (!declaration)
66
+ return undefined;
67
+ if ('match' in declaration)
68
+ return branchesOf(declaration.match, namespace);
69
+ const nested = new Set(visiting);
70
+ nested.add(name);
71
+ const refs = 'allOf' in declaration ? declaration.allOf : declaration.anyOf;
72
+ const children = [];
73
+ for (const [index, ref] of refs.entries()) {
74
+ if (ref.origin !== this.schema.domain || ref.kind !== 'policy')
75
+ return undefined;
76
+ const expanded = this.expandedBranches(ref.name, nested, `${namespace}/${index}:${ref.name}`);
77
+ if (!expanded)
78
+ return undefined;
79
+ children.push(expanded);
80
+ }
81
+ return 'allOf' in declaration ? branchProduct(children) : capBranches(children.flat());
82
+ }
83
+ branchIsTyped(branch, object) {
84
+ const alternatives = edgeAlternatives(branch.edges, this);
85
+ return alternatives.some((variants) => this.constraintsAreSatisfiable(branch, variants, object));
86
+ }
87
+ constraintsAreSatisfiable(branch, variants, object) {
88
+ const terms = new Set(['subject', 'object']);
89
+ for (const key of branch.variables.keys())
90
+ terms.add(key);
91
+ const union = new UnionFind(terms);
92
+ for (const variant of variants) {
93
+ for (const [left, right] of variant.equalities)
94
+ union.join(left, right);
95
+ }
96
+ const constraints = new Map();
97
+ for (const variant of variants) {
98
+ for (const [term, accepts] of variant.constraints) {
99
+ const root = union.find(term);
100
+ const values = constraints.get(root) ?? [];
101
+ values.push(accepts);
102
+ constraints.set(root, values);
103
+ }
104
+ }
105
+ const groups = new Map();
106
+ for (const term of terms) {
107
+ const root = union.find(term);
108
+ const members = groups.get(root) ?? [];
109
+ members.push(term);
110
+ groups.set(root, members);
111
+ }
112
+ for (const [root, members] of groups) {
113
+ const endpointConstraints = constraints.get(root) ?? [];
114
+ if (members.includes('object') && object.kind === 'universal-interface') {
115
+ if (!this.universalGroupIsSatisfiable(members, endpointConstraints, object.ref, branch)) {
116
+ return false;
117
+ }
118
+ continue;
119
+ }
120
+ let candidates = [{ kind: 'open', requirements: [] }];
121
+ for (const member of members) {
122
+ candidates = this.applyInitial(candidates, member, branch, object);
123
+ if (candidates.length === 0)
124
+ return false;
125
+ }
126
+ for (const endpoint of endpointConstraints) {
127
+ candidates = this.applyEndpoint(candidates, endpoint);
128
+ if (candidates.length === 0)
129
+ return false;
130
+ }
131
+ }
132
+ return true;
133
+ }
134
+ universalGroupIsSatisfiable(members, endpoints, object, branch) {
135
+ for (const member of members) {
136
+ if (member === 'object')
137
+ continue;
138
+ if (member === 'subject') {
139
+ if (!this.interfaceExtends(object, IDENTITY_REF))
140
+ return false;
141
+ continue;
142
+ }
143
+ if (this.exactInitial(member, branch))
144
+ return false;
145
+ }
146
+ return endpoints.every((accepts) => accepts.some((accept) => accept.kind === 'node-interface' && this.interfaceExtends(object, accept)));
147
+ }
148
+ applyInitial(candidates, term, branch, object) {
149
+ if (term === 'subject')
150
+ return this.applyInterface(candidates, IDENTITY_REF);
151
+ if (term === 'object') {
152
+ if (object.kind === 'exact')
153
+ return this.applyExact(candidates, object.ref);
154
+ if (object.kind === 'default') {
155
+ return uniqueCandidates(this.allNodeClasses.flatMap((ref) => this.applyExact(candidates, ref)));
156
+ }
157
+ return candidates;
158
+ }
159
+ const exact = this.exactInitial(term, branch);
160
+ return exact ? this.applyExact(candidates, exact) : [];
161
+ }
162
+ exactInitial(term, branch) {
163
+ return branch.variables.get(term);
164
+ }
165
+ applyExact(candidates, exact) {
166
+ const result = [];
167
+ for (const candidate of candidates) {
168
+ if (candidate.kind === 'exact') {
169
+ if (refKey(candidate.ref) === refKey(exact))
170
+ result.push(candidate);
171
+ }
172
+ else if (candidate.requirements.every((required) => this.classImplements(exact, required))) {
173
+ result.push({ kind: 'exact', ref: exact });
174
+ }
175
+ }
176
+ return uniqueCandidates(result);
177
+ }
178
+ applyInterface(candidates, required) {
179
+ return uniqueCandidates(candidates.flatMap((candidate) => {
180
+ if (candidate.kind === 'exact') {
181
+ return this.classImplements(candidate.ref, required) ? [candidate] : [];
182
+ }
183
+ return [
184
+ {
185
+ kind: 'open',
186
+ requirements: uniqueInterfaces([...candidate.requirements, required]),
187
+ },
188
+ ];
189
+ }));
190
+ }
191
+ applyEndpoint(candidates, accepts) {
192
+ const result = [];
193
+ for (const candidate of candidates) {
194
+ if (candidate.kind === 'exact') {
195
+ if (this.classSatisfiesEndpoint(candidate.ref, accepts))
196
+ result.push(candidate);
197
+ continue;
198
+ }
199
+ for (const accept of accepts) {
200
+ if (accept.kind === 'node-interface') {
201
+ result.push({
202
+ kind: 'open',
203
+ requirements: uniqueInterfaces([...candidate.requirements, accept]),
204
+ });
205
+ }
206
+ else if (candidate.requirements.every((required) => this.classImplements(accept, required))) {
207
+ result.push({ kind: 'exact', ref: accept });
208
+ }
209
+ }
210
+ }
211
+ return uniqueCandidates(result);
212
+ }
213
+ endpointsOverlap(left, right) {
214
+ const candidates = [{ kind: 'open', requirements: [] }];
215
+ return this.applyEndpoint(this.applyEndpoint(candidates, left), right).length > 0;
216
+ }
217
+ edgeEndpoints(ref) {
218
+ const definition = this.definitions.get(refKey(ref));
219
+ if (!definition || !isEdgeClass(definition))
220
+ return undefined;
221
+ return {
222
+ source: definition.from.types.flatMap((value) => this.nodeRef(value)),
223
+ target: definition.to.types.flatMap((value) => this.nodeRef(value)),
224
+ undirected: Boolean(definition.config.constraints?.symmetric),
225
+ };
226
+ }
227
+ nodeRef(value) {
228
+ if (typeof value !== 'object' || value === null)
229
+ return [];
230
+ const definition = value;
231
+ if (!isNodeClass(definition) && !isNodeInterface(definition))
232
+ return [];
233
+ return [this.refOf(definition)];
234
+ }
235
+ classSatisfiesEndpoint(candidate, accepts) {
236
+ return accepts.some((accept) => (accept.kind === 'node-class' && refKey(accept) === refKey(candidate)) ||
237
+ (accept.kind === 'node-interface' && this.classImplements(candidate, accept)));
238
+ }
239
+ classImplements(candidate, required) {
240
+ const definition = this.definitions.get(refKey(candidate));
241
+ if (!definition || !isNodeClass(definition))
242
+ return false;
243
+ return (definition.config.inherits ?? []).some((parent) => this.interfaceExtends(this.refOf(parent), required));
244
+ }
245
+ interfaceExtends(candidate, required) {
246
+ if (refKey(candidate) === refKey(required))
247
+ return true;
248
+ const visited = new Set();
249
+ const visit = (current) => {
250
+ const key = refKey(current);
251
+ if (key === refKey(required))
252
+ return true;
253
+ if (visited.has(key))
254
+ return false;
255
+ visited.add(key);
256
+ const definition = this.definitions.get(key);
257
+ if (!definition || !isNodeInterface(definition))
258
+ return false;
259
+ return (definition.config.inherits ?? []).some((parent) => visit(this.refOf(parent)));
260
+ };
261
+ return visit(candidate);
262
+ }
263
+ indexClosure() {
264
+ const visited = new Set();
265
+ const visit = (schema) => {
266
+ if (visited.has(schema))
267
+ return;
268
+ visited.add(schema);
269
+ for (const [name, definition] of Object.entries(schema.interfaces)) {
270
+ this.indexDefinition(schema.domain, name, definition);
271
+ }
272
+ for (const [name, definition] of Object.entries(schema.classes)) {
273
+ this.indexDefinition(schema.domain, name, definition);
274
+ }
275
+ for (const imported of schema.imports)
276
+ visit(imported);
277
+ };
278
+ visit(this.schema);
279
+ }
280
+ indexDefinition(origin, name, definition) {
281
+ const ref = { origin, kind: definition.__kind, name };
282
+ this.definitionRefs.set(definition, ref);
283
+ this.definitions.set(refKey(ref), definition);
284
+ }
285
+ refOf(definition) {
286
+ const ref = this.definitionRefs.get(definition);
287
+ return ref ?? this.fail('policies', 'Policy type references an unregistered definition');
288
+ }
289
+ fail(field, message) {
290
+ throw new SchemaValidationError(message, field, 'V1-compatible Policy contract', 'incompatible');
291
+ }
292
+ }
293
+ function branchesOf(pattern, namespace) {
294
+ const variables = collectVariables(pattern, namespace);
295
+ return branchesForNode(pattern, namespace, variables);
296
+ }
297
+ function branchesForNode(pattern, namespace, variables) {
298
+ if (isPatternEdge(pattern)) {
299
+ return [{ edges: [{ pattern, namespace }], variables, requiredVariables: new Set(), namespace }];
300
+ }
301
+ if ('exists' in pattern) {
302
+ const direct = new Set(pattern.exists.nodes.map((node) => variableKey(namespace, node.variable.id)));
303
+ return branchesForNode(pattern.exists.where, namespace, variables).map((branch) => ({
304
+ ...branch,
305
+ requiredVariables: new Set([...branch.requiredVariables, ...direct]),
306
+ }));
307
+ }
308
+ const children = ('allOf' in pattern ? pattern.allOf : pattern.anyOf).map((child) => branchesForNode(child, namespace, variables));
309
+ return 'allOf' in pattern ? branchProduct(children) : capBranches(children.flat());
310
+ }
311
+ function branchProduct(children) {
312
+ let result = [emptyBranch()];
313
+ for (const child of children) {
314
+ const next = [];
315
+ for (const left of result) {
316
+ for (const right of child) {
317
+ next.push(mergeBranches(left, right));
318
+ if (next.length >= BRANCH_OVERFLOW)
319
+ return next;
320
+ }
321
+ }
322
+ result = next;
323
+ }
324
+ return result;
325
+ }
326
+ function capBranches(values) {
327
+ return values.length <= BRANCH_OVERFLOW ? values : values.slice(0, BRANCH_OVERFLOW);
328
+ }
329
+ function emptyBranch() {
330
+ return {
331
+ edges: [],
332
+ variables: new Map(),
333
+ requiredVariables: new Set(),
334
+ namespace: '$',
335
+ };
336
+ }
337
+ function mergeBranches(left, right) {
338
+ return {
339
+ edges: [...left.edges, ...right.edges],
340
+ variables: new Map([...left.variables, ...right.variables]),
341
+ requiredVariables: new Set([...left.requiredVariables, ...right.requiredVariables]),
342
+ namespace: `${left.namespace}&${right.namespace}`,
343
+ };
344
+ }
345
+ function collectVariables(pattern, namespace) {
346
+ const result = new Map();
347
+ const visit = (value) => {
348
+ if ('exists' in value) {
349
+ for (const variable of value.exists.nodes) {
350
+ result.set(variableKey(namespace, variable.variable.id), variable.class);
351
+ }
352
+ visit(value.exists.where);
353
+ }
354
+ else if ('allOf' in value)
355
+ value.allOf.forEach(visit);
356
+ else if ('anyOf' in value)
357
+ value.anyOf.forEach(visit);
358
+ };
359
+ visit(pattern);
360
+ return result;
361
+ }
362
+ function edgeAlternatives(edges, typing) {
363
+ let result = [[]];
364
+ for (const edge of edges) {
365
+ const variants = variantsForEdge(edge, typing);
366
+ if (variants.length === 0)
367
+ return [];
368
+ const next = [];
369
+ for (const prefix of result) {
370
+ for (const variant of variants)
371
+ next.push([...prefix, variant]);
372
+ }
373
+ result = next;
374
+ }
375
+ return result;
376
+ }
377
+ function variantsForEdge(use, typing) {
378
+ const edge = use.pattern;
379
+ const endpoints = typing.edgeEndpoints(edge.class);
380
+ if (!endpoints)
381
+ return [];
382
+ const bounds = edge.repeat ?? { min: 1, max: 1 };
383
+ if (!Number.isInteger(bounds.min) ||
384
+ !Number.isInteger(bounds.max) ||
385
+ bounds.min < 0 ||
386
+ bounds.max < bounds.min ||
387
+ bounds.max > MAX_REPEAT) {
388
+ return [];
389
+ }
390
+ const sourceKey = termKey(edge.source, use.namespace);
391
+ const targetKey = termKey(edge.target, use.namespace);
392
+ const variants = [];
393
+ for (let length = bounds.min; length <= bounds.max; length += 1) {
394
+ if (length === 0) {
395
+ variants.push({ constraints: [], equalities: [[sourceKey, targetKey]] });
396
+ continue;
397
+ }
398
+ const orientationCount = endpoints.undirected ? 2 ** length : 1;
399
+ for (let mask = 0; mask < orientationCount; mask += 1) {
400
+ const orientations = Array.from({ length }, (_, index) => endpoints.undirected && (mask & (1 << index)) !== 0);
401
+ let transitionsValid = true;
402
+ for (let index = 0; index + 1 < length; index += 1) {
403
+ const incoming = endEndpoint(endpoints, orientations[index] ?? false);
404
+ const outgoing = startEndpoint(endpoints, orientations[index + 1] ?? false);
405
+ if (!typing.endpointsOverlap(incoming, outgoing)) {
406
+ transitionsValid = false;
407
+ break;
408
+ }
409
+ }
410
+ if (!transitionsValid)
411
+ continue;
412
+ variants.push({
413
+ constraints: [
414
+ [sourceKey, startEndpoint(endpoints, orientations[0] ?? false)],
415
+ [targetKey, endEndpoint(endpoints, orientations[length - 1] ?? false)],
416
+ ],
417
+ equalities: [],
418
+ });
419
+ }
420
+ }
421
+ return uniqueEdgeVariants(variants);
422
+ }
423
+ function startEndpoint(endpoints, reversed) {
424
+ return reversed ? endpoints.target : endpoints.source;
425
+ }
426
+ function endEndpoint(endpoints, reversed) {
427
+ return reversed ? endpoints.source : endpoints.target;
428
+ }
429
+ function termKey(term, namespace) {
430
+ return term.kind === 'variable' ? variableKey(namespace, term.id) : term.kind;
431
+ }
432
+ function variableKey(namespace, id) {
433
+ return `variable:${namespace}:${id}`;
434
+ }
435
+ function isPatternEdge(value) {
436
+ return 'source' in value;
437
+ }
438
+ function refKey(ref) {
439
+ return `${ref.origin}\u0000${ref.kind}\u0000${ref.name}`;
440
+ }
441
+ function uniqueCandidates(values) {
442
+ const result = new Map();
443
+ for (const value of values) {
444
+ const key = value.kind === 'exact'
445
+ ? `exact:${refKey(value.ref)}`
446
+ : `open:${value.requirements.map(refKey).sort().join('|')}`;
447
+ result.set(key, value);
448
+ }
449
+ return [...result.values()];
450
+ }
451
+ function uniqueInterfaces(values) {
452
+ return [...new Map(values.map((value) => [refKey(value), value])).values()];
453
+ }
454
+ function uniqueEdgeVariants(values) {
455
+ const result = new Map();
456
+ for (const value of values) {
457
+ const key = `${value.constraints
458
+ .map(([term, accepts]) => `${term}:${accepts.map(refKey).sort().join(',')}`)
459
+ .join('|')}=${value.equalities.map(([left, right]) => `${left}:${right}`).join('|')}`;
460
+ result.set(key, value);
461
+ }
462
+ return [...result.values()];
463
+ }
464
+ class UnionFind {
465
+ parents = new Map();
466
+ constructor(values) {
467
+ for (const value of values)
468
+ this.add(value);
469
+ }
470
+ add(value) {
471
+ if (!this.parents.has(value))
472
+ this.parents.set(value, value);
473
+ }
474
+ find(value) {
475
+ this.add(value);
476
+ const parent = this.parents.get(value);
477
+ if (parent === value)
478
+ return value;
479
+ const root = this.find(parent);
480
+ this.parents.set(value, root);
481
+ return root;
482
+ }
483
+ join(left, right) {
484
+ const a = this.find(left);
485
+ const b = this.find(right);
486
+ if (a !== b)
487
+ this.parents.set(b, a);
488
+ }
489
+ }
490
+ //# sourceMappingURL=policy-typing.js.map