sdd-agent-platform 0.4.2 → 0.5.1

package/node_modules/@sdd-agent-platform/core/dist/verification/single-task-loop.js.map

@@ -1 +1 @@
-{"version":3,"file":"single-task-loop.js","sourceRoot":"","sources":["../../src/verification/single-task-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAiC,MAAM,4BAA4B,CAAC;AAG3F,OAAO,EAAE,mCAAmC,EAAE,MAAM,mBAAmB,CAAC;AAExE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAC/J,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAoC5E,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAA8B;IACzF,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnI,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChN,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC;IACpC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/G,MAAM,aAAa,GAAG,MAAM,kBAAkB,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,IAAI,EAAE,MAAM,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;IAClC,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,wBAAwB;QAC/B,KAAK;QACL,OAAO,EAAE,0BAA0B,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,QAAQ,MAAM,EAAE;QACrG,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE;KAClD,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrF,MAAM,sBAAsB,CAAC,WAAW,EAAE,sBAAsB,CAAC;YAC/D,KAAK;YACL,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;YAC1I,SAAS,EAAE,EAAE;YACb,eAAe,EAAE,aAAa,aAAa,CAAC,QAAQ,CAAC,QAAQ,yBAAyB;SACvF,CAAC,CAAC,CAAC;IACN,CAAC;IAED,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,oDAAoD,MAAM,EAAE;QACrE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;KAC5C,CAAC,CAAC;IAEH,MAAM,mBAAmB,GAAG,MAAM,mCAAmC,CAAC,WAAW,EAAE;QACjF,MAAM;QACN,KAAK;QACL,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,aAAa;QACb,OAAO;KACR,CAAC,CAAC;IACH,IAAI,mBAAmB,EAAE,CAAC;QACxB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IAED,IAAI,aAAa,CAAC,aAAa,IAAI,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;QACnK,MAAM,QAAQ,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7I,MAAM,iBAAiB,GAAG,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,6DAA6D,EAAE,wFAAwF,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/Q,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;YACzC,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC;YACnF,gBAAgB,EAAE,SAAS;YAC3B,SAAS,EAAE,EAAE;SACd,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,cAAc;YACrB,KAAK;YACL,OAAO,EAAE,QAAQ,MAAM,oCAAoC;YAC3D,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;YACrE,KAAK;YACL,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,cAAc;YACrB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,KAAK,MAAM,aAAa;YACtC,eAAe,EAAE,iFAAiF,OAAO,CAAC,MAAM,YAAY;SAC7H,CAAC,CAAC,CAAC;QACJ,OAAO;YACL,KAAK;YACL,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,OAAO;YACb,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,EAAE;YACrB,aAAa;YACb,OAAO,EAAE,2EAA2E;SACrF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,gDAAgD,MAAM,EAAE;QACjE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE;KACnF,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,cAAc,GAAyB,WAAW,CAAC;IACvD,IAAI,gBAAgB,GAAqC,SAAS,CAAC;IAEnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC/N,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnB,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;oBACpC,KAAK,EAAE,sBAAsB;oBAC7B,KAAK;oBACL,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,qDAAqD,MAAM,EAAE;oBACnF,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;iBACrE,CAAC,CAAC;gBACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;oBACrE,KAAK;oBACL,MAAM,EAAE,MAAM;oBACd,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK,EAAE,iBAAiB;oBACxB,MAAM,EAAE,SAAS;oBACjB,YAAY,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;oBAC7C,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,sDAAsD;iBACrF,CAAC,CAAC,CAAC;gBACJ,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,4FAA4F,EAAE,WAAW,IAAI,CAAC,KAAK,6HAA6H,CAAC,CAAC;YACvS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;gBACpC,KAAK,EAAE,mBAAmB;gBAC1B,KAAK;gBACL,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,yBAAyB,MAAM,EAAE;gBACvD,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;aACrE,CAAC,CAAC;YACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;gBACrE,KAAK;gBACL,MAAM,EAAE,MAAM;gBACd,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,iBAAiB;gBACxB,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;gBAC7C,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,0EAA0E;aACzG,CAAC,CAAC,CAAC;YACJ,cAAc,GAAG,SAAS,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC7E,MAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE;YACtD,MAAM;YACN,KAAK;YACL,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,YAAY,EAAE,IAAI,CAAC,gBAAgB;YACnC,YAAY,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;YAC7C,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;YAClG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;YAC3F,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC;gBAC/G,CAAC,CAAC,6GAA6G;gBAC/G,CAAC,CAAC,OAAO,IAAI,CAAC,gBAAgB,sEAAsE,IAAI,CAAC,KAAK,IAAI,MAAM,GAAG,CAAC;YAC9H,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,gBAAgB,2BAA2B,SAAS,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;YAC9I,cAAc,GAAG,SAAS,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC7E,MAAM;QACR,CAAC;QAED,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAEtD,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBAC7C,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAqB,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YACtK,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,MAAM,kCAAkC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACjP,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,4DAA4D,EAAE,+FAA+F,CAAC,CAAC,CAAC;oBACtM,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;oBACpF,gBAAgB,GAAG,MAAM,CAAC;oBAC1B,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBAC7C,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBAC5K,gBAAgB,GAAG,MAAM,CAAC;YAC5B,CAAC;iBAAM,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,gBAAgB,EAAE,CAAC;gBAC9D,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,mCAAmC,MAAM,iDAAiD,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBAC5Q,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,kHAAkH,EAAE,iHAAiH,CAAC,CAAC,CAAC;gBACrR,gBAAgB,GAAG,gBAAgB,CAAC;gBACpC,cAAc,GAAG,SAAS,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACnN,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,sBAAsB,MAAM,CAAC,SAAS,CAAC,YAAY,GAAG,EAAE,8EAA8E,CAAC,CAAC,CAAC;gBACjL,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YACtF,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,cAAc,MAAM,KAAK,CAAC;QAC9C,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACnE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO,EAAE,0BAA0B,MAAM,EAAE;YAC3C,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE;SACjC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACnH,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;QACzC,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,MAAM;QACd,SAAS;QACT,gBAAgB;QAChB,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;KACzK,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,mBAAmB;QAC9H,KAAK;QACL,OAAO,EAAE,wCAAwC,cAAc,QAAQ,MAAM,EAAE;QAC/E,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE;KAC3D,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrF,MAAM,sBAAsB,CAAC,WAAW,EAAE,sBAAsB,CAAC;YAC/D,KAAK;YACL,MAAM,EAAE,MAAM;YACd,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAChE,SAAS,EAAE,iBAAiB;YAC5B,eAAe,EAAE,aAAa,aAAa,CAAC,QAAQ,CAAC,QAAQ,eAAe,cAAc,SAAS,iBAAiB,CAAC,MAAM,eAAe;SAC3I,CAAC,CAAC,CAAC;IACN,CAAC;IAED,OAAO;QACL,KAAK;QACL,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI;QACJ,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC7D,iBAAiB;QACjB,aAAa;QACb,OAAO,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,kEAAkE,CAAC,CAAC,CAAC,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,6GAA6G,CAAC,CAAC,CAAC,mEAAmE;KAC3U,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mCAAmC,CAAC,WAAmB,EAAE,KAAkJ;IACxN,IAAI,KAAK,CAAC,OAAO,CAAC,iBAAiB,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC,OAAO,CAAC,kBAAkB,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,IAAI,KAAK,CAAC,aAAa,CAAC,aAAa,EAAE,CAAC;QAC5K,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,+BAA+B,CAAC,WAAW,EAAE;QAChE,QAAQ;QACR,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,sBAAsB,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,IAAI,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;IAC1C,MAAM,MAAM,GAAyB,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,IAAI,IAAI,CAAC,CAAC;IAClH,MAAM,IAAI,GAAG,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,WAAW,IAAI,oCAAoC,MAAM,GAAG,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,kBAAkB,IAAI,6GAA6G,CAAC,CAAC,CAAC;IACxV,MAAM,iBAAiB,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAqC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1I,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,aAAa,CAAC,WAAW,EAAE;QAC/B,GAAG,KAAK;QACR,MAAM;QACN,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE;YACL,GAAG,KAAK,CAAC,KAAK;YACd,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,CAAC;SACrG;QACD,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,yBAAyB,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7L,UAAU,EAAE;YACV,GAAG,KAAK,CAAC,UAAU;YACnB,MAAM,EAAE,gBAAgB;SACzB;KACF,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE;QAC3C,KAAK,EAAE,gCAAgC;QACvC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO,EAAE,oCAAoC,MAAM,QAAQ,KAAK,CAAC,MAAM,GAAG;QAC1E,IAAI,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE;KACvF,CAAC,CAAC;IACH,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI;QACJ,iBAAiB,EAAE,CAAC,4CAA4C,EAAE,yCAAyC,EAAE,wCAAwC,CAAC;QACtJ,iBAAiB;QACjB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,OAAO,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,uGAAuG,CAAC,CAAC,CAAC,0GAA0G;KACvP,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc,EAAE,UAAyB;IAClE,IAAI,MAAM,KAAK,gBAAgB,EAAE,CAAC;QAChC,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;QAC1D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAGD,KAAK,UAAU,0BAA0B,CAAC,WAAmB,EAAE,MAAc;IAC3E,MAAM,QAAQ,GAAG,MAAM,mCAAmC,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,OAAO,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC;AACnC,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC;IAC7C,IAAI,QAAQ,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAC3C,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QACvC,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,MAAc,EAAE,OAA8B,EAAE,IAAoB;IAC1G,MAAM,KAAK,GAAoB;QAC7B,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,OAAO,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,kBAAkB,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC/K,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,cAAc,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE;KACtK,CAAC;IACF,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9K,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,MAAM,KAAK,CAAC,EAAE,QAAQ,EAAE,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrN,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAoB;IACvD,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AACxF,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAoB,EAAE,MAA4B,EAAE,gBAAkD,EAAE,IAAkB,EAAE,SAAmB;IAC5K,MAAM,oBAAoB,GAA6D,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5K,MAAM,kBAAkB,GAA2D,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7I,OAAO;QACL,MAAM,EAAE,iBAAiB,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;QACnE,oBAAoB;QACpB,kBAAkB;QAClB,eAAe,EAAE,IAAI,EAAE,eAAe,IAAI,IAAI;QAC9C,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,IAAI,UAAU;QACtD,wBAAwB,EAAE,IAAI,EAAE,wBAAwB,IAAI,IAAI;QAChE,IAAI;QACJ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAoB,EAAE,MAA4B,EAAE,gBAAkD;IACvI,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QAC1C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,iBAAiB,CAAC,oBAA8E,EAAE,kBAA0E;IACnL,IAAI,oBAAoB,KAAK,aAAa,IAAI,kBAAkB,KAAK,eAAe,EAAE,CAAC;QACrF,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,IAAI,oBAAoB,KAAK,aAAa,IAAI,kBAAkB,KAAK,MAAM,EAAE,CAAC;QAC5E,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,kBAAkB,KAAK,gBAAgB,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAChF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,oBAAoB,KAAK,QAAQ,IAAI,kBAAkB,KAAK,QAAQ,EAAE,CAAC;QACzE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,WAAmB,EAAE,KAAa,EAAE,KAOnE;IACC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS;SACjC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,aAAa,CAAC,WAAW,EAAE;QAC/B,GAAG,KAAK;QACR,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,KAAK,EAAE;YACL,GAAG,KAAK,CAAC,KAAK;YACd,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,SAAS;SAChC;QACD,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC;QAChD,UAAU,EAAE;YACV,GAAG,KAAK,CAAC,UAAU;YACnB,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;SAChH;KACF,CAAC,CAAC;AACL,CAAC;AAGD,SAAS,mBAAmB,CAAC,MAAc,EAAE,MAAc,EAAE,IAAkB;IAC7E,MAAM,MAAM,GAAG,wBAAwB,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,MAAM,KAAK,CAAC,CAAC;IACjF,OAAO,gBAAgB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,2BAA2B,MAAM,sCAAsC,MAAM,0BAA0B,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,oBAAoB,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,yFAAyF,IAAI,CAAC;AACjd,CAAC;AAGD,SAAS,qBAAqB,CAAC,YAAoB;IACjD,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACnE,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"single-task-loop.js","sourceRoot":"","sources":["../../src/verification/single-task-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAiC,MAAM,4BAA4B,CAAC;AAG3F,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAC/J,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAqC9D,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,WAAmB,EAAE,OAA8B;IACzF,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnI,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IACjC,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/G,MAAM,aAAa,GAAG,MAAM,kBAAkB,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,IAAI,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9H,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC;IAClC,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,wBAAwB;QAC/B,KAAK;QACL,OAAO,EAAE,0BAA0B,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE;QAC7G,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE;KAC1D,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrF,MAAM,sBAAsB,CAAC,WAAW,EAAE,sBAAsB,CAAC;YAC/D,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;YAC1I,SAAS,EAAE,EAAE;YACb,eAAe,EAAE,aAAa,aAAa,CAAC,QAAQ,CAAC,QAAQ,yBAAyB;SACvF,CAAC,CAAC,CAAC;IACN,CAAC;IAED,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,oDAAoD,OAAO,CAAC,MAAM,EAAE;QAC7E,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE;KACpD,CAAC,CAAC;IAEH,IAAI,aAAa,CAAC,aAAa,IAAI,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;QACnK,MAAM,QAAQ,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrJ,MAAM,iBAAiB,GAAG,aAAa,CAAC,cAAc,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,6DAA6D,EAAE,wFAAwF,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvR,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,WAAW,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,OAAO,CAAC,MAAM,KAAK,EAAE,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7I,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,oEAAoE,CAAC,CAAC;QAC1M,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;YACzC,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;YAC9G,gBAAgB,EAAE,SAAS;YAC3B,oBAAoB,EAAE,QAAQ,CAAC,eAAe;YAC9C,sBAAsB,EAAE,QAAQ,CAAC,MAAM;YACvC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;SAC/G,CAAC,CAAC;QACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,cAAc;YACrB,KAAK;YACL,OAAO,EAAE,QAAQ,OAAO,CAAC,MAAM,oCAAoC;YACnE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,eAAe,EAAE,aAAa,EAAE;SAC9E,CAAC,CAAC;QACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;YACrE,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,cAAc;YACrB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,aAAa;YAC9C,YAAY,EAAE,WAAW,CAAC,eAAe;YACzC,eAAe,EAAE,iFAAiF,OAAO,CAAC,MAAM,YAAY;SAC7H,CAAC,CAAC,CAAC;QACJ,OAAO;YACL,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,OAAO;YACb,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC;YAChD,oBAAoB,EAAE,QAAQ,CAAC,eAAe;YAC9C,aAAa;YACb,OAAO,EAAE,2EAA2E;SACrF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,eAAe;QACtB,KAAK;QACL,OAAO,EAAE,gDAAgD,OAAO,CAAC,MAAM,EAAE;QACzE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE;KAC3F,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,IAAI,cAAc,GAAyB,WAAW,CAAC;IACvD,IAAI,gBAAgB,GAAqC,SAAS,CAAC;IAEnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvO,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnB,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;oBACpC,KAAK,EAAE,sBAAsB;oBAC7B,KAAK;oBACL,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,qDAAqD,OAAO,CAAC,MAAM,EAAE;oBAC3F,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;iBACrE,CAAC,CAAC;gBACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;oBACrE,KAAK;oBACL,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK,EAAE,iBAAiB;oBACxB,MAAM,EAAE,SAAS;oBACjB,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;oBACrD,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,sDAAsD;iBACrF,CAAC,CAAC,CAAC;gBACJ,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,4FAA4F,EAAE,WAAW,IAAI,CAAC,KAAK,iCAAiC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,+GAA+G,CAAC,CAAC;YAChW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;gBACpC,KAAK,EAAE,mBAAmB;gBAC1B,KAAK;gBACL,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,yBAAyB,OAAO,CAAC,MAAM,EAAE;gBAC/D,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE;aACrE,CAAC,CAAC;YACH,MAAM,yBAAyB,CAAC,WAAW,EAAE,yBAAyB,CAAC;gBACrE,KAAK;gBACL,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,iBAAiB;gBACxB,MAAM,EAAE,SAAS;gBACjB,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;gBACrD,eAAe,EAAE,GAAG,IAAI,CAAC,KAAK,0EAA0E;aACzG,CAAC,CAAC,CAAC;YACJ,cAAc,GAAG,SAAS,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC7E,MAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE;YACtD,MAAM;YACN,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,YAAY,EAAE,IAAI,CAAC,gBAAgB;YACnC,YAAY,EAAE,KAAK,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,MAAM;YACrD,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC;YAClG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;YAC3F,MAAM,cAAc,GAAG,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC;gBAC/G,CAAC,CAAC,6GAA6G;gBAC/G,CAAC,CAAC,OAAO,IAAI,CAAC,gBAAgB,sEAAsE,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YACtI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,gBAAgB,2BAA2B,SAAS,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;YACtJ,cAAc,GAAG,SAAS,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC7E,MAAM;QACR,CAAC;QAED,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAEtD,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBAC7C,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAqB,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YAC9K,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,OAAO,CAAC,MAAM,kCAAkC,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACzP,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,4DAA4D,EAAE,+FAA+F,CAAC,CAAC,CAAC;oBAC9M,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;oBACpF,gBAAgB,GAAG,MAAM,CAAC;oBAC1B,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBAC7C,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACpL,gBAAgB,GAAG,MAAM,CAAC;YAC5B,CAAC;iBAAM,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,gBAAgB,EAAE,CAAC;gBAC9D,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,mCAAmC,OAAO,CAAC,MAAM,iDAAiD,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBACpR,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,EAAE,4JAA4J,EAAE,iHAAiH,CAAC,CAAC,CAAC;gBACvU,gBAAgB,GAAG,gBAAgB,CAAC;gBACpC,cAAc,GAAG,SAAS,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;gBAC3N,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,sBAAsB,MAAM,CAAC,SAAS,CAAC,YAAY,GAAG,EAAE,8EAA8E,CAAC,CAAC,CAAC;gBACzL,gBAAgB,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;gBACpF,cAAc,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;YACtF,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,cAAc,OAAO,CAAC,MAAM,KAAK,EAAE,mBAAmB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1I,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;QACpD,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;YACpC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO,EAAE,0BAA0B,OAAO,CAAC,MAAM,EAAE;YACnD,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,eAAe,EAAE,IAAI,EAAE;SACtD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACnH,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,KAAK,gCAAgC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;IAChK,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,iBAAiB,EAAE,IAAI,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,+GAA+G,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,wIAAwI,CAAC,CAAC,CAAC,mEAAmE,CAAC,CAAC;IACriB,MAAM,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE;QACzC,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS;QACT,gBAAgB;QAChB,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,sBAAsB,EAAE,QAAQ,CAAC,MAAM;QACvC,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;KACjL,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,oBAAoB;QAC3B,KAAK;QACL,OAAO,EAAE,kCAAkC,OAAO,CAAC,MAAM,EAAE;QAC3D,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE;KACrE,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,WAAW,EAAE,KAAK,EAAE;QACpC,KAAK,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,mBAAmB;QAC9H,KAAK;QACL,OAAO,EAAE,wCAAwC,cAAc,QAAQ,OAAO,CAAC,MAAM,EAAE;QACvF,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE;KACnE,CAAC,CAAC;IACH,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACrF,MAAM,sBAAsB,CAAC,WAAW,EAAE,sBAAsB,CAAC;YAC/D,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAChE,SAAS,EAAE,iBAAiB;YAC5B,eAAe,EAAE,aAAa,aAAa,CAAC,QAAQ,CAAC,QAAQ,eAAe,cAAc,SAAS,iBAAiB,CAAC,MAAM,eAAe;SAC3I,CAAC,CAAC,CAAC;IACN,CAAC;IAED,OAAO;QACL,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI;QACJ,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC7D,iBAAiB;QACjB,oBAAoB,EAAE,QAAQ,CAAC,eAAe;QAC9C,aAAa;QACb,OAAO,EAAE,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,kEAAkE,CAAC,CAAC,CAAC,gBAAgB,KAAK,gBAAgB,CAAC,CAAC,CAAC,yGAAyG,CAAC,CAAC,CAAC,+DAA+D;KACnU,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,MAAc,EAAE,OAA8B,EAAE,IAAoB;IAC1F,MAAM,KAAK,GAAoB;QAC7B,EAAE,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,OAAO,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,uBAAuB,MAAM,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;QAC5I,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,cAAc,EAAE,gBAAgB,EAAE,oBAAoB,MAAM,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE;KACnI,CAAC;IACF,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,CAAC,aAAa,EAAE,gBAAgB,EAAE,mBAAmB,MAAM,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAChJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,wBAAwB,MAAM,KAAK,EAAE,QAAQ,EAAE,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrL,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAoB;IACvD,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,wBAAwB,IAAI,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC;AACxF,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAoB,EAAE,MAA4B,EAAE,gBAAkD,EAAE,IAAkB,EAAE,SAAmB;IAC5K,MAAM,oBAAoB,GAA6D,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC5K,MAAM,kBAAkB,GAA2D,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC7I,OAAO;QACL,MAAM,EAAE,iBAAiB,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;QACnE,oBAAoB;QACpB,kBAAkB;QAClB,eAAe,EAAE,IAAI,EAAE,eAAe,IAAI,IAAI;QAC9C,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,IAAI,UAAU;QACtD,wBAAwB,EAAE,IAAI,EAAE,wBAAwB,IAAI,IAAI;QAChE,IAAI;QACJ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAoB,EAAE,MAA4B,EAAE,gBAAkD;IACvI,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QAC1C,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IACD,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,iBAAiB,CAAC,oBAA8E,EAAE,kBAA0E;IACnL,IAAI,oBAAoB,KAAK,aAAa,IAAI,kBAAkB,KAAK,eAAe,EAAE,CAAC;QACrF,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,IAAI,oBAAoB,KAAK,aAAa,IAAI,kBAAkB,KAAK,MAAM,EAAE,CAAC;QAC5E,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,kBAAkB,KAAK,gBAAgB,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QAChF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,oBAAoB,KAAK,QAAQ,IAAI,kBAAkB,KAAK,QAAQ,EAAE,CAAC;QACzE,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,WAAmB,EAAE,KAAa,EAAE,KASnE;IACC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS;SACjC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,aAAa,CAAC,WAAW,EAAE;QAC/B,GAAG,KAAK;QACR,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,KAAK,EAAE;YACL,GAAG,KAAK,CAAC,KAAK;YACd,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,SAAS;SAChC;QACD,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC;QAChD,UAAU,EAAE;YACV,GAAG,KAAK,CAAC,UAAU;YACnB,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;SAChH;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,UAAU;YAChB,YAAY,EAAE,KAAK,CAAC,oBAAoB;YACxC,cAAc,EAAE,KAAK,CAAC,sBAAsB;YAC5C,kBAAkB,EAAE,KAAK,CAAC,MAAM;YAChC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU;SACrE;KACF,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,WAAmB,EAAE,KAAa,EAAE,MAAc,EAAE,MAAc,EAAE,SAAmB,EAAE,IAAkB,EAAE,OAAe;IAC/J,MAAM,OAAO,GAAG,8BAA8B,MAAM,iBAAiB,MAAM,gBAAgB,OAAO,mBAAmB,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,cAAc,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,6NAA6N,CAAC;IAC3jB,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,WAAW,EAAE,KAAK,EAAE,uBAAuB,EAAE,OAAO,CAAC,CAAC;IAC1F,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,eAAe,EAAE,MAAM,CAAC,EAAE,CAAC;AACpG,CAAC;AAGD,SAAS,mBAAmB,CAAC,MAAc,EAAE,IAAkB;IAC7D,OAAO,gBAAgB,MAAM,mCAAmC,mBAAmB,cAAc,kBAAkB,2BAA2B,MAAM,2DAA2D,MAAM,6BAA6B,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,OAAO,oBAAoB,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,oFAAoF,IAAI,CAAC;AACpe,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;QAC5B,OAAO,sBAAsB,CAAC;IAChC,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,OAAO,uBAAuB,CAAC;IACjC,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAAC,YAAoB;IACjD,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACnE,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAW;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC"}

package/node_modules/@sdd-agent-platform/core/dist/verification/task-evidence-judgment.d.ts

@@ -0,0 +1,49 @@
+import { ACCEPTANCE_POLICY_RULESET_VERSION } from '../contracts.js';
+import type { EvidenceCoverageStatus, EvidenceQualityIssue } from '../artifacts/sdd-evidence.js';
+import type { SddTask, SddTaskGap } from '../sdd-docs/task-parser.js';
+export type TaskEvidenceJudgmentStatus = 'PASS' | 'PASS_WITH_GAPS' | 'FAIL' | 'BLOCKED';
+export type HarnessVerifyStatus = 'PASS' | 'GAPS' | 'BLOCKED' | 'HUMAN_NEEDED';
+export interface TaskEvidenceJudgmentOptions {
+    branch?: string;
+    taskId: string;
+    runId?: string;
+    reviewArtifact?: string;
+    validationArtifact?: string;
+}
+interface PolicyRuleSet {
+    id: typeof ACCEPTANCE_POLICY_RULESET_VERSION;
+    version: string;
+    ruleIds: string[];
+}
+interface PolicyDecision {
+    status: EvidenceCoverageStatus;
+    ruleSet: PolicyRuleSet;
+    passedRules: string[];
+    failedRules: string[];
+    issueCodes: EvidenceQualityIssue[];
+}
+export interface AcceptanceCoverageItem {
+    acceptance: string;
+    status: EvidenceCoverageStatus;
+    evidence: string;
+    policyDecision?: PolicyDecision;
+    issueCodes?: EvidenceQualityIssue[];
+}
+export interface TaskEvidenceJudgmentResult {
+    runId: string;
+    taskId: string;
+    status: TaskEvidenceJudgmentStatus;
+    task: SddTask | null;
+    reviewArtifact: string | null;
+    validationArtifact: string | null;
+    coverageArtifactPath: string;
+    acceptanceCoverage: AcceptanceCoverageItem[];
+    gaps: SddTaskGap[];
+    commands: string[];
+    plannedCommands: string[];
+    executedCommands: string[];
+    standardStatus: HarnessVerifyStatus;
+    message: string;
+}
+export declare function runTaskEvidenceJudgment(projectRoot: string, options: TaskEvidenceJudgmentOptions): Promise<TaskEvidenceJudgmentResult>;
+export {};

package/node_modules/@sdd-agent-platform/core/dist/verification/task-evidence-judgment.js

@@ -0,0 +1,521 @@
+import { createHash } from 'node:crypto';
+import { readFile } from 'node:fs/promises';
+import { ACCEPTANCE_POLICY_RULESET_VERSION, SDD_EVIDENCE_CONTRACT, SDD_EVIDENCE_VERSION, SDD_RESULT_CONTRACT, SDD_RESULT_VERSION } from '../contracts.js';
+import { artifactKind, readArtifact, recordRuntimeOnlyArtifact } from '../run-state/artifacts.js';
+import { appendEvent } from '../run-state/events.js';
+import { appendArtifactHashLedgerEntry, appendDeclaredCommandLedgerEntries, appendInvocationLedgerEntry, listInvocationLedgerEntries } from '../run-state/invocation-ledger.js';
+import { readRunState, writeRunState } from '../run-state/run-state.js';
+import { getBranchStageEvidencePathFromRef, isBranchStageEvidenceRef, toBranchStageEvidenceRef, toEvidencePayloadFileName } from '../runtime-paths.js';
+import { hasRuntimeEvidenceScopeViolation, readRuntimeEvidenceClaims } from '../context/evidence-summary.js';
+import { validateSddResultArtifact } from '../artifacts/sdd-result.js';
+import { taskGap } from '../sdd-docs/task-inspection.js';
+import { inspectSddTask } from '../sdd-docs/task-inspection.js';
+import { resolveTaskRun } from '../workflow-state/resolve-task-run.js';
+export async function runTaskEvidenceJudgment(projectRoot, options) {
+    const resolved = await resolveTaskRun(projectRoot, { runId: options.runId, branch: options.branch, taskId: options.taskId });
+    const branch = resolved.context.partition;
+    const model = resolved.model;
+    const inspected = { task: resolved.task, gaps: inspectSddTask(model, options.taskId).gaps };
+    const runId = resolved.runId;
+    const state = resolved.state;
+    const reviewArtifact = options.reviewArtifact ?? artifactPathForAgent(state, options.taskId, 'reviewer');
+    const validationArtifact = options.validationArtifact ?? artifactPathForAgent(state, options.taskId, 'validator');
+    const gaps = [...inspected.gaps];
+    const plannedCommands = inspected.task?.validation ?? [];
+    for (const reason of resolved.staleReasons) {
+        gaps.push(taskGap(options.taskId, 'run_snapshot', reason, 'Rerun sdd execute for the current partition before verify.'));
+    }
+    for (const conflict of resolved.affectedFileConflicts) {
+        gaps.push(taskGap(options.taskId, 'affected_files', `Affected file ${conflict.file} is active in run ${conflict.runId} for ${conflict.partition}/${conflict.taskId}.`, 'Resolve or archive the conflicting active run before verify.'));
+    }
+    const acceptanceCoverage = [];
+    const acceptedArtifacts = [];
+    let reviewStatus = null;
+    let validationStatus = null;
+    let validationTrust = null;
+    let executedCommands = [];
+    await appendEvent(projectRoot, runId, {
+        event: 'phase_started',
+        runId,
+        summary: `Execute evidence judgment started for ${options.taskId}`,
+        data: { phase: 'verify', branch, task: options.taskId }
+    });
+    if (!inspected.task) {
+        gaps.push(taskGap(options.taskId, 'task', `Task ${options.taskId} was not found for goal-level verification.`, 'Create the task or choose an existing task id before verify.'));
+    }
+    if (!reviewArtifact) {
+        gaps.push(taskGap(options.taskId, 'review_artifact', 'No reviewer evidence was supplied or selected from runtime state.', 'Author reviewer evidence under .sdd/runs/<branch>/execute/code-review-vN.md and register its ref/hash before execute evidence judgment.'));
+    }
+    else {
+        const reviewReport = await validateSddResultArtifact(projectRoot, runId, reviewArtifact, { expectedTask: options.taskId, expectedAgent: 'reviewer' });
+        if (!reviewReport.valid || !reviewReport.result) {
+            gaps.push(taskGap(options.taskId, 'review_artifact', `Reviewer artifact ${reviewArtifact} is invalid: ${reviewReport.issues.map((issue) => issue.message).join('; ')}`, 'Fix reviewer artifact contract before execute evidence judgment.'));
+        }
+        else {
+            reviewStatus = reviewReport.result.status;
+            acceptedArtifacts.push(reviewArtifact);
+            if (reviewReport.result.status !== 'PASS') {
+                gaps.push(taskGap(options.taskId, 'review_status', `Reviewer status is ${reviewReport.result.status}, not PASS.`, 'Resolve review findings before marking verification PASS.'));
+            }
+        }
+    }
+    if (!validationArtifact) {
+        gaps.push(taskGap(options.taskId, 'validation_artifact', 'No validator evidence was supplied or selected from runtime state.', 'Author validator evidence under .sdd/runs/<branch>/execute/validation-vN.md and register its ref/hash before execute evidence judgment.'));
+    }
+    else {
+        const validationReport = await validateSddResultArtifact(projectRoot, runId, validationArtifact, { expectedTask: options.taskId, expectedAgent: 'validator' });
+        validationTrust = validationReport.trust ?? null;
+        if (!validationReport.valid || !validationReport.result) {
+            gaps.push(taskGap(options.taskId, 'validation_artifact', `Validator artifact ${validationArtifact} is invalid: ${validationReport.issues.map((issue) => issue.message).join('; ')}`, 'Fix validator artifact contract before execute evidence judgment.'));
+        }
+        else {
+            validationStatus = validationReport.result.status;
+            acceptedArtifacts.push(validationArtifact);
+            if (validationReport.result.status === 'FAIL' || validationReport.result.status === 'BLOCKED') {
+                gaps.push(taskGap(options.taskId, 'validation_status', `Validator status is ${validationReport.result.status}.`, 'Do not mark task completed; inspect validation gaps and recovery proposal.'));
+            }
+        }
+    }
+    if (inspected.task) {
+        const validationRaw = validationArtifact ? await readArtifactIfExists(projectRoot, runId, validationArtifact) : '';
+        const reviewRaw = reviewArtifact ? await readArtifactIfExists(projectRoot, runId, reviewArtifact) : '';
+        if (reviewArtifact && reviewRaw.length > 0) {
+            await appendArtifactHashLedgerEntry(projectRoot, { runId, taskId: options.taskId, branch, artifactPath: reviewArtifact, content: reviewRaw });
+        }
+        if (validationArtifact && validationRaw.length > 0) {
+            await appendArtifactHashLedgerEntry(projectRoot, { runId, taskId: options.taskId, branch, artifactPath: validationArtifact, content: validationRaw });
+        }
+        await appendDeclaredCommandLedgerEntries(projectRoot, { runId, taskId: options.taskId, branch, commands: inspected.task.validation });
+        const invocationLedger = await listInvocationLedgerEntries(projectRoot, runId);
+        executedCommands = executedCommandsFromLedger(invocationLedger);
+        const admittedClaims = await readRuntimeEvidenceClaims(projectRoot, runId, options.taskId);
+        const scopeViolation = await hasRuntimeEvidenceScopeViolation(projectRoot, runId, options.taskId);
+        if (scopeViolation) {
+            gaps.push(taskGap(options.taskId, 'runtime_scope', 'PARTITION_SCOPE_VIOLATION: Runtime evidence claims do not match the run partition.', 'Reingest validator evidence in the correct branch/partition before verify.'));
+        }
+        for (const target of taskAcceptanceCoverageTargets(inspected.task)) {
+            const coverage = scopeViolation
+                ? acceptanceCoverageDecision(target.label, 'BLOCKED', 'Runtime evidence scope violation blocks acceptance coverage.', ['PARTITION_SCOPE_VIOLATION'], [], ['require-partition-scope'])
+                : evaluateAcceptanceCoverageTarget(target, {
+                    taskId: options.taskId,
+                    validationArtifact,
+                    validationRaw,
+                    claims: admittedClaims.length > 0 ? admittedClaims : validationTrust?.claims ?? [],
+                    validationStatus,
+                    invocationLedger
+                });
+            await appendInvocationLedgerEntry(projectRoot, {
+                runId,
+                taskId: options.taskId,
+                branch,
+                kind: 'policy_evaluation',
+                ref: `${ACCEPTANCE_POLICY_RULESET_VERSION}:${target.label}`,
+                status: coverage.status,
+                artifactPath: validationArtifact,
+                inputHash: validationRaw.length > 0 ? hashDocumentContent(validationRaw) : null,
+                materialRefs: [],
+                metadata: {
+                    passedRules: coverage.policyDecision?.passedRules.join(',') ?? '',
+                    failedRules: coverage.policyDecision?.failedRules.join(',') ?? '',
+                    issueCodes: coverage.issueCodes?.join(',') ?? ''
+                }
+            });
+            acceptanceCoverage.push(coverage);
+            if (coverage.status !== 'PASS') {
+                gaps.push(taskGap(options.taskId, 'acceptance_coverage', `Acceptance target ${target.label} is ${coverage.status}: ${coverage.evidence}`, `Add ${SDD_EVIDENCE_CONTRACT} claim/evidence/provenance/policy records for ${target.label}; mention-only acceptance refs cannot pass.`));
+            }
+        }
+    }
+    const status = deriveTaskEvidenceJudgmentStatus(reviewStatus, validationStatus, gaps);
+    const standardStatus = toHarnessVerifyStatus(status, reviewStatus, validationStatus, gaps);
+    const coverageFileName = `acceptance-coverage-${options.taskId}.md`;
+    const coverageRef = toBranchStageEvidenceRef(branch, 'execute', coverageFileName);
+    await recordRuntimeOnlyArtifact(projectRoot, runId, coverageFileName, renderAcceptanceCoverageArtifact(options.taskId, status, coverageRef, inspected.task, reviewArtifact, validationArtifact, acceptanceCoverage, gaps, executedCommands), { logicalRef: coverageRef, branch, taskId: options.taskId, artifactRole: 'task-evidence-judgment-acceptance-coverage' });
+    const allArtifacts = [...acceptedArtifacts, coverageRef];
+    await persistVerifyState(projectRoot, runId, {
+        status,
+        taskId: options.taskId,
+        taskState: buildTaskEvidenceJudgmentTaskState(inspected.task, status, gaps, allArtifacts, acceptanceCoverage),
+        commands: plannedCommands,
+        evidence: allArtifacts,
+        artifacts: allArtifacts.map((artifactPath) => ({ path: artifactPath, kind: artifactKind(artifactPath), task: options.taskId, agent: agentFromArtifactPath(artifactPath) }))
+    });
+    await appendEvent(projectRoot, runId, {
+        event: status === 'PASS' ? 'validation_passed' : 'validation_failed',
+        runId,
+        summary: `Execute evidence judgment ${status} for ${options.taskId}`,
+        data: { task: options.taskId, status, coverageArtifact: coverageRef, gaps, plannedCommands, executedCommands }
+    });
+    return {
+        runId,
+        taskId: options.taskId,
+        status,
+        task: inspected.task,
+        reviewArtifact,
+        validationArtifact,
+        coverageArtifactPath: coverageRef,
+        acceptanceCoverage,
+        gaps,
+        commands: plannedCommands,
+        plannedCommands,
+        executedCommands,
+        standardStatus,
+        message: status === 'PASS' ? 'Task evidence judgment passed with explicit acceptance coverage.' : 'Task evidence judgment found gaps; inspect coverage artifact.'
+    };
+}
+function buildTaskEvidenceJudgmentTaskState(task, status, gaps, artifacts, acceptanceCoverage) {
+    const verificationStatus = status === 'PASS' ? 'pass' : status === 'PASS_WITH_GAPS' ? 'pass_with_gaps' : status === 'FAIL' ? 'failed' : 'blocked';
+    return {
+        status: status === 'PASS' ? 'implemented_verified' : verificationStatus === 'pass_with_gaps' ? 'validation_blocked' : verificationStatus === 'failed' ? 'validation_failed' : 'validation_blocked',
+        implementationStatus: 'implemented',
+        verificationStatus,
+        validationBatch: task?.validationBatch ?? null,
+        validationTiming: task?.validationTiming ?? 'task_end',
+        requiresVerifyBeforeNext: task?.requiresVerifyBeforeNext ?? true,
+        verifyStatus: status,
+        gaps,
+        artifacts,
+        acceptanceCoverage
+    };
+}
+async function persistVerifyState(projectRoot, runId, input) {
+    const state = await readRunState(projectRoot, runId);
+    const now = new Date().toISOString();
+    const knownArtifactPaths = new Set(state.artifacts.map((artifact) => artifact.path));
+    const newArtifacts = input.artifacts
+        .filter((artifact) => !knownArtifactPaths.has(artifact.path))
+        .map((artifact) => ({ ...artifact, createdAt: now }));
+    await writeRunState(projectRoot, {
+        ...state,
+        status: input.status === 'PASS' ? 'completed' : 'blocked',
+        phase: 'verify',
+        currentTask: input.taskId,
+        tasks: {
+            ...state.tasks,
+            [input.taskId]: input.taskState
+        },
+        artifacts: [...state.artifacts, ...newArtifacts],
+        validation: {
+            status: input.status === 'PASS' ? 'pass' : input.status === 'PASS_WITH_GAPS' ? 'pass_with_gaps' : input.status === 'BLOCKED' ? 'blocked' : 'fail',
+            commands: input.commands,
+            evidence: input.evidence
+        },
+    });
+}
+function renderAcceptanceCoverageArtifact(taskId, status, coverageRef, task, reviewArtifact, validationArtifact, coverage, gaps, executedCommands) {
+    return `# Acceptance Coverage ${taskId}\n\n\`\`\`sdd-result\ncontract: ${SDD_RESULT_CONTRACT}\nversion: ${SDD_RESULT_VERSION}\nagent: validator\ntask: ${taskId}\nstatus: ${status}\nartifacts:\n  - ${coverageRef}\n\`\`\`\n\n## Source Evidence\n\n- review_artifact: ${reviewArtifact ?? 'missing'}\n- validation_artifact: ${validationArtifact ?? 'missing'}\n- task_source: ${task ? sourceLocationEvidence(task.source) : 'missing'}\n\n## Planned Validation Commands\n\n${task && task.validation.length > 0 ? task.validation.map((command) => `- ${command}`).join('\n') : '- none'}\n\n## Executed Runtime Commands\n\n${executedCommands.length > 0 ? executedCommands.map((command) => `- ${command}`).join('\n') : '- none'}\n\n## Acceptance Mapping\n\n${coverage.length > 0 ? coverage.map((item) => `- [${item.status}] ${item.acceptance} Evidence: ${item.evidence}`).join('\n') : '- No acceptance items available.'}\n\n## Policy Decisions\n\n${coverage.length > 0 ? coverage.map((item) => `- ${item.acceptance}: status=${item.policyDecision?.status ?? item.status}; ruleset=${item.policyDecision?.ruleSet.id ?? ACCEPTANCE_POLICY_RULESET_VERSION}; passed=${item.policyDecision?.passedRules.join(',') || 'none'}; failed=${item.policyDecision?.failedRules.join(',') || 'none'}; issues=${item.issueCodes?.join(',') || 'none'}`).join('\n') : '- none'}\n\n## Gaps\n\n${gaps.length > 0 ? gaps.map((gap) => `- [${gap.severity}] ${gap.type} ${gap.field}: ${gap.message} Recommendation: ${gap.recommendation}`).join('\n') : '- none'}\n`;
+}
+function evaluateAcceptanceCoverageTarget(target, input) {
+    const matchingClaims = input.claims.filter((claim) => claim.task === input.taskId && acceptanceMatchesTarget(target, claim.acceptance));
+    const issueCodes = [];
+    const failedRules = [];
+    if (matchingClaims.length === 0) {
+        if (target.matchTexts.some((text) => text.length > 0 && input.validationRaw.toLowerCase().includes(text.toLowerCase()))) {
+            issueCodes.push('MENTION_ONLY');
+            failedRules.push('require-structured-evidence');
+            return acceptanceCoverageDecision(target.label, 'REFERENCED_ONLY', `Referenced ${target.label} in ${input.validationArtifact ?? 'validator artifact'} without policy-backed evidence.`, issueCodes, [], failedRules);
+        }
+        issueCodes.push('MISSING_ARTIFACT_REFERENCE');
+        failedRules.push('require-acceptance-claim');
+        return acceptanceCoverageDecision(target.label, 'MISSING', 'No policy-backed acceptance evidence found in validator artifact.', issueCodes, [], failedRules);
+    }
+    let best = matchingClaims[0];
+    let bestRank = evidenceClaimSelectionRank(best, input);
+    for (const claim of matchingClaims.slice(1)) {
+        const rank = evidenceClaimSelectionRank(claim, input);
+        if (rank > bestRank) {
+            best = claim;
+            bestRank = rank;
+        }
+    }
+    if (best.status === 'PASS') {
+        const ledgerDecision = evaluatePassClaimPolicy(best, input);
+        if (ledgerDecision.issueCodes.length === 0) {
+            return acceptanceCoverageDecision(target.label, 'PASS', `Policy-proven by ${SDD_EVIDENCE_CONTRACT} claim for ${best.acceptance} in ${best.sourceArtifact}; evidence=${best.evidence.map((item) => `${item.kind}:${item.ref}`).join(', ')}; provenance=${best.provenance.join(', ')}; policy=${best.policy.join(', ')}.`, [], ledgerDecision.passedRules, []);
+        }
+        return acceptanceCoverageDecision(target.label, 'BLOCKED', `PASS claim for ${best.acceptance} is missing required policy/provenance corroboration.`, ledgerDecision.issueCodes, [], ledgerDecision.failedRules);
+    }
+    if (best.status === 'FAIL') {
+        return acceptanceCoverageDecision(target.label, 'FAIL', `Explicit FAIL claim for ${best.acceptance}: ${best.claim}`, [], ['explicit-fail-overrides-pass'], []);
+    }
+    if (best.status === 'BLOCKED') {
+        return acceptanceCoverageDecision(target.label, 'BLOCKED', `Explicit BLOCKED claim for ${best.acceptance}: ${best.claim}`, [], ['explicit-blocked-overrides-pass'], []);
+    }
+    if (best.status === 'REFERENCED_ONLY') {
+        return acceptanceCoverageDecision(target.label, 'REFERENCED_ONLY', `Structured evidence references ${best.acceptance} but does not prove PASS.`, ['MENTION_ONLY'], [], ['require-pass-claim']);
+    }
+    return acceptanceCoverageDecision(target.label, 'MISSING', `Structured evidence marks ${best.acceptance} missing.`, ['MISSING_ARTIFACT_REFERENCE'], [], ['require-pass-claim']);
+}
+function evidenceClaimSelectionRank(claim, input) {
+    if (claim.status === 'FAIL') {
+        return 500;
+    }
+    if (claim.status === 'BLOCKED') {
+        return 400;
+    }
+    if (claim.status === 'PASS') {
+        const decision = evaluatePassClaimPolicy(claim, input);
+        return decision.issueCodes.length === 0 ? 300 : 200 - decision.issueCodes.length;
+    }
+    if (claim.status === 'REFERENCED_ONLY') {
+        return 100;
+    }
+    return 0;
+}
+function evaluatePassClaimPolicy(claim, input) {
+    const issueCodes = [];
+    const failedRules = [];
+    const passedRules = [];
+    const addFailure = (code, rule) => {
+        if (!issueCodes.includes(code)) {
+            issueCodes.push(code);
+        }
+        if (!failedRules.includes(rule)) {
+            failedRules.push(rule);
+        }
+    };
+    const addPassed = (rule) => {
+        if (!passedRules.includes(rule)) {
+            passedRules.push(rule);
+        }
+    };
+    if (claim.evidence.length === 0) {
+        addFailure('UNSOURCED_PASS', 'require-source-evidence');
+    }
+    else {
+        addPassed('require-source-evidence');
+    }
+    if (claim.provenance.length === 0) {
+        addFailure('PROVENANCE_GAP', 'require-provenance');
+    }
+    else {
+        addPassed('require-provenance');
+    }
+    if (claim.policy.length === 0) {
+        addFailure('POLICY_RULE_FAILED', 'require-policy-rule');
+    }
+    else {
+        addPassed('require-policy-rule');
+    }
+    if (input.validationStatus !== 'PASS') {
+        addFailure('POLICY_RULE_FAILED', 'require-validator-pass');
+    }
+    else {
+        addPassed('require-validator-pass');
+    }
+    const ledgerDecision = evaluateClaimLedgerCorroboration(claim, input.invocationLedger);
+    for (const issue of ledgerDecision.issueCodes) {
+        if (!issueCodes.includes(issue)) {
+            issueCodes.push(issue);
+        }
+    }
+    for (const rule of ledgerDecision.failedRules) {
+        if (!failedRules.includes(rule)) {
+            failedRules.push(rule);
+        }
+    }
+    if (ledgerDecision.failedRules.length === 0) {
+        addPassed('require-ledger-corroboration');
+    }
+    return { issueCodes, failedRules, passedRules };
+}
+function evaluateClaimLedgerCorroboration(claim, entries) {
+    const issueCodes = [];
+    const failedRules = [];
+    const commandRefs = invocationLedgerRefs(entries, 'command');
+    const artifactRefs = invocationLedgerRefs(entries, 'artifact_hash');
+    const materialRefs = ledgerMaterialRefs(entries);
+    const addIssue = (code, rule) => {
+        if (!issueCodes.includes(code)) {
+            issueCodes.push(code);
+        }
+        if (!failedRules.includes(rule)) {
+            failedRules.push(rule);
+        }
+    };
+    if (!artifactRefs.has(claim.sourceArtifact)) {
+        addIssue('MISSING_ARTIFACT_REFERENCE', 'require-source-artifact-hash');
+    }
+    for (const item of claim.evidence) {
+        if (item.kind === 'command' && !commandRefs.has(item.ref)) {
+            addIssue('MISSING_COMMAND_OUTPUT', 'require-command-ledger');
+        }
+        if (item.kind === 'artifact' && !artifactRefs.has(item.ref)) {
+            addIssue('MISSING_ARTIFACT_REFERENCE', 'require-artifact-hash');
+        }
+        if (item.kind === 'material' && !materialRefs.has(item.ref)) {
+            addIssue('MISSING_MATERIAL_REFERENCE', 'require-material-ledger');
+        }
+    }
+    for (const ref of claim.provenance) {
+        const typed = parseTypedLedgerRef(ref);
+        if (!typed) {
+            continue;
+        }
+        if (typed.kind === 'command' && !commandRefs.has(typed.ref)) {
+            addIssue('PROVENANCE_GAP', 'require-command-provenance-ledger');
+        }
+        if (typed.kind === 'artifact' && !artifactRefs.has(typed.ref)) {
+            addIssue('PROVENANCE_GAP', 'require-artifact-provenance-ledger');
+        }
+        if (typed.kind === 'material' && !materialRefs.has(typed.ref)) {
+            addIssue('PROVENANCE_GAP', 'require-material-provenance-ledger');
+        }
+    }
+    return { issueCodes, failedRules };
+}
+function invocationLedgerRefs(entries, kind) {
+    const refs = new Set();
+    for (const entry of entries) {
+        if (entry.kind === kind) {
+            refs.add(entry.ref);
+            if (entry.artifactPath) {
+                refs.add(entry.artifactPath);
+            }
+            if (kind === 'command' && typeof entry.metadata.stepId === 'string') {
+                refs.add(entry.metadata.stepId);
+            }
+        }
+    }
+    return refs;
+}
+function parseTypedLedgerRef(value) {
+    const separator = value.indexOf(':');
+    if (separator <= 0) {
+        return null;
+    }
+    const kind = value.slice(0, separator).trim();
+    const ref = value.slice(separator + 1).trim();
+    if (!/^[A-Za-z0-9_-]+$/.test(kind) || !ref) {
+        return null;
+    }
+    return { kind, ref };
+}
+function acceptanceMatchesTarget(target, acceptance) {
+    const normalizedAcceptance = acceptance.toLowerCase();
+    return target.matchTexts.some((text) => text.toLowerCase() === normalizedAcceptance) || target.label.toLowerCase() === normalizedAcceptance;
+}
+function acceptanceCoverageDecision(acceptance, status, evidence, issueCodes, passedRules, failedRules) {
+    return {
+        acceptance,
+        status,
+        evidence,
+        issueCodes,
+        policyDecision: {
+            status,
+            ruleSet: {
+                id: ACCEPTANCE_POLICY_RULESET_VERSION,
+                version: SDD_EVIDENCE_VERSION,
+                ruleIds: ['require-structured-evidence', 'require-source-evidence', 'require-provenance', 'require-policy-rule']
+            },
+            passedRules,
+            failedRules,
+            issueCodes
+        }
+    };
+}
+function taskAcceptanceCoverageTargets(task) {
+    if (task.acceptanceRefs.length > 0) {
+        return task.acceptanceRefs.map((ref, index) => {
+            const description = task.acceptance[index] ?? null;
+            return {
+                label: ref,
+                description,
+                matchTexts: description ? [ref, description] : [ref]
+            };
+        });
+    }
+    return task.acceptance.map((acceptance) => ({
+        label: acceptance,
+        description: null,
+        matchTexts: [acceptance]
+    }));
+}
+function deriveTaskEvidenceJudgmentStatus(reviewStatus, validationStatus, gaps) {
+    if (gaps.length > 0) {
+        return validationStatus === 'PASS_WITH_GAPS' ? 'PASS_WITH_GAPS' : 'BLOCKED';
+    }
+    if (reviewStatus !== 'PASS' || !validationStatus) {
+        return 'BLOCKED';
+    }
+    if (validationStatus === 'PASS') {
+        return 'PASS';
+    }
+    if (validationStatus === 'PASS_WITH_GAPS') {
+        return 'PASS_WITH_GAPS';
+    }
+    return validationStatus === 'FAIL' ? 'FAIL' : 'BLOCKED';
+}
+function toHarnessVerifyStatus(status, reviewStatus, validationStatus, gaps) {
+    if (status === 'PASS') {
+        return 'PASS';
+    }
+    if (status === 'PASS_WITH_GAPS') {
+        return 'GAPS';
+    }
+    if (!reviewStatus || !validationStatus || gaps.some((gap) => gap.field === 'review_artifact' || gap.field === 'validation_artifact')) {
+        return 'HUMAN_NEEDED';
+    }
+    return 'BLOCKED';
+}
+async function readArtifactIfExists(projectRoot, runId, runRelativeArtifactPath) {
+    try {
+        if (isBranchStageEvidenceRef(runRelativeArtifactPath)) {
+            try {
+                return await readFile(getBranchStageEvidencePathFromRef(projectRoot, runRelativeArtifactPath), 'utf8');
+            }
+            catch {
+                return await readArtifact(projectRoot, runId, toEvidencePayloadFileName(runRelativeArtifactPath));
+            }
+        }
+        return await readArtifact(projectRoot, runId, toEvidencePayloadFileName(runRelativeArtifactPath));
+    }
+    catch {
+        return '';
+    }
+}
+function artifactPathForAgent(state, taskId, agent) {
+    const delegation = Object.values(state.delegations).find((candidate) => candidate.task === taskId && candidate.agent === agent && candidate.status === 'COMPLETED');
+    if (delegation) {
+        return delegation.expectedArtifact;
+    }
+    const artifact = state.artifacts.find((candidate) => candidate.task === taskId && candidate.agent === agent);
+    return artifact?.path ?? null;
+}
+function agentFromArtifactPath(artifactPath) {
+    const kind = artifactKind(artifactPath);
+    if (kind === 'implement') {
+        return 'implementer';
+    }
+    if (kind === 'review' || kind === 'validation' || kind === 'debug') {
+        return kind === 'debug' ? 'debugger' : kind === 'review' ? 'reviewer' : 'validator';
+    }
+    if (kind === 'gap-report') {
+        return 'runtime';
+    }
+    return 'unknown';
+}
+function executedCommandsFromLedger(entries) {
+    return [...new Set(entries
+            .filter((entry) => entry.kind === 'command' && entry.status !== 'declared')
+            .map((entry) => entry.ref))];
+}
+function sourceLocationEvidence(source) {
+    return `${source.filePath}:${source.lineStart}-${source.lineEnd}`;
+}
+function ledgerMaterialRefs(entries) {
+    const refs = new Set();
+    for (const entry of entries) {
+        if (entry.kind === 'material') {
+            refs.add(entry.ref);
+        }
+        for (const ref of entry.materialRefs) {
+            refs.add(ref);
+        }
+    }
+    return refs;
+}
+function hashDocumentContent(raw) {
+    return createHash('sha256').update(raw.replace(/\r\n/g, '\n'), 'utf8').digest('hex');
+}
+//# sourceMappingURL=task-evidence-judgment.js.map