@tsonic/emitter 0.0.61 → 0.0.63

package/dist/core/semantic/boolean-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean-context.js","sourceRoot":"","sources":["../../../src/core/semantic/boolean-context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAQ1D,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;;;GAKG;AACH,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACQ,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;IAC9D,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAExC,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,gBAAgB,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC;QAE9D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAY,CAAC;QAE1D,KAAK,eAAe,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAY,CAAC;QAE7D,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAY,CAAC;IAC7D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACjC,CAAC;IAED,sFAAsF;IACtF,oEAAoE;IACpE,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;IACxD,OAAO,CACL,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,6BAA6B,GAAG,CAAC,IAAkB,EAAW,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,KAAK;YACvB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;YACrB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,IAAI;YACtB,IAAI,CAAC,QAAQ,KAAK,YAAY;YAC9B,IAAI,CAAC,QAAQ,KAAK,IAAI,CACvB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAE/D,oGAAoG;AACpG,MAAM,SAAS,GAAG,CAAC,GAAwB,EAAuB,EAAE;IAClE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;QAC9D,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,mEAAmE;YACnE,QAAQ,GAAG,CAAC,aAAa,EAAE,CAAC;gBAC1B,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,GAAG,CAAC;gBACT,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI;oBACP,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;gBAC9D;oBACE,OAAO,GAAG,CAAC;YACf,CAAC;QACH,CAAC;QACD;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,mBAAmB;IACzB,IAAI;CACL,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,qBAAqB,GAAG,CAAC,GAAW,EAAU,EAAE,CACpD,GAAG,GAAG,YAAY;IAClB,iBAAiB,GAAG,IAAI;IACxB,sBAAsB,GAAG,iBAAiB;IAC1C,mBAAmB,GAAG,SAAS;IAC/B,iBAAiB,GAAG,SAAS;IAC7B,mBAAmB,GAAG,SAAS;IAC/B,qBAAqB,GAAG,SAAS;IACjC,eAAe,GAAG,SAAS;IAC3B,iBAAiB,GAAG,UAAU;IAC9B,iBAAiB,GAAG,UAAU;IAC9B,mBAAmB,GAAG,WAAW;IACjC,iBAAiB,GAAG,SAAS;IAC7B,mBAAmB,GAAG,SAAS;IAC/B,mDAAmD,GAAG,SAAS;IAC/D,qDAAqD,GAAG,SAAS;IACjE,gDAAgD,GAAG,kFAAkF,GAAG,KAAK;IAC7I,oBAAoB,GAAG,kCAAkC,GAAG,KAAK;IACjE,sBAAsB,GAAG,oCAAoC,GAAG,KAAK;IACrE,uBAAuB,GAAG,UAAU;IACpC,iBAAiB,GAAG,aAAa;IACjC,aAAa,CAAC;AAEhB,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAE/D,MAAM,iCAAiC,GAAG,CACxC,UAA+B,EAC/B,OAAuB,EACgB,EAAE;IACzC,8FAA8F;IAC9F,EAAE;IACF,yEAAyE;IACzE,gGAAgG;IAChG,qEAAqE;IACrE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,mBAAmB,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,YAAY,GAAwB;QACxC,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;QACjC,OAAO,EAAE;YACP,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YACnD,WAAW,EAAE,GAAG;SACjB;KACF,CAAC;IAEF,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,WAAW,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;KACpD,CAAC;IAEF,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,UAAU;aAClB;SACF;QACD,KAAK,CAAC,OAAO;KACd,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAElB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAEhD,oEAAoE;QACpE,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM;YACxE,OAAO,GAAG,kBAAkB,CAC1B,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,cAAc,EACpB,OAAO,CAAC,aAAa,CACtB,CAAC;YACF,SAAS;QACX,CAAC;QAED,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9C,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;AAEtD,MAAM,4BAA4B,GAAG,CACnC,KAAwB,EACqB,EAAE;IAC/C,IAAI,IAAiD,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;QAClB,MAAM,IAAI,GACR,OAAO,CAAC,KAAK,QAAQ;YACnB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;gBACrB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,CAAC,KAAK,SAAS;oBACtB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,IAAI,GAAG,IAAI,CAAC;aAClB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAE/D,MAAM,+BAA+B,GAAG,CACtC,IAAkB,EAClB,UAA+B,EAC/B,SAAiD,EACjD,OAAuB,EACgB,EAAE;IACzC,2DAA2D;IAC3D,wEAAwE;IACxE,+DAA+D;IAC/D,mGAAmG;IAEnG,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC;IAElE,MAAM,WAAW,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;IAC/D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,WAAW;SACR,CAAC;QACZ,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,qBAAqB,CAC1B,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,EACnC,UAAU,EACV,OAAO,CACR,CAAC;QACJ,CAAC;QAED,gFAAgF;QAChF,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAC7B,4BAA4B,MAAM,EAAE,EACpC,SAAS,CACV,CAAC;QACF,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAE9B,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,GAAG,qBAAqB,CACpD;YACE,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,GAAG;YACT,YAAY,EAAE,QAAQ;SACP,EACjB,cAAc,CAAC,GAAG,CAAC,EACnB,KAAK,CAAC,OAAO,CACd,CAAC;QACF,MAAM,cAAc,GAClB,WAAW,KAAK,QAAQ;YACtB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,WAAW,KAAK,QAAQ;gBACxB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,MAAM,CAAC;QACf,4CAA4C;QAC5C,OAAO;YACL;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE;wBACJ,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;wBACjC,OAAO,EAAE;4BACP,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE;4BACzD,WAAW,EAAE,GAAG;yBACjB;qBACF;oBACD,KAAK,EAAE,YAAY;iBACpB;aACF;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,IAAI,UAAU,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAErD,gFAAgF;QAChF,4EAA4E;QAC5E,kFAAkF;QAClF,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACrC,OAAO,qBAAqB,CAC1B,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,EAClC,UAAU,EACV,OAAO,CACR,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAC7B,4BAA4B,MAAM,EAAE,EACpC,SAAS,CACV,CAAC;QACF,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC;QAE9B,0FAA0F;QAC1F,wFAAwF;QACxF,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,GAAG,qBAAqB,CACpD;YACE,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,GAAG;YACT,YAAY,EAAE,OAAO;SACN,EACjB,cAAc,CAAC,GAAG,CAAC,EACnB,KAAK,CAAC,OAAO,CACd,CAAC;QACF,MAAM,cAAc,GAClB,OAAO,CAAC,IAAI,KAAK,QAAQ;YACvB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;gBACtB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;oBACzB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;wBAC1B,CAAC,CAAC,MAAM;wBACR,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM;4BACvB,CAAC,CAAC,MAAM;4BACR,CAAC,CAAC,QAAQ,CAAC;QACvB,4CAA4C;QAC5C,OAAO;YACL;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE;wBACJ,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;wBACjC,OAAO,EAAE;4BACP,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE;4BACzD,WAAW,EAAE,GAAG;yBACjB;qBACF;oBACD,KAAK,EAAE,YAAY;iBACpB;aACF;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAC7B,yBAAyB,MAAM,EAAE,EACjC,SAAS,CACV,CAAC;QACF,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;QAE5B,mCAAmC;QACnC,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC;QAC7B,MAAM,UAAU,GAA0B,EAAE,CAAC;QAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;YACtB,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC7C,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;gBACtC,SAAS;YACX,CAAC;YAED,MAAM,gBAAgB,GAAwB;gBAC5C,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC;oBAC7B,UAAU,EAAE,KAAK,OAAO,EAAE;iBAC3B;gBACD,SAAS,EAAE,EAAE;aACd,CAAC;YAEF,MAAM,CAAC,aAAa,EAAE,SAAS,CAAC,GAAG,qBAAqB,CACtD;gBACE,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,GAAG,CAAC,KAAK,OAAO,EAAE;gBACxB,YAAY,EAAE,UAAU;aACT,EACjB,gBAAgB,EAChB,QAAQ,CACT,CAAC;YACF,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC/B,QAAQ,GAAG,SAAS,CAAC;QACvB,CAAC;QAED,8EAA8E;QAC9E,MAAM,UAAU,GAAG,CAAC,KAAa,EAAuB,EAAE;YACxD,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC/C,IAAI,KAAK,KAAK,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,IAAI,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;YACtC,CAAC;YACD,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YACjC,OAAO;gBACL,IAAI,EAAE,uBAAuB;gBAC7B,SAAS,EAAE;oBACT,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC;wBAC7B,UAAU,EAAE,KAAK,KAAK,GAAG,CAAC,EAAE;qBAC7B;oBACD,SAAS,EAAE,EAAE;iBACd;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,MAAM,IAAI,WAAW,CAAC,OAAO,CAAC;iBAC3C;gBACD,SAAS,EAAE;oBACT,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC;iBAClC;aACF,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAE/B,wDAAwD;QACxD,OAAO;YACL;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE;oBACV,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE;wBACJ,IAAI,EAAE,kBAAkB;wBACxB,aAAa,EAAE,IAAI;wBACnB,IAAI,EAAE;4BACJ,IAAI,EAAE,cAAc;4BACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;4BACjC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC,EAAE;yBAChD;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,cAAc;4BACpB,UAAU,EAAE,cAAc,CAAC,CAAC,CAAC;4BAC7B,OAAO,EAAE;gCACP,IAAI,EAAE,gBAAgB;gCACtB,OAAO,EAAE;oCACP,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC;iCAChC;6BACF;yBACF;qBACF;oBACD,KAAK,EAAE;wBACL,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE,QAAQ;qBACrB;iBACF;aACF;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,uFAAuF;IACvF,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAE/D;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAkB,EAClB,UAA+B,EAC/B,OAAuB,EACgB,EAAE;IACzC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,MAAM,QAAQ,GAAG,YAAY;QAC3B,CAAC,CAAC,qBAAqB,CACnB,iCAAiC,CAAC,YAAY,CAAC,IAAI,YAAY,EAC/D,OAAO,CACR;QACH,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,IAAI,GAAG,QAAQ,CAAC;IAEtB,2EAA2E;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpD,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,kFAAkF;IAClF,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,sFAAsF;IACtF,gEAAgE;IAChE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,+BAA+B,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED,uGAAuG;IACvG,2FAA2F;IAC3F,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,sCAAsC;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW;gBACd,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;YAEzC,KAAK,QAAQ;gBACX,8BAA8B;gBAC9B,OAAO;oBACL;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE;4BACV,IAAI,EAAE,uBAAuB;4BAC7B,aAAa,EAAE,GAAG;4BAClB,OAAO,EAAE;gCACP,IAAI,EAAE,sBAAsB;gCAC5B,UAAU,EAAE;oCACV,IAAI,EAAE,wBAAwB;oCAC9B,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC;oCACjC,UAAU,EAAE,eAAe;iCAC5B;gCACD,SAAS,EAAE,CAAC,UAAU,CAAC;6BACxB;yBACF;qBACF;oBACD,OAAO;iBACR,CAAC;YAEJ,KAAK,KAAK;gBACR,YAAY;gBACZ,OAAO;oBACL;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE;4BACV,IAAI,EAAE,kBAAkB;4BACxB,aAAa,EAAE,IAAI;4BACnB,IAAI,EAAE,UAAU;4BAChB,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC;yBACxB;qBACF;oBACD,OAAO;iBACR,CAAC;YAEJ,KAAK,MAAM;gBACT,eAAe;gBACf,OAAO;oBACL;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE;4BACV,IAAI,EAAE,kBAAkB;4BACxB,aAAa,EAAE,IAAI;4BACnB,IAAI,EAAE,UAAU;4BAChB,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC;yBAC5B;qBACF;oBACD,OAAO;iBACR,CAAC;YAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,iDAAiD;gBACjD,8DAA8D;gBAC9D,yEAAyE;gBACzE,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;gBACpE,MAAM,QAAQ,GAAG,iBAAiB,CAChC,uBAAuB,MAAM,EAAE,EAC/B,SAAS,CACV,CAAC;gBACF,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;gBACjC,OAAO;oBACL;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,UAAU,EAAE;4BACV,IAAI,EAAE,kBAAkB;4BACxB,aAAa,EAAE,IAAI;4BACnB,IAAI,EAAE;gCACJ,IAAI,EAAE,cAAc;gCACpB,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;gCACjC,OAAO,EAAE;oCACP,IAAI,EAAE,oBAAoB;oCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oCACnD,WAAW,EAAE,GAAG;iCACjB;6BACF;4BACD,KAAK,EAAE;gCACL,IAAI,EAAE,kBAAkB;gCACxB,aAAa,EAAE,IAAI;gCACnB,IAAI,EAAE;oCACJ,IAAI,EAAE,kBAAkB;oCACxB,aAAa,EAAE,IAAI;oCACnB,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC;oCACzB,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC;iCACxB;gCACD,KAAK,EAAE;oCACL,IAAI,EAAE,uBAAuB;oCAC7B,aAAa,EAAE,GAAG;oCAClB,OAAO,EAAE;wCACP,IAAI,EAAE,sBAAsB;wCAC5B,UAAU,EAAE;4CACV,IAAI,EAAE,wBAAwB;4CAC9B,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC;4CACjC,UAAU,EAAE,OAAO;yCACpB;wCACD,SAAS,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;qCACjC;iCACF;6BACF;yBACF;qBACF;oBACD,QAAQ,CAAC,OAAO;iBACjB,CAAC;YACJ,CAAC;YAED,KAAK,SAAS;gBACZ,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAkB,EAClB,WAA0B,EAC1B,OAAuB,EACgB,EAAE;IACzC,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAClD,CAAC;QACD,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,uBAAuB,CAChD,IAAI,CAAC,IAAI,EACT,WAAW,EACX,OAAO,CACR,CAAC;QACF,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,uBAAuB,CAClD,IAAI,CAAC,KAAK,EACV,WAAW,EACX,OAAO,CACR,CAAC;QAEF,OAAO;YACL;gBACE,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI,CAAC,QAAQ;gBAC5B,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,QAAQ;aAChB;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE;IACjE,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAC5E,CAAC,CAAC"}

package/dist/core/semantic/boolean-context.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean-context.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/boolean-context.test.ts"],"names":[],"mappings":""}

package/dist/core/{boolean-context.test.js → semantic/boolean-context.test.js}

@@ -1,6 +1,7 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
-import { emitBooleanCondition, toBooleanCondition } from "./boolean-context.js";
+import { toBooleanConditionAst } from "./boolean-context.js";
+import { printExpression } from "../format/backend-ast/printer.js";
 const defaultOptions = {
     rootNamespace: "Test",
     indent: 2,
@@ -22,76 +23,62 @@ const ref = (clrName) => ({
 });
 const union = (types) => ({ kind: "unionType", types });
 const id = (name, inferredType) => ({ kind: "identifier", name, inferredType });
-const emitExpr = (expr, context) => {
-    switch (expr.kind) {
-        case "identifier":
-            return [{ text: expr.name }, context];
-        case "literal":
-            return [
-                {
-                    text: typeof expr.value === "string"
-                        ? JSON.stringify(expr.value)
-                        : String(expr.value),
-                },
-                context,
-            ];
-        case "binary": {
-            const lhs = expr.left.kind === "identifier" ? expr.left.name : "lhs";
-            const rhs = expr.right.kind === "identifier" ? expr.right.name : "rhs";
-            const op = expr.operator === "===" ? "==" : expr.operator === "!==" ? "!=" : expr.operator;
-            return [{ text: `${lhs} ${op} ${rhs}` }, context];
-        }
-        default:
-            return [{ text: "__expr" }, context];
-    }
+const idAst = (name) => ({
+    kind: "identifierExpression",
+    identifier: name,
+});
+/** Helper: call toBooleanConditionAst and print the result to comparable text. */
+const toText = (expr, emittedAst, ctx) => {
+    const [ast, nextCtx] = toBooleanConditionAst(expr, emittedAst, ctx);
+    return [printExpression(ast), nextCtx];
 };
-describe("Boolean-context lowering (emitBooleanCondition/toBooleanCondition)", () => {
-    describe("toBooleanCondition", () => {
+describe("Boolean-context lowering (toBooleanConditionAst)", () => {
+    describe("toBooleanConditionAst", () => {
         it("treats primitive boolean as a condition (no rewriting)", () => {
             const ctx = createContext();
             const expr = id("b", prim("boolean"));
-            const [text] = toBooleanCondition(expr, "b", ctx);
+            const [text] = toText(expr, idAst("b"), ctx);
             expect(text).to.equal("b");
         });
         it("coerces CLR bool (System.Boolean) surfaced as referenceType into a boolean condition", () => {
             const ctx = createContext();
             const expr = id("bclBool", ref("System.Boolean"));
-            const [text] = toBooleanCondition(expr, "bclBool", ctx);
+            const [text] = toText(expr, idAst("bclBool"), ctx);
             expect(text).to.equal("bclBool");
         });
         it("coerces CLR int (System.Int32) surfaced as referenceType into `!= 0` truthiness", () => {
             const ctx = createContext();
             const expr = id("bclInt", ref("System.Int32"));
-            const [text] = toBooleanCondition(expr, "bclInt", ctx);
-            expect(text).to.equal("bclInt != 0");
+            const [text] = toText(expr, idAst("bclInt"), ctx);
+            expect(text).to.equal("(bclInt != 0)");
         });
         it("coerces other CLR primitives surfaced as referenceType via runtime truthiness (no `!= null` boxing bugs)", () => {
             const ctx = createContext({ tempVarId: 0 });
             const longExpr = id("l", ref("System.Int64"));
-            const [longText] = toBooleanCondition(longExpr, "l", ctx);
+            const [longText] = toText(longExpr, idAst("l"), ctx);
             expect(longText).to.include("long =>");
             expect(longText).to.include("!= 0L");
             expect(longText).to.not.include("!= null");
             const floatExpr = id("f", ref("System.Single"));
-            const [floatText] = toBooleanCondition(floatExpr, "f", ctx);
+            const [floatText] = toText(floatExpr, idAst("f"), ctx);
             expect(floatText).to.include("float =>");
             expect(floatText).to.include("!= 0f");
             expect(floatText).to.include("!float.IsNaN");
             expect(floatText).to.not.include("!= null");
             const charExpr = id("c", ref("System.Char"));
-            const [charText] = toBooleanCondition(charExpr, "c", ctx);
-            expect(charText).to.equal("c != '\\0'");
+            const [charText] = toText(charExpr, idAst("c"), ctx);
+            expect(charText).to.equal("(c != '\\0')");
         });
         it("emits !string.IsNullOrEmpty for primitive strings", () => {
             const ctx = createContext();
             const expr = id("s", prim("string"));
-            const [text] = toBooleanCondition(expr, "s", ctx);
-            expect(text).to.equal("!string.IsNullOrEmpty(s)");
+            const [text] = toText(expr, idAst("s"), ctx);
+            expect(text).to.equal("(!string.IsNullOrEmpty(s))");
         });
         it("emits JS truthiness for primitive numbers (false iff 0 or NaN) with a single-eval pattern var", () => {
             const ctx = createContext({ tempVarId: 0 });
             const expr = id("n", prim("number"));
-            const [text, next] = toBooleanCondition(expr, "n", ctx);
+            const [text, next] = toText(expr, idAst("n"), ctx);
             expect(text).to.match(/n is double __tsonic_truthy_num_1/);
             expect(text).to.include("!= 0");
             expect(text).to.include("!double.IsNaN");
@@ -106,20 +93,26 @@ describe("Boolean-context lowering (emitBooleanCondition/toBooleanCondition)", (
                 right: id("b", prim("number")),
                 inferredType: prim("number"),
             };
-            const [text, next] = toBooleanCondition(expr, "a ?? b", ctx);
-            expect(text).to.match(/\(\(a \?\? b\) is double __tsonic_truthy_num_1/);
+            const emittedAst = {
+                kind: "binaryExpression",
+                operatorToken: "??",
+                left: idAst("a"),
+                right: idAst("b"),
+            };
+            const [text, next] = toText(expr, emittedAst, ctx);
+            expect(text).to.match(/\(a \?\? b\) is double __tsonic_truthy_num_1/);
             expect(next.tempVarId).to.equal(1);
         });
         it("emits runtime truthiness for unknown/any (never `!= null` fallbacks)", () => {
             const ctx = createContext({ tempVarId: 0 });
             const unknownExpr = id("x", { kind: "unknownType" });
-            const [unknownText, unknownNext] = toBooleanCondition(unknownExpr, "x", ctx);
+            const [unknownText, unknownNext] = toText(unknownExpr, idAst("x"), ctx);
             expect(unknownText).to.include("switch {");
             expect(unknownText).to.include("bool =>");
             expect(unknownText).to.not.include("!= null");
             expect(unknownNext.tempVarId).to.equal(1);
             const anyExpr = id("y", { kind: "anyType" });
-            const [anyText, anyNext] = toBooleanCondition(anyExpr, "y", ctx);
+            const [anyText, anyNext] = toText(anyExpr, idAst("y"), ctx);
             expect(anyText).to.include("switch {");
             expect(anyText).to.include("string =>");
             expect(anyText).to.not.include("!= null");
@@ -134,21 +127,40 @@ describe("Boolean-context lowering (emitBooleanCondition/toBooleanCondition)", (
                 right: id("b", prim("int")),
                 inferredType: prim("boolean"),
             };
-            const [text] = toBooleanCondition(expr, "a == b", ctx);
+            const emittedAst = {
+                kind: "binaryExpression",
+                operatorToken: "==",
+                left: idAst("a"),
+                right: idAst("b"),
+            };
+            const [text] = toText(expr, emittedAst, ctx);
             expect(text).to.equal("a == b");
         });
         it("handles nullable unions (T | null | undefined) via pattern match to the non-null type", () => {
             const ctx = createContext({ tempVarId: 0 });
             const expr = id("x", union([prim("int"), prim("null"), prim("undefined")]));
-            const [text, next] = toBooleanCondition(expr, "x", ctx);
+            const [text, next] = toText(expr, idAst("x"), ctx);
             expect(text).to.match(/x is int __tsonic_truthy_nullable_1/);
             expect(text).to.include("__tsonic_truthy_nullable_1 != 0");
             expect(next.tempVarId).to.equal(1);
         });
+        it("flattens nullable non-primitive unions to direct runtime truthiness (no nested nullable temp)", () => {
+            const ctx = createContext({ tempVarId: 0 });
+            const expr = id("x", union([
+                { kind: "arrayType", elementType: prim("string") },
+                prim("null"),
+                prim("undefined"),
+            ]));
+            const [text, next] = toText(expr, idAst("x"), ctx);
+            expect(text).to.match(/x is object __tsonic_truthy_1/);
+            expect(text).to.include("switch {");
+            expect(text).to.not.include("__tsonic_truthy_nullable_");
+            expect(next.tempVarId).to.equal(1);
+        });
         it("handles 2-8 unions via IsN/AsN active-variant checks", () => {
             const ctx = createContext({ tempVarId: 0 });
             const expr = id("u", union([prim("int"), prim("string")]));
-            const [text, next] = toBooleanCondition(expr, "u", ctx);
+            const [text, next] = toText(expr, idAst("u"), ctx);
             expect(text).to.match(/u is var __tsonic_truthy_union_1/);
             expect(text).to.include("__tsonic_truthy_union_1.Is1()");
             expect(text).to.include("__tsonic_truthy_union_1.As1()");
@@ -162,70 +174,11 @@ describe("Boolean-context lowering (emitBooleanCondition/toBooleanCondition)", (
                 { kind: "literalType", value: "b" },
                 prim("null"),
             ]));
-            const [text, next] = toBooleanCondition(expr, "x", ctx);
+            const [text, next] = toText(expr, idAst("x"), ctx);
             expect(text).to.match(/x is string __tsonic_truthy_nullable_1/);
             expect(text).to.include("!string.IsNullOrEmpty(__tsonic_truthy_nullable_1)");
             expect(next.tempVarId).to.equal(1);
         });
     });
-    describe("emitBooleanCondition", () => {
-        it("applies truthiness to each operand for logical && / || (preserving short-circuit form)", () => {
-            const ctx = createContext();
-            const expr = {
-                kind: "logical",
-                operator: "&&",
-                left: id("a", prim("int")),
-                right: id("b", prim("int")),
-                inferredType: prim("int"),
-            };
-            const [text] = emitBooleanCondition(expr, emitExpr, ctx);
-            expect(text).to.equal("a != 0 && b != 0");
-        });
-        it("parenthesizes `||` operands when they appear under `&&` so grouping is preserved", () => {
-            const ctx = createContext();
-            const expr = {
-                kind: "logical",
-                operator: "&&",
-                left: {
-                    kind: "logical",
-                    operator: "||",
-                    left: id("a", prim("int")),
-                    right: id("b", prim("int")),
-                    inferredType: prim("int"),
-                },
-                right: id("c", prim("int")),
-                inferredType: prim("int"),
-            };
-            const [text] = emitBooleanCondition(expr, emitExpr, ctx);
-            expect(text).to.equal("(a != 0 || b != 0) && c != 0");
-        });
-        it("does not rewrite inherently-boolean expressions", () => {
-            const ctx = createContext();
-            const expr = {
-                kind: "binary",
-                operator: "==",
-                left: id("a", prim("int")),
-                right: id("b", prim("int")),
-                inferredType: prim("boolean"),
-            };
-            const [text] = emitBooleanCondition(expr, emitExpr, ctx);
-            expect(text).to.equal("a == b");
-        });
-        it("uses runtime truthiness for unknown operands (never `!= null`) while preserving logical operators", () => {
-            const ctx = createContext({ tempVarId: 0 });
-            const expr = {
-                kind: "logical",
-                operator: "||",
-                left: id("x", { kind: "unknownType" }),
-                right: id("y", prim("boolean")),
-                inferredType: { kind: "unknownType" },
-            };
-            const [text, next] = emitBooleanCondition(expr, emitExpr, ctx);
-            expect(text).to.include("switch {");
-            expect(text).to.include("|| y");
-            expect(text).to.not.include("!= null");
-            expect(next.tempVarId).to.equal(1);
-        });
-    });
 });
 //# sourceMappingURL=boolean-context.test.js.map

package/dist/core/semantic/boolean-context.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean-context.test.js","sourceRoot":"","sources":["../../../src/core/semantic/boolean-context.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAKnE,MAAM,cAAc,GAAmB;IACrC,aAAa,EAAE,MAAM;IACrB,MAAM,EAAE,CAAC;CACV,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,QAAiC,EAAE,EACnB,EAAE,CAAC,CAAC;IACpB,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,cAAc,EAAE,IAAI,GAAG,EAAU;IACjC,MAAM,EAAE,IAAI,GAAG,EAAU;IACzB,GAAG,KAAK;CACT,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,CACX,IAAwD,EAChD,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAW,CAAC;AAEzD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CACtC,CAAC;IACC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO;IAC1C,eAAe,EAAE,OAAO;CACzB,CAAW,CAAC;AAEf,MAAM,KAAK,GAAG,CAAC,KAAwB,EAAU,EAAE,CACjD,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAW,CAAC;AAE3C,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,YAAqB,EAAgB,EAAE,CAC/D,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,CAAiB,CAAC;AAE/D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAuB,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE,IAAI;CACjB,CAAC,CAAC;AAEH,kFAAkF;AAClF,MAAM,MAAM,GAAG,CACb,IAAkB,EAClB,UAA+B,EAC/B,GAAmB,EACO,EAAE;IAC5B,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACpE,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sFAAsF,EAAE,GAAG,EAAE;YAC9F,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0GAA0G,EAAE,GAAG,EAAE;YAClH,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAE5C,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACrD,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACvC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACrC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE3C,MAAM,SAAS,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACvD,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC7C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE5C,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACrD,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;YACvG,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;YAC7F,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC9B,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC;aACb,CAAC;YAElB,MAAM,UAAU,GAAwB;gBACtC,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;gBAChB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC;aAClB,CAAC;YAEF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,8CAA8C,CAAC,CAAC;YACtE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAE5C,MAAM,WAAW,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAY,CAAC,CAAC;YAC/D,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACxE,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAE1C,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAY,CAAC,CAAC;YACvD,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,GAAG,GAAG,aAAa,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1B,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3B,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC;aACd,CAAC;YAElB,MAAM,UAAU,GAAwB;gBACtC,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;gBAChB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC;aAClB,CAAC;YAEF,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;YAC/F,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CACb,GAAG,EACH,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CACtD,CAAC;YACF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;YACvG,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CACb,GAAG,EACH,KAAK,CAAC;gBACJ,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAY;gBAC5D,IAAI,CAAC,MAAM,CAAC;gBACZ,IAAI,CAAC,WAAW,CAAC;aAClB,CAAC,CACH,CAAC;YACF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;YAChG,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,IAAI,GAAG,EAAE,CACb,GAAG,EACH,KAAK,CAAC;gBACJ,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAY;gBAC7C,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAY;gBAC7C,IAAI,CAAC,MAAM,CAAC;aACb,CAAC,CACH,CAAC;YAEF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,OAAO,CACrB,mDAAmD,CACpD,CAAC;YACF,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/{imports.d.ts → semantic/imports.d.ts}

@@ -8,7 +8,7 @@
  * just uses the pre-computed clrName directly (no string parsing).
  */
 import { IrImport, IrModule } from "@tsonic/frontend";
-import { EmitterContext } from "../types.js";
+import { EmitterContext } from "../../types.js";
 /**
  * Process imports and build ImportBindings for local and CLR modules.
  *
@@ -19,8 +19,4 @@ import { EmitterContext } from "../types.js";
  * - Local module imports: Build ImportBindings with fully-qualified CLR names
  */
 export declare const processImports: (imports: readonly IrImport[], context: EmitterContext, module: IrModule) => EmitterContext;
-/**
- * Resolve local import to a namespace (legacy fallback for single-file compilation)
- */
-export declare const resolveLocalImport: (imp: IrImport, currentFilePath: string, rootNamespace: string) => string | null;
 //# sourceMappingURL=imports.d.ts.map

package/dist/core/semantic/imports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/imports.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAqB,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,cAAc,EAAgC,MAAM,gBAAgB,CAAC;AAM9E;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GACzB,SAAS,SAAS,QAAQ,EAAE,EAC5B,SAAS,cAAc,EACvB,QAAQ,QAAQ,KACf,cAuEF,CAAC"}

package/dist/core/{imports.js → semantic/imports.js}

@@ -8,8 +8,9 @@
  * just uses the pre-computed clrName directly (no string parsing).
  */
 import { resolveImportPath } from "./module-map.js";
-import { emitCSharpName } from "../naming-policy.js";
-import { emitType } from "../type-emitter.js";
+import { emitCSharpName } from "../../naming-policy.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { renderTypeAst } from "../format/backend-ast/utils.js";
 /**
  * Process imports and build ImportBindings for local and CLR modules.
  *
@@ -92,7 +93,9 @@ const createClrImportBinding = (spec, namespace) => {
                 localName,
                 importBinding: {
                     kind: "type",
-                    clrName: `${namespaceFqn}.${spec.name}`,
+                    clrName: spec.resolvedClrType
+                        ? `global::${spec.resolvedClrType}`
+                        : `${namespaceFqn}.${spec.name}`,
                 },
             };
         }
@@ -100,9 +103,6 @@ const createClrImportBinding = (spec, namespace) => {
             // Value import:
             // - If tsbindgen provided a flattened export mapping, bind directly to
             //   the declaring CLR type + member.
-            // - Otherwise fall back to "namespace.member" (legacy), though this will
-            //   typically be invalid C# for true values. We rely on frontend validation
-            //   to prevent missing export bindings in airplane-grade builds.
             if (spec.resolvedClrValue) {
                 return {
                     localName,
@@ -113,14 +113,7 @@ const createClrImportBinding = (spec, namespace) => {
                     },
                 };
             }
-            return {
-                localName,
-                importBinding: {
-                    kind: "value",
-                    clrName: namespaceFqn,
-                    member: spec.name,
-                },
-            };
+            throw new Error(`ICE: Missing resolvedClrValue for CLR value import '${spec.name}' from '${namespace}'.`);
         }
     }
     if (spec.kind === "namespace") {
@@ -172,7 +165,7 @@ const createImportBinding = (spec, namespace, containerClassName, resolvedExport
                 if (localType.typeParameters.length > 0) {
                     throw new Error(`ICE: Cannot import generic type alias '${resolvedExportName}' from '${namespace}'. Use a class/interface instead.`);
                 }
-                const [typeName] = emitType(localType.type, {
+                const [typeAst] = emitTypeAst(localType.type, {
                     ...context,
                     localTypes: targetLocalTypes,
                     moduleNamespace: namespace,
@@ -180,6 +173,7 @@ const createImportBinding = (spec, namespace, containerClassName, resolvedExport
                     // so the resulting C# type is usable across files.
                     qualifyLocalTypes: true,
                 });
+                const typeName = renderTypeAst(typeAst);
                 return {
                     localName,
                     importBinding: {
@@ -227,67 +221,4 @@ const createImportBinding = (spec, namespace, containerClassName, resolvedExport
     }
     return null;
 };
-/**
- * Resolve local import to a namespace (legacy fallback for single-file compilation)
- */
-export const resolveLocalImport = (imp, currentFilePath, rootNamespace) => {
-    // Normalize paths - handle both Unix and Windows separators
-    const normalize = (p) => p.replace(/\\/g, "/");
-    const currentFile = normalize(currentFilePath);
-    // Get the directory of the current file
-    const currentDir = currentFile.substring(0, currentFile.lastIndexOf("/"));
-    // Resolve the import path relative to current directory
-    const resolvedPath = resolveRelativePath(currentDir, imp.source);
-    // Remove .ts extension and get directory path
-    const withoutExtension = resolvedPath.replace(/\.ts$/, "");
-    const dirPath = withoutExtension.substring(0, withoutExtension.lastIndexOf("/"));
-    // Convert directory path to namespace - only use path after last "/src/"
-    const relativePath = extractRelativePath(dirPath);
-    const parts = relativePath.split("/").filter((p) => p !== "" && p !== ".");
-    return parts.length === 0
-        ? rootNamespace
-        : `${rootNamespace}.${parts.join(".")}`;
-};
-/**
- * Resolve a relative import path from a given directory
- */
-const resolveRelativePath = (currentDir, source) => {
-    if (source.startsWith("./")) {
-        return `${currentDir}/${source.substring(2)}`;
-    }
-    if (source.startsWith("../")) {
-        const parts = currentDir.split("/");
-        const sourceCopy = source;
-        return resolveParentPath(parts, sourceCopy);
-    }
-    return `${currentDir}/${source}`;
-};
-/**
- * Resolve parent path references (..)
- */
-const resolveParentPath = (parts, source) => {
-    if (!source.startsWith("../")) {
-        return `${parts.join("/")}/${source}`;
-    }
-    return resolveParentPath(parts.slice(0, -1), source.substring(3));
-};
-/**
- * Extract relative path from a directory path
- */
-const extractRelativePath = (dirPath) => {
-    const srcIndex = dirPath.lastIndexOf("/src/");
-    if (srcIndex >= 0) {
-        return dirPath.substring(srcIndex + 5);
-    }
-    if (dirPath.endsWith("/src")) {
-        return "";
-    }
-    if (dirPath.startsWith("src/")) {
-        return dirPath.substring(4);
-    }
-    if (dirPath === "src") {
-        return "";
-    }
-    return "";
-};
 //# sourceMappingURL=imports.js.map

package/dist/core/semantic/imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../../src/core/semantic/imports.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAA4B,EAC5B,OAAuB,EACvB,MAAgB,EACA,EAAE;IAClB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IAExD,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACjD,0DAA0D;QAC1D,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAClC,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC;gBACpE,IAAI,OAAO,EAAE,CAAC;oBACZ,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;gBAC/D,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAChB,qEAAqE;YACrE,uCAAuC;YACvC,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YACxC,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YACxC,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBAElE,iEAAiE;gBACjE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;oBAClC,MAAM,UAAU,GACd,IAAI,CAAC,IAAI,KAAK,OAAO;wBACnB,CAAC,CAAC,IAAI,CAAC,IAAI;wBACX,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;4BACvB,CAAC,CAAC,EAAE;4BACJ,CAAC,CAAC,EAAE,CAAC;oBAEX,uDAAuD;oBACvD,MAAM,WAAW,GAAG,GAAG,UAAU,IAAI,UAAU,EAAE,CAAC;oBAClD,MAAM,cAAc,GAAG,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;oBAEnD,qCAAqC;oBACrC,MAAM,gBAAgB,GAAG,cAAc,EAAE,UAAU,IAAI,UAAU,CAAC;oBAClE,MAAM,gBAAgB,GAAG,cAAc,EAAE,UAAU,IAAI,UAAU,CAAC;oBAClE,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;oBAErD,IAAI,YAAY,EAAE,CAAC;wBACjB,MAAM,OAAO,GAAG,mBAAmB,CACjC,IAAI,EACJ,YAAY,CAAC,SAAS,EACtB,YAAY,CAAC,SAAS,EACtB,gBAAgB,EAChB,YAAY,CAAC,gBAAgB,EAC7B,YAAY,CAAC,kBAAkB,EAC/B,YAAY,CAAC,UAAU,EACvB,GAAG,CACJ,CAAC;wBACF,IAAI,OAAO,EAAE,CAAC;4BACZ,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;wBAC/D,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,kFAAkF;YACpF,CAAC;YACD,qEAAqE;QACvE,CAAC;QAED,yCAAyC;QACzC,OAAO,GAAG,CAAC;IACb,CAAC,EAAE,OAAO,CAAC,CAAC;IAEZ,iCAAiC;IACjC,OAAO;QACL,GAAG,cAAc;QACjB,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAuB,EACvB,SAAiB,EAC2C,EAAE;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,MAAM,YAAY,GAAG,WAAW,SAAS,EAAE,CAAC;IAE5C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,sDAAsD;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QAEpC,IAAI,MAAM,EAAE,CAAC;YACX,yCAAyC;YACzC,OAAO;gBACL,SAAS;gBACT,aAAa,EAAE;oBACb,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,IAAI,CAAC,eAAe;wBAC3B,CAAC,CAAC,WAAW,IAAI,CAAC,eAAe,EAAE;wBACnC,CAAC,CAAC,GAAG,YAAY,IAAI,IAAI,CAAC,IAAI,EAAE;iBACnC;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,gBAAgB;YAChB,uEAAuE;YACvE,qCAAqC;YACrC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC1B,OAAO;oBACL,SAAS;oBACT,aAAa,EAAE;wBACb,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,WAAW,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE;wBAC5D,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,UAAU;qBACzC;iBACF,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,KAAK,CACb,uDAAuD,IAAI,CAAC,IAAI,WAAW,SAAS,IAAI,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,6DAA6D;QAC7D,OAAO;YACL,SAAS;YACT,aAAa,EAAE;gBACb,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,YAAY;aACtB;SACF,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,mBAAmB,GAAG,CAC1B,IAAuB,EACvB,SAAiB,EACjB,kBAA0B,EAC1B,kBAA0B,EAC1B,mBAA4B,KAAK,EACjC,kBAA4E,EAC5E,gBAAgE,EAChE,OAAuB,EACqC,EAAE;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,gGAAgG;IAChG,MAAM,kBAAkB,GAAG,gBAAgB;QACzC,CAAC,CAAC,GAAG,kBAAkB,UAAU;QACjC,CAAC,CAAC,kBAAkB,CAAC;IACvB,MAAM,iBAAiB,GAAG,WAAW,SAAS,IAAI,kBAAkB,EAAE,CAAC;IAEvE,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,sDAAsD;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QAEpC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,SAAS,GAAG,gBAAgB,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;YAE5D,gBAAgB;YAChB,8EAA8E;YAC9E,gFAAgF;YAChF,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;gBACpC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACzC,OAAO;wBACL,SAAS;wBACT,aAAa,EAAE;4BACb,IAAI,EAAE,MAAM;4BACZ,OAAO,EAAE,WAAW,SAAS,IAAI,kBAAkB,SAAS;yBAC7D;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,SAAS,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACxC,MAAM,IAAI,KAAK,CACb,0CAA0C,kBAAkB,WAAW,SAAS,mCAAmC,CACpH,CAAC;gBACJ,CAAC;gBAED,MAAM,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,EAAE;oBAC5C,GAAG,OAAO;oBACV,UAAU,EAAE,gBAAgB;oBAC5B,eAAe,EAAE,SAAS;oBAC1B,gFAAgF;oBAChF,mDAAmD;oBACnD,iBAAiB,EAAE,IAAI;iBACxB,CAAC,CAAC;gBACH,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;gBAExC,OAAO;oBACL,SAAS;oBACT,aAAa,EAAE;wBACb,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE,QAAQ;qBAClB;iBACF,CAAC;YACJ,CAAC;YAED,6DAA6D;YAC7D,6DAA6D;YAC7D,OAAO;gBACL,SAAS;gBACT,aAAa,EAAE;oBACb,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,WAAW,SAAS,IAAI,kBAAkB,EAAE;iBACtD;aACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,SAAS,GAAG,kBAAkB,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,SAAS,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/D,0EAA0E;YAC1E,OAAO;gBACL,SAAS;gBACT,aAAa,EAAE;oBACb,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,iBAAiB;oBAC1B,MAAM,EAAE,cAAc,CAAC,kBAAkB,EAAE,MAAM,EAAE,OAAO,CAAC;iBAC5D;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,+DAA+D,SAAS,qDAAqD,CAC9H,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,wEAAwE;QACxE,OAAO;YACL,SAAS;YACT,aAAa,EAAE;gBACb,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,iBAAiB;aAC3B;SACF,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/core/semantic/imports.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/imports.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/core/{imports.test.js → semantic/imports.test.js}

@@ -4,7 +4,7 @@
  */
 import { describe, it } from "mocha";
 import { expect } from "chai";
-import { emitModule } from "../emitter.js";
+import { emitModule } from "../../emitter.js";
 describe("Import Handling", () => {
     it("should NOT emit using directives for .NET imports", () => {
         // .NET imports are resolved to fully-qualified names with global:: prefix,

package/dist/core/semantic/imports.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.test.js","sourceRoot":"","sources":["../../../src/core/semantic/imports.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,2EAA2E;QAC3E,oCAAoC;QACpC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,UAAU,EAAE,EAAE;oBACd,iBAAiB,EAAE,WAAW;iBAC/B;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,kBAAkB;oBAC1B,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,IAAI;oBACX,UAAU,EAAE,EAAE;oBACd,iBAAiB,EAAE,kBAAkB;iBACtC;aACF;YACD,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,mEAAmE;QACnE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,yEAAyE;QACzE,6CAA6C;QAC7C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,sBAAsB;YAChC,SAAS,EAAE,gBAAgB;YAC3B,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,WAAW;oBACnB,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,KAAK;oBACZ,UAAU,EAAE,EAAE;iBACf;gBACD;oBACE,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,mBAAmB;oBAC3B,OAAO,EAAE,IAAI;oBACb,KAAK,EAAE,KAAK;oBACZ,UAAU,EAAE,EAAE;iBACf;aACF;YACD,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;QAE9D,wDAAwD;QACxD,+DAA+D;QAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/index.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Semantic analysis modules — pure type/IR analysis, no C# text output.
+ */
+export { substituteTypeArgs, resolveTypeAlias, stripNullish, isDefinitelyValueType, containsTypeParameter, getPropertyType, getAllPropertySignatures, selectUnionMemberForObjectLiteral, } from "./type-resolution.js";
+export { isAssignable, isIntegerType } from "./type-compatibility.js";
+export { collectTypeParameters } from "./type-params.js";
+export { buildLocalTypes } from "./local-types.js";
+export { buildTypeMemberIndex } from "./type-member-index.js";
+export { buildTypeAliasIndex } from "./type-alias-index.js";
+export { buildModuleMap, resolveImportPath, canonicalizeFilePath, } from "./module-map.js";
+export { validateNamingPolicyCollisions } from "./naming-collisions.js";
+export { processImports } from "./imports.js";
+export { statementUsesPointer, expressionUsesPointer, typeUsesPointer, moduleUsesPointer, } from "./unsafe.js";
+export { isBooleanType, toBooleanConditionAst, emitBooleanConditionAst, type EmitExprAstFn, } from "./boolean-context.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/core/semantic/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,wBAAwB,EACxB,iCAAiC,GAClC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,uBAAuB,EACvB,KAAK,aAAa,GACnB,MAAM,sBAAsB,CAAC"}

package/dist/core/semantic/index.js

@@ -0,0 +1,15 @@
+/**
+ * Semantic analysis modules — pure type/IR analysis, no C# text output.
+ */
+export { substituteTypeArgs, resolveTypeAlias, stripNullish, isDefinitelyValueType, containsTypeParameter, getPropertyType, getAllPropertySignatures, selectUnionMemberForObjectLiteral, } from "./type-resolution.js";
+export { isAssignable, isIntegerType } from "./type-compatibility.js";
+export { collectTypeParameters } from "./type-params.js";
+export { buildLocalTypes } from "./local-types.js";
+export { buildTypeMemberIndex } from "./type-member-index.js";
+export { buildTypeAliasIndex } from "./type-alias-index.js";
+export { buildModuleMap, resolveImportPath, canonicalizeFilePath, } from "./module-map.js";
+export { validateNamingPolicyCollisions } from "./naming-collisions.js";
+export { processImports } from "./imports.js";
+export { statementUsesPointer, expressionUsesPointer, typeUsesPointer, moduleUsesPointer, } from "./unsafe.js";
+export { isBooleanType, toBooleanConditionAst, emitBooleanConditionAst, } from "./boolean-context.js";
+//# sourceMappingURL=index.js.map

package/dist/core/semantic/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/semantic/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,wBAAwB,EACxB,iCAAiC,GAClC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,aAAa,EACb,qBAAqB,EACrB,uBAAuB,GAExB,MAAM,sBAAsB,CAAC"}

package/dist/core/{local-types.d.ts → semantic/local-types.d.ts}

@@ -5,7 +5,7 @@
  * for use in property type resolution during emission.
  */
 import type { IrModule } from "@tsonic/frontend";
-import type { LocalTypeInfo } from "../types.js";
+import type { LocalTypeInfo } from "../../types.js";
 /**
  * Build the localTypes map from a module's body statements.
  *

package/dist/core/semantic/local-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/local-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,QAAQ,EAMT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,EAAE,aAAa,CAWnC,CAAC"}

package/dist/core/semantic/local-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-types.js","sourceRoot":"","sources":["../../../src/core/semantic/local-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,MAAgB,EACoB,EAAE;IACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAiB,EACkC,EAAE;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB;YACrB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC;aAC3B,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC;aAC1B,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;aAC/B,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC;aAC/B,CAAC;QAEJ;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,IAAwB,EAAiB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,OAAO;IACb,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,UAAU,EAAE,IAAI,CAAC,UAAU;CAC5B,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,WAAW;IACjB,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,OAAO,EAAE,IAAI,CAAC,OAAO;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,IAAuB,EAAiB,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;CACzC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,CAAC;IAC3E,IAAI,EAAE,WAAW;IACjB,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;IAC/D,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAC"}

package/dist/core/{module-map.d.ts → semantic/module-map.d.ts}

@@ -2,7 +2,7 @@
  * Module map for resolving cross-file imports
  */
 import { IrModule, Diagnostic } from "@tsonic/frontend";
-import type { ModuleIdentity, ModuleMap, ExportSource, ExportMap } from "../emitter-types/core.js";
+import type { ModuleIdentity, ModuleMap, ExportSource, ExportMap } from "../../emitter-types/core.js";
 export type { ModuleIdentity, ModuleMap, ExportSource, ExportMap };
 /**
  * Normalize a file path for use as module map key

package/dist/core/semantic/module-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-map.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/module-map.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EACV,cAAc,EACd,SAAS,EACT,YAAY,EACZ,SAAS,EACV,MAAM,6BAA6B,CAAC;AAIrC,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AAEnE;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAAI,UAAU,MAAM,KAAG,MAsBvD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,cAAc,GACzB,SAAS,SAAS,QAAQ,EAAE,KAC3B,eA6GF,CAAC;AAqDF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,iBAAiB,MAAM,EACvB,cAAc,MAAM,KACnB,MA8CF,CAAC"}

package/dist/core/semantic/module-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-map.js","sourceRoot":"","sources":["../../../src/core/semantic/module-map.ts"],"names":[],"mappings":"AAAA;;GAEG;AASH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAKnD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,QAAgB,EAAU,EAAE;IAC/D,oBAAoB;IACpB,IAAI,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAE9C,uBAAuB;IACvB,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,2CAA2C;IAC3C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YACtC,SAAS,CAAC,mCAAmC;QAC/C,CAAC;aAAM,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YAC5B,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,sBAAsB;QACxC,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC,CAAC;AAaF;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAA4B,EACX,EAAE;IACnB,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,6DAA6D;IAC7D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACzD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,6CAA6C;IAC7C,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;QACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,SAAS,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACzD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3D,CAAC;QAED,oBAAoB;QACpB,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;YACjD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,SAAS,GAAG,SAAS;qBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC;qBAC9C,IAAI,CAAC,OAAO,CAAC,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,4CAA4C,SAAS,uBAAuB,SAAS,mBAAmB,SAAS,qBAAqB;oBAC/I,QAAQ,EAAE,OAAO;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,gBAAgB;IAChB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAE5D,uFAAuF;QACvF,oEAAoE;QACpE,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CACvC,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB;YAC/B,IAAI,CAAC,IAAI,KAAK,sBAAsB;YACpC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CAAC;YAClC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,SAAS,CACjC,CAAC;QAEF,MAAM,kBAAkB,GAAG,CAAC,GAAG,EAAE;YAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;YAEzD,MAAM,kBAAkB,GAAG,CACzB,SAAiB,EACoB,EAAE;gBACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;wBACnE,OAAO,UAAU,CAAC;oBACpB,CAAC;oBACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;4BACrC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gCAAE,SAAS;4BACrD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;gCAAE,OAAO,UAAU,CAAC;wBACtD,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC;YAEF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,WAAW,CAAC;oBAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBACxC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACnC,CAAC;yBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;4BAClC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;gCAAE,SAAS;4BAClD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;wBACrC,CAAC;oBACH,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACzB,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC/C,IAAI,IAAI;wBAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,EAAE,CAAC;QAEL,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE;YACrB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,aAAa;YACvB,gBAAgB;YAChB,kBAAkB;YAClB,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB;IACvB,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAE1C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CAAC,OAA4B,EAAa,EAAE;IACjE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,qCAAqC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAEzD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC5B,iCAAiC;gBACjC,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;gBACtE,MAAM,GAAG,GAAG,GAAG,UAAU,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;gBACxC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE;oBACjB,UAAU,EAAE,UAAU;oBACtB,UAAU,EAAE,GAAG,CAAC,YAAY;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,8FAA8F;IAC9F,MAAM,iBAAiB,GAAG,GAAY,EAAE;QACtC,IAAI,OAAO,GAAG,KAAK,CAAC;QAEpB,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,MAAM,aAAa,GAAG,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClE,MAAM,gBAAgB,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAEtD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,wEAAwE;gBACxE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;gBACrC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,8EAA8E;IAC9E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,iBAAiB;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,eAAuB,EACvB,YAAoB,EACZ,EAAE;IACV,8BAA8B;IAC9B,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAC;IAE/D,gCAAgC;IAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE9E,0BAA0B;IAC1B,IAAI,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAE9C,yCAAyC;IACzC,qDAAqD;IACrD,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,wBAAwB;IACxB,IAAI,YAAoB,CAAC;IACzB,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,iCAAiC;QACjC,YAAY,GAAG,UAAU;YACvB,CAAC,CAAC,GAAG,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACpC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;SAAM,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,mBAAmB;QACnB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,SAAS,GAAG,MAAM,CAAC;QACvB,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,GAAG,EAAE,CAAC;YACZ,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,YAAY;YACV,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,CAAC;SAAM,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,uCAAuC;QACvC,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,wCAAwC;QACxC,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IACjE,CAAC;IAED,0BAA0B;IAC1B,OAAO,oBAAoB,CAAC,YAAY,CAAC,CAAC;AAC5C,CAAC,CAAC"}

package/dist/core/semantic/module-map.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-map.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/module-map.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}