@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -1 +1 @@
-{"version":3,"file":"soundness-gate.test.js","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAG1D;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,OAAe,EACf,UAGI,EAAE,EACI,EAAE,CAAC,CAAC;IACd,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,MAAM;IACjB,SAAS,EAAE,MAAM;IACjB,iBAAiB,EAAE,IAAI;IACvB,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;IAC9B,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACjC;YACE,IAAI,EAAE,qBAAqB;YAC3B,eAAe,EAAE,OAAO;YACxB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE;gBACZ;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oBAC9C,IAAI,EAAE,OAAO;oBACb,WAAW,EAAE;wBACX,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,IAAI;wBACX,GAAG,EAAE,MAAM;qBACZ;iBACF;aACF;SACF;KACF;IACD,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,QAAQ,GAAW;gBACvB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAClD,SAAS,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACnC,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,QAAQ;gCACd,WAAW,EAAE;oCACX,IAAI,EAAE,QAAQ;oCACd,UAAU,EAAE,EAAE;oCACd,cAAc,EAAE,QAAQ;oCACxB,YAAY,EAAE,QAAQ;iCACvB;6BACF;yBACF;qBACF;oBACD;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,MAAM;gCACZ,YAAY,EAAE,QAAQ;6BACvB;4BACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;4BACrD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,YAAY;4BACxB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,KAAK;gCACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE;6BAC1D;4BACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;4BACjD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,YAAY;4BACxB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;YACnG,MAAM,SAAS,GAAW;gBACxB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;aACrC,CAAC;YAEF,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,cAAc;4BACpB,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,OAAO;gCACb,YAAY,EAAE,SAAS;6BACxB;4BACD,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE;4BACjD,UAAU,EAAE,IAAI;4BAChB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,YAAY;4BACxB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;4BACrC,wBAAwB,EAAE,IAAI;yBAC/B;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,KAAK;gCACX,YAAY,EAAE;oCACZ,IAAI,EAAE,cAAc;oCACpB,UAAU,EAAE,EAAE;oCACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACtD;6BACF;4BACD,SAAS,EAAE,EAAE;4BACb,UAAU,EAAE,KAAK;4BACjB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,MAAM;4BACZ,MAAM,EAAE;gCACN,IAAI,EAAE,cAAc;gCACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE;gCAC5C,QAAQ,EAAE,OAAO;gCACjB,UAAU,EAAE,KAAK;gCACjB,UAAU,EAAE,KAAK;6BAClB;4BACD,SAAS,EAAE;gCACT;oCACE,IAAI,EAAE,SAAS;oCACf,KAAK,EAAE,IAAI;oCACX,GAAG,EAAE,MAAM;oCACX,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxD;6BACF;4BACD,UAAU,EAAE,KAAK;4BACjB,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;4BACrC,wBAAwB,EAAE,IAAI;yBAC/B;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE;4BACV,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE;gCACN,IAAI,EAAE,YAAY;gCAClB,IAAI,EAAE,OAAO;gCACb,YAAY,EAAE;oCACZ,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,OAAO;oCACb,eAAe,EAAE,oBAAoB;iCACtC;6BACF;4BACD,SAAS,EAAE,EAAE;4BACb,YAAY,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;yBACtC;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAEzD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;aACjC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,MAAM;wBACZ,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gCACzB,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;wBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;wBAChD,UAAU,EAAE,KAAK;wBACjB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;qBACnB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;YAE7D,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAC5C,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,uBAAuB;aACzC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,cAAc;aACrB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE;gBAC3C,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,uBAAuB;aAC9B,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,EAAE;gBAC3C,mBAAmB,EAAE,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;aAC/C,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EACvC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,kBAAkB;wBACxB,IAAI,EAAE,MAAM;wBACZ,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,UAAU,EAAE,EAAE;wBACd,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EACxC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,OAAO;wBACb,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE,EAAE;qBACZ;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,KAAK;wBACjB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAChD;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC;gBACE,cAAc,EAAE;oBACd;wBACE,IAAI,EAAE,iBAAiB;wBACvB,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,KAAK;wBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAClD;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,EAC1C;gBACE,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,uBAAuB;wBAC/B,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,SAAS;gCACf,SAAS,EAAE,SAAS;gCACpB,MAAM,EAAE,IAAI;6BACb;yBACF;wBACD,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,IAAI;wBACX,iBAAiB,EAAE,QAAQ;qBAC5B;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,0BAA0B,EAAE,EAC3D;gBACE,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,WAAW;wBACnB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,iBAAiB;gCACvB,SAAS,EAAE,iBAAiB;gCAC5B,MAAM,EAAE,IAAI;6BACb;yBACF;wBACD,OAAO,EAAE,KAAK;wBACd,KAAK,EAAE,IAAI;wBACX,iBAAiB,EAAE,aAAa;qBACjC;iBACF;aACF,CACF,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,qBAAqB;aAC5B,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,UAAU;wBAChB,cAAc,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;wBACtD,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;gCAC9C,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;wBACpD,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE;wCACV,IAAI,EAAE,YAAY;wCAClB,IAAI,EAAE,GAAG;qCACV;iCACF;6BACF;yBACF;wBACD,UAAU,EAAE,KAAK;wBACjB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;qBACnB;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBAClC,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;YAE1D,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,eAAe,EAAE,OAAO;oBACxB,UAAU,EAAE,KAAK;oBACjB,YAAY,EAAE;wBACZ;4BACE,IAAI,EAAE,oBAAoB;4BAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC9C,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;4BAC7B,WAAW,EAAE;gCACX,IAAI,EAAE,MAAM;gCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE;gCACpC,SAAS,EAAE;oCACT;wCACE,IAAI,EAAE,SAAS;wCACf,KAAK,EAAE,IAAI;wCACX,GAAG,EAAE,MAAM;qCACZ;iCACF;gCACD,UAAU,EAAE,KAAK;6BAClB;yBACF;qBACF;iBACF;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;YACpD,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gCAC/C,WAAW,EAAE;oCACX,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,OAAO;oCACb,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACxD;6BACF;4BACD;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gCAC5C,WAAW,EAAE;oCACX,IAAI,EAAE,QAAQ;oCACd,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;oCAClD,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;iCACrD;6BACF;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YACF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"soundness-gate.test.js","sourceRoot":"","sources":["../../../src/ir/validation/soundness-gate.test.ts"],"names":[],"mappings":"AAAA,OAAO,uDAAuD,CAAC;AAC/D,OAAO,sDAAsD,CAAC;AAC9D,OAAO,wDAAwD,CAAC;AAChE,OAAO,0DAA0D,CAAC;AAClE,OAAO,2DAA2D,CAAC"}

package/dist/ir/validation/virtual-marking-pass.d.ts

@@ -1,8 +1,16 @@
 /**
  * Virtual Marking Pass
  *
- * For each method/property with isOverride=true in derived classes,
- * finds and marks the corresponding base class member with isVirtual=true.
+ * Recomputes local TypeScript class override/shadow relationships after all IR
+ * collection passes have attached final emitted member names. This pass is the
+ * single source of truth for local class hierarchies:
+ * - no legacy overload helper bridges
+ * - no widened-signature compatibility bridges
+ * - no source-name-only matching
+ *
+ * A derived member overrides a local base member only when the emitted CLR name
+ * and full signature match exactly after base-class type-argument substitution.
+ * Otherwise, a same-name local member is marked as shadowing.
  */
 import { IrModule } from "../types.js";
 export type VirtualMarkingResult = {

package/dist/ir/validation/virtual-marking-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"virtual-marking-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/virtual-marking-pass.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,QAAQ,EAIT,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,QAAQ,EAAE,KAC3B,oBAoFF,CAAC"}
+{"version":3,"file":"virtual-marking-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/virtual-marking-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAKL,QAAQ,EAOT,MAAM,aAAa,CAAC;AAGrB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACvC,CAAC;AAqiBF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,QAAQ,EAAE,KAC3B,oBA4EF,CAAC"}

package/dist/ir/validation/virtual-marking-pass.js

@@ -1,14 +1,337 @@
 /**
  * Virtual Marking Pass
  *
- * For each method/property with isOverride=true in derived classes,
- * finds and marks the corresponding base class member with isVirtual=true.
+ * Recomputes local TypeScript class override/shadow relationships after all IR
+ * collection passes have attached final emitted member names. This pass is the
+ * single source of truth for local class hierarchies:
+ * - no legacy overload helper bridges
+ * - no widened-signature compatibility bridges
+ * - no source-name-only matching
+ *
+ * A derived member overrides a local base member only when the emitted CLR name
+ * and full signature match exactly after base-class type-argument substitution.
+ * Otherwise, a same-name local member is marked as shadowing.
  */
+import { getIrMemberPublicName, irTypesEqual, substituteIrType, } from "../types.js";
+import { stripNullishForInference } from "../type-system/type-system-state-helpers.js";
+const VOID_TYPE = { kind: "voidType" };
+const normalizeBaseClassName = (raw) => {
+    const withoutTypeArgs = raw.split("<")[0] ?? raw;
+    const simple = withoutTypeArgs.split(".").pop() ?? withoutTypeArgs;
+    return simple.trim();
+};
+const buildClassTypeSubstitution = (baseClass, superClass) => {
+    const typeParameters = baseClass.typeParameters ?? [];
+    if (typeParameters.length === 0) {
+        return undefined;
+    }
+    if (!superClass ||
+        superClass.kind !== "referenceType" ||
+        !superClass.typeArguments ||
+        superClass.typeArguments.length !== typeParameters.length) {
+        return undefined;
+    }
+    const substitution = new Map();
+    for (let index = 0; index < typeParameters.length; index += 1) {
+        const typeParameter = typeParameters[index];
+        const typeArgument = superClass.typeArguments[index];
+        if (!typeParameter || !typeArgument) {
+            return undefined;
+        }
+        substitution.set(typeParameter.name, typeArgument);
+    }
+    return substitution;
+};
+const buildCanonicalMethodTypeSubstitution = (typeParameters) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    const substitution = new Map();
+    for (let index = 0; index < typeParameters.length; index += 1) {
+        const typeParameter = typeParameters[index];
+        if (!typeParameter)
+            continue;
+        substitution.set(typeParameter.name, {
+            kind: "typeParameterType",
+            name: `__method_${index}`,
+        });
+    }
+    return substitution;
+};
+const canonicalizeMethodType = (type, methodTypeParameters, classSubstitution) => {
+    if (!type) {
+        return undefined;
+    }
+    let current = type;
+    if (classSubstitution && classSubstitution.size > 0) {
+        current = substituteIrType(current, classSubstitution);
+    }
+    const methodSubstitution = buildCanonicalMethodTypeSubstitution(methodTypeParameters);
+    if (!methodSubstitution || methodSubstitution.size === 0) {
+        return current;
+    }
+    return substituteIrType(current, methodSubstitution);
+};
+const buildSelfTypeSubstitution = (classDecl, instantiatedType) => {
+    const typeParameters = classDecl.typeParameters ?? [];
+    if (typeParameters.length === 0) {
+        return undefined;
+    }
+    if (!instantiatedType.typeArguments ||
+        instantiatedType.typeArguments.length !== typeParameters.length) {
+        return undefined;
+    }
+    const substitution = new Map();
+    for (let index = 0; index < typeParameters.length; index += 1) {
+        const typeParameter = typeParameters[index];
+        const typeArgument = instantiatedType.typeArguments[index];
+        if (!typeParameter || !typeArgument) {
+            return undefined;
+        }
+        substitution.set(typeParameter.name, typeArgument);
+    }
+    return substitution;
+};
+const typesEqual = (left, right, classRegistry) => {
+    if (!left || !right) {
+        return left === right;
+    }
+    if (irTypesEqual(left, right)) {
+        return true;
+    }
+    if (!classRegistry ||
+        left.kind !== "referenceType" ||
+        right.kind !== "referenceType") {
+        return false;
+    }
+    const leftClassName = normalizeBaseClassName(left.name);
+    const rightClassName = normalizeBaseClassName(right.name);
+    const leftClass = classRegistry.get(leftClassName);
+    const rightClass = classRegistry.get(rightClassName);
+    if (!leftClass || !rightClass || leftClass !== rightClass) {
+        return false;
+    }
+    const leftArgs = left.typeArguments ?? [];
+    const rightArgs = right.typeArguments ?? [];
+    if (leftArgs.length !== rightArgs.length) {
+        return false;
+    }
+    for (let index = 0; index < leftArgs.length; index += 1) {
+        if (!typesEqual(leftArgs[index], rightArgs[index], classRegistry)) {
+            return false;
+        }
+    }
+    return true;
+};
+const isLocalReferenceSubtype = (derivedType, baseType, classRegistry) => {
+    if (!derivedType || !baseType) {
+        return false;
+    }
+    if (typesEqual(derivedType, baseType, classRegistry)) {
+        return true;
+    }
+    if (derivedType.kind !== "referenceType" ||
+        baseType.kind !== "referenceType") {
+        return false;
+    }
+    const derivedClass = classRegistry.get(normalizeBaseClassName(derivedType.name));
+    if (!derivedClass?.superClass ||
+        derivedClass.superClass.kind !== "referenceType") {
+        return false;
+    }
+    const selfSubstitution = buildSelfTypeSubstitution(derivedClass, derivedType);
+    const instantiatedSuper = selfSubstitution && selfSubstitution.size > 0
+        ? substituteIrType(derivedClass.superClass, selfSubstitution)
+        : derivedClass.superClass;
+    return isLocalReferenceSubtype(instantiatedSuper, baseType, classRegistry);
+};
+const parametersExactlyMatch = (baseParameter, derivedParameter, baseMethodTypeParameters, derivedMethodTypeParameters, classRegistry, classSubstitution) => baseParameter.isOptional === derivedParameter.isOptional &&
+    baseParameter.isRest === derivedParameter.isRest &&
+    baseParameter.passing === derivedParameter.passing &&
+    typesEqual(canonicalizeMethodType(baseParameter.type, baseMethodTypeParameters, classSubstitution), canonicalizeMethodType(derivedParameter.type, derivedMethodTypeParameters), classRegistry);
+const methodsExactlyMatch = (baseMethod, derivedMethod, classRegistry, classSubstitution) => {
+    if (getIrMemberPublicName(baseMethod) !== getIrMemberPublicName(derivedMethod)) {
+        return false;
+    }
+    const baseTypeParameters = baseMethod.typeParameters;
+    const derivedTypeParameters = derivedMethod.typeParameters;
+    if ((baseTypeParameters?.length ?? 0) !== (derivedTypeParameters?.length ?? 0)) {
+        return false;
+    }
+    if (baseMethod.parameters.length !== derivedMethod.parameters.length) {
+        return false;
+    }
+    for (let index = 0; index < baseMethod.parameters.length; index += 1) {
+        const baseParameter = baseMethod.parameters[index];
+        const derivedParameter = derivedMethod.parameters[index];
+        if (!baseParameter || !derivedParameter) {
+            return false;
+        }
+        if (!parametersExactlyMatch(baseParameter, derivedParameter, baseTypeParameters, derivedTypeParameters, classRegistry, classSubstitution)) {
+            return false;
+        }
+    }
+    const canonicalBaseReturn = canonicalizeMethodType(baseMethod.returnType ?? VOID_TYPE, baseTypeParameters, classSubstitution);
+    const canonicalDerivedReturn = canonicalizeMethodType(derivedMethod.returnType ?? VOID_TYPE, derivedTypeParameters);
+    return (typesEqual(canonicalBaseReturn, canonicalDerivedReturn, classRegistry) ||
+        isLocalReferenceSubtype(canonicalDerivedReturn, canonicalBaseReturn, classRegistry));
+};
+const propertiesExactlyMatch = (baseProperty, derivedProperty, classRegistry, classSubstitution) => {
+    if (baseProperty.name !== derivedProperty.name) {
+        return false;
+    }
+    const baseType = classSubstitution && baseProperty.type
+        ? substituteIrType(baseProperty.type, classSubstitution)
+        : baseProperty.type;
+    const canonicalBaseType = baseType
+        ? (stripNullishForInference(baseType) ?? baseType)
+        : baseType;
+    const canonicalDerivedType = derivedProperty.type
+        ? (stripNullishForInference(derivedProperty.type) ?? derivedProperty.type)
+        : derivedProperty.type;
+    return (typesEqual(canonicalBaseType, canonicalDerivedType, classRegistry) ||
+        isLocalReferenceSubtype(canonicalDerivedType, canonicalBaseType, classRegistry));
+};
+const buildEmptyPlan = () => ({
+    methodUpdates: new Map(),
+    propertyUpdates: new Map(),
+    overriddenBaseMethodIndices: new Set(),
+    overriddenBasePropertyIndices: new Set(),
+});
+const analyzeLocalOverrides = (classDecl, classRegistry) => {
+    if (classDecl.superClass?.kind !== "referenceType") {
+        return buildEmptyPlan();
+    }
+    const baseClassName = normalizeBaseClassName(classDecl.superClass.name);
+    const baseClass = classRegistry.get(baseClassName);
+    if (!baseClass) {
+        return buildEmptyPlan();
+    }
+    const methodUpdates = new Map();
+    const propertyUpdates = new Map();
+    const overriddenBaseMethodIndices = new Set();
+    const overriddenBasePropertyIndices = new Set();
+    const classSubstitution = buildClassTypeSubstitution(baseClass, classDecl.superClass);
+    const baseMethods = [];
+    const baseProperties = [];
+    for (let index = 0; index < baseClass.members.length; index += 1) {
+        const member = baseClass.members[index];
+        if (!member) {
+            continue;
+        }
+        if (member.kind === "methodDeclaration") {
+            if (member.isStatic) {
+                continue;
+            }
+            baseMethods.push({ index, member });
+            continue;
+        }
+        if (member.kind === "propertyDeclaration") {
+            if (member.isStatic) {
+                continue;
+            }
+            baseProperties.push({ index, member });
+        }
+    }
+    for (let index = 0; index < classDecl.members.length; index += 1) {
+        const member = classDecl.members[index];
+        if (!member) {
+            continue;
+        }
+        if (member.kind === "methodDeclaration") {
+            if (member.isStatic) {
+                continue;
+            }
+            const sameNameBaseMethods = baseMethods.filter((baseMethod) => getIrMemberPublicName(baseMethod.member) ===
+                getIrMemberPublicName(member));
+            if (sameNameBaseMethods.length === 0) {
+                continue;
+            }
+            const matchedBaseMethod = sameNameBaseMethods.find((baseMethod) => methodsExactlyMatch(baseMethod.member, member, classRegistry, classSubstitution));
+            if (matchedBaseMethod) {
+                methodUpdates.set(index, { isOverride: true });
+                overriddenBaseMethodIndices.add(matchedBaseMethod.index);
+            }
+            else {
+                methodUpdates.set(index, { isShadow: true });
+            }
+            continue;
+        }
+        if (member.kind === "propertyDeclaration") {
+            if (member.isStatic) {
+                continue;
+            }
+            const sameNameBaseProperties = baseProperties.filter((baseProperty) => baseProperty.member.name === member.name);
+            if (sameNameBaseProperties.length === 0) {
+                continue;
+            }
+            const matchedBaseProperty = sameNameBaseProperties.find((baseProperty) => propertiesExactlyMatch(baseProperty.member, member, classRegistry, classSubstitution));
+            if (matchedBaseProperty) {
+                propertyUpdates.set(index, { isOverride: true });
+                overriddenBasePropertyIndices.add(matchedBaseProperty.index);
+            }
+            else {
+                propertyUpdates.set(index, { isShadow: true });
+            }
+        }
+    }
+    return {
+        methodUpdates,
+        propertyUpdates,
+        baseClassName,
+        overriddenBaseMethodIndices,
+        overriddenBasePropertyIndices,
+    };
+};
+const applyMethodUpdate = (member, update, isVirtual) => {
+    if (!update && !isVirtual) {
+        return member;
+    }
+    const { isOverride: _oldOverride, isShadow: _oldShadow, isVirtual: _oldVirtual, ...rest } = member;
+    return {
+        ...rest,
+        ...(update?.isOverride ? { isOverride: true } : {}),
+        ...(update?.isShadow ? { isShadow: true } : {}),
+        ...(isVirtual || member.isVirtual ? { isVirtual: true } : {}),
+    };
+};
+const applyPropertyUpdate = (member, update, isVirtual) => {
+    if (!update && !isVirtual) {
+        return member;
+    }
+    const { isOverride: _oldOverride, isShadow: _oldShadow, isVirtual: _oldVirtual, ...rest } = member;
+    return {
+        ...rest,
+        ...(update?.isOverride ? { isOverride: true } : {}),
+        ...(update?.isShadow ? { isShadow: true } : {}),
+        ...(isVirtual || member.isVirtual ? { isVirtual: true } : {}),
+    };
+};
+const transformStatement = (stmt, overridePlans, virtualMethodIndices, virtualPropertyIndices) => {
+    if (stmt.kind !== "classDeclaration") {
+        return stmt;
+    }
+    const plan = overridePlans.get(stmt.name);
+    const methodVirtuals = virtualMethodIndices.get(stmt.name);
+    const propertyVirtuals = virtualPropertyIndices.get(stmt.name);
+    const transformedMembers = stmt.members.map((member, index) => {
+        if (member.kind === "methodDeclaration") {
+            return applyMethodUpdate(member, plan?.methodUpdates.get(index), methodVirtuals?.has(index) ?? false);
+        }
+        if (member.kind === "propertyDeclaration") {
+            return applyPropertyUpdate(member, plan?.propertyUpdates.get(index), propertyVirtuals?.has(index) ?? false);
+        }
+        return member;
+    });
+    return {
+        ...stmt,
+        members: transformedMembers,
+    };
+};
 /**
  * Run virtual marking pass on all modules.
  */
 export const runVirtualMarkingPass = (modules) => {
-    // Build class registry: name -> class declaration
     const classRegistry = new Map();
     for (const module of modules) {
         for (const stmt of module.body) {
@@ -23,75 +346,40 @@ export const runVirtualMarkingPass = (modules) => {
             }
         }
     }
-    // Find all override methods and mark their base methods as virtual
-    const virtualMethods = new Set(); // "ClassName.methodName"
-    const virtualProperties = new Set(); // "ClassName.propertyName"
-    const normalizeBaseClassName = (raw) => {
-        // `Functor<T>` → `Functor`
-        const withoutTypeArgs = raw.split("<")[0] ?? raw;
-        // `Namespace.Functor` → `Functor`
-        const simple = withoutTypeArgs.split(".").pop() ?? withoutTypeArgs;
-        return simple.trim();
-    };
+    const overridePlans = new Map();
+    const virtualMethodIndices = new Map();
+    const virtualPropertyIndices = new Map();
     for (const classDecl of classRegistry.values()) {
-        for (const member of classDecl.members) {
-            if (member.kind === "methodDeclaration" &&
-                member.isOverride &&
-                !member.isStatic) {
-                // Find base class
-                if (classDecl.superClass?.kind === "referenceType") {
-                    const baseClassName = normalizeBaseClassName(classDecl.superClass.name);
-                    virtualMethods.add(`${baseClassName}.${member.name}`);
-                }
+        const plan = analyzeLocalOverrides(classDecl, classRegistry);
+        overridePlans.set(classDecl.name, plan);
+        if (!plan.baseClassName) {
+            continue;
+        }
+        if (plan.overriddenBaseMethodIndices.size > 0) {
+            const indices = virtualMethodIndices.get(plan.baseClassName) ?? new Set();
+            for (const index of plan.overriddenBaseMethodIndices) {
+                indices.add(index);
             }
-            if (member.kind === "propertyDeclaration" &&
-                member.isOverride &&
-                !member.isStatic) {
-                if (classDecl.superClass?.kind === "referenceType") {
-                    const baseClassName = normalizeBaseClassName(classDecl.superClass.name);
-                    virtualProperties.add(`${baseClassName}.${member.name}`);
-                }
+            virtualMethodIndices.set(plan.baseClassName, indices);
+        }
+        if (plan.overriddenBasePropertyIndices.size > 0) {
+            const indices = virtualPropertyIndices.get(plan.baseClassName) ?? new Set();
+            for (const index of plan.overriddenBasePropertyIndices) {
+                indices.add(index);
             }
+            virtualPropertyIndices.set(plan.baseClassName, indices);
         }
     }
-    // Transform modules to mark virtual methods
     const transformedModules = modules.map((module) => ({
         ...module,
-        body: module.body.map((stmt) => transformStatement(stmt, virtualMethods, virtualProperties)),
+        body: module.body.map((stmt) => transformStatement(stmt, overridePlans, virtualMethodIndices, virtualPropertyIndices)),
         exports: module.exports.map((exp) => exp.kind === "declaration"
             ? {
                 ...exp,
-                declaration: transformStatement(exp.declaration, virtualMethods, virtualProperties),
+                declaration: transformStatement(exp.declaration, overridePlans, virtualMethodIndices, virtualPropertyIndices),
             }
             : exp),
     }));
     return { ok: true, modules: transformedModules };
 };
-const transformStatement = (stmt, virtualMethods, virtualProperties) => {
-    if (stmt.kind !== "classDeclaration")
-        return stmt;
-    const transformedMembers = stmt.members.map((member) => {
-        if (member.kind !== "methodDeclaration")
-            return member;
-        if (member.isStatic || member.isOverride)
-            return member;
-        const key = `${stmt.name}.${member.name}`;
-        if (virtualMethods.has(key)) {
-            return { ...member, isVirtual: true };
-        }
-        return member;
-    });
-    const transformedMembersWithProps = transformedMembers.map((member) => {
-        if (member.kind !== "propertyDeclaration")
-            return member;
-        if (member.isStatic || member.isOverride)
-            return member;
-        const key = `${stmt.name}.${member.name}`;
-        if (virtualProperties.has(key)) {
-            return { ...member, isVirtual: true };
-        }
-        return member;
-    });
-    return { ...stmt, members: transformedMembersWithProps };
-};
 //# sourceMappingURL=virtual-marking-pass.js.map

package/dist/ir/validation/virtual-marking-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"virtual-marking-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/virtual-marking-pass.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAcH;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA4B,EACN,EAAE;IACxB,kDAAkD;IAClD,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAE5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACrC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IACE,GAAG,CAAC,IAAI,KAAK,aAAa;gBAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,kBAAkB,EAC3C,CAAC;gBACD,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,yBAAyB;IACnE,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC,CAAC,2BAA2B;IAExE,MAAM,sBAAsB,GAAG,CAAC,GAAW,EAAU,EAAE;QACrD,2BAA2B;QAC3B,MAAM,eAAe,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;QACjD,kCAAkC;QAClC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,eAAe,CAAC;QACnE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACvB,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/C,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBACnC,MAAM,CAAC,UAAU;gBACjB,CAAC,MAAM,CAAC,QAAQ,EAChB,CAAC;gBACD,kBAAkB;gBAClB,IAAI,SAAS,CAAC,UAAU,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnD,MAAM,aAAa,GAAG,sBAAsB,CAC1C,SAAS,CAAC,UAAU,CAAC,IAAI,CAC1B,CAAC;oBACF,cAAc,CAAC,GAAG,CAAC,GAAG,aAAa,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxD,CAAC;YACH,CAAC;YAED,IACE,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBACrC,MAAM,CAAC,UAAU;gBACjB,CAAC,MAAM,CAAC,QAAQ,EAChB,CAAC;gBACD,IAAI,SAAS,CAAC,UAAU,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnD,MAAM,aAAa,GAAG,sBAAsB,CAC1C,SAAS,CAAC,UAAU,CAAC,IAAI,CAC1B,CAAC;oBACF,iBAAiB,CAAC,GAAG,CAAC,GAAG,aAAa,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,4CAA4C;IAC5C,MAAM,kBAAkB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClD,GAAG,MAAM;QACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7B,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAC5D;QACD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAClC,GAAG,CAAC,IAAI,KAAK,aAAa;YACxB,CAAC,CAAC;gBACE,GAAG,GAAG;gBACN,WAAW,EAAE,kBAAkB,CAC7B,GAAG,CAAC,WAAW,EACf,cAAc,EACd,iBAAiB,CACH;aACjB;YACH,CAAC,CAAC,GAAG,CACR;KACF,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAiB,EACjB,cAA2B,EAC3B,iBAA8B,EACjB,EAAE;IACf,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAElD,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAiB,EAAE;QACpE,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,MAAM,CAAC;QACvD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,MAAM,CAAC;QAExD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,MAAM,2BAA2B,GAAG,kBAAkB,CAAC,GAAG,CACxD,CAAC,MAAM,EAAiB,EAAE;QACxB,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB;YAAE,OAAO,MAAM,CAAC;QACzD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,UAAU;YAAE,OAAO,MAAM,CAAC;QAExD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CACF,CAAC;IAEF,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAC3D,CAAC,CAAC"}
+{"version":3,"file":"virtual-marking-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/virtual-marking-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,qBAAqB,EASrB,YAAY,EACZ,gBAAgB,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,wBAAwB,EAAE,MAAM,6CAA6C,CAAC;AA8BvF,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAE/C,MAAM,sBAAsB,GAAG,CAAC,GAAW,EAAU,EAAE;IACrD,MAAM,eAAe,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;IACjD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,eAAe,CAAC;IACnE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,SAA6B,EAC7B,UAA4C,EACH,EAAE;IAC3C,MAAM,cAAc,GAAG,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;IACtD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,CAAC,UAAU;QACX,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,CAAC,UAAU,CAAC,aAAa;QACzB,UAAU,CAAC,aAAa,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM,EACzD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,YAAY,GAAG,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,cAAgE,EACvB,EAAE;IAC3C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,YAAY,KAAK,EAAE;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACxB,oBAAsE,EACtE,iBAA+C,EAC3B,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,kBAAkB,GACtB,oCAAoC,CAAC,oBAAoB,CAAC,CAAC;IAC7D,IAAI,CAAC,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACzD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,gBAAgB,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,SAA6B,EAC7B,gBAA4D,EACnB,EAAE;IAC3C,MAAM,cAAc,GAAG,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;IACtD,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,CAAC,gBAAgB,CAAC,aAAa;QAC/B,gBAAgB,CAAC,aAAa,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM,EAC/D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAAwB,EACxB,KAAyB,EACzB,aAAuD,EAC9C,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,IAAI,KAAK,KAAK,CAAC;IACxB,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IACE,CAAC,aAAa;QACd,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,KAAK,CAAC,IAAI,KAAK,eAAe,EAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC;YAClE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,WAA+B,EAC/B,QAA4B,EAC5B,aAAsD,EAC7C,EAAE;IACX,IAAI,CAAC,WAAW,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,UAAU,CAAC,WAAW,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IACE,WAAW,CAAC,IAAI,KAAK,eAAe;QACpC,QAAQ,CAAC,IAAI,KAAK,eAAe,EACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CACpC,sBAAsB,CAAC,WAAW,CAAC,IAAI,CAAC,CACzC,CAAC;IACF,IACE,CAAC,YAAY,EAAE,UAAU;QACzB,YAAY,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,EAChD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC9E,MAAM,iBAAiB,GACrB,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,GAAG,CAAC;QAC3C,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,UAAU,EAAE,gBAAgB,CAAC;QAC7D,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC;IAE9B,OAAO,uBAAuB,CAAC,iBAAiB,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,aAA0B,EAC1B,gBAA6B,EAC7B,wBAA0E,EAC1E,2BAA6E,EAC7E,aAAsD,EACtD,iBAA+C,EACtC,EAAE,CACX,aAAa,CAAC,UAAU,KAAK,gBAAgB,CAAC,UAAU;IACxD,aAAa,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;IAChD,aAAa,CAAC,OAAO,KAAK,gBAAgB,CAAC,OAAO;IAClD,UAAU,CACR,sBAAsB,CACpB,aAAa,CAAC,IAAI,EAClB,wBAAwB,EACxB,iBAAiB,CAClB,EACD,sBAAsB,CAAC,gBAAgB,CAAC,IAAI,EAAE,2BAA2B,CAAC,EAC1E,aAAa,CACd,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAC1B,UAA+B,EAC/B,aAAkC,EAClC,aAAsD,EACtD,iBAA+C,EACtC,EAAE;IACX,IACE,qBAAqB,CAAC,UAAU,CAAC,KAAK,qBAAqB,CAAC,aAAa,CAAC,EAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,UAAU,CAAC,cAAc,CAAC;IACrD,MAAM,qBAAqB,GAAG,aAAa,CAAC,cAAc,CAAC;IAC3D,IACE,CAAC,kBAAkB,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,qBAAqB,EAAE,MAAM,IAAI,CAAC,CAAC,EAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,aAAa,GAAG,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,gBAAgB,GAAG,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,aAAa,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IACE,CAAC,sBAAsB,CACrB,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,aAAa,EACb,iBAAiB,CAClB,EACD,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,GAAG,sBAAsB,CAChD,UAAU,CAAC,UAAU,IAAI,SAAS,EAClC,kBAAkB,EAClB,iBAAiB,CAClB,CAAC;IACF,MAAM,sBAAsB,GAAG,sBAAsB,CACnD,aAAa,CAAC,UAAU,IAAI,SAAS,EACrC,qBAAqB,CACtB,CAAC;IAEF,OAAO,CACL,UAAU,CAAC,mBAAmB,EAAE,sBAAsB,EAAE,aAAa,CAAC;QACtE,uBAAuB,CACrB,sBAAsB,EACtB,mBAAmB,EACnB,aAAa,CACd,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,YAAmC,EACnC,eAAsC,EACtC,aAAsD,EACtD,iBAA+C,EACtC,EAAE;IACX,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,CAAC,IAAI,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GACZ,iBAAiB,IAAI,YAAY,CAAC,IAAI;QACpC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACxD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC;IACxB,MAAM,iBAAiB,GAAG,QAAQ;QAChC,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAClD,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,oBAAoB,GAAG,eAAe,CAAC,IAAI;QAC/C,CAAC,CAAC,CAAC,wBAAwB,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;IAEzB,OAAO,CACL,UAAU,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,aAAa,CAAC;QAClE,uBAAuB,CACrB,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,CACd,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,GAAsB,EAAE,CAAC,CAAC;IAC/C,aAAa,EAAE,IAAI,GAAG,EAAgC;IACtD,eAAe,EAAE,IAAI,GAAG,EAAgC;IACxD,2BAA2B,EAAE,IAAI,GAAG,EAAU;IAC9C,6BAA6B,EAAE,IAAI,GAAG,EAAU;CACjD,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAC5B,SAA6B,EAC7B,aAAsD,EACnC,EAAE;IACrB,IAAI,SAAS,CAAC,UAAU,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACnD,OAAO,cAAc,EAAE,CAAC;IAC1B,CAAC;IAED,MAAM,aAAa,GAAG,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACnD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,cAAc,EAAE,CAAC;IAC1B,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC9D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAgC,CAAC;IAChE,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAAU,CAAC;IACtD,MAAM,6BAA6B,GAAG,IAAI,GAAG,EAAU,CAAC;IACxD,MAAM,iBAAiB,GAAG,0BAA0B,CAClD,SAAS,EACT,SAAS,CAAC,UAAU,CACrB,CAAC;IAEF,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,cAAc,GAAsB,EAAE,CAAC;IAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,CAC5C,CAAC,UAAU,EAAE,EAAE,CACb,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC;gBACxC,qBAAqB,CAAC,MAAM,CAAC,CAChC,CAAC;YACF,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrC,SAAS;YACX,CAAC;YAED,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAChE,mBAAmB,CACjB,UAAU,CAAC,MAAM,EACjB,MAAM,EACN,aAAa,EACb,iBAAiB,CAClB,CACF,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC/C,2BAA2B,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAC3D,CAAC;iBAAM,CAAC;gBACN,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,MAAM,sBAAsB,GAAG,cAAc,CAAC,MAAM,CAClD,CAAC,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAC3D,CAAC;YACF,IAAI,sBAAsB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxC,SAAS;YACX,CAAC;YAED,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACvE,sBAAsB,CACpB,YAAY,CAAC,MAAM,EACnB,MAAM,EACN,aAAa,EACb,iBAAiB,CAClB,CACF,CAAC;YACF,IAAI,mBAAmB,EAAE,CAAC;gBACxB,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjD,6BAA6B,CAAC,GAAG,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,aAAa;QACb,eAAe;QACf,aAAa;QACb,2BAA2B;QAC3B,6BAA6B;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,MAA2B,EAC3B,MAAwC,EACxC,SAAkB,EACG,EAAE;IACvB,IAAI,CAAC,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,EACJ,UAAU,EAAE,YAAY,EACxB,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,WAAW,EACtB,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;IAEX,OAAO;QACL,GAAG,IAAI;QACP,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAA6B,EAC7B,MAAwC,EACxC,SAAkB,EACK,EAAE;IACzB,IAAI,CAAC,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,EACJ,UAAU,EAAE,YAAY,EACxB,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,WAAW,EACtB,GAAG,IAAI,EACR,GAAG,MAAM,CAAC;IAEX,OAAO;QACL,GAAG,IAAI;QACP,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAiB,EACjB,aAAqD,EACrD,oBAA8D,EAC9D,sBAAgE,EACnD,EAAE;IACf,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,cAAc,GAAG,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE/D,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CACzC,CAAC,MAAM,EAAE,KAAK,EAAiB,EAAE;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,OAAO,iBAAiB,CACtB,MAAM,EACN,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAC9B,cAAc,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CACpC,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,OAAO,mBAAmB,CACxB,MAAM,EACN,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAChC,gBAAgB,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,CACtC,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC,CACF,CAAC;IAEF,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,kBAAkB;KAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA4B,EACN,EAAE;IACxB,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAE5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACrC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IACE,GAAG,CAAC,IAAI,KAAK,aAAa;gBAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,kBAAkB,EAC3C,CAAC;gBACD,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC3D,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5D,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAE9D,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,qBAAqB,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC7D,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAExC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACxB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,2BAA2B,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,OAAO,GACX,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACpE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,2BAA2B,EAAE,CAAC;gBACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;YACD,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QAED,IAAI,IAAI,CAAC,6BAA6B,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAChD,MAAM,OAAO,GACX,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACtE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,6BAA6B,EAAE,CAAC;gBACvD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACrB,CAAC;YACD,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,MAAM,kBAAkB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClD,GAAG,MAAM;QACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7B,kBAAkB,CAChB,IAAI,EACJ,aAAa,EACb,oBAAoB,EACpB,sBAAsB,CACvB,CACF;QACD,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAClC,GAAG,CAAC,IAAI,KAAK,aAAa;YACxB,CAAC,CAAC;gBACE,GAAG,GAAG;gBACN,WAAW,EAAE,kBAAkB,CAC7B,GAAG,CAAC,WAAW,EACf,aAAa,EACb,oBAAoB,EACpB,sBAAsB,CACR;aACjB;YACH,CAAC,CAAC,GAAG,CACR;KACF,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;AACnD,CAAC,CAAC"}

package/dist/ir/validation/virtual-marking-pass.test.d.ts

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

package/dist/ir/validation/virtual-marking-pass.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"virtual-marking-pass.test.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/virtual-marking-pass.test.ts"],"names":[],"mappings":""}