@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/unit/typecheck/regression-fixes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regression-fixes.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/regression-fixes.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAG5D,OAAO,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAmD,MAAM,mCAAmC,CAAC;AAElH,YAAY;AACZ,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3E,MAAM,UAAU,GAAG,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAEvG,eAAe;AACf,MAAM,UAAU,GAAG,GAAS,EAAE,CAAC,CAAC;IAC9B,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;IAC1B,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;CAC1B,CAAC,CAAC;AAEH,2BAA2B;AAC3B,SAAS,mBAAmB;IAC1B,OAAO;QACL,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,SAAS,mBAAmB;IAC1B,OAAO;QACL,MAAM,EAAE,mBAAmB,EAAE;QAC7B,OAAO,EAAE,IAAI,WAAW,EAAE;QAC1B,WAAW,EAAE,IAAI,iBAAiB,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAE1B,WAAW;QACX,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAE1E,iBAAiB;QACjB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,2CAA8B,wBAAwB,CAAC,CAAC;QAC/F,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,OAAO,GAAG,mBAAmB,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAE1B,OAAO;QACP,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE7D,SAAS;QACT,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAEvC,mBAAmB;QACnB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9D,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAEpD,iBAAiB;QACjB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC5B,MAAM,CAAC,WAAW,CAAE,KAAK,CAAC,IAA2B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,mBAAmB;QACnB,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBACrD,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,QAAQ;aACjE;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,4CAA+B,CAAC,EAC5D,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,2DAA2D;QAC3D,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,WAAW;oBACX,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;iBAChD;aACF;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,oCAAoC;oBACpC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;iBAC/C;aACF;SACF,CAAC;QAEF,MAAM,QAAQ,GAAuB;YACnC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW;YACjC,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE;gBACH,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;aACtE;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,qDAAqD;QACrD,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,8CAAiC,CAAC,CAAC;QACrF,MAAM,CAAC,WAAW,CAChB,aAAa,EACb,SAAS,EACT,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,wCAAwC;QACxC,iCAAiC;QACjC,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,sBAAsB;YAC5B,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,WAAW;oBACX,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;iBAChD;aACF;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,sBAAsB;oBACtB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5D,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;iBAC/C;aACF;SACF,CAAC;QAEF,MAAM,QAAQ,GAAuB;YACnC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,8BAA8B;YACpC,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE,EAAE,cAAc;YAC3B,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE;gBACH,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;aACxE;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,4CAA4C;YAClD,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,uDAAuD;QACvD,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,0CAA6B,CAAC,EAC1D,0DAA0D,CAC3D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,eAAe;YACrB,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,EAAE;YACd,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,yBAAyB;oBACzB,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;oBAC3E,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;iBAC/C;aACF;YACD,iBAAiB;SAClB,CAAC;QAEF,MAAM,QAAQ,GAAuB;YACnC,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,UAAU,EAAE,EAAE;SACf,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,2BAA2B;YACjC,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;YACpB,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE;gBACH,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;aACtE;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,CAAC,QAAQ,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,oCAAoC;YAC1C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAEzC,oCAAoC;QACpC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,uDAA0C,CAAC,EACvE,gCAAgC,CACjC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,oBAAoB;QACpB,wCAAwC;QACxC,MAAM,SAAS,GAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxE,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,0BAA0B;YAChC,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,EAAE,EAAE,WAAW;YAC7B,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,iCAAiC;YAC/D,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACgB,CAAC;QAEpB,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,uCAAuC;YAC7C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EACjE,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACtB,mBAAmB;QACnB,MAAM,SAAS,GAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACxE,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW;YAChC,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW;YACzC,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACgB,CAAC;QAEpB,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,qCAAqC;YAC3C,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EAClE,oCAAoC,CACrC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC,GAAG,CAAC,EAAE,gBAAgB;YACrC,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;aACtD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC;YACpB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBACzC;aACF;SACgB,CAAC;QAEpB,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,mCAAmC;YACzC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,6CAAgC,CAAC,EAC7D,qCAAqC,CACtC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBACtD,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;aACzD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,+BAA+B;YACrC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,uCAAuC,CACxC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,uBAAuB;QACvB,MAAM,OAAO,GAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/G,iBAAiB;QACjB,MAAM,OAAO,GAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC7F,uEAAuE;QACvE,MAAM,YAAY,GAAsB;YACtC,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;SACxE,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBACnF,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBAClE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;gBAChE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC7C,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC7C,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE;aACnD;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,iCAAiC;YACvC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACpE,wDAAwD,CACzD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,iCAAiC;QACjC,MAAM,IAAI,GAAmB;YAC3B,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE;aACpE;YACD,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK;YACzB,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC;YACrB,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE;iBACtC;aACF;SACF,CAAC;QAEF,MAAM,GAAG,GAAqB;YAC5B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,8BAA8B;YACpC,KAAK,EAAE,CAAC,IAAI,CAAC;SACd,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,CAAC,EAAE,CACP,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,mDAAsC,CAAC,EACnE,wDAAwD,CACzD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/should-enforce-pii.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=should-enforce-pii.test.d.ts.map

package/dist/test/unit/typecheck/should-enforce-pii.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"should-enforce-pii.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/should-enforce-pii.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/typecheck/should-enforce-pii.test.js

@@ -0,0 +1,167 @@
+/**
+ * shouldEnforcePii 函数单元测试
+ *
+ * 测试 PII 检查启用逻辑的配置优先级：
+ * 1. LSP 配置注入（globalThis.lspConfig.enforcePiiChecks）
+ * 2. 环境变量（ENFORCE_PII 或 ASTER_ENFORCE_PII）
+ * 3. 默认值 false（opt-in 策略）
+ */
+import { describe, it, before, after, beforeEach, afterEach } from 'node:test';
+import assert from 'node:assert/strict';
+import { shouldEnforcePii } from '../../../src/typecheck/utils.js';
+function saveEnv() {
+    return {
+        ENFORCE_PII: process.env.ENFORCE_PII,
+        ASTER_ENFORCE_PII: process.env.ASTER_ENFORCE_PII,
+        lspConfig: globalThis.lspConfig,
+    };
+}
+function restoreEnv(snapshot) {
+    if (snapshot.ENFORCE_PII === undefined) {
+        delete process.env.ENFORCE_PII;
+    }
+    else {
+        process.env.ENFORCE_PII = snapshot.ENFORCE_PII;
+    }
+    if (snapshot.ASTER_ENFORCE_PII === undefined) {
+        delete process.env.ASTER_ENFORCE_PII;
+    }
+    else {
+        process.env.ASTER_ENFORCE_PII = snapshot.ASTER_ENFORCE_PII;
+    }
+    if (snapshot.lspConfig === undefined) {
+        globalThis.lspConfig = undefined;
+    }
+    else {
+        globalThis.lspConfig = snapshot.lspConfig;
+    }
+}
+function clearAllConfig() {
+    delete process.env.ENFORCE_PII;
+    delete process.env.ASTER_ENFORCE_PII;
+    globalThis.lspConfig = undefined;
+}
+describe('shouldEnforcePii 配置优先级', () => {
+    let originalEnv;
+    before(() => {
+        originalEnv = saveEnv();
+    });
+    after(() => {
+        restoreEnv(originalEnv);
+    });
+    beforeEach(() => {
+        clearAllConfig();
+    });
+    afterEach(() => {
+        clearAllConfig();
+    });
+    // 优先级 1: LSP 配置注入
+    describe('优先级 1: LSP 配置注入 (globalThis.lspConfig)', () => {
+        it('globalThis.lspConfig.enforcePiiChecks = true 应启用 PII 检查', () => {
+            globalThis.lspConfig = { enforcePiiChecks: true };
+            assert.equal(shouldEnforcePii(), true);
+        });
+        it('globalThis.lspConfig.enforcePiiChecks = false 应禁用 PII 检查', () => {
+            globalThis.lspConfig = { enforcePiiChecks: false };
+            assert.equal(shouldEnforcePii(), false);
+        });
+        it('LSP 配置应优先于环境变量 ENFORCE_PII', () => {
+            process.env.ENFORCE_PII = 'true';
+            globalThis.lspConfig = { enforcePiiChecks: false };
+            assert.equal(shouldEnforcePii(), false, 'LSP 配置 false 应覆盖环境变量 true');
+            globalThis.lspConfig = { enforcePiiChecks: true };
+            process.env.ENFORCE_PII = 'false';
+            assert.equal(shouldEnforcePii(), true, 'LSP 配置 true 应覆盖环境变量 false');
+        });
+        it('LSP 配置应优先于环境变量 ASTER_ENFORCE_PII', () => {
+            process.env.ASTER_ENFORCE_PII = 'true';
+            globalThis.lspConfig = { enforcePiiChecks: false };
+            assert.equal(shouldEnforcePii(), false, 'LSP 配置 false 应覆盖 ASTER_ENFORCE_PII true');
+        });
+        it('LSP 配置未定义 enforcePiiChecks 时应回退到环境变量', () => {
+            globalThis.lspConfig = {}; // enforcePiiChecks 未定义
+            process.env.ENFORCE_PII = 'true';
+            assert.equal(shouldEnforcePii(), true, '应回退到环境变量');
+        });
+    });
+    // 优先级 2: 环境变量
+    describe('优先级 2: 环境变量', () => {
+        it('ENFORCE_PII=true 应启用 PII 检查', () => {
+            process.env.ENFORCE_PII = 'true';
+            assert.equal(shouldEnforcePii(), true);
+        });
+        it('ASTER_ENFORCE_PII=true 应启用 PII 检查', () => {
+            process.env.ASTER_ENFORCE_PII = 'true';
+            assert.equal(shouldEnforcePii(), true);
+        });
+        it('ENFORCE_PII 优先于 ASTER_ENFORCE_PII（|| 短路逻辑）', () => {
+            process.env.ENFORCE_PII = 'true';
+            process.env.ASTER_ENFORCE_PII = 'false';
+            assert.equal(shouldEnforcePii(), true, 'ENFORCE_PII=true 应优先');
+            clearAllConfig();
+            process.env.ENFORCE_PII = 'false';
+            process.env.ASTER_ENFORCE_PII = 'true';
+            // ENFORCE_PII='false' 是 truthy 字符串，所以不会回退到 ASTER_ENFORCE_PII
+            // 但 toLowerCase() === 'true' 检查会失败
+            assert.equal(shouldEnforcePii(), false, 'ENFORCE_PII=false 优先，且不等于 true');
+        });
+        it('大小写不敏感匹配 TRUE/True/TRUE', () => {
+            process.env.ENFORCE_PII = 'TRUE';
+            assert.equal(shouldEnforcePii(), true, 'TRUE 应匹配');
+            clearAllConfig();
+            process.env.ENFORCE_PII = 'True';
+            assert.equal(shouldEnforcePii(), true, 'True 应匹配');
+            clearAllConfig();
+            process.env.ASTER_ENFORCE_PII = 'TRUE';
+            assert.equal(shouldEnforcePii(), true, 'ASTER_ENFORCE_PII=TRUE 应匹配');
+        });
+        it('非 true 值应禁用 PII 检查', () => {
+            process.env.ENFORCE_PII = 'false';
+            assert.equal(shouldEnforcePii(), false, 'false 应禁用');
+            clearAllConfig();
+            process.env.ENFORCE_PII = '1';
+            assert.equal(shouldEnforcePii(), false, '1 应禁用（不等于 true）');
+            clearAllConfig();
+            process.env.ENFORCE_PII = 'yes';
+            assert.equal(shouldEnforcePii(), false, 'yes 应禁用（不等于 true）');
+            clearAllConfig();
+            process.env.ENFORCE_PII = '';
+            assert.equal(shouldEnforcePii(), false, '空字符串应禁用');
+        });
+    });
+    // 优先级 3: 默认值
+    describe('优先级 3: 默认禁用', () => {
+        it('无任何配置时应默认禁用 PII 检查', () => {
+            // clearAllConfig() 已在 beforeEach 中执行
+            assert.equal(shouldEnforcePii(), false);
+        });
+        it('globalThis.lspConfig 为 undefined 且无环境变量时应禁用', () => {
+            assert.equal(globalThis.lspConfig, undefined);
+            assert.equal(process.env.ENFORCE_PII, undefined);
+            assert.equal(process.env.ASTER_ENFORCE_PII, undefined);
+            assert.equal(shouldEnforcePii(), false);
+        });
+    });
+    // 边界情况
+    describe('边界情况', () => {
+        it('globalThis.lspConfig 存在但 enforcePiiChecks 为 undefined', () => {
+            globalThis.lspConfig = { someOtherConfig: 'value' };
+            assert.equal(shouldEnforcePii(), false, '应回退到默认值');
+        });
+        it('环境变量为空字符串时应禁用', () => {
+            process.env.ENFORCE_PII = '';
+            process.env.ASTER_ENFORCE_PII = '';
+            assert.equal(shouldEnforcePii(), false);
+        });
+        it('环境变量为空格时应禁用', () => {
+            process.env.ENFORCE_PII = '   ';
+            assert.equal(shouldEnforcePii(), false, '空格不等于 true');
+        });
+        it('环境变量为 true 加空格时应禁用', () => {
+            process.env.ENFORCE_PII = ' true ';
+            // toLowerCase() === 'true' 检查会失败，因为有空格
+            assert.equal(shouldEnforcePii(), false, '" true " 不等于 "true"');
+        });
+    });
+});
+//# sourceMappingURL=should-enforce-pii.test.js.map

package/dist/test/unit/typecheck/should-enforce-pii.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"should-enforce-pii.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/should-enforce-pii.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC/E,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AASnE,SAAS,OAAO;IACd,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW;QACpC,iBAAiB,EAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB;QAChD,SAAS,EAAE,UAAU,CAAC,SAAS;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAAqB;IACvC,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;IACjC,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IACjD,CAAC;IAED,IAAI,QAAQ,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,QAAQ,CAAC,iBAAiB,CAAC;IAC7D,CAAC;IAED,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACpC,UAAkB,CAAC,SAAS,GAAG,SAAS,CAAC;IAC5C,CAAC;SAAM,CAAC;QACN,UAAU,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IAC5C,CAAC;AACH,CAAC;AAED,SAAS,cAAc;IACrB,OAAO,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;IAC/B,OAAO,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;IACpC,UAAkB,CAAC,SAAS,GAAG,SAAS,CAAC;AAC5C,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,WAAwB,CAAC;IAE7B,MAAM,CAAC,GAAG,EAAE;QACV,WAAW,GAAG,OAAO,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,EAAE;QACT,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,UAAU,CAAC,GAAG,EAAE;QACd,cAAc,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,GAAG,EAAE;QACb,cAAc,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,kBAAkB;IAClB,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,UAAU,CAAC,SAAS,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;YAClD,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,UAAU,CAAC,SAAS,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;YACnD,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC;YACjC,UAAU,CAAC,SAAS,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;YACnD,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,2BAA2B,CAAC,CAAC;YAErE,UAAU,CAAC,SAAS,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,OAAO,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,2BAA2B,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,MAAM,CAAC;YACvC,UAAU,CAAC,SAAS,GAAG,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;YACnD,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,yCAAyC,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,UAAU,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,uBAAuB;YAClD,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC;YACjC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,cAAc;IACd,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC;YACjC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,MAAM,CAAC;YACvC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,OAAO,CAAC;YACxC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;YAE/D,cAAc,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,OAAO,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,MAAM,CAAC;YACvC,6DAA6D;YAC7D,mCAAmC;YACnC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,gCAAgC,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC;YACjC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAEnD,cAAc,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC;YACjC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAEnD,cAAc,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,MAAM,CAAC;YACvC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,4BAA4B,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,OAAO,CAAC;YAClC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;YAErD,cAAc,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC;YAE3D,cAAc,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC;YAChC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,mBAAmB,CAAC,CAAC;YAE7D,cAAc,EAAE,CAAC;YACjB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC;YAC7B,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,aAAa;IACb,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,qCAAqC;YACrC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAC9C,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YACjD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO;IACP,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,UAAU,CAAC,SAAS,GAAG,EAAE,eAAe,EAAE,OAAO,EAAiC,CAAC;YACnF,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,iBAAiB,GAAG,EAAE,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC;YAChC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,OAAO,CAAC,GAAG,CAAC,WAAW,GAAG,QAAQ,CAAC;YACnC,uCAAuC;YACvC,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,qBAAqB,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/symbol-table.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * SymbolTable 单元测试
+ *
+ * 覆盖作用域遮蔽、捕获标记、类型别名展开与 Scope 管理等关键路径，以提升 symbol_table.ts 行覆盖率。
+ */
+export {};
+//# sourceMappingURL=symbol-table.test.d.ts.map

package/dist/test/unit/typecheck/symbol-table.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/symbol-table.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/test/unit/typecheck/symbol-table.test.js

@@ -0,0 +1,145 @@
+/**
+ * SymbolTable 单元测试
+ *
+ * 覆盖作用域遮蔽、捕获标记、类型别名展开与 Scope 管理等关键路径，以提升 symbol_table.ts 行覆盖率。
+ */
+import { describe, it } from 'node:test';
+import assert from 'node:assert/strict';
+import { SymbolTable, DuplicateSymbolError } from '../../../src/typecheck/symbol_table.js';
+import { Core } from '../../../src/core/core_ir.js';
+const typeName = (name) => Core.TypeName(name);
+const maybeType = (inner) => Core.Maybe(inner);
+const optionType = (inner) => Core.Option(inner);
+const listType = (inner) => Core.List(inner);
+const mapType = (key, val) => Core.Map(key, val);
+const typeApp = (base, args) => Core.TypeApp(base, args);
+const piiType = (baseType, sensitivity, category) => Core.Pii(baseType, sensitivity, category);
+const resultType = (ok, err) => Core.Result(ok, err);
+const defineVar = (table, name, type) => {
+    table.define(name, type, 'var');
+};
+describe('SymbolTable', () => {
+    describe('遮蔽与重复定义', () => {
+        it('同一作用域重复定义应抛出 DuplicateSymbolError', () => {
+            const table = new SymbolTable();
+            defineVar(table, 'value', typeName('Int'));
+            assert.throws(() => {
+                defineVar(table, 'value', typeName('Text'));
+            }, DuplicateSymbolError);
+        });
+        it('嵌套作用域遮蔽应触发 onShadow 并设置 shadowedFrom', () => {
+            const table = new SymbolTable();
+            defineVar(table, 'shadowed', typeName('Int'));
+            const outer = table.lookup('shadowed');
+            assert.ok(outer, '外层符号应该存在');
+            const shadowEvents = [];
+            table.enterScope('function');
+            table.define('shadowed', typeName('Text'), 'var', {
+                onShadow(current, shadowed) {
+                    shadowEvents.push({ current, shadowed });
+                },
+            });
+            const inner = table.lookupInCurrentScope('shadowed');
+            assert.ok(inner, '内层遮蔽符号应该被存储在当前作用域');
+            assert.strictEqual(shadowEvents.length, 1, 'onShadow 回调应被调用一次');
+            assert.strictEqual(shadowEvents[0]?.current, inner);
+            assert.strictEqual(shadowEvents[0]?.shadowed, outer);
+            assert.strictEqual(inner.shadowedFrom, outer);
+        });
+    });
+    describe('捕获标记', () => {
+        it('markCaptured 与 getCapturedSymbols 应暴露闭包捕获信息', () => {
+            const table = new SymbolTable();
+            defineVar(table, 'outer', typeName('Int'));
+            table.enterScope('lambda');
+            table.markCaptured('outer');
+            table.exitScope();
+            const captured = table.getCapturedSymbols();
+            assert.strictEqual(captured.length, 1, '捕获列表应包含被标记的符号');
+            assert.strictEqual(captured[0]?.name, 'outer');
+            assert.strictEqual(captured[0]?.captured, true);
+            assert.strictEqual(table.lookup('outer')?.captured, true, '符号实例本身应被标记为 captured');
+        });
+    });
+    describe('Scope 管理', () => {
+        it('lookup 与 lookupInCurrentScope 应区分作用域', () => {
+            const table = new SymbolTable();
+            defineVar(table, 'global', typeName('Int'));
+            table.enterScope('function');
+            defineVar(table, 'local', typeName('Bool'));
+            assert.ok(table.lookup('global'), 'lookup 应可穿透到父作用域');
+            assert.strictEqual(table.lookupInCurrentScope('global'), undefined, 'lookupInCurrentScope 仅在当前作用域查找');
+            assert.ok(table.lookupInCurrentScope('local'));
+            table.exitScope();
+            assert.ok(table.lookup('global'));
+            assert.strictEqual(table.lookup('local'), undefined, '退出子作用域后局部符号应不可见');
+        });
+        it('exitScope 在 root 作用域应抛出错误', () => {
+            const table = new SymbolTable();
+            assert.throws(() => table.exitScope(), { message: 'Cannot exit root scope' });
+        });
+    });
+    describe('类型别名', () => {
+        it('resolveTypeAlias 应展开别名并缓存结果', () => {
+            const table = new SymbolTable();
+            table.defineTypeAlias('AliasInt', typeName('Int'));
+            table.defineTypeAlias('MaybeAlias', maybeType(typeName('AliasInt')));
+            const first = table.resolveTypeAlias('MaybeAlias');
+            assert.ok(first, '第一次解析应返回 Maybe 类型');
+            assert.strictEqual(first.kind, 'Maybe');
+            assert.strictEqual(first.type.name, 'Int');
+            const second = table.resolveTypeAlias('MaybeAlias');
+            assert.strictEqual(first, second, 'aliasCache 应返回同一对象以证明缓存生效');
+        });
+        it('resolveTypeAlias 应检测循环别名', () => {
+            const table = new SymbolTable();
+            table.defineTypeAlias('A', typeName('B'));
+            table.defineTypeAlias('B', typeName('A'));
+            const resolved = table.resolveTypeAlias('A');
+            assert.ok(resolved, '循环别名应返回原始 TypeName 以防止无限递归');
+            assert.strictEqual(resolved.kind, 'TypeName');
+            assert.strictEqual(resolved.name, 'A');
+        });
+        it('expandAliasType 应递归展开 TypeApp/FuncType/PiiType 等复合结构', () => {
+            const table = new SymbolTable();
+            table.defineTypeAlias('UserId', typeName('Int'));
+            table.defineTypeAlias('MaybeUserId', maybeType(typeName('UserId')));
+            table.defineTypeAlias('OptionalUserList', optionType(listType(typeName('MaybeUserId'))));
+            const complexFunc = {
+                kind: 'FuncType',
+                params: [
+                    typeApp('Wrapper', [
+                        typeName('MaybeUserId'),
+                        mapType(typeName('UserId'), typeName('MaybeUserId')),
+                    ]),
+                    piiType(resultType(typeName('OptionalUserList'), typeName('Error')), 'L2', 'email'),
+                ],
+                ret: resultType(typeName('UserId'), listType(typeName('MaybeUserId'))),
+            };
+            table.defineTypeAlias('ComplexAlias', complexFunc);
+            const resolved = table.resolveTypeAlias('ComplexAlias');
+            assert.ok(resolved && resolved.kind === 'FuncType', '函数别名应成功解析');
+            const params = resolved.params;
+            const expandedTypeApp = params[0];
+            assert.strictEqual(expandedTypeApp.kind, 'TypeApp');
+            const firstArg = expandedTypeApp.args[0];
+            assert.strictEqual(firstArg.kind, 'Maybe');
+            assert.strictEqual(firstArg.type.name, 'Int', 'TypeApp 参数应展开别名');
+            const secondArg = expandedTypeApp.args[1];
+            assert.strictEqual(secondArg.key.name, 'Int');
+            assert.strictEqual(secondArg.val.type.name, 'Int');
+            const piiParam = params[1];
+            const piiResult = piiParam.baseType;
+            const optionOk = piiResult.ok;
+            const innerList = optionOk.type;
+            const listElement = innerList.type;
+            assert.strictEqual(listElement.kind, 'Maybe');
+            assert.strictEqual(listElement.type.name, 'Int');
+            const retResult = resolved.ret;
+            assert.strictEqual(retResult.ok.name, 'Int');
+            const retList = retResult.err;
+            assert.strictEqual(retList.type.type.name, 'Int');
+        });
+    });
+});
+//# sourceMappingURL=symbol-table.test.js.map

package/dist/test/unit/typecheck/symbol-table.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/symbol-table.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAIpD,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3E,MAAM,SAAS,GAAG,CAAC,KAAqB,EAAmB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAChF,MAAM,UAAU,GAAG,CAAC,KAAqB,EAAoB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnF,MAAM,QAAQ,GAAG,CAAC,KAAqB,EAAkB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7E,MAAM,OAAO,GAAG,CAAC,GAAmB,EAAE,GAAmB,EAAiB,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAChG,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAA+B,EAAqB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC/G,MAAM,OAAO,GAAG,CAAC,QAAwB,EAAE,WAA+B,EAAE,QAAyB,EAAqB,EAAE,CAC1H,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;AAC5C,MAAM,UAAU,GAAG,CAAC,EAAkB,EAAE,GAAmB,EAAoB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAEvG,MAAM,SAAS,GAAG,CAAC,KAAkB,EAAE,IAAY,EAAE,IAAoB,EAAQ,EAAE;IACjF,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAE3C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;gBACjB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9C,CAAC,EAAE,oBAAoB,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACvC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAE7B,MAAM,YAAY,GAAyD,EAAE,CAAC;YAC9E,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC7B,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE;gBAChD,QAAQ,CAAC,OAAO,EAAE,QAAQ;oBACxB,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC3C,CAAC;aACF,CAAC,CAAC;YAEH,MAAM,KAAK,GAAG,KAAK,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;YAEtC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,mBAAmB,CAAC,CAAC;YAChE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACpD,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACrD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAE3C,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC3B,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAC5B,KAAK,CAAC,SAAS,EAAE,CAAC;YAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAkB,EAAE,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;YACxD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,sBAAsB,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAE5C,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC7B,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAE5C,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,CAAC;YACtD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,gCAAgC,CAAC,CAAC;YAEtG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/C,KAAK,CAAC,SAAS,EAAE,CAAC;YAElB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,KAAK,CAAC,eAAe,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACnD,KAAK,CAAC,eAAe,CAAC,YAAY,EAAE,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAErE,MAAM,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;YACnD,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;YACtC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM,CAAC,WAAW,CAAE,KAAK,CAAC,IAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAEnE,MAAM,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;YACpD,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,2BAA2B,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1C,KAAK,CAAC,eAAe,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAE1C,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;YAC7C,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,4BAA4B,CAAC,CAAC;YAClD,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC;YAChC,KAAK,CAAC,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACjD,KAAK,CAAC,eAAe,CAAC,aAAa,EAAE,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACpE,KAAK,CAAC,eAAe,CAAC,kBAAkB,EAAE,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;YAEzF,MAAM,WAAW,GAAuB;gBACtC,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,OAAO,CAAC,SAAS,EAAE;wBACjB,QAAQ,CAAC,aAAa,CAAC;wBACvB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;qBACrD,CAAC;oBACF,OAAO,CACL,UAAU,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,EAC3D,IAAI,EACJ,OAAO,CACR;iBACF;gBACD,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;aACvE,CAAC;YAEF,KAAK,CAAC,eAAe,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;YACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;YACxD,MAAM,CAAC,EAAE,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,WAAW,CAAC,CAAC;YAEjE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAmC,CAAC;YAC5D,MAAM,eAAe,GAAG,MAAM,CAAC,CAAC,CAAsB,CAAC;YACvD,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACpD,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAoB,CAAC;YAC5D,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3C,MAAM,CAAC,WAAW,CAAE,QAAQ,CAAC,IAA2B,CAAC,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC;YAEzF,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAkB,CAAC;YAC3D,MAAM,CAAC,WAAW,CAAE,SAAS,CAAC,GAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtE,MAAM,CAAC,WAAW,CAAG,SAAS,CAAC,GAAuB,CAAC,IAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAEhG,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAsB,CAAC;YAChD,MAAM,SAAS,GAAG,QAAQ,CAAC,QAA4B,CAAC;YACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAsB,CAAC;YAClD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAsB,CAAC;YAClD,MAAM,WAAW,GAAG,SAAS,CAAC,IAAuB,CAAC;YACtD,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,CAAC,WAAW,CAAE,WAAW,CAAC,IAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAEzE,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAuB,CAAC;YACnD,MAAM,CAAC,WAAW,CAAE,SAAS,CAAC,EAAyB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAqB,CAAC;YAChD,MAAM,CAAC,WAAW,CAAG,OAAO,CAAC,IAAwB,CAAC,IAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjG,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/type-inference.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=type-inference.test.d.ts.map

package/dist/test/unit/typecheck/type-inference.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/type-inference.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/typecheck/type-inference.test.js

@@ -0,0 +1,122 @@
+import { describe, test } from 'node:test';
+import assert from 'node:assert/strict';
+import { canonicalize } from '../../../src/frontend/canonicalizer.js';
+import { lex } from '../../../src/frontend/lexer.js';
+import { parse } from '../../../src/parser.js';
+import { lowerModule } from '../../../src/lower_to_core.js';
+import { typecheckModule } from '../../../src/typecheck.js';
+function runTypecheck(source) {
+    const canonical = canonicalize(source);
+    const tokens = lex(canonical);
+    const ast = parse(tokens);
+    const core = lowerModule(ast);
+    return typecheckModule(core);
+}
+function codes(diags) {
+    return diags.map(d => d.code);
+}
+describe('类型推导与诊断', () => {
+    test('泛型恒等函数应该无诊断', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.identity.
+
+To identity of T with value: T, produce T:
+  Return value.
+`);
+        assert.equal(diagnostics.length, 0);
+    });
+    test('未使用的类型参数应该触发 TYPE_PARAM_UNUSED 告警', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.unused_type_param.
+
+To constant of T with value: Int, produce Int:
+  Return value.
+`);
+        assert.equal(diagnostics.some(d => d.code === "E005" /* ErrorCode.TYPE_PARAM_UNUSED */), true);
+    });
+    test('可变变量赋值类型不符应该触发 TYPE_MISMATCH_ASSIGN', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.assign_mismatch.
+
+To demo, produce Int:
+  Let counter be 1.
+  Set counter to "x".
+  Return counter.
+`);
+        assert.equal(diagnostics.some(d => d.code === "E002" /* ErrorCode.TYPE_MISMATCH_ASSIGN */), true);
+    });
+    test('返回类型不匹配应该触发 RETURN_TYPE_MISMATCH', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.return_mismatch.
+
+To describe with value: Int, produce Text:
+  Return value.
+`);
+        assert.equal(diagnostics.some(d => d.code === "E003" /* ErrorCode.RETURN_TYPE_MISMATCH */), true);
+    });
+    test('使用未定义变量应该触发 UNDEFINED_VARIABLE', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.undefined_var.
+
+To badAccess, produce Int:
+  Return missing.
+`);
+        assert.equal(diagnostics.some(d => d.code === "E101" /* ErrorCode.UNDEFINED_VARIABLE */), true);
+    });
+    test('Match 分支返回类型不一致应该触发 MATCH_BRANCH_MISMATCH', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.match_mismatch.
+
+Define Result as one of Ok, Err.
+
+To handle with outcome: Result, produce Int:
+  Match outcome:
+    When Ok, Return 1.
+    When Err, Return "bad".
+`);
+        assert.equal(diagnostics.some(d => d.code === "E009" /* ErrorCode.MATCH_BRANCH_MISMATCH */), true);
+    });
+    test('未知字段应该触发 UNKNOWN_FIELD', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.unknown_field.
+
+Define User with id: Text, name: Text.
+
+To buildUser, produce User:
+  Return User with id = "42", nickname = "Anon", name = "Alice".
+`);
+        assert.equal(diagnostics.some(d => d.code === "E011" /* ErrorCode.UNKNOWN_FIELD */), true);
+    });
+    test('字段类型不匹配应该触发 FIELD_TYPE_MISMATCH', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.field_type.
+
+Define User with id: Text, name: Text.
+
+To buildUser, produce User:
+  Return User with id = 42, name = "Alice".
+`);
+        assert.equal(diagnostics.some(d => d.code === "E012" /* ErrorCode.FIELD_TYPE_MISMATCH */), true);
+    });
+    test('缺失必填字段应该触发 MISSING_REQUIRED_FIELD', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.missing_field.
+
+Define User with id: Text, name: Text.
+
+To buildUser, produce User:
+  Return User with id = "42".
+`);
+        assert.equal(diagnostics.some(d => d.code === "E013" /* ErrorCode.MISSING_REQUIRED_FIELD */), true);
+    });
+    test('await 非 Maybe/Result 应该触发 AWAIT_TYPE', () => {
+        const diagnostics = runTypecheck(`
+This module is test.typecheck.await_type.
+
+To badAwait with value: Int, produce Int:
+  Return await(value).
+`);
+        assert.equal(diagnostics.some(d => d.code === "E015" /* ErrorCode.AWAIT_TYPE */), true);
+    });
+});
+//# sourceMappingURL=type-inference.test.js.map

package/dist/test/unit/typecheck/type-inference.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-inference.test.js","sourceRoot":"","sources":["../../../../test/unit/typecheck/type-inference.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAI5D,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,KAAK,CAAC,KAAqC;IAClD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE;QACvB,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC7C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,6CAAgC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC/C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,gDAAmC,CAAC,EAAE,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,gDAAmC,CAAC,EAAE,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC1C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,8CAAiC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;;;CASpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,iDAAoC,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,yCAA4B,CAAC,EAAE,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC3C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,+CAAkC,CAAC,EAAE,IAAI,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC7C,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;;;CAOpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kDAAqC,CAAC,EAAE,IAAI,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,WAAW,GAAG,YAAY,CAAC;;;;;CAKpC,CAAC,CAAC;QACC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,sCAAyB,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/test/unit/typecheck/type-system-extended.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * TypeSystem 扩展测试
+ *
+ * 覆盖 effect lattice、EffectVar 绑定冲突、list 字面推断、
+ * declaredEffects/effectParams 列表比较以及 Workflow 子类型逻辑。
+ */
+export {};
+//# sourceMappingURL=type-system-extended.test.d.ts.map

package/dist/test/unit/typecheck/type-system-extended.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-extended.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/typecheck/type-system-extended.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}