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

@tsonic/frontend 0.0.74 → 0.0.75

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

Files changed (1782) hide show

package/dist/validation/static-safety.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"static-safety.js","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EACL,qBAAqB,EACrB,2CAA2C,EAC3C,4CAA4C,EAC5C,sCAAsC,EACtC,gCAAgC,EAChC,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,8CAA8C,EAAE,MAAM,qCAAqC,CAAC;AASrG;;;;;;;;;GASG;AACH,MAAM,8BAA8B,GAAG,CACrC,IAAgC,EAChC,OAAsB,EACE,EAAE;IAC1B,MAAM,gCAAgC,GAAG,CACvC,IAAmB,EACJ,EAAE;QACjB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,SAAS,CAAC;YACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,IACE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;gBAC1B,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;gBACrC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EACjC,CAAC;gBACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,sCAAsC,GAAG,CAC7C,IAAqB,EACrB,cAAc,IAAI,GAAG,EAAa,EACd,EAAE;QACtB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,IAAI,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/D,IACE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EACvB,CAAC;gBACD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBAC7D,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAC3D,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC7B,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;oBAC9D,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;wBACrC,WAAW,CAAC,WAAW;wBACvB,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC,EAChD,CAAC;wBACD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;wBACvC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;4BACvC,MAAM,QAAQ,GAAG,sCAAsC,CACrD,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,WAAW,CAAC,WAAW,CAAC,EAC9D,WAAW,CACZ,CAAC;4BACF,IAAI,QAAQ,KAAK,SAAS;gCAAE,OAAO,QAAQ,CAAC;wBAC9C,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,WAAW;gBAChB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,EACzC,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBAChC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACjD,MAAM,QAAQ,GAAG,sCAAsC,CACrD,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,IAAI,CAAC,WAAW,CAAC,EACvD,WAAW,CACZ,CAAC;gBACF,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,QAAQ,CAAC;YAC9C,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,sCAAsC;QACtC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,IAAI,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EACJ,8EAA8E;iBACjF,CAAC;YACJ,CAAC;YACD,wBAAwB;YACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QAED,0EAA0E;QAC1E,mEAAmE;QACnE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EACJ,8EAA8E;iBACjF,CAAC;YACJ,CAAC;YACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;YACD,MAAM,wBAAwB,GAC5B,8CAA8C,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,wBAAwB,EAAE,CAAC;gBAC7B,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,wBAAwB;iBACjC,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,sDAAsD;QACtD,IACE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,IAAI,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EACJ,8EAA8E;iBACjF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,4BAA4B,GAAG,CACnC,MAAgD,EACvC,EAAE;IACX,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,oCAAoC;IACpC,6DAA6D;IAC7D,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,4CAA4C;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iDAAiD;IACjD,uDAAuD;IACvD,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yEAAyE;IACzE,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,2DAA2D;IAC3D,IACE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3C,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QACzC,8DAA8D;QAC9D,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,iDAAiD;QACjD,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,mDAAmD;IACnD,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;QAClC,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,kEAAkE;IAClE,+EAA+E;IAC/E,0BAA0B;IAC1B,8CAA8C;IAC9C,oCAAoC;IACpC,kFAAkF;IAClF,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,4EAA4E;QAC5E,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,sDAAsD;YACtD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,8DAA8D;YAC9D,IAAI,4BAA4B,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAa,EAC2B,EAAE;IAC1C,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,OAAO,OAAO,EAAE,CAAC;QACf,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAChC,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,8BAA8B,GAAG,CACrC,IAAgC,EACvB,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,iDAAiD;IACjD,6CAA6C;IAC7C,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oCAAoC;IACpC,sCAAsC;IACtC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,oCAAoC;IACpC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yEAAyE;IACzE,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,kBAAkB,IAAI,kBAAkB,CAAC,IAAI,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,wDAAwD;IACxD,IACE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;QAC/B,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,CAAC,EAC3C,CAAC;QACD,OAAO,8BAA8B,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,gEAAgE;IAChE,kDAAkD;IAClD,IAAI,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;QAClC,IAAI,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9D,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,yDAAyD;IACzD,kCAAkC;IAClC,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,yCAAyC;IACzC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,0CAA0C,GAAG,CACjD,IAAmB,EACnB,OAAuB,EACd,EAAE;IACX,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtE,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAChC,MAAM,CAAC,WAAW,KAAK,IAAI;QAC3B,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAC5B,CAAC;QACD,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;QACtC,IAAI,EAAE,CAAC,yBAAyB,CAAC,eAAe,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC/D,IAAI,OAAO,IAAI,KAAK;gBAAE,OAAO,IAAI,CAAC;QACpC,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE7E,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,aAAa,GAAG,CAAC,IAAa,EAAW,EAAE;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,OAAO,CACL,CAAC,KAAK;gBACJ,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI;oBAChB,EAAE,CAAC,SAAS,CAAC,SAAS;oBACtB,EAAE,CAAC,SAAS,CAAC,IAAI;oBACjB,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACxB,CAAC,CACF,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,yBAAyB,GAAG,CAAC,IAAa,EAAW,EAAE;YAC3D,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CACrB,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,yBAAyB,CAAC,MAAM,CAAC,CACvE,CAAC;YACJ,CAAC;YAED,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;YACzE,CAAC;YAED,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAC5C,IAAI,EACJ,EAAE,CAAC,aAAa,CAAC,IAAI,CACtB,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1C,OAAO,UAAU,CAAC,KAAK,CACrB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,CAChE,CAAC;QACJ,CAAC,CAAC;QAEF,IAAI,yBAAyB,CAAC,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;IAC7D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAAuB,EACvB,IAAmB,EACI,EAAE;IACzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,6BAA6B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrE,OAAO,OAAO,CAAC,iCAAiC,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC;IACxE,CAAC;IACD,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,cAAc,GAAG,qBAAqB,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,oCAAoC,GACxC,2CAA2C,CACzC,UAAU,EACV,OAAO,CAAC,OAAO,EACf,cAAc,CACf,CAAC;IAEJ,MAAM,OAAO,GAAG,CACd,IAAa,EACb,YAAkC,EACZ,EAAE;QACxB,IAAI,gBAAgB,GAAG,YAAY,CAAC;QAEpC,qDAAqD;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3C,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gGAAgG,EAChG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAC3C,CAAC;YACD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0EAA0E,EAC1E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,2EAA2E,CAC5E,CACF,CAAC;QACJ,CAAC;QAED,iDAAiD;QACjD,8FAA8F;QAC9F,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAE3B,uFAAuF;YACvF,MAAM,QAAQ,GACZ,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;YAEhE,IAAI,QAAQ,EAAE,CAAC;gBACb,6CAA6C;gBAC7C,iFAAiF;gBACjF,2DAA2D;gBAC3D,MAAM,sBAAsB,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;gBAEpE,IAAI,sBAAsB,EAAE,CAAC;oBAC3B,mFAAmF;gBACrF,CAAC;qBAAM,CAAC;oBACN,0CAA0C;oBAC1C,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,OAAO,CAAC;oBACZ,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,0CAA0C,EACjE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qIAAqI,CACtI,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,6EAA6E;gBAC7E,2CAA2C;gBAC3C,MAAM,cAAc,GAClB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;oBAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;oBAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;oBACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;oBACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;gBAEtC,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,OAAO,CAAC;oBACZ,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,0CAA0C,EACjE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,0CAA0C,CAC3C,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,kFAAkF;QAClF,yFAAyF;QACzF,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,iFAAiF;YACjF,MAAM,iBAAiB,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;YAE/D,IAAI,iBAAiB,EAAE,CAAC;gBACtB,uFAAuF;YACzF,CAAC;iBAAM,CAAC;gBACN,yDAAyD;gBACzD,0FAA0F;gBAC1F,kCAAkC;gBAClC,MAAM,WAAW,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAClE,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;oBAC1B,oEAAoE;oBACpE,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yCAAyC,WAAW,CAAC,MAAM,EAAE,EAC7D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,kGAAkG,CACnG,CACF,CAAC;gBACJ,CAAC;gBACD,iEAAiE;YACnE,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;gBAExE,8DAA8D;gBAC9D,EAAE;gBACF,+EAA+E;gBAC/E,0EAA0E;gBAC1E,8DAA8D;gBAC9D,IACE,WAAW;oBACX,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EACtE,CAAC;oBACD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oDAAoD,EACpD,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qJAAqJ,CACtJ,CACF,CAAC;gBACJ,CAAC;gBAED,2DAA2D;gBAC3D,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;oBACpC,MAAM,WAAW,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;oBAClC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,CAAC;4BACnC,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iGAAiG,EACjG,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,EACxC,iEAAiE,CAClE,CACF,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,2DAA2D;QAC3D,uFAAuF;QACvF,IAAI,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,QAAQ,EAAE,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sGAAsG,EACtG,eAAe,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EAC1C,0EAA0E,CAC3E,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,gEAAgE;QAEhE,mBAAmB;QACnB,0EAA0E;QAE1E,mBAAmB;QACnB,yEAAyE;QAEzE,mBAAmB;QACnB,iEAAiE;QAEjE,mBAAmB;QACnB,sDAAsD;QAEtD,mBAAmB;QACnB,wEAAwE;QAExE,mBAAmB;QACnB,gFAAgF;QAEhF,WAAW;QACX,4EAA4E;QAC5E,+DAA+D;QAC/D,kFAAkF;QAClF,wEAAwE;QACxE,qEAAqE;QACrE,wDAAwD;QACxD,+EAA+E;QAC/E,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,sCAAsC,CACnD,IAAI,EACJ,OAAO,CAAC,OAAO,EACf,cAAc,CACf,CAAC;YACF,MAAM,WAAW,GACf,MAAM,KAAK,SAAS;gBACpB,oCAAoC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAEnD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2HAA2H,EAC3H,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,gIAAgI,CACjI,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,gCAAgC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,4CAA4C,CACzD,IAAI,EACJ,OAAO,CAAC,OAAO,CAChB,CAAC;YACF,MAAM,WAAW,GACf,MAAM,KAAK,SAAS;gBACpB,oCAAoC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gJAAgJ,EAChJ,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,oGAAoG,CACrG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,6BAA6B,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACpE,IACE,MAAM;gBACN,oCAAoC,CAAC,GAAG,CAAC,MAAM,CAAC;gBAChD,CAAC,0CAA0C,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,EAClE,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBACvB,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2BAA2B,IAAI,8GAA8G,EAC7I,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,+KAA+K,CAChL,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,wDAAwD;QACxD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,gBAAgB,GAAG,wBAAwB,CACzC,IAAI,EACJ,UAAU,EACV,OAAO,CAAC,OAAO,EACf,gBAAgB,CACjB,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9B,gBAAgB,GAAG,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,OAAO,gBAAgB,CAAC;IAC1B,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,gBAAgB,GAAG,CAAC,QAAqB,EAAW,EAAE;IAC1D,kBAAkB;IAClB,IACE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wCAAwC;IACxC,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QACjC,IACE,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,EAC7C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,kCAAkC;IAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC3B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChE,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAsB,EACtB,UAAyB,EACzB,QAAwB,EACxB,SAA+B,EACT,EAAE;IACxB,8DAA8D;IAC9D,MAAM,qBAAqB,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;IACtD,MAAM,wBAAwB,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CACpD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CACpC,CAAC;IAEF,oDAAoD;IACpD,IAAI,qBAAqB,IAAI,wBAAwB,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAE3D,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wCAAwC;IACxC,MAAM,iBAAiB,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAE9C,0DAA0D;IAC1D,yFAAyF;IACzF,IAAI,iBAAiB,CAAC,QAAQ,EAAE,CAAC;QAC/B,+BAA+B;QAC/B,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,qFAAqF,EACrF,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,6EAA6E,CAC9E,CACF,CAAC;IACJ,CAAC;IAED,oEAAoE;IACpE,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2CAA2C,iBAAiB,CAAC,MAAM,EAAE,EACrE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,mJAAmJ,CACpJ,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,aAAa,GAAG,CACpB,IAAsB,EAGkC,EAAE;IAC1D,0EAA0E;IAC1E,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EACJ,gFAAgF;aACnF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EACJ,kFAAkF;aACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,MAAM,EACJ,yEAAyE;aAC5E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC,CAAC"}
1	+ {"version":3,"file":"static-safety.js","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/validation/synthesis-eligibility.d.ts ADDED Viewed

@@ -0,0 +1,31 @@
+/**
+ * Object Literal Synthesis Eligibility
+ *
+ * Checks basic structural eligibility for object literal synthesis.
+ * Validates structural constraints (no non-deterministic computed keys,
+ * no dynamic receiver method shorthand, etc.) but does NOT validate
+ * spread type annotations (that requires TypeSystem).
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+/**
+ * Result of basic eligibility check for object literal synthesis.
+ */
+export type BasicEligibilityResult = {
+    eligible: true;
+} | {
+    eligible: false;
+    reason: string;
+};
+/**
+ * Check basic structural eligibility for object literal synthesis.
+ *
+ * This is a simplified check that doesn't require TypeSystem access.
+ * It validates structural constraints (no non-deterministic computed keys,
+ * no dynamic receiver method shorthand, etc.)
+ * but does NOT validate spread type annotations (that requires TypeSystem).
+ *
+ * Full eligibility check happens during IR conversion.
+ */
+export declare const checkBasicSynthesisEligibility: (node: ts.ObjectLiteralExpression, program: TsonicProgram) => BasicEligibilityResult;
+//# sourceMappingURL=synthesis-eligibility.d.ts.map

package/dist/validation/synthesis-eligibility.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"synthesis-eligibility.d.ts","sourceRoot":"","sources":["../../src/validation/synthesis-eligibility.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAClB;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC;;;;;;;;;GASG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,uBAAuB,EAChC,SAAS,aAAa,KACrB,sBAkLF,CAAC"}

package/dist/validation/synthesis-eligibility.js ADDED Viewed

@@ -0,0 +1,161 @@
+/**
+ * Object Literal Synthesis Eligibility
+ *
+ * Checks basic structural eligibility for object literal synthesis.
+ * Validates structural constraints (no non-deterministic computed keys,
+ * no dynamic receiver method shorthand, etc.) but does NOT validate
+ * spread type annotations (that requires TypeSystem).
+ */
+import * as ts from "typescript";
+import { getUnsupportedObjectLiteralMethodRuntimeReason } from "../object-literal-method-runtime.js";
+/**
+ * Check basic structural eligibility for object literal synthesis.
+ *
+ * This is a simplified check that doesn't require TypeSystem access.
+ * It validates structural constraints (no non-deterministic computed keys,
+ * no dynamic receiver method shorthand, etc.)
+ * but does NOT validate spread type annotations (that requires TypeSystem).
+ *
+ * Full eligibility check happens during IR conversion.
+ */
+export const checkBasicSynthesisEligibility = (node, program) => {
+    const unwrapDeterministicKeyExpression = (expr) => {
+        let current = expr;
+        for (;;) {
+            if (ts.isParenthesizedExpression(current)) {
+                current = current.expression;
+                continue;
+            }
+            if (ts.isAsExpression(current) ||
+                ts.isTypeAssertionExpression(current) ||
+                ts.isSatisfiesExpression(current)) {
+                current = current.expression;
+                continue;
+            }
+            return current;
+        }
+    };
+    const tryResolveDeterministicComputedKeyName = (name, seenSymbols = new Set()) => {
+        if (ts.isIdentifier(name) ||
+            ts.isStringLiteral(name) ||
+            ts.isNoSubstitutionTemplateLiteral(name) ||
+            ts.isNumericLiteral(name)) {
+            return String(name.text);
+        }
+        if (!ts.isComputedPropertyName(name)) {
+            return undefined;
+        }
+        const expr = unwrapDeterministicKeyExpression(name.expression);
+        if (ts.isStringLiteral(expr) ||
+            ts.isNoSubstitutionTemplateLiteral(expr) ||
+            ts.isNumericLiteral(expr)) {
+            return String(expr.text);
+        }
+        if (!ts.isIdentifier(expr)) {
+            return undefined;
+        }
+        const symbol = program.checker.getSymbolAtLocation(expr);
+        if (!symbol || seenSymbols.has(symbol)) {
+            return undefined;
+        }
+        seenSymbols.add(symbol);
+        const declarations = symbol.getDeclarations() ?? [];
+        for (const decl of declarations) {
+            if (ts.isImportSpecifier(decl) ||
+                ts.isNamespaceImport(decl) ||
+                ts.isImportClause(decl)) {
+                const aliasSymbol = program.checker.getAliasedSymbol(symbol);
+                if (!aliasSymbol || seenSymbols.has(aliasSymbol))
+                    continue;
+                seenSymbols.add(aliasSymbol);
+                for (const aliasedDecl of aliasSymbol.getDeclarations() ?? []) {
+                    if (ts.isVariableDeclaration(aliasedDecl) &&
+                        aliasedDecl.initializer &&
+                        ts.isVariableDeclarationList(aliasedDecl.parent)) {
+                        const flags = aliasedDecl.parent.flags;
+                        if ((flags & ts.NodeFlags.Const) !== 0) {
+                            const resolved = tryResolveDeterministicComputedKeyName(ts.factory.createComputedPropertyName(aliasedDecl.initializer), seenSymbols);
+                            if (resolved !== undefined)
+                                return resolved;
+                        }
+                    }
+                }
+                continue;
+            }
+            if (ts.isVariableDeclaration(decl) &&
+                decl.initializer &&
+                ts.isVariableDeclarationList(decl.parent)) {
+                const flags = decl.parent.flags;
+                if ((flags & ts.NodeFlags.Const) === 0)
+                    continue;
+                const resolved = tryResolveDeterministicComputedKeyName(ts.factory.createComputedPropertyName(decl.initializer), seenSymbols);
+                if (resolved !== undefined)
+                    return resolved;
+            }
+        }
+        return undefined;
+    };
+    for (const prop of node.properties) {
+        // Property assignment: check key type
+        if (ts.isPropertyAssignment(prop)) {
+            if (tryResolveDeterministicComputedKeyName(prop.name) === undefined) {
+                return {
+                    eligible: false,
+                    reason: "Computed property key is not a deterministically known string/number literal",
+                };
+            }
+            // Check for symbol keys
+            if (ts.isPrivateIdentifier(prop.name)) {
+                return {
+                    eligible: false,
+                    reason: `Private identifier (symbol) keys are not supported`,
+                };
+            }
+        }
+        // Shorthand property: always ok (identifier key)
+        if (ts.isShorthandPropertyAssignment(prop)) {
+            continue;
+        }
+        // Spread: allow for now, full check happens during IR conversion
+        if (ts.isSpreadAssignment(prop)) {
+            continue;
+        }
+        // Method declarations are valid as long as they avoid unsupported runtime
+        // features. `this` is supported via object-literal method binding.
+        if (ts.isMethodDeclaration(prop)) {
+            if (tryResolveDeterministicComputedKeyName(prop.name) === undefined) {
+                return {
+                    eligible: false,
+                    reason: "Computed property key is not a deterministically known string/number literal",
+                };
+            }
+            if (ts.isPrivateIdentifier(prop.name)) {
+                return {
+                    eligible: false,
+                    reason: `Private identifier (symbol) keys are not supported`,
+                };
+            }
+            const unsupportedRuntimeReason = getUnsupportedObjectLiteralMethodRuntimeReason(prop);
+            if (unsupportedRuntimeReason) {
+                return {
+                    eligible: false,
+                    reason: unsupportedRuntimeReason,
+                };
+            }
+            continue;
+        }
+        // Getter/setter: allowed for synthesized object types
+        if (ts.isGetAccessorDeclaration(prop) ||
+            ts.isSetAccessorDeclaration(prop)) {
+            if (tryResolveDeterministicComputedKeyName(prop.name) === undefined) {
+                return {
+                    eligible: false,
+                    reason: "Computed property key is not a deterministically known string/number literal",
+                };
+            }
+            continue;
+        }
+    }
+    return { eligible: true };
+};
+//# sourceMappingURL=synthesis-eligibility.js.map

package/dist/validation/synthesis-eligibility.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"synthesis-eligibility.js","sourceRoot":"","sources":["../../src/validation/synthesis-eligibility.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,8CAA8C,EAAE,MAAM,qCAAqC,CAAC;AASrG;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAgC,EAChC,OAAsB,EACE,EAAE;IAC1B,MAAM,gCAAgC,GAAG,CACvC,IAAmB,EACJ,EAAE;QACjB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,SAAS,CAAC;YACR,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,IACE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;gBAC1B,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;gBACrC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EACjC,CAAC;gBACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,sCAAsC,GAAG,CAC7C,IAAqB,EACrB,cAAc,IAAI,GAAG,EAAa,EACd,EAAE;QACtB,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,IAAI,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/D,IACE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;YACxC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAED,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,IACE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EACvB,CAAC;gBACD,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBAC7D,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;oBAAE,SAAS;gBAC3D,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC7B,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;oBAC9D,IACE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC;wBACrC,WAAW,CAAC,WAAW;wBACvB,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC,EAChD,CAAC;wBACD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;wBACvC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;4BACvC,MAAM,QAAQ,GAAG,sCAAsC,CACrD,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,WAAW,CAAC,WAAW,CAAC,EAC9D,WAAW,CACZ,CAAC;4BACF,IAAI,QAAQ,KAAK,SAAS;gCAAE,OAAO,QAAQ,CAAC;wBAC9C,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,WAAW;gBAChB,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,EACzC,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBAChC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACjD,MAAM,QAAQ,GAAG,sCAAsC,CACrD,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,IAAI,CAAC,WAAW,CAAC,EACvD,WAAW,CACZ,CAAC;gBACF,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,QAAQ,CAAC;YAC9C,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,sCAAsC;QACtC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,IAAI,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EACJ,8EAA8E;iBACjF,CAAC;YACJ,CAAC;YACD,wBAAwB;YACxB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QAED,0EAA0E;QAC1E,mEAAmE;QACnE,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,IAAI,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EACJ,8EAA8E;iBACjF,CAAC;YACJ,CAAC;YACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;YACD,MAAM,wBAAwB,GAC5B,8CAA8C,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,wBAAwB,EAAE,CAAC;gBAC7B,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EAAE,wBAAwB;iBACjC,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,sDAAsD;QACtD,IACE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,IAAI,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO;oBACL,QAAQ,EAAE,KAAK;oBACf,MAAM,EACJ,8EAA8E;iBACjF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC,CAAC"}

package/dist/validator-cases/any-and-object-literals.test.d.ts ADDED Viewed

@@ -0,0 +1,10 @@
+/**
+ * Static Safety - Any Type & Object Literal tests
+ *
+ * Covers:
+ * - TSN7401: 'any' type banned
+ * - TSN7402: 'unknown' type banned outside erased overload stubs
+ * - TSN7403: Object literal requires nominal type
+ */
+export {};
+//# sourceMappingURL=any-and-object-literals.test.d.ts.map

package/dist/validator-cases/any-and-object-literals.test.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"any-and-object-literals.test.d.ts","sourceRoot":"","sources":["../../src/validator-cases/any-and-object-literals.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/validator-cases/any-and-object-literals.test.js ADDED Viewed

@@ -0,0 +1,271 @@
+/**
+ * Static Safety - Any Type & Object Literal tests
+ *
+ * Covers:
+ * - TSN7401: 'any' type banned
+ * - TSN7402: 'unknown' type banned outside erased overload stubs
+ * - TSN7403: Object literal requires nominal type
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateProgram } from "../validator.js";
+import { createTestProgram } from "./helpers.js";
+describe("Static Safety Validation", () => {
+    describe("TSN7401 - 'any' type banned", () => {
+        it("should reject explicit any type annotation", () => {
+            const source = `
+        export const x: any = 1;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const anyDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7401");
+            expect(anyDiag).not.to.equal(undefined);
+            expect(anyDiag?.message).to.include("'any' type is not supported");
+        });
+        it("should reject 'as any' type assertion", () => {
+            const source = `
+        export const x = (123 as any);
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const anyDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7401");
+            expect(anyDiag).not.to.equal(undefined);
+            expect(anyDiag?.message).to.include("'any' type assertion");
+        });
+        it("should allow broad any signatures on erased overload stubs", () => {
+            const source = `
+        import { overloads as O } from "@tsonic/core/lang.js";
+        export function parse(text: string): string;
+        export function parse(bytes: Uint8Array): string;
+        export function parse(value: any): any {
+          return value;
+        }
+        export function parse_text(text: string): string {
+          return text;
+        }
+        export function parse_bytes(bytes: Uint8Array): string {
+          return String(bytes.length);
+        }
+        O(parse_text).family(parse);
+        O(parse_bytes).family(parse);
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const anyDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7401");
+            expect(anyDiag).to.equal(undefined);
+        });
+    });
+    describe("TSN7402 - 'unknown' type banned", () => {
+        it("should reject explicit unknown type annotation", () => {
+            const source = `
+        export function process(data: unknown): void {
+          console.log(data);
+        }
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const unknownDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7402");
+            expect(unknownDiag).not.to.equal(undefined);
+            expect(unknownDiag?.message).to.include("'unknown' type is not supported");
+        });
+        it("should reject 'as unknown' type assertion", () => {
+            const source = `
+        export const x = (123 as unknown);
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const unknownDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7402");
+            expect(unknownDiag).not.to.equal(undefined);
+            expect(unknownDiag?.message).to.include("'unknown' type assertion");
+        });
+        it("should allow broad unknown signatures on erased overload stubs", () => {
+            const source = `
+        import { overloads as O } from "@tsonic/core/lang.js";
+        export function parse(text: string): string;
+        export function parse(bytes: Uint8Array): string;
+        export function parse(value: unknown): unknown {
+          return value;
+        }
+        export function parse_text(text: string): string {
+          return text;
+        }
+        export function parse_bytes(bytes: Uint8Array): string {
+          return String(bytes.length);
+        }
+        O(parse_text).family(parse);
+        O(parse_bytes).family(parse);
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const unknownDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7402");
+            expect(unknownDiag).to.equal(undefined);
+        });
+    });
+    describe("TSN7403 - Object literal requires nominal type", () => {
+        it("should allow simple object literal (auto-synthesis)", () => {
+            // Simple object literals with identifier keys are now synthesized automatically
+            const source = `
+        const a = { x: 1 };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with method shorthand", () => {
+            const source = `
+        const a = { foo(x: number): number { return x + 1; } };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with computed string-literal method key", () => {
+            const source = `
+        const a = { ["foo"](x: number): number { return x + 1; } };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with computed const-literal property and accessor keys", () => {
+            const source = `
+        const valueKey = "value";
+        const doubledKey = "doubled";
+        const a = {
+          [valueKey]: 2,
+          get [doubledKey](): number {
+            return this.value * 2;
+          },
+        };
+        void a.doubled;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with computed const-literal numeric property key", () => {
+            const source = `
+        const slot = 1;
+        const a = { [slot]: 7 };
+        void a;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal method shorthand that uses this", () => {
+            const source = `
+        const a = {
+          x: 1,
+          foo(): number {
+            return this.x;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal method shorthand that uses arguments.length with fixed required parameters", () => {
+            const source = `
+        const a = {
+          foo(x: number): number {
+            return arguments.length + x;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal method shorthand that uses arguments[n] with fixed required identifier parameters", () => {
+            const source = `
+        const a = {
+          foo(x: number, y: number): number {
+            return (arguments[0] as number) + y;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should reject object literal method shorthand that uses unsupported arguments patterns", () => {
+            const source = `
+        const a = {
+          foo(x?: number): number {
+            return arguments[0] as number;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).not.to.equal(undefined);
+            expect(objDiag?.message).to.include("arguments");
+        });
+        it("should allow object literal getter shorthand", () => {
+            const source = `
+        const a = {
+          get foo(): number {
+            return 1;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal getter shorthand that returns this-bound property type", () => {
+            const source = `
+        const counter = {
+          x: 1,
+          get value() {
+            return this.x;
+          },
+        };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with interface type", () => {
+            const source = `
+        interface Point { x: number; y: number }
+        const p: Point = { x: 1, y: 2 };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+        it("should allow object literal with Record type", () => {
+            const source = `
+        const d: Record<string, number> = { a: 1, b: 2 };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const objDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7403");
+            expect(objDiag).to.equal(undefined);
+        });
+    });
+});
+//# sourceMappingURL=any-and-object-literals.test.js.map

package/dist/validator-cases/any-and-object-literals.test.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"any-and-object-literals.test.js","sourceRoot":"","sources":["../../src/validator-cases/any-and-object-literals.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;OAmBd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CACrC,iCAAiC,CAClC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;OAmBd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC9D,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,gFAAgF;YAChF,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;YAC5F,MAAM,MAAM,GAAG;;;;;;;;;;OAUd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACtF,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG;;;;;;;OAOd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wGAAwG,EAAE,GAAG,EAAE;YAChH,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+GAA+G,EAAE,GAAG,EAAE;YACvH,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;YAChG,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACxC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;YAC5F,MAAM,MAAM,GAAG;;;;;;;OAOd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator-cases/generic-validation.test.d.ts ADDED Viewed

@@ -0,0 +1,11 @@
+/**
+ * Generic Validation tests
+ *
+ * Covers:
+ * - TSN7106: Extension method receiver marker (thisarg)
+ * - TSN7440: Core intrinsic provenance
+ * - TSN7203 retired: Symbol index signatures
+ * - Previously-blocked constructs (now allowed)
+ */
+export {};
+//# sourceMappingURL=generic-validation.test.d.ts.map

package/dist/validator-cases/generic-validation.test.d.ts.map ADDED Viewed

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"generic-validation.test.d.ts","sourceRoot":"","sources":["../../src/validator-cases/generic-validation.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}