@aster-cloud/aster-lang-ts 1.4.0 → 1.5.0
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/CHANGELOG.md +39 -0
- package/dist/src/compile-pipeline.d.ts +6 -0
- package/dist/src/compile-pipeline.d.ts.map +1 -1
- package/dist/src/compile-pipeline.js +15 -2
- package/dist/src/compile-pipeline.js.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.d.ts.map +1 -1
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js +6 -0
- package/dist/src/config/lexicons/diagnostic-overlays.generated.js.map +1 -1
- package/dist/src/diagnostics/error_codes.d.ts +1 -0
- package/dist/src/diagnostics/error_codes.d.ts.map +1 -1
- package/dist/src/diagnostics/error_codes.js +8 -0
- package/dist/src/diagnostics/error_codes.js.map +1 -1
- package/dist/src/effects/effect_inference.js +3 -1
- package/dist/src/effects/effect_inference.js.map +1 -1
- package/dist/src/effects/effect_inference_browser.js +3 -1
- package/dist/src/effects/effect_inference_browser.js.map +1 -1
- package/dist/src/governance/controls-registry.data.d.ts +1 -0
- package/dist/src/governance/controls-registry.data.d.ts.map +1 -1
- package/dist/src/governance/controls-registry.data.js +3 -3
- package/dist/src/governance/controls-registry.data.js.map +1 -1
- package/dist/src/governance/controls.d.ts +2 -0
- package/dist/src/governance/controls.d.ts.map +1 -1
- package/dist/src/governance/controls.js +9 -4
- package/dist/src/governance/controls.js.map +1 -1
- package/dist/src/governance/input-refs.d.ts +35 -0
- package/dist/src/governance/input-refs.d.ts.map +1 -0
- package/dist/src/governance/input-refs.js +386 -0
- package/dist/src/governance/input-refs.js.map +1 -0
- package/dist/src/lower_to_core.js +10 -13
- package/dist/src/lower_to_core.js.map +1 -1
- package/dist/src/parser/context.d.ts +16 -7
- package/dist/src/parser/context.d.ts.map +1 -1
- package/dist/src/parser/context.js +13 -7
- package/dist/src/parser/context.js.map +1 -1
- package/dist/src/parser/type-parser.d.ts.map +1 -1
- package/dist/src/parser/type-parser.js +33 -4
- package/dist/src/parser/type-parser.js.map +1 -1
- package/dist/src/typecheck/governance.d.ts +3 -2
- package/dist/src/typecheck/governance.d.ts.map +1 -1
- package/dist/src/typecheck/governance.js +19 -5
- package/dist/src/typecheck/governance.js.map +1 -1
- package/dist/src/types.d.ts +6 -0
- package/dist/src/types.d.ts.map +1 -1
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js +12 -1
- package/dist/test/unit/diagnostics/lowering-diagnostics-parity.test.js.map +1 -1
- package/dist/test/unit/formatter-corpus-roundtrip.test.js +1 -0
- package/dist/test/unit/formatter-corpus-roundtrip.test.js.map +1 -1
- package/dist/test/unit/governance/controls-registry-profiles.test.js +30 -1
- package/dist/test/unit/governance/controls-registry-profiles.test.js.map +1 -1
- package/dist/test/unit/governance/input-refs-parity.test.d.ts +2 -0
- package/dist/test/unit/governance/input-refs-parity.test.d.ts.map +1 -0
- package/dist/test/unit/governance/input-refs-parity.test.js +64 -0
- package/dist/test/unit/governance/input-refs-parity.test.js.map +1 -0
- package/dist/test/unit/governance/input-refs.test.d.ts +2 -0
- package/dist/test/unit/governance/input-refs.test.d.ts.map +1 -0
- package/dist/test/unit/governance/input-refs.test.js +133 -0
- package/dist/test/unit/governance/input-refs.test.js.map +1 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.d.ts +2 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.d.ts.map +1 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.js +66 -0
- package/dist/test/unit/governance/no-profile-ir-unchanged.test.js.map +1 -0
- package/dist/test/unit/governance/profile-check.test.js +50 -4
- package/dist/test/unit/governance/profile-check.test.js.map +1 -1
- package/dist/test/unit/lowering/lowering.test.js +5 -6
- package/dist/test/unit/lowering/lowering.test.js.map +1 -1
- package/dist/test/unit/parse-type-recursion.test.js +68 -3
- package/dist/test/unit/parse-type-recursion.test.js.map +1 -1
- package/dist/test/unit/parser/effect-unknown-name.test.d.ts +2 -0
- package/dist/test/unit/parser/effect-unknown-name.test.d.ts.map +1 -0
- package/dist/test/unit/parser/effect-unknown-name.test.js +97 -0
- package/dist/test/unit/parser/effect-unknown-name.test.js.map +1 -0
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effect_inference_browser.js","sourceRoot":"","sources":["../../../src/effects/effect_inference_browser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,yEAAyE;AACzE,0EAA0E;AAC1E,sDAAsD;AACtD,yDAAyD;AACzD,yEAAyE;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAI9E,gFAAgF;AAChF,wEAAwE;AACxE,MAAM,mBAAmB,GAAsB;IAC7C,KAAK;IACL,OAAO;IACP,WAAW;IACX,aAAa;IACb,UAAU;IACV,KAAK;IACL,iBAAiB;CAClB,CAAC;AACF,MAAM,oBAAoB,GAAsB,EAAE,CAAC;AAmBnD,SAAS,UAAU,CAAC,IAAgB;IAClC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,IAAI;YACd,OAAO,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,GAAG;YACb,OAAO,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,EAAE;YACZ,OAAO,CAAC,CAAC;QACX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAa,EAAE,CAAa;IAClD,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAiB,EAAE,OAAgC;IAC9E,gEAAgE;IAChE,4DAA4D;IAC5D,MAAM,UAAU,GAAG,mBAAmB,CAAC;IACvC,MAAM,WAAW,GAAG,oBAAoB,CAAC;IAEzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,QAAQ,GAAuB,IAAI,GAAG,EAAE,CAAC;IAE/C,oDAAoD;IACpD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,eAAe,CAC9B,IAAI,EACJ,SAAS,EACT,UAAU,EACV,WAAW,EACX,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,eAAe,CACzB,CAAC;QACF,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;QAE1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAC1D,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,MAAM,cAAc,GACjB,IAA8E,CAAC,eAAe;YAC/F,IAAI,CAAC,OAAO,CAAC;QACf,KAAK,MAAM,GAAG,IAAI,cAAc;YAAE,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;QAExE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAY,QAAQ,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QAED,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9D,IAAI,cAAc,IAAI,cAAc,EAAE,CAAC;YACrC,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IACzD,gBAAgB,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IAErE,MAAM,WAAW,GAAG,gBAAgB,CAClC,SAAS,EACT,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,QAAQ,EACR,YAAY,CACb,CAAC;IAEF,yFAAyF;IAEzF,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CACtB,IAAe,EACf,KAA6B,EAC7B,UAA6B,EAC7B,WAA8B,EAC9B,OAA6B,EAC7B,eAA8C;IAE9C,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,MAAM,eAAgB,SAAQ,kBAAkB;QACrC,cAAc,CACrB,SAAyB,EACzB,OAAoD;YAEpD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACvC,OAAO;YACT,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,aAAa,CAAC,QAAuB,EAAE,OAAoD;YACzF,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,UAAU;oBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAEQ,eAAe,CAAC,CAAkB,EAAE,OAAoD;YAC/F,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACjD,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;oBAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;oBACxC,MAAM,QAAQ,GAAG,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBAEpD,IAAI,QAAQ,EAAE,CAAC;wBACb,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;4BACvC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,CAAC;oBACH,CAAC;yBAAM,IAAI,CAAC,OAAO,EAAE,CAAC;wBACpB,mBAAmB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;oBAC3E,CAAC;oBAED,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;wBACjF,MAAM,IAAI,GAAG,CAAc,CAAC;wBAC5B,IAAI,IAAI,CAAC,MAAM;4BAAE,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAgB,CAAC;wBAC7D,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,CAAgB,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtC,OAAO;YACT,CAAC;YACD,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;KACF;IAED,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,eAAe,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAEnF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAqB;IAChD,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAY,EACZ,OAAoB,EACpB,UAA6B,EAC7B,WAA8B;IAE9B,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CACvB,WAA+B,EAC/B,SAAuB,EACvB,QAA4B;IAE5B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAEjC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,oBAAoB,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAE/B,uBAAuB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAE7C,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAExD,KAAK,MAAM,cAAc,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE/C,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;YAC9D,IAAI,YAAY,GAAG,IAAI,CAAC;YACxB,OAAO,YAAY,EAAE,CAAC;gBACpB,YAAY,GAAG,KAAK,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;oBAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACtC,IAAI,CAAC,SAAS;wBAAE,SAAS;oBACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;wBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc;4BAAE,SAAS;wBAC/D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;wBAClE,IAAI,OAAO;4BAAE,YAAY,GAAG,IAAI,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc;oBAAE,SAAS;gBAC/D,KAAK,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,GAAc;IAClC,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,OAAQ,GAAwB,CAAC,IAAI,EAAE,CAAC;IACpG,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAA+B;IACzD,IAAK,MAA4B,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAG,MAAyB,CAAC,IAAI,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,MAAgB,CAAC;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAc,EACd,OAA+C;IAE/C,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,EAAE,GAAG,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,CAAC;IACD,OAAO,GAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,aAAa,CAAC,MAAsB,EAAE,MAAkB;IAC/D,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;IACpE,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAgB,EAChB,MAAkB,EAClB,QAA4B;IAE5B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAuB,EAAE,QAA4B;IACpF,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,wBAAwB,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,MAAc,EACd,SAAuB,EACvB,QAA4B;IAE5B,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,aAAa,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,GAAG,IAAI,CAAC;YACf,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAuB,EACvB,QAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAc,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAA+B,EAC/B,SAAuB;IAEvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QACrF,IAAI,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9C,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAChB,KAAe,EACf,SAAmC;IAEnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,SAAS,aAAa,CAAC,IAAY;QACjC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,CAAC;QACX,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,aAAa,CAAC,QAAQ,CAAC,CAAC;oBACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBACvC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;oBAC5C,IAAI,WAAW,GAAG,UAAU;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAChE,CAAC;qBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBACvC,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;oBAC7C,IAAI,aAAa,GAAG,UAAU;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,SAAS,GAAa,EAAE,CAAC;YAC/B,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC3B,IAAI,CAAC,MAAM;oBAAE,MAAM;gBACnB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,MAAM,KAAK,IAAI;oBAAE,MAAM;YAC7B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAsB,EACtB,eAAoC,EACpC,SAAmC;IAEnC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpE,KAAK,IAAI,cAAc,GAAG,CAAC,EAAE,cAAc,GAAG,UAAU,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,gBAAgB,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB;YAAE,SAAS;QAChC,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,iBAAiB,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACxD,IAAI,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,KAAK,cAAc;oBAAE,SAAS;gBACtF,IAAI,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;oBAClB,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;oBAC7B,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,cAAwC,EACxC,QAAkB;IAElB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAErE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,QAAQ,CAAC,MAAM;gBAAE,SAAS;YAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;YACzB,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAClB,IAAY,EACZ,SAAmC;IAEnC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAiC,EACjC,QAAsC,EACtC,QAAsC,EACtC,QAAsC,EACtC,QAA4B,EAC5B,YAAsC;IAEtC,MAAM,WAAW,GAA0B,EAAE,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAEhE,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEnD,IAAI,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO,IAAI,wBAAwB;gBAC5C,IAAI,6CAAgC;gBACpC,IAAI,EAAE,qBAAqB;gBAC3B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;aACnC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,cAAc,IAAI,CAAC,CAAC,cAAc,IAAI,aAAa,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO,IAAI,iCAAiC;gBACrD,IAAI,8CAAiC;gBACrC,IAAI,EAAE,yBAAyB;gBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;aACpC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEnD,IAAI,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,OAAO,IAAI,0BAA0B;gBAC9C,IAAI,+CAAkC;gBACtC,IAAI,EAAE,kBAAkB;gBACxB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;aACnC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,cAAc,IAAI,CAAC,aAAa,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,OAAO,IAAI,4BAA4B;oBAChD,IAAI,gDAAmC;oBACvC,IAAI,EAAE,yBAAyB;oBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;iBACpC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;iBAAM,IAAI,CAAC,cAAc,IAAI,aAAa,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,OAAO,IAAI,sCAAsC;oBAC1D,IAAI,wDAA2C;oBAC/C,IAAI,EAAE,2BAA2B;oBACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;iBACpC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC3D,IAAI,OAAO,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ;oBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,OAAO;oBACjB,IAAI,8CAAiC;oBACrC,OAAO,EAAE,QAAQ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;oBAClD,IAAI,EAAE,mDAAmD;oBACzD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;iBACvC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
1
|
+
{"version":3,"file":"effect_inference_browser.js","sourceRoot":"","sources":["../../../src/effects/effect_inference_browser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,yEAAyE;AACzE,0EAA0E;AAC1E,sDAAsD;AACtD,yDAAyD;AACzD,yEAAyE;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAI9E,gFAAgF;AAChF,wEAAwE;AACxE,MAAM,mBAAmB,GAAsB;IAC7C,KAAK;IACL,OAAO;IACP,WAAW;IACX,aAAa;IACb,UAAU;IACV,KAAK;IACL,iBAAiB;CAClB,CAAC;AACF,MAAM,oBAAoB,GAAsB,EAAE,CAAC;AAmBnD,SAAS,UAAU,CAAC,IAAgB;IAClC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM,CAAC,IAAI;YACd,OAAO,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,GAAG;YACb,OAAO,CAAC,CAAC;QACX,KAAK,MAAM,CAAC,EAAE;YACZ,OAAO,CAAC,CAAC;QACX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAa,EAAE,CAAa;IAClD,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,IAAiB,EAAE,OAAgC;IAC9E,gEAAgE;IAChE,4DAA4D;IAC5D,MAAM,UAAU,GAAG,mBAAmB,CAAC;IACvC,MAAM,WAAW,GAAG,oBAAoB,CAAC;IAEzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,eAAe,GAAiB,IAAI,GAAG,EAAE,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,QAAQ,GAAuB,IAAI,GAAG,EAAE,CAAC;IAE/C,oDAAoD;IACpD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,eAAe,CAC9B,IAAI,EACJ,SAAS,EACT,UAAU,EACV,WAAW,EACX,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,eAAe,CACzB,CAAC;QACF,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;QAE1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAC1D,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,MAAM,cAAc,GACjB,IAA8E,CAAC,eAAe;YAC/F,IAAI,CAAC,OAAO,CAAC;QACf,KAAK,MAAM,GAAG,IAAI,cAAc;YAAE,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;QAExE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAY,QAAQ,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAa,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QAED,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,8DAA8D;IAC9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC9D,IAAI,cAAc,IAAI,cAAc,EAAE,CAAC;YACrC,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IACzD,gBAAgB,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAEzD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IAErE,MAAM,WAAW,GAAG,gBAAgB,CAClC,SAAS,EACT,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,QAAQ,EACR,YAAY,CACb,CAAC;IAEF,yFAAyF;IAEzF,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CACtB,IAAe,EACf,KAA6B,EAC7B,UAA6B,EAC7B,WAA8B,EAC9B,OAA6B,EAC7B,eAA8C;IAE9C,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,MAAM,eAAgB,SAAQ,kBAAkB;QACrC,cAAc,CACrB,SAAyB,EACzB,OAAoD;YAEpD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;gBACvC,OAAO;YACT,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,aAAa,CAAC,QAAuB,EAAE,OAAoD;YACzF,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,UAAU;oBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;QAEQ,eAAe,CAAC,CAAkB,EAAE,OAAoD;YAC/F,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACjD,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;oBAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;oBACxC,MAAM,QAAQ,GAAG,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBAEpD,IAAI,QAAQ,EAAE,CAAC;wBACb,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;4BACvC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBAC3B,CAAC;oBACH,CAAC;yBAAM,IAAI,CAAC,OAAO,EAAE,CAAC;wBACpB,mBAAmB,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;oBAC3E,CAAC;oBAED,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,UAAU,GAAqB,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;wBACjF,MAAM,IAAI,GAAG,CAAc,CAAC;wBAC5B,IAAI,IAAI,CAAC,MAAM;4BAAE,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAgB,CAAC;wBAC7D,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,CAAgB,CAAC;gBAChC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtC,OAAO;YACT,CAAC;YACD,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;KACF;IAED,IAAI,IAAI,CAAC,IAAI;QAAE,IAAI,eAAe,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAEnF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAqB;IAChD,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAY,EACZ,OAAoB,EACpB,UAA6B,EAC7B,WAA8B;IAE9B,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/E,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,gBAAgB,CACvB,WAA+B,EAC/B,SAAuB,EACvB,QAA4B;IAE5B,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAEjC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,oBAAoB,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAE/B,uBAAuB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAE7C,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,UAAU,EAAE,eAAe,EAAE,SAAS,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAExD,KAAK,MAAM,cAAc,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE/C,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAChC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,CAAC;YAC9D,IAAI,YAAY,GAAG,IAAI,CAAC;YACxB,OAAO,YAAY,EAAE,CAAC;gBACpB,YAAY,GAAG,KAAK,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;oBAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACtC,IAAI,CAAC,SAAS;wBAAE,SAAS;oBACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;wBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc;4BAAE,SAAS;wBAC/D,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;wBAClE,IAAI,OAAO;4BAAE,YAAY,GAAG,IAAI,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,cAAc;oBAAE,SAAS;gBAC/D,KAAK,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,GAAc;IAClC,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,OAAQ,GAAwB,CAAC,IAAI,EAAE,CAAC;IACpG,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AAE1E,SAAS,kBAAkB,CAAC,MAA+B;IACzD,IAAK,MAA4B,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAG,MAAyB,CAAC,IAAI,EAAE,CAAC;IACtE,CAAC;IACD,6DAA6D;IAC7D,OAAO,aAAa,CAAC,GAAG,CAAC,MAAgB,CAAC,CAAC,CAAC,CAAE,MAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AAChF,CAAC;AAED,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAc,EACd,OAA+C;IAE/C,IAAK,GAAyB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,EAAE,GAAG,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACtC,CAAC;IACD,OAAO,GAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,aAAa,CAAC,MAAsB,EAAE,MAAkB;IAC/D,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;IACpE,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAgB,EAChB,MAAkB,EAClB,QAA4B;IAE5B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvC,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAuB,EAAE,QAA4B;IACpF,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,wBAAwB,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,MAAc,EACd,SAAuB,EACvB,QAA4B;IAE5B,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,aAAa,CAAC,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,OAAO,GAAG,IAAI,CAAC;YACf,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAuB,EACvB,QAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAc,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC5C,IAAI,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAC3B,WAA+B,EAC/B,SAAuB;IAEvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,SAAS;QACrF,IAAI,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;YACtB,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC9C,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAChB,KAAe,EACf,SAAmC;IAEnC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,SAAS,aAAa,CAAC,IAAY;QACjC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,CAAC;QACX,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,SAAS,EAAE,CAAC;YACd,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,aAAa,CAAC,QAAQ,CAAC,CAAC;oBACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBACvC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;oBAC5C,IAAI,WAAW,GAAG,UAAU;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAChE,CAAC;qBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;oBACvC,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC;oBAC7C,IAAI,aAAa,GAAG,UAAU;wBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,SAAS,GAAa,EAAE,CAAC;YAC/B,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC3B,IAAI,CAAC,MAAM;oBAAE,MAAM;gBACnB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC/C,IAAI,MAAM,KAAK,IAAI;oBAAE,MAAM;YAC7B,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAsB,EACtB,eAAoC,EACpC,SAAmC;IAEnC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpE,KAAK,IAAI,cAAc,GAAG,CAAC,EAAE,cAAc,GAAG,UAAU,CAAC,MAAM,EAAE,cAAc,IAAI,CAAC,EAAE,CAAC;QACrF,MAAM,gBAAgB,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;QACpD,IAAI,CAAC,gBAAgB;YAAE,SAAS;QAChC,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,iBAAiB,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACxD,IAAI,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,KAAK,cAAc;oBAAE,SAAS;gBACtF,IAAI,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;gBAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;oBAClB,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;gBAC5C,CAAC;gBACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClC,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;oBAC7B,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CACtB,cAAwC,EACxC,QAAkB;IAElB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IAErE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,QAAQ,CAAC,MAAM;gBAAE,SAAS;YAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;YACzB,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAClB,IAAY,EACZ,SAAmC;IAEnC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED,SAAS,gBAAgB,CACvB,SAAiC,EACjC,QAAsC,EACtC,QAAsC,EACtC,QAAsC,EACtC,QAA4B,EAC5B,YAAsC;IAEtC,MAAM,WAAW,GAA0B,EAAE,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAChE,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;QAEhE,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEnD,IAAI,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO,IAAI,wBAAwB;gBAC5C,IAAI,6CAAgC;gBACpC,IAAI,EAAE,qBAAqB;gBAC3B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;aACnC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,cAAc,IAAI,CAAC,CAAC,cAAc,IAAI,aAAa,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,OAAO,IAAI,iCAAiC;gBACrD,IAAI,8CAAiC;gBACrC,IAAI,EAAE,yBAAyB;gBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;aACpC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEnD,IAAI,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,IAAI,GAAwB;gBAChC,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,OAAO,IAAI,0BAA0B;gBAC9C,IAAI,+CAAkC;gBACtC,IAAI,EAAE,kBAAkB;gBACxB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;aACnC,CAAC;YACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,cAAc,IAAI,CAAC,aAAa,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,OAAO,IAAI,4BAA4B;oBAChD,IAAI,gDAAmC;oBACvC,IAAI,EAAE,yBAAyB;oBAC/B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;iBACpC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;iBAAM,IAAI,CAAC,cAAc,IAAI,aAAa,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,OAAO,IAAI,sCAAsC;oBAC1D,IAAI,wDAA2C;oBAC/C,IAAI,EAAE,2BAA2B;oBACjC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;iBACpC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC3D,IAAI,OAAO,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAa,EAAE,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ;oBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,GAAwB;oBAChC,QAAQ,EAAE,OAAO;oBACjB,IAAI,8CAAiC;oBACrC,OAAO,EAAE,QAAQ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;oBAClD,IAAI,EAAE,mDAAmD;oBACzD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;iBACvC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"controls-registry.data.d.ts","sourceRoot":"","sources":["../../../src/governance/controls-registry.data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,WAAW,cAAc;IAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE;AACjG,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;KAAE,CAAC,CAAC;IAC5F,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;KAAE,CAAC,CAAC;IACjJ,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QAClF,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5E,CAAC,CAAC;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;QAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QACpD,QAAQ,CAAC,QAAQ,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;SAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"controls-registry.data.d.ts","sourceRoot":"","sources":["../../../src/governance/controls-registry.data.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,WAAW,cAAc;IAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE;AACjG,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;KAAE,CAAC,CAAC;IAC5F,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAA;KAAE,CAAC,CAAC;IACjJ,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QAClF,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5E,CAAC,CAAC;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;QAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QACpD,QAAQ,CAAC,QAAQ,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC;KAClK,CAAC,CAAC;CACJ;AAED,eAAO,MAAM,iBAAiB,EAAE,oBAiC/B,CAAC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
export const CONTROLS_REGISTRY = {
|
|
2
|
-
"version": "1.
|
|
2
|
+
"version": "1.2.0",
|
|
3
3
|
"frameworks": [
|
|
4
4
|
{ "id": "EU_AI_ACT", "title": { "en": "EU AI Act", "zh": "欧盟人工智能法", "de": "EU-KI-Verordnung" } },
|
|
5
5
|
{ "id": "GDPR", "title": { "en": "General Data Protection Regulation", "zh": "通用数据保护条例", "de": "Datenschutz-Grundverordnung" } },
|
|
@@ -26,10 +26,10 @@ export const CONTROLS_REGISTRY = {
|
|
|
26
26
|
"profiles": [
|
|
27
27
|
{ "id": "governed",
|
|
28
28
|
"title": { "en": "Governed rules", "zh": "受治理规则", "de": "Gesteuerte Regeln" },
|
|
29
|
-
"requires": { "ruleId": true, "registeredControls": true, "frameworks": [] } },
|
|
29
|
+
"requires": { "ruleId": true, "registeredControls": true, "frameworks": [], "verifiedInputs": false } },
|
|
30
30
|
{ "id": "eu-ai-act-high-risk",
|
|
31
31
|
"title": { "en": "EU AI Act high-risk system", "zh": "欧盟人工智能法高风险系统", "de": "Hochrisiko-KI-System nach EU-KI-Verordnung" },
|
|
32
|
-
"requires": { "ruleId": true, "registeredControls": true, "frameworks": ["EU_AI_ACT"] } }
|
|
32
|
+
"requires": { "ruleId": true, "registeredControls": true, "frameworks": ["EU_AI_ACT"], "verifiedInputs": false } }
|
|
33
33
|
]
|
|
34
34
|
};
|
|
35
35
|
//# sourceMappingURL=controls-registry.data.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"controls-registry.data.js","sourceRoot":"","sources":["../../../src/governance/controls-registry.data.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,iBAAiB,GAAyB;IACrD,SAAS,EAAE,OAAO;IAClB,YAAY,EAAE;QACZ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE;QAChG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,oCAAoC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,6BAA6B,EAAE,EAAE;QAChI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE;KACzG;IACD,UAAU,EAAE;QACV,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,sBAAsB,EAAE,EAAE;QACzJ,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,iCAAiC,EAAE,EAAE;QACnK,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE;QAC7I,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,sCAAsC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,6CAA6C,EAAE,EAAE;QAC9L,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,2CAA2C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,+CAA+C,EAAE,EAAE;KACpM;IACD,SAAS,EAAE;QACT,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,wCAAwC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,6CAA6C,EAAE,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QACnO,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,iCAAiC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAC/M,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,6BAA6B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,+BAA+B,EAAE,EAAE,WAAW,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE;QAChP,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,oDAAoD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,yCAAyC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,mBAAmB,CAAC,EAAE;QACzP,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,8BAA8B,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,sCAAsC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACzM,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,gCAAgC,EAAE,EAAE,WAAW,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAChN,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,0CAA0C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,0CAA0C,EAAE,EAAE,WAAW,EAAE,CAAC,0BAA0B,CAAC,EAAE,SAAS,EAAE,CAAC,0BAA0B,CAAC,EAAE;QAC/Q,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,8BAA8B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,iCAAiC,EAAE,EAAE,WAAW,EAAE,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,CAAC,yBAAyB,CAAC,EAAE;QACjP,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,sCAAsC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,4CAA4C,EAAE,EAAE,WAAW,EAAE,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;KACxO;IACD,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE;YAC7E,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE;
|
|
1
|
+
{"version":3,"file":"controls-registry.data.js","sourceRoot":"","sources":["../../../src/governance/controls-registry.data.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,iBAAiB,GAAyB;IACrD,SAAS,EAAE,OAAO;IAClB,YAAY,EAAE;QACZ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE;QAChG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,oCAAoC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,6BAA6B,EAAE,EAAE;QAChI,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE;KACzG;IACD,UAAU,EAAE;QACV,EAAE,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,sBAAsB,EAAE,EAAE;QACzJ,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,0BAA0B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,iCAAiC,EAAE,EAAE;QACnK,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,oBAAoB,EAAE,EAAE;QAC7I,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,sCAAsC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,6CAA6C,EAAE,EAAE;QAC9L,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,2CAA2C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,+CAA+C,EAAE,EAAE;KACpM;IACD,SAAS,EAAE;QACT,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,wCAAwC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,6CAA6C,EAAE,EAAE,WAAW,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QACnO,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,iCAAiC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,WAAW,EAAE,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAC/M,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,6BAA6B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,+BAA+B,EAAE,EAAE,WAAW,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE;QAChP,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,oDAAoD,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,yCAAyC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,mBAAmB,CAAC,EAAE;QACzP,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,8BAA8B,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,sCAAsC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACzM,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,gCAAgC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,gCAAgC,EAAE,EAAE,WAAW,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;QAChN,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,0CAA0C,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,0CAA0C,EAAE,EAAE,WAAW,EAAE,CAAC,0BAA0B,CAAC,EAAE,SAAS,EAAE,CAAC,0BAA0B,CAAC,EAAE;QAC/Q,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,8BAA8B,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,iCAAiC,EAAE,EAAE,WAAW,EAAE,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,CAAC,yBAAyB,CAAC,EAAE;QACjP,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,sCAAsC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,4CAA4C,EAAE,EAAE,WAAW,EAAE,CAAC,qBAAqB,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE;KACxO;IACD,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE;YAC7E,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE;QACzG,EAAE,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,4CAA4C,EAAE;YACzH,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE;KACrH;CACF,CAAC"}
|
|
@@ -5,6 +5,8 @@ export interface ProfileDef {
|
|
|
5
5
|
readonly ruleId: boolean;
|
|
6
6
|
readonly registeredControls: boolean;
|
|
7
7
|
readonly frameworks: readonly string[];
|
|
8
|
+
/** ADR 0046 §11 D1（registry 1.2.0 起）：要求 Verdict 规则的输入引用静态可知（E708）；注册表缺该键时为 false。 */
|
|
9
|
+
readonly verifiedInputs: boolean;
|
|
8
10
|
}
|
|
9
11
|
/**
|
|
10
12
|
* 编译期只需「版本 + 是否登记」（ADR 0045 §3），以及键所属框架与档案（ADR 0046 §3）。
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"controls.d.ts","sourceRoot":"","sources":["../../../src/governance/controls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAE3F,6DAA6D;AAC7D,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"controls.d.ts","sourceRoot":"","sources":["../../../src/governance/controls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAE3F,6DAA6D;AAC7D,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,WAAW,CAAC,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAC9C,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;CAC9C;AAKD,0CAA0C;AAC1C,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAE3D;AA8DD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,oBAAoB,GAAG,eAAe,CAS/E;AAED,eAAO,MAAM,sBAAsB,EAAE,eAAwD,CAAC"}
|
|
@@ -50,18 +50,23 @@ function frameworkIdsOf(frameworks) {
|
|
|
50
50
|
}
|
|
51
51
|
return ids;
|
|
52
52
|
}
|
|
53
|
-
/**
|
|
53
|
+
/**
|
|
54
|
+
* id 合乎形态、两个开关为布尔、frameworks 为只含已登记框架 id 的数组，否则为 undefined。
|
|
55
|
+
* verifiedInputs 可缺省（缺省为 false，兼容 1.2.0 之前的注册表）；出现但不是布尔时与 ruleId 非布尔同样不登记。
|
|
56
|
+
* requires 中的其他键忽略（ADR 0046 §11 D1：旧解析器须忽略未知键）。与 Java ControlRegistry.readProfile 一致。
|
|
57
|
+
*/
|
|
54
58
|
function readProfile(p, frameworkIds) {
|
|
55
59
|
const { id, requires } = (p ?? {});
|
|
56
|
-
const { ruleId, registeredControls, frameworks } = (requires ?? {});
|
|
60
|
+
const { ruleId, registeredControls, frameworks, verifiedInputs } = (requires ?? {});
|
|
57
61
|
const shapeOk = typeof id === 'string' && PROFILE_ID.test(id)
|
|
58
|
-
&& typeof ruleId === 'boolean' && typeof registeredControls === 'boolean' && Array.isArray(frameworks)
|
|
62
|
+
&& typeof ruleId === 'boolean' && typeof registeredControls === 'boolean' && Array.isArray(frameworks)
|
|
63
|
+
&& (verifiedInputs === undefined || typeof verifiedInputs === 'boolean');
|
|
59
64
|
if (!shapeOk)
|
|
60
65
|
return undefined;
|
|
61
66
|
const known = frameworks.every((f) => typeof f === 'string' && frameworkIds.has(f));
|
|
62
67
|
if (!known)
|
|
63
68
|
return undefined;
|
|
64
|
-
return { id, ruleId, registeredControls, frameworks: [...frameworks] };
|
|
69
|
+
return { id, ruleId, registeredControls, frameworks: [...frameworks], verifiedInputs: verifiedInputs === true };
|
|
65
70
|
}
|
|
66
71
|
export function controlRegistryFrom(data) {
|
|
67
72
|
const frameworks = new Map(data.controls.map((c) => [c.key, c.framework]));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"controls.js","sourceRoot":"","sources":["../../../src/governance/controls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAA6B,MAAM,6BAA6B,CAAC;
|
|
1
|
+
{"version":3,"file":"controls.js","sourceRoot":"","sources":["../../../src/governance/controls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAA6B,MAAM,6BAA6B,CAAC;AAuB3F,MAAM,WAAW,GAAG,4BAA4B,CAAC;AACjD,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,0CAA0C;AAC1C,MAAM,UAAU,sBAAsB,CAAC,GAAW;IAChD,OAAO,GAAG,CAAC,MAAM,IAAI,cAAc,IAAI,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,GAAG,wBAAwB,CAAC;AAE5C;;;;GAIG;AACH,SAAS,UAAU,CAAC,IAA0B;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,MAAM,GAAG,GAAY,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAW,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,GAAgB,EAAE,CAAC;QACjC,MAAM,EAAE,GAAI,CAA6B,EAAE,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAY,CAAC,CAAC;IAC3D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4CAA4C;AAC5C,MAAM,KAAK,GAAG,kBAAkB,CAAC;AAEjC;;;GAGG;AACH,SAAS,cAAc,CAAC,UAAmB;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,GAAG,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,UAAuB,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACxF,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAU,EAAE,YAAiC;IAChE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAyC,CAAC;IAC3E,MAAM,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC;IAC/G,MAAM,OAAO,GAAG,OAAO,EAAE,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;WACxD,OAAO,MAAM,KAAK,SAAS,IAAI,OAAO,kBAAkB,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;WACnG,CAAC,cAAc,KAAK,SAAS,IAAI,OAAO,cAAc,KAAK,SAAS,CAAC,CAAC;IAC3E,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAI,UAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,GAAI,UAAuB,CAAC,EAAE,cAAc,EAAE,cAAc,KAAK,IAAI,EAAE,CAAC;AAChI,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAA0B;IAC5D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAU,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;QAChE,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;QACzC,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAoB,mBAAmB,CAAC,iBAAiB,CAAC,CAAC"}
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 规则输入引用分析（ADR 0046 §11 D2 传播规则表与 §11.6 实施澄清）：对返回 Verdict 的规则，静态收集它对
|
|
3
|
+
* **第一个参数**读取的源码字段路径。纯函数，不读注册表；作用于名称解析 R2 之后的 Core（只含规范名）。
|
|
4
|
+
* Java 镜像：aster-lang-core/.../typecheck/governance/InputRefsAnalyzer.java，两引擎对同一 Core 必须得到相同结果
|
|
5
|
+
* （共享夹具 shared/governance_input_refs_parity.json）。
|
|
6
|
+
*
|
|
7
|
+
* 抽象值是「来源」：路径集合、聚合（记录构造）按字段的来源，以及顶元 `*`。表达式求值得到来源，
|
|
8
|
+
* 「消费」处（运算符与内置函数的实参、条件、Match 主语、规则体内的 Return）把来源记入结果；
|
|
9
|
+
* Let / Set 只绑定（同名多次赋值取并），字段访问与字面量 Map 键只扩展路径。同模块调用把形参绑定到实参来源后
|
|
10
|
+
* 内联被调函数体，被调函数 Return 的来源作为调用结果。
|
|
11
|
+
*
|
|
12
|
+
* 产生 `*` 的构造（construct 闭集）见 InputRefsConstruct。`*` 独占：一旦产生，结果只含 `["*"]`；
|
|
13
|
+
* E708 报告先序遍历中第一个产生 `*` 的节点（父节点先于子节点；同模块调用的被调函数体排在实参之后）。
|
|
14
|
+
*/
|
|
15
|
+
import type { Core } from '../types.js';
|
|
16
|
+
/** 引擎路径最多段数（ADR 0046 §11.6 第 1 条）。 */
|
|
17
|
+
export declare const MAX_INPUT_REF_SEGMENTS = 8;
|
|
18
|
+
/** 同模块调用内联的最大嵌套层数（§11.2：恰好 8 层可定位，第 9 层为 `*`）。 */
|
|
19
|
+
export declare const MAX_INLINE_DEPTH = 8;
|
|
20
|
+
/**
|
|
21
|
+
* 单条规则分析的节点访问预算（共用先序编号计数）：超出即按 inline-depth 产生 `*`，不再展开（与 Java MAX_NODE_VISITS 同值）。
|
|
22
|
+
* 同模块调用按（调用栈，实参来源）记忆化，正常规则的访问数与源码节点数同阶（语料中最大的规则不足 2 千次）；
|
|
23
|
+
* 20 万次留出两个数量级余量，同时把恶意扇出（如 64×64 调用链每层重遍历大函数体）的分析耗时限制在毫秒级。
|
|
24
|
+
*/
|
|
25
|
+
export declare const MAX_NODE_VISITS = 200000;
|
|
26
|
+
export declare const INPUT_REFS_STAR = "*";
|
|
27
|
+
export type InputRefsConstruct = 'dynamic-map-key' | 'map-iteration' | 'whole-input-serialized' | 'cross-module-call' | 'function-value' | 'inline-depth' | 'recursion' | 'path-too-long' | 'unrepresentable-key';
|
|
28
|
+
/** inputRefs 为字典序去重的路径，无法静态确定时为 `["*"]`；construct 只在后者时给出。 */
|
|
29
|
+
export interface InputRefsResult {
|
|
30
|
+
readonly inputRefs: readonly string[];
|
|
31
|
+
readonly construct?: InputRefsConstruct;
|
|
32
|
+
}
|
|
33
|
+
/** 是否为该函数写入 inputRefs 由调用方按「模块声明档案 且 函数返回 Verdict」判定（compile-pipeline）。 */
|
|
34
|
+
export declare function analyzeInputRefs(module: Pick<Core.Module, 'name' | 'decls'>, rule: Core.Func): InputRefsResult;
|
|
35
|
+
//# sourceMappingURL=input-refs.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"input-refs.d.ts","sourceRoot":"","sources":["../../../src/governance/input-refs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAIxC,sCAAsC;AACtC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AACxC,kDAAkD;AAClD,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAClC;;;;GAIG;AACH,eAAO,MAAM,eAAe,SAAU,CAAC;AACvC,eAAO,MAAM,eAAe,MAAM,CAAC;AAEnC,MAAM,MAAM,kBAAkB,GAC1B,iBAAiB,GACjB,eAAe,GACf,wBAAwB,GACxB,mBAAmB,GACnB,gBAAgB,GAChB,cAAc,GACd,WAAW,GACX,eAAe,GACf,qBAAqB,CAAC;AAE1B,8DAA8D;AAC9D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC;CACzC;AA4FD,2EAA2E;AAC3E,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,GAAG,eAAe,CAM9G"}
|
|
@@ -0,0 +1,386 @@
|
|
|
1
|
+
import { BUILTIN_AWAIT, BUILTIN_OPS, callTargetBuiltin } from '../config/semantic.js';
|
|
2
|
+
import { KEYWORD_CTORS } from '../frontend/resolution-choice.js';
|
|
3
|
+
/** 引擎路径最多段数（ADR 0046 §11.6 第 1 条）。 */
|
|
4
|
+
export const MAX_INPUT_REF_SEGMENTS = 8;
|
|
5
|
+
/** 同模块调用内联的最大嵌套层数（§11.2：恰好 8 层可定位，第 9 层为 `*`）。 */
|
|
6
|
+
export const MAX_INLINE_DEPTH = 8;
|
|
7
|
+
/**
|
|
8
|
+
* 单条规则分析的节点访问预算（共用先序编号计数）：超出即按 inline-depth 产生 `*`，不再展开（与 Java MAX_NODE_VISITS 同值）。
|
|
9
|
+
* 同模块调用按（调用栈，实参来源）记忆化，正常规则的访问数与源码节点数同阶（语料中最大的规则不足 2 千次）；
|
|
10
|
+
* 20 万次留出两个数量级余量，同时把恶意扇出（如 64×64 调用链每层重遍历大函数体）的分析耗时限制在毫秒级。
|
|
11
|
+
*/
|
|
12
|
+
export const MAX_NODE_VISITS = 200_000;
|
|
13
|
+
export const INPUT_REFS_STAR = '*';
|
|
14
|
+
/** 按字面量键选取 Map 值：第二个实参为字符串字面量时扩展路径，否则为动态键。 */
|
|
15
|
+
const MAP_KEY_ACCESS = new Set(['Map.get', 'Map.contains', 'Map.containsKey']);
|
|
16
|
+
/** 迭代 Map 的键或值。 */
|
|
17
|
+
const MAP_ITERATION = new Set(['Map.keys', 'Map.values']);
|
|
18
|
+
/** 把值整体转为文本或摘要。 */
|
|
19
|
+
const SERIALIZERS = new Set(['Bool.toString', 'Crypto.hash', 'Int.toString']);
|
|
20
|
+
/**
|
|
21
|
+
* 内置函数命名空间：只有这些限定名按「内置函数，实参被消费」处理，其余未知限定名一律按跨模块调用（`*`）。
|
|
22
|
+
* 来源：truffle Builtins 与本仓类型系统（Bool … Verdict）；两引擎的效果 / 能力 / PII 表（Console、Http、Log、UUID）；
|
|
23
|
+
* 只出现在本仓效果 / PII / LSP 表中的 Consent、Db、GDPR、Set 也列入，两引擎同表（parity）。与 Java BUILTIN_NAMESPACES 同表。
|
|
24
|
+
*/
|
|
25
|
+
const BUILTIN_NAMESPACES = new Set([
|
|
26
|
+
'Bool', 'Consent', 'Console', 'Crypto', 'Date', 'Db', 'Decimal', 'GDPR', 'Http', 'IO', 'Int', 'List', 'Log', 'Map',
|
|
27
|
+
'Maybe', 'Option', 'PII', 'Result', 'Set', 'Text', 'UUID', 'Verdict',
|
|
28
|
+
]);
|
|
29
|
+
/** 字面量 Map 键能否作为一段点路径：非空、不含点、不含控制字符 U+0000–U+001F（与 Java representableKey 一致）。 */
|
|
30
|
+
const UNREPRESENTABLE_KEY_CHAR = /[.\u0000-\u001f]/;
|
|
31
|
+
const EMPTY = { star: false, paths: new Set(), fields: new Map() };
|
|
32
|
+
const TOP = { star: true, paths: new Set(), fields: new Map() };
|
|
33
|
+
function pathSrc(p) {
|
|
34
|
+
return { star: false, paths: new Set([p]), fields: new Map() };
|
|
35
|
+
}
|
|
36
|
+
function isEmpty(v) {
|
|
37
|
+
return !v.star && v.paths.size === 0 && [...v.fields.values()].every(isEmpty);
|
|
38
|
+
}
|
|
39
|
+
function union(a, b) {
|
|
40
|
+
if (isEmpty(b))
|
|
41
|
+
return a;
|
|
42
|
+
if (isEmpty(a))
|
|
43
|
+
return b;
|
|
44
|
+
if (a.star || b.star)
|
|
45
|
+
return TOP;
|
|
46
|
+
const fields = new Map(a.fields);
|
|
47
|
+
for (const [k, v] of b.fields)
|
|
48
|
+
fields.set(k, fields.has(k) ? union(fields.get(k), v) : v);
|
|
49
|
+
return { star: false, paths: new Set([...a.paths, ...b.paths]), fields };
|
|
50
|
+
}
|
|
51
|
+
function unionAll(vs) {
|
|
52
|
+
return vs.reduce(union, EMPTY);
|
|
53
|
+
}
|
|
54
|
+
function allEmpty(vs) {
|
|
55
|
+
return vs.every(isEmpty);
|
|
56
|
+
}
|
|
57
|
+
/** 记忆化键：结构相等的来源得到相同的键（路径与字段按 UTF-16 序，不含输入来源的字段不计；与 Java Src.key 同口径）。 */
|
|
58
|
+
function srcKey(v) {
|
|
59
|
+
if (v.star)
|
|
60
|
+
return '*';
|
|
61
|
+
const fields = [...v.fields.entries()].filter(([, x]) => !isEmpty(x)).sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0));
|
|
62
|
+
return JSON.stringify([[...v.paths].sort(), fields.map(([k, x]) => [k, srcKey(x)])]);
|
|
63
|
+
}
|
|
64
|
+
function segments(path) {
|
|
65
|
+
return path.split('.').length;
|
|
66
|
+
}
|
|
67
|
+
function bind(f, name, v) {
|
|
68
|
+
if (name === null || name === undefined)
|
|
69
|
+
return;
|
|
70
|
+
const prev = f.env.get(name);
|
|
71
|
+
f.env.set(name, prev === undefined ? v : union(prev, v));
|
|
72
|
+
}
|
|
73
|
+
/** 是否为该函数写入 inputRefs 由调用方按「模块声明档案 且 函数返回 Verdict」判定（compile-pipeline）。 */
|
|
74
|
+
export function analyzeInputRefs(module, rule) {
|
|
75
|
+
const a = new Analyzer(module);
|
|
76
|
+
a.run(rule);
|
|
77
|
+
if (a.firstConstruct !== undefined)
|
|
78
|
+
return { inputRefs: [INPUT_REFS_STAR], construct: a.firstConstruct };
|
|
79
|
+
// 默认 sort 按 UTF-16 码元比较，与 Java String.compareTo 同序
|
|
80
|
+
return { inputRefs: [...a.refs].sort() };
|
|
81
|
+
}
|
|
82
|
+
class Analyzer {
|
|
83
|
+
module;
|
|
84
|
+
funcs = new Map();
|
|
85
|
+
importAliases = [];
|
|
86
|
+
importPaths = [];
|
|
87
|
+
funcIds = new Map();
|
|
88
|
+
/** 当前被消费的路径；内联被调函数体时临时换成该次调用自己的集合，结束后并回调用方。 */
|
|
89
|
+
refs = new Set();
|
|
90
|
+
stack = [];
|
|
91
|
+
/** 同模块调用的记忆化：（调用栈，被调函数，实参来源）→ 该次内联的摘要。 */
|
|
92
|
+
memo = new Map();
|
|
93
|
+
/** 节点先序编号：进入节点时递增；记录编号最小的产生 * 的节点。 */
|
|
94
|
+
nodeCounter = 0;
|
|
95
|
+
firstIndex = Number.MAX_SAFE_INTEGER;
|
|
96
|
+
firstConstruct;
|
|
97
|
+
constructor(module) {
|
|
98
|
+
this.module = module;
|
|
99
|
+
for (const d of module.decls ?? []) {
|
|
100
|
+
if (d.kind === 'Func') {
|
|
101
|
+
this.funcIds.set(d, this.funcIds.size);
|
|
102
|
+
if (typeof d.name === 'string' && !this.funcs.has(d.name))
|
|
103
|
+
this.funcs.set(d.name, d);
|
|
104
|
+
}
|
|
105
|
+
if (d.kind === 'Import') {
|
|
106
|
+
if (typeof d.asName === 'string')
|
|
107
|
+
this.importAliases.push(d.asName);
|
|
108
|
+
if (typeof d.name === 'string')
|
|
109
|
+
this.importPaths.push(d.name);
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
run(rule) {
|
|
114
|
+
const env = new Map();
|
|
115
|
+
// 只追踪第一个参数（§11.6 补充规则 (c)）；其余参数是不含输入来源的局部名
|
|
116
|
+
(rule.params ?? []).forEach((p, i) => env.set(p.name, i === 0 ? pathSrc('') : EMPTY));
|
|
117
|
+
this.stack.push(rule);
|
|
118
|
+
this.walk(rule.body, { env, mode: 'rule', depth: 0, returns: EMPTY });
|
|
119
|
+
this.stack.pop();
|
|
120
|
+
}
|
|
121
|
+
produce(index, construct) {
|
|
122
|
+
if (index < this.firstIndex) {
|
|
123
|
+
this.firstIndex = index;
|
|
124
|
+
this.firstConstruct = construct;
|
|
125
|
+
}
|
|
126
|
+
return TOP;
|
|
127
|
+
}
|
|
128
|
+
consume(v) {
|
|
129
|
+
if (v.star)
|
|
130
|
+
return;
|
|
131
|
+
for (const p of v.paths)
|
|
132
|
+
this.refs.add(p);
|
|
133
|
+
for (const f of v.fields.values())
|
|
134
|
+
this.consume(f);
|
|
135
|
+
}
|
|
136
|
+
// ---- 语句 ----
|
|
137
|
+
walk(stmt, f) {
|
|
138
|
+
if (!stmt)
|
|
139
|
+
return;
|
|
140
|
+
switch (stmt.kind) {
|
|
141
|
+
case 'Let':
|
|
142
|
+
case 'Set':
|
|
143
|
+
case 'Start':
|
|
144
|
+
bind(f, stmt.name, this.eval(stmt.expr, f));
|
|
145
|
+
return;
|
|
146
|
+
case 'Return': {
|
|
147
|
+
const v = this.eval(stmt.expr, f);
|
|
148
|
+
if (f.mode === 'callee')
|
|
149
|
+
f.returns = union(f.returns, v);
|
|
150
|
+
else
|
|
151
|
+
this.consume(v);
|
|
152
|
+
return;
|
|
153
|
+
}
|
|
154
|
+
case 'If':
|
|
155
|
+
this.consume(this.eval(stmt.cond, f));
|
|
156
|
+
this.walk(stmt.thenBlock, f);
|
|
157
|
+
this.walk(stmt.elseBlock, f);
|
|
158
|
+
return;
|
|
159
|
+
case 'Match': {
|
|
160
|
+
const subject = this.eval(stmt.expr, f);
|
|
161
|
+
this.consume(subject);
|
|
162
|
+
for (const c of stmt.cases ?? []) {
|
|
163
|
+
this.bindPattern(c.pattern, subject, f);
|
|
164
|
+
this.walk(c.body, f);
|
|
165
|
+
}
|
|
166
|
+
return;
|
|
167
|
+
}
|
|
168
|
+
case 'Block':
|
|
169
|
+
case 'Scope':
|
|
170
|
+
for (const s of stmt.statements ?? [])
|
|
171
|
+
this.walk(s, f);
|
|
172
|
+
return;
|
|
173
|
+
case 'workflow':
|
|
174
|
+
for (const step of stmt.steps ?? []) {
|
|
175
|
+
this.walk(step.body, f);
|
|
176
|
+
this.walk(step.compensate, f);
|
|
177
|
+
}
|
|
178
|
+
return;
|
|
179
|
+
default:
|
|
180
|
+
return;
|
|
181
|
+
}
|
|
182
|
+
}
|
|
183
|
+
/** 模式变量绑定到被匹配值的来源（PatCtor 的 names 与嵌套 args 都绑定，两引擎 IR 形状差异因此无影响）。 */
|
|
184
|
+
bindPattern(p, v, f) {
|
|
185
|
+
if (!p)
|
|
186
|
+
return;
|
|
187
|
+
if (p.kind === 'PatName')
|
|
188
|
+
bind(f, p.name, v);
|
|
189
|
+
if (p.kind === 'PatCtor') {
|
|
190
|
+
for (const n of p.names ?? [])
|
|
191
|
+
bind(f, n, v);
|
|
192
|
+
for (const a of p.args ?? [])
|
|
193
|
+
this.bindPattern(a, v, f);
|
|
194
|
+
}
|
|
195
|
+
}
|
|
196
|
+
// ---- 表达式 ----
|
|
197
|
+
eval(expr, f) {
|
|
198
|
+
if (!expr)
|
|
199
|
+
return EMPTY;
|
|
200
|
+
const index = ++this.nodeCounter;
|
|
201
|
+
if (index > MAX_NODE_VISITS)
|
|
202
|
+
return this.produce(index, 'inline-depth');
|
|
203
|
+
switch (expr.kind) {
|
|
204
|
+
case 'Name':
|
|
205
|
+
return this.name(expr.name, index, f);
|
|
206
|
+
case 'Call':
|
|
207
|
+
return this.call(expr, index, f);
|
|
208
|
+
case 'Construct': {
|
|
209
|
+
const fields = new Map();
|
|
210
|
+
for (const fi of expr.fields ?? []) {
|
|
211
|
+
const v = this.eval(fi.expr, f);
|
|
212
|
+
fields.set(fi.name, fields.has(fi.name) ? union(fields.get(fi.name), v) : v);
|
|
213
|
+
}
|
|
214
|
+
return [...fields.values()].some((v) => v.star) ? TOP : { star: false, paths: new Set(), fields };
|
|
215
|
+
}
|
|
216
|
+
case 'ListLit':
|
|
217
|
+
return unionAll(this.evalAll(expr.elements, f));
|
|
218
|
+
case 'Ok':
|
|
219
|
+
case 'Err':
|
|
220
|
+
case 'Some':
|
|
221
|
+
case 'Await':
|
|
222
|
+
return this.eval(expr.expr, f);
|
|
223
|
+
case 'IfExpr': {
|
|
224
|
+
this.consume(this.eval(expr.cond, f));
|
|
225
|
+
const t = this.eval(expr.thenE, f);
|
|
226
|
+
return union(t, this.eval(expr.elseE, f));
|
|
227
|
+
}
|
|
228
|
+
case 'Lambda': {
|
|
229
|
+
const env = new Map(f.env);
|
|
230
|
+
for (const p of expr.params ?? [])
|
|
231
|
+
env.set(p.name, EMPTY);
|
|
232
|
+
this.walk(expr.body, { env, mode: 'lambda', depth: f.depth, returns: EMPTY });
|
|
233
|
+
return EMPTY;
|
|
234
|
+
}
|
|
235
|
+
default:
|
|
236
|
+
return EMPTY;
|
|
237
|
+
}
|
|
238
|
+
}
|
|
239
|
+
evalAll(exprs, f) {
|
|
240
|
+
return (exprs ?? []).map((e) => this.eval(e, f));
|
|
241
|
+
}
|
|
242
|
+
/** 变量引用与点分字段访问：首段是局部名时逐段扩展路径；否则（函数名、枚举成员、限定名）不含输入来源。 */
|
|
243
|
+
name(name, index, f) {
|
|
244
|
+
if (typeof name !== 'string')
|
|
245
|
+
return EMPTY;
|
|
246
|
+
const own = f.env.get(name);
|
|
247
|
+
if (own !== undefined)
|
|
248
|
+
return own;
|
|
249
|
+
const dot = name.indexOf('.');
|
|
250
|
+
if (dot < 0)
|
|
251
|
+
return EMPTY;
|
|
252
|
+
let v = f.env.get(name.slice(0, dot));
|
|
253
|
+
if (v === undefined)
|
|
254
|
+
return EMPTY;
|
|
255
|
+
for (const seg of name.slice(dot + 1).split('.'))
|
|
256
|
+
v = this.select(v, seg, index);
|
|
257
|
+
return v;
|
|
258
|
+
}
|
|
259
|
+
select(v, seg, index) {
|
|
260
|
+
if (v.star)
|
|
261
|
+
return v;
|
|
262
|
+
const paths = new Set();
|
|
263
|
+
for (const p of v.paths) {
|
|
264
|
+
const q = p === '' ? seg : `${p}.${seg}`;
|
|
265
|
+
if (segments(q) > MAX_INPUT_REF_SEGMENTS)
|
|
266
|
+
return this.produce(index, 'path-too-long');
|
|
267
|
+
paths.add(q);
|
|
268
|
+
}
|
|
269
|
+
const fromPaths = paths.size === 0 ? EMPTY : { star: false, paths, fields: new Map() };
|
|
270
|
+
return union(fromPaths, v.fields.get(seg) ?? EMPTY);
|
|
271
|
+
}
|
|
272
|
+
call(c, index, f) {
|
|
273
|
+
if (c.target?.kind !== 'Name' || typeof c.target.name !== 'string') {
|
|
274
|
+
const target = this.eval(c.target, f);
|
|
275
|
+
const args = this.evalAll(c.args, f);
|
|
276
|
+
return isEmpty(target) && allEmpty(args) ? EMPTY : this.produce(index, 'function-value');
|
|
277
|
+
}
|
|
278
|
+
const t = c.target.name;
|
|
279
|
+
if (BUILTIN_OPS.has(t))
|
|
280
|
+
return this.consumeAll(this.evalAll(c.args, f));
|
|
281
|
+
if (t === BUILTIN_AWAIT || KEYWORD_CTORS.has(t))
|
|
282
|
+
return unionAll(this.evalAll(c.args, f));
|
|
283
|
+
if (f.env.has(t) || this.isFieldOfLocal(t, f)) {
|
|
284
|
+
const target = this.name(t, index, f);
|
|
285
|
+
const args = this.evalAll(c.args, f);
|
|
286
|
+
return isEmpty(target) && allEmpty(args) ? EMPTY : this.produce(index, 'function-value');
|
|
287
|
+
}
|
|
288
|
+
const local = this.localFunc(t);
|
|
289
|
+
if (local)
|
|
290
|
+
return this.inline(local, this.evalAll(c.args, f), index, f);
|
|
291
|
+
if (callTargetBuiltin(t) !== null)
|
|
292
|
+
return this.consumeAll(this.evalAll(c.args, f));
|
|
293
|
+
if (MAP_KEY_ACCESS.has(t) && c.args?.length === 2)
|
|
294
|
+
return this.mapKey(c, index, f);
|
|
295
|
+
if (MAP_ITERATION.has(t))
|
|
296
|
+
return this.producesIfAny(this.evalAll(c.args, f), index, 'map-iteration');
|
|
297
|
+
if (SERIALIZERS.has(t))
|
|
298
|
+
return this.producesIfAny(this.evalAll(c.args, f), index, 'whole-input-serialized');
|
|
299
|
+
if (!t.includes('.') || this.isImported(t) || !BUILTIN_NAMESPACES.has(t.slice(0, t.indexOf('.')))) {
|
|
300
|
+
return this.producesIfAny(this.evalAll(c.args, f), index, 'cross-module-call');
|
|
301
|
+
}
|
|
302
|
+
// 内置命名空间的限定名（Text.* / List.* / Verdict.* …）：实参被消费
|
|
303
|
+
return this.consumeAll(this.evalAll(c.args, f));
|
|
304
|
+
}
|
|
305
|
+
isFieldOfLocal(t, f) {
|
|
306
|
+
const dot = t.indexOf('.');
|
|
307
|
+
return dot > 0 && f.env.has(t.slice(0, dot));
|
|
308
|
+
}
|
|
309
|
+
/** 同模块函数：未限定名，或 `<模块名>.<函数名>`（§11.6 第 2 条：按模块限定名分类）。 */
|
|
310
|
+
localFunc(t) {
|
|
311
|
+
if (!t.includes('.'))
|
|
312
|
+
return this.funcs.get(t);
|
|
313
|
+
const name = this.module.name;
|
|
314
|
+
if (typeof name !== 'string' || !t.startsWith(`${name}.`))
|
|
315
|
+
return undefined;
|
|
316
|
+
const rest = t.slice(name.length + 1);
|
|
317
|
+
return rest.includes('.') ? undefined : this.funcs.get(rest);
|
|
318
|
+
}
|
|
319
|
+
isImported(t) {
|
|
320
|
+
const head = t.slice(0, t.indexOf('.'));
|
|
321
|
+
return this.importAliases.includes(head) || this.importPaths.some((p) => t.startsWith(`${p}.`));
|
|
322
|
+
}
|
|
323
|
+
mapKey(c, index, f) {
|
|
324
|
+
const map = this.eval(c.args[0], f);
|
|
325
|
+
const keyExpr = c.args[1];
|
|
326
|
+
const key = this.eval(keyExpr, f);
|
|
327
|
+
if (keyExpr.kind === 'String' && typeof keyExpr.value === 'string') {
|
|
328
|
+
if (isEmpty(map))
|
|
329
|
+
return EMPTY;
|
|
330
|
+
if (keyExpr.value === '' || UNREPRESENTABLE_KEY_CHAR.test(keyExpr.value))
|
|
331
|
+
return this.produce(index, 'unrepresentable-key');
|
|
332
|
+
return this.select(map, keyExpr.value, index);
|
|
333
|
+
}
|
|
334
|
+
this.consume(key);
|
|
335
|
+
return isEmpty(map) ? EMPTY : this.produce(index, 'dynamic-map-key');
|
|
336
|
+
}
|
|
337
|
+
/**
|
|
338
|
+
* 同模块调用：形参绑定到实参来源后内联被调函数体。结果按（调用栈，被调函数，实参来源）记忆化——同一调用点的
|
|
339
|
+
* 重复展开不再重遍历函数体；体内产生的 * 在实参之后、调用点之后的节点之前按先序登记（取新编号）。
|
|
340
|
+
*/
|
|
341
|
+
inline(callee, args, index, f) {
|
|
342
|
+
if (allEmpty(args))
|
|
343
|
+
return EMPTY;
|
|
344
|
+
if (this.stack.includes(callee))
|
|
345
|
+
return this.produce(index, 'recursion');
|
|
346
|
+
if (f.depth + 1 > MAX_INLINE_DEPTH)
|
|
347
|
+
return this.produce(index, 'inline-depth');
|
|
348
|
+
const key = `${this.stack.map((fn) => this.funcIds.get(fn)).join(',')}>${this.funcIds.get(callee)}|${JSON.stringify(args.map(srcKey))}`;
|
|
349
|
+
let s = this.memo.get(key);
|
|
350
|
+
if (s === undefined) {
|
|
351
|
+
s = this.summarize(callee, args, f.depth + 1);
|
|
352
|
+
this.memo.set(key, s);
|
|
353
|
+
}
|
|
354
|
+
for (const p of s.consumed)
|
|
355
|
+
this.refs.add(p);
|
|
356
|
+
if (s.construct !== undefined)
|
|
357
|
+
this.produce(++this.nodeCounter, s.construct);
|
|
358
|
+
return s.returns;
|
|
359
|
+
}
|
|
360
|
+
summarize(callee, args, depth) {
|
|
361
|
+
const outerRefs = this.refs;
|
|
362
|
+
const outerIndex = this.firstIndex;
|
|
363
|
+
const outerConstruct = this.firstConstruct;
|
|
364
|
+
this.refs = new Set();
|
|
365
|
+
this.firstIndex = Number.MAX_SAFE_INTEGER;
|
|
366
|
+
this.firstConstruct = undefined;
|
|
367
|
+
const frame = { env: new Map(), mode: 'callee', depth, returns: EMPTY };
|
|
368
|
+
(callee.params ?? []).forEach((p, i) => bind(frame, p.name, args[i] ?? EMPTY));
|
|
369
|
+
this.stack.push(callee);
|
|
370
|
+
this.walk(callee.body, frame);
|
|
371
|
+
this.stack.pop();
|
|
372
|
+
const s = { returns: frame.returns, consumed: this.refs, construct: this.firstConstruct };
|
|
373
|
+
this.refs = outerRefs;
|
|
374
|
+
this.firstIndex = outerIndex;
|
|
375
|
+
this.firstConstruct = outerConstruct;
|
|
376
|
+
return s;
|
|
377
|
+
}
|
|
378
|
+
producesIfAny(args, index, construct) {
|
|
379
|
+
return allEmpty(args) ? EMPTY : this.produce(index, construct);
|
|
380
|
+
}
|
|
381
|
+
consumeAll(args) {
|
|
382
|
+
args.forEach((a) => this.consume(a));
|
|
383
|
+
return unionAll(args);
|
|
384
|
+
}
|
|
385
|
+
}
|
|
386
|
+
//# sourceMappingURL=input-refs.js.map
|