{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/lean-agentic/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EACL,cAAc,EACd,MAAM,EACN,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,MAAM,CAAoB;IAClC,OAAO,CAAC,UAAU,CAAgC;IAClD,OAAO,CAAC,aAAa,CAAuB;gBAEhC,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM;IASrD;;OAEG;IACG,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAgBjC;;;OAGG;IACG,YAAY,CAChB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,cAAc,GACrB,OAAO,CAAC,kBAAkB,CAAC;IA8E9B;;;OAGG;IACG,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;IA4CrE;;OAEG;IACG,sBAAsB,CAAC,WAAW,EAAE,gBAAgB,GAAG,OAAO,CAAC,OAAO,CAAC;IAkB7E;;OAEG;IACH,aAAa,IAAI;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;IAQtE;;OAEG;IACH,WAAW,IAAI,IAAI;IAMnB;;OAEG;IACG,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC;YAUjB,kBAAkB;YAalB,aAAa;YAoBb,kBAAkB;YA6BlB,aAAa;YA2Bb,gBAAgB;YAuBhB,wBAAwB;IAWtC,OAAO,CAAC,wBAAwB;YASlB,iBAAiB;YAkBjB,kBAAkB;IAgBhC,OAAO,CAAC,uBAAuB;IAK/B,OAAO,CAAC,yBAAyB;IAKjC,OAAO,CAAC,uBAAuB;IAK/B,OAAO,CAAC,yBAAyB;IAKjC,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,gBAAgB;IAIxB,OAAO,CAAC,gBAAgB;IAMxB,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,qBAAqB;IAK7B,OAAO,CAAC,cAAc;CAGvB"}