optiprune 1.0.0

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,OAAO,CAAC;AAEzB,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAc,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE7E,OAAO,EACL,YAAY,EACZ,yBAAyB,EAEzB,cAAc,EACd,4BAA4B,EAC5B,mBAAmB,EACnB,mBAAmB,EACnB,iBAAiB,EAEjB,mBAAmB,EACnB,cAAc,GACf,MAAM,eAAe,CAAC;AAUvB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,oBAAoB;AAE7C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAE7E,KAAK,UAAU,cAAc,CAAC,OAAwB;IACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,EAAE;QACzC,GAAG,UAAU;QACb,GAAG,OAAO;QACV,OAAO;KACuB,CAAC,CAAC;IAElC,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QAC1F,MAAM,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;KACtD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAwB;IACpD,MAAM,eAAe,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAS,EAAE,CAAC;IAExD,sCAAsC;IAEtC,6BAA6B;IAC7B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,eAAe,CAAC,QAAQ,GAAG,MAAM,qBAAqB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAChF,WAAW,GAAG,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC;IAC3C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,sDAAsD;IACxD,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,0BAA0B,EAAE,GAAG,eAAe,CAAC;IAC3F,MAAM,sBAAsB,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAEpD,IAAI,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,kCAAkC,OAAO,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,mBAAmB,CAAC,OAAO,EAAE,UAAU,EAAE,sBAAsB,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEhD,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;QAE5C,IAAI,YAA0B,CAAC;QAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAEnC,IAAI,MAAM,IAAI,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;YAC/C,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;YACnC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,YAAY,GAAG,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC7C,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG;gBACvB,IAAI,EAAE,WAAW;gBACjB,YAAY;gBACZ,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAEhC,IAAI,YAAY,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC1C,WAAW,IAAI,CAAC,CAAC;YACjB,+CAA+C;YAC/C,8BAA8B;YAC9B,IAAI,CAAC,iBAAiB,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC;gBAC3C,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;oBACpC,MAAM,IAAI,GAAG,OAAc,CAAC;oBAC5B,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;oBAC9J,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAClD,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC;wBACtH,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CACzG,CAAC;oBAEF,IAAI,WAAW,IAAI,SAAS,EAAE,CAAC;wBAC7B,iBAAiB,GAAG,IAAI,CAAC;wBACzB,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,IAAI,YAAY,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;YACpD,cAAc,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,aAAa,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,SAAS,CAAC,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAE/C,IAAI,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YACzE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,0BAA0B,EAAE,CAAC;QAC/B,MAAM,kBAAkB,GAAG,MAAM,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACvE,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,kBAAkB,EAAE,GAAG,yBAAyB,EAAE,CAAC,EAAE,CAAC;YAC9E,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBAC/E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,IAAI,eAAe,CAAC,QAAQ,EAAE,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC/D,MAAM,UAAU,GAAG,MAAM,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACpE,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,UAAU,EAAE,GAAG,yBAAyB,EAAE,CAAC,EAAE,CAAC;oBACtE,gFAAgF;oBAChF,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAClE,MAAM,eAAe,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;oBACrG,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,cAAc,EAAE,OAAO,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;wBACvF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,iBAAiB;YACvB,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,MAAM;YAClB,OAAO,EAAE,gFAAgF;YACzF,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,EAAE;SACb,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;IAExE,kCAAkC;IAClC,IAAI,iBAAiB,IAAI,eAAe,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QACnE,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,8CAA8C;IAC9C,IAAI,WAAW,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,8CAA8C;IAC9C,IAAI,eAAe,CAAC,mBAAmB,EAAE,CAAC;QACxC,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC9C,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACjC,+DAA+D;oBAC/D,IAAI,GAAG,CAAC,kBAAkB;wBAAE,SAAS;oBAErC,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;oBAE/E,4CAA4C;oBAC5C,sFAAsF;oBACtF,mFAAmF;oBACnF,IAAI,iBAAiB,GAAG,YAAY,CAAC;oBACrC,IAAI,YAAY,EAAE,CAAC;wBACjB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;wBACzC,IAAI,KAAK,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;4BAChC,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;gCAC3D,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gCAClC,2DAA2D;gCAC3D,mDAAmD;gCACnD,OAAO,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;4BACxE,CAAC,CAAC,CAAC;4BACH,IAAI,CAAC,eAAe,EAAE,CAAC;gCACrB,iBAAiB,GAAG,KAAK,CAAC;4BAC5B,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,iBAAiB,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;wBACvD,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,eAAe;4BACrB,QAAQ,EAAE,SAAS;4BACnB,UAAU,EAAE,MAAM;4BAClB,OAAO,EAAE,UAAU,GAAG,GAAG,CAAC,UAAU,GAAG,oCAAoC;4BAC3E,IAAI,EAAE,MAAM,CAAC,EAAE;4BACf,GAAG,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;4BAC/C,QAAQ,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE;yBACzC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACpF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,QAAQ,EAAE,SAAS;gBACnB,UAAU,EAAE,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM;gBAChE,OAAO,EAAE,aAAa,EAAE,OAAO;oBAC7B,CAAC,CAAC,yDAAyD,GAAG,aAAa,CAAC,EAAE,GAAG,yCAAyC;oBAC1H,CAAC,CAAC,6CAA6C;gBACjD,IAAI,EAAE,MAAM,CAAC,EAAE;gBACf,QAAQ,EAAE;oBACR,WAAW,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;oBACjF,WAAW,EAAE,aAAa,EAAE,EAAE;oBAC9B,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM;iBACzC;aACF,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACjD,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,gBAAgB;gBACtB,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBACjD,UAAU,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;gBACjD,OAAO,EAAE,QAAQ,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,UAAU,CAAC,OAAO;gBAC3G,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,GAAG,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC7D,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,MAAM;oBAClB,OAAO,EAAE,gCAAgC,GAAG,IAAI,CAAC,YAAY,GAAG,GAAG;oBACnE,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjD,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,wBAAwB;oBAC9B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,QAAQ;oBACpB,OAAO,EAAE,mCAAmC,GAAG,IAAI,CAAC,YAAY,GAAG,kCAAkC;oBACrG,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjD,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAEjC,wCAAwC;IACxC,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAEjC,qCAAqC;IACrC,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAEjC,MAAM,OAAO,GAAoB;QAC/B,eAAe,EAAE,cAAc,CAAC,MAAM;QACtC,WAAW;QACX,cAAc;QACd,aAAa;QACb,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAClF,WAAW,EAAE,WAAW,CAAC,IAAI;QAC7B,2BAA2B,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM;QACtD,MAAM,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM;QAC1D,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM;QAC7D,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;KAClE,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,OAAO;QACP,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACzE,OAAO;QACP,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC7B,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI;oBAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC1G,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YAC3D,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAClC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;gBACjC,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,IAAI,KAAK;aAClD,CAAC,CAAC;YACH,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,SAAS,EAAE,IAAI,CAAC,YAAY;gBAC5B,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzE,UAAU,EAAE,IAAI,CAAC,UAAU;aAC5B,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzC,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC9D,OAAO,EAAE,CAAC,CAAC,OAAO;SACnB,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAsB,EAAE,MAAiC;IAClF,MAAM,aAAa,GAAG,eAAe,CAAC,MAAsC,CAAC,CAAC;IAC9E,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,CAAC;AACrF,CAAC"}

package/dist/instrument.d.ts

@@ -0,0 +1 @@
+export declare function instrumentCode(code: string, filename: string): string | null;

package/dist/instrument.js

@@ -0,0 +1,20 @@
+import { transformSync } from "@babel/core";
+import instrumentationPlugin from "./instrumentation-plugin.js";
+export function instrumentCode(code, filename) {
+    const result = transformSync(code, {
+        filename,
+        plugins: [
+            [instrumentationPlugin, { filename, coverageVariable: "__coverage__" }],
+            ["@babel/plugin-transform-typescript", { isTSX: true }],
+        ],
+        presets: [["@babel/preset-env", { targets: { node: "current" } }]],
+        retainLines: true, // Important for accurate line numbers
+        ast: false,
+        code: true,
+        parserOpts: {
+            plugins: ["decorators-legacy", "typescript"],
+        },
+    });
+    return result?.code || null;
+}
+//# sourceMappingURL=instrument.js.map

package/dist/instrument.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"instrument.js","sourceRoot":"","sources":["../src/instrument.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,qBAAqB,MAAM,6BAA6B,CAAC;AAEhE,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,QAAgB;IAC3D,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE;QACjC,QAAQ;QACR,OAAO,EAAE;YACP,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;YACvE,CAAC,oCAAoC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;SAExD;QACD,OAAO,EAAE,CAAC,CAAC,mBAAmB,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QAClE,WAAW,EAAE,IAAI,EAAE,sCAAsC;QACzD,GAAG,EAAE,KAAK;QACV,IAAI,EAAE,IAAI;QACV,UAAU,EAAE;YACV,OAAO,EAAE,CAAC,mBAAmB,EAAE,YAAY,CAAC;SAC7C;KACF,CAAC,CAAC;IAEH,OAAO,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC;AAC9B,CAAC"}

package/dist/instrumentation-plugin.d.ts

@@ -0,0 +1,6 @@
+/**
+ * A Babel plugin to instrument code for concolic execution.
+ * It injects tracing hooks around conditional branches and function calls.
+ */
+declare const _default: any;
+export default _default;

package/dist/instrumentation-plugin.js

@@ -0,0 +1,84 @@
+import * as t from "@babel/types";
+import { declare } from "@babel/helper-plugin-utils";
+/**
+ * A Babel plugin to instrument code for concolic execution.
+ * It injects tracing hooks around conditional branches and function calls.
+ */
+export default declare((api) => {
+    api.assertVersion("^7.0.0 || ^8.0.0-0");
+    return {
+        name: "optiprune-instrumentation",
+        visitor: {
+            Program: {
+                enter(path, state) {
+                    const { filename, coverageVariable } = state.opts;
+                    const fileId = t.stringLiteral(filename);
+                    // Initialize coverage variable at the beginning of the program
+                    const initCoverage = t.expressionStatement(t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("init")), [fileId]));
+                    // Mark the injected node to prevent re-instrumentation
+                    initCoverage.expression.callee._concolicInstrumented = true;
+                    path.node.body.unshift(initCoverage);
+                },
+            },
+            // Instrument IfStatement
+            IfStatement(path, state) {
+                const { filename, coverageVariable } = state.opts;
+                const fileId = t.stringLiteral(filename);
+                const line = t.numericLiteral(path.node.loc?.start.line || 0);
+                const traceCall = t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("traceBranch")), [
+                    fileId,
+                    line,
+                    path.node.test,
+                ]);
+                traceCall.callee._concolicInstrumented = true;
+                // Wrap the test condition with the tracing call
+                path.node.test = t.sequenceExpression([traceCall, path.node.test]);
+            },
+            // Instrument FunctionDeclaration and FunctionExpression
+            "FunctionDeclaration|FunctionExpression|ArrowFunctionExpression"(path, state) {
+                const { filename, coverageVariable } = state.opts;
+                const fileId = t.stringLiteral(filename);
+                const line = t.numericLiteral(path.node.loc?.start.line || 0);
+                const node = path.node;
+                const functionName = t.stringLiteral(node.id && t.isIdentifier(node.id) ? node.id.name : "anonymous");
+                const traceCall = t.expressionStatement(t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("traceFunction")), [
+                    fileId,
+                    line,
+                    functionName,
+                ]));
+                traceCall.expression.callee._concolicInstrumented = true;
+                if (t.isBlockStatement(path.node.body)) {
+                    path.node.body.body.unshift(traceCall);
+                }
+                else { // ArrowFunctionExpression with implicit return
+                    path.node.body = t.blockStatement([
+                        traceCall,
+                        t.returnStatement(path.node.body),
+                    ]);
+                }
+            },
+            // Instrument CallExpression
+            CallExpression(path, state) {
+                // Avoid re-instrumenting our own injected calls
+                if (path.node.callee._concolicInstrumented) {
+                    return;
+                }
+                const { filename, coverageVariable } = state.opts;
+                const fileId = t.stringLiteral(filename);
+                const line = t.numericLiteral(path.node.loc?.start.line || 0);
+                const calleeName = t.stringLiteral(t.isIdentifier(path.node.callee) ? path.node.callee.name : "unknown");
+                // Create a helper function call that traces and then executes the original call
+                const tracedCall = t.callExpression(t.memberExpression(t.identifier(coverageVariable), t.identifier("traceAndExecuteCall")), [
+                    fileId,
+                    line,
+                    calleeName,
+                    path.node.callee, // Pass the original callee
+                    t.arrayExpression(path.node.arguments.map(arg => t.cloneNode(arg))) // Pass cloned arguments
+                ]);
+                tracedCall.callee._concolicInstrumented = true;
+                path.replaceWith(tracedCall);
+            },
+        },
+    };
+});
+//# sourceMappingURL=instrumentation-plugin.js.map

package/dist/instrumentation-plugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"instrumentation-plugin.js","sourceRoot":"","sources":["../src/instrumentation-plugin.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAElC,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AASrD;;;GAGG;AACH,eAAgB,OAAe,CAAC,CAAC,GAAQ,EAAE,EAAE;IAC3C,GAAG,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,2BAA2B;QACjC,OAAO,EAAE;YACP,OAAO,EAAE;gBACP,KAAK,CAAC,IAAyB,EAAE,KAA2B;oBAC1D,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;oBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;oBAEzC,+DAA+D;oBAC/D,MAAM,YAAY,GAAG,CAAC,CAAC,mBAAmB,CACxC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CACrG,CAAC;oBACF,uDAAuD;oBACrD,YAAY,CAAC,UAAkB,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;oBAC9E,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;gBACvC,CAAC;aACF;YAED,yBAAyB;YACzB,WAAW,CAAC,IAA6B,EAAE,KAA2B;gBACpE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;gBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAE9D,MAAM,SAAS,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,EAAE;oBAChH,MAAM;oBACN,IAAI;oBACJ,IAAI,CAAC,IAAI,CAAC,IAAI;iBACf,CAAC,CAAC;gBACJ,SAAS,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAEvD,gDAAgD;gBAChD,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,wDAAwD;YACxD,gEAAgE,CAAC,IAAwF,EAAE,KAA2B;gBACpL,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;gBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAgF,CAAC;gBACnG,MAAM,YAAY,GAAG,CAAC,CAAC,aAAa,CAAE,IAAY,CAAC,EAAE,IAAI,CAAC,CAAC,YAAY,CAAE,IAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,IAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAEjI,MAAM,SAAS,GAAG,CAAC,CAAC,mBAAmB,CACrC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,EAAE;oBAClG,MAAM;oBACN,IAAI;oBACJ,YAAY;iBACb,CAAC,CACH,CAAC;gBACA,SAAS,CAAC,UAAkB,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAE3E,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBACzC,CAAC;qBAAM,CAAC,CAAC,+CAA+C;oBACtD,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC;wBAChC,SAAS;wBACT,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAoB,CAAC;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,4BAA4B;YAC5B,cAAc,CAAC,IAAgC,EAAE,KAA2B;gBAC1E,gDAAgD;gBAChD,IAAK,IAAI,CAAC,IAAI,CAAC,MAAc,CAAC,qBAAqB,EAAE,CAAC;oBACpD,OAAO;gBACT,CAAC;gBAED,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;gBAClD,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;gBAE9D,MAAM,UAAU,GAAG,CAAC,CAAC,aAAa,CAChC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CACrE,CAAC;gBAEF,gFAAgF;gBAChF,MAAM,UAAU,GAAG,CAAC,CAAC,cAAc,CACjC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,EAAE;oBACvF,MAAM;oBACN,IAAI;oBACJ,UAAU;oBACV,IAAI,CAAC,IAAI,CAAC,MAAsB,EAAE,2BAA2B;oBAC7D,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAmB,CAAC,CAAC,CAAC,CAAC,wBAAwB;iBAC7G,CACF,CAAC;gBACD,UAAU,CAAC,MAAc,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAExD,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAC/B,CAAC;SACF;KACF,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/layer2.d.ts

@@ -0,0 +1,6 @@
+import type { AnalysisContext, Finding } from "./types.js";
+/**
+ * Layer 2: Control Flow Graph (CFG) & Type-Based Abstract Interpretation
+ * Detects unreachable code within functions and modules.
+ */
+export declare function analyzeLayer2(context: AnalysisContext): Finding[];

package/dist/layer2.js

@@ -0,0 +1,227 @@
+import { walkAst } from "./parser.js";
+/**
+ * Layer 2: Control Flow Graph (CFG) & Type-Based Abstract Interpretation
+ * Detects unreachable code within functions and modules.
+ */
+export function analyzeLayer2(context) {
+    const findings = [];
+    for (const module of context.modules.values()) {
+        if (module.parseStatus === "fallback" || !module.ast) {
+            continue;
+        }
+        const moduleFindings = analyzeModuleFlow(module);
+        findings.push(...moduleFindings);
+    }
+    return findings;
+}
+function analyzeModuleFlow(module) {
+    const findings = [];
+    const ast = module.ast;
+    // We look for function bodies, blocks, and conditional statements
+    walkAst(ast, (rawNode) => {
+        const node = rawNode;
+        // 1. Detect unreachable statements after terminal nodes
+        if (node.type === "BlockStatement" || node.type === "Program") {
+            const body = Array.isArray(node.body) ? node.body : [];
+            let terminalReached = false;
+            let terminalNode = null;
+            for (const stmt of body) {
+                if (terminalReached) {
+                    const stmtLoc = stmt.loc;
+                    findings.push({
+                        rule: "unreachable-statement",
+                        severity: "warning",
+                        confidence: "high",
+                        message: `Statement is unreachable because it follows a terminal statement (${terminalNode.type}).`,
+                        file: module.id,
+                        ...(stmtLoc !== undefined && { location: stmtLoc }),
+                        evidence: { terminalType: terminalNode.type },
+                    });
+                    // We only report the first unreachable statement to avoid noise
+                    break;
+                }
+                if (isTerminal(stmt)) {
+                    terminalReached = true;
+                    terminalNode = stmt;
+                }
+            }
+        }
+        // 2. Detect constant conditions
+        if (node.type === "IfStatement") {
+            const condition = node.test;
+            const result = evaluateStaticCondition(condition);
+            if (result === false) {
+                const consequentLoc = node.consequent?.loc;
+                findings.push({
+                    rule: "constant-condition",
+                    severity: "warning",
+                    confidence: "high",
+                    message: "Condition is always false; this branch will never execute.",
+                    file: module.id,
+                    ...(consequentLoc !== undefined && { location: consequentLoc }),
+                    evidence: { conditionValue: false },
+                });
+            }
+            else if (result === true && node.alternate) {
+                const alternateLoc = node.alternate?.loc;
+                findings.push({
+                    rule: "constant-condition",
+                    severity: "warning",
+                    confidence: "high",
+                    message: "Condition is always true; the 'else' branch will never execute.",
+                    file: module.id,
+                    ...(alternateLoc !== undefined && { location: alternateLoc }),
+                    evidence: { conditionValue: true },
+                });
+            }
+        }
+        if (node.type === "WhileStatement" || node.type === "DoWhileStatement") {
+            const result = evaluateStaticCondition(node.test);
+            if (result === false && node.type === "WhileStatement") {
+                const bodyLoc = node.body?.loc;
+                findings.push({
+                    rule: "constant-condition",
+                    severity: "warning",
+                    confidence: "high",
+                    message: "Loop condition is always false; the loop body will never execute.",
+                    file: module.id,
+                    ...(bodyLoc !== undefined && { location: bodyLoc }),
+                    evidence: { conditionValue: false },
+                });
+            }
+        }
+        // 3. Simple Contradictory Guards (e.g., x === 1 && x === 2)
+        if (node.type === "LogicalExpression" && node.operator === "&&") {
+            if (isContradictory(node.left, node.right)) {
+                const logicalLoc = node.loc;
+                findings.push({
+                    rule: "contradictory-guard",
+                    severity: "warning",
+                    confidence: "medium",
+                    message: "Logical expression contains a contradiction and will always be false.",
+                    file: module.id,
+                    ...(logicalLoc !== undefined && { location: logicalLoc }),
+                    evidence: {},
+                });
+            }
+        }
+        // 4. Type Narrowing Exhaustion (e.g., default branch with 'never' assignment)
+        if (node.type === "SwitchCase" && !node.test) {
+            // This is a 'default' case
+            if (hasNeverUsage(node.consequent)) {
+                const switchLoc = node.loc;
+                findings.push({
+                    rule: "unreachable-statement",
+                    severity: "info",
+                    confidence: "medium",
+                    message: "Default branch is marked as 'never' (exhaustive check), indicating it is dead code in a valid type system.",
+                    file: module.id,
+                    ...(switchLoc !== undefined && { location: switchLoc }),
+                    evidence: { type: "exhaustive-check" },
+                });
+            }
+        }
+    });
+    return findings;
+}
+function hasNeverUsage(nodes) {
+    for (const node of nodes) {
+        let found = false;
+        walkAst(node, (rawChild) => {
+            const child = rawChild;
+            // Look for 'as never' or 'assertNever(val)'
+            if (child.type === "TSAsExpression" && child.typeAnnotation?.type === "TSNeverKeyword") {
+                found = true;
+            }
+            if (child.type === "CallExpression" && child.callee?.type === "Identifier" && child.callee?.name?.toLowerCase().includes("never")) {
+                found = true;
+            }
+            if (child.type === "VariableDeclarator" && child.id?.typeAnnotation?.typeAnnotation?.type === "TSNeverKeyword") {
+                found = true;
+            }
+        });
+        if (found)
+            return true;
+    }
+    return false;
+}
+function isTerminal(node) {
+    if (!node)
+        return false;
+    return (node.type === "ReturnStatement" ||
+        node.type === "ThrowStatement" ||
+        node.type === "BreakStatement" ||
+        node.type === "ContinueStatement");
+}
+function evaluateStaticCondition(node) {
+    if (node.type === "BooleanLiteral")
+        return node.value;
+    if (node.type === "NumericLiteral")
+        return Boolean(node.value);
+    if (node.type === "StringLiteral")
+        return Boolean(node.value);
+    if (node.type === "NullLiteral")
+        return false;
+    if (node.type === "UnaryExpression" && node.operator === "!") {
+        const val = evaluateStaticCondition(node.argument);
+        return val === undefined ? undefined : !val;
+    }
+    // Basic literal comparisons: 1 === 2, "a" !== "b"
+    if (node.type === "BinaryExpression") {
+        const left = evaluateStaticCondition(node.left);
+        const right = evaluateStaticCondition(node.right);
+        // If both are literals, we can evaluate
+        const leftLit = getLiteralValue(node.left);
+        const rightLit = getLiteralValue(node.right);
+        if (leftLit !== undefined && rightLit !== undefined) {
+            if (node.operator === "===" || node.operator === "==")
+                return leftLit === rightLit;
+            if (node.operator === "!==" || node.operator === "!=")
+                return leftLit !== rightLit;
+        }
+    }
+    return undefined;
+}
+function getLiteralValue(node) {
+    if (node.type === "StringLiteral")
+        return node.value;
+    if (node.type === "NumericLiteral")
+        return node.value;
+    if (node.type === "BooleanLiteral")
+        return node.value;
+    if (node.type === "NullLiteral")
+        return null;
+    return undefined;
+}
+function isContradictory(left, right) {
+    // Simple case: x === 1 && x === 2
+    const leftExpr = parseSimpleEquality(left);
+    const rightExpr = parseSimpleEquality(right);
+    if (leftExpr && rightExpr && leftExpr.name === rightExpr.name) {
+        if (leftExpr.operator === "===" && rightExpr.operator === "===" && leftExpr.value !== rightExpr.value) {
+            return true;
+        }
+    }
+    return false;
+}
+function parseSimpleEquality(node) {
+    if (node.type !== "BinaryExpression")
+        return null;
+    if (node.operator !== "===" && node.operator !== "==")
+        return null;
+    let identifier = null;
+    let value = undefined;
+    if (node.left.type === "Identifier") {
+        identifier = node.left.name;
+        value = getLiteralValue(node.right);
+    }
+    else if (node.right.type === "Identifier") {
+        identifier = node.right.name;
+        value = getLiteralValue(node.left);
+    }
+    if (identifier !== null && value !== undefined) {
+        return { name: identifier, operator: node.operator, value };
+    }
+    return null;
+}
+//# sourceMappingURL=layer2.js.map

package/dist/layer2.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer2.js","sourceRoot":"","sources":["../src/layer2.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAA2C,MAAM,aAAa,CAAC;AAE/E;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAAwB;IACpD,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,WAAW,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAoB;IAC7C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAU,CAAC;IAE9B,kEAAkE;IAClE,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;QACvB,MAAM,IAAI,GAAG,OAAc,CAAC;QAC5B,wDAAwD;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAU,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,IAAI,eAAe,GAAG,KAAK,CAAC;YAC5B,IAAI,YAAY,GAAQ,IAAI,CAAC;YAE7B,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,IAAI,eAAe,EAAE,CAAC;oBACpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAwB,CAAC;oBAC9C,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,uBAAuB;wBAC7B,QAAQ,EAAE,SAAS;wBACnB,UAAU,EAAE,MAAM;wBAClB,OAAO,EAAE,qEAAqE,YAAY,CAAC,IAAI,IAAI;wBACnG,IAAI,EAAE,MAAM,CAAC,EAAE;wBACf,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;wBACnD,QAAQ,EAAE,EAAE,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE;qBAC9C,CAAC,CAAC;oBACH,gEAAgE;oBAChE,MAAM;gBACR,CAAC;gBAED,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,eAAe,GAAG,IAAI,CAAC;oBACvB,YAAY,GAAG,IAAI,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;YAC5B,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;YAClD,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBACrB,MAAM,aAAa,GAAI,IAAI,CAAC,UAAkB,EAAE,GAAwB,CAAC;gBACzE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,MAAM;oBAClB,OAAO,EAAE,4DAA4D;oBACrE,IAAI,EAAE,MAAM,CAAC,EAAE;oBACf,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;oBAC/D,QAAQ,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBAC7C,MAAM,YAAY,GAAI,IAAI,CAAC,SAAiB,EAAE,GAAwB,CAAC;gBACvE,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,MAAM;oBAClB,OAAO,EAAE,iEAAiE;oBAC1E,IAAI,EAAE,MAAM,CAAC,EAAE;oBACf,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;oBAC7D,QAAQ,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE;iBACnC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,MAAM,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACvD,MAAM,OAAO,GAAI,IAAI,CAAC,IAAY,EAAE,GAAwB,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,MAAM;oBAClB,OAAO,EAAE,mEAAmE;oBAC5E,IAAI,EAAE,MAAM,CAAC,EAAE;oBACf,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;oBACnD,QAAQ,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE;iBACpC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAChE,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,GAAwB,CAAC;gBACjD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,qBAAqB;oBAC3B,QAAQ,EAAE,SAAS;oBACnB,UAAU,EAAE,QAAQ;oBACpB,OAAO,EAAE,uEAAuE;oBAChF,IAAI,EAAE,MAAM,CAAC,EAAE;oBACf,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;oBACzD,QAAQ,EAAE,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,8EAA8E;QAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,2BAA2B;YAC3B,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAwB,CAAC;gBAChD,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,uBAAuB;oBAC7B,QAAQ,EAAE,MAAM;oBAChB,UAAU,EAAE,QAAQ;oBACpB,OAAO,EAAE,4GAA4G;oBACrH,IAAI,EAAE,MAAM,CAAC,EAAE;oBACf,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;oBACvD,QAAQ,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE;iBACvC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,KAAY;IACjC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,OAAO,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;YACzB,MAAM,KAAK,GAAG,QAAe,CAAC;YAC9B,4CAA4C;YAC5C,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,cAAc,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACvF,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClI,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,CAAC,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBAC/G,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC,CAAC,CAAC;QACH,IAAI,KAAK;YAAE,OAAO,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAS;IAC3B,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAC/B,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9B,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9B,IAAI,CAAC,IAAI,KAAK,mBAAmB,CAClC,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAS;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,KAAK,CAAC;IAE9C,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9C,CAAC;IAED,kDAAkD;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAElD,wCAAwC;QACxC,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE7C,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;gBAAE,OAAO,OAAO,KAAK,QAAQ,CAAC;YACnF,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;gBAAE,OAAO,OAAO,KAAK,QAAQ,CAAC;QACvF,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,IAAS;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAC;IAC7C,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,IAAS,EAAE,KAAU;IAC1C,kCAAkC;IAClC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAE7C,IAAI,QAAQ,IAAI,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QAC5D,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,IAAI,SAAS,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;YACpG,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAS;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEnE,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,KAAK,GAAQ,SAAS,CAAC;IAE3B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5B,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;SAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7B,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,UAAU,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/dist/layer3.d.ts

@@ -0,0 +1,7 @@
+import type { AnalysisContext, Finding } from "./types.js";
+/**
+ * Layer 3: SMT Constraint Solver
+ * Uses Z3 to prove path unreachability in complex logical branches.
+ */
+export declare function analyzeLayer3(context: AnalysisContext): Promise<Finding[]>;
+export declare function encodePredicate(node: any, z3: any): any;

package/dist/layer3.js

@@ -0,0 +1,244 @@
+import { walkAst } from "./parser.js";
+import { instrumentCode } from "./instrument.js";
+/**
+ * Layer 3: SMT Constraint Solver
+ * Uses Z3 to prove path unreachability in complex logical branches.
+ */
+export async function analyzeLayer3(context) {
+    const findings = [];
+    // Quick scan to see if we even need Z3
+    let needsZ3 = false;
+    for (const module of context.modules.values()) {
+        if (module.parseStatus === "parsed" && module.ast) {
+            walkAst(module.ast, (node) => {
+                if (node.type === "IfStatement" || node.type === "LogicalExpression") {
+                    needsZ3 = true;
+                    return true; // Stop walking this AST
+                }
+            });
+            if (needsZ3)
+                break;
+        }
+    }
+    if (!needsZ3) {
+        return [];
+    }
+    const { init } = await import("z3-solver");
+    const { Context } = await init();
+    const z3 = Context('main');
+    for (const module of context.modules.values()) {
+        if (module.parseStatus === "fallback" || !module.ast) {
+            continue;
+        }
+        const moduleFindings = await analyzeModuleLogic(module, z3, context);
+        findings.push(...moduleFindings);
+    }
+    return findings;
+}
+async function analyzeModuleLogic(module, z3, context) {
+    const findings = [];
+    const ast = module.ast;
+    const functionNodes = [];
+    walkAst(ast, (node) => {
+        if (node.type === "FunctionDeclaration" || node.type === "ArrowFunctionExpression" || node.type === "FunctionExpression") {
+            functionNodes.push(node);
+        }
+    });
+    for (const node of functionNodes) {
+        const body = node.body;
+        if (body.type === "BlockStatement") {
+            const solver = new z3.Solver();
+            const pathFindings = await analyzeFunctionPaths(body, z3, solver, module, context);
+            findings.push(...pathFindings);
+        }
+    }
+    return findings;
+}
+async function analyzeFunctionPaths(block, z3, solver, module, context) {
+    const findings = [];
+    const body = block.body || [];
+    for (const stmt of body) {
+        if (stmt.type === "IfStatement") {
+            await analyzeIfStatement(stmt, z3, solver, module, findings, [], context);
+        }
+    }
+    return findings;
+}
+async function extractModel(solver) {
+    const model = solver.model();
+    const inputs = {};
+    for (const decl of model.decls()) {
+        const val = model.getConst(decl);
+        if (val) {
+            const strVal = val.toString();
+            if (!isNaN(Number(strVal))) {
+                inputs[decl.name().toString()] = Number(strVal);
+            }
+            else {
+                inputs[decl.name().toString()] = strVal;
+            }
+        }
+    }
+    return inputs;
+}
+async function analyzeIfStatement(node, z3, solver, module, findings, pathConditions, context) {
+    const file = module.id;
+    const condition = node.test;
+    const predicate = encodePredicate(condition, z3);
+    if (predicate && typeof predicate !== 'string') {
+        // 1. Check if the 'then' branch is reachable
+        solver.push();
+        try {
+            for (const pc of pathConditions) {
+                if (pc)
+                    solver.add(pc);
+            }
+            solver.add(predicate);
+            const result = await solver.check();
+            if (result === "sat") {
+                // SAT -> Candidate for Layer 4 Proof
+                const seedInput = await extractModel(solver);
+                context.candidateBranches.push({
+                    file: file,
+                    line: node.consequent.loc?.start.line ?? 0,
+                    instrumentedCode: instrumentCode(module.sourceText, file) ?? "",
+                    seedInput
+                });
+            }
+            if (result === "unsat") {
+                findings.push({
+                    rule: "constant-condition",
+                    severity: "warning",
+                    confidence: "high",
+                    message: "[SMT] Logical path is mathematically unreachable (Always False).",
+                    file: file,
+                    location: node.consequent.loc,
+                    evidence: { reason: "unsat-path-then" },
+                });
+            }
+            else {
+                // Recurse into nested blocks if reachable
+                if (node.consequent.type === "BlockStatement") {
+                    for (const stmt of node.consequent.body) {
+                        if (stmt.type === "IfStatement") {
+                            await analyzeIfStatement(stmt, z3, solver, module, findings, [...pathConditions, predicate], context);
+                        }
+                    }
+                }
+            }
+        }
+        catch (e) {
+            // Ignore
+        }
+        solver.pop();
+        // 2. Check if the 'else' branch is reachable
+        if (node.alternate) {
+            solver.push();
+            try {
+                for (const pc of pathConditions) {
+                    if (pc)
+                        solver.add(pc);
+                }
+                solver.add(z3.Not(predicate));
+                const result = await solver.check();
+                if (result === "sat") {
+                    // SAT -> Candidate for Layer 4 Proof (Else branch)
+                    const seedInput = await extractModel(solver);
+                    context.candidateBranches.push({
+                        file: file,
+                        line: node.alternate.loc?.start.line ?? 0,
+                        instrumentedCode: instrumentCode(module.sourceText, file) ?? "",
+                        seedInput
+                    });
+                }
+                if (result === "unsat") {
+                    findings.push({
+                        rule: "constant-condition",
+                        severity: "warning",
+                        confidence: "high",
+                        message: "[SMT] Logical path is mathematically unreachable (Always True).",
+                        file: file,
+                        location: node.alternate.loc,
+                        evidence: { reason: "unsat-path-else" },
+                    });
+                }
+                else {
+                    // Recurse into else branch
+                    if (node.alternate.type === "BlockStatement") {
+                        for (const stmt of node.alternate.body) {
+                            if (stmt.type === "IfStatement") {
+                                await analyzeIfStatement(stmt, z3, solver, module, findings, [...pathConditions, z3.Not(predicate)], context);
+                            }
+                        }
+                    }
+                    else if (node.alternate.type === "IfStatement") {
+                        await analyzeIfStatement(node.alternate, z3, solver, module, findings, [...pathConditions, z3.Not(predicate)], context);
+                    }
+                }
+            }
+            catch (e) {
+                // Ignore
+            }
+            solver.pop();
+        }
+    }
+}
+export function encodePredicate(node, z3) {
+    if (!node)
+        return null;
+    if (node.type === "BinaryExpression") {
+        const left = encodePredicate(node.left, z3);
+        const right = encodePredicate(node.right, z3);
+        if (left && right && typeof left !== 'string' && typeof right !== 'string') {
+            try {
+                switch (node.operator) {
+                    case "===":
+                    case "==":
+                        return left.eq(right);
+                    case "!==":
+                    case "!=":
+                        return z3.Not(left.eq(right));
+                    case ">":
+                        return left.gt(right);
+                    case "<":
+                        return left.lt(right);
+                    case ">=":
+                        return left.ge(right);
+                    case "<=":
+                        return left.le(right);
+                }
+            }
+            catch (e) {
+                return null;
+            }
+        }
+    }
+    if (node.type === "Identifier") {
+        try {
+            return z3.Int.const(node.name);
+        }
+        catch (e) {
+            return null;
+        }
+    }
+    if (node.type === "NumericLiteral" || (node.type === "Literal" && typeof node.value === 'number')) {
+        return z3.Int.val(node.value);
+    }
+    if (node.type === "LogicalExpression") {
+        const left = encodePredicate(node.left, z3);
+        const right = encodePredicate(node.right, z3);
+        if (left && right && typeof left !== 'string' && typeof right !== 'string') {
+            try {
+                if (node.operator === "&&")
+                    return z3.And(left, right);
+                if (node.operator === "||")
+                    return z3.Or(left, right);
+            }
+            catch (e) {
+                return null;
+            }
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=layer3.js.map