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

@tsonic/frontend 0.0.73 → 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 (1786) hide show

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

	@@ -1 +1 @@
1	- {"version":3,"file":"numeric-proof-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAQL,cAAc,EACd,mBAAmB,EACnB,aAAa,EACb,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AA6BrB;;GAEG;AACH,MAAM,cAAc,GAAG,CAAC,GAAiB,EAAkB,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAEhD,MAAM,iBAAiB,GAAG,CAAC,GAAiB,EAAgB,EAAE,CAAC,CAAC;IAC9D,GAAG,GAAG;IACN,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;IAC7C,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;CAChD,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAG,CAAC,IAAkB,EAAsB,EAAE;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9D,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7D,OAAO,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,CAAC;QACD,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,CAAC,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;QAClC,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,KAAK,QAAQ,EACzC,CAAC;QACD,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAChD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAkB,EACqC,EAAE,CACzD,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;AAE7B,MAAM,gBAAgB,GAAG,CAAC,IAAkB,EAAsB,EAAE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QACtC,CAAC,CAAC,IAAI,CAAC,QAAQ;QACf,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS;YAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,QAAQ;YACzC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK;YACrB,CAAC,CAAC,SAAS,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,IAAkB,EAC6B,EAAE;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;QAC9B,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC/B,gBAAgB,CAAC,MAAM,CAAC,KAAK,WAAW,EACxC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAkB,EAC6B,EAAE;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GACpB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS;QAClD,CAAC,CAAC;YACE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,KAAK,EAAE,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAE;YAC9C,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,KAAK;SAChB;QACH,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1B,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS;YACrD,CAAC,CAAC;gBACE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;gBACrB,KAAK,EAAE,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAE;gBAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,QAAQ,EAAE,IAAI;aACf;YACH,CAAC,CAAC,SAAS,CAAC;IAElB,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAAC;IAC7D,MAAM,iBAAiB,GAAG,QAAQ;QAChC,CAAC,CAAC,QAAQ,KAAK,IAAI;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,QAAQ,KAAK,GAAG;gBAChB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,QAAQ,KAAK,IAAI;oBACjB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,QAAQ,KAAK,GAAG;wBAChB,CAAC,CAAC,GAAG;wBACL,CAAC,CAAC,QAAQ;QAClB,CAAC,CAAC,QAAQ,CAAC;IAEb,QAAQ,iBAAiB,EAAE,CAAC;QAC1B,KAAK,IAAI;YACP,OAAO,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,KAAK,GAAG;YACN,OAAO,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC;QACnE,KAAK,IAAI;YACP,OAAO,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,KAAK,GAAG;YACN,OAAO,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,GAAG,EAAE,EAAE,CAAC,CAAC;QACnE;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAgC,EAChC,KAAqB,EACL,EAAE,CAAC,CAAC;IACpB,cAAc,EAAE,CAAC,IAAI,EAAE,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,cAAc;IACvE,UAAU,EACR,IAAI,EAAE,UAAU,KAAK,SAAS;QAC5B,CAAC,CAAC,KAAK,CAAC,UAAU;QAClB,CAAC,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;YAC9B,CAAC,CAAC,IAAI,CAAC,UAAU;YACjB,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU;gBAClC,CAAC,CAAC,IAAI,CAAC,UAAU;gBACjB,CAAC,CAAC,KAAK,CAAC,UAAU;IAC1B,UAAU,EACR,IAAI,EAAE,UAAU,KAAK,SAAS;QAC5B,CAAC,CAAC,KAAK,CAAC,UAAU;QAClB,CAAC,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;YAC9B,CAAC,CAAC,IAAI,CAAC,UAAU;YACjB,CAAC,CAAC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU;gBAClC,CAAC,CAAC,IAAI,CAAC,UAAU;gBACjB,CAAC,CAAC,KAAK,CAAC,UAAU;CAC3B,CAAC,CAAC;AAEH,MAAM,uCAAuC,GAAG,CAC9C,IAAkB,EACmB,EAAE;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,uCAAuC,CAChE,IAAI,CAAC,IAAI,CACV,EAAE,CAAC;YACF,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,uCAAuC,CAChE,IAAI,CAAC,KAAK,CACX,EAAE,CAAC;YACF,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,IAAI,GAAG,EAAE,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,GAAiB,EACjB,SAAuB,EACT,EAAE;IAChB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,KAAK,GAAG,uCAAuC,CAAC,SAAS,CAAC,CAAC;IACjE,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IACE,IAAI,CAAC,cAAc;YACnB,IAAI,CAAC,UAAU,KAAK,SAAS;YAC7B,IAAI,CAAC,UAAU,KAAK,SAAS;YAC7B,IAAI,CAAC,UAAU,IAAI,WAAW,CAAC,GAAG;YAClC,IAAI,CAAC,UAAU,IAAI,WAAW,CAAC,GAAG,EAClC,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAwB,EACC,EAAE;IAC3B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,8EAA8E;IAC9E,kDAAkD;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,iFAAiF;IACjF,mDAAmD;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAkB,EAClB,GAAiB,EACQ,EAAE;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACnC,uEAAuE;gBACvE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC3D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,0CAA0C;gBAC1C,iFAAiF;gBACjF,4BAA4B;gBAC5B,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC7D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;4BACxC,OAAO,OAAO,CAAC;wBACjB,CAAC;wBACD,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;4BACxC,OAAO,OAAO,CAAC;wBACjB,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,6DAA6D;gBAC7D,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mCAAmC;YACnC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,+BAA+B;YAC/B,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,+CAA+C;YAC/C,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,wEAAwE;YACxE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzB,CAAC;YACD,6EAA6E;YAC7E,oEAAoE;YACpE,OAAO,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,6CAA6C;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IACE,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG;gBACrB,IAAI,CAAC,QAAQ,KAAK,GAAG,EACrB,CAAC;gBACD,OAAO,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,4EAA4E;YAC5E,yEAAyE;YACzE,iCAAiC;YACjC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAC3B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAClD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACpD,IAAI,QAAQ,KAAK,SAAS;oBAAE,OAAO,QAAQ,CAAC;gBAC5C,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBACtD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gEAAgE;YAChE,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,OAAO,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;QAED;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,YAAY,GAAG,CACnB,KAAa,EACb,GAAuB,EACvB,UAAuB,EACvB,GAAiB,EACjB,UAA2B,EACD,EAAE;IAC5B,MAAM,QAAQ,GAAG,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IACnD,sDAAsD;IACtD,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,KAAK,wBAAwB,UAAU,uBAAuB,EACzE,QAAQ,EACR,0DAA0D,CAC3D,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,mDAAmD;IACnD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2BAA2B,UAAU,4BAA4B,EACjE,QAAQ,EACR,iEAAiE,CAClE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,YAAY,GAAG,yBAAyB,UAAU,yBAAyB,EAC3E,QAAQ,EACR,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yBAAyB,GAAG,cAAc,EAC1C,QAAQ,EACR,sDAAsD,CACvD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,mBAAmB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW;IACnE,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,cAAc;IACvE,IAAI,QAAQ,GAAG,mBAAmB,IAAI,QAAQ,GAAG,mBAAmB,EAAE,CAAC;QACrE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,4CAA4C,mBAAmB,GAAG,EAChF,QAAQ,EACR,sEAAsE;YACpE,kEAAkE,CACrE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,cAAc;IACd,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,GAAG,6BAA6B,UAAU,kBAAkB,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,GAAG,EACrG,QAAQ,EACR,0BAA0B,KAAK,EAAE,GAAG,OAAO,KAAK,EAAE,GAAG,QAAQ,UAAU,GAAG,CAC3E,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,IAAkC,EAClC,GAAiB,EACS,EAAE;IAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,mFAAmF;IACnF,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAEjE,wCAAwC;IACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,YAAY,CACxB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,GAAG,EACb,UAAU,EACV,GAAG,EACH,SAAS,CAAC,UAAU,IAAI,QAAQ,CACjC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,6CAA6C;YAC7C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,OAAO,IAAI,SAAS,CAAC;QAExC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,4DAA4D;YAC5D,IAAI,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;gBACjD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,0CAA0C;YAC1C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kBAAkB,SAAS,CAAC,IAAI,UAAU,UAAU,OAAO,UAAU,EAAE,EACvE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,aAAa,SAAS,CAAC,IAAI,kBAAkB,UAAU,IAAI;gBACzD,kDAAkD,CACrD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,2EAA2E;QAC3E,MAAM,SAAS,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,IACE,SAAS,KAAK,UAAU;gBACxB,oBAAoB,CAAC,SAAS,EAAE,UAAU,CAAC,EAC3C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,SAAS,CAAC,IAAI,QAAQ,UAAU,EAAE,EAChE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,eAAe,SAAS,CAAC,IAAI,8BAA8B;YACzD,kBAAkB,SAAS,CAAC,IAAI,OAAO,UAAU,oBAAoB;YACrE,yCAAyC,UAAU,UAAU,CAChE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iDAAiD;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,2CAA2C;YAC3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EACnG,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,uBAAuB,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,MAAM,UAAU,IAAI;gBACpF,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,yDAAyD;QACzD,0EAA0E;QAC1E,kEAAkE;QAClE,uEAAuE;QACvE,+CAA+C;QAC/C,MAAM,uBAAuB,GAAG,CAAC,UAAwB,EAAW,EAAE,CACpE,UAAU,CAAC,IAAI,KAAK,MAAM;YAC1B,UAAU,CAAC,IAAI,KAAK,cAAc;YAClC,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;QAC9B,MAAM,kBAAkB,GACtB,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC;YAC9C,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBACjD,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,QAAQ;gBACtC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,IACE,kBAAkB,KAAK,SAAS;YAChC,uBAAuB,CAAC,SAAS,CAAC,IAAI,CAAC;YACvC,uBAAuB,CAAC,SAAS,CAAC,KAAK,CAAC,EACxC,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,kBAAkB,EAAE;aACxD,CAAC;QACJ,CAAC;QAED,iCAAiC;QACjC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,UAAU,EAAE,EAC9D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,kDAAkD;YAChD,+CAA+C,CAClD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,IACE,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG,EAC1B,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC5D,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,WAAW;qBACZ;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iDAAiD,UAAU,EAAE,EAC7D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D;YACzD,8CAA8C,CACjD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iEAAiE;IACjE,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzE,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE;aAC1D,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oCAAoC,UAAU,EAAE,EAChD,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,oDAAoD,CACrD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,UAAU,GACd,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;gBACxC,OAAO,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3C,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ;gBAC3B,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,QAAQ,GACZ,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpB,CAAC,CAAC,UAAU,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,UAAU,EAAE,UAAU;iBACvB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GACd,QAAQ,KAAK,SAAS;gBACpB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC/C,IACE,UAAU,KAAK,UAAU;gBACzB,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAC5C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,IAAI;wBACd,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uBAAuB,QAAQ,OAAO,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EAC5F,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,qCAAqC,UAAU,yBAAyB,CACzE,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8DAA8D,UAAU,EAAE,EAC1E,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,0DAA0D,CAC3D,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,0EAA0E;IAC1E,yBAAyB;IACzB,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IACE,UAAU,KAAK,UAAU;gBACzB,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAC5C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE;iBAChD,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,mCAAmC,UAAU,SAAS,UAAU,EAAE,EAClE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,iDAAiD,UAAU,yBAAyB,CACrF,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uDAAuD,UAAU,EAAE,EACnE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D,CAC5D,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gEAAgE;IAChE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6BAA6B,UAAU,EAAE,EACzC,QAAQ,EACR,uBAAuB,SAAS,CAAC,IAAI,iCAAiC,UAAU,IAAI;QAClF,mFAAmF;QACnF,yDAAyD,CAC5D,CACF,CAAC;IACF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,GAAiB,EACH,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,MAAM,KAAK,GAAG,cAAc,CAC1B,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,EACvC,GAAG,CACJ,CAAC;YACF,4EAA4E;YAC5E,uFAAuF;YACvF,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,cAAc;gBAC1B,KAAK;aACN,CAAC;QACJ,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,mFAAmF;YACnF,oFAAoF;YACpF,8EAA8E;YAC9E,gFAAgF;YAChF,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBAC3C,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAC/B,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK;oBAChC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,EACrC,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,sDAAsD;YACtD,kFAAkF;YAClF,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,WAAW,GAAG,OAAO,IAAI,SAAS,CAAC;YAEzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,yDAAyD;gBACzD,iDAAiD;gBACjD,MAAM,QAAQ,GACZ,WAAW,KAAK,OAAO;oBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;gBAE5D,oEAAoE;gBACpE,oEAAoE;gBACpE,wEAAwE;gBACxE,MAAM,kBAAkB,GACtB,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,WAAW;oBACvC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,eAAe;wBAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAChD,CAAC;gBACJ,MAAM,YAAY,GAAW,kBAAkB;oBAC7C,CAAC,CAAC;wBACE,IAAI,EAAE,WAAoB;wBAC1B,KAAK,EAAE;4BACL,QAAQ;4BACR,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,MAAe,EAAE;yBAC1D;qBACF;oBACH,CAAC,CAAC,QAAQ,CAAC;gBAEb,OAAO;oBACL,GAAG,IAAI;oBACP,YAAY;iBACb,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CACxD;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;wBAC1B,OAAO;4BACL,GAAG,CAAC;4BACJ,GAAG,EACD,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gCACvB,CAAC,CAAC,CAAC,CAAC,GAAG;gCACP,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC;4BACnC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC;yBACvC,CAAC;oBACJ,CAAC;oBACD,OAAO;wBACL,GAAG,CAAC;wBACJ,UAAU,EAAE,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC;qBACjD,CAAC;gBACJ,CAAC,CAAC;aACH,CAAC;QAEJ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAE1D,6EAA6E;YAC7E,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;gBAClC,GAAG;gBACH,GAAG;gBACH,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,IAAI;gBACJ,KAAK;gBACL,KAAK;aACN,CAAC,CAAC;YAEH,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3C,0DAA0D;gBAC1D,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,cAAc;iBACtB,CAAC;YACJ,CAAC;YAED,+EAA+E;YAC/E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;YACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;YAExD,kEAAkE;YAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC5D,iDAAiD;gBACjD,MAAM,YAAY,GAChB,UAAU,KAAK,OAAO;oBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,KAAc,EAAE;oBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC3D,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,cAAc;oBACrB,YAAY;iBACb,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,cAAc;aACtB,CAAC;QACJ,CAAC;QAED,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACpD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC/C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;oBAChC,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,eAAe,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC5D,MAAM,iBAAiB,GACrB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;gBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;gBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAE5C,+EAA+E;YAC/E,6DAA6D;YAC7D,iFAAiF;YACjF,gEAAgE;YAChE,+EAA+E;YAE/E,gFAAgF;YAChF,uFAAuF;YACvF,IAAI,OAAO,iBAAiB,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;gBAEnC,yDAAyD;gBACzD,sFAAsF;gBACtF,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzD,iCAAiC;oBACjC,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,CAAC;oBAChD,MAAM,QAAQ,GAAG,UAAU;wBACzB,CAAC,CAAC,mBAAmB,UAAU,CAAC,IAAI,EAAE;4BACpC,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gCAClC,CAAC,CAAC,UAAU,UAAU,CAAC,IAAI,qBAAqB,UAAU,CAAC,eAAe,IAAI,WAAW,EAAE;gCAC3F,CAAC,CAAC,EAAE,CAAC;wBACT,CAAC,CAAC,sBAAsB,CAAC;oBAE3B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uEAAuE,UAAU,IAAI,WAAW,KAAK,QAAQ,GAAG,EAChH,IAAI,CAAC,UAAU;wBACb,iBAAiB,CAAC,UAAU;wBAC5B,cAAc,CAAC,GAAG,CAAC,EACrB,qFAAqF;wBACnF,2DAA2D,CAC9D,CACF,CAAC;oBACF,kEAAkE;oBAClE,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,2BAA2B;gBAC3B,+DAA+D;gBAC/D,wCAAwC;gBACxC,kFAAkF;gBAClF,MAAM,aAAa,GACjB,UAAU,KAAK,YAAY,IAAI,UAAU,KAAK,YAAY,CAAC;gBAE7D,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,SAAS,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;oBAC3D,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;wBAC1B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,SAAS,IAAI,SAAS,EAAE,EAC1D,iBAAiB,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,EACnD,6EAA6E,CAC9E,CACF,CAAC;wBACF,kEAAkE;wBAClE,OAAO;4BACL,GAAG,IAAI;4BACP,MAAM,EAAE,eAAe;4BACvB,QAAQ,EAAE,iBAAiB;yBAC5B,CAAC;oBACJ,CAAC;oBAED,sEAAsE;oBACtE,qFAAqF;oBACrF,6DAA6D;oBAC7D,MAAM,iBAAiB,GAAG;wBACxB,GAAG,iBAAiB;wBACpB,YAAY,EAAE;4BACZ,IAAI,EAAE,eAAwB;4BAC9B,IAAI,EAAE,KAAc;yBACrB;qBACF,CAAC;oBACF,OAAO;wBACL,GAAG,IAAI;wBACP,MAAM,EAAE,eAAe;wBACvB,QAAQ,EAAE,iBAAiB;qBAC5B,CAAC;gBACJ,CAAC;gBAED,4EAA4E;gBAC5E,iFAAiF;YACnF,CAAC;YAED,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe;gBACvB,QAAQ,EAAE,iBAAiB;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,MAAM;YACT,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC/D,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;oBACjD,CAAC,CAAE,iBAAiB,CAChB,IAAI,CAAC,sBAAsB,EAC3B,GAAG,CACmC;oBAC1C,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,KAAK;YACR,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAChE,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACxC,CAAC;QAEJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QAEd,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aACpE,CAAC;QAEJ,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,uDAAuD;YACvD,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBACjC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;oBACvC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aAC7C,CAAC;QACJ,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,4DAA4D;YAC5D,MAAM,OAAO,GAAiB;gBAC5B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBAChE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;aAC3C,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAO,EACP,GAAiB,EACd,EAAE;IACL,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,qBAAqB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACxD,MAAM,aAAa,GAAG,CAAC,CAAC,WAAW;oBACjC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC;gBAEd,mEAAmE;gBACnE,iBAAiB;gBACjB,+CAA+C;gBAC/C,qDAAqD;gBACrD,+DAA+D;gBAC/D,0CAA0C;gBAC1C,oFAAoF;gBACpF,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,qFAAqF;oBACrF,6EAA6E;oBAC7E,2EAA2E;oBAC3E,MAAM,YAAY,GAAG,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACpD,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;wBAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACrD,CAAC;yBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;wBAC/D,4CAA4C;wBAC5C,IACE,aAAa,CAAC,IAAI,KAAK,kBAAkB;4BACzC,aAAa,CAAC,KAAK,KAAK,SAAS,EACjC,CAAC;4BACD,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACjE,CAAC;6BAAM,CAAC;4BACN,+DAA+D;4BAC/D,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;4BAC1D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gCAC/B,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;4BACrD,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,GAAG,CAAC;oBACJ,WAAW,EAAE,aAAa;iBAC3B,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,qBAAqB,EAAO,CAAC;QAC/D,CAAC;QAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAiB;gBAC7B,GAAG,GAAG;gBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;gBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;aAC9C,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;aACvC,CAAC;QACT,CAAC;QAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC7C,MAAM,SAAS,GAAiB;wBAC9B,GAAG,GAAG;wBACN,gBAAgB,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;wBAC/C,eAAe,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;qBAC9C,CAAC;oBACF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBACjC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;4BAC/C,MAAM,WAAW,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;4BACvD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gCAC9B,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;4BAClE,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC7D,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBACtD,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;gBACtE,CAAC;gBACD,IAAI,CAAC,CAAC,IAAI,KAAK,wBAAwB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBAClD,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBACvD,CAAC;gBACD,OAAO,CAAC,CAAC;YACX,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAO,CAAC;QACrD,CAAC;QAED,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,aAAa;YAChB,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAClE,MAAM,OAAO,GAAG,kCAAkC,CAChD,iBAAiB,CAAC,GAAG,CAAC,EACtB,kBAAkB,CACnB,CAAC;YACF,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,kBAAkB;gBAC7B,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC;gBAC5D,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC/C,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC5C,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBACxC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACrE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;oBACzD,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBAC9D,CAAC,CAAC;aACC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;aAC5D,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;aACjE,CAAC;QAET,KAAK,0BAA0B;YAC7B,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,MAAgB,EAAsB,EAAE;IAC7D,MAAM,GAAG,GAAiB;QACxB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,gBAAgB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAE7E,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;QACxE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,GAAG,EAAE,WAAW,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAChC,MAAM,EAAE;YACN,GAAG,MAAM;YACT,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,gBAAgB;SAC1B;QACD,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EAK5B,EAAE;IACF,MAAM,gBAAgB,GAAe,EAAE,CAAC;IACxC,MAAM,cAAc,GAAiB,EAAE,CAAC;IAExC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,MAAM,KAAK,CAAC;QAC/B,OAAO,EAAE,gBAAgB;QACzB,WAAW,EAAE,cAAc;KAC5B,CAAC;AACJ,CAAC,CAAC"}
1	+ {"version":3,"file":"numeric-proof-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,mBAAmB,GAEpB,MAAM,yBAAyB,CAAC"}

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

@@ -0,0 +1,21 @@
+/**
+ * Numeric Proof Proving - Narrowing proof construction
+ *
+ * This module handles proving that numeric narrowing expressions are sound:
+ * - Literal value proofs (via proveLiteral from analysis)
+ * - Identifier proofs (via proven variables/parameters)
+ * - Binary/unary operation proofs (via C# promotion rules)
+ * - Call/member access proofs (via CLR return types)
+ * - Conditional and nullish coalescing proofs
+ *
+ * CRITICAL: If a narrowing cannot be proven, a diagnostic is emitted.
+ * There is NO fallback to cast - unprovable narrowings are compilation errors.
+ */
+import { IrNumericNarrowingExpression, NumericProof } from "../types.js";
+import { type ProofContext } from "./numeric-proof-analysis.js";
+/**
+ * Attempt to prove a numeric narrowing expression.
+ * If proof fails, emits an error diagnostic - NO FALLBACK TO CAST.
+ */
+export declare const proveNarrowing: (expr: IrNumericNarrowingExpression, ctx: ProofContext) => NumericProof | undefined;
+//# sourceMappingURL=numeric-proof-proving.d.ts.map

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

	@@ -0,0 +1 @@
1	+ {"version":3,"file":"numeric-proof-proving.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-proving.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAEL,4BAA4B,EAC5B,YAAY,EAGb,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,KAAK,YAAY,EAKlB,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,4BAA4B,EAClC,KAAK,YAAY,KAChB,YAAY,GAAG,SA6XjB,CAAC"}

package/dist/ir/validation/numeric-proof-proving.js ADDED Viewed

@@ -0,0 +1,261 @@
+/**
+ * Numeric Proof Proving - Narrowing proof construction
+ *
+ * This module handles proving that numeric narrowing expressions are sound:
+ * - Literal value proofs (via proveLiteral from analysis)
+ * - Identifier proofs (via proven variables/parameters)
+ * - Binary/unary operation proofs (via C# promotion rules)
+ * - Call/member access proofs (via CLR return types)
+ * - Conditional and nullish coalescing proofs
+ *
+ * CRITICAL: If a narrowing cannot be proven, a diagnostic is emitted.
+ * There is NO fallback to cast - unprovable narrowings are compilation errors.
+ */
+import { createDiagnostic } from "../../types/diagnostic.js";
+import { getBinaryResultKind, isWideningConversion, } from "../types.js";
+import { moduleLocation, getNumericKindFromType, inferNumericKind, proveLiteral, } from "./numeric-proof-analysis.js";
+/**
+ * Attempt to prove a numeric narrowing expression.
+ * If proof fails, emits an error diagnostic - NO FALLBACK TO CAST.
+ */
+export const proveNarrowing = (expr, ctx) => {
+    const unwrapTransparentNumericExpr = (expression) => {
+        let current = expression;
+        while (current.kind === "typeAssertion" || current.kind === "asinterface") {
+            current = current.expression;
+        }
+        return current;
+    };
+    const innerExpr = unwrapTransparentNumericExpr(expr.expression);
+    const targetKind = expr.targetKind;
+    // Use expression's sourceSpan if available, otherwise fall back to module location
+    const location = expr.sourceSpan ?? innerExpr.sourceSpan ?? moduleLocation(ctx);
+    // Case 1: Inner expression is a literal
+    if (innerExpr.kind === "literal" && typeof innerExpr.value === "number") {
+        const proof = proveLiteral(innerExpr.value, innerExpr.raw, targetKind, ctx, innerExpr.sourceSpan ?? location);
+        if (proof === undefined) {
+            // proveLiteral already pushed the diagnostic
+            return undefined;
+        }
+        return proof;
+    }
+    // Case 2: Inner expression is an identifier that is already proven
+    if (innerExpr.kind === "identifier") {
+        const varKind = ctx.provenVariables.get(innerExpr.name);
+        const paramKind = ctx.provenParameters.get(innerExpr.name);
+        const sourceKind = varKind ?? paramKind;
+        if (sourceKind !== undefined) {
+            if (sourceKind === targetKind) {
+                return {
+                    kind: targetKind,
+                    source: { type: "variable", name: innerExpr.name },
+                };
+            }
+            // Check if this is a widening conversion (e.g., int → long)
+            if (isWideningConversion(sourceKind, targetKind)) {
+                return {
+                    kind: targetKind,
+                    source: { type: "variable", name: innerExpr.name },
+                };
+            }
+            // Narrowing conversion - this is an error
+            ctx.diagnostics.push(createDiagnostic("TSN5104", "error", `Cannot narrow '${innerExpr.name}' from ${sourceKind} to ${targetKind}`, innerExpr.sourceSpan ?? location, `Variable '${innerExpr.name}' is proven as ${sourceKind}. ` +
+                `Narrowing conversions require explicit handling.`));
+            return undefined;
+        }
+        // Identifier not in proven scope - check if it has numeric intent from CLR
+        const identKind = getNumericKindFromType(innerExpr.inferredType);
+        if (identKind !== undefined) {
+            if (identKind === targetKind ||
+                isWideningConversion(identKind, targetKind)) {
+                return {
+                    kind: targetKind,
+                    source: { type: "variable", name: innerExpr.name },
+                };
+            }
+        }
+        // Cannot prove this identifier
+        ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove narrowing of '${innerExpr.name}' to ${targetKind}`, innerExpr.sourceSpan ?? location, `Expression '${innerExpr.name}' has unknown numeric kind. ` +
+            `Narrow using \`${innerExpr.name} as ${targetKind}\` at assignment, ` +
+            `or ensure it originates from a proven ${targetKind} source.`));
+        return undefined;
+    }
+    // Case 3: Inner expression is a binary operation
+    if (innerExpr.kind === "binary") {
+        const leftKind = inferNumericKind(innerExpr.left, ctx);
+        const rightKind = inferNumericKind(innerExpr.right, ctx);
+        if (leftKind !== undefined && rightKind !== undefined) {
+            const resultKind = getBinaryResultKind(leftKind, rightKind);
+            if (resultKind === targetKind) {
+                return {
+                    kind: targetKind,
+                    source: {
+                        type: "binaryOp",
+                        operator: innerExpr.operator,
+                        leftKind,
+                        rightKind,
+                    },
+                };
+            }
+            // Result kind doesn't match target - error
+            ctx.diagnostics.push(createDiagnostic("TSN5103", "error", `Binary '${leftKind} ${innerExpr.operator} ${rightKind}' produces ${resultKind}, not ${targetKind}`, innerExpr.sourceSpan ?? location, `C# promotion rules: ${leftKind} ${innerExpr.operator} ${rightKind} = ${resultKind}. ` +
+                `Cast operands to ${targetKind} first if needed.`));
+            return undefined;
+        }
+        // Fallback for explicit narrowing of binary expressions:
+        // if the binary node itself already carries deterministic numeric intent,
+        // accept `(...binary...) as <targetKind>` as an explicit cast for
+        // opaque producer operands (e.g. conversion calls) where operand-level
+        // kind recovery is intentionally conservative.
+        const isOpaqueNumericProducer = (expression) => expression.kind === "call" ||
+            expression.kind === "memberAccess" ||
+            expression.kind === "await";
+        const inferredBinaryKind = getNumericKindFromType(innerExpr.inferredType) ??
+            (innerExpr.inferredType?.kind === "primitiveType" &&
+                innerExpr.inferredType.name === "number"
+                ? "Double"
+                : undefined);
+        if (inferredBinaryKind !== undefined &&
+            isOpaqueNumericProducer(innerExpr.left) &&
+            isOpaqueNumericProducer(innerExpr.right)) {
+            return {
+                kind: targetKind,
+                source: { type: "narrowing", from: inferredBinaryKind },
+            };
+        }
+        // Cannot determine operand kinds
+        ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove narrowing of binary expression to ${targetKind}`, innerExpr.sourceSpan ?? location, "One or both operands have unknown numeric kind. " +
+            "Ensure all operands are proven numeric types."));
+        return undefined;
+    }
+    // Case 4: Inner expression is a unary operation
+    if (innerExpr.kind === "unary") {
+        if ((innerExpr.operator === "-" || innerExpr.operator === "+") &&
+            innerExpr.expression.kind === "literal" &&
+            typeof innerExpr.expression.value === "number") {
+            const signedLiteral = innerExpr.operator === "-"
+                ? -innerExpr.expression.value
+                : innerExpr.expression.value;
+            const signedRaw = innerExpr.operator === "-"
+                ? `-${innerExpr.expression.raw ?? String(innerExpr.expression.value)}`
+                : (innerExpr.expression.raw ?? String(innerExpr.expression.value));
+            const proof = proveLiteral(signedLiteral, signedRaw, targetKind, ctx, innerExpr.sourceSpan ?? location);
+            if (proof === undefined) {
+                return undefined;
+            }
+            return proof;
+        }
+        if (innerExpr.operator === "-" ||
+            innerExpr.operator === "+" ||
+            innerExpr.operator === "~") {
+            const operandKind = inferNumericKind(innerExpr.expression, ctx);
+            if (operandKind !== undefined &&
+                (operandKind === targetKind ||
+                    isWideningConversion(operandKind, targetKind))) {
+                return {
+                    kind: targetKind,
+                    source: {
+                        type: "unaryOp",
+                        operator: innerExpr.operator,
+                        operandKind,
+                    },
+                };
+            }
+        }
+        ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove narrowing of unary expression to ${targetKind}`, innerExpr.sourceSpan ?? location, "Unary expression has unknown or mismatched numeric kind. " +
+            "Ensure the operand is a proven numeric type."));
+        return undefined;
+    }
+    // Case 5: Inner expression is another numeric narrowing (nested)
+    if (innerExpr.kind === "numericNarrowing") {
+        if (innerExpr.proof !== undefined && innerExpr.proof.kind === targetKind) {
+            return {
+                kind: targetKind,
+                source: { type: "narrowing", from: innerExpr.proof.kind },
+            };
+        }
+        ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove nested narrowing to ${targetKind}`, innerExpr.sourceSpan ?? location, "Inner narrowing is unproven or has different kind."));
+        return undefined;
+    }
+    // Case 6: Inner expression is a call with known return type from CLR
+    if (innerExpr.kind === "call") {
+        const returnKind = getNumericKindFromType(innerExpr.inferredType);
+        if (returnKind !== undefined && returnKind === targetKind) {
+            const methodName = innerExpr.callee.kind === "memberAccess" &&
+                typeof innerExpr.callee.property === "string"
+                ? innerExpr.callee.property
+                : "unknown";
+            return {
+                kind: targetKind,
+                source: { type: "dotnetReturn", method: methodName, returnKind },
+            };
+        }
+    }
+    // Case 7: Inner expression is a member access with known type
+    if (innerExpr.kind === "memberAccess") {
+        const memberKind = getNumericKindFromType(innerExpr.inferredType);
+        if (memberKind !== undefined && memberKind === targetKind) {
+            const propName = typeof innerExpr.property === "string"
+                ? innerExpr.property
+                : "computed";
+            return {
+                kind: targetKind,
+                source: {
+                    type: "dotnetReturn",
+                    method: propName,
+                    returnKind: memberKind,
+                },
+            };
+        }
+    }
+    // Case 8: Inner expression is nullish coalescing on numeric values
+    if (innerExpr.kind === "logical" && innerExpr.operator === "??") {
+        const leftKind = inferNumericKind(innerExpr.left, ctx);
+        const rightKind = inferNumericKind(innerExpr.right, ctx);
+        if (leftKind !== undefined && rightKind !== undefined) {
+            const resultKind = leftKind === rightKind
+                ? leftKind
+                : getBinaryResultKind(leftKind, rightKind);
+            if (resultKind === targetKind ||
+                isWideningConversion(resultKind, targetKind)) {
+                return {
+                    kind: targetKind,
+                    source: {
+                        type: "binaryOp",
+                        operator: "??",
+                        leftKind,
+                        rightKind,
+                    },
+                };
+            }
+            ctx.diagnostics.push(createDiagnostic("TSN5103", "error", `Nullish coalescing '${leftKind} ?? ${rightKind}' produces ${resultKind}, not ${targetKind}`, innerExpr.sourceSpan ?? location, `Ensure both branches are provably ${targetKind} (or widen explicitly).`));
+            return undefined;
+        }
+        ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove narrowing of nullish coalescing expression to ${targetKind}`, innerExpr.sourceSpan ?? location, "Left/right branches must both be provable numeric kinds."));
+        return undefined;
+    }
+    // Case 9: Inner expression is a conditional expression with deterministic
+    // numeric branch result.
+    if (innerExpr.kind === "conditional") {
+        const resultKind = inferNumericKind(innerExpr, ctx);
+        if (resultKind !== undefined) {
+            if (resultKind === targetKind ||
+                isWideningConversion(resultKind, targetKind)) {
+                return {
+                    kind: targetKind,
+                    source: { type: "narrowing", from: resultKind },
+                };
+            }
+            ctx.diagnostics.push(createDiagnostic("TSN5103", "error", `Conditional expression produces ${resultKind}, not ${targetKind}`, innerExpr.sourceSpan ?? location, `Ensure both conditional branches are provably ${targetKind} (or widen explicitly).`));
+            return undefined;
+        }
+        ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove narrowing of conditional expression to ${targetKind}`, innerExpr.sourceSpan ?? location, "Both conditional branches must be provable numeric kinds."));
+        return undefined;
+    }
+    // HARD GATE: Cannot prove - emit error, DO NOT fallback to cast
+    ctx.diagnostics.push(createDiagnostic("TSN5101", "error", `Cannot prove narrowing to ${targetKind}`, location, `Expression of kind '${innerExpr.kind}' cannot be proven to produce ${targetKind}. ` +
+        `Ensure the expression is a literal in range, a variable with known numeric type, ` +
+        `or a binary/unary operation on proven numeric operands.`));
+    return undefined;
+};
+//# sourceMappingURL=numeric-proof-proving.js.map

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

@@ -0,0 +1 @@

+ {"version":3,"file":"numeric-proof-proving.js","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-proving.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAIL,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,cAAc,EACd,sBAAsB,EACtB,gBAAgB,EAChB,YAAY,GACb,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAkC,EAClC,GAAiB,EACS,EAAE;IAC5B,MAAM,4BAA4B,GAAG,CACnC,UAAwB,EACV,EAAE;QAChB,IAAI,OAAO,GAAG,UAAU,CAAC;QACzB,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC1E,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,mFAAmF;IACnF,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC;IAEjE,wCAAwC;IACxC,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,YAAY,CACxB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,GAAG,EACb,UAAU,EACV,GAAG,EACH,SAAS,CAAC,UAAU,IAAI,QAAQ,CACjC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,6CAA6C;YAC7C,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,OAAO,IAAI,SAAS,CAAC;QAExC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,4DAA4D;YAC5D,IAAI,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;gBACjD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;YACD,0CAA0C;YAC1C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kBAAkB,SAAS,CAAC,IAAI,UAAU,UAAU,OAAO,UAAU,EAAE,EACvE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,aAAa,SAAS,CAAC,IAAI,kBAAkB,UAAU,IAAI;gBACzD,kDAAkD,CACrD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,2EAA2E;QAC3E,MAAM,SAAS,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,IACE,SAAS,KAAK,UAAU;gBACxB,oBAAoB,CAAC,SAAS,EAAE,UAAU,CAAC,EAC3C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;iBACnD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,SAAS,CAAC,IAAI,QAAQ,UAAU,EAAE,EAChE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,eAAe,SAAS,CAAC,IAAI,8BAA8B;YACzD,kBAAkB,SAAS,CAAC,IAAI,OAAO,UAAU,oBAAoB;YACrE,yCAAyC,UAAU,UAAU,CAChE,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iDAAiD;IACjD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5D,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,2CAA2C;YAC3C,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EACnG,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,uBAAuB,QAAQ,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,MAAM,UAAU,IAAI;gBACpF,oBAAoB,UAAU,mBAAmB,CACpD,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,yDAAyD;QACzD,0EAA0E;QAC1E,kEAAkE;QAClE,uEAAuE;QACvE,+CAA+C;QAC/C,MAAM,uBAAuB,GAAG,CAAC,UAAwB,EAAW,EAAE,CACpE,UAAU,CAAC,IAAI,KAAK,MAAM;YAC1B,UAAU,CAAC,IAAI,KAAK,cAAc;YAClC,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC;QAC9B,MAAM,kBAAkB,GACtB,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC;YAC9C,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBACjD,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,QAAQ;gBACtC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS,CAAC,CAAC;QACjB,IACE,kBAAkB,KAAK,SAAS;YAChC,uBAAuB,CAAC,SAAS,CAAC,IAAI,CAAC;YACvC,uBAAuB,CAAC,SAAS,CAAC,KAAK,CAAC,EACxC,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,kBAAkB,EAAE;aACxD,CAAC;QACJ,CAAC;QAED,iCAAiC;QACjC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kDAAkD,UAAU,EAAE,EAC9D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,kDAAkD;YAChD,+CAA+C,CAClD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gDAAgD;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC/B,IACE,CAAC,SAAS,CAAC,QAAQ,KAAK,GAAG,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,CAAC;YAC1D,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;YACvC,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,KAAK,QAAQ,EAC9C,CAAC;YACD,MAAM,aAAa,GACjB,SAAS,CAAC,QAAQ,KAAK,GAAG;gBACxB,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK;gBAC7B,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;YACjC,MAAM,SAAS,GACb,SAAS,CAAC,QAAQ,KAAK,GAAG;gBACxB,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE;gBACtE,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;YACvE,MAAM,KAAK,GAAG,YAAY,CACxB,aAAa,EACb,SAAS,EACT,UAAU,EACV,GAAG,EACH,SAAS,CAAC,UAAU,IAAI,QAAQ,CACjC,CAAC;YACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IACE,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG;YAC1B,SAAS,CAAC,QAAQ,KAAK,GAAG,EAC1B,CAAC;YACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAChE,IACE,WAAW,KAAK,SAAS;gBACzB,CAAC,WAAW,KAAK,UAAU;oBACzB,oBAAoB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,EAChD,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,WAAW;qBACZ;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iDAAiD,UAAU,EAAE,EAC7D,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D;YACzD,8CAA8C,CACjD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iEAAiE;IACjE,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzE,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE;aAC1D,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,oCAAoC,UAAU,EAAE,EAChD,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,oDAAoD,CACrD,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,UAAU,GACd,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;gBACxC,OAAO,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBAC3C,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ;gBAC3B,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE;aACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC1D,MAAM,QAAQ,GACZ,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpB,CAAC,CAAC,UAAU,CAAC;YACjB,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,QAAQ;oBAChB,UAAU,EAAE,UAAU;iBACvB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACtD,MAAM,UAAU,GACd,QAAQ,KAAK,SAAS;gBACpB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC/C,IACE,UAAU,KAAK,UAAU;gBACzB,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAC5C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,UAAU;wBAChB,QAAQ,EAAE,IAAI;wBACd,QAAQ;wBACR,SAAS;qBACV;iBACF,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uBAAuB,QAAQ,OAAO,SAAS,cAAc,UAAU,SAAS,UAAU,EAAE,EAC5F,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,qCAAqC,UAAU,yBAAyB,CACzE,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8DAA8D,UAAU,EAAE,EAC1E,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,0DAA0D,CAC3D,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,0EAA0E;IAC1E,yBAAyB;IACzB,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IACE,UAAU,KAAK,UAAU;gBACzB,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAC5C,CAAC;gBACD,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE;iBAChD,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,mCAAmC,UAAU,SAAS,UAAU,EAAE,EAClE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,iDAAiD,UAAU,yBAAyB,CACrF,CACF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,uDAAuD,UAAU,EAAE,EACnE,SAAS,CAAC,UAAU,IAAI,QAAQ,EAChC,2DAA2D,CAC5D,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gEAAgE;IAChE,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6BAA6B,UAAU,EAAE,EACzC,QAAQ,EACR,uBAAuB,SAAS,CAAC,IAAI,iCAAiC,UAAU,IAAI;QAClF,mFAAmF;QACnF,yDAAyD,CAC5D,CACF,CAAC;IACF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/validation/numeric-proof-statement-walk.d.ts ADDED Viewed

@@ -0,0 +1,37 @@
+/**
+ * Numeric Proof Walk — Statement processing, module processing, and proof pass entry
+ *
+ * This module handles:
+ * - Processing all statements, tracking proven variables
+ * - Running the proof pass on modules and aggregating diagnostics
+ *
+ * CRITICAL: If this pass emits ANY errors, the emitter MUST NOT run.
+ */
+import { Diagnostic } from "../../types/diagnostic.js";
+import { IrModule, IrStatement } from "../types.js";
+import { type ProofContext } from "./numeric-proof-analysis.js";
+/**
+ * Result of numeric proof validation
+ */
+export type NumericProofResult = {
+    readonly ok: boolean;
+    readonly module: IrModule;
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * Callback type for statement processing, used to break the mutual
+ * recursion between expression and statement walkers.
+ */
+export type StatementProcessor = <T extends IrStatement>(stmt: T, ctx: ProofContext) => T;
+/**
+ * Run numeric proof validation on all modules.
+ *
+ * HARD GATE: If any diagnostics are returned, the emitter MUST NOT run.
+ * This is not a warning system - unprovable narrowings are compilation errors.
+ */
+export declare const runNumericProofPass: (modules: readonly IrModule[]) => {
+    readonly ok: boolean;
+    readonly modules: readonly IrModule[];
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=numeric-proof-statement-walk.d.ts.map

package/dist/ir/validation/numeric-proof-statement-walk.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"numeric-proof-statement-walk.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/numeric-proof-statement-walk.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EACL,KAAK,YAAY,EAKlB,MAAM,6BAA6B,CAAC;AAIrC;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,SAAS,WAAW,EACrD,IAAI,EAAE,CAAC,EACP,GAAG,EAAE,YAAY,KACd,CAAC,CAAC;AAuTP;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAC9B,SAAS,SAAS,QAAQ,EAAE,KAC3B;IACD,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAgB7C,CAAC"}