@blxzer/pactile 0.6.0-beta.2 → 0.6.0-beta.5

package/dist/pactile/verification/jev-advice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jev-advice.js","sourceRoot":"","sources":["../../../src/pactile/verification/jev-advice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,OAAO,EACL,6BAA6B,EAC7B,iCAAiC,GAClC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,sBAAsB,GAEvB,MAAM,cAAc,CAAC;AAGtB,MAAM,CAAC,MAAM,iCAAiC,GAC5C,oCAA6C,CAAC;AAEhD,MAAM,WAAW,GAAG,kBAAkB,CAAC;AACvC,MAAM,UAAU,GAAG,MAAM,CAAC;AAC1B,MAAM,2BAA2B,GAAG,IAAI,CAAC;AACzC,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAoFnC,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACnC,IAAI,CAAyC;IAE7D,YACE,IAAwC,EACxC,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;QACzC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAoBD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS,EAC1B,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAC1E,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;aAC3B,IAAI,CAAC,WAAW,CAAC;aACjB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;aACjE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClB,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,sBAAsB,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAAC,IAAiB;IACpC,OAAO,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,aAAa,CACpB,OAAuC,EACvC,OAA6B;IAE7B,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IACvD,OAAO,WAAW,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,UAAU,CAAC,IAAsB;IACxC,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAsB,EACtB,MAA6C;IAE7C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,IACE,KAAK,CAAC,IAAI,KAAK,UAAU;YACzB,KAAK,CAAC,QAAQ,KAAK,6BAA6B;YAChD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EACtB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1C,OAAO,CACL,WAAW,EAAE,MAAM,KAAK,iBAAiB;YACzC,WAAW,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CACvC,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;SACrD,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;YAC3B,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1C,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,aAAa,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;YACxD,iBAAiB,EAAE,WAAW,EAAE,eAAe,CAAC,MAAM,IAAI,CAAC;SAC5D,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAwC;IAExC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,cAAc;IACrB,OAAO;QACL,SAAS,EAAE,CAAC;QACZ,QAAQ,EAAE,CAAC;QACX,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,IAAI;QAClB,0BAA0B,EAAE,IAAI;QAChC,UAAU,EAAE,iCAAiC,CAAC,CAAC,kBAAkB,CAAC,CAAC;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,OAStB;IACC,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,0BAA0B,EAAE,OAAO,CAAC,0BAA0B;QAC9D,UAAU,EAAE,6BAA6B,CAAC,OAAO,CAAC,UAAU,EAAE;YAC5D,kBAAkB;SACnB,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,SAAiB;IAEjB,OAAO;QACL,GAAG,cAAc,EAAE;QACnB,SAAS;QACT,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,UAAwC,EACxC,WAAmB,EACnB,OAAkC;IAElC,OAAO;QACL,iBAAiB,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC;QAC3D,WAAW,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,CAAC;QAC/D,iBAAiB,EAAE,WAAW,CAAC,MAAM;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAAsB,EACtB,UAAwC;IAExC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,OAAO,EACL,4EAA4E;QAC9E,MAAM,EAAE;YACN,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;YACxB,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;YACxB,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM;SACxD;QACD,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC,CAAC;YAClE,KAAK;YACL,IAAI;YACJ,iBAAiB;SAClB,CAAC,CAAC;QACH,WAAW,EAAE;YACX,oEAAoE;YACpE,0EAA0E;YAC1E,+FAA+F;YAC/F,4CAA4C;SAC7C;KACF,CAAC,CAAC;IACH,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;YACvB,YAAY,SAAS,CAAC,IAAI,yBAAyB,CAAC;IACxD,CAAC;IACD,QAAQ,CAAC,UAAU,CAAC,GAAG,8CAA8C,CAAC;IACtE,OAAO;QACL,WAAW;QACX,SAAS,EAAE;YACT,CAAC,WAAW,CAAC,EAAE;gBACb,IAAI,EAAE,QAAQ;gBACd,YAAY,EACV,8KAA8K;gBAChL,QAAQ;aACT;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAUpB;IACC,MAAM,iBAAiB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/D,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,MAAM,EAAE,iCAAiC;QACzC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;QACvE,kBAAkB,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QACnE,qBAAqB,EAAE,KAAK,CAAC,qBAAqB,IAAI,CAAC;QACvD,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,IAAI;QAC9D,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,IAAI,IAAI;QACtD,iBAAiB;QACjB,eAAe,EAAE,EAAE;QACnB,kBAAkB,EAAE,EAAE;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,cAAc,EAAE;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAgD,EAChD,SAA2C;IAE3C,OAAO,SAAS,CAAC,QAAQ,KAAK,IAAI,IAAI,SAAS,CAAC,QAAQ,GAAG,CAAC;QAC1D,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAQrB;IACC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,OAAO,EAAE,WAAW,CAClB,WAAW,CAAC;YACV,GAAG,KAAK;YACR,MAAM,EAAE,UAAU;SACnB,CAAC,CACH;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,KAA2C;IAE3C,MAAM,IAAI,GAAG,sBAAsB,CAAC;QAClC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;KACrB,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,kBAAkB,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,uBAAuB,GAAG,CAAC,CAAC,CAAC;IAC5E,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,kBAAkB,CAAC,CAAC;IAEjE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI;YACJ,OAAO,EAAE,WAAW,CAClB,WAAW,CAAC;gBACV,IAAI;gBACJ,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,eAAe;gBAC3B,UAAU,EAAE,EAAE;aACf,CAAC,CACH;SACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACf,OAAO;YACL,IAAI;YACJ,OAAO,EAAE,WAAW,CAClB,WAAW,CAAC;gBACV,IAAI;gBACJ,MAAM,EAAE,SAAS;gBACjB,UAAU,EAAE,UAAU;gBACtB,UAAU,EAAE,mBAAmB;gBAC/B,qBAAqB,EAAE,UAAU,CAAC,MAAM,GAAG,kBAAkB,CAAC,MAAM;aACrE,CAAC,CACH;SACF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,uBAAuB,EAAE,CAAC;QAChD,OAAO,YAAY,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,0BAA0B;YACtC,UAAU,EAAE,mBAAmB;YAC/B,qBAAqB,EAAE,UAAU,CAAC,MAAM,GAAG,kBAAkB,CAAC,MAAM;SACrE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7C,MAAM,uBAAuB,GAAG,WAAW,CACzC,UAAU,EACV,OAAO,CAAC,WAAW,EACnB,OAAO,CACR,CAAC;IACF,MAAM,yBAAyB,GAAG,IAAI,CAAC,GAAG,CACxC,KAAK,CAAC,GAAG,CAAC,yBAAyB,IAAI,2BAA2B,EAClE,2BAA2B,CAC5B,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,MAA0D,CAAC;IAC/D,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;YACrC,IAAI,EAAE,uBAAuB;YAC7B,OAAO;YACP,OAAO,EAAE;gBACP,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;gBACxB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACzD,yBAAyB;aAC1B;SACF,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,YAAY,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,iBAAiB;YAC7B,UAAU,EAAE,mBAAmB;YAC/B,uBAAuB;YACvB,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,CAAC;SACnE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,mBAAmB,GAAG,iBAAiB,CAC3C,uBAAuB,EACvB,SAAS,CACV,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,YAAY,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;YACtC,UAAU,EAAE,mBAAmB;YAC/B,uBAAuB;YACvB,mBAAmB;YACnB,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;QAC5B,UAAU;QACV,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC;KACxC,CAAC,CAAC;IACH,IACE,MAAM,EAAE,IAAI,KAAK,QAAQ;QACzB,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;QACjC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EACnC,CAAC;QACD,OAAO,YAAY,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,kBAAkB;YAC9B,UAAU,EAAE,mBAAmB;YAC/B,uBAAuB;YACvB,mBAAmB;YACnB,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IACD,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QAC3C,yBAAyB,GAAG,2BAA2B;QACvD,yBAAyB,GAAG,CAAC,EAC7B,CAAC;QACD,OAAO,YAAY,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,uBAAuB;YACnC,UAAU,EAAE,mBAAmB;YAC/B,uBAAuB;YACvB,mBAAmB;YACnB,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,GAAG,yBAAyB,EAAE,CAAC;QAClD,OAAO,YAAY,CAAC;YAClB,IAAI;YACJ,UAAU,EAAE,gBAAgB;YAC5B,UAAU,EAAE,mBAAmB;YAC/B,uBAAuB;YACvB,mBAAmB;YACnB,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,iBAAiB,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,OAAO;QACL,IAAI;QACJ,OAAO,EAAE,WAAW,CAClB,WAAW,CAAC;YACV,IAAI;YACJ,MAAM,EAAE,UAAU;YAClB,UAAU,EAAE,IAAI;YAChB,UAAU,EAAE,mBAAmB;YAC/B,uBAAuB;YACvB,mBAAmB;YACnB,iBAAiB;YACjB,SAAS;SACV,CAAC,CACH;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,OAAuC;IAEvC,IAAI,CAAC;QACH,IACE,OAAO,EAAE,aAAa,KAAK,CAAC;YAC5B,OAAO,CAAC,MAAM,KAAK,iCAAiC;YACpD,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;YAE5C,OAAO,KAAK,CAAC;QACf,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;QAC5D,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,iBAAiB,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,+BAA+B,CAC7C,OAAuC,EACvC,WAA6B,EAC7B,kBAAqC,EAAE;IAEvC,IAAI,CAAC,oCAAoC,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,0BAA0B,CAClC,iBAAiB,EACjB,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAClC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,0BAA0B,CAClC,kBAAkB,EAClB,2DAA2D,CAC5D,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;QAC1C,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,0BAA0B,CAClC,kBAAkB,EAClB,sCAAsC,CACvC,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,UAAU,CAAC,WAAW,CAAC,KAAK,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC3D,OAAO,aAAa,CAAC,OAAO,EAAE;YAC5B,MAAM,EAAE,YAAY;YACpB,UAAU,EAAE,2BAA2B;YACvC,QAAQ,EAAE,YAAY;YACtB,eAAe,EAAE,EAAE;YACnB,kBAAkB,EAAE,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC;SACnD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,IACE,eAAe,CAAC,MAAM,KAAK,OAAO,CAAC,eAAe,CAAC,MAAM;YACzD,eAAe,CAAC,KAAK,CACnB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAC/D,EACD,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,IAAI,0BAA0B,CAClC,kBAAkB,EAClB,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,IACE,OAAO,OAAO,KAAK,QAAQ;YAC3B,CAAC,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC;YAC5C,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EACrB,CAAC;YACD,MAAM,IAAI,0BAA0B,CAClC,kBAAkB,EAClB,iEAAiE,CAClE,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3D,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CACtB,CAAC;IACF,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CACjD,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CACpC,CAAC;IACF,OAAO,aAAa,CAAC,OAAO,EAAE;QAC5B,QAAQ,EACN,OAAO,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;gBACvB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,YAAY;QACpB,eAAe,EAAE,OAAO;QACxB,kBAAkB,EAAE,UAAU;KAC/B,CAAC,CAAC;AACL,CAAC"}

package/dist/pactile/verification/planner.d.ts

@@ -0,0 +1,15 @@
+import { type VerificationCheck, type VerificationImpact, type VerificationPlan } from "./types.js";
+export interface CreateVerificationPlanInput {
+    readonly impact: VerificationImpact;
+    readonly checks: readonly VerificationCheck[];
+}
+export declare class VerificationPlanInputError extends Error {
+    readonly issues: readonly string[];
+    constructor(issues: readonly string[]);
+}
+/**
+ * Build a deterministic verification choice from semantic change impact and a
+ * trusted inventory of checks. The function never executes checks or mutates input.
+ */
+export declare function createVerificationPlan(input: CreateVerificationPlanInput): VerificationPlan;
+//# sourceMappingURL=planner.d.ts.map

package/dist/pactile/verification/planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/pactile/verification/planner.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,iBAAiB,EAEtB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EAEtB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC/C;AAED,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,SAAgB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;gBAEvB,MAAM,EAAE,SAAS,MAAM,EAAE;CAK7C;AAkaD;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,2BAA2B,GACjC,gBAAgB,CAkGlB"}

package/dist/pactile/verification/planner.js

@@ -0,0 +1,412 @@
+import { BEHAVIOR_CHECK_MODES, VERIFICATION_RISKS, VERIFICATION_SCOPES, } from "./types.js";
+export class VerificationPlanInputError extends Error {
+    issues;
+    constructor(issues) {
+        super(`Invalid verification plan input: ${issues.join("; ")}`);
+        this.name = "VerificationPlanInputError";
+        this.issues = issues;
+    }
+}
+const CHECK_COST = Object.freeze({
+    focused: 1,
+    integration: 2,
+    migration: 2,
+    release: 2,
+    "full-suite": 5,
+});
+const RISK_WEIGHT = Object.freeze({
+    "public-contract": 90,
+    migration: 80,
+    release: 80,
+    "permission-boundary": 100,
+    "data-egress": 100,
+});
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function isString(value) {
+    return typeof value === "string";
+}
+function requireStringList(value, field, issues, allowEmpty = true) {
+    if (!Array.isArray(value)) {
+        issues.push(`${field} must be an array`);
+        return [];
+    }
+    if (!allowEmpty && value.length === 0)
+        issues.push(`${field} must not be empty`);
+    const result = [];
+    for (const [index, entry] of value.entries()) {
+        if (!isString(entry) ||
+            entry.trim().length === 0 ||
+            entry !== entry.trim()) {
+            issues.push(`${field}[${index}] must be a non-empty trimmed string`);
+            continue;
+        }
+        if (result.includes(entry))
+            issues.push(`${field} must not contain duplicate values`);
+        result.push(entry);
+    }
+    return result;
+}
+function requireRiskList(value, field, issues) {
+    if (!Array.isArray(value)) {
+        issues.push(`${field} must be an array`);
+        return [];
+    }
+    const risks = [];
+    for (const [index, entry] of value.entries()) {
+        if (!isString(entry) ||
+            !VERIFICATION_RISKS.includes(entry)) {
+            issues.push(`${field}[${index}] is not a supported verification risk`);
+            continue;
+        }
+        const risk = entry;
+        if (risks.includes(risk))
+            issues.push(`${field} must not contain duplicate values`);
+        risks.push(risk);
+    }
+    return risks;
+}
+function validateInput(input) {
+    const issues = [];
+    if (!isRecord(input) ||
+        !isRecord(input.impact) ||
+        !Array.isArray(input.checks)) {
+        throw new VerificationPlanInputError([
+            "input must include impact and a checks array",
+        ]);
+    }
+    const impact = input.impact;
+    const validScope = isString(impact.scope) &&
+        VERIFICATION_SCOPES.includes(impact.scope);
+    if (!validScope)
+        issues.push("impact.scope is not supported");
+    const surfaces = requireStringList(impact.changedSurfaces, "impact.changedSurfaces", issues);
+    const risks = requireRiskList(impact.risks, "impact.risks", issues);
+    if (validScope &&
+        impact.scope === "single-area" &&
+        surfaces.length === 0 &&
+        risks.length === 0) {
+        issues.push("single-area impact must identify a changed surface or risk");
+    }
+    const ids = new Set();
+    for (const [index, check] of input.checks.entries()) {
+        const field = `checks[${index}]`;
+        if (!isRecord(check)) {
+            issues.push(`${field} must be an object`);
+            continue;
+        }
+        if (!isString(check.id) ||
+            !/^[A-Za-z0-9][A-Za-z0-9._:-]{0,95}$/.test(check.id)) {
+            issues.push(`${field}.id must be a stable identifier`);
+        }
+        else if (ids.has(check.id)) {
+            issues.push(`${field}.id duplicates another check`);
+        }
+        else {
+            ids.add(check.id);
+        }
+        if (!isString(check.title) ||
+            check.title.trim().length === 0 ||
+            check.title !== check.title.trim()) {
+            issues.push(`${field}.title must be a non-empty trimmed string`);
+        }
+        if (check.kind === "behavior") {
+            if (!isString(check.mode) ||
+                !BEHAVIOR_CHECK_MODES.includes(check.mode)) {
+                issues.push(`${field}.mode is not supported`);
+            }
+            if (check.evidence !== "independent-public-behavior" &&
+                check.evidence !== "implementation-mirror") {
+                issues.push(`${field}.evidence is not supported`);
+            }
+            requireRiskList(check.coversRisks, `${field}.coversRisks`, issues);
+            requireStringList(check.coversSurfaces, `${field}.coversSurfaces`, issues);
+            if (Object.hasOwn(check, "requiredBy"))
+                issues.push(`${field}.requiredBy is only valid for policy-ci checks`);
+        }
+        else if (check.kind === "policy-ci") {
+            requireStringList(check.requiredBy, `${field}.requiredBy`, issues);
+        }
+        else {
+            issues.push(`${field}.kind is not supported`);
+        }
+    }
+    if (issues.length > 0)
+        throw new VerificationPlanInputError(issues);
+}
+function buildGoals(impact) {
+    const goals = [];
+    for (const surface of impact.changedSurfaces) {
+        goals.push({
+            id: `surface:${surface}`,
+            kind: "surface",
+            label: surface,
+            weight: 50,
+        });
+    }
+    for (const risk of impact.risks) {
+        goals.push({
+            id: `risk:${risk}`,
+            kind: "risk",
+            label: risk,
+            weight: RISK_WEIGHT[risk],
+        });
+    }
+    if (impact.scope === "cross-module") {
+        goals.push({
+            id: "scope:cross-module",
+            kind: "scope",
+            label: "cross-module behavior",
+            weight: 55,
+        });
+    }
+    else if (impact.scope === "repository-wide") {
+        goals.push({
+            id: "scope:repository-wide",
+            kind: "scope",
+            label: "repository-wide behavior",
+            weight: 70,
+        });
+    }
+    return goals.sort((left, right) => left.id < right.id ? -1 : left.id > right.id ? 1 : 0);
+}
+function modeSupportsGoal(mode, goal) {
+    if (goal.kind !== "risk" && goal.kind !== "scope")
+        return true;
+    if (goal.id === "risk:migration")
+        return mode === "migration" || mode === "full-suite";
+    if (goal.id === "risk:release")
+        return mode === "release" || mode === "full-suite";
+    if (goal.id === "scope:cross-module")
+        return mode === "integration" || mode === "full-suite";
+    if (goal.id === "scope:repository-wide")
+        return mode === "full-suite";
+    return true;
+}
+function checkDeclaresGoal(check, goal, impact) {
+    if (!modeSupportsGoal(check.mode, goal))
+        return false;
+    if (goal.kind === "surface")
+        return check.coversSurfaces.includes(goal.label);
+    if (goal.kind === "risk")
+        return check.coversRisks.includes(goal.label);
+    if (goal.id === "scope:cross-module") {
+        return impact.changedSurfaces.some((surface) => check.coversSurfaces.includes(surface));
+    }
+    return true;
+}
+function checkCoversGoal(check, goal, impact) {
+    if (!checkDeclaresGoal(check, goal, impact))
+        return false;
+    return !(check.mode === "full-suite" &&
+        impact.scope === "single-area" &&
+        impact.risks.length === 0);
+}
+function score(check, uncoveredGoals, impact) {
+    const relevantGoals = uncoveredGoals.filter((goal) => checkCoversGoal(check, goal, impact));
+    if (relevantGoals.length === 0)
+        return undefined;
+    const value = relevantGoals.reduce((total, goal) => total + goal.weight, 0);
+    return {
+        check,
+        relevantGoals,
+        value,
+        valuePerCost: value / CHECK_COST[check.mode],
+    };
+}
+function compareCandidates(left, right) {
+    if (left.valuePerCost !== right.valuePerCost)
+        return right.valuePerCost - left.valuePerCost;
+    if (left.value !== right.value)
+        return right.value - left.value;
+    return left.check.id < right.check.id
+        ? -1
+        : left.check.id > right.check.id
+            ? 1
+            : 0;
+}
+function cloneImpact(impact) {
+    return {
+        changedSurfaces: [...impact.changedSurfaces].sort(),
+        risks: [...impact.risks].sort(),
+        scope: impact.scope,
+    };
+}
+function clonePublicGoal(goal) {
+    return { id: goal.id, kind: goal.kind, label: goal.label };
+}
+function uncoveredReason(goal, checks, impact) {
+    const independentIds = [];
+    const mirrorIds = [];
+    const broadIds = [];
+    for (const candidate of checks) {
+        if (candidate.kind !== "behavior" ||
+            !checkDeclaresGoal(candidate, goal, impact))
+            continue;
+        if (candidate.mode === "full-suite" &&
+            impact.scope === "single-area" &&
+            impact.risks.length === 0) {
+            if (candidate.evidence === "independent-public-behavior")
+                broadIds.push(candidate.id);
+            continue;
+        }
+        if (candidate.evidence === "independent-public-behavior")
+            independentIds.push(candidate.id);
+        else
+            mirrorIds.push(candidate.id);
+    }
+    if (independentIds.length > 0)
+        return undefined;
+    if (broadIds.length > 0) {
+        return {
+            goal: clonePublicGoal(goal),
+            reason: "only-broader-check-not-warranted",
+            checkIds: broadIds,
+        };
+    }
+    if (mirrorIds.length > 0) {
+        return {
+            goal: clonePublicGoal(goal),
+            reason: "only-implementation-mirror",
+            checkIds: mirrorIds,
+        };
+    }
+    return {
+        goal: clonePublicGoal(goal),
+        reason: "no-registered-public-behavior-check",
+        checkIds: [],
+    };
+}
+function skippedBehavior(check, goals, selectedIds, impact) {
+    const declaredGoalIds = goals
+        .filter((goal) => checkDeclaresGoal(check, goal, impact))
+        .map((goal) => goal.id);
+    const relevantGoalIds = goals
+        .filter((goal) => checkCoversGoal(check, goal, impact))
+        .map((goal) => goal.id);
+    if (check.evidence === "implementation-mirror") {
+        return {
+            checkId: check.id,
+            title: check.title,
+            reason: "implementation-mirror",
+            relevantGoalIds,
+            detail: "Implementation-coupled checks cannot establish independent public behavior evidence.",
+        };
+    }
+    if (check.mode === "full-suite" &&
+        impact.scope === "single-area" &&
+        impact.risks.length === 0 &&
+        declaredGoalIds.length > 0) {
+        return {
+            checkId: check.id,
+            title: check.title,
+            reason: "broad-check-not-warranted",
+            relevantGoalIds: declaredGoalIds,
+            detail: "A routine single-area change has no declared risk signal; surface a focused check instead of adding the full suite.",
+        };
+    }
+    if (relevantGoalIds.length === 0) {
+        return {
+            checkId: check.id,
+            title: check.title,
+            reason: "no-relevant-goal",
+            relevantGoalIds,
+            detail: "The check does not declare coverage for an impacted behavior surface, risk, or scope.",
+        };
+    }
+    return {
+        checkId: check.id,
+        title: check.title,
+        reason: "already-covered",
+        relevantGoalIds: relevantGoalIds.filter((goalId) => selectedIds.has(goalId)),
+        detail: "Independent checks already selected cover the behavior goals this check contributes.",
+    };
+}
+/**
+ * Build a deterministic verification choice from semantic change impact and a
+ * trusted inventory of checks. The function never executes checks or mutates input.
+ */
+export function createVerificationPlan(input) {
+    validateInput(input);
+    const impact = cloneImpact(input.impact);
+    const goals = buildGoals(impact);
+    const selected = [];
+    const skipped = [];
+    const coveredGoalIds = new Set();
+    const requiredPolicyChecks = input.checks
+        .filter((check) => check.kind === "policy-ci" && check.requiredBy.length > 0)
+        .sort((left, right) => left.id < right.id ? -1 : left.id > right.id ? 1 : 0);
+    for (const check of requiredPolicyChecks) {
+        selected.push({
+            checkId: check.id,
+            title: check.title,
+            reason: "required-by-policy",
+            coversGoalIds: [],
+            requiredBy: [...check.requiredBy],
+        });
+    }
+    const remaining = [...goals];
+    while (true) {
+        const candidates = input.checks
+            .filter((check) => check.kind === "behavior" &&
+            check.evidence === "independent-public-behavior")
+            .map((check) => score(check, remaining, impact))
+            .filter((candidate) => candidate !== undefined)
+            .sort(compareCandidates);
+        const choice = candidates[0];
+        if (choice === undefined)
+            break;
+        const selectedGoalIds = choice.relevantGoals.map((goal) => goal.id);
+        selected.push({
+            checkId: choice.check.id,
+            title: choice.check.title,
+            reason: "highest-value-uncovered-behavior",
+            coversGoalIds: selectedGoalIds,
+        });
+        for (const id of selectedGoalIds)
+            coveredGoalIds.add(id);
+        const selectedGoals = new Set(selectedGoalIds);
+        for (let index = remaining.length - 1; index >= 0; index -= 1) {
+            const goal = remaining[index];
+            if (goal !== undefined && selectedGoals.has(goal.id))
+                remaining.splice(index, 1);
+        }
+    }
+    const selectedIds = new Set(coveredGoalIds);
+    for (const check of input.checks) {
+        if (check.kind === "policy-ci") {
+            if (check.requiredBy.length === 0) {
+                skipped.push({
+                    checkId: check.id,
+                    title: check.title,
+                    reason: "optional-policy-ci",
+                    relevantGoalIds: [],
+                    detail: "Optional CI is not added to ordinary verification plans unless a project policy requires it.",
+                });
+            }
+            continue;
+        }
+        if (selected.some((entry) => entry.checkId === check.id))
+            continue;
+        skipped.push(skippedBehavior(check, goals, selectedIds, impact));
+    }
+    skipped.sort((left, right) => left.checkId < right.checkId ? -1 : left.checkId > right.checkId ? 1 : 0);
+    const uncoveredGoals = goals
+        .filter((goal) => !coveredGoalIds.has(goal.id))
+        .map((goal) => uncoveredReason(goal, input.checks, impact))
+        .filter((entry) => entry !== undefined);
+    return {
+        schemaVersion: 1,
+        algorithm: "risk-weighted-independent-behavior-v1",
+        impact,
+        goals: goals.map(clonePublicGoal),
+        selected,
+        skipped,
+        uncoveredGoals,
+        coverageStatus: uncoveredGoals.length === 0
+            ? "covered"
+            : "missing-public-behavior-evidence",
+    };
+}
+//# sourceMappingURL=planner.js.map

package/dist/pactile/verification/planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.js","sourceRoot":"","sources":["../../../src/pactile/verification/planner.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,GAYpB,MAAM,YAAY,CAAC;AAOpB,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IACnC,MAAM,CAAoB;IAE1C,YAAmB,MAAyB;QAC1C,KAAK,CAAC,oCAAoC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;QACzC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAaD,MAAM,UAAU,GAAgD,MAAM,CAAC,MAAM,CAAC;IAC5E,OAAO,EAAE,CAAC;IACV,WAAW,EAAE,CAAC;IACd,SAAS,EAAE,CAAC;IACZ,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,CAAC;CAChB,CAAC,CAAC;AAEH,MAAM,WAAW,GAA+C,MAAM,CAAC,MAAM,CAAC;IAC5E,iBAAiB,EAAE,EAAE;IACrB,SAAS,EAAE,EAAE;IACb,OAAO,EAAE,EAAE;IACX,qBAAqB,EAAE,GAAG;IAC1B,aAAa,EAAE,GAAG;CACnB,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;AACnC,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,KAAa,EACb,MAAgB,EAChB,UAAU,GAAG,IAAI;IAEjB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;QACzC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;YAChB,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YACzB,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE,EACtB,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,KAAK,sCAAsC,CAAC,CAAC;YACrE,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,oCAAoC,CAAC,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,KAAa,EACb,MAAgB;IAEhB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;QACzC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;YAChB,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAyB,CAAC,EACvD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,KAAK,wCAAwC,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,KAAyB,CAAC;QACvC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,oCAAoC,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAkC;IACvD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChB,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACvB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAC5B,CAAC;QACD,MAAM,IAAI,0BAA0B,CAAC;YACnC,8CAA8C;SAC/C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAA4C,CAAC;IAClE,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QACtB,mBAAmB,CAAC,QAAQ,CAC1B,MAAM,CAAC,KAA6C,CACrD,CAAC;IACJ,IAAI,CAAC,UAAU;QAAE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,iBAAiB,CAChC,MAAM,CAAC,eAAe,EACtB,wBAAwB,EACxB,MAAM,CACP,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IACpE,IACE,UAAU;QACV,MAAM,CAAC,KAAK,KAAK,aAAa;QAC9B,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,KAAK,CAAC,MAAM,KAAK,CAAC,EAClB,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IAC5E,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,KAAK,GAAG,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;YAC1C,SAAS;QACX,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,CAAC,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EACpD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YACtB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAC/B,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,EAClC,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,2CAA2C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBACrB,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAyB,CAAC,EAC/D,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,wBAAwB,CAAC,CAAC;YAChD,CAAC;YACD,IACE,KAAK,CAAC,QAAQ,KAAK,6BAA6B;gBAChD,KAAK,CAAC,QAAQ,KAAK,uBAAuB,EAC1C,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,4BAA4B,CAAC,CAAC;YACpD,CAAC;YACD,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,KAAK,cAAc,EAAE,MAAM,CAAC,CAAC;YACnE,iBAAiB,CACf,KAAK,CAAC,cAAc,EACpB,GAAG,KAAK,iBAAiB,EACzB,MAAM,CACP,CAAC;YACF,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,gDAAgD,CAAC,CAAC;QAC1E,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,KAAK,aAAa,EAAE,MAAM,CAAC,CAAC;QACrE,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,wBAAwB,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,MAAM,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,UAAU,CAAC,MAA0B;IAC5C,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,WAAW,OAAO,EAAE;YACxB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,OAAO;YACd,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,QAAQ,IAAI,EAAE;YAClB,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,MAAM,CAAC,KAAK,KAAK,iBAAiB,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,uBAAuB;YAC3B,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,0BAA0B;YACjC,MAAM,EAAE,EAAE;SACX,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAChC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAuB,EACvB,IAAkB;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,IAAI,CAAC,EAAE,KAAK,gBAAgB;QAC9B,OAAO,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,YAAY,CAAC;IACvD,IAAI,IAAI,CAAC,EAAE,KAAK,cAAc;QAC5B,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,CAAC;IACrD,IAAI,IAAI,CAAC,EAAE,KAAK,oBAAoB;QAClC,OAAO,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,YAAY,CAAC;IACzD,IAAI,IAAI,CAAC,EAAE,KAAK,uBAAuB;QAAE,OAAO,IAAI,KAAK,YAAY,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAgC,EAChC,IAAkB,EAClB,MAA0B;IAE1B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QACtB,OAAO,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAyB,CAAC,CAAC;IACpE,IAAI,IAAI,CAAC,EAAE,KAAK,oBAAoB,EAAE,CAAC;QACrC,OAAO,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7C,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACtB,KAAgC,EAChC,IAAkB,EAClB,MAA0B;IAE1B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1D,OAAO,CAAC,CACN,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3B,MAAM,CAAC,KAAK,KAAK,aAAa;QAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CACZ,KAAgC,EAChC,cAAuC,EACvC,MAA0B;IAE1B,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACnD,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CACrC,CAAC;IACF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5E,OAAO;QACL,KAAK;QACL,aAAa;QACb,KAAK;QACL,YAAY,EAAE,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAuB,EACvB,KAAwB;IAExB,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;QAC1C,OAAO,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IAChD,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAChE,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE;QACnC,CAAC,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE;YAC9B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC,CAAC;AACV,CAAC;AAED,SAAS,WAAW,CAAC,MAA0B;IAC7C,OAAO;QACL,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE;QACnD,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;QAC/B,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAkB;IACzC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CACtB,IAAkB,EAClB,MAAoC,EACpC,MAA0B;IAE1B,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,IACE,SAAS,CAAC,IAAI,KAAK,UAAU;YAC7B,CAAC,iBAAiB,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC;YAE3C,SAAS;QACX,IACE,SAAS,CAAC,IAAI,KAAK,YAAY;YAC/B,MAAM,CAAC,KAAK,KAAK,aAAa;YAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EACzB,CAAC;YACD,IAAI,SAAS,CAAC,QAAQ,KAAK,6BAA6B;gBACtD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,6BAA6B;YACtD,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;;YAC/B,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;YAC3B,MAAM,EAAE,kCAAkC;YAC1C,QAAQ,EAAE,QAAQ;SACnB,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;YAC3B,MAAM,EAAE,4BAA4B;YACpC,QAAQ,EAAE,SAAS;SACpB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC;QAC3B,MAAM,EAAE,qCAAqC;QAC7C,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAgC,EAChC,KAA8B,EAC9B,WAAgC,EAChC,MAA0B;IAE1B,MAAM,eAAe,GAAG,KAAK;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,eAAe,GAAG,KAAK;SAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,QAAQ,KAAK,uBAAuB,EAAE,CAAC;QAC/C,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,uBAAuB;YAC/B,eAAe;YACf,MAAM,EACJ,sFAAsF;SACzF,CAAC;IACJ,CAAC;IACD,IACE,KAAK,CAAC,IAAI,KAAK,YAAY;QAC3B,MAAM,CAAC,KAAK,KAAK,aAAa;QAC9B,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACzB,eAAe,CAAC,MAAM,GAAG,CAAC,EAC1B,CAAC;QACD,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,2BAA2B;YACnC,eAAe,EAAE,eAAe;YAChC,MAAM,EACJ,qHAAqH;SACxH,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,kBAAkB;YAC1B,eAAe;YACf,MAAM,EACJ,uFAAuF;SAC1F,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,iBAAiB;QACzB,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CACxB;QACD,MAAM,EACJ,sFAAsF;KACzF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAkC;IAElC,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,MAAM,OAAO,GAA+B,EAAE,CAAC;IAC/C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM;SACtC,MAAM,CACL,CAAC,KAAK,EAAgC,EAAE,CACtC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAC5D;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;IAEJ,KAAK,MAAM,KAAK,IAAI,oBAAoB,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,oBAAoB;YAC5B,aAAa,EAAE,EAAE;YACjB,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;SAClC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAC7B,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM;aAC5B,MAAM,CACL,CAAC,KAAK,EAAsC,EAAE,CAC5C,KAAK,CAAC,IAAI,KAAK,UAAU;YACzB,KAAK,CAAC,QAAQ,KAAK,6BAA6B,CACnD;aACA,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;aAC/C,MAAM,CACL,CAAC,SAAS,EAAkC,EAAE,CAAC,SAAS,KAAK,SAAS,CACvE;aACA,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM;QAEhC,MAAM,eAAe,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpE,QAAQ,CAAC,IAAI,CAAC;YACZ,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;YACxB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK;YACzB,MAAM,EAAE,kCAAkC;YAC1C,aAAa,EAAE,eAAe;SAC/B,CAAC,CAAC;QACH,KAAK,MAAM,EAAE,IAAI,eAAe;YAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC/C,KAAK,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IAC5C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClC,OAAO,CAAC,IAAI,CAAC;oBACX,OAAO,EAAE,KAAK,CAAC,EAAE;oBACjB,KAAK,EAAE,KAAK,CAAC,KAAK;oBAClB,MAAM,EAAE,oBAAoB;oBAC5B,eAAe,EAAE,EAAE;oBACnB,MAAM,EACJ,8FAA8F;iBACjG,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,CAAC;YAAE,SAAS;QACnE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC3B,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACzE,CAAC;IAEF,MAAM,cAAc,GAAG,KAAK;SACzB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAC9C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;SAC1D,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IAE9E,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,uCAAuC;QAClD,MAAM;QACN,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC;QACjC,QAAQ;QACR,OAAO;QACP,cAAc;QACd,cAAc,EACZ,cAAc,CAAC,MAAM,KAAK,CAAC;YACzB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,kCAAkC;KACzC,CAAC;AACJ,CAAC"}

package/dist/pactile/verification/receipt.d.ts

@@ -0,0 +1,101 @@
+import type { TaskRunV2 } from "../../core/task/index.js";
+import { GIT_CANDIDATE_OBSERVER_VERSION, type GitCandidateFileFingerprint, type GitCandidateObservation, type GitCandidateScopeStatus, type GitWriteSet } from "./git-observer.js";
+import type { VerificationPlan } from "./types.js";
+export declare const VERIFICATION_RECEIPT_SOURCE: "pactile-verification-receipt-v1";
+declare const CHECK_RESULT_OUTCOMES: readonly ["passed", "failed", "blocked", "not-run", "skipped"];
+export type VerificationCheckOutcome = (typeof CHECK_RESULT_OUTCOMES)[number];
+export type VerificationReceiptOutcome = "passed" | "failed" | "blocked" | "incomplete";
+export type VerificationReceiptRun = Pick<TaskRunV2, "id" | "taskId" | "state" | "candidateSnapshot">;
+export interface VerificationCheckResult {
+    readonly checkId: string;
+    readonly outcome: VerificationCheckOutcome;
+    /** Stable path/URI to captured output. Never store raw command output in this field. */
+    readonly evidenceRef?: string;
+    readonly summary?: string;
+}
+export interface VerificationReceiptBinding {
+    readonly taskId: string;
+    readonly runId: string;
+    readonly candidateSnapshotId: string;
+    /** P35 candidate snapshot fingerprint. */
+    readonly candidateFingerprint: string;
+    /** Fingerprint of the observed Git and allowed current-file state. */
+    readonly observationFingerprint: string;
+}
+export interface VerificationReceiptObservation {
+    readonly source: typeof GIT_CANDIDATE_OBSERVER_VERSION;
+    readonly observedAt: string;
+    readonly repositoryIdentitySha256: string;
+    readonly expectedBaseSha: string | null;
+    readonly expectedBranch: string | null;
+    readonly expectedBranchBound: boolean;
+    readonly head: string;
+    readonly branch: string | null;
+    readonly allowedWriteSet: GitWriteSet;
+    readonly stagedPaths: readonly string[];
+    readonly unstagedPaths: readonly string[];
+    readonly untrackedPaths: readonly string[];
+    readonly conflictPaths: readonly string[];
+    readonly committedPaths: readonly string[];
+    readonly affectedPaths: readonly string[];
+    readonly inScopePaths: readonly string[];
+    readonly outOfScopePaths: readonly string[];
+    readonly currentFiles: readonly GitCandidateFileFingerprint[];
+    readonly indexDiffSha256: string;
+    readonly worktreeDiffSha256: string;
+    readonly statusSha256: string;
+    readonly scopeStatus: GitCandidateScopeStatus;
+    readonly fingerprint: string;
+}
+export interface VerificationReceipt {
+    readonly schemaVersion: 1;
+    readonly source: typeof VERIFICATION_RECEIPT_SOURCE;
+    readonly recordedAt: string;
+    readonly binding: VerificationReceiptBinding;
+    readonly observation: VerificationReceiptObservation;
+    readonly plan: VerificationPlan;
+    /** Exactly one result for every selected and skipped plan entry. */
+    readonly results: readonly VerificationCheckResult[];
+    readonly outcome: VerificationReceiptOutcome;
+    readonly fingerprint: string;
+}
+export interface CreateVerificationReceiptInput {
+    readonly run: VerificationReceiptRun;
+    readonly observation: GitCandidateObservation;
+    readonly plan: VerificationPlan;
+    readonly results: readonly VerificationCheckResult[];
+    readonly recordedAt: string;
+}
+export type VerificationFreshnessReason = "receipt-integrity-mismatch" | "run-not-completed" | "task-id-mismatch" | "run-id-mismatch" | "candidate-snapshot-missing" | "candidate-snapshot-id-mismatch" | "candidate-fingerprint-mismatch" | "candidate-observer-entry-mismatch" | "current-observation-invalid" | "current-observation-not-eligible" | "repository-identity-mismatch" | "observation-fingerprint-mismatch";
+export interface VerificationReceiptFreshness {
+    readonly status: "current" | "stale" | "invalid-receipt";
+    readonly reasonCodes: readonly VerificationFreshnessReason[];
+    readonly receiptFingerprint: string;
+    readonly currentCandidateFingerprint: string | null;
+    readonly currentObservationFingerprint: string | null;
+}
+export interface RequiredCiReceiptResult {
+    readonly checkId: string;
+    readonly requiredBy: readonly string[];
+    readonly outcome: VerificationCheckOutcome;
+    readonly evidenceRef: string | null;
+}
+export declare class VerificationReceiptError extends Error {
+    readonly code: "invalid-plan" | "run-incomplete" | "candidate-not-bound" | "invalid-observation" | "invalid-recorded-at" | "result-set-mismatch" | "invalid-result" | "receipt-integrity-mismatch";
+    constructor(code: VerificationReceiptError["code"], message: string);
+}
+/** Build a P35-bound receipt only after its candidate snapshot includes the observer entry. */
+export declare function createVerificationReceipt(input: CreateVerificationReceiptInput): VerificationReceipt;
+/** Derived view: policy declarations remain sourced from plan.selected. */
+export declare function listRequiredCiReceiptResults(receipt: VerificationReceipt): RequiredCiReceiptResult[];
+/** Stable JSON bytes for persistence by a later task/CLI integration. */
+export declare function serializeVerificationReceipt(receipt: VerificationReceipt): string;
+export declare function verifyVerificationReceiptIntegrity(receipt: VerificationReceipt): boolean;
+/** Compare both the P35 snapshot identity and current Git/file observation. */
+export declare function assessVerificationReceiptFreshness(input: {
+    readonly receipt: VerificationReceipt;
+    readonly currentRun: VerificationReceiptRun;
+    readonly currentObservation: GitCandidateObservation;
+}): VerificationReceiptFreshness;
+export {};
+//# sourceMappingURL=receipt.d.ts.map

package/dist/pactile/verification/receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipt.d.ts","sourceRoot":"","sources":["../../../src/pactile/verification/receipt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,SAAS,EACV,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,8BAA8B,EAG9B,KAAK,2BAA2B,EAChC,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC5B,KAAK,WAAW,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,2BAA2B,EACtC,iCAA0C,CAAC;AAG7C,QAAA,MAAM,qBAAqB,gEAMjB,CAAC;AAEX,MAAM,MAAM,wBAAwB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC9E,MAAM,MAAM,0BAA0B,GAClC,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,YAAY,CAAC;AACjB,MAAM,MAAM,sBAAsB,GAAG,IAAI,CACvC,SAAS,EACT,IAAI,GAAG,QAAQ,GAAG,OAAO,GAAG,mBAAmB,CAChD,CAAC;AAEF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,wFAAwF;IACxF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,0CAA0C;IAC1C,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,sEAAsE;IACtE,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,MAAM,EAAE,OAAO,8BAA8B,CAAC;IACvD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC9D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,2BAA2B,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,8BAA8B,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,GAAG,EAAE,sBAAsB,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,2BAA2B,GACnC,4BAA4B,GAC5B,mBAAmB,GACnB,kBAAkB,GAClB,iBAAiB,GACjB,4BAA4B,GAC5B,gCAAgC,GAChC,gCAAgC,GAChC,mCAAmC,GACnC,6BAA6B,GAC7B,kCAAkC,GAClC,8BAA8B,GAC9B,kCAAkC,CAAC;AAEvC,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,GAAG,iBAAiB,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC7D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,2BAA2B,EAAE,MAAM,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,6BAA6B,EAAE,MAAM,GAAG,IAAI,CAAC;CACvD;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAED,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,SAAgB,IAAI,EAChB,cAAc,GACd,gBAAgB,GAChB,qBAAqB,GACrB,qBAAqB,GACrB,qBAAqB,GACrB,qBAAqB,GACrB,gBAAgB,GAChB,4BAA4B,CAAC;gBAEd,IAAI,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM;CAK3E;AA0XD,+FAA+F;AAC/F,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,8BAA8B,GACpC,mBAAmB,CAyCrB;AAQD,2EAA2E;AAC3E,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,mBAAmB,GAC3B,uBAAuB,EAAE,CAkB3B;AAED,yEAAyE;AACzE,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,mBAAmB,GAC3B,MAAM,CAQR;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAaT;AAED,+EAA+E;AAC/E,wBAAgB,kCAAkC,CAAC,KAAK,EAAE;IACxD,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,uBAAuB,CAAC;CACtD,GAAG,4BAA4B,CAyD/B"}