{"version":3,"file":"formal-verification-bridge.d.ts","sourceRoot":"","sources":["../../src/brain/formal-verification-bridge.ts"],"names":[],"mappings":"AAeA,OAAO,EACL,iBAAiB,EACjB,UAAU,EACX,MAAM,aAAa,CAAC;AAUrB,qBAAa,wBAAwB;IACnC,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,KAAK,CAAsC;IACnD,OAAO,CAAC,WAAW,CAAS;;IAMtB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAiB3B,0EAA0E;IACpE,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAOtE,sDAAsD;IAChD,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;IA4G5E,2DAA2D;IAC3D,kBAAkB,IAAI,MAAM;IAa5B,kDAAkD;IAClD,iBAAiB,IAAI,MAAM;IAQ3B,sBAAsB;IACtB,KAAK,IAAI,iBAAiB;IAiB1B,SAAS,CAAC,KAAK,SAAK,GAAG,UAAU,EAAE;IAM7B,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAS9C,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,WAAW;YAIL,OAAO;CAatB;AAID,wBAAgB,eAAe,IAAI,wBAAwB,CAG1D;AAED,wBAAgB,yBAAyB,IAAI,IAAI,CAEhD"}