{"version":3,"file":"harness-verification.d.ts","sourceRoot":"","sources":["../../src/eval/harness-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAG1B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,sFAAsF;AACtF,MAAM,WAAW,YAAY;IAC5B,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,6FAA6F;IAC7F,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,MAAM,CAAA;IACpB,MAAM,EAAE,UAAU,CAAA;CAClB;AAED,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,aAAa,GAAG,YAAY,GAAG,YAAY,CAAA;IACnD,MAAM,EAAE,MAAM,CAAA;IACd,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACxC,gBAAgB,EAAE,MAAM,CAAA;IACxB,iBAAiB,EAAE,MAAM,CAAA;IACzB,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;IAClC,mFAAmF;IACnF,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAC3C;AAED,MAAM,MAAM,qBAAqB,GAC9B,WAAW,GACX,gBAAgB,GAChB,WAAW,GACX,eAAe,GACf,OAAO,GACP,cAAc,CAAA;AAEjB,MAAM,WAAW,qBAAqB;IACrC,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,qBAAqB,CAAA;IAC7B,cAAc,EAAE,MAAM,CAAA;IACtB,eAAe,EAAE,MAAM,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,iBAAiB;IACjC,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACvC,iFAAiF;IACjF,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,gFAAgF;IAChF,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;CAChF;AA2CD,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,wBAAwB,GAAG,iBAAiB,CA8FvF;AAED,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,QAAQ,GAAG,QAAQ,GAAG,cAAc,CAAA;IAC9C,MAAM,EAAE,MAAM,CAAA;IACd,YAAY,EAAE,iBAAiB,CAAA;IAC/B,YAAY,CAAC,EAAE,iBAAiB,CAAA;IAChC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,sBAAsB,CAAC;QAAC,YAAY,CAAC,EAAE,sBAAsB,CAAA;KAAE,CAAA;CAC5F;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACrC,YAAY,EAAE,wBAAwB,EACtC,YAAY,CAAC,EAAE,wBAAwB,EACvC,UAAU,CAAC,EAAE,qBAAqB,GAChC,aAAa,CAkFf"}