audit-tools 0.52.4 → 0.53.0

package/dist/remediate/validation/contractPipeline.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"contractPipeline.js","sourceRoot":"","sources":["../../../src/remediate/validation/contractPipeline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oDAAoD,CAAC;AAC1F,4GAA4G;AAC5G;;;;GAIG;AACH,OAAO,EAEL,QAAQ,EACR,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,uBAAuB,EACvB,+BAA+B,EAC/B,mBAAmB,EACnB,8BAA8B,EAC9B,kCAAkC,EAClC,mBAAmB,EACnB,wBAAwB,EACxB,iBAAiB,EACjB,4BAA4B,EAC5B,+BAA+B,EAC/B,iBAAiB,EACjB,yBAAyB,EACzB,4BAA4B,EAC5B,cAAc,EACd,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,eAAe,EACf,6BAA6B,EAC7B,4BAA4B,EAC5B,wBAAwB,EACxB,2BAA2B,GAC5B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,mCAAmC,EACnC,wCAAwC,EACxC,oDAAoD,EACpD,2CAA2C,EAC3C,oDAAoD,EACpD,wCAAwC,EACxC,sCAAsC,EACtC,4CAA4C,EAC5C,6CAA6C,EAC7C,6CAA6C,GAC9C,MAAM,oBAAoB,CAAC;AAE5B,wDAAwD;AACxD,MAAM,CAAC,MAAM,iCAAiC,GAC5C,kEAA2E,CAAC;AAE9E,kFAAkF;AAClF,MAAM,CAAC,MAAM,+BAA+B,GAC1C,gEAAyE,CAAC;AAC5E,MAAM,CAAC,MAAM,2BAA2B,GACtC,4DAAqE,CAAC;AACxE,MAAM,CAAC,MAAM,qCAAqC,GAChD,sEAA+E,CAAC;AAClF,MAAM,CAAC,MAAM,qCAAqC,GAChD,sEAA+E,CAAC;AAElF,iFAAiF;AAEjF,SAAS,aAAa,CACpB,KAAc,EACd,IAAY,EACZ,MAAyB;IAEzB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,8BAA8B,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAc,EACd,IAAY,EACZ,MAAyB;IAEzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC5E,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,KAAc,EACd,OAA0B,EAC1B,IAAY,EACZ,MAAyB;IAEzB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACrC,mBAAmB,CACjB,MAAM,EACN,IAAI,EACJ,GAAG,IAAI,oBAAoB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACjD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CACvB,KAAc,EACd,IAAY,EACZ,eAAuB,EACvB,MAAyB,EACzB,OAA6B,EAAE,MAAM,EAAE,IAAI,EAAE;IAE7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,KAAK,eAAe,EAAE,CAAC;QAC/C,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,mBAAmB,EAC1B,GAAG,IAAI,8BAA8B,eAAe,IAAI,CACzD,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC1B,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,IAAI,GAAG,WAAW;IAElB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,mCAAmC,EAAE,MAAM,CAAC,CAAC;IACrF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,MAAM,CAAC,CAAC;IACxD,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,MAAM,CAAC,CAAC;IAC7D,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,EAAE,GAAG,IAAI,mBAAmB,EAAE,MAAM,CAAC,CAAC;IAC3E,YAAY,CAAC,CAAC,CAAC,WAAW,EAAE,iBAAiB,EAAE,GAAG,IAAI,cAAc,EAAE,MAAM,CAAC,CAAC;IAC9E,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,qBAAqB,CACnC,KAAc,EACd,IAAI,GAAG,gBAAgB;IAEvB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,wCAAwC,EAAE,MAAM,CAAC,CAAC;IAC1F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,EAAE,GAAG,IAAI,4BAA4B,CAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,IAAI,YAAY,CAAC,sBAAsB,CAAC,CAAC;gBACjG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAChE,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,mBAAmB,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpF,aAAa,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,IAAI,YAAY,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,eAAe,EAAE,GAAG,IAAI,kBAAkB,EAAE,MAAM,CAAC,CAAC;IACpE,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,2BAA2B,CACzC,KAAc,EACd,IAAI,GAAG,sBAAsB;IAE7B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,+BAA+B,EAAE,MAAM,CAAC,CAAC;IACjF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,EAAE,GAAG,IAAI,4BAA4B,CAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,IAAI,YAAY,CAAC,sBAAsB,CAAC,CAAC;gBACjG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC9D,aAAa,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,IAAI,YAAY,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;YACtF,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,IAAI,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YAC/E,IAAI,GAAG,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;gBAC5C,kBAAkB,CAChB,GAAG,CAAC,qBAAqB,EACzB,GAAG,IAAI,YAAY,CAAC,yBAAyB,EAC7C,MAAM,CACP,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACxC,kBAAkB,CAChB,GAAG,CAAC,iBAAiB,EACrB,GAAG,IAAI,YAAY,CAAC,qBAAqB,EACzC,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,SAAS,2BAA2B,CAAC,KAA8B,EAAE,IAAY,EAAE,MAAyB;IAC1G,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,MAAM,CAAC,CAAC;IAClD,kBAAkB,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,MAAM,CAAC,CAAC;IAC3D,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7D,kBAAkB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IACnE,kBAAkB,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,IAAI,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,aAAa,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,IAAI,sBAAsB,EAAE,MAAM,CAAC,CAAC;IAChF,kBAAkB,CAAC,KAAK,CAAC,aAAa,EAAE,GAAG,IAAI,gBAAgB,EAAE,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAc,EACd,IAAI,GAAG,kBAAkB;IAEzB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,qCAAqC,CAAC,CAAC;IACxG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,sBAAsB,CAAC,CAAC;gBACnH,SAAS;YACX,CAAC;YACD,2BAA2B,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,qCAAqC,EAAE,MAAM,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,GAAG,EAAE,GAAG,IAAI,eAAe,CAAC,sBAAsB,CAAC,CAAC;gBACvG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,IAAI,eAAe,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YAC5E,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC9E,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,IAAI,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAC9E,aAAa,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,IAAI,eAAe,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YACpF,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACnC,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,eAAe,CAAC,cAAc,EACrC,GAAG,IAAI,eAAe,CAAC,iFAAiF,CACzG,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,YAAY,CACV,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAC5B,yBAAyB,EACzB,GAAG,IAAI,eAAe,CAAC,uBAAuB,EAC9C,MAAM,CACP,CAAC;gBACF,aAAa,CACX,QAAQ,CAAC,UAAU,CAAC,gBAAgB,EACpC,GAAG,IAAI,eAAe,CAAC,+BAA+B,EACtD,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,qCAAqC,EAAE,MAAM,CAAC,CAAC;IACvF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,qCAAqC,CAAC,CAAC;IACxG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,sBAAsB,CAAC,CAAC;gBACnH,SAAS;YACX,CAAC;YACD,2BAA2B,CAAC,GAAG,EAAE,GAAG,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7E,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,yEAAyE;QACzE,2EAA2E;QAC3E,oCAAoC;QACpC,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,mBAAmB,EAC1B,GAAG,IAAI,sFAAsF;gBAC3F,wFAAwF;gBACxF,aAAa,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,KAAK;qBAC1D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,QAAQ,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC;qBAC/E,IAAI,CAAC,IAAI,CAAC,+EAA+E;gBAC5F,YAAY,CACf,CAAC;QACJ,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,iFAAiF;AACjF,6EAA6E;AAC7E,kFAAkF;AAClF,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,kCAAkC,EAClC,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EACtB,gCAAgC,EAChC,gCAAgC,EAChC,iCAAiC,EACjC,8BAA8B,EAC9B,mCAAmC,EACnC,sBAAsB,EACtB,mBAAmB,GAGpB,MAAM,4BAA4B,CAAC;AAEpC,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,oDAAoD,EAAE,MAAM,CAAC,CAAC;IACtG,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzD,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,mBAAmB,EAAE,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACjF,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAC3E,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,wBAAwB,EAAE,GAAG,IAAI,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAClC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,kCAAkC,EAAE,GAAG,IAAI,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACrG,CAAC;IACD,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,iBAAiB,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IACtE,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,wBAAwB,CACtC,KAAc,EACd,IAAI,GAAG,mBAAmB;IAE1B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,2CAA2C,EAAE,MAAM,CAAC,CAAC;IAC7F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,cAAc,EAAE,GAAG,IAAI,gCAAgC,CAAC,CAAC;IAC9F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,gBAAgB,CAAC,GAAG,EAAE,GAAG,IAAI,gBAAgB,CAAC,sBAAsB,CAAC,CAAC;gBACzG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC9D,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,IAAI,gBAAgB,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAChF,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACnF,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,IAAI,gBAAgB,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YACnF,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,mBAAmB,EAAE,GAAG,IAAI,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,yBAAyB,CACvC,KAAc,EACd,IAAI,GAAG,qBAAqB;IAE5B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,6CAA6C,EAAE,MAAM,CAAC,CAAC;IAC/F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,EAAE,GAAG,IAAI,+BAA+B,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,CAAC,GAAG,EAAE,GAAG,IAAI,eAAe,CAAC,sBAAsB,CAAC,CAAC;gBACvG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,eAAe,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACpF,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAClE,yEAAyE;YACzE,2EAA2E;YAC3E,4EAA4E;YAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB,KAAK,SAAS,CAAC;YAC3D,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7C,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,IAAI,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACpF,CAAC;YACD,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;oBACvF,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,eAAe,CAAC,cAAc,EACrC,GAAG,IAAI,eAAe,CAAC,oDAAoD,CAC5E,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,eAAe,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;YACD,IAAI,YAAY,EAAE,CAAC;gBACjB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBACvC,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,eAAe,CAAC,sBAAsB,EAC7C,GAAG,IAAI,eAAe,CAAC,yCAAyC,CACjE,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,aAAa,CACX,IAAI,CAAC,kBAAkB,CAAC,aAAa,EACrC,GAAG,IAAI,eAAe,CAAC,oCAAoC,EAC3D,MAAM,CACP,CAAC;oBACF,aAAa,CACX,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAC9B,GAAG,IAAI,eAAe,CAAC,6BAA6B,EACpD,MAAM,CACP,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,gCAAgC,CAC9C,KAAc,EACd,IAAI,GAAG,4BAA4B;IAEnC,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,oDAAoD,EAAE,MAAM,CAAC,CAAC;IACtG,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,aAAa,CAAC,sBAAsB,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,IAAI,aAAa,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACrF,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,2BAA2B,EAAE,GAAG,IAAI,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACnG,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YAChF,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,IAAI,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,mBAAmB,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IACxE,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,sBAAsB,CACpC,KAAc,EACd,IAAI,GAAG,gBAAgB;IAEvB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,wCAAwC,EAAE,MAAM,CAAC,CAAC;IAC1F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,CAAC,GAAG,EAAE,GAAG,IAAI,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;gBACjH,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC7D,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;gBACtG,CAAC;QACH,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,mBAAmB,CACjC,KAAc,EACd,IAAI,GAAG,cAAc;IAErB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,sCAAsC,EAAE,MAAM,CAAC,CAAC;IACxF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,cAAc,EAAE,GAAG,IAAI,UAAU,EAAE,MAAM,CAAC,CAAC;IACnE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;YACrD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,CAAC,GAAG,EAAE,GAAG,IAAI,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;gBACjH,SAAS;YACX,CAAC;YACD,aAAa,CAAC,KAAK,CAAC,iBAAiB,EAAE,GAAG,IAAI,oBAAoB,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;YAClG,YAAY,CAAC,KAAK,CAAC,cAAc,EAAE,8BAA8B,EAAE,GAAG,IAAI,oBAAoB,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;YAC3H,aAAa,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,oBAAoB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClC,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,mBAAmB,EAC1B,GAAG,IAAI,+DAA+D,CACvE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAClC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,mBAAmB,EAAE,GAAG,IAAI,sCAAsC,CAAC,CAAC;QACzG,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;gBACnD,qEAAqE;gBACrE,2EAA2E;gBAC3E,2DAA2D;gBAC3D,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,0BAA0B,EACjC,GAAG,IAAI,wLAAwL,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,qDAAqD,CAC/R,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,uBAAuB,EAAE,GAAG,IAAI,0BAA0B,EAAE,MAAM,CAAC,CAAC;YAC9G,CAAC;YACD,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,WAAW,EAAE,GAAG,IAAI,+BAA+B,EAAE,MAAM,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,yBAAyB,CACvC,KAAc,EACd,IAAI,GAAG,oBAAoB;IAE3B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,4CAA4C,EAAE,MAAM,CAAC,CAAC;IAC9F,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzD,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;YAC/D,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;YAC3E,kBAAkB,CAAC,IAAI,CAAC,qBAAqB,EAAE,GAAG,IAAI,UAAU,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC;YACpG,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS,EAAE,CAAC;gBACjD,kBAAkB,CAAC,IAAI,CAAC,yBAAyB,EAAE,GAAG,IAAI,UAAU,CAAC,6BAA6B,EAAE,MAAM,CAAC,CAAC;YAC9G,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,UAAU,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YAC9E,kBAAkB,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,IAAI,UAAU,CAAC,+BAA+B,EAAE,MAAM,CAAC,CAAC;YAChH,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;YAC5F,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,4BAA4B,EAAE,GAAG,IAAI,UAAU,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9F,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBAC5C,kBAAkB,CAAC,IAAI,CAAC,oBAAoB,EAAE,GAAG,IAAI,UAAU,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YACpG,CAAC;YACD,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;gBACrC,kBAAkB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,UAAU,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACtF,CAAC;YACD,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;gBAC1E,IAAI,OAAO,IAAI,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;oBAC9C,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,oBAAoB,EAAE,GAAG,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAC;gBAC7I,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,4EAA4E;IAC5E,6EAA6E;IAC7E,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;gBAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;gBAC7F,SAAS;YACX,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC7D,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACzD,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,yBAAyB,EAAE,GAAG,IAAI,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvF,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7F,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,UAAU,CAAC,QAAQ,EAC1B,GAAG,IAAI,UAAU,CAAC,WAAW,IAAI,CAAC,IAAI,0CAA0C,CACjF,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvF,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,UAAU,CAAC,MAAM,EACxB,GAAG,IAAI,UAAU,CAAC,SAAS,IAAI,CAAC,EAAE,0CAA0C,CAC7E,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,4EAA4E;IAC5E,4EAA4E;IAC5E,2EAA2E;IAC3E,+EAA+E;IAC/E,+EAA+E;IAC/E,mFAAmF;IACnF,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAA2C,EAAE,CAAC;QAC5D,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ;gBAAE,SAAS;YAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;gBACzC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,CAAC,EAAe,EAAE,CACjB,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CACnE;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,4EAA4E;QAC5E,yEAAyE;QACzE,8BAA8B;QAC9B,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,KAAK,EAAE,CAAC;YACV,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,QAAQ,EACf,GAAG,IAAI,wCAAwC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,2CAA2C,CAC7G,CAAC;QACJ,CAAC;IACH,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,IAAI,GAAG,qBAAqB;IAE5B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,6EAA6E;IAC7E,yEAAyE;IACzE,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,6CAA6C,EAAE,MAAM,EAAE;QAC7F,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,aAAa,CAAC,sBAAsB,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,aAAa,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YAC/E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnC,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,4BAA4B,CAAC,CAAC;YAClH,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,sBAAsB,CAAC,CAAC;wBAC7H,SAAS;oBACX,CAAC;oBACD,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;oBACtF,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,wBAAwB,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;oBACvG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;oBAChF,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;oBAC3F,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,2BAA2B,EAAE,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;gBAChH,CAAC;YACH,CAAC;YACD,YAAY,CAAC,OAAO,CAAC,cAAc,EAAE,6BAA6B,EAAE,GAAG,IAAI,aAAa,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;QACvH,CAAC;IACH,CAAC;IACD,0EAA0E;IAC1E,uEAAuE;IACvE,YAAY,CAAC,CAAC,CAAC,cAAc,EAAE,4BAA4B,EAAE,GAAG,IAAI,iBAAiB,EAAE,MAAM,CAAC,CAAC;IAC/F,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF,MAAM,UAAU,4BAA4B,CAC1C,KAAc,EACd,IAAI,GAAG,wBAAwB;IAE/B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,iCAAiC,EAAE,MAAM,CAAC,CAAC;IACnF,IAAI,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,IAAI,2BAA2B,CAAC,CAAC;IACpF,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrB,mBAAmB,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,WAAW,CAAC,sBAAsB,CAAC,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBACtF,mBAAmB,CACjB,MAAM,EACN,GAAG,IAAI,WAAW,CAAC,WAAW,EAC9B,GAAG,IAAI,WAAW,CAAC,wCAAwC,CAC5D,CAAC;YACJ,CAAC;YACD,sEAAsE;YACtE,0EAA0E;YAC1E,mEAAmE;YACnE,wEAAwE;YACxE,wEAAwE;YACxE,8BAA8B;YAC9B,YAAY,CACV,KAAK,CAAC,cAAc,EACpB,4BAA4B,EAC5B,GAAG,IAAI,WAAW,CAAC,kBAAkB,EACrC,MAAM,CACP,CAAC;QACJ,CAAC;IACH,CAAC;IACD,YAAY,CACV,CAAC,CAAC,MAAM,EACR,+BAA+B,EAC/B,GAAG,IAAI,SAAS,EAChB,MAAM,CACP,CAAC;IACF,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,EAAE,MAAM,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iFAAiF;AAEjF;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAGrC;IACF,SAAS,EAAE,gBAAgB;IAC3B,cAAc,EAAE,qBAAqB;IACrC,oBAAoB,EAAE,2BAA2B;IACjD,gBAAgB,EAAE,uBAAuB;IACzC,0BAA0B,EAAE,gCAAgC;IAC5D,0BAA0B,EAAE,gCAAgC;IAC5D,0BAA0B,EAAE,gCAAgC;IAC5D,iBAAiB,EAAE,wBAAwB;IAC3C,sBAAsB,EAAE,4BAA4B;IACpD,mBAAmB,EAAE,yBAAyB;IAC9C,0BAA0B,EAAE,gCAAgC;IAC5D,cAAc,EAAE,sBAAsB;IACtC,YAAY,EAAE,mBAAmB;IACjC,kBAAkB,EAAE,yBAAyB;IAC7C,mBAAmB,EAAE,0BAA0B;CAChD,CAAC"}

package/dist/remediate/validation/contractPipelineGates.d.ts

@@ -1,272 +0,0 @@
-import { type ValidationIssue, type Finding } from "audit-tools/shared";
-import { type PairingVerdict } from "../contractPipeline/changeClassification.js";
-import type { ContractPipelineArtifactName } from "../contractPipeline/artifactStore.js";
-import { TESTABLE_OBLIGATION_KINDS } from "../contractPipeline/obligationKinds.js";
-/**
- * Deterministic structural gates run before the adversarial critic phase.
- * Returns applicability and issues — errors block the pipeline (re-emit design phase),
- * warnings are advisory (appended to the critic prompt). Circular obligation
- * dependency detection yields a warning (not an error): the critic is told to
- * break the cycle by re-drafting the interface definitions.
- *
- * Call this with the design_spec payload and, optionally, the obligation_ledger
- * payload for the invariant-coverage cross-check.
- */
-export declare function validateDesignSpecGates(designSpec: unknown, obligationLedger?: unknown): GateOutcome;
-/**
- * ARC-86b18f1b: validate that every contract-pipeline artifact that carries a
- * `goal_id` field contains the SAME value. A mismatch indicates that two
- * artifacts were produced for different goals and must not be used together.
- *
- * Pass in a map of artifact-name → payload. Payloads that are not records, or
- * that have no `goal_id` field, are silently skipped (the per-artifact
- * validators already flag missing goal_ids). Issues are errors.
- *
- * Comparison is on the CANONICAL form (`coerceGoalId`), not the literal string.
- * Two writers reach these artifacts by different routes — a host-authored
- * artifact arrives through ingestion carrying whatever the model typed
- * (`Goal-001`), while a TOOL-derived one has already been through the id
- * registry's grammar (`goal-001`) — so comparing literals reds on a spelling
- * difference that names no real disagreement. Worse, the red is not benign: the
- * caller archives the artifact and re-emits the phase, so a `Goal-001`/`goal-001`
- * pair would send a green pipeline back to re-author an artifact that was
- * already correct. Canonicalizing here makes the equality test mean "the same
- * goal", which is what the invariant has always said.
- *
- * A value the grammar cannot canonicalize at all (empty, a placeholder, prose)
- * is skipped exactly as an absent one is: it is not an identity, so it cannot
- * participate in an identity comparison. The per-artifact validators are the
- * surface that refuses it.
- */
-export declare function validateGoalIdConsistency(artifacts: Record<string, unknown>): ValidationIssue[];
-export declare function validateImplementationDAGIntegrity(dagPayload: unknown, obligationLedgerPayload: unknown, counterexamplePayload: unknown, judgeReportPayload: unknown, waivedCounterexampleIds?: ReadonlySet<string>): GateOutcome;
-/**
- * Testable obligation kinds — THE single source of truth for whether an
- * obligation needs a test-plan spec (derive.ts's buildTestValidatorPlanScaffold)
- * and whether the coverage gate below requires that spec to be filled
- * (validatePairedObligations). MNT-e10b9d9b: previously duplicated by hand as
- * TESTABLE_KINDS in derive.ts and TESTABLE_OBLIGATION_KINDS here, and the two
- * copies had already diverged — derive.ts failed OPEN on an unrecognized kind
- * (conservatively testable) while this file failed CLOSED (silently skipped,
- * i.e. treated as non-testable, so a scaffold-offered spec was never actually
- * required). The subset is now derived from the full vocabulary in
- * contractPipeline/obligationKinds.ts; this module owns only the fail-open
- * classification policy.
- */
-export { TESTABLE_OBLIGATION_KINDS };
-/**
- * testable (invariant/behavioral) → true; the structural contract-conformance
- * kind → false; an unrecognized/unexpected kind → true (fail-OPEN into the
- * paired-test gate rather than silently skipping coverage — matches
- * derive.ts's original scaffold semantics, which this predicate now also
- * governs on the coverage-gate side, closing the divergence).
- */
-export declare function isTestablePhaseObligation(kind: string): boolean;
-/**
- * OBL-CO-01 / DC-5 — paired-obligation gate (fail-closed, change-scoped).
- *
- * Every TESTABLE (invariant / behavioral) obligation must be covered by at least
- * one test_validator_plan spec. Whether that coverage must be a positive+negative
- * PAIR depends on the obligation's change-vs-addition classification (CE-013):
- *
- *  - A behavior CHANGE (it touches an existing symbol) requires BOTH a positive
- *    (satisfied-path) assertion AND a negative (failure-path) assertion, and the
- *    negative must be SCOPED to the changed symbol/file (CE-006): an unscoped,
- *    repo-wide negative does not count. A narrow positive-only test, or a negative
- *    that greps the whole tree, is the exact latent failure mode this gate stops.
- *  - A pure ADDITION has no prior behavior to regress, so it is NEVER forced to
- *    pair — coverage by any spec is sufficient.
- *  - An UNCLASSIFIED testable obligation is treated as a CHANGE (fail-closed): a
- *    dropped classification can never silently relax the requirement.
- *
- * The classification is recorded on the ledger by `deriveObligationLedger`
- * (deterministic first pass, LLM-confirmable). Pairing/scoping/polarity are all
- * evaluated through the single-source `changeClassification` helpers so this gate
- * and the `mergeImplementResults` verify gate agree exactly.
- *
- * An obligation may opt out only via an explicit, falsifiable `inapplicable_claim`
- * on a spec that cites that obligation id — bare omission is an error.
- *
- * Accepts `undefined` for a missing test_validator_plan: with testable
- * obligations present and no plan at all, every testable obligation is reported
- * uncovered (fail-closed).
- */
-export declare function validatePairedObligations(obligationLedgerPayload: unknown, testValidatorPlanPayload: unknown): GateOutcome;
-/** Re-exported PairingVerdict so importers of this gate module can type the result. */
-export type { PairingVerdict };
-export declare function validateEvidenceThreaded(assessmentReportPayload: unknown, judgeReportPayload: unknown, dagPayload: unknown, waivedCounterexampleIds?: ReadonlySet<string>): GateOutcome;
-/**
- * OBL-CO-04 — source_type-scoped digest-coverage gate (fail-closed for
- * enumerable sources).
- *
- * For a `structured_audit` (enumerable) intake every enumerated finding must map
- * to at least one obligation in the ledger, so no auditor finding silently
- * vanishes between intake and the contract. For `conversation` / `document`
- * sources — or any finding-enumeration explicitly marked `is_enumerable:false`
- * — the gate passes vacuously, because there is no closed finding set to cover.
- *
- * The mapping is established by finding-id appearing in any obligation's
- * `source_finding_ids` (preferred) OR being referenced by id within an
- * obligation's `description` (word-boundary match, fallback).
- *
- * `sourceType` comes from goal_spec.source_type. `findingEnumerationPayload` is
- * the intake finding-enumeration.json ({ is_enumerable, findings:[{id}] }).
- */
-export declare function validateDigestCoverage(sourceType: string | undefined, findingEnumerationPayload: unknown, obligationLedgerPayload: unknown): GateOutcome;
-/**
- * Path-A work-topology gate. Every dangerous audit overlap must have exactly one
- * distinct seam-preparation module, and both participating implementation blocks
- * must remain represented by implementation modules. This turns the auditor's
- * overlap metadata into a mechanically enforced decomposition boundary instead
- * of prompt-only advice.
- */
-export declare function validateWorkBlockSeamPreparation(pathASeedPayload: unknown, moduleDecompositionPayload: unknown): ValidationIssue[];
-/**
- * OBL-CO-12 / INV-CO-12 — reconciliation-derivation gate (fail-closed).
- *
- * Every mismatch reconciled in the seam_reconciliation_report must be DERIVED
- * into the finalized_module_contracts: the report's `agreed_interface` for each
- * mismatch must be reflected in the finalized contracts (matched against the
- * union of every finalized module's inputs/outputs/invariants/side_effects text).
- * A reconciliation decision that never reaches the finalized contract is a
- * dropped derivation — the exact failure INV-CO-12 forbids.
- *
- * Fail-closed: if the report declares mismatches but the finalized contracts
- * artifact is absent, every mismatch is reported as underived.
- */
-export declare function validateReconciliationDerivation(seamReconciliationReportPayload: unknown, finalizedModuleContractsPayload: unknown): GateOutcome;
-/** A finding-shaped citation the gate grounds. Reuses the shared Finding shape. */
-export interface ContractCitationGroundingResult {
-    /** True when the repo tree could be enumerated (≥1 path). */
-    treeReadable: boolean;
-    /** ValidationIssue[] — errors block promotion / re-emit the producing phase. */
-    issues: ValidationIssue[];
-}
-/**
- * Enumerate the working-tree paths at `repoRoot`, normalized through the shared
- * `normalizeRepoPath` for membership matching. This is the lowercased *draw* over
- * the one shared corpus — `enumerateTrackedFilePaths` owns the git invocation and
- * its NUL-delimited parsing, so the two corpora cannot drift on how a path is
- * read off the index (they did: both split newline-terminated `ls-files` output,
- * so a C-quoted non-ASCII path corrupted both). Returns an empty set when git is
- * unavailable or the tree is empty (caller treats empty as the fail-closed
- * unreadable-tree signal).
- */
-export declare function enumerateRepoTreePaths(repoRoot: string): Promise<Set<string>>;
-/**
- * The pure lowercased draw over an already-enumerated tracked corpus. Split
- * from {@link enumerateRepoTreePaths} so a gate that needs BOTH corpora (the
- * lowered membership set and the case-preserving one) enumerates git ONCE and
- * derives the draw locally instead of spawning a second child.
- */
-export declare function repoTreePathsDraw(tracked: ReadonlySet<string>): Set<string>;
-/**
- * Whether `repoRoot` is inside a VALID git working tree, via
- * `git rev-parse --is-inside-work-tree`. This distinguishes the two reasons
- * `enumerateRepoTreePaths` can return empty: (a) git missing / not a repo →
- * `false` (genuinely unreadable — fail-closed); (b) a valid git work tree that
- * simply has zero tracked files yet (a fresh/never-committed repo) → `true`
- * (the citations may be sound; degrade to pass-with-warning, never hard-block).
- * NEVER throws — any failure is treated as not-a-tree. ASYNC (INV-SSF): runs
- * under the remediation phase lock, so the child must not block the loop.
- */
-export declare function isInsideGitWorkTree(repoRoot: string): Promise<boolean>;
-/**
- * M-B3 — source-grounded citation gate (fail-closed only on an unreadable tree).
- *
- * For each finding:
- *   1. If it cites at least one real `affected_files` path → grounded (delegates
- *      to the shared `groundDesignFinding` against the repo-tree path set — no
- *      re-implementation).
- *   2. Otherwise, partition the citation tokens (affected_files paths that did
- *      not resolve + symbol tokens from the description) into path-shaped vs
- *      symbol-shaped. A path-shaped token grounds against the known-path set; a
- *      symbol-shaped token grounds against the symbol corpus. If ANY token
- *      grounds, the finding passes. If NONE grounds — including a finding that
- *      cites only non-existent symbols — it is rejected (error).
- *
- * `findings` is the array of finding-shaped citations to ground (each carries
- * `affected_files` and an optional `description`). `repoRoot` is the working-tree
- * root enumerated by `git ls-files`.
- */
-export declare function validateContractCitationGrounding(findings: readonly Finding[], repoRoot: string): Promise<ContractCitationGroundingResult>;
-/**
- * INV-CVG-4 (B5) — reject a module whose `file_scope` points ONLY at thin
- * re-export shims rather than the file where its named responsibility logic
- * lives. `moduleDecompositionPayload` is the (envelope-unwrapped) module_decomposition
- * payload; `repoRoot` is the working-tree root enumerated via `git ls-files`.
- *
- * Behaviour:
- *   - A scoped path that does not resolve to any tracked file is SKIPPED here (the
- *     M-B3 citation gate owns path-existence; this gate only judges resolved files).
- *   - A module is flagged only when it resolves ≥1 scoped path and EVERY resolved
- *     path is a re-export shim (no real-logic file among them).
- *   - Fail-closed only on an unreadable git tree (git missing / not a repo → error);
- *     a valid-but-empty tree degrades to a warning (never hard-block a fresh repo).
- */
-export declare function validateDecompositionFileScope(moduleDecompositionPayload: unknown, repoRoot: string): Promise<GateOutcome>;
-/**
- * INV-CO-13 — `finalized_module_contracts` must carry EXACTLY the module names
- * its drafted `module_contracts` input carries. Finalization is a mechanical
- * merge (`deriveFinalizedModuleContracts` maps the drafts 1:1), and the
- * contract_finalization role text says "for every module contract in
- * module_contracts", so this is a POST-CONDITION on a guarantee the pipeline
- * already states — not a new authoring requirement on any host.
- *
- * It exists because the derive is not the only writer: a judge repair or a
- * critique repair re-emits `contract_finalization` as an LLM step, and that
- * rewrite re-enters through ingestion, whose validator for this artifact
- * (`validateFinalizedModuleContracts`) is shape-only and structurally cannot see
- * the drafts. An LLM rewrite that merges two modules under an invented name and
- * drops a third is therefore shape-valid, and every downstream consumer — the
- * phase cut, the derived obligation ids, and the DAG write-scope prefix join —
- * is then built on a module set that has already silently lost a module. That is
- * not hypothetical: it collapsed 7 modules to 4 in the
- * dispatch-effectiveness-observability run and stranded two DAG nodes with an
- * empty write scope (docs/reviews/observability-dag-scope-join-2026-08-09.md).
- *
- * Ground truth is unambiguous and no host discretion is involved, so this is an
- * exact comparison rather than any form of tolerant matching: a renamed module is
- * reported as BOTH a drop and an invention, which is exactly what it is. It checks
- * multiplicity as well as membership — a repeated name is set-equal to the drafts
- * but still loses content, since consumers keep the first entry per name.
- *
- * Absent-tolerant on both sides (a run that has not reached finalization yet, or
- * a partial single-artifact self-check, must never fabricate an issue).
- */
-export declare function validateFinalizedModuleSetPreserved(draftedModuleContracts: unknown, finalizedModuleContracts: unknown): GateOutcome;
-/** A gate owns both applicability and diagnostics; skipped is not a clean pass. */
-export interface GateOutcome {
-    /** Stable identity, in evaluateContractPipelineCrossGateOutcomes's fixed canonical order. */
-    gate: "paired_obligations" | "evidence_threaded" | "digest_coverage" | "reconciliation_derivation" | "design_spec" | "implementation_dag_integrity" | "decomposition_file_scope" | "finalized_module_set_preserved";
-    evaluated: boolean;
-    issues: ValidationIssue[];
-    /** Present only when `evaluated` is false. */
-    reason?: string;
-}
-/** Input to {@link evaluateContractPipelineCrossGateOutcomes}. */
-export interface ContractPipelineCrossGateInputs {
-    /** Every contract-pipeline artifact payload currently known, by name. An
-     *  absent entry means "this artifact is not available" — every gate below
-     *  tolerates that (see the absent-tolerance note on the function itself). */
-    payloads: ReadonlyMap<ContractPipelineArtifactName, unknown>;
-    /** The intake finding-enumeration payload (already read from disk), or
-     *  undefined when absent/not applicable. Passed through to
-     *  validateDigestCoverage verbatim. */
-    findingEnumeration?: unknown;
-    /** Working-tree root, used by validateDecompositionFileScope's git-tree
-     *  enumeration. */
-    root: string;
-    /** Judge-accepted counterexample ids covered by a recorded owner waiver
-     *  (open-bugs.md:108). The DAG coverage and evidence-threading gates exclude
-     *  them: a waived counterexample is resolved by decision, so demanding a DAG
-     *  node for it would recreate the judge-gate wedge one gate later. Absent =
-     *  no waivers. Computed by the caller from the repair-state ledger
-     *  (contractPipeline/repairState.ts → waivedJudgeAcceptedIds). */
-    waivedCounterexampleIds?: ReadonlySet<string>;
-}
-/** Wire the eight cross-artifact gates in canonical order. Each gate owns its
- * absent-input tolerance and evaluated/skipped result. Callers needing only
- * diagnostics flatten outcome.issues; no runner-level applicability check. */
-export declare function evaluateContractPipelineCrossGateOutcomes(inputs: ContractPipelineCrossGateInputs): Promise<GateOutcome[]>;
-//# sourceMappingURL=contractPipelineGates.d.ts.map

package/dist/remediate/validation/contractPipelineGates.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contractPipelineGates.d.ts","sourceRoot":"","sources":["../../../src/remediate/validation/contractPipelineGates.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,OAAO,EAab,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,6CAA6C,CAAC;AACrD,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AACzF,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AAKnF;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,OAAO,EACnB,gBAAgB,CAAC,EAAE,OAAO,GACzB,WAAW,CA0Mb;AAGD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,eAAe,EAAE,CA8BnB;AAqKD,wBAAgB,kCAAkC,CAChD,UAAU,EAAE,OAAO,EACnB,uBAAuB,EAAE,OAAO,EAChC,qBAAqB,EAAE,OAAO,EAC9B,kBAAkB,EAAE,OAAO,EAC3B,uBAAuB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC5C,WAAW,CA+Bb;AAsBD;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,yBAAyB,EAAE,CAAC;AAErC;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAI/D;AAGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,yBAAyB,CACvC,uBAAuB,EAAE,OAAO,EAChC,wBAAwB,EAAE,OAAO,GAChC,WAAW,CAuGb;AAED,uFAAuF;AACvF,YAAY,EAAE,cAAc,EAAE,CAAC;AA8G/B,wBAAgB,wBAAwB,CACtC,uBAAuB,EAAE,OAAO,EAChC,kBAAkB,EAAE,OAAO,EAC3B,UAAU,EAAE,OAAO,EACnB,uBAAuB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC5C,WAAW,CAeb;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,yBAAyB,EAAE,OAAO,EAClC,uBAAuB,EAAE,OAAO,GAC/B,WAAW,CAuDb;AAED;;;;;;GAMG;AACH,wBAAgB,gCAAgC,CAC9C,gBAAgB,EAAE,OAAO,EACzB,0BAA0B,EAAE,OAAO,GAClC,eAAe,EAAE,CAsInB;AA8CD;;;;;;;;;;;;GAYG;AACH,wBAAgB,gCAAgC,CAC9C,+BAA+B,EAAE,OAAO,EACxC,+BAA+B,EAAE,OAAO,GACvC,WAAW,CA4Eb;AA6ED,mFAAmF;AACnF,MAAM,WAAW,+BAA+B;IAC9C,6DAA6D;IAC7D,YAAY,EAAE,OAAO,CAAC;IACtB,gFAAgF;IAChF,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,wBAAsB,sBAAsB,CAC1C,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAEtB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,GAAG,CAAC,MAAM,CAAC,CAOb;AAED;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAY5E;AA8DD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,iCAAiC,CACrD,QAAQ,EAAE,SAAS,OAAO,EAAE,EAC5B,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,+BAA+B,CAAC,CAiF1C;AA2ED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,8BAA8B,CAClD,0BAA0B,EAAE,OAAO,EACnC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,WAAW,CAAC,CAwFtB;AAiBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,mCAAmC,CACjD,sBAAsB,EAAE,OAAO,EAC/B,wBAAwB,EAAE,OAAO,GAChC,WAAW,CA+Cb;AAED,mFAAmF;AACnF,MAAM,WAAW,WAAW;IAC1B,6FAA6F;IAC7F,IAAI,EACA,oBAAoB,GACpB,mBAAmB,GACnB,iBAAiB,GACjB,2BAA2B,GAC3B,aAAa,GACb,8BAA8B,GAC9B,0BAA0B,GAC1B,gCAAgC,CAAC;IACrC,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,8CAA8C;IAC9C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAsBD,kEAAkE;AAClE,MAAM,WAAW,+BAA+B;IAC9C;;iFAE6E;IAC7E,QAAQ,EAAE,WAAW,CAAC,4BAA4B,EAAE,OAAO,CAAC,CAAC;IAC7D;;2CAEuC;IACvC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;uBACmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb;;;;;sEAKkE;IAClE,uBAAuB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED;;8EAE8E;AAC9E,wBAAsB,yCAAyC,CAC7D,MAAM,EAAE,+BAA+B,GACtC,OAAO,CAAC,WAAW,EAAE,CAAC,CA+BxB"}