npm - @tsonic/frontend - Versions diffs - 0.0.74 → 0.0.75 - Mend

@tsonic/frontend 0.0.74 → 0.0.75

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1782) hide show

package/dist/ir/validation/numeric-coercion-pass.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"numeric-coercion-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-coercion-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAML,mBAAmB,GACpB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,oBAAoB,EACpB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAElC;;;GAGG;AACH,MAAM,aAAa,GAAG,YAAY,CAAC;AAUnC;;;GAGG;AACH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAEhE;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAkB,EAAmB,EAAE;IACzE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,6CAA6C;YAC7C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACzD,OAAO,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC7D,CAAC;YACD,uBAAuB;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,oCAAoC;YACpC,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBAChD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,OAAO,CAAC;gBACrD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;YAC3D,CAAC;YACD,6CAA6C;YAC7C,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBACpC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK;oBAAE,OAAO,OAAO,CAAC;gBACvD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;YAC9D,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,mCAAmC;YACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBACnD,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9C,CAAC;YACD,iCAAiC;YACjC,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,qCAAqC;YACrC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAElD,0CAA0C;YAC1C,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,gCAAgC;YAChC,+EAA+E;YAC/E,MAAM,UAAU,GAAG,mBAAmB,CACpC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EACzC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAC3C,CAAC;YAEF,kCAAkC;YAClC,IAAI,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YACxE,OAAO,OAAO,CAAC,CAAC,kDAAkD;QACpE,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAEtD,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC;YAC5C,sCAAsC;YACtC,IAAI,QAAQ,KAAK,QAAQ,IAAI,SAAS,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YACrE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,2CAA2C;YAC3C,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC;YAChD,IAAI,IAAI,CAAC,UAAU,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC;YAClD,2EAA2E;YAC3E,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,oBAAoB;YACpB,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBAChD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,OAAO,CAAC;gBACrD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;YAC3D,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,+CAA+C;YAC/C,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;gBAChD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,OAAO,CAAC;gBACrD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;YAC3D,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,4BAA4B;YAC5B,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzD,OAAO,WAAW,CAAC;QACrB,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAkB,EAAW,EAAE;IACrE,mFAAmF;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oDAAoD;IACpD,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAC9B,IAAI,CAAC,aAAa,KAAK,QAAQ,EAC/B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAmBF;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,GAAoB,EAAkB,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACC,EAAE;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,8DAA8D;IAC9D,MAAM,QAAQ,GACZ,IAAI,CAAC,IAAI,KAAK,WAAW;QACvB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ;QACH,CAAC,CAAC,IAAI,CAAC;IAEX,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,wBAAwB;IACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAChD,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,OAAO,CAAC;QAC5C,2CAA2C;QAC3C,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IAED,6DAA6D;IAC7D,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC3B,wBAAwB;QACxB,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,OAAO,CAAC;QACvD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC5D,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM;YAAE,OAAO,OAAO,CAAC;QACxD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,QAAQ,CAAC;QAC3D,0BAA0B;QAC1B,MAAM,IAAI,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5D,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;IACxB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,wBAAwB,GAAG,CAC/B,YAAgC,EAChC,QAAgB,EACI,EAAE;IACtB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,0DAA0D;IAC1D,IAAI,YAAY,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,CAAC,EAA0D,EAAE,CAC5D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACxD,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,CAAC;IACtB,CAAC;IAED,oEAAoE;IACpE,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,IAAI,YAAY,CAAC,iBAAiB,EAAE,CAAC;QAC5E,MAAM,MAAM,GAAG,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAChD,CAAC,CAAC,EAA0D,EAAE,CAC5D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACxD,CAAC;QACF,OAAO,MAAM,EAAE,IAAI,CAAC;IACtB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAC7B,YAAgC,EAChC,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,aAAa,GAAG,CACpB,IAAkB,EAClB,YAAgC,EACvB,EAAE;IACX,oBAAoB;IACpB,MAAM,YAAY,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAE7C,4DAA4D;IAC5D,IAAI,YAAY,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,6FAA6F;IAC7F,MAAM,iBAAiB,GACrB,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAE9C,iBAAiB;IACjB,IAAI,iBAAiB,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kDAAkD;IAClD,IAAI,oBAAoB,CAAC,iBAAiB,EAAE,YAAY,CAAC,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mDAAmD;IACnD,iFAAiF;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,0EAA0E;IAC1E,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QAErB,4EAA4E;QAC5E,IACE,YAAY,KAAK,OAAO;YACxB,YAAY,KAAK,MAAM;YACvB,YAAY,KAAK,OAAO;YACxB,YAAY,KAAK,QAAQ;YACzB,YAAY,KAAK,QAAQ;YACzB,YAAY,KAAK,QAAQ;YACzB,YAAY,KAAK,OAAO,EACxB,CAAC;YACD,IACE,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;gBACvB,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;gBACnB,iBAAiB,CAAC,CAAC,EAAE,YAAY,CAAC,EAClC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,yDAAyD;QACzD,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,aAAa,EAAE,CAAC;gBACvD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAkB,EAAU,EAAE;IACxD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,YAAY,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACvD,KAAK,YAAY;YACf,OAAO,eAAe,IAAI,CAAC,IAAI,GAAG,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,uBAAuB,CAAC;QACjC,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC;QAC5B,KAAK,aAAa;YAChB,OAAO,oBAAoB,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,aAAa,CAAC;QACvB,KAAK,cAAc;YACjB,OAAO,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBACtC,CAAC,CAAC,aAAa,IAAI,CAAC,QAAQ,GAAG;gBAC/B,CAAC,CAAC,mBAAmB,CAAC;QAC1B;YACE,OAAO,YAAY,CAAC;IACxB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,YAAgC,EAChC,GAAoB,EACpB,OAAe,EACT,EAAE;IACR,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE1D,+BAA+B;IAC/B,MAAM,UAAU,GAAG,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7D,MAAM,YAAY,GAChB,YAAY,KAAK,QAAQ;QACvB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,YAAY,KAAK,OAAO;YACxB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;IAE3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,mCAAmC,WAAW,KAAK,UAAU,6BAA6B,YAAY,KAAK,OAAO,EAAE,EACpH,QAAQ,EACR,6BAA6B,YAAY,wBAAwB,CAClE,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,YAAgC,EAChC,GAAoB,EACpB,OAAe,EACT,EAAE;IACR,uDAAuD;IACvD,IAAI,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QACtC,iBAAiB,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IAED,kDAAkD;IAClD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,4EAA4E;YAC5E,IAAI,YAAY,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBAC9B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC/B,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;wBACjE,kBAAkB,CAChB,EAAE,EACF,gBAAgB,EAChB,GAAG,EACH,oBAAoB,CAAC,EAAE,CACxB,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,MAAM,WAAW,GACf,YAAY,EAAE,IAAI,KAAK,WAAW;oBAChC,CAAC,CAAC,YAAY,CAAC,WAAW;oBAC1B,CAAC,CAAC,SAAS,CAAC;gBAChB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBAC9B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC/B,kBAAkB,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;oBACpE,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,0EAA0E;YAC1E,kDAAkD;YAClD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,gDAAgD;oBAChD,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACN,qDAAqD;oBACrD,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;wBACjC,2DAA2D;wBAC3D,MAAM,gBAAgB,GAAG,wBAAwB,CAC/C,YAAY,EACZ,IAAI,CAAC,GAAG,CACT,CAAC;wBACF,IAAI,gBAAgB,EAAE,CAAC;4BACrB,kBAAkB,CAChB,IAAI,CAAC,KAAK,EACV,gBAAgB,EAChB,GAAG,EACH,gBAAgB,IAAI,CAAC,GAAG,GAAG,CAC5B,CAAC;wBACJ,CAAC;6BAAM,CAAC;4BACN,wDAAwD;4BACxD,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;wBAC1C,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,6DAA6D;wBAC7D,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,sBAAsB;YACtB,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9D,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/D,MAAM;QACR,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,wEAAwE;YACxE,mEAAmE;YACnE,6CAA6C;YAC7C,4EAA4E;YAC5E,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACrD,kEAAkE;gBAClE,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACvC,8DAA8D;gBAC9D,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,sDAAsD;YACtD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;oBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtD,kBAAkB,CAChB,GAAG,EACH,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACtB,GAAG,EACH,eAAe,CAAC,GAAG,CAAC,EAAE,CACvB,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAChC,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,sEAAsE;YACtE,kBAAkB,CAChB,IAAI,CAAC,IAAI,EACT,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EACtC,GAAG,EACH,oBAAoB,CACrB,CAAC;YACF,MAAM;QACR,CAAC;QAED,qEAAqE;IACvE,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAkB,EAClB,GAAoB,EACd,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,kDAAkD;YAClD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;oBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtD,kBAAkB,CAChB,GAAG,EACH,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACtB,GAAG,EACH,eAAe,CAAC,GAAG,CAAC,EAAE,CACvB,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,wCAAwC;YACxC,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzC,kCAAkC;YAClC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAChC,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,kBAAkB,CAChB,IAAI,CAAC,IAAI,EACT,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EACtC,GAAG,EACH,oBAAoB,CACrB,CAAC;YACF,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,MAAM;QACR,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC3B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC/B,sBAAsB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,CAAC;QAED,KAAK,QAAQ;YACX,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,OAAO;YACV,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,QAAQ;YACX,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,aAAa;YAChB,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5C,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC3C,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5C,MAAM;QAER,KAAK,SAAS;YACZ,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,cAAc;YACjB,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzC,iDAAiD;YACjD,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACzD,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM;QAER,KAAK,eAAe;YAClB,iDAAiD;YACjD,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC/D,sBAAsB,CAAC,IAAI,CAAC,IAAoB,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;YACD,MAAM;QAER,KAAK,KAAK;YACR,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,OAAO;YACV,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,YAAY;YACf,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,kBAAkB;YACrB,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QAER,gEAAgE;QAChE;YACE,MAAM;IACV,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CAAC,IAAiB,EAAE,GAAoB,EAAQ,EAAE;IACzE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,+CAA+C;oBAC/C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACd,kBAAkB,CAChB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,IAAI,EACT,GAAG,EACH,4BAA4B,CAC7B,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,wDAAwD;wBACxD,2BAA2B;wBAC3B,sBAAsB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;oBAChD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,sEAAsE;YACtE,mDAAmD;YACnD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,gDAAgD;YAChD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;gBAC7B,sDAAsD;gBACtD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;oBACxB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;wBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;4BACtD,kBAAkB,CAChB,GAAG,EACH,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACtB,GAAG,EACH,eAAe,CAAC,GAAG,CAAC,EAAE,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,mDAAmD;YACnD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;oBACpC,kBAAkB,CAChB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,IAAI,EACV,GAAG,EACH,sBAAsB,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,iDAAiD;YACjD,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,MAAM;QACR,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,mDAAmD;oBACnD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACtC,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;4BACpC,kBAAkB,CAChB,KAAK,CAAC,WAAW,EACjB,KAAK,CAAC,IAAI,EACV,GAAG,EACH,sBAAsB,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAChB,8BAA8B,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBACtE,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAChE,kBAAkB,CAChB,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,IAAI,EACX,GAAG,EACH,4BAA4B,CAC7B,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YAC5C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACjC,MAAM;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;oBACtC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,8BAA8B,GAAG,CACrC,IAAiB,EACjB,UAA8B,EAC9B,GAAoB,EACd,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,MAAM;YAE5B,IAAI,UAAU,EAAE,CAAC;gBACf,kBAAkB,CAChB,IAAI,CAAC,UAAU,EACf,UAAU,EACV,GAAG,EACH,qBAAqB,CACtB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,sEAAsE;gBACtE,4EAA4E;gBAC5E,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,8BAA8B,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACrD,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,8BAA8B,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACpE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,8BAA8B,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACtE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,8BAA8B,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,8BAA8B,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,8BAA8B,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACrE,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;oBACtC,8BAA8B,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED;YACE,+CAA+C;YAC/C,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAyB,EAAE;IAChE,MAAM,GAAG,GAAoB;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;KAChB,CAAC;IAEF,sBAAsB;IACtB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,kBAAkB;IAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM;QACN,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAA4B,EAK5B,EAAE;IACF,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,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,uEAAuE;QAChF,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}
1	+ {"version":3,"file":"numeric-coercion-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-coercion-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EACL,mBAAmB,EACnB,uBAAuB,GAExB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,sBAAsB,GAEvB,MAAM,yBAAyB,CAAC"}

package/dist/ir/validation/numeric-expression-validation.d.ts ADDED Viewed

@@ -0,0 +1,26 @@
+/**
+ * Numeric Expression Validation
+ *
+ * Expression-level coercion checks:
+ * - emitCoercionError: Emit diagnostic for implicit narrowing
+ * - validateExpression: Validate expression against expected type
+ * - scanExpressionForCalls: Scan expression tree for call argument validation
+ */
+import { IrExpression, IrType } from "../types.js";
+import { type CoercionContext } from "./numeric-classification.js";
+/**
+ * Emit an error diagnostic for implicit narrowing conversion.
+ * Only called when a narrowing conversion is attempted without explicit intent.
+ */
+export declare const emitCoercionError: (expr: IrExpression, expectedType: IrType | undefined, ctx: CoercionContext, context: string) => void;
+/**
+ * Validate an expression in a context where a specific type is expected.
+ * This is the core of the strict coercion check.
+ */
+export declare const validateExpression: (expr: IrExpression, expectedType: IrType | undefined, ctx: CoercionContext, context: string) => void;
+/**
+ * Scan an expression tree for call expressions and validate their arguments.
+ * This is used for expressions without an explicit type context.
+ */
+export declare const scanExpressionForCalls: (expr: IrExpression, ctx: CoercionContext) => void;
+//# sourceMappingURL=numeric-expression-validation.d.ts.map

package/dist/ir/validation/numeric-expression-validation.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"numeric-expression-validation.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-expression-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,YAAY,EAAe,MAAM,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EAQL,KAAK,eAAe,EACrB,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,YAAY,EAClB,cAAc,MAAM,GAAG,SAAS,EAChC,KAAK,eAAe,EACpB,SAAS,MAAM,KACd,IAwBF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,YAAY,EAClB,cAAc,MAAM,GAAG,SAAS,EAChC,KAAK,eAAe,EACpB,SAAS,MAAM,KACd,IAgIF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,YAAY,EAClB,KAAK,eAAe,KACnB,IA+IF,CAAC"}

package/dist/ir/validation/numeric-expression-validation.js ADDED Viewed

@@ -0,0 +1,253 @@
+/**
+ * Numeric Expression Validation
+ *
+ * Expression-level coercion checks:
+ * - emitCoercionError: Emit diagnostic for implicit narrowing
+ * - validateExpression: Validate expression against expected type
+ * - scanExpressionForCalls: Scan expression tree for call argument validation
+ */
+import { createDiagnostic } from "../../types/diagnostic.js";
+import { classifyNumericExpr, getExpectedNumericKind, needsCoercion, describeExpression, tryGetObjectPropertyType, tryGetTupleElementType, moduleLocation, } from "./numeric-classification.js";
+/**
+ * Emit an error diagnostic for implicit narrowing conversion.
+ * Only called when a narrowing conversion is attempted without explicit intent.
+ */
+export const emitCoercionError = (expr, expectedType, ctx, context) => {
+    const location = expr.sourceSpan ?? moduleLocation(ctx);
+    const description = describeExpression(expr);
+    const actualKind = classifyNumericExpr(expr);
+    const expectedKind = getExpectedNumericKind(expectedType);
+    // Build descriptive type names
+    const actualName = actualKind === "Int32" ? "int" : "double";
+    const expectedName = expectedKind === "Double"
+        ? "number"
+        : expectedKind === "Int32"
+            ? "int"
+            : String(expectedKind).toLowerCase();
+    ctx.diagnostics.push(createDiagnostic("TSN5110", "error", `Implicit narrowing not allowed: ${description} (${actualName}) cannot be converted to '${expectedName}' ${context}`, location, `Add an explicit cast ('as ${expectedName}') to indicate intent.`));
+};
+/**
+ * Validate an expression in a context where a specific type is expected.
+ * This is the core of the strict coercion check.
+ */
+export const validateExpression = (expr, expectedType, ctx, context) => {
+    // Check for narrowing conversion (widening is allowed)
+    if (needsCoercion(expr, expectedType)) {
+        emitCoercionError(expr, expectedType, ctx, context);
+        return;
+    }
+    // Recursively check sub-expressions based on kind
+    switch (expr.kind) {
+        case "array": {
+            // For tuple types, validate each element against its specific expected type
+            if (expectedType?.kind === "tupleType") {
+                expr.elements.forEach((el, i) => {
+                    if (el && el.kind !== "spread") {
+                        const tupleElementType = tryGetTupleElementType(expectedType, i);
+                        validateExpression(el, tupleElementType, ctx, `in tuple element ${i}`);
+                    }
+                });
+            }
+            else {
+                // For array types, check each element against the element type
+                const elementType = expectedType?.kind === "arrayType"
+                    ? expectedType.elementType
+                    : undefined;
+                expr.elements.forEach((el, i) => {
+                    if (el && el.kind !== "spread") {
+                        validateExpression(el, elementType, ctx, `in array element ${i}`);
+                    }
+                });
+            }
+            break;
+        }
+        case "object": {
+            // For object literals, check each property against expected property type
+            // Uses contextual expectedType only - no guessing
+            expr.properties.forEach((prop) => {
+                if (prop.kind === "spread") {
+                    // For spreads, scan for nested call expressions
+                    scanExpressionForCalls(prop.expression, ctx);
+                }
+                else {
+                    // Only handle string keys (not computed expressions)
+                    if (typeof prop.key === "string") {
+                        // Get expected type for this property from contextual type
+                        const expectedPropType = tryGetObjectPropertyType(expectedType, prop.key);
+                        if (expectedPropType) {
+                            validateExpression(prop.value, expectedPropType, ctx, `in property '${prop.key}'`);
+                        }
+                        else {
+                            // Can't determine property type - scan for nested calls
+                            scanExpressionForCalls(prop.value, ctx);
+                        }
+                    }
+                    else {
+                        // Computed property key - can't resolve type, scan for calls
+                        scanExpressionForCalls(prop.value, ctx);
+                    }
+                }
+            });
+            break;
+        }
+        case "conditional": {
+            // Check both branches
+            validateExpression(expr.whenTrue, expectedType, ctx, context);
+            validateExpression(expr.whenFalse, expectedType, ctx, context);
+            break;
+        }
+        case "logical": {
+            // For ?? and ||, only the RHS (fallback value) needs coercion checking.
+            // The LHS is already typed and doesn't need to match expectedType.
+            // Example: `const x: int = maybeNull ?? 100`
+            //   - maybeNull has type `int | null` - already correct, no coercion needed
+            //   - 100 needs to be int (not double) - this is what we check
+            if (expr.operator === "??" || expr.operator === "||") {
+                // Scan LHS for nested calls (don't validate against expectedType)
+                scanExpressionForCalls(expr.left, ctx);
+                // Only validate RHS against expectedType (the fallback value)
+                validateExpression(expr.right, expectedType, ctx, context);
+            }
+            break;
+        }
+        case "call": {
+            // Check each argument against expected parameter type
+            if (expr.parameterTypes) {
+                expr.arguments.forEach((arg, i) => {
+                    if (arg.kind !== "spread" && expr.parameterTypes?.[i]) {
+                        validateExpression(arg, expr.parameterTypes[i], ctx, `in argument ${i + 1}`);
+                    }
+                });
+            }
+            if (expr.dynamicImportNamespace) {
+                scanExpressionForCalls(expr.dynamicImportNamespace, ctx);
+            }
+            break;
+        }
+        case "stackalloc": {
+            // stackalloc size must be Int32 (C# stackalloc array length uses int)
+            validateExpression(expr.size, { kind: "primitiveType", name: "int" }, ctx, "in stackalloc size");
+            break;
+        }
+        // Other expression kinds don't need recursive checking for this pass
+    }
+};
+/**
+ * Scan an expression tree for call expressions and validate their arguments.
+ * This is used for expressions without an explicit type context.
+ */
+export const scanExpressionForCalls = (expr, ctx) => {
+    const scanParameterInitializers = (parameters) => {
+        parameters.forEach((param) => {
+            if (param.initializer) {
+                scanExpressionForCalls(param.initializer, ctx);
+            }
+        });
+    };
+    switch (expr.kind) {
+        case "call": {
+            // Validate call arguments against parameter types
+            if (expr.parameterTypes) {
+                expr.arguments.forEach((arg, i) => {
+                    if (arg.kind !== "spread" && expr.parameterTypes?.[i]) {
+                        validateExpression(arg, expr.parameterTypes[i], ctx, `in argument ${i + 1}`);
+                    }
+                });
+            }
+            // Also scan the callee for nested calls
+            scanExpressionForCalls(expr.callee, ctx);
+            // Scan arguments for nested calls
+            expr.arguments.forEach((arg) => {
+                if (arg.kind !== "spread") {
+                    scanExpressionForCalls(arg, ctx);
+                }
+            });
+            if (expr.dynamicImportNamespace) {
+                scanExpressionForCalls(expr.dynamicImportNamespace, ctx);
+            }
+            break;
+        }
+        case "stackalloc": {
+            validateExpression(expr.size, { kind: "primitiveType", name: "int" }, ctx, "in stackalloc size");
+            scanExpressionForCalls(expr.size, ctx);
+            break;
+        }
+        case "array": {
+            expr.elements.forEach((el) => {
+                if (el && el.kind !== "spread") {
+                    scanExpressionForCalls(el, ctx);
+                }
+            });
+            break;
+        }
+        case "object": {
+            expr.properties.forEach((prop) => {
+                if (prop.kind !== "spread") {
+                    scanExpressionForCalls(prop.value, ctx);
+                }
+            });
+            break;
+        }
+        case "binary":
+            scanExpressionForCalls(expr.left, ctx);
+            scanExpressionForCalls(expr.right, ctx);
+            break;
+        case "unary":
+            scanExpressionForCalls(expr.expression, ctx);
+            break;
+        case "update":
+            scanExpressionForCalls(expr.expression, ctx);
+            break;
+        case "conditional":
+            scanExpressionForCalls(expr.condition, ctx);
+            scanExpressionForCalls(expr.whenTrue, ctx);
+            scanExpressionForCalls(expr.whenFalse, ctx);
+            break;
+        case "logical":
+            scanExpressionForCalls(expr.left, ctx);
+            scanExpressionForCalls(expr.right, ctx);
+            break;
+        case "memberAccess":
+            scanExpressionForCalls(expr.object, ctx);
+            // For computed access, property is an expression
+            if (expr.isComputed && typeof expr.property !== "string") {
+                scanExpressionForCalls(expr.property, ctx);
+            }
+            break;
+        case "arrowFunction":
+            scanParameterInitializers(expr.parameters);
+            // Arrow function body can be expression or block
+            if ("kind" in expr.body && expr.body.kind !== "blockStatement") {
+                scanExpressionForCalls(expr.body, ctx);
+            }
+            break;
+        case "functionExpression":
+            scanParameterInitializers(expr.parameters);
+            break;
+        case "new":
+            expr.arguments.forEach((arg) => {
+                if (arg.kind !== "spread") {
+                    scanExpressionForCalls(arg, ctx);
+                }
+            });
+            break;
+        case "await":
+            scanExpressionForCalls(expr.expression, ctx);
+            break;
+        case "assignment":
+            scanExpressionForCalls(expr.right, ctx);
+            break;
+        case "numericNarrowing":
+            scanExpressionForCalls(expr.expression, ctx);
+            break;
+        case "yield":
+            if (expr.expression) {
+                scanExpressionForCalls(expr.expression, ctx);
+            }
+            break;
+        // Leaf expressions: literal, identifier, this - no nested calls
+        default:
+            break;
+    }
+};
+//# sourceMappingURL=numeric-expression-validation.js.map

package/dist/ir/validation/numeric-expression-validation.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"numeric-expression-validation.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-expression-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,aAAa,EACb,kBAAkB,EAClB,wBAAwB,EACxB,sBAAsB,EACtB,cAAc,GAEf,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAkB,EAClB,YAAgC,EAChC,GAAoB,EACpB,OAAe,EACT,EAAE;IACR,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE1D,+BAA+B;IAC/B,MAAM,UAAU,GAAG,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC7D,MAAM,YAAY,GAChB,YAAY,KAAK,QAAQ;QACvB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,YAAY,KAAK,OAAO;YACxB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;IAE3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,mCAAmC,WAAW,KAAK,UAAU,6BAA6B,YAAY,KAAK,OAAO,EAAE,EACpH,QAAQ,EACR,6BAA6B,YAAY,wBAAwB,CAClE,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAkB,EAClB,YAAgC,EAChC,GAAoB,EACpB,OAAe,EACT,EAAE;IACR,uDAAuD;IACvD,IAAI,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;QACtC,iBAAiB,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACpD,OAAO;IACT,CAAC;IAED,kDAAkD;IAClD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,4EAA4E;YAC5E,IAAI,YAAY,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;gBACvC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBAC9B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC/B,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;wBACjE,kBAAkB,CAChB,EAAE,EACF,gBAAgB,EAChB,GAAG,EACH,oBAAoB,CAAC,EAAE,CACxB,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,+DAA+D;gBAC/D,MAAM,WAAW,GACf,YAAY,EAAE,IAAI,KAAK,WAAW;oBAChC,CAAC,CAAC,YAAY,CAAC,WAAW;oBAC1B,CAAC,CAAC,SAAS,CAAC;gBAChB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBAC9B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC/B,kBAAkB,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;oBACpE,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,0EAA0E;YAC1E,kDAAkD;YAClD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,gDAAgD;oBAChD,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACN,qDAAqD;oBACrD,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;wBACjC,2DAA2D;wBAC3D,MAAM,gBAAgB,GAAG,wBAAwB,CAC/C,YAAY,EACZ,IAAI,CAAC,GAAG,CACT,CAAC;wBACF,IAAI,gBAAgB,EAAE,CAAC;4BACrB,kBAAkB,CAChB,IAAI,CAAC,KAAK,EACV,gBAAgB,EAChB,GAAG,EACH,gBAAgB,IAAI,CAAC,GAAG,GAAG,CAC5B,CAAC;wBACJ,CAAC;6BAAM,CAAC;4BACN,wDAAwD;4BACxD,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;wBAC1C,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,6DAA6D;wBAC7D,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBAC1C,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,sBAAsB;YACtB,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC9D,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/D,MAAM;QACR,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,wEAAwE;YACxE,mEAAmE;YACnE,6CAA6C;YAC7C,4EAA4E;YAC5E,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACrD,kEAAkE;gBAClE,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACvC,8DAA8D;gBAC9D,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,sDAAsD;YACtD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;oBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtD,kBAAkB,CAChB,GAAG,EACH,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACtB,GAAG,EACH,eAAe,CAAC,GAAG,CAAC,EAAE,CACvB,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAChC,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,sEAAsE;YACtE,kBAAkB,CAChB,IAAI,CAAC,IAAI,EACT,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EACtC,GAAG,EACH,oBAAoB,CACrB,CAAC;YACF,MAAM;QACR,CAAC;QAED,qEAAqE;IACvE,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAkB,EAClB,GAAoB,EACd,EAAE;IACR,MAAM,yBAAyB,GAAG,CAChC,UAAkC,EAC5B,EAAE;QACR,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC3B,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBACtB,sBAAsB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YACjD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,kDAAkD;YAClD,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;oBAChC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtD,kBAAkB,CAChB,GAAG,EACH,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACtB,GAAG,EACH,eAAe,CAAC,GAAG,CAAC,EAAE,CACvB,CAAC;oBACJ,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YACD,wCAAwC;YACxC,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzC,kCAAkC;YAClC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBAChC,sBAAsB,CAAC,IAAI,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,kBAAkB,CAChB,IAAI,CAAC,IAAI,EACT,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,EACtC,GAAG,EACH,oBAAoB,CACrB,CAAC;YACF,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,MAAM;QACR,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC3B,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC/B,sBAAsB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QACR,CAAC;QAED,KAAK,QAAQ;YACX,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,OAAO;YACV,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,QAAQ;YACX,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,aAAa;YAChB,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5C,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC3C,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC5C,MAAM;QAER,KAAK,SAAS;YACZ,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,cAAc;YACjB,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzC,iDAAiD;YACjD,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACzD,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM;QAER,KAAK,eAAe;YAClB,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC3C,iDAAiD;YACjD,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC/D,sBAAsB,CAAC,IAAI,CAAC,IAAoB,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;YACD,MAAM;QAER,KAAK,oBAAoB;YACvB,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC3C,MAAM;QAER,KAAK,KAAK;YACR,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC7B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC1B,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBACnC,CAAC;YACH,CAAC,CAAC,CAAC;YACH,MAAM;QAER,KAAK,OAAO;YACV,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,YAAY;YACf,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,MAAM;QAER,KAAK,kBAAkB;YACrB,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM;QAER,KAAK,OAAO;YACV,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;QAER,gEAAgE;QAChE;YACE,MAAM;IACV,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.d.ts ADDED Viewed

@@ -0,0 +1,11 @@
+/**
+ * Numeric Invariants: Array Index Proofs
+ *
+ * INVARIANT 2: Array indices must have Int32 proof (TSN5107)
+ *
+ * Also covers Alice's required tests for proof propagation on array
+ * index expressions, ensuring the proof pass correctly annotates
+ * indices with numericIntent:Int32 for the emitter.
+ */
+export {};
+//# sourceMappingURL=array-index-proofs.test.d.ts.map

package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"array-index-proofs.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/array-index-proofs.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.js ADDED Viewed

@@ -0,0 +1,185 @@
+/**
+ * Numeric Invariants: Array Index Proofs
+ *
+ * INVARIANT 2: Array indices must have Int32 proof (TSN5107)
+ *
+ * Also covers Alice's required tests for proof propagation on array
+ * index expressions, ensuring the proof pass correctly annotates
+ * indices with numericIntent:Int32 for the emitter.
+ */
+import { describe, it, expect, runNumericProofPass, createModule, createVarDecl, numLiteral, narrowTo, ident, arrayExpr, arrayAccess, arrayIdent, } from "./helpers.js";
+describe("Numeric Proof Invariants", () => {
+    describe("INVARIANT 2: Array indices must be Int32 (TSN5107)", () => {
+        it("should ACCEPT array access with Int32-narrowed index", () => {
+            // const arr = [1, 2, 3];
+            // const idx = 1 as int;
+            // const x = arr[idx];
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("idx", narrowTo(numLiteral(1), "Int32")),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("idx"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should ACCEPT array access with integer literal in Int32 range", () => {
+            // const arr = [1, 2, 3];
+            // const x = arr[1];  // 1 is valid Int32 literal
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), numLiteral(1))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("should REJECT array access with Double index", () => {
+            // const arr = [1, 2, 3];
+            // const idx = 1.5;
+            // const x = arr[idx];  // ERROR: Double is not Int32
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("idx", numLiteral(1.5, "1.5")),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("idx"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
+        });
+        it("should REJECT array access with unnarowed identifier", () => {
+            // const arr = [1, 2, 3];
+            // const idx = someFunction();  // Unknown numeric type
+            // const x = arr[idx];  // ERROR: Unknown is not Int32
+            const unknownIdent = {
+                kind: "identifier",
+                name: "idx",
+                // No inferredType - simulates unknown type
+            };
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), unknownIdent)),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
+        });
+    });
+    /**
+     * ALICE'S REQUIRED TESTS: Proof propagation for array index expressions
+     *
+     * These tests verify that the proof pass correctly annotates array indices
+     * with numericIntent:Int32, which the emitter relies on (without re-deriving proofs).
+     */
+    describe("Array Index Proof Propagation (Alice's Requirements)", () => {
+        it("arr[0] - bare literal gets numericIntent:Int32", () => {
+            // const arr = [1, 2, 3];
+            // const x = arr[0];  // 0 should get numericIntent:Int32 after proof pass
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), numLiteral(0))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            // Find the array access in the processed module
+            const varDecl = result.modules[0]?.body[1];
+            expect(varDecl?.kind).to.equal("variableDeclaration");
+            if (varDecl?.kind === "variableDeclaration") {
+                const access = varDecl.declarations[0]
+                    ?.initializer;
+                expect(access?.kind).to.equal("memberAccess");
+                const indexExpr = access.property;
+                expect(typeof indexExpr).to.not.equal("string");
+                if (typeof indexExpr !== "string") {
+                    // Index should have primitiveType(name="int") after proof pass
+                    expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
+                    if (indexExpr.inferredType?.kind === "primitiveType") {
+                        expect(indexExpr.inferredType.name).to.equal("int");
+                    }
+                }
+            }
+        });
+        it("arr[i] where i=0 - inferred Int32 propagates to index", () => {
+            // const i = 0;  // i inferred as Int32 (integer literal in range)
+            // const arr = [1, 2, 3];
+            // const x = arr[i];  // i should propagate Int32 to index
+            const module = createModule([
+                createVarDecl("i", numLiteral(0)),
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("i"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            // Should pass - i is proven Int32 from its integer literal initialization
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+            // Verify the index expression has primitiveType(name="int")
+            const varDecl = result.modules[0]?.body[2];
+            expect(varDecl?.kind).to.equal("variableDeclaration");
+            if (varDecl?.kind === "variableDeclaration") {
+                const access = varDecl.declarations[0]
+                    ?.initializer;
+                const indexExpr = access.property;
+                if (typeof indexExpr !== "string") {
+                    expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
+                    if (indexExpr.inferredType?.kind === "primitiveType") {
+                        expect(indexExpr.inferredType.name).to.equal("int");
+                    }
+                }
+            }
+        });
+        it("arr[i] where i=0.0 - Double rejected with TSN5107", () => {
+            // const i = 0.0;  // i is Double (has decimal point)
+            // const arr = [1, 2, 3];
+            // const x = arr[i];  // SHOULD FAIL: Double is not Int32
+            const module = createModule([
+                createVarDecl("i", numLiteral(0.0, "0.0")), // raw has decimal point
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("i"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.length).to.be.greaterThan(0);
+            expect(result.diagnostics[0]?.code).to.equal("TSN5107");
+        });
+        it("for loop counter is proven Int32 for array access", () => {
+            // Simulates: for (let i = 0; i < arr.length; i++) { arr[i] }
+            // The loop counter i, initialized from integer literal, should be Int32
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                // Simulate loop counter initialization
+                createVarDecl("i", numLiteral(0), "let"),
+                // Simulate arr[i] inside loop body
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), ident("i"))),
+            ]);
+            const result = runNumericProofPass([module]);
+            // Should pass - let i = 0 is proven Int32
+            expect(result.ok).to.be.true;
+            expect(result.diagnostics).to.have.length(0);
+        });
+        it("arr[1] - integer literal 1 gets numericIntent:Int32", () => {
+            // Specifically test literal 1 (not just 0)
+            const module = createModule([
+                createVarDecl("arr", arrayExpr([numLiteral(1), numLiteral(2), numLiteral(3)])),
+                createVarDecl("x", arrayAccess(arrayIdent("arr"), numLiteral(1))),
+            ]);
+            const result = runNumericProofPass([module]);
+            expect(result.ok).to.be.true;
+            // Verify the literal 1 gets primitiveType(name="int")
+            const varDecl = result.modules[0]?.body[1];
+            if (varDecl?.kind === "variableDeclaration") {
+                const access = varDecl.declarations[0]
+                    ?.initializer;
+                const indexExpr = access.property;
+                if (typeof indexExpr !== "string") {
+                    expect(indexExpr.inferredType?.kind).to.equal("primitiveType");
+                    if (indexExpr.inferredType?.kind === "primitiveType") {
+                        expect(indexExpr.inferredType.name).to.equal("int");
+                    }
+                }
+            }
+        });
+    });
+});
+//# sourceMappingURL=array-index-proofs.test.js.map

package/dist/ir/validation/numeric-invariants-cases/array-index-proofs.test.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"array-index-proofs.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/array-index-proofs.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,QAAQ,EACR,EAAE,EACF,MAAM,EACN,mBAAmB,EACnB,YAAY,EACZ,aAAa,EACb,UAAU,EACV,QAAQ,EACR,KAAK,EACL,SAAS,EACT,WAAW,EACX,UAAU,GACX,MAAM,cAAc,CAAC;AAItB,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAClE,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,yBAAyB;YACzB,wBAAwB;YACxB,sBAAsB;YACtB,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,yBAAyB;YACzB,iDAAiD;YACjD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,yBAAyB;YACzB,mBAAmB;YACnB,qDAAqD;YACrD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC5C,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,yBAAyB;YACzB,uDAAuD;YACvD,sDAAsD;YACtD,MAAM,YAAY,GAAiB;gBACjC,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,KAAK;gBACX,2CAA2C;aAC5C,CAAC;YAEF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,CAAC;aACjE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH;;;;;OAKG;IACH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,yBAAyB;YACzB,0EAA0E;YAC1E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,gDAAgD;YAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;oBACpC,EAAE,WAAiC,CAAC;gBACtC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBAE9C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAClC,MAAM,CAAC,OAAO,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAChD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,+DAA+D;oBAC/D,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,kEAAkE;YAClE,yBAAyB;YACzB,0DAA0D;YAC1D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;gBACjC,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;aAC/D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,0EAA0E;YAC1E,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE7C,4DAA4D;YAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACtD,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;oBACpC,EAAE,WAAiC,CAAC;gBACtC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,qDAAqD;YACrD,yBAAyB;YACzB,yDAAyD;YACzD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,wBAAwB;gBACpE,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;aAC/D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,6DAA6D;YAC7D,wEAAwE;YACxE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,uCAAuC;gBACvC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;gBACxC,mCAAmC;gBACnC,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;aAC/D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,0CAA0C;YAC1C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,2CAA2C;YAC3C,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B,aAAa,CACX,KAAK,EACL,SAAS,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD;gBACD,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;aAClE,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,sDAAsD;YACtD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,OAAO,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;oBACpC,EAAE,WAAiC,CAAC;gBACtC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC;gBAClC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,IAAI,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;wBACrD,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.d.ts ADDED Viewed

@@ -0,0 +1,16 @@
+/**
+ * Numeric Invariants: Arrow Function and Guard Proof Context
+ *
+ * REGRESSION TESTS: Arrow function and function expression parameter proofs
+ *
+ * These tests guard against the bug where arrow functions and function expressions
+ * did not register their parameters in provenParameters, causing (n: int) => (n * 2) as int
+ * to fail proof validation. This was the root cause of 3 E2E test failures:
+ * - action-func-callbacks
+ * - collections
+ * - linq-dotnet
+ *
+ * Also covers guarded integer range branch proofs for function declarations.
+ */
+export {};
+//# sourceMappingURL=arrow-function-proofs.test.d.ts.map

package/dist/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"arrow-function-proofs.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/numeric-invariants-cases/arrow-function-proofs.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG"}