@mirnoorata/codexa 0.5.1 → 0.7.0

package/dist/policy-pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy-pack.js","sourceRoot":"","sources":["../src/policy-pack.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEvF,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AACjD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,UAAU,CAAU,CAAC;AAqChF,MAAM,gBAAgB,GAAG,EAAE,GAAG,IAAI,CAAC;AACnC,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,YAAY,GAAG,EAAE,CAAC;AACxB,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,eAAe,GAAG,GAAG,CAAC;AAC5B,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,MAAM,mBAAmB,GAA2C;IAClE,YAAY,EAAE;QACZ,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,6EAA6E;QACtF,KAAK,EAAE;YACL,qDAAqD;YACrD,8EAA8E;YAC9E,wGAAwG;YACxG,oEAAoE;SACrE;QACD,gBAAgB,EAAE,CAAC,2EAA2E,CAAC;QAC/F,gBAAgB,EAAE,CAAC,gCAAgC,EAAE,2CAA2C,CAAC;QACjG,MAAM,EAAE;YACN,mBAAmB,EAAE,oDAAoD;SAC1E;KACF;IACD,UAAU,EAAE;QACV,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,kEAAkE;QAC3E,KAAK,EAAE;YACL,wDAAwD;YACxD,8GAA8G;YAC9G,6DAA6D;YAC7D,oDAAoD;SACrD;QACD,gBAAgB,EAAE,CAAC,2CAA2C,EAAE,oCAAoC,CAAC;QACrG,MAAM,EAAE;YACN,wBAAwB,EAAE,CAAC;YAC3B,0BAA0B,EAAE,CAAC;SAC9B;KACF;IACD,QAAQ,EAAE;QACR,aAAa,EAAE,CAAC;QAChB,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,+DAA+D;QACxE,KAAK,EAAE;YACL,uFAAuF;YACvF,mGAAmG;YACnG,2EAA2E;YAC3E,+CAA+C;SAChD;QACD,gBAAgB,EAAE,CAAC,iBAAiB,EAAE,kCAAkC,CAAC;QACzE,MAAM,EAAE;YACN,gBAAgB,EAAE,eAAe;SAClC;KACF;CACF,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,QAAgB,EAAE,UAA+B,EAAE;IAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACnD,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,GAAG,YAAY,0DAA0D,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,eAAe,CAAC,MAAM,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,QAAgB;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,CAAC;IACjF,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;QACrE,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,GAAG,YAAY,0DAA0D,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,QAAgB;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QAClE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO;QACL,SAAS,EAAE,eAAe;QAC1B,QAAQ;QACR,OAAO;QACP,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,OAAO,GAAG,eAAe,IAAI,IAAI,OAAO,CAAC;AAC3C,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,QAAgB,EAChB,YAAoB,EACpB,YAAwB;IAExB,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,wBAAwB,EAAE,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACnB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,iCAAiC,EAAE,CAAC;QAC1F,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,GAAG,gBAAgB,EAAE,CAAC;QAC5B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,YAAY,gBAAgB,iBAAiB,EAAE,CAAC;IACtG,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,uBAAuB,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;IACnE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,YAAY,kDAAkD,EAAE,CAAC;IAC3G,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,YAAoB,EAAE,YAAwB;IACrF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,KAAoC,CAAC;IACpD,IAAI,MAAM,CAAC,aAAa,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACrI,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC;QACrC,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,eAAe,CAAC;QAC7D,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,EAAE,YAAY,EAAE,kBAAkB,CAAC;QAC/F,gBAAgB,EAAE,YAAY,CAAC,MAAM,CAAC,gBAAgB,IAAI,EAAE,EAAE,YAAY,EAAE,kBAAkB,CAAC;QAC/F,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAiB,EAAE,KAAa,EAAE,SAAiB;IACvE,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;SAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;SAC9C,MAAM,CAAC,OAAO,CAAC;SACf,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7D,MAAM,CAAC,CAAC,KAAK,EAAgD,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;SAC1H,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;SACpB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,OAAO,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAU,CAAC;SACpI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,SAAS,GAAG,eAAe;IAC9D,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7F,OAAO,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9F,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAc;IAC7D,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IAC/D,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACnG,MAAM,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,QAAgB;IAC/C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;IACtD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAChF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,QAAgB;IACxC,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YAChF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,QAAgB,EAAE,KAAa;IACpE,IAAI,CAAC,CAAC,MAAM,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAClC,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,8CAA8C,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+DAA+D,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,+BAA+B,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,KAAK,UAAU,+BAA+B,CAAC,QAAgB,EAAE,KAAa;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,8BAA8B,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxI,IAAI,CAAC;QACH,MAAM,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oDAAoD,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,QAAgB;IACrD,IAAI,IAAsC,CAAC;IAC3C,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,iEAAiE,QAAQ,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,4CAA4C,QAAQ,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC;AACnD,CAAC"}

package/dist/prove.d.ts

@@ -0,0 +1,78 @@
+import { type PolicyPackSummary } from "./policy-pack.js";
+import type { ChangeType, QueryOptions, QueryResult, TestRecommendation, VerificationCommandEnvelope, VerificationCommandReport, VerificationCommandPlanEntry, VerificationCoverage, VerificationLedgerEntry, VerificationProvenance, VerificationWaiver } from "./types.js";
+export interface ProveOptions extends QueryOptions {
+    task?: string;
+    diff?: boolean;
+    changeType?: ChangeType;
+    files?: string[];
+    tokenBudget?: number;
+    taskId?: string;
+    ranTests?: string[];
+    ranCommands?: string[];
+    ranCommandReports?: VerificationCommandReport[];
+    waivedChecks?: string[];
+    waivers?: VerificationWaiver[];
+}
+export interface ProveReportedVerification {
+    hasEvidence: boolean;
+    ranTests: string[];
+    ranCommands: string[];
+    ranCommandReports: VerificationCommandReport[];
+    waivedChecks: string[];
+    waivers: VerificationWaiver[];
+    coverage: VerificationCoverage[];
+    commandEnvelopes: VerificationCommandEnvelope[];
+    commandPlan: VerificationCommandPlanEntry[];
+    ledger: VerificationLedgerEntry[];
+    waivedVerification: VerificationLedgerEntry[];
+    testsNotRun: TestRecommendation[];
+    verificationProvenance: VerificationProvenance;
+}
+export interface ProveData {
+    mode: "proof_card";
+    actionability: string;
+    task: string;
+    repoRoot: string;
+    verificationProvenance: VerificationProvenance;
+    freshness: {
+        stale: boolean;
+        reason: string;
+        indexedAt: string;
+        headCommit: string | null;
+        dirtyFileCount: number;
+        parserErrorCount: number;
+    };
+    worktree: {
+        knownClean?: boolean;
+        degraded?: boolean;
+        dirtyFileCount?: number;
+        changedFiles: string[];
+        degradedReasons: string[];
+    };
+    readFirst: Array<{
+        path: string;
+        riskScore?: number;
+        rank?: number;
+    }>;
+    snapshot: {
+        status: "loaded" | "missing" | "blocked";
+        taskId?: string;
+        origin?: string;
+        createdAt?: string;
+        plannedEditTargets: string[];
+        plannedTests: string[];
+        reason?: string;
+    };
+    verification: {
+        recommendedCommands: string[];
+        commandPlan: VerificationCommandPlanEntry[];
+        ledgerPreview: VerificationLedgerEntry[];
+        tests: TestRecommendation[];
+        reported: ProveReportedVerification;
+    };
+    policies: PolicyPackSummary;
+    gaps: string[];
+    trustPosture: string[];
+    nextCommands: string[];
+}
+export declare function proveQuery(repoRoot: string, options?: ProveOptions): Promise<QueryResult>;

package/dist/prove.js

@@ -0,0 +1,395 @@
+import path from "node:path";
+import { focusBriefQuery, testPlanQuery } from "./queries.js";
+import { loadPolicyPack } from "./policy-pack.js";
+import { loadTaskSnapshot } from "./task-snapshots.js";
+import { freshnessBanner } from "./query/runtime.js";
+import { createQuerySession } from "./query/session.js";
+import { evaluateRequiredChecks } from "./query/required-checks.js";
+import { formatVerificationCoverage, formatVerificationLedger, verificationCommandPlan, verificationEvidenceForCommandReports, verificationLedgerForPostEdit } from "./query/verification.js";
+import { sanitizeCommandEnvelopeForDisplay, sanitizeCommandReportForDisplay, sanitizeCommandText, sanitizeCoverageForDisplay, sanitizeLedgerForDisplay } from "./query/verification-display.js";
+import { CURRENT_VERIFICATION_PROVENANCE as VERIFICATION_PROVENANCE } from "./types.js";
+import { limitText, uniqueSorted } from "./util.js";
+export async function proveQuery(repoRoot, options = {}) {
+    const repo = path.resolve(repoRoot);
+    const task = options.task?.trim() || "Codexa proof card";
+    const diff = options.diff ?? true;
+    const session = await createQuerySession(repo, options);
+    const [focus, testPlan, snapshotLoad, policies] = await Promise.all([
+        focusBriefQuery(session, { task, diff, tokenBudget: Math.min(options.tokenBudget ?? 1800, 3000), limit: 8 }, options),
+        testPlanQuery(session, diff, { ...options, files: options.files, changeType: options.changeType ?? "unknown" }),
+        loadTaskSnapshot(repo, options.taskId),
+        loadPolicyPack(repo)
+    ]);
+    const focusData = asRecord(focus.data);
+    const testData = asRecord(testPlan.data);
+    const actionability = typeof testData.actionability === "string" ? testData.actionability : "verify";
+    const changedFiles = stringArray(testData.changedFiles);
+    const worktree = worktreeFromData(focusData.worktree, changedFiles, stringArray(focusData.worktreeDegradationReasons));
+    const snapshot = snapshotSummary(snapshotLoad.snapshot, {
+        taskId: snapshotLoad.latestTaskId,
+        reason: snapshotLoad.error ?? snapshotLoad.missingReason ?? snapshotLoad.blockedSnapshot?.reason,
+        blocked: Boolean(snapshotLoad.blockedSnapshot)
+    });
+    const readFirst = readFirstFromFocus(focusData.focusFiles);
+    const recommendedCommands = stringArray(testData.verificationCommands);
+    const commandPlan = verificationCommandPlanFromData(testData.verificationCommandPlan);
+    const ledgerPreview = verificationLedgerFromData(testData.verificationLedgerPreview);
+    const tests = testRecommendationsFromData(testData.tests);
+    const reported = reportedVerificationData({
+        repoRoot: repo,
+        index: session.index,
+        snapshot: snapshotLoad.snapshot,
+        tests,
+        ranTests: options.ranTests ?? [],
+        ranCommands: options.ranCommands ?? [],
+        ranCommandReports: options.ranCommandReports ?? [],
+        waivedChecks: options.waivedChecks ?? [],
+        waivers: options.waivers ?? []
+    });
+    const gaps = proofGaps({
+        freshness: session.freshness,
+        worktree,
+        snapshot,
+        policies,
+        reported,
+        testPlanActionability: actionability,
+        focusGaps: stringArray(focusData.gaps),
+        testGaps: stringArray(testData.gaps)
+    });
+    const data = {
+        mode: "proof_card",
+        actionability,
+        task,
+        repoRoot: repo,
+        verificationProvenance: VERIFICATION_PROVENANCE,
+        freshness: freshnessData(session.freshness),
+        worktree,
+        readFirst,
+        snapshot,
+        verification: {
+            recommendedCommands,
+            commandPlan,
+            ledgerPreview,
+            tests,
+            reported
+        },
+        policies,
+        gaps,
+        trustPosture: trustPosture(),
+        nextCommands: nextCommands(repo, task, snapshot.status)
+    };
+    return {
+        freshness: session.freshness,
+        refresh: session.refresh,
+        text: renderProofCard(data, session.freshness, session.refresh),
+        data
+    };
+}
+function renderProofCard(data, freshness, refresh) {
+    const worktreeLine = data.worktree.degraded
+        ? `unknown (${data.worktree.degradedReasons.join("; ")})`
+        : data.worktree.knownClean
+            ? "clean"
+            : `${data.worktree.dirtyFileCount ?? data.worktree.changedFiles.length} changed file(s)`;
+    const lines = [
+        freshnessBanner(freshness, refresh),
+        "Codexa proof card",
+        `Task: ${data.task}`,
+        `Repo: ${data.repoRoot}`,
+        `Worktree: ${worktreeLine}`,
+        `Snapshot: ${formatSnapshot(data.snapshot)}`,
+        "",
+        "Read first:",
+        ...formatReadFirst(data.readFirst),
+        "",
+        "Verification preview (not proof until reported):",
+        ...formatCommands(data.verification.recommendedCommands),
+        "",
+        "Verification ledger preview:",
+        ...formatVerificationLedger(data.verification.ledgerPreview),
+        "",
+        "Reported verification evidence:",
+        ...formatReportedEvidence(data.verification.reported),
+        "",
+        "Reported verification coverage:",
+        ...formatVerificationCoverage(data.verification.reported.coverage),
+        "",
+        "Reported verification ledger:",
+        ...formatReportedLedger(data.verification.reported),
+        "",
+        "Local policies:",
+        ...formatPolicies(data.policies),
+        "",
+        "Trust posture:",
+        ...data.trustPosture.map((line) => `- ${line}`),
+        "",
+        "Remaining proof gaps:",
+        ...formatGaps(data.gaps),
+        "",
+        "Next commands:",
+        ...data.nextCommands.map((command) => `- ${command}`)
+    ];
+    return limitText(lines.join("\n"), 8000);
+}
+function freshnessData(freshness) {
+    return {
+        stale: freshness.stale,
+        reason: freshness.reason,
+        indexedAt: freshness.indexedAt,
+        headCommit: freshness.headCommit,
+        dirtyFileCount: freshness.dirtyFiles.length,
+        parserErrorCount: freshness.parserErrorCount
+    };
+}
+function readFirstFromFocus(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value
+        .map((entry) => {
+        const record = entry;
+        return typeof record.path === "string"
+            ? {
+                path: record.path,
+                riskScore: typeof record.riskScore === "number" ? record.riskScore : undefined,
+                rank: typeof record.rank === "number" ? record.rank : undefined
+            }
+            : undefined;
+    })
+        .filter((entry) => Boolean(entry))
+        .slice(0, 8);
+}
+function snapshotSummary(snapshot, fallback) {
+    if (snapshot) {
+        return {
+            status: "loaded",
+            taskId: snapshot.taskId,
+            origin: snapshot.origin,
+            createdAt: snapshot.createdAt,
+            plannedEditTargets: snapshot.plannedEditTargets.slice(0, 20),
+            plannedTests: snapshot.plannedTests.map((test) => test.path).slice(0, 20)
+        };
+    }
+    return {
+        status: fallback.blocked ? "blocked" : "missing",
+        taskId: fallback.taskId,
+        plannedEditTargets: [],
+        plannedTests: [],
+        reason: fallback.reason
+    };
+}
+function worktreeFromData(value, changedFiles, fallbackDegradedReasons) {
+    const record = asRecord(value);
+    const degradedReasons = stringArray(record.degradedReasons).length > 0 ? stringArray(record.degradedReasons) : fallbackDegradedReasons;
+    return {
+        knownClean: typeof record.knownClean === "boolean" ? record.knownClean : changedFiles.length === 0 && degradedReasons.length === 0,
+        degraded: typeof record.degraded === "boolean" ? record.degraded : degradedReasons.length > 0,
+        dirtyFileCount: typeof record.dirtyFileCount === "number" ? record.dirtyFileCount : changedFiles.length,
+        changedFiles: changedFiles.slice(0, 120),
+        degradedReasons
+    };
+}
+function reportedVerificationData(input) {
+    const hasEvidence = input.ranTests.length > 0 || input.ranCommands.length > 0 || input.ranCommandReports.length > 0 || input.waivedChecks.length > 0 || input.waivers.length > 0;
+    const checkCoverage = verificationEvidenceForCommandReports(input.index, input.ranCommands, input.ranCommandReports, input.repoRoot).coverage;
+    const checkContext = {
+        editPaths: input.snapshot?.plannedEditTargets ?? [],
+        reviewTargets: input.snapshot?.plannedFiles ?? input.snapshot?.plannedEditTargets ?? [],
+        selectedFiles: [],
+        workflows: [],
+        affectedEdges: [],
+        affectedTests: [],
+        tests: input.tests,
+        ranTests: input.ranTests,
+        verificationCoverage: checkCoverage
+    };
+    const workflowChecks = evaluateRequiredChecks(input.snapshot?.requiredWorkflowChecks ?? [], checkContext);
+    const dependencyChecks = evaluateRequiredChecks(input.snapshot?.requiredDependencyChecks ?? [], checkContext);
+    const verification = verificationLedgerForPostEdit({
+        index: input.index,
+        tests: input.tests,
+        ranTests: input.ranTests,
+        ranCommands: input.ranCommands,
+        ranCommandReports: input.ranCommandReports,
+        waivedChecks: input.waivedChecks,
+        waivers: input.waivers,
+        repoRoot: input.repoRoot,
+        workflowChecks,
+        dependencyChecks
+    });
+    const coverage = verification.coverage.map((entry) => sanitizeCoverageForDisplay(entry, input.repoRoot));
+    const ledger = verification.ledger.map((entry) => sanitizeLedgerForDisplay(entry, input.repoRoot));
+    return {
+        hasEvidence,
+        ranTests: input.ranTests.map((test) => sanitizeCommandText(test, input.repoRoot)),
+        ranCommands: input.ranCommands.map((command) => sanitizeCommandText(command, input.repoRoot)),
+        ranCommandReports: input.ranCommandReports.map((report) => sanitizeCommandReportForDisplay(report, input.repoRoot)),
+        waivedChecks: input.waivedChecks.map((check) => sanitizeCommandText(check, input.repoRoot)),
+        waivers: input.waivers.map((waiver) => ({
+            kind: waiver.kind,
+            target: sanitizeCommandText(waiver.target, input.repoRoot),
+            reason: sanitizeCommandText(waiver.reason, input.repoRoot)
+        })),
+        coverage,
+        commandEnvelopes: verification.commandEnvelopes.map((envelope) => sanitizeCommandEnvelopeForDisplay(envelope, input.repoRoot)),
+        commandPlan: verificationCommandPlan(coverage),
+        ledger,
+        waivedVerification: ledger.filter((entry) => entry.status === "waived"),
+        testsNotRun: verification.testsNotRun,
+        verificationProvenance: VERIFICATION_PROVENANCE
+    };
+}
+function verificationCommandPlanFromData(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value.filter(isVerificationCommandPlanEntry).slice(0, 30);
+}
+function verificationLedgerFromData(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value.filter(isVerificationLedgerEntry).slice(0, 30);
+}
+function testRecommendationsFromData(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value.filter(isTestRecommendation).slice(0, 30);
+}
+function isVerificationCommandPlanEntry(value) {
+    const record = asRecord(value);
+    return (typeof record.command === "string" &&
+        Array.isArray(record.covers) &&
+        Array.isArray(record.targetPaths) &&
+        Array.isArray(record.scopes) &&
+        Array.isArray(record.sources) &&
+        ["authoritative", "derived", "heuristic"].includes(String(record.confidence)));
+}
+function isVerificationLedgerEntry(value) {
+    const record = asRecord(value);
+    return (typeof record.kind === "string" &&
+        typeof record.recommended === "string" &&
+        typeof record.target === "string" &&
+        typeof record.status === "string" &&
+        Array.isArray(record.evidence) &&
+        Array.isArray(record.coverageKinds));
+}
+function isTestRecommendation(value) {
+    const record = asRecord(value);
+    return typeof record.path === "string" && typeof record.reason === "string" && typeof record.rank === "number";
+}
+function proofGaps(input) {
+    return uniqueSorted([
+        ...(input.freshness.stale ? [`index stale: ${input.freshness.reason}`] : []),
+        ...(input.worktree.degraded ? input.worktree.degradedReasons.map((reason) => `worktree state unavailable: ${reason}`) : []),
+        ...(input.snapshot.status === "missing" ? [`no saved change-plan snapshot${input.snapshot.reason ? `: ${input.snapshot.reason}` : ""}`] : []),
+        ...(input.snapshot.status === "blocked" ? [`latest change-plan snapshot blocked${input.snapshot.reason ? `: ${input.snapshot.reason}` : ""}`] : []),
+        ...(input.policies.missing.length > 0 ? [`policy pack missing: ${input.policies.missing.join(", ")}`] : []),
+        ...(input.testPlanActionability === "needs_target" ? ["test plan needs target files or a dirty diff"] : []),
+        ...(input.reported.hasEvidence && input.reported.coverage.length === 0 && (input.reported.ranCommands.length > 0 || input.reported.ranCommandReports.length > 0)
+            ? ["reported commands earned no classifier-backed verification coverage"]
+            : []),
+        ...(input.reported.hasEvidence ? input.reported.testsNotRun.map((test) => `reported verification missing: ${test.path}`) : []),
+        ...input.reported.ledger
+            .filter((entry) => entry.status === "missing" && entry.kind !== "test")
+            .map((entry) => `reported verification missing: ${entry.kind} ${entry.target}`),
+        ...input.policies.warnings,
+        ...input.focusGaps,
+        ...input.testGaps
+    ]);
+}
+function trustPosture() {
+    return [
+        "core proof paths are local and model-free; optional semantic lanes remain explicit opt-ins",
+        "Codexa MCP tools are context and review tools, not source-mutating edit tools",
+        "reported commands earn verification credit only through the shared command classifier",
+        "repository policy text is bounded local evidence, not executable code"
+    ];
+}
+function nextCommands(repo, task, snapshotStatus) {
+    const quotedTask = shellQuote(task);
+    return [
+        snapshotStatus === "loaded"
+            ? `codexa post-edit-review ${shellQuote(repo)} --task ${quotedTask} --ran-command "<command-you-ran>"`
+            : `codexa change-plan ${shellQuote(repo)} --task ${quotedTask} --save-snapshot`,
+        `codexa test-plan ${shellQuote(repo)} --diff`,
+        `codexa prove ${shellQuote(repo)} --task ${quotedTask} --diff`
+    ];
+}
+function formatSnapshot(snapshot) {
+    if (snapshot.status === "loaded") {
+        const origin = snapshot.origin ? `; ${snapshot.origin}` : "";
+        const created = snapshot.createdAt ? `; ${snapshot.createdAt}` : "";
+        return `loaded ${snapshot.taskId ?? "latest"}${origin}${created}`;
+    }
+    return `${snapshot.status}${snapshot.reason ? ` (${snapshot.reason})` : ""}`;
+}
+function formatReadFirst(files) {
+    if (files.length === 0) {
+        return ["- none selected"];
+    }
+    return files.map((file) => {
+        const rank = file.rank === undefined ? "" : `; rank ${file.rank.toFixed(2)}`;
+        const risk = file.riskScore === undefined ? "" : `; risk ${file.riskScore.toFixed(1)}`;
+        return `- ${file.path}${rank}${risk}`;
+    });
+}
+function formatCommands(commands) {
+    if (commands.length === 0) {
+        return ["- none inferred; run codexa test-plan after choosing an edit target"];
+    }
+    return commands.slice(0, 12).map((command) => `- ${command}`);
+}
+function formatReportedEvidence(reported) {
+    if (!reported.hasEvidence) {
+        return ["- none supplied; pass --ran-command, --ran-test, --ran-command-report, --waive-check, or --waiver after verification runs"];
+    }
+    const lines = [
+        ...reported.ranTests.slice(0, 12).map((test) => `- ran test: ${test}`),
+        ...reported.ranCommands.slice(0, 12).map((command) => `- ran command: ${command}`),
+        ...reported.ranCommandReports.slice(0, 12).map((report) => `- command report: ${formatCommandReport(report)}`),
+        ...reported.waivedChecks.slice(0, 12).map((target) => `- legacy waiver: ${target}`),
+        ...reported.waivers.slice(0, 12).map((waiver) => `- waiver: ${waiver.kind} ${waiver.target}; ${waiver.reason}`)
+    ];
+    return lines.length > 0 ? lines : ["- evidence supplied, but no displayable entries after sanitization"];
+}
+function formatReportedLedger(reported) {
+    if (!reported.hasEvidence && reported.ledger.length === 0) {
+        return ["- none; preview above shows what reported commands would need to cover"];
+    }
+    return formatVerificationLedger(reported.ledger);
+}
+function formatCommandReport(report) {
+    const status = report.exitCode === undefined ? "exit unknown" : `exit ${report.exitCode}`;
+    const cwd = report.cwd ? `; cwd ${report.cwd}` : "";
+    const duration = report.durationMs === undefined ? "" : `; ${report.durationMs}ms`;
+    const summary = report.outputSummary ?? report.stderrSummary ?? report.stdoutSummary;
+    return `${report.command} (${status}${cwd}${duration}${summary ? `; ${summary}` : ""})`;
+}
+function formatPolicies(policies) {
+    const lines = policies.policies.flatMap((policy) => [
+        `- ${policy.kind}: ${policy.purpose}`,
+        ...policy.rules.slice(0, 3).map((rule) => `  - ${rule}`)
+    ]);
+    if (policies.missing.length > 0) {
+        lines.push(`- missing policy files: ${policies.missing.map((kind) => `${kind}.json`).join(", ")}; run codexa policy-init <repo>`);
+    }
+    if (policies.warnings.length > 0) {
+        lines.push(...policies.warnings.map((warning) => `- warning: ${warning}`));
+    }
+    return lines.length > 0 ? lines : ["- no local policy pack present; run codexa policy-init <repo>"];
+}
+function formatGaps(gaps) {
+    return gaps.length > 0 ? gaps.slice(0, 20).map((gap) => `- ${gap}`) : ["- none detected in the proof card inputs"];
+}
+function asRecord(value) {
+    return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function stringArray(value) {
+    return Array.isArray(value) ? value.filter((entry) => typeof entry === "string") : [];
+}
+function shellQuote(value) {
+    return `'${value.replaceAll("'", "'\"'\"'")}'`;
+}
+//# sourceMappingURL=prove.js.map

package/dist/prove.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prove.js","sourceRoot":"","sources":["../src/prove.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,cAAc,EAA0B,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,qCAAqC,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAC9L,OAAO,EACL,iCAAiC,EACjC,+BAA+B,EAC/B,mBAAmB,EACnB,0BAA0B,EAC1B,wBAAwB,EACzB,MAAM,iCAAiC,CAAC;AAkBzC,OAAO,EAAE,+BAA+B,IAAI,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACxF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAyFpD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,QAAgB,EAAE,UAAwB,EAAE;IAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,mBAAmB,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAClE,eAAe,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC;QACrH,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;QAC/G,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;QACtC,cAAc,CAAC,IAAI,CAAC;KACrB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,OAAO,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrG,MAAM,YAAY,GAAG,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC,CAAC;IACvH,MAAM,QAAQ,GAAG,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE;QACtD,MAAM,EAAE,YAAY,CAAC,YAAY;QACjC,MAAM,EAAE,YAAY,CAAC,KAAK,IAAI,YAAY,CAAC,aAAa,IAAI,YAAY,CAAC,eAAe,EAAE,MAAM;QAChG,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,eAAe,CAAC;KAC/C,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,mBAAmB,GAAG,WAAW,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,+BAA+B,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IACtF,MAAM,aAAa,GAAG,0BAA0B,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QACxC,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,YAAY,CAAC,QAAQ;QAC/B,KAAK;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,IAAI,EAAE;QAClD,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;KAC/B,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,SAAS,CAAC;QACrB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,qBAAqB,EAAE,aAAa;QACpC,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC;QACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC;KACrC,CAAC,CAAC;IACH,MAAM,IAAI,GAAc;QACtB,IAAI,EAAE,YAAY;QAClB,aAAa;QACb,IAAI;QACJ,QAAQ,EAAE,IAAI;QACd,sBAAsB,EAAE,uBAAuB;QAC/C,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3C,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,YAAY,EAAE;YACZ,mBAAmB;YACnB,WAAW;YACX,aAAa;YACb,KAAK;YACL,QAAQ;SACT;QACD,QAAQ;QACR,IAAI;QACJ,YAAY,EAAE,YAAY,EAAE;QAC5B,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;KACxD,CAAC;IACF,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC;QAC/D,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAe,EAAE,SAAwB,EAAE,OAAgC;IAClG,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ;QACzC,CAAC,CAAC,YAAY,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACzD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU;YACxB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,kBAAkB,CAAC;IAC7F,MAAM,KAAK,GAAG;QACZ,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,mBAAmB;QACnB,SAAS,IAAI,CAAC,IAAI,EAAE;QACpB,SAAS,IAAI,CAAC,QAAQ,EAAE;QACxB,aAAa,YAAY,EAAE;QAC3B,aAAa,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;QAC5C,EAAE;QACF,aAAa;QACb,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;QAClC,EAAE;QACF,kDAAkD;QAClD,GAAG,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC;QACxD,EAAE;QACF,8BAA8B;QAC9B,GAAG,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC;QAC5D,EAAE;QACF,iCAAiC;QACjC,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;QACrD,EAAE;QACF,iCAAiC;QACjC,GAAG,0BAA0B,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAClE,EAAE;QACF,+BAA+B;QAC/B,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;QACnD,EAAE;QACF,iBAAiB;QACjB,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;QAChC,EAAE;QACF,gBAAgB;QAChB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,EAAE;QACF,uBAAuB;QACvB,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,EAAE;QACF,gBAAgB;QAChB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC;KACtD,CAAC;IACF,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,aAAa,CAAC,SAAwB;IAC7C,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,cAAc,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM;QAC3C,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,KAAK,EAA8C,EAAE;QACzD,MAAM,MAAM,GAAG,KAAuB,CAAC;QACvC,OAAO,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;YACpC,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,SAAS,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;gBAC9E,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;aAChE;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,KAAK,EAA2C,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;SAC1E,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,QAAkC,EAClC,QAAgE;IAEhE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC5D,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SAC1E,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QAChD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,kBAAkB,EAAE,EAAE;QACtB,YAAY,EAAE,EAAE;QAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,YAAsB,EAAE,uBAAiC;IACjG,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC;IACvI,OAAO;QACL,UAAU,EAAE,OAAQ,MAAwB,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAG,MAAwB,CAAC,UAAsB,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QACrL,QAAQ,EAAE,OAAQ,MAAwB,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAG,MAAwB,CAAC,QAAoB,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChJ,cAAc,EAAE,OAAQ,MAAwB,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAG,MAAwB,CAAC,cAAyB,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM;QACzJ,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACxC,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAUjC;IACC,MAAM,WAAW,GACf,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/J,MAAM,aAAa,GAAG,qCAAqC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,iBAAiB,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;IAC9I,MAAM,YAAY,GAAG;QACnB,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,kBAAkB,IAAI,EAAE;QACnD,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE,YAAY,IAAI,KAAK,CAAC,QAAQ,EAAE,kBAAkB,IAAI,EAAE;QACvF,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,EAAE;QACb,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,oBAAoB,EAAE,aAAa;KACpC,CAAC;IACF,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,sBAAsB,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAC1G,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,wBAAwB,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAC9G,MAAM,YAAY,GAAG,6BAA6B,CAAC;QACjD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc;QACd,gBAAgB;KACjB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnG,OAAO;QACL,WAAW;QACX,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjF,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7F,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnH,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3F,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;YAC1D,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;SAC3D,CAAC,CAAC;QACH,QAAQ;QACR,gBAAgB,EAAE,YAAY,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,iCAAiC,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9H,WAAW,EAAE,uBAAuB,CAAC,QAAQ,CAAC;QAC9C,MAAM;QACN,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;QACvE,WAAW,EAAE,YAAY,CAAC,WAAW;QACrC,sBAAsB,EAAE,uBAAuB;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAc;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAc;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAc;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAc;IACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,CACL,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAClC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC;QACjC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;QAC7B,CAAC,eAAe,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,CACL,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC/B,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ;QACtC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QACjC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QACjC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC9B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AACjH,CAAC;AAED,SAAS,SAAS,CAAC,KASlB;IACC,OAAO,YAAY,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3H,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,gCAAgC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7I,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,sCAAsC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnJ,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,wBAAwB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3G,GAAG,CAAC,KAAK,CAAC,qBAAqB,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3G,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;YAC9J,CAAC,CAAC,CAAC,qEAAqE,CAAC;YACzE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kCAAkC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9H,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM;aACrB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kCAAkC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjF,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ;QAC1B,GAAG,KAAK,CAAC,SAAS;QAClB,GAAG,KAAK,CAAC,QAAQ;KAClB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY;IACnB,OAAO;QACL,4FAA4F;QAC5F,+EAA+E;QAC/E,uFAAuF;QACvF,uEAAuE;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,IAAY,EAAE,cAA+C;IAC/F,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO;QACL,cAAc,KAAK,QAAQ;YACzB,CAAC,CAAC,2BAA2B,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,oCAAoC;YACtG,CAAC,CAAC,sBAAsB,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,kBAAkB;QACjF,oBAAoB,UAAU,CAAC,IAAI,CAAC,SAAS;QAC7C,gBAAgB,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,SAAS;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,QAA+B;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,UAAU,QAAQ,CAAC,MAAM,IAAI,QAAQ,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,eAAe,CAAC,KAA6B;IACpD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB;IACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,qEAAqE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAmC;IACjE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO,CAAC,2HAA2H,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC;QACtE,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,OAAO,EAAE,CAAC;QAClF,GAAG,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,MAAM,EAAE,CAAC;QACnF,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;KAChH,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,oEAAoE,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAmC;IAC/D,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,wEAAwE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,wBAAwB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAiC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC1F,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,UAAU,IAAI,CAAC;IACnF,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC;IACrF,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,GAAG,GAAG,GAAG,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AAC1F,CAAC;AAED,SAAS,cAAc,CAAC,QAA2B;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE;QACrC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;KACzD,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,2BAA2B,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACpI,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,+DAA+D,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,UAAU,CAAC,IAAc;IAChC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzG,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC;AACjD,CAAC"}