@tsonic/frontend 0.0.4 → 0.0.11

package/dist/ir/validation/numeric-proof-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-proof-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAQL,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAuBrB;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,GAAiB,EAAkB,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACC,EAAE;IAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,gFAAgF;IAChF,mDAAmD;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,oBAAoB,GAAG,CAAC,GAAW,EAAW,EAAE;IACpD,6CAA6C;IAC7C,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2DAA2D;IAC3D,iEAAiE;IACjE,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,CAAC,0BAA0B;IAC1C,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC,CAAC,oCAAoC;IACpD,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC,CAAC,4BAA4B;IAC5C,CAAC;IACD,2DAA2D;IAC3D,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oFAAoF;IACpF,oDAAoD;IACpD,yEAAyE;IACzE,OAAO,sGAAsG,CAAC,IAAI,CAChH,GAAG,CACJ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,kBAAkB,GAAG,CAAC,GAAW,EAAsB,EAAE;IAC7D,IAAI,CAAC;QACH,6DAA6D;QAC7D,mFAAmF;QACnF,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAEzC,yBAAyB;QACzB,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC;QACD,0BAA0B;QAC1B,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAE,IAAiB,EAAW,EAAE;IACrE,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC;AAClD,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAkB,EAClB,GAAiB,EACQ,EAAE;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,uEAAuE;gBACvE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,0CAA0C;gBAC1C,2EAA2E;gBAC3E,4BAA4B;gBAC5B,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;wBAClE,OAAO,OAAO,CAAC;oBACjB,CAAC;gBACH,CAAC;gBAED,6DAA6D;gBAC7D,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mCAAmC;YACnC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,+BAA+B;YAC/B,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,+CAA+C;YAC/C,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,wEAAwE;YACxE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzB,CAAC;YACD,6EAA6E;YAC7E,oEAAoE;YACpE,OAAO,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG,EACrB,CAAC;gBACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gEAAgE;YAChE,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,KAAa,EACb,GAAuB,EACvB,UAAuB,EACvB,GAAiB,EACjB,UAA2B,EACD,EAAE;IAC5B,MAAM,QAAQ,GAAG,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IACnD,sDAAsD;IACtD,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,KAAK,wBAAwB,UAAU,uBAAuB,EACzE,QAAQ,EACR,0DAA0D,CAC3D,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2BAA2B,UAAU,4BAA4B,EACjE,QAAQ,EACR,iEAAiE,CAClE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,YAAY,GAAG,yBAAyB,UAAU,yBAAyB,EAC3E,QAAQ,EACR,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yBAAyB,GAAG,cAAc,EAC1C,QAAQ,EACR,sDAAsD,CACvD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,mBAAmB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW;IACnE,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,cAAc;IACvE,IAAI,QAAQ,GAAG,mBAAmB,IAAI,QAAQ,GAAG,mBAAmB,EAAE,CAAC;QACrE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,4CAA4C,mBAAmB,GAAG,EAChF,QAAQ,EACR,sEAAsE;YACpE,kEAAkE,CACrE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,cAAc;IACd,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,6BAA6B,UAAU,kBAAkB,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,GAAG,EACrG,QAAQ,EACR,0BAA0B,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,QAAQ,UAAU,GAAG,CAC3E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,IAAkC,EAClC,GAAiB,EACS,EAAE;IAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,mFAAmF;IACnF,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAEjE,wCAAwC;IACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,YAAY,CACxB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,GAAG,EACb,UAAU,EACV,GAAG,EACH,SAAS,CAAC,UAAU,IAAI,QAAQ,CACjC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,6CAA6C;YAC7C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,OAAO,IAAI,SAAS,CAAC;QAExC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,gDAAgD;YAChD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kBAAkB,SAAS,CAAC,IAAI,UAAU,UAAU,OAAO,UAAU,EAAE,EACvE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,aAAa,SAAS,CAAC,IAAI,kBAAkB,UAAU,IAAI;gBACzD,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,2EAA2E;QAC3E,MAAM,SAAS,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YACxD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;aACnD,CAAC;QACJ,CAAC;QAED,+BAA+B;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,SAAS,CAAC,IAAI,QAAQ,UAAU,EAAE,EAChE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,eAAe,SAAS,CAAC,IAAI,8BAA8B;YACzD,kBAAkB,SAAS,CAAC,IAAI,OAAO,UAAU,oBAAoB;YACrE,yCAAyC,UAAU,UAAU,CAChE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iDAAiD;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,2CAA2C;YAC3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EACnG,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,uBAAuB,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,MAAM,UAAU,IAAI;gBACpF,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,iCAAiC;QACjC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,UAAU,EAAE,EAC9D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,kDAAkD;YAChD,+CAA+C,CAClD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,IACE,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG,EAC1B,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,WAAW;qBACZ;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iDAAiD,UAAU,EAAE,EAC7D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D;YACzD,8CAA8C,CACjD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iEAAiE;IACjE,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzE,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE;aAC1D,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oCAAoC,UAAU,EAAE,EAChD,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,oDAAoD,CACrD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,UAAU,GACd,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;gBACxC,OAAO,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3C,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ;gBAC3B,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,QAAQ,GACZ,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpB,CAAC,CAAC,UAAU,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,UAAU,EAAE,UAAU;iBACvB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6BAA6B,UAAU,EAAE,EACzC,QAAQ,EACR,uBAAuB,SAAS,CAAC,IAAI,iCAAiC,UAAU,IAAI;QAClF,mFAAmF;QACnF,yDAAyD,CAC5D,CACF,CAAC;IACF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,GAAiB,EACH,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,cAAc,CAC1B,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,EACvC,GAAG,CACJ,CAAC;YACF,4EAA4E;YAC5E,uFAAuF;YACvF,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,cAAc;gBAC1B,KAAK;aACN,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,sDAAsD;YACtD,kFAAkF;YAClF,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,WAAW,GAAG,OAAO,IAAI,SAAS,CAAC;YAEzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,+CAA+C;gBAC/C,OAAO;oBACL,GAAG,IAAI;oBACP,YAAY,EAAE;wBACZ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,aAAa,EAAE,WAAW;qBAC3B;iBACF,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CACxD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC1B,OAAO;4BACL,GAAG,CAAC;4BACJ,GAAG,EACD,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gCACvB,CAAC,CAAC,CAAC,CAAC,GAAG;gCACP,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC;4BACnC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC;yBACvC,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;qBACjD,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAE1D,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;YAExD,kEAAkE;YAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC5D,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,cAAc;oBACrB,YAAY,EAAE;wBACZ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,aAAa,EAAE,UAAU;qBAC1B;iBACF,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,cAAc;aACtB,CAAC;QACJ,CAAC;QAED,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACpD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC/C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;oBAChC,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,iBAAiB,GACrB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;gBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAE5C,+EAA+E;YAC/E,6DAA6D;YAC7D,iFAAiF;YACjF,gEAAgE;YAChE,+EAA+E;YAE/E,gFAAgF;YAChF,uFAAuF;YACvF,IAAI,OAAO,iBAAiB,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;gBAEnC,yDAAyD;gBACzD,sFAAsF;gBACtF,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzD,iCAAiC;oBACjC,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,CAAC;oBAChD,MAAM,QAAQ,GAAG,UAAU;wBACzB,CAAC,CAAC,mBAAmB,UAAU,CAAC,IAAI,EAAE;4BACpC,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gCAClC,CAAC,CAAC,UAAU,UAAU,CAAC,IAAI,qBAAqB,UAAU,CAAC,eAAe,IAAI,WAAW,EAAE;gCAC3F,CAAC,CAAC,EAAE,CAAC;wBACT,CAAC,CAAC,sBAAsB,CAAC;oBAE3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uEAAuE,UAAU,IAAI,WAAW,KAAK,QAAQ,GAAG,EAChH,IAAI,CAAC,UAAU;wBACb,iBAAiB,CAAC,UAAU;wBAC5B,cAAc,CAAC,GAAG,CAAC,EACrB,qFAAqF;wBACnF,2DAA2D,CAC9D,CACF,CAAC;oBACF,kEAAkE;oBAClE,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,2BAA2B;gBAC3B,+DAA+D;gBAC/D,iDAAiD;gBACjD,wCAAwC;gBACxC,kFAAkF;gBAClF,MAAM,aAAa,GACjB,UAAU,KAAK,YAAY;oBAC3B,UAAU,KAAK,gBAAgB;oBAC/B,UAAU,KAAK,YAAY,CAAC;gBAE9B,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,SAAS,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;oBAC3D,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;wBAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,SAAS,IAAI,SAAS,EAAE,EAC1D,iBAAiB,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACnD,6EAA6E,CAC9E,CACF,CAAC;wBACF,kEAAkE;wBAClE,OAAO;4BACL,GAAG,IAAI;4BACP,MAAM,EAAE,eAAe;4BACvB,QAAQ,EAAE,iBAAiB;yBAC5B,CAAC;oBACJ,CAAC;oBAED,2EAA2E;oBAC3E,qFAAqF;oBACrF,MAAM,iBAAiB,GAAG;wBACxB,GAAG,iBAAiB;wBACpB,YAAY,EAAE;4BACZ,IAAI,EAAE,eAAwB;4BAC9B,IAAI,EAAE,QAAiB;4BACvB,aAAa,EAAE,OAAsB;yBACtC;qBACF,CAAC;oBACF,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,4EAA4E;gBAC5E,iFAAiF;YACnF,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe;gBACvB,QAAQ,EAAE,iBAAiB;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aACpE,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBACjC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;oBAClC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACxC,CAAC;QAEJ,KAAK,oBAAoB;YACvB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACvC,CAAC;QAEJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAO,EACP,GAAiB,EACd,EAAE;IACL,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,qBAAqB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxD,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW;oBACjC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC;gBAEd,mEAAmE;gBACnE,iBAAiB;gBACjB,qDAAqD;gBACrD,+DAA+D;gBAC/D,0CAA0C;gBAC1C,oFAAoF;gBACpF,IACE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACnC,aAAa,KAAK,SAAS,EAC3B,CAAC;oBACD,4CAA4C;oBAC5C,IACE,aAAa,CAAC,IAAI,KAAK,kBAAkB;wBACzC,aAAa,CAAC,KAAK,KAAK,SAAS,EACjC,CAAC;wBACD,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACjE,CAAC;yBAAM,CAAC;wBACN,+DAA+D;wBAC/D,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;wBAC1D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;4BAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;wBACrD,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,GAAG,CAAC;oBACJ,WAAW,EAAE,aAAa;iBAC3B,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,qBAAqB,EAAO,CAAC;QAC/D,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aACvC,CAAC;QACT,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,SAAS,GAAiB;wBAC9B,GAAG,GAAG;wBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;wBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;qBAC9C,CAAC;oBACF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBACjC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gCAC9B,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;4BAClE,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC7D,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACtD,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAO,CAAC;QACrD,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBACxD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC5C,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBACxC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACrE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;oBACzD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBAC9D,CAAC,CAAC;aACC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAC5D,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aACjE,CAAC;QAET,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAsB,EAAE;IAC7D,MAAM,GAAG,GAAiB;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAE7E,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,GAAG,EAAE,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,gBAAgB;SAC1B;QACD,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EAK5B,EAAE;IACF,MAAM,gBAAgB,GAAe,EAAE,CAAC;IACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/soundness-gate.d.ts

@@ -0,0 +1,26 @@
+/**
+ * IR Soundness Gate - Validates IR before emission
+ *
+ * Walks the produced IR and asserts:
+ * - No `anyType` anywhere (TSN7401 for explicit any, TSN7414 for unrepresentable)
+ * - No unresolved/unsupported placeholders
+ *
+ * If this pass emits any errors, the emitter must not run.
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule } from "../types.js";
+/**
+ * Result of soundness validation
+ */
+export type SoundnessValidationResult = {
+    readonly ok: boolean;
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * Run soundness validation on all modules
+ *
+ * This is the IR soundness gate - if any diagnostics are returned,
+ * the emitter must not run.
+ */
+export declare const validateIrSoundness: (modules: readonly IrModule[]) => SoundnessValidationResult;
+//# sourceMappingURL=soundness-gate.d.ts.map

package/dist/ir/validation/soundness-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"soundness-gate.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,UAAU,EAGX,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,QAAQ,EAQT,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAypBF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,KAC3B,yBAYF,CAAC"}

package/dist/ir/validation/soundness-gate.js

@@ -0,0 +1,551 @@
+/**
+ * IR Soundness Gate - Validates IR before emission
+ *
+ * Walks the produced IR and asserts:
+ * - No `anyType` anywhere (TSN7401 for explicit any, TSN7414 for unrepresentable)
+ * - No unresolved/unsupported placeholders
+ *
+ * If this pass emits any errors, the emitter must not run.
+ */
+import { createDiagnostic, } from "../../types/diagnostic.js";
+/**
+ * Known builtin types that are handled by emitter's built-in mappings
+ * or are C# primitive type names that may appear in IR.
+ * C# primitives correspond to types defined in @tsonic/types package.
+ */
+const KNOWN_BUILTINS = new Set([
+    // JS/TS builtins handled by emitter
+    "Array",
+    "Promise",
+    "Map",
+    "Set",
+    "Error",
+    "Object",
+    "Generator",
+    "AsyncGenerator",
+    "IteratorResult",
+    // C# signed integers (from @tsonic/types)
+    "sbyte",
+    "short",
+    "int",
+    "long",
+    "nint",
+    "int128",
+    // C# unsigned integers (from @tsonic/types)
+    "byte",
+    "ushort",
+    "uint",
+    "ulong",
+    "nuint",
+    "uint128",
+    // C# floating-point (from @tsonic/types)
+    "half",
+    "float",
+    "double",
+    "decimal",
+    // C# other primitives (from @tsonic/types)
+    "bool",
+    "char",
+    // Additional C# keywords that are valid type names
+    "string",
+    "object",
+    "void",
+    // .NET types commonly used
+    "IntPtr",
+    "UIntPtr",
+]);
+/**
+ * Create a source location for a module
+ */
+const moduleLocation = (ctx) => ({
+    file: ctx.filePath,
+    line: 1,
+    column: 1,
+    length: 1,
+});
+/**
+ * Check if a type contains anyType anywhere (recursively)
+ */
+const validateType = (type, ctx, typeContext) => {
+    if (!type)
+        return;
+    switch (type.kind) {
+        case "anyType": {
+            // TSN7414: Type cannot be represented in compiler subset
+            ctx.diagnostics.push(createDiagnostic("TSN7414", "error", `Type cannot be represented in compiler subset: ${typeContext}. The type resolved to 'any' which is not supported.`, moduleLocation(ctx), "Ensure the type can be explicitly annotated or is a recognized type alias."));
+            break;
+        }
+        case "arrayType":
+            validateType(type.elementType, ctx, `${typeContext}[]`);
+            break;
+        case "tupleType":
+            type.elementTypes.forEach((et, i) => validateType(et, ctx, `${typeContext}[${i}]`));
+            break;
+        case "functionType":
+            type.parameters.forEach((p) => validateParameter(p, ctx));
+            validateType(type.returnType, ctx, `${typeContext} return type`);
+            break;
+        case "objectType":
+            type.members.forEach((m) => validateInterfaceMember(m, ctx));
+            break;
+        case "dictionaryType":
+            validateType(type.keyType, ctx, `${typeContext} key type`);
+            validateType(type.valueType, ctx, `${typeContext} value type`);
+            break;
+        case "unionType":
+            type.types.forEach((t, i) => validateType(t, ctx, `${typeContext} union member ${i}`));
+            break;
+        case "intersectionType":
+            type.types.forEach((t, i) => validateType(t, ctx, `${typeContext} intersection member ${i}`));
+            break;
+        case "referenceType": {
+            const { name, resolvedClrType } = type;
+            // TSN7420: ref/out/In are parameter modifiers, not types
+            // These must be expressed via syntax in the future, not type annotations
+            if (name === "ref" || name === "out" || name === "In") {
+                ctx.diagnostics.push(createDiagnostic("TSN7420", "error", `'${name}' is a parameter modifier, not a type. Parameter modifiers cannot be expressed as type annotations.`, moduleLocation(ctx), "Parameter modifiers (ref/out/in) will be supported via syntax in a future release. Remove the type wrapper."));
+                return;
+            }
+            // Check if this reference type is resolvable
+            const isResolvable = 
+            // Has pre-resolved CLR type from IR
+            resolvedClrType !== undefined ||
+                // Is a known builtin handled by emitter
+                KNOWN_BUILTINS.has(name) ||
+                // Is a local type defined in this module
+                ctx.localTypeNames.has(name) ||
+                // Is an imported type
+                ctx.importedTypeNames.has(name) ||
+                // Is a type parameter in current scope
+                ctx.typeParameterNames.has(name);
+            if (!isResolvable) {
+                // TSN7414: Unresolved reference type
+                ctx.diagnostics.push(createDiagnostic("TSN7414", "error", `Unresolved reference type '${name}' in ${typeContext}. The type is not local, not imported, and has no CLR binding.`, moduleLocation(ctx), "Ensure the type is imported or defined locally, or that CLR bindings are available."));
+            }
+            // Validate type arguments recursively
+            type.typeArguments?.forEach((ta, i) => validateType(ta, ctx, `${typeContext}<arg ${i}>`));
+            break;
+        }
+        // These types are valid and don't contain nested types
+        case "primitiveType":
+        case "typeParameterType":
+        case "literalType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            break;
+    }
+};
+/**
+ * Validate a parameter
+ */
+const validateParameter = (param, ctx) => {
+    const paramName = param.pattern.kind === "identifierPattern" ? param.pattern.name : "param";
+    validateType(param.type, ctx, `parameter '${paramName}'`);
+    validatePattern(param.pattern, ctx);
+    if (param.initializer) {
+        validateExpression(param.initializer, ctx);
+    }
+};
+/**
+ * Validate a type parameter
+ */
+const validateTypeParameter = (tp, ctx) => {
+    validateType(tp.constraint, ctx, `type parameter '${tp.name}' constraint`);
+    validateType(tp.default, ctx, `type parameter '${tp.name}' default`);
+    tp.structuralMembers?.forEach((m) => validateInterfaceMember(m, ctx));
+};
+/**
+ * Validate an interface member
+ */
+const validateInterfaceMember = (member, ctx) => {
+    switch (member.kind) {
+        case "propertySignature":
+            validateType(member.type, ctx, `property '${member.name}'`);
+            break;
+        case "methodSignature":
+            member.typeParameters?.forEach((tp) => validateTypeParameter(tp, ctx));
+            member.parameters.forEach((p) => validateParameter(p, ctx));
+            validateType(member.returnType, ctx, `method '${member.name}' return type`);
+            break;
+    }
+};
+/**
+ * Validate a pattern
+ */
+const validatePattern = (pattern, ctx) => {
+    switch (pattern.kind) {
+        case "identifierPattern":
+            validateType(pattern.type, ctx, `pattern '${pattern.name}'`);
+            break;
+        case "arrayPattern":
+            pattern.elements.forEach((e) => {
+                if (e)
+                    validatePattern(e, ctx);
+            });
+            break;
+        case "objectPattern":
+            pattern.properties.forEach((p) => {
+                if (p.kind === "property") {
+                    validatePattern(p.value, ctx);
+                }
+                else {
+                    validatePattern(p.pattern, ctx);
+                }
+            });
+            break;
+    }
+};
+/**
+ * Validate an expression (and its nested types/expressions)
+ *
+ * NOTE: We intentionally do NOT validate the `inferredType` field on expressions.
+ * `inferredType` is informational and optional - if the type checker couldn't
+ * determine a specific type, it may be `anyType`, but this doesn't indicate
+ * a user error or an unsupported type. The emitter works correctly regardless.
+ *
+ * We DO validate:
+ * - Explicit type annotations (parameters, return types, variable types)
+ * - Type arguments on calls and new expressions
+ * - Contextual types on object literals (which affect C# type synthesis)
+ */
+const validateExpression = (expr, ctx) => {
+    switch (expr.kind) {
+        case "literal":
+        case "identifier":
+        case "this":
+            break;
+        case "array":
+            expr.elements.forEach((e) => {
+                if (e)
+                    validateExpression(e, ctx);
+            });
+            break;
+        case "object":
+            if (expr.contextualType) {
+                validateType(expr.contextualType, ctx, "object literal contextual type");
+            }
+            expr.properties.forEach((p) => {
+                if (p.kind === "property") {
+                    if (typeof p.key !== "string") {
+                        validateExpression(p.key, ctx);
+                    }
+                    validateExpression(p.value, ctx);
+                }
+                else {
+                    validateExpression(p.expression, ctx);
+                }
+            });
+            break;
+        case "functionExpression":
+            expr.parameters.forEach((p) => validateParameter(p, ctx));
+            validateType(expr.returnType, ctx, "function expression return type");
+            validateStatement(expr.body, ctx);
+            break;
+        case "arrowFunction":
+            expr.parameters.forEach((p) => validateParameter(p, ctx));
+            validateType(expr.returnType, ctx, "arrow function return type");
+            if (expr.body.kind === "blockStatement") {
+                validateStatement(expr.body, ctx);
+            }
+            else {
+                validateExpression(expr.body, ctx);
+            }
+            break;
+        case "memberAccess":
+            validateExpression(expr.object, ctx);
+            if (typeof expr.property !== "string") {
+                validateExpression(expr.property, ctx);
+            }
+            break;
+        case "call":
+            validateExpression(expr.callee, ctx);
+            expr.arguments.forEach((a) => validateExpression(a, ctx));
+            expr.typeArguments?.forEach((ta, i) => validateType(ta, ctx, `call type argument ${i}`));
+            if (expr.narrowing) {
+                validateType(expr.narrowing.targetType, ctx, "type predicate target");
+            }
+            break;
+        case "new":
+            validateExpression(expr.callee, ctx);
+            expr.arguments.forEach((a) => validateExpression(a, ctx));
+            expr.typeArguments?.forEach((ta, i) => validateType(ta, ctx, `new type argument ${i}`));
+            break;
+        case "update":
+        case "unary":
+        case "await":
+            validateExpression(expr.expression, ctx);
+            break;
+        case "yield":
+            if (expr.expression) {
+                validateExpression(expr.expression, ctx);
+            }
+            break;
+        case "binary":
+        case "logical":
+            validateExpression(expr.left, ctx);
+            validateExpression(expr.right, ctx);
+            break;
+        case "conditional":
+            validateExpression(expr.condition, ctx);
+            validateExpression(expr.whenTrue, ctx);
+            validateExpression(expr.whenFalse, ctx);
+            break;
+        case "assignment":
+            if (expr.left.kind === "identifierPattern" ||
+                expr.left.kind === "arrayPattern" ||
+                expr.left.kind === "objectPattern") {
+                validatePattern(expr.left, ctx);
+            }
+            else {
+                validateExpression(expr.left, ctx);
+            }
+            validateExpression(expr.right, ctx);
+            break;
+        case "templateLiteral":
+            expr.expressions.forEach((e) => validateExpression(e, ctx));
+            break;
+        case "spread":
+            validateExpression(expr.expression, ctx);
+            break;
+    }
+};
+/**
+ * Validate a statement (and its nested types/expressions/statements)
+ */
+const validateStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            stmt.declarations.forEach((d) => {
+                validatePattern(d.name, ctx);
+                validateType(d.type, ctx, "variable declaration type");
+                if (d.initializer) {
+                    validateExpression(d.initializer, ctx);
+                }
+            });
+            break;
+        case "functionDeclaration":
+            stmt.typeParameters?.forEach((tp) => validateTypeParameter(tp, ctx));
+            stmt.parameters.forEach((p) => validateParameter(p, ctx));
+            validateType(stmt.returnType, ctx, `function '${stmt.name}' return type`);
+            validateStatement(stmt.body, ctx);
+            break;
+        case "classDeclaration":
+            stmt.typeParameters?.forEach((tp) => validateTypeParameter(tp, ctx));
+            if (stmt.superClass) {
+                validateExpression(stmt.superClass, ctx);
+            }
+            stmt.implements.forEach((i, idx) => validateType(i, ctx, `class '${stmt.name}' implements ${idx}`));
+            stmt.members.forEach((m) => {
+                switch (m.kind) {
+                    case "methodDeclaration":
+                        m.typeParameters?.forEach((tp) => validateTypeParameter(tp, ctx));
+                        m.parameters.forEach((p) => validateParameter(p, ctx));
+                        validateType(m.returnType, ctx, `method '${m.name}' return type`);
+                        if (m.body) {
+                            validateStatement(m.body, ctx);
+                        }
+                        break;
+                    case "propertyDeclaration":
+                        validateType(m.type, ctx, `property '${m.name}'`);
+                        if (m.initializer) {
+                            validateExpression(m.initializer, ctx);
+                        }
+                        break;
+                    case "constructorDeclaration":
+                        m.parameters.forEach((p) => validateParameter(p, ctx));
+                        if (m.body) {
+                            validateStatement(m.body, ctx);
+                        }
+                        break;
+                }
+            });
+            break;
+        case "interfaceDeclaration":
+            stmt.typeParameters?.forEach((tp) => validateTypeParameter(tp, ctx));
+            stmt.extends.forEach((e, idx) => validateType(e, ctx, `interface '${stmt.name}' extends ${idx}`));
+            stmt.members.forEach((m) => validateInterfaceMember(m, ctx));
+            break;
+        case "enumDeclaration":
+            stmt.members.forEach((m) => {
+                if (m.initializer) {
+                    validateExpression(m.initializer, ctx);
+                }
+            });
+            break;
+        case "typeAliasDeclaration":
+            stmt.typeParameters?.forEach((tp) => validateTypeParameter(tp, ctx));
+            validateType(stmt.type, ctx, `type alias '${stmt.name}'`);
+            break;
+        case "expressionStatement":
+            validateExpression(stmt.expression, ctx);
+            break;
+        case "returnStatement":
+            if (stmt.expression) {
+                validateExpression(stmt.expression, ctx);
+            }
+            break;
+        case "ifStatement":
+            validateExpression(stmt.condition, ctx);
+            validateStatement(stmt.thenStatement, ctx);
+            if (stmt.elseStatement) {
+                validateStatement(stmt.elseStatement, ctx);
+            }
+            break;
+        case "whileStatement":
+            validateExpression(stmt.condition, ctx);
+            validateStatement(stmt.body, ctx);
+            break;
+        case "forStatement":
+            if (stmt.initializer) {
+                if (stmt.initializer.kind === "variableDeclaration") {
+                    validateStatement(stmt.initializer, ctx);
+                }
+                else {
+                    validateExpression(stmt.initializer, ctx);
+                }
+            }
+            if (stmt.condition) {
+                validateExpression(stmt.condition, ctx);
+            }
+            if (stmt.update) {
+                validateExpression(stmt.update, ctx);
+            }
+            validateStatement(stmt.body, ctx);
+            break;
+        case "forOfStatement":
+            validatePattern(stmt.variable, ctx);
+            validateExpression(stmt.expression, ctx);
+            validateStatement(stmt.body, ctx);
+            break;
+        case "switchStatement":
+            validateExpression(stmt.expression, ctx);
+            stmt.cases.forEach((c) => {
+                if (c.test) {
+                    validateExpression(c.test, ctx);
+                }
+                c.statements.forEach((s) => validateStatement(s, ctx));
+            });
+            break;
+        case "throwStatement":
+            validateExpression(stmt.expression, ctx);
+            break;
+        case "tryStatement":
+            validateStatement(stmt.tryBlock, ctx);
+            if (stmt.catchClause) {
+                if (stmt.catchClause.parameter) {
+                    validatePattern(stmt.catchClause.parameter, ctx);
+                }
+                validateStatement(stmt.catchClause.body, ctx);
+            }
+            if (stmt.finallyBlock) {
+                validateStatement(stmt.finallyBlock, ctx);
+            }
+            break;
+        case "blockStatement":
+            stmt.statements.forEach((s) => validateStatement(s, ctx));
+            break;
+        case "breakStatement":
+        case "continueStatement":
+        case "emptyStatement":
+            break;
+        case "yieldStatement":
+            if (stmt.output) {
+                validateExpression(stmt.output, ctx);
+            }
+            if (stmt.receiveTarget) {
+                validatePattern(stmt.receiveTarget, ctx);
+            }
+            if (stmt.receivedType) {
+                validateType(stmt.receivedType, ctx, "yield received type");
+            }
+            break;
+        case "generatorReturnStatement":
+            if (stmt.expression) {
+                validateExpression(stmt.expression, ctx);
+            }
+            break;
+    }
+};
+/**
+ * Extract local type names from module statements
+ */
+const extractLocalTypeNames = (statements) => {
+    const names = new Set();
+    for (const stmt of statements) {
+        switch (stmt.kind) {
+            case "classDeclaration":
+            case "interfaceDeclaration":
+            case "typeAliasDeclaration":
+            case "enumDeclaration":
+                names.add(stmt.name);
+                break;
+        }
+    }
+    return names;
+};
+/**
+ * Extract imported type names from module imports
+ */
+const extractImportedTypeNames = (module) => {
+    const names = new Set();
+    for (const imp of module.imports) {
+        for (const spec of imp.specifiers) {
+            // Include all imports - the emitter will resolve whether they're types or values
+            // Named imports use localName (the name in this module's scope)
+            if (spec.kind === "named" || spec.kind === "default") {
+                names.add(spec.localName);
+            }
+            // Namespace imports (import * as NS) - the namespace itself is available
+            if (spec.kind === "namespace") {
+                names.add(spec.localName);
+            }
+        }
+    }
+    return names;
+};
+/**
+ * Validate a single module
+ */
+const validateModule = (module) => {
+    // Extract local and imported type names for reference type validation
+    const localTypeNames = extractLocalTypeNames(module.body);
+    const importedTypeNames = extractImportedTypeNames(module);
+    const ctx = {
+        filePath: module.filePath,
+        diagnostics: [],
+        localTypeNames,
+        importedTypeNames,
+        typeParameterNames: new Set(), // Will be populated per-scope during validation
+    };
+    // Validate all statements in the module body
+    module.body.forEach((stmt) => validateStatement(stmt, ctx));
+    // Validate exports
+    module.exports.forEach((exp) => {
+        if (exp.kind === "default") {
+            validateExpression(exp.expression, ctx);
+        }
+        else if (exp.kind === "declaration") {
+            validateStatement(exp.declaration, ctx);
+        }
+    });
+    return ctx.diagnostics;
+};
+/**
+ * Run soundness validation on all modules
+ *
+ * This is the IR soundness gate - if any diagnostics are returned,
+ * the emitter must not run.
+ */
+export const validateIrSoundness = (modules) => {
+    const allDiagnostics = [];
+    for (const module of modules) {
+        const moduleDiagnostics = validateModule(module);
+        allDiagnostics.push(...moduleDiagnostics);
+    }
+    return {
+        ok: allDiagnostics.length === 0,
+        diagnostics: allDiagnostics,
+    };
+};
+//# sourceMappingURL=soundness-gate.js.map