@astrale-os/kernel-dsl 0.1.3 → 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.
- package/dist/builders/bitmask.js +1 -0
- package/dist/builders/bitmask.js.map +1 -0
- package/dist/builders/data.js +1 -0
- package/dist/builders/data.js.map +1 -0
- package/dist/builders/definition/base.js +1 -0
- package/dist/builders/definition/base.js.map +1 -0
- package/dist/builders/definition/edge-class.js +1 -0
- package/dist/builders/definition/edge-class.js.map +1 -0
- package/dist/builders/definition/edge-interface.js +1 -0
- package/dist/builders/definition/edge-interface.js.map +1 -0
- package/dist/builders/definition/node-class.js +1 -0
- package/dist/builders/definition/node-class.js.map +1 -0
- package/dist/builders/definition/node-interface.js +1 -0
- package/dist/builders/definition/node-interface.js.map +1 -0
- package/dist/builders/function.d.ts +16 -2
- package/dist/builders/function.d.ts.map +1 -1
- package/dist/builders/function.js +1 -1
- package/dist/builders/function.js.map +1 -0
- package/dist/builders/policy.d.ts +10 -0
- package/dist/builders/policy.d.ts.map +1 -0
- package/dist/builders/policy.js +28 -0
- package/dist/builders/policy.js.map +1 -0
- package/dist/builders/prop.js +1 -0
- package/dist/builders/prop.js.map +1 -0
- package/dist/builders/ref.js +1 -0
- package/dist/builders/ref.js.map +1 -0
- package/dist/grammar/definition/base.js +1 -0
- package/dist/grammar/definition/base.js.map +1 -0
- package/dist/grammar/definition/discriminants.js +1 -0
- package/dist/grammar/definition/discriminants.js.map +1 -0
- package/dist/grammar/definition/edge-class.js +1 -0
- package/dist/grammar/definition/edge-class.js.map +1 -0
- package/dist/grammar/definition/edge-interface.js +1 -0
- package/dist/grammar/definition/edge-interface.js.map +1 -0
- package/dist/grammar/definition/node-class.d.ts +5 -0
- package/dist/grammar/definition/node-class.d.ts.map +1 -1
- package/dist/grammar/definition/node-class.js +1 -0
- package/dist/grammar/definition/node-class.js.map +1 -0
- package/dist/grammar/definition/node-interface.js +1 -0
- package/dist/grammar/definition/node-interface.js.map +1 -0
- package/dist/grammar/facets/constraints.js +1 -0
- package/dist/grammar/facets/constraints.js.map +1 -0
- package/dist/grammar/facets/content.js +1 -0
- package/dist/grammar/facets/content.js.map +1 -0
- package/dist/grammar/facets/endpoints.js +1 -0
- package/dist/grammar/facets/endpoints.js.map +1 -0
- package/dist/grammar/facets/indexes.js +1 -0
- package/dist/grammar/facets/indexes.js.map +1 -0
- package/dist/grammar/facets/properties.js +1 -0
- package/dist/grammar/facets/properties.js.map +1 -0
- package/dist/grammar/function/config.d.ts +5 -3
- package/dist/grammar/function/config.d.ts.map +1 -1
- package/dist/grammar/function/config.js +1 -0
- package/dist/grammar/function/config.js.map +1 -0
- package/dist/grammar/function/def.d.ts +3 -0
- package/dist/grammar/function/def.d.ts.map +1 -1
- package/dist/grammar/function/def.js +1 -0
- package/dist/grammar/function/def.js.map +1 -0
- package/dist/grammar/function/inheritance.js +1 -0
- package/dist/grammar/function/inheritance.js.map +1 -0
- package/dist/grammar/function/output.js +1 -0
- package/dist/grammar/function/output.js.map +1 -0
- package/dist/grammar/policy/callable.d.ts +40 -0
- package/dist/grammar/policy/callable.d.ts.map +1 -0
- package/dist/grammar/policy/callable.js +2 -0
- package/dist/grammar/policy/callable.js.map +1 -0
- package/dist/grammar/policy/def.d.ts +27 -0
- package/dist/grammar/policy/def.d.ts.map +1 -0
- package/dist/grammar/policy/def.js +2 -0
- package/dist/grammar/policy/def.js.map +1 -0
- package/dist/grammar/policy/pattern.d.ts +34 -0
- package/dist/grammar/policy/pattern.d.ts.map +1 -0
- package/dist/grammar/policy/pattern.js +2 -0
- package/dist/grammar/policy/pattern.js.map +1 -0
- package/dist/grammar/values/bitmask.js +1 -0
- package/dist/grammar/values/bitmask.js.map +1 -0
- package/dist/grammar/values/data.js +1 -0
- package/dist/grammar/values/data.js.map +1 -0
- package/dist/grammar/values/ref.js +1 -0
- package/dist/grammar/values/ref.js.map +1 -0
- package/dist/grammar/values/self.js +1 -0
- package/dist/grammar/values/self.js.map +1 -0
- package/dist/index.d.ts +5 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -0
- package/dist/index.js.map +1 -0
- package/dist/inference/content.js +1 -0
- package/dist/inference/content.js.map +1 -0
- package/dist/inference/index.js +1 -0
- package/dist/inference/index.js.map +1 -0
- package/dist/inference/inheritance.js +1 -0
- package/dist/inference/inheritance.js.map +1 -0
- package/dist/inference/input.js +1 -0
- package/dist/inference/input.js.map +1 -0
- package/dist/inference/methods.js +1 -0
- package/dist/inference/methods.js.map +1 -0
- package/dist/inference/properties.js +1 -0
- package/dist/inference/properties.js.map +1 -0
- package/dist/inference/schema.js +1 -0
- package/dist/inference/schema.js.map +1 -0
- package/dist/instance/core/define.js +1 -0
- package/dist/instance/core/define.js.map +1 -0
- package/dist/instance/core/edge.js +1 -0
- package/dist/instance/core/edge.js.map +1 -0
- package/dist/instance/core/endpoint.js +1 -0
- package/dist/instance/core/endpoint.js.map +1 -0
- package/dist/instance/core/node.js +1 -0
- package/dist/instance/core/node.js.map +1 -0
- package/dist/instance/core/path.js +1 -0
- package/dist/instance/core/path.js.map +1 -0
- package/dist/instance/core/self.js +1 -0
- package/dist/instance/core/self.js.map +1 -0
- package/dist/instance/core/types.js +1 -0
- package/dist/instance/core/types.js.map +1 -0
- package/dist/instance/seed/define.js +1 -0
- package/dist/instance/seed/define.js.map +1 -0
- package/dist/instance/seed/types.js +1 -0
- package/dist/instance/seed/types.js.map +1 -0
- package/dist/ir/classes.d.ts +6 -0
- package/dist/ir/classes.d.ts.map +1 -1
- package/dist/ir/classes.js +1 -0
- package/dist/ir/classes.js.map +1 -0
- package/dist/ir/domain.js +1 -0
- package/dist/ir/domain.js.map +1 -0
- package/dist/ir/endpoints.js +1 -0
- package/dist/ir/endpoints.js.map +1 -0
- package/dist/ir/functions.d.ts +15 -0
- package/dist/ir/functions.d.ts.map +1 -1
- package/dist/ir/functions.js +1 -0
- package/dist/ir/functions.js.map +1 -0
- package/dist/ir/index.d.ts +2 -1
- package/dist/ir/index.d.ts.map +1 -1
- package/dist/ir/index.js +1 -0
- package/dist/ir/index.js.map +1 -0
- package/dist/ir/ir.d.ts +12 -0
- package/dist/ir/ir.d.ts.map +1 -1
- package/dist/ir/ir.js +1 -0
- package/dist/ir/ir.js.map +1 -0
- package/dist/ir/json-schema.js +1 -0
- package/dist/ir/json-schema.js.map +1 -0
- package/dist/ir/policies.d.ts +74 -0
- package/dist/ir/policies.d.ts.map +1 -0
- package/dist/ir/policies.js +2 -0
- package/dist/ir/policies.js.map +1 -0
- package/dist/schema/classify.js +1 -0
- package/dist/schema/classify.js.map +1 -0
- package/dist/schema/define.d.ts +2 -0
- package/dist/schema/define.d.ts.map +1 -1
- package/dist/schema/define.js +20 -2
- package/dist/schema/define.js.map +1 -0
- package/dist/schema/error.js +1 -0
- package/dist/schema/error.js.map +1 -0
- package/dist/schema/refs.js +1 -0
- package/dist/schema/refs.js.map +1 -0
- package/dist/schema/resolve/index.js +1 -0
- package/dist/schema/resolve/index.js.map +1 -0
- package/dist/schema/resolve/methods.js +1 -0
- package/dist/schema/resolve/methods.js.map +1 -0
- package/dist/schema/resolve/properties.js +1 -0
- package/dist/schema/resolve/properties.js.map +1 -0
- package/dist/schema/resolve/self.js +1 -0
- package/dist/schema/resolve/self.js.map +1 -0
- package/dist/schema/resolve/thunks.js +1 -0
- package/dist/schema/resolve/thunks.js.map +1 -0
- package/dist/schema/schema.d.ts +3 -0
- package/dist/schema/schema.d.ts.map +1 -1
- package/dist/schema/schema.js +1 -0
- package/dist/schema/schema.js.map +1 -0
- package/dist/schema/validators/context.d.ts +4 -0
- package/dist/schema/validators/context.d.ts.map +1 -1
- package/dist/schema/validators/context.js +1 -0
- package/dist/schema/validators/context.js.map +1 -0
- package/dist/schema/validators/endpoints.js +1 -0
- package/dist/schema/validators/endpoints.js.map +1 -0
- package/dist/schema/validators/index.d.ts +1 -0
- package/dist/schema/validators/index.d.ts.map +1 -1
- package/dist/schema/validators/index.js +4 -0
- package/dist/schema/validators/index.js.map +1 -0
- package/dist/schema/validators/indexes.js +1 -0
- package/dist/schema/validators/indexes.js.map +1 -0
- package/dist/schema/validators/inheritance.js +1 -0
- package/dist/schema/validators/inheritance.js.map +1 -0
- package/dist/schema/validators/methods.js +1 -0
- package/dist/schema/validators/methods.js.map +1 -0
- package/dist/schema/validators/names.js +1 -0
- package/dist/schema/validators/names.js.map +1 -0
- package/dist/schema/validators/policies.d.ts +4 -0
- package/dist/schema/validators/policies.d.ts.map +1 -0
- package/dist/schema/validators/policies.js +61 -0
- package/dist/schema/validators/policies.js.map +1 -0
- package/dist/schema/validators/ref-targets.js +1 -0
- package/dist/schema/validators/ref-targets.js.map +1 -0
- package/dist/serializer/context.d.ts +3 -0
- package/dist/serializer/context.d.ts.map +1 -1
- package/dist/serializer/context.js +57 -6
- package/dist/serializer/context.js.map +1 -0
- package/dist/serializer/helpers.js +1 -0
- package/dist/serializer/helpers.js.map +1 -0
- package/dist/serializer/index.js +1 -0
- package/dist/serializer/index.js.map +1 -0
- package/dist/serializer/policies.d.ts +34 -0
- package/dist/serializer/policies.d.ts.map +1 -0
- package/dist/serializer/policies.js +837 -0
- package/dist/serializer/policies.js.map +1 -0
- package/dist/serializer/policy-typing.d.ts +56 -0
- package/dist/serializer/policy-typing.d.ts.map +1 -0
- package/dist/serializer/policy-typing.js +490 -0
- package/dist/serializer/policy-typing.js.map +1 -0
- package/dist/serializer/serialize.js +1 -0
- package/dist/serializer/serialize.js.map +1 -0
- package/package.json +4 -3
|
@@ -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
|