@hol-org/cigar 0.9.4

package/dist/verify-replay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-replay.js","sourceRoot":"","sources":["../src/verify-replay.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAE3E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,MAAM,iBAAiB,GAAG,SAAS,CAAC;AACpC,MAAM,kBAAkB,GAAG,SAAS,CAAC;AACrC,MAAM,0BAA0B,GAAG,SAAS,CAAC;AAC7C,MAAM,aAAa,GAAG,EAAE,CAAC;AACzB,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAC/B,MAAM,cAAc,GAAG,EAAE,CAAC;AAC1B,MAAM,gBAAgB,GAAG;IACvB,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,OAAO;IACP,UAAU;IACV,QAAQ;IACR,WAAW;IACX,SAAS;IACT,UAAU;IACV,aAAa;IACb,aAAa;CACL,CAAC;AAaX,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,KAAK,CAAC,sCAAsC,OAAO,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,IAAuB,EAAE,OAAe;IAC5E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,IAAI,CAAC,GAAG,OAAO,oBAAoB,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,MAAM,GAAG,KAAmB,CAAC;IACnC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC9F,IAAI,CAAC,GAAG,OAAO,gCAAgC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAClB,MAAkB,EAClB,GAAW,EACX,OAAe,EACf,OAAO,GAAG,GAAG,EACb,UAAU,GAAG,KAAK;IAElB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;QAC/F,IAAI,CAAC,GAAG,OAAO,IAAI,GAAG,2BAA2B,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,MAAkB,EAAE,GAAW,EAAE,OAAe;IACpE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,IAAI,CAAC,GAAG,OAAO,IAAI,GAAG,oBAAoB,CAAC,CAAC;IAC5E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,OAAe,EAAE,OAAO,GAAG,EAAE;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO;QAAE,IAAI,CAAC,GAAG,OAAO,0BAA0B,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACvE,IAAI,CAAC,GAAG,OAAO,IAAI,KAAK,4BAA4B,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,MAAyB,EAAE,QAA2B,EAAE,OAAe;IAC1F,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClG,IAAI,CAAC,GAAG,OAAO,UAAU,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa,EAAE,OAAe,EAAE,UAAmB;IAC/E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,IAAI,UAAU;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,GAAG,OAAO,oBAAoB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,0BAA0B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,IAAI,CAAC,GAAG,OAAO,oCAAoC,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,KAAK,EAAE,CAAC;QACnF,IAAI,CAAC,GAAG,OAAO,wCAAwC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,SAAS,CAAC,KAAiB;IAClC,OAAO,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAAC,YAA+B;IAC3D,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,WAAW,CAAC,MAAM,GAAG,WAAW;YAAE,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpB,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,OAAe;IAClD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,GAAG,OAAO,uCAAuC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,cAAc,CAAC,QAA2B,EAAE,KAAc;IACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;QAC1D,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,YAAY,CACxB,GAAG,EACH,CAAC,MAAM,EAAE,iBAAiB,EAAE,kBAAkB,CAAC,EAC/C,qBAAqB,KAAK,EAAE,CAC7B,CAAC;QACF,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,qBAAqB,KAAK,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,iDAAiD,CAAC,CAAC;QACxG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,MAAM,cAAc,GAAG,WAAW,CAChC,KAAK,EACL,iBAAiB,EACjB,qBAAqB,KAAK,EAAE,EAC5B,0BAA0B,CAC3B,CAAC;QACF,MAAM,eAAe,GAAG,WAAW,CAAC,KAAK,EAAE,kBAAkB,EAAE,qBAAqB,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACjG,YAAY,CAAC,eAAe,EAAE,qBAAqB,KAAK,SAAS,CAAC,CAAC;QACnE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,QAA2B,EAAE,SAAsC;IAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,cAAc,EAAE,GAAG,QAAQ,CAAC,IAAI,WAAW,EAAE,KAAK,CAAC,CAAC;QAChG,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,eAAe;YAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO;QACL,aAAa;QACb,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAc;IAC7C,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,SAAS,UAAU;QACjB,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAAE,MAAM,IAAI,CAAC,CAAC;IACzG,CAAC;IAED,SAAS,WAAW;QAClB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG;YAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC;QACrB,MAAM,IAAI,CAAC,CAAC;QACZ,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;gBACtB,MAAM,IAAI,CAAC,CAAC;gBACZ,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAY,CAAC;gBACnE,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC;gBAC7D,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,CAAC,CAAC;gBACZ,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9B,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;oBACnB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC;wBAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC;oBACjG,MAAM,IAAI,CAAC,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC;gBACvF,MAAM,IAAI,CAAC,CAAC;gBACZ,SAAS;YACX,CAAC;YACD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI;gBAAE,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACrG,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;QACD,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACnC,CAAC;IAED,SAAS,UAAU,CAAC,KAAa;QAC/B,IAAI,KAAK,GAAG,cAAc;YAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACnE,UAAU,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,IAAI,CAAC,CAAC;YACZ,UAAU,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,MAAM,IAAI,CAAC,CAAC;gBACZ,OAAO;YACT,CAAC;YACD,OAAO,IAAI,EAAE,CAAC;gBACZ,UAAU,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,2BAA2B,CAAC,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,UAAU,EAAE,CAAC;gBACb,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,+BAA+B,CAAC,CAAC;gBAClE,MAAM,IAAI,CAAC,CAAC;gBACZ,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBACtB,UAAU,EAAE,CAAC;gBACb,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC3B,MAAM,IAAI,CAAC,CAAC;oBACZ,OAAO;gBACT,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,+BAA+B,CAAC,CAAC;gBAClE,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,IAAI,CAAC,CAAC;YACZ,UAAU,EAAE,CAAC;YACb,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,MAAM,IAAI,CAAC,CAAC;gBACZ,OAAO;YACT,CAAC;YACD,OAAO,IAAI,EAAE,CAAC;gBACZ,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBACtB,UAAU,EAAE,CAAC;gBACb,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;oBAC3B,MAAM,IAAI,CAAC,CAAC;oBACZ,OAAO;gBACT,CAAC;gBACD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG;oBAAE,IAAI,CAAC,8BAA8B,CAAC,CAAC;gBACjE,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,WAAW,EAAE,CAAC;YACd,OAAO;QACT,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAU,EAAE,CAAC;YACzD,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;gBACvC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;gBACzB,OAAO;YACT,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,wDAAwD,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACnG,IAAI,MAAM,KAAK,IAAI;YAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAChD,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7B,CAAC;IAED,UAAU,CAAC,CAAC,CAAC,CAAC;IACd,UAAU,EAAE,CAAC;IACb,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,gCAAgC,CAAC;IACjE,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,iBAAiB;QAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC9F,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACrC,CAAC;IACD,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,EAAE;QACrD,gBAAgB;QAChB,kBAAkB;QAClB,qBAAqB;QACrB,UAAU;QACV,uBAAuB;QACvB,oBAAoB;QACpB,wBAAwB;QACxB,yBAAyB;QACzB,+BAA+B;QAC/B,UAAU;KACX,EAAE,SAAS,CAAC,CAAC;IACd,IAAI,WAAW,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,CAAC,KAAK,wBAAwB;WAC1E,WAAW,CAAC,IAAI,EAAE,kBAAkB,EAAE,SAAS,CAAC,KAAK,yBAAyB;WAC9E,WAAW,CAAC,IAAI,EAAE,qBAAqB,EAAE,SAAS,CAAC,KAAK,0BAA0B,EAAE,CAAC;QACxF,IAAI,CAAC,yCAAyC,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE;QAC3C,wBAAwB;QACxB,4BAA4B;QAC5B,sCAAsC;KACvC,EAAE,UAAU,CAAC,CAAC;IACf,MAAM,MAAM,GAAG,oBAAoB,CACjC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,EAAE,UAAU,EAAE,0BAA0B,CAAC,EACvF,QAAQ,EACR,KAAK,CACN,CAAC;IACF,MAAM,UAAU,GAAG,oBAAoB,CACrC,WAAW,CAAC,QAAQ,EAAE,4BAA4B,EAAE,UAAU,EAAE,0BAA0B,CAAC,EAC3F,YAAY,EACZ,KAAK,CACN,CAAC;IACF,MAAM,mBAAmB,GAAG,WAAW,CACrC,QAAQ,CAAC,oCAAoC,EAC7C,uBAAuB,EACvB,gBAAgB,CACjB,CAAC;IACF,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC5D,oBAAoB,CAAC,KAAK,EAAE,wBAAwB,KAAK,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IAEtE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,qBAAqB,EAAE,uBAAuB,CAAC,CAAC;IAClF,WAAW,CAAC,QAAQ,EAAE,gBAAgB,EAAE,2BAA2B,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAEpE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE;QAC3C,yBAAyB;QACzB,6BAA6B;QAC7B,8BAA8B;QAC9B,UAAU;QACV,sBAAsB;KACvB,EAAE,UAAU,CAAC,CAAC;IACf,MAAM,cAAc,GAAG,WAAW,CAAC,QAAQ,EAAE,yBAAyB,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACxF,MAAM,kBAAkB,GAAG,WAAW,CAAC,QAAQ,EAAE,6BAA6B,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IAChG,MAAM,oBAAoB,GAAG,WAAW,CAAC,QAAQ,EAAE,8BAA8B,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACnG,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI;QAC7B,CAAC,eAAe,EAAE,cAAc,CAAC;QACjC,CAAC,mBAAmB,EAAE,kBAAkB,CAAC;QACzC,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;KACpC;QAAE,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,gBAAgB,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IAC7D,IAAI,YAAY,KAAK,cAAc,IAAI,gBAAgB,KAAK,kBAAkB;WACzE,iBAAiB,KAAK,oBAAoB;QAAE,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAEzF,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QAAE,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAC/F,WAAW,CACT,YAAY,CAAC,OAAO,EACpB,WAAW,CAAC,QAAQ,CAAC,oBAAoB,EAAE,+BAA+B,CAAC,EAC3E,sBAAsB,CACvB,CAAC;IACF,MAAM,cAAc,GAAG,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChE,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,IAAI,CAAC,uDAAuD,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAAC,sBAAsB,EAAE;QAC7D,MAAM;QACN,mBAAmB;QACnB,+BAA+B;KAChC,EAAE,wBAAwB,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC;IAChF,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,IAAI,CAAC,oDAAoD,CAAC,CAAC;IAChG,MAAM,mBAAmB,GAAG,eAAe,CACzC,QAAQ,EACR,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9D,CAAC;IACF,MAAM,eAAe,GAAG,mBAAmB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACjE,IAAI,eAAe,KAAK,YAAY,CAAC,YAAY,EAAE,mBAAmB,EAAE,wBAAwB,CAAC,EAAE,CAAC;QAClG,IAAI,CAAC,6CAA6C,CAAC,CAAC;IACtD,CAAC;IACD,WAAW,CACT,mBAAmB,CAAC,OAAO,EAC3B,WAAW,CAAC,YAAY,CAAC,6BAA6B,EAAE,qCAAqC,CAAC,EAC9F,qCAAqC,CACtC,CAAC;IAEF,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,uBAAuB,EAAE;QAC7D,MAAM;QACN,6BAA6B;QAC7B,mBAAmB;QACnB,+BAA+B;KAChC,EAAE,yBAAyB,CAAC,CAAC;IAC9B,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,EAAE,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC/E,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAChG,MAAM,WAAW,GAAG,WAAW,CAC7B,WAAW,EACX,6BAA6B,EAC7B,yBAAyB,EACzB,0BAA0B,CAC3B,CAAC;IACF,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,QAAQ,CAAC;QAClD,YAAY,IAAI,CAAC,CAAC;QAClB,OAAO,EAAE,GAAG,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,IAAI,YAAY,KAAK,CAAC;QAAE,IAAI,CAAC,4DAA4D,CAAC,CAAC;IAC3F,MAAM,oBAAoB,GAAG,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,oBAAoB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACjE,IAAI,cAAc,KAAK,YAAY,CAAC,WAAW,EAAE,mBAAmB,EAAE,yBAAyB,CAAC,EAAE,CAAC;QACjG,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACrD,CAAC;IACD,WAAW,CACT,oBAAoB,CAAC,OAAO,EAC5B,WAAW,CAAC,WAAW,CAAC,6BAA6B,EAAE,sCAAsC,CAAC,EAC9F,sCAAsC,CACvC,CAAC;IAEF,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,6BAA6B,EAAE;QAClE,iBAAiB;QACjB,kBAAkB;QAClB,mBAAmB;KACpB,EAAE,+BAA+B,CAAC,CAAC;IACpC,MAAM,aAAa,GAAG,oBAAoB,CACxC,WAAW,CACT,UAAU,EACV,iBAAiB,EACjB,+BAA+B,EAC/B,0BAA0B,EAC1B,IAAI,CACL,EACD,yBAAyB,EACzB,IAAI,CACL,CAAC;IACF,MAAM,mBAAmB,GAAG,WAAW,CAAC,UAAU,EAAE,kBAAkB,EAAE,+BAA+B,EAAE,EAAE,CAAC,CAAC;IAC7G,YAAY,CAAC,mBAAmB,EAAE,gCAAgC,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,KAAK,mBAAmB,CAAC;IACxF,IAAI,aAAa,KAAK,YAAY,CAAC,UAAU,EAAE,mBAAmB,EAAE,+BAA+B,CAAC,EAAE,CAAC;QACrG,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACrC,cAAc,EAAE,qCAAqC;QACrD,uBAAuB,EAAE,YAAY;QACrC,2BAA2B,EAAE,gBAAgB;QAC7C,4BAA4B,EAAE,iBAAiB;QAC/C,QAAQ;QACR,oBAAoB,EAAE,YAAY,CAAC,OAAO;QAC1C,sBAAsB,EAAE;YACtB,QAAQ,EAAE,eAAe;YACzB,oBAAoB,EAAE,mBAAmB,CAAC,OAAO;SAClD;QACD,uBAAuB,EAAE;YACvB,QAAQ,EAAE,cAAc;YACxB,oBAAoB,EAAE,oBAAoB,CAAC,OAAO;SACnD;QACD,6BAA6B,EAAE;YAC7B,QAAQ,EAAE,aAAa;YACvB,gBAAgB,EAAE,WAAW;SAC9B;KACF,CAAC,IAAI,CAAC,CAAC;AACV,CAAC;AAED,IAAI,EAAE,CAAC","sourcesContent":["/** Independently verifies the bounded CIGAR replay reproduction vector. */\n\nimport { createHash } from \"node:crypto\";\nimport { readFileSync } from \"node:fs\";\n\nconst MAX_FIXTURE_BYTES = 1_048_576;\nconst MAX_RETAINED_BYTES = 1_048_576;\nconst MAX_ENCODED_RETAINED_BYTES = 1_398_104;\nconst MAX_ARTIFACTS = 64;\nconst MAX_OBSERVATIONS = 1_024;\nconst MAX_JSON_DEPTH = 64;\nconst DEPENDENCY_ORDER = [\n  \"source\",\n  \"blob\",\n  \"policy\",\n  \"index\",\n  \"manifest\",\n  \"bundle\",\n  \"tokenizer\",\n  \"adapter\",\n  \"consumer\",\n  \"tool_schema\",\n  \"environment\",\n] as const;\n\ntype JsonObject = Record<string, unknown>;\ntype RetainedArtifact = {\n  kind: string;\n  bytesBase64url: string;\n  digestMultihash: string;\n};\ntype ArtifactVerification = {\n  verifiedBytes: Map<string, Buffer>;\n  missing: string[];\n};\n\nfunction fail(message: string): never {\n  throw new Error(`replay vector verification failed: ${message}`);\n}\n\nfunction strictObject(value: unknown, keys: readonly string[], context: string): JsonObject {\n  if (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n    fail(`${context} must be an object`);\n  }\n  const record = value as JsonObject;\n  const actual = Object.keys(record).sort();\n  const expected = [...keys].sort();\n  if (actual.length !== expected.length || actual.some((key, index) => key !== expected[index])) {\n    fail(`${context} has unknown or missing fields`);\n  }\n  return record;\n}\n\nfunction stringField(\n  record: JsonObject,\n  key: string,\n  context: string,\n  maximum = 256,\n  allowEmpty = false,\n): string {\n  const value = record[key];\n  if (typeof value !== \"string\" || (!allowEmpty && value.length === 0) || value.length > maximum) {\n    fail(`${context}.${key} must be a bounded string`);\n  }\n  return value;\n}\n\nfunction booleanField(record: JsonObject, key: string, context: string): boolean {\n  const value = record[key];\n  if (typeof value !== \"boolean\") fail(`${context}.${key} must be a boolean`);\n  return value;\n}\n\nfunction stringArray(value: unknown, context: string, maximum = 64): string[] {\n  if (!Array.isArray(value) || value.length > maximum) fail(`${context} must be a bounded array`);\n  return value.map((item, index) => {\n    if (typeof item !== \"string\" || item.length === 0 || item.length > 256) {\n      fail(`${context}[${index}] must be a bounded string`);\n    }\n    return item;\n  });\n}\n\nfunction sameStrings(actual: readonly string[], expected: readonly string[], context: string): void {\n  if (actual.length !== expected.length || actual.some((value, index) => value !== expected[index])) {\n    fail(`${context} differs`);\n  }\n}\n\nfunction decodeExactBase64url(value: string, context: string, allowEmpty: boolean): Buffer {\n  if (value.length === 0) {\n    if (allowEmpty) return Buffer.alloc(0);\n    fail(`${context} must not be empty`);\n  }\n  if (value.length > MAX_ENCODED_RETAINED_BYTES || !/^[A-Za-z0-9_-]+$/u.test(value)) {\n    fail(`${context} is not bounded unpadded base64url`);\n  }\n  const decoded = Buffer.from(value, \"base64url\");\n  if (decoded.length > MAX_RETAINED_BYTES || decoded.toString(\"base64url\") !== value) {\n    fail(`${context} is non-canonical or exceeds its bound`);\n  }\n  return decoded;\n}\n\nfunction multihash(bytes: Uint8Array): string {\n  return `1220${createHash(\"sha256\").update(bytes).digest(\"hex\")}`;\n}\n\nfunction observationMultihash(observations: readonly Buffer[]): string {\n  const hash = createHash(\"sha256\");\n  for (const observation of observations) {\n    if (observation.length > 0xffff_ffff) fail(\"recorded observation exceeds u32 framing\");\n    const length = Buffer.alloc(4);\n    length.writeUInt32BE(observation.length);\n    hash.update(length);\n    hash.update(observation);\n  }\n  return `1220${hash.digest(\"hex\")}`;\n}\n\nfunction verifyDigest(value: string, context: string): void {\n  if (!/^1220[0-9a-f]{64}$/u.test(value)) fail(`${context} is not a lowercase SHA-256 multihash`);\n}\n\nfunction parseArtifacts(required: readonly string[], value: unknown): RetainedArtifact[] {\n  if (!Array.isArray(value) || value.length > MAX_ARTIFACTS) {\n    fail(\"retained artifact table must be a bounded array\");\n  }\n  const seen = new Set<string>();\n  return value.map((raw, index) => {\n    const entry = strictObject(\n      raw,\n      [\"kind\", \"bytes_base64url\", \"digest_multihash\"],\n      `retained artifact ${index}`,\n    );\n    const kind = stringField(entry, \"kind\", `retained artifact ${index}`);\n    if (!required.includes(kind) || seen.has(kind)) fail(\"retained artifact kind is unknown or duplicated\");\n    seen.add(kind);\n    const bytesBase64url = stringField(\n      entry,\n      \"bytes_base64url\",\n      `retained artifact ${index}`,\n      MAX_ENCODED_RETAINED_BYTES,\n    );\n    const digestMultihash = stringField(entry, \"digest_multihash\", `retained artifact ${index}`, 68);\n    verifyDigest(digestMultihash, `retained artifact ${index} digest`);\n    return { kind, bytesBase64url, digestMultihash };\n  });\n}\n\nfunction verifyArtifacts(required: readonly string[], artifacts: readonly RetainedArtifact[]): ArtifactVerification {\n  const verifiedBytes = new Map<string, Buffer>();\n  for (const artifact of artifacts) {\n    const bytes = decodeExactBase64url(artifact.bytesBase64url, `${artifact.kind} artifact`, false);\n    if (multihash(bytes) === artifact.digestMultihash) verifiedBytes.set(artifact.kind, bytes);\n  }\n  return {\n    verifiedBytes,\n    missing: required.filter((kind) => !verifiedBytes.has(kind)),\n  };\n}\n\nfunction rejectDuplicateJsonKeys(source: string): void {\n  let offset = 0;\n\n  function whitespace(): void {\n    while (offset < source.length && /[\\u0009\\u000a\\u000d\\u0020]/u.test(source[offset] ?? \"\")) offset += 1;\n  }\n\n  function parseString(): string {\n    if (source[offset] !== '\"') fail(\"invalid JSON string\");\n    const start = offset;\n    offset += 1;\n    while (offset < source.length) {\n      const character = source[offset];\n      if (character === '\"') {\n        offset += 1;\n        const decoded = JSON.parse(source.slice(start, offset)) as unknown;\n        if (typeof decoded !== \"string\") fail(\"invalid JSON string\");\n        return decoded;\n      }\n      if (character === \"\\\\\") {\n        offset += 1;\n        const escape = source[offset];\n        if (escape === \"u\") {\n          if (!/^[0-9a-fA-F]{4}$/u.test(source.slice(offset + 1, offset + 5))) fail(\"invalid JSON escape\");\n          offset += 5;\n          continue;\n        }\n        if (escape === undefined || !'\"\\\\/bfnrt'.includes(escape)) fail(\"invalid JSON escape\");\n        offset += 1;\n        continue;\n      }\n      if (character === undefined || character.charCodeAt(0) < 0x20) fail(\"invalid JSON string character\");\n      offset += 1;\n    }\n    fail(\"unterminated JSON string\");\n  }\n\n  function parseValue(depth: number): void {\n    if (depth > MAX_JSON_DEPTH) fail(\"JSON nesting exceeds its bound\");\n    whitespace();\n    const character = source[offset];\n    if (character === \"{\") {\n      offset += 1;\n      whitespace();\n      const keys = new Set<string>();\n      if (source[offset] === \"}\") {\n        offset += 1;\n        return;\n      }\n      while (true) {\n        whitespace();\n        const key = parseString();\n        if (keys.has(key)) fail(\"duplicate JSON object key\");\n        keys.add(key);\n        whitespace();\n        if (source[offset] !== \":\") fail(\"JSON object key lacks a value\");\n        offset += 1;\n        parseValue(depth + 1);\n        whitespace();\n        if (source[offset] === \"}\") {\n          offset += 1;\n          return;\n        }\n        if (source[offset] !== \",\") fail(\"invalid JSON object separator\");\n        offset += 1;\n      }\n    }\n    if (character === \"[\") {\n      offset += 1;\n      whitespace();\n      if (source[offset] === \"]\") {\n        offset += 1;\n        return;\n      }\n      while (true) {\n        parseValue(depth + 1);\n        whitespace();\n        if (source[offset] === \"]\") {\n          offset += 1;\n          return;\n        }\n        if (source[offset] !== \",\") fail(\"invalid JSON array separator\");\n        offset += 1;\n      }\n    }\n    if (character === '\"') {\n      parseString();\n      return;\n    }\n    for (const literal of [\"true\", \"false\", \"null\"] as const) {\n      if (source.startsWith(literal, offset)) {\n        offset += literal.length;\n        return;\n      }\n    }\n    const number = /^-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?/u.exec(source.slice(offset));\n    if (number === null) fail(\"invalid JSON value\");\n    offset += number[0].length;\n  }\n\n  parseValue(0);\n  whitespace();\n  if (offset !== source.length) fail(\"fixture contains trailing JSON\");\n}\n\nfunction main(): void {\n  const path = process.argv[2] ?? \"schemas/vectors/replay-v1.json\";\n  const source = readFileSync(path);\n  if (source.length === 0 || source.length > MAX_FIXTURE_BYTES) fail(\"fixture size is invalid\");\n  let text: string;\n  try {\n    text = new TextDecoder(\"utf-8\", { fatal: true }).decode(source);\n  } catch {\n    fail(\"fixture is not valid UTF-8\");\n  }\n  rejectDuplicateJsonKeys(text);\n  const root = strictObject(JSON.parse(text) as unknown, [\n    \"schema_version\",\n    \"digest_algorithm\",\n    \"observation_framing\",\n    \"retained\",\n    \"required_dependencies\",\n    \"retained_artifacts\",\n    \"missing_artifact_probe\",\n    \"tampered_artifact_probe\",\n    \"empty_recorded_response_probe\",\n    \"expected\",\n  ], \"fixture\");\n  if (stringField(root, \"schema_version\", \"fixture\") !== \"cigar.replay-vector.v1\"\n    || stringField(root, \"digest_algorithm\", \"fixture\") !== \"sha256-multihash-raw-v1\"\n    || stringField(root, \"observation_framing\", \"fixture\") !== \"u32be-length-prefixed-v1\") {\n    fail(\"fixture declares an unsupported profile\");\n  }\n\n  const retained = strictObject(root.retained, [\n    \"bundle_bytes_base64url\",\n    \"invocation_bytes_base64url\",\n    \"recorded_observation_bytes_base64url\",\n  ], \"retained\");\n  const bundle = decodeExactBase64url(\n    stringField(retained, \"bundle_bytes_base64url\", \"retained\", MAX_ENCODED_RETAINED_BYTES),\n    \"bundle\",\n    false,\n  );\n  const invocation = decodeExactBase64url(\n    stringField(retained, \"invocation_bytes_base64url\", \"retained\", MAX_ENCODED_RETAINED_BYTES),\n    \"invocation\",\n    false,\n  );\n  const encodedObservations = stringArray(\n    retained.recorded_observation_bytes_base64url,\n    \"recorded observations\",\n    MAX_OBSERVATIONS,\n  );\n  if (encodedObservations.length === 0) fail(\"recorded observations must not be empty\");\n  const observations = encodedObservations.map((value, index) =>\n    decodeExactBase64url(value, `recorded observation ${index}`, true));\n\n  const required = stringArray(root.required_dependencies, \"required dependencies\");\n  sameStrings(required, DEPENDENCY_ORDER, \"required dependency order\");\n  const artifacts = parseArtifacts(required, root.retained_artifacts);\n\n  const expected = strictObject(root.expected, [\n    \"bundle_digest_multihash\",\n    \"invocation_digest_multihash\",\n    \"observation_digest_multihash\",\n    \"complete\",\n    \"missing_dependencies\",\n  ], \"expected\");\n  const expectedBundle = stringField(expected, \"bundle_digest_multihash\", \"expected\", 68);\n  const expectedInvocation = stringField(expected, \"invocation_digest_multihash\", \"expected\", 68);\n  const expectedObservations = stringField(expected, \"observation_digest_multihash\", \"expected\", 68);\n  for (const [context, value] of [\n    [\"bundle digest\", expectedBundle],\n    [\"invocation digest\", expectedInvocation],\n    [\"observation digest\", expectedObservations],\n  ] as const) verifyDigest(value, context);\n  const bundleDigest = multihash(bundle);\n  const invocationDigest = multihash(invocation);\n  const observationDigest = observationMultihash(observations);\n  if (bundleDigest !== expectedBundle || invocationDigest !== expectedInvocation\n    || observationDigest !== expectedObservations) fail(\"retained replay digest mismatch\");\n\n  const verification = verifyArtifacts(required, artifacts);\n  const complete = verification.missing.length === 0;\n  if (complete !== booleanField(expected, \"complete\", \"expected\")) fail(\"completeness mismatch\");\n  sameStrings(\n    verification.missing,\n    stringArray(expected.missing_dependencies, \"expected missing dependencies\"),\n    \"missing dependencies\",\n  );\n  const artifactBundle = verification.verifiedBytes.get(\"bundle\");\n  if (artifactBundle === undefined || !artifactBundle.equals(bundle)) {\n    fail(\"retained bundle and bundle dependency artifact differ\");\n  }\n\n  const missingProbe = strictObject(root.missing_artifact_probe, [\n    \"kind\",\n    \"expected_complete\",\n    \"expected_missing_dependencies\",\n  ], \"missing artifact probe\");\n  const missingKind = stringField(missingProbe, \"kind\", \"missing artifact probe\");\n  if (!required.includes(missingKind)) fail(\"missing artifact probe names an unknown dependency\");\n  const missingVerification = verifyArtifacts(\n    required,\n    artifacts.filter((artifact) => artifact.kind !== missingKind),\n  );\n  const missingComplete = missingVerification.missing.length === 0;\n  if (missingComplete !== booleanField(missingProbe, \"expected_complete\", \"missing artifact probe\")) {\n    fail(\"missing artifact probe completeness differs\");\n  }\n  sameStrings(\n    missingVerification.missing,\n    stringArray(missingProbe.expected_missing_dependencies, \"missing artifact probe dependencies\"),\n    \"missing artifact probe dependencies\",\n  );\n\n  const tamperProbe = strictObject(root.tampered_artifact_probe, [\n    \"kind\",\n    \"replacement_bytes_base64url\",\n    \"expected_accepted\",\n    \"expected_missing_dependencies\",\n  ], \"tampered artifact probe\");\n  const tamperKind = stringField(tamperProbe, \"kind\", \"tampered artifact probe\");\n  if (!required.includes(tamperKind)) fail(\"tampered artifact probe names an unknown dependency\");\n  const replacement = stringField(\n    tamperProbe,\n    \"replacement_bytes_base64url\",\n    \"tampered artifact probe\",\n    MAX_ENCODED_RETAINED_BYTES,\n  );\n  let replacements = 0;\n  const tampered = artifacts.map((artifact) => {\n    if (artifact.kind !== tamperKind) return artifact;\n    replacements += 1;\n    return { ...artifact, bytesBase64url: replacement };\n  });\n  if (replacements !== 1) fail(\"tampered artifact probe must identify exactly one artifact\");\n  const tamperedVerification = verifyArtifacts(required, tampered);\n  const tamperAccepted = tamperedVerification.missing.length === 0;\n  if (tamperAccepted !== booleanField(tamperProbe, \"expected_accepted\", \"tampered artifact probe\")) {\n    fail(\"tampered artifact probe acceptance differs\");\n  }\n  sameStrings(\n    tamperedVerification.missing,\n    stringArray(tamperProbe.expected_missing_dependencies, \"tampered artifact probe dependencies\"),\n    \"tampered artifact probe dependencies\",\n  );\n\n  const emptyProbe = strictObject(root.empty_recorded_response_probe, [\n    \"bytes_base64url\",\n    \"digest_multihash\",\n    \"expected_accepted\",\n  ], \"empty recorded response probe\");\n  const emptyResponse = decodeExactBase64url(\n    stringField(\n      emptyProbe,\n      \"bytes_base64url\",\n      \"empty recorded response probe\",\n      MAX_ENCODED_RETAINED_BYTES,\n      true,\n    ),\n    \"empty recorded response\",\n    true,\n  );\n  const expectedEmptyDigest = stringField(emptyProbe, \"digest_multihash\", \"empty recorded response probe\", 68);\n  verifyDigest(expectedEmptyDigest, \"empty recorded response digest\");\n  const emptyDigest = multihash(emptyResponse);\n  const emptyAccepted = emptyResponse.length === 0 && emptyDigest === expectedEmptyDigest;\n  if (emptyAccepted !== booleanField(emptyProbe, \"expected_accepted\", \"empty recorded response probe\")) {\n    fail(\"empty recorded response probe acceptance differs\");\n  }\n\n  process.stdout.write(`${JSON.stringify({\n    schema_version: \"cigar.replay-reproduction-result.v1\",\n    bundle_digest_multihash: bundleDigest,\n    invocation_digest_multihash: invocationDigest,\n    observation_digest_multihash: observationDigest,\n    complete,\n    missing_dependencies: verification.missing,\n    missing_artifact_probe: {\n      complete: missingComplete,\n      missing_dependencies: missingVerification.missing,\n    },\n    tampered_artifact_probe: {\n      accepted: tamperAccepted,\n      missing_dependencies: tamperedVerification.missing,\n    },\n    empty_recorded_response_probe: {\n      accepted: emptyAccepted,\n      digest_multihash: emptyDigest,\n    },\n  })}\\n`);\n}\n\nmain();\n"]}

package/dist/verify-vectors.d.ts

@@ -0,0 +1,3 @@
+/** Independent TypeScript verifier for CIGAR canonicalization vectors. */
+export {};
+//# sourceMappingURL=verify-vectors.d.ts.map

package/dist/verify-vectors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-vectors.d.ts","sourceRoot":"","sources":["../src/verify-vectors.ts"],"names":[],"mappings":"AAAA,0EAA0E","sourcesContent":["/** Independent TypeScript verifier for CIGAR canonicalization vectors. */\n\nimport { createHash } from \"node:crypto\";\nimport { readFileSync } from \"node:fs\";\n\ntype CanonicalNode = boolean | bigint | string | Uint8Array | CanonicalNode[] | Map<string, CanonicalNode>;\n\nclass CanonicalFailure extends Error {\n  readonly code: string;\n\n  constructor(code: string) {\n    super(code);\n    this.code = code;\n  }\n}\n\nclass JsonParser {\n  private position = 0;\n  private readonly source: string;\n\n  constructor(source: string) {\n    this.source = source;\n  }\n\n  parse(): CanonicalNode {\n    const value = this.value();\n    this.whitespace();\n    if (this.position !== this.source.length) throw new CanonicalFailure(\"invalid_input\");\n    return value;\n  }\n\n  private whitespace(): void {\n    while (/[ \\t\\r\\n]/u.test(this.source[this.position] ?? \"\")) this.position += 1;\n  }\n\n  private value(): CanonicalNode {\n    this.whitespace();\n    const current = this.source[this.position];\n    if (current === '\"') return this.string();\n    if (current === \"[\") return this.array();\n    if (current === \"{\") return this.object();\n    if (this.source.startsWith(\"true\", this.position)) {\n      this.position += 4;\n      return true;\n    }\n    if (this.source.startsWith(\"false\", this.position)) {\n      this.position += 5;\n      return false;\n    }\n    if (this.source.startsWith(\"null\", this.position)) throw new CanonicalFailure(\"null_forbidden\");\n    return this.number();\n  }\n\n  private string(): string {\n    const start = this.position;\n    this.position += 1;\n    let escaped = false;\n    while (this.position < this.source.length) {\n      const current = this.source[this.position];\n      this.position += 1;\n      if (escaped) {\n        escaped = false;\n      } else if (current === \"\\\\\") {\n        escaped = true;\n      } else if (current === '\"') {\n        try {\n          const parsed: unknown = JSON.parse(this.source.slice(start, this.position));\n          if (typeof parsed !== \"string\") throw new CanonicalFailure(\"invalid_input\");\n          return parsed;\n        } catch (error) {\n          if (error instanceof CanonicalFailure) throw error;\n          throw new CanonicalFailure(\"invalid_input\");\n        }\n      }\n    }\n    throw new CanonicalFailure(\"invalid_input\");\n  }\n\n  private array(): CanonicalNode[] {\n    this.position += 1;\n    const result: CanonicalNode[] = [];\n    this.whitespace();\n    if (this.source[this.position] === \"]\") {\n      this.position += 1;\n      return result;\n    }\n    for (;;) {\n      result.push(this.value());\n      this.whitespace();\n      const current = this.source[this.position];\n      this.position += 1;\n      if (current === \"]\") return result;\n      if (current !== \",\") throw new CanonicalFailure(\"invalid_input\");\n    }\n  }\n\n  private object(): Map<string, CanonicalNode> {\n    this.position += 1;\n    const result = new Map<string, CanonicalNode>();\n    this.whitespace();\n    if (this.source[this.position] === \"}\") {\n      this.position += 1;\n      return result;\n    }\n    for (;;) {\n      this.whitespace();\n      if (this.source[this.position] !== '\"') throw new CanonicalFailure(\"invalid_input\");\n      const key = this.string();\n      if (result.has(key)) throw new CanonicalFailure(\"duplicate_key\");\n      this.whitespace();\n      if (this.source[this.position] !== \":\") throw new CanonicalFailure(\"invalid_input\");\n      this.position += 1;\n      result.set(key, this.value());\n      this.whitespace();\n      const current = this.source[this.position];\n      this.position += 1;\n      if (current === \"}\") return result;\n      if (current !== \",\") throw new CanonicalFailure(\"invalid_input\");\n    }\n  }\n\n  private number(): bigint {\n    const match = /^-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?/u.exec(this.source.slice(this.position));\n    if (match === null) throw new CanonicalFailure(\"invalid_input\");\n    this.position += match[0].length;\n    if (/[.eE]/u.test(match[0])) throw new CanonicalFailure(\"float_forbidden\");\n    const value = BigInt(match[0]);\n    if (value < -(1n << 63n) || value > (1n << 64n) - 1n) throw new CanonicalFailure(\"float_forbidden\");\n    return value;\n  }\n}\n\nfunction parseStrictJson(source: string): CanonicalNode {\n  return new JsonParser(source).parse();\n}\n\nfunction normalizedJson(value: CanonicalNode): string {\n  if (typeof value === \"boolean\") return value ? \"true\" : \"false\";\n  if (typeof value === \"bigint\") return value.toString();\n  if (typeof value === \"string\") return JSON.stringify(value);\n  if (value instanceof Uint8Array) throw new CanonicalFailure(\"bytes_not_json\");\n  if (Array.isArray(value)) return `[${value.map(normalizedJson).join(\",\")}]`;\n  const encoder = new TextEncoder();\n  const entries = [...value.entries()].sort(([first], [second]) =>\n    Buffer.compare(encoder.encode(first), encoder.encode(second)),\n  );\n  return `{${entries.map(([key, child]) => `${JSON.stringify(key)}:${normalizedJson(child)}`).join(\",\")}}`;\n}\n\nfunction head(major: number, argument: bigint): Uint8Array {\n  const prefix = major << 5;\n  if (argument < 24n) return Uint8Array.of(prefix | Number(argument));\n  const sizes: Array<[bigint, number, number]> = [\n    [0xffn, 24, 1], [0xffffn, 25, 2], [0xffffffffn, 26, 4], [0xffffffffffffffffn, 27, 8],\n  ];\n  for (const [maximum, additional, size] of sizes) {\n    if (argument <= maximum) {\n      const output = new Uint8Array(size + 1);\n      output[0] = prefix | additional;\n      let remainder = argument;\n      for (let index = size; index > 0; index -= 1) {\n        output[index] = Number(remainder & 0xffn);\n        remainder >>= 8n;\n      }\n      return output;\n    }\n  }\n  throw new CanonicalFailure(\"limit_exceeded\");\n}\n\nfunction concatenate(parts: Uint8Array[]): Uint8Array {\n  const output = new Uint8Array(parts.reduce((total, part) => total + part.length, 0));\n  let offset = 0;\n  for (const part of parts) {\n    output.set(part, offset);\n    offset += part.length;\n  }\n  return output;\n}\n\nfunction deterministicCbor(value: CanonicalNode): Uint8Array {\n  if (value === false) return Uint8Array.of(0xf4);\n  if (value === true) return Uint8Array.of(0xf5);\n  if (typeof value === \"bigint\") return value >= 0n ? head(0, value) : head(1, -1n - value);\n  if (value instanceof Uint8Array) return concatenate([head(2, BigInt(value.length)), value]);\n  if (typeof value === \"string\") {\n    const encoded = new TextEncoder().encode(value);\n    return concatenate([head(3, BigInt(encoded.length)), encoded]);\n  }\n  if (Array.isArray(value)) return concatenate([head(4, BigInt(value.length)), ...value.map(deterministicCbor)]);\n  const entries = [...value.entries()].map(([key, child]) => ({ key: deterministicCbor(key), child }));\n  entries.sort((first, second) => Buffer.compare(first.key, second.key));\n  return concatenate([head(5, BigInt(entries.length)), ...entries.flatMap(({ key, child }) => [key, deterministicCbor(child)])]);\n}\n\nclass CborParser {\n  position = 0;\n  private readonly source: Uint8Array;\n\n  constructor(source: Uint8Array) {\n    this.source = source;\n  }\n\n  private exact(length: number): Uint8Array {\n    const end = this.position + length;\n    if (!Number.isSafeInteger(length) || end > this.source.length) throw new CanonicalFailure(\"invalid_input\");\n    const value = this.source.slice(this.position, end);\n    this.position = end;\n    return value;\n  }\n\n  private byte(): number {\n    const value = this.exact(1)[0];\n    if (value === undefined) throw new CanonicalFailure(\"invalid_input\");\n    return value;\n  }\n\n  private argument(additional: number): bigint {\n    if (additional < 24) return BigInt(additional);\n    const sizes = new Map([[24, 1], [25, 2], [26, 4], [27, 8]]);\n    const size = sizes.get(additional);\n    if (size === undefined) throw new CanonicalFailure(\"non_canonical\");\n    let value = 0n;\n    for (const current of this.exact(size)) value = (value << 8n) | BigInt(current);\n    const minimum = new Map([[1, 24n], [2, 0x100n], [4, 0x10000n], [8, 0x100000000n]]).get(size);\n    if (minimum === undefined || value < minimum) throw new CanonicalFailure(\"non_canonical\");\n    return value;\n  }\n\n  parse(): CanonicalNode {\n    const initial = this.byte();\n    const major = initial >> 5;\n    const additional = initial & 31;\n    if (major === 0) return this.argument(additional);\n    if (major === 1) {\n      const value = -1n - this.argument(additional);\n      if (value < -(1n << 63n)) throw new CanonicalFailure(\"limit_exceeded\");\n      return value;\n    }\n    if (major === 2 || major === 3) {\n      const length = Number(this.argument(additional));\n      const data = this.exact(length);\n      if (major === 2) return data;\n      try {\n        return new TextDecoder(\"utf-8\", { fatal: true }).decode(data);\n      } catch {\n        throw new CanonicalFailure(\"invalid_input\");\n      }\n    }\n    if (major === 4) {\n      const length = Number(this.argument(additional));\n      return Array.from({ length }, () => this.parse());\n    }\n    if (major === 5) {\n      const length = Number(this.argument(additional));\n      const result = new Map<string, CanonicalNode>();\n      let previous: Uint8Array | undefined;\n      for (let index = 0; index < length; index += 1) {\n        const start = this.position;\n        const key = this.parse();\n        const encoded = this.source.slice(start, this.position);\n        if (typeof key !== \"string\" || (previous !== undefined && Buffer.compare(previous, encoded) >= 0)) {\n          throw new CanonicalFailure(\"non_canonical\");\n        }\n        previous = encoded;\n        if (result.has(key)) throw new CanonicalFailure(\"duplicate_key\");\n        result.set(key, this.parse());\n      }\n      return result;\n    }\n    if (major === 6) throw new CanonicalFailure(\"non_canonical\");\n    if (major === 7 && additional === 20) return false;\n    if (major === 7 && additional === 21) return true;\n    if (major === 7 && additional === 22) throw new CanonicalFailure(\"null_forbidden\");\n    if (major === 7 && additional >= 25 && additional <= 27) throw new CanonicalFailure(\"float_forbidden\");\n    throw new CanonicalFailure(\"non_canonical\");\n  }\n}\n\nfunction strictCbor(source: Uint8Array): CanonicalNode {\n  const parser = new CborParser(source);\n  const value = parser.parse();\n  if (parser.position !== source.length || Buffer.compare(deterministicCbor(value), source) !== 0) {\n    throw new CanonicalFailure(\"non_canonical\");\n  }\n  return value;\n}\n\nconst domains = new Map([\n  [\"atom\", \"CIGAR-ATOM\"], [\"bundle\", \"CIGAR-BUNDLE\"], [\"manifest\", \"CIGAR-MANIFEST\"],\n  [\"handoff\", \"CIGAR-HANDOFF\"], [\"effect\", \"CIGAR-EFFECT\"], [\"receipt\", \"CIGAR-RECEIPT\"],\n  [\"extension_manifest\", \"CIGAR-EXTENSION-MANIFEST\"],\n]);\n\nfunction digest(domain: string, cbor: Uint8Array): Buffer {\n  const separator = domains.get(domain);\n  if (separator === undefined) throw new Error(`unknown digest domain ${domain}`);\n  return createHash(\"sha256\").update(separator).update(Uint8Array.of(0)).update(\"v1\").update(Uint8Array.of(0)).update(cbor).digest();\n}\n\ninterface ValidVector {\n  id: string; domain: string; normalization: string; json_input: string; normalized_json: string; cbor_hex: string;\n  digest_hex: string; multihash: string; signature_input_hex: string;\n}\ninterface InvalidVector { id: string; encoding: string; input: string; error: string }\ninterface DifferentialVector { algorithm: string; count: number; domain: string; digest_accumulator_hex: string }\ninterface Manifest {\n  schema_version: number; profile: string; valid_count: number; invalid_count: number;\n  valid: ValidVector[]; invalid: InvalidVector[]; differential: DifferentialVector;\n}\n\nfunction check(condition: boolean, message: string): void {\n  if (!condition) throw new Error(message);\n}\n\nfunction differentialRecord(index: number): Map<string, CanonicalNode> {\n  const entries: Array<[string, CanonicalNode]> = [\n    [\"active\", index % 2 === 0], [\"index\", BigInt(index)], [\"label\", `record-${index % 997}`],\n    [\"values\", [BigInt(index % 17), BigInt(-(index % 19) - 1)]],\n  ];\n  return new Map(entries);\n}\n\nfunction verify(path: string): [number, number] {\n  const manifest = JSON.parse(readFileSync(path, \"utf8\")) as Manifest;\n  check(manifest.schema_version === 1 && manifest.profile === \"cigar-canonical-v1\", \"invalid manifest profile\");\n  check(manifest.valid_count === manifest.valid.length && manifest.invalid_count === manifest.invalid.length && manifest.valid.length >= 200, \"invalid manifest counts\");\n  for (const vector of manifest.valid) {\n    const value = parseStrictJson(vector.json_input);\n    if (vector.normalization === \"nfc:/human_text\") {\n      if (!(value instanceof Map) || typeof value.get(\"human_text\") !== \"string\") throw new Error(`${vector.id}: invalid NFC target`);\n      value.set(\"human_text\", (value.get(\"human_text\") as string).normalize(\"NFC\"));\n    } else if (vector.normalization !== \"none\") {\n      throw new Error(`${vector.id}: unknown normalization profile`);\n    }\n    const cbor = deterministicCbor(value);\n    const expectedDigest = digest(vector.domain, cbor);\n    check(normalizedJson(value) === vector.normalized_json, `${vector.id}: normalized JSON mismatch`);\n    check(Buffer.from(cbor).toString(\"hex\") === vector.cbor_hex, `${vector.id}: CBOR mismatch`);\n    strictCbor(cbor);\n    check(expectedDigest.toString(\"hex\") === vector.digest_hex && `1220${expectedDigest.toString(\"hex\")}` === vector.multihash, `${vector.id}: digest mismatch`);\n    check(Buffer.concat([Buffer.from(\"CIGAR-SIGNATURE\\0v1\\0\"), cbor]).toString(\"hex\") === vector.signature_input_hex, `${vector.id}: signature input mismatch`);\n  }\n  for (const vector of manifest.invalid) {\n    let actual: string | undefined;\n    try {\n      if (vector.encoding === \"json\") parseStrictJson(vector.input);\n      else if (vector.encoding === \"cbor_hex\") strictCbor(Buffer.from(vector.input, \"hex\"));\n      else if (vector.encoding === \"semantic\") throw new CanonicalFailure(\"invalid_argument\");\n      else if (vector.encoding === \"signature_hex\" && Buffer.from(vector.input, \"hex\").length !== 64) throw new CanonicalFailure(\"invalid_argument\");\n    } catch (error) {\n      if (error instanceof CanonicalFailure) actual = error.code;\n      else throw error;\n    }\n    check(actual === vector.error, `${vector.id}: expected ${vector.error}, found ${actual ?? \"accepted\"}`);\n  }\n  const differential = manifest.differential;\n  check(differential.algorithm === \"cigar-differential-record-v1\" && differential.count >= 100_000, \"invalid differential metadata\");\n  const accumulator = createHash(\"sha256\");\n  for (let index = 0; index < differential.count; index += 1) accumulator.update(digest(differential.domain, deterministicCbor(differentialRecord(index))));\n  check(accumulator.digest(\"hex\") === differential.digest_accumulator_hex, \"100,000-record differential accumulator mismatch\");\n  return [manifest.valid.length + manifest.invalid.length, differential.count];\n}\n\nconst path = process.argv[2] ?? \"schemas/vectors/canonical-v1.json\";\nconst [vectorCount, differentialCount] = verify(path);\nconsole.log(`verified ${vectorCount} canonical vectors and ${differentialCount} differential records`);\n"]}

package/dist/verify-vectors.js

@@ -0,0 +1,383 @@
+/** Independent TypeScript verifier for CIGAR canonicalization vectors. */
+import { createHash } from "node:crypto";
+import { readFileSync } from "node:fs";
+class CanonicalFailure extends Error {
+    code;
+    constructor(code) {
+        super(code);
+        this.code = code;
+    }
+}
+class JsonParser {
+    position = 0;
+    source;
+    constructor(source) {
+        this.source = source;
+    }
+    parse() {
+        const value = this.value();
+        this.whitespace();
+        if (this.position !== this.source.length)
+            throw new CanonicalFailure("invalid_input");
+        return value;
+    }
+    whitespace() {
+        while (/[ \t\r\n]/u.test(this.source[this.position] ?? ""))
+            this.position += 1;
+    }
+    value() {
+        this.whitespace();
+        const current = this.source[this.position];
+        if (current === '"')
+            return this.string();
+        if (current === "[")
+            return this.array();
+        if (current === "{")
+            return this.object();
+        if (this.source.startsWith("true", this.position)) {
+            this.position += 4;
+            return true;
+        }
+        if (this.source.startsWith("false", this.position)) {
+            this.position += 5;
+            return false;
+        }
+        if (this.source.startsWith("null", this.position))
+            throw new CanonicalFailure("null_forbidden");
+        return this.number();
+    }
+    string() {
+        const start = this.position;
+        this.position += 1;
+        let escaped = false;
+        while (this.position < this.source.length) {
+            const current = this.source[this.position];
+            this.position += 1;
+            if (escaped) {
+                escaped = false;
+            }
+            else if (current === "\\") {
+                escaped = true;
+            }
+            else if (current === '"') {
+                try {
+                    const parsed = JSON.parse(this.source.slice(start, this.position));
+                    if (typeof parsed !== "string")
+                        throw new CanonicalFailure("invalid_input");
+                    return parsed;
+                }
+                catch (error) {
+                    if (error instanceof CanonicalFailure)
+                        throw error;
+                    throw new CanonicalFailure("invalid_input");
+                }
+            }
+        }
+        throw new CanonicalFailure("invalid_input");
+    }
+    array() {
+        this.position += 1;
+        const result = [];
+        this.whitespace();
+        if (this.source[this.position] === "]") {
+            this.position += 1;
+            return result;
+        }
+        for (;;) {
+            result.push(this.value());
+            this.whitespace();
+            const current = this.source[this.position];
+            this.position += 1;
+            if (current === "]")
+                return result;
+            if (current !== ",")
+                throw new CanonicalFailure("invalid_input");
+        }
+    }
+    object() {
+        this.position += 1;
+        const result = new Map();
+        this.whitespace();
+        if (this.source[this.position] === "}") {
+            this.position += 1;
+            return result;
+        }
+        for (;;) {
+            this.whitespace();
+            if (this.source[this.position] !== '"')
+                throw new CanonicalFailure("invalid_input");
+            const key = this.string();
+            if (result.has(key))
+                throw new CanonicalFailure("duplicate_key");
+            this.whitespace();
+            if (this.source[this.position] !== ":")
+                throw new CanonicalFailure("invalid_input");
+            this.position += 1;
+            result.set(key, this.value());
+            this.whitespace();
+            const current = this.source[this.position];
+            this.position += 1;
+            if (current === "}")
+                return result;
+            if (current !== ",")
+                throw new CanonicalFailure("invalid_input");
+        }
+    }
+    number() {
+        const match = /^-?(?:0|[1-9][0-9]*)(?:\.[0-9]+)?(?:[eE][+-]?[0-9]+)?/u.exec(this.source.slice(this.position));
+        if (match === null)
+            throw new CanonicalFailure("invalid_input");
+        this.position += match[0].length;
+        if (/[.eE]/u.test(match[0]))
+            throw new CanonicalFailure("float_forbidden");
+        const value = BigInt(match[0]);
+        if (value < -(1n << 63n) || value > (1n << 64n) - 1n)
+            throw new CanonicalFailure("float_forbidden");
+        return value;
+    }
+}
+function parseStrictJson(source) {
+    return new JsonParser(source).parse();
+}
+function normalizedJson(value) {
+    if (typeof value === "boolean")
+        return value ? "true" : "false";
+    if (typeof value === "bigint")
+        return value.toString();
+    if (typeof value === "string")
+        return JSON.stringify(value);
+    if (value instanceof Uint8Array)
+        throw new CanonicalFailure("bytes_not_json");
+    if (Array.isArray(value))
+        return `[${value.map(normalizedJson).join(",")}]`;
+    const encoder = new TextEncoder();
+    const entries = [...value.entries()].sort(([first], [second]) => Buffer.compare(encoder.encode(first), encoder.encode(second)));
+    return `{${entries.map(([key, child]) => `${JSON.stringify(key)}:${normalizedJson(child)}`).join(",")}}`;
+}
+function head(major, argument) {
+    const prefix = major << 5;
+    if (argument < 24n)
+        return Uint8Array.of(prefix | Number(argument));
+    const sizes = [
+        [0xffn, 24, 1], [0xffffn, 25, 2], [0xffffffffn, 26, 4], [0xffffffffffffffffn, 27, 8],
+    ];
+    for (const [maximum, additional, size] of sizes) {
+        if (argument <= maximum) {
+            const output = new Uint8Array(size + 1);
+            output[0] = prefix | additional;
+            let remainder = argument;
+            for (let index = size; index > 0; index -= 1) {
+                output[index] = Number(remainder & 0xffn);
+                remainder >>= 8n;
+            }
+            return output;
+        }
+    }
+    throw new CanonicalFailure("limit_exceeded");
+}
+function concatenate(parts) {
+    const output = new Uint8Array(parts.reduce((total, part) => total + part.length, 0));
+    let offset = 0;
+    for (const part of parts) {
+        output.set(part, offset);
+        offset += part.length;
+    }
+    return output;
+}
+function deterministicCbor(value) {
+    if (value === false)
+        return Uint8Array.of(0xf4);
+    if (value === true)
+        return Uint8Array.of(0xf5);
+    if (typeof value === "bigint")
+        return value >= 0n ? head(0, value) : head(1, -1n - value);
+    if (value instanceof Uint8Array)
+        return concatenate([head(2, BigInt(value.length)), value]);
+    if (typeof value === "string") {
+        const encoded = new TextEncoder().encode(value);
+        return concatenate([head(3, BigInt(encoded.length)), encoded]);
+    }
+    if (Array.isArray(value))
+        return concatenate([head(4, BigInt(value.length)), ...value.map(deterministicCbor)]);
+    const entries = [...value.entries()].map(([key, child]) => ({ key: deterministicCbor(key), child }));
+    entries.sort((first, second) => Buffer.compare(first.key, second.key));
+    return concatenate([head(5, BigInt(entries.length)), ...entries.flatMap(({ key, child }) => [key, deterministicCbor(child)])]);
+}
+class CborParser {
+    position = 0;
+    source;
+    constructor(source) {
+        this.source = source;
+    }
+    exact(length) {
+        const end = this.position + length;
+        if (!Number.isSafeInteger(length) || end > this.source.length)
+            throw new CanonicalFailure("invalid_input");
+        const value = this.source.slice(this.position, end);
+        this.position = end;
+        return value;
+    }
+    byte() {
+        const value = this.exact(1)[0];
+        if (value === undefined)
+            throw new CanonicalFailure("invalid_input");
+        return value;
+    }
+    argument(additional) {
+        if (additional < 24)
+            return BigInt(additional);
+        const sizes = new Map([[24, 1], [25, 2], [26, 4], [27, 8]]);
+        const size = sizes.get(additional);
+        if (size === undefined)
+            throw new CanonicalFailure("non_canonical");
+        let value = 0n;
+        for (const current of this.exact(size))
+            value = (value << 8n) | BigInt(current);
+        const minimum = new Map([[1, 24n], [2, 0x100n], [4, 0x10000n], [8, 0x100000000n]]).get(size);
+        if (minimum === undefined || value < minimum)
+            throw new CanonicalFailure("non_canonical");
+        return value;
+    }
+    parse() {
+        const initial = this.byte();
+        const major = initial >> 5;
+        const additional = initial & 31;
+        if (major === 0)
+            return this.argument(additional);
+        if (major === 1) {
+            const value = -1n - this.argument(additional);
+            if (value < -(1n << 63n))
+                throw new CanonicalFailure("limit_exceeded");
+            return value;
+        }
+        if (major === 2 || major === 3) {
+            const length = Number(this.argument(additional));
+            const data = this.exact(length);
+            if (major === 2)
+                return data;
+            try {
+                return new TextDecoder("utf-8", { fatal: true }).decode(data);
+            }
+            catch {
+                throw new CanonicalFailure("invalid_input");
+            }
+        }
+        if (major === 4) {
+            const length = Number(this.argument(additional));
+            return Array.from({ length }, () => this.parse());
+        }
+        if (major === 5) {
+            const length = Number(this.argument(additional));
+            const result = new Map();
+            let previous;
+            for (let index = 0; index < length; index += 1) {
+                const start = this.position;
+                const key = this.parse();
+                const encoded = this.source.slice(start, this.position);
+                if (typeof key !== "string" || (previous !== undefined && Buffer.compare(previous, encoded) >= 0)) {
+                    throw new CanonicalFailure("non_canonical");
+                }
+                previous = encoded;
+                if (result.has(key))
+                    throw new CanonicalFailure("duplicate_key");
+                result.set(key, this.parse());
+            }
+            return result;
+        }
+        if (major === 6)
+            throw new CanonicalFailure("non_canonical");
+        if (major === 7 && additional === 20)
+            return false;
+        if (major === 7 && additional === 21)
+            return true;
+        if (major === 7 && additional === 22)
+            throw new CanonicalFailure("null_forbidden");
+        if (major === 7 && additional >= 25 && additional <= 27)
+            throw new CanonicalFailure("float_forbidden");
+        throw new CanonicalFailure("non_canonical");
+    }
+}
+function strictCbor(source) {
+    const parser = new CborParser(source);
+    const value = parser.parse();
+    if (parser.position !== source.length || Buffer.compare(deterministicCbor(value), source) !== 0) {
+        throw new CanonicalFailure("non_canonical");
+    }
+    return value;
+}
+const domains = new Map([
+    ["atom", "CIGAR-ATOM"], ["bundle", "CIGAR-BUNDLE"], ["manifest", "CIGAR-MANIFEST"],
+    ["handoff", "CIGAR-HANDOFF"], ["effect", "CIGAR-EFFECT"], ["receipt", "CIGAR-RECEIPT"],
+    ["extension_manifest", "CIGAR-EXTENSION-MANIFEST"],
+]);
+function digest(domain, cbor) {
+    const separator = domains.get(domain);
+    if (separator === undefined)
+        throw new Error(`unknown digest domain ${domain}`);
+    return createHash("sha256").update(separator).update(Uint8Array.of(0)).update("v1").update(Uint8Array.of(0)).update(cbor).digest();
+}
+function check(condition, message) {
+    if (!condition)
+        throw new Error(message);
+}
+function differentialRecord(index) {
+    const entries = [
+        ["active", index % 2 === 0], ["index", BigInt(index)], ["label", `record-${index % 997}`],
+        ["values", [BigInt(index % 17), BigInt(-(index % 19) - 1)]],
+    ];
+    return new Map(entries);
+}
+function verify(path) {
+    const manifest = JSON.parse(readFileSync(path, "utf8"));
+    check(manifest.schema_version === 1 && manifest.profile === "cigar-canonical-v1", "invalid manifest profile");
+    check(manifest.valid_count === manifest.valid.length && manifest.invalid_count === manifest.invalid.length && manifest.valid.length >= 200, "invalid manifest counts");
+    for (const vector of manifest.valid) {
+        const value = parseStrictJson(vector.json_input);
+        if (vector.normalization === "nfc:/human_text") {
+            if (!(value instanceof Map) || typeof value.get("human_text") !== "string")
+                throw new Error(`${vector.id}: invalid NFC target`);
+            value.set("human_text", value.get("human_text").normalize("NFC"));
+        }
+        else if (vector.normalization !== "none") {
+            throw new Error(`${vector.id}: unknown normalization profile`);
+        }
+        const cbor = deterministicCbor(value);
+        const expectedDigest = digest(vector.domain, cbor);
+        check(normalizedJson(value) === vector.normalized_json, `${vector.id}: normalized JSON mismatch`);
+        check(Buffer.from(cbor).toString("hex") === vector.cbor_hex, `${vector.id}: CBOR mismatch`);
+        strictCbor(cbor);
+        check(expectedDigest.toString("hex") === vector.digest_hex && `1220${expectedDigest.toString("hex")}` === vector.multihash, `${vector.id}: digest mismatch`);
+        check(Buffer.concat([Buffer.from("CIGAR-SIGNATURE\0v1\0"), cbor]).toString("hex") === vector.signature_input_hex, `${vector.id}: signature input mismatch`);
+    }
+    for (const vector of manifest.invalid) {
+        let actual;
+        try {
+            if (vector.encoding === "json")
+                parseStrictJson(vector.input);
+            else if (vector.encoding === "cbor_hex")
+                strictCbor(Buffer.from(vector.input, "hex"));
+            else if (vector.encoding === "semantic")
+                throw new CanonicalFailure("invalid_argument");
+            else if (vector.encoding === "signature_hex" && Buffer.from(vector.input, "hex").length !== 64)
+                throw new CanonicalFailure("invalid_argument");
+        }
+        catch (error) {
+            if (error instanceof CanonicalFailure)
+                actual = error.code;
+            else
+                throw error;
+        }
+        check(actual === vector.error, `${vector.id}: expected ${vector.error}, found ${actual ?? "accepted"}`);
+    }
+    const differential = manifest.differential;
+    check(differential.algorithm === "cigar-differential-record-v1" && differential.count >= 100_000, "invalid differential metadata");
+    const accumulator = createHash("sha256");
+    for (let index = 0; index < differential.count; index += 1)
+        accumulator.update(digest(differential.domain, deterministicCbor(differentialRecord(index))));
+    check(accumulator.digest("hex") === differential.digest_accumulator_hex, "100,000-record differential accumulator mismatch");
+    return [manifest.valid.length + manifest.invalid.length, differential.count];
+}
+const path = process.argv[2] ?? "schemas/vectors/canonical-v1.json";
+const [vectorCount, differentialCount] = verify(path);
+console.log(`verified ${vectorCount} canonical vectors and ${differentialCount} differential records`);
+//# sourceMappingURL=verify-vectors.js.map

package/dist/verify-vectors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-vectors.js","sourceRoot":"","sources":["../src/verify-vectors.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAE1E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAIvC,MAAM,gBAAiB,SAAQ,KAAK;IACzB,IAAI,CAAS;IAEtB,YAAY,IAAY;QACtB,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,UAAU;IACN,QAAQ,GAAG,CAAC,CAAC;IACJ,MAAM,CAAS;IAEhC,YAAY,MAAc;QACxB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,KAAK;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACtF,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,UAAU;QAChB,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAAE,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;IACjF,CAAC;IAEO,KAAK;QACX,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAI,OAAO,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QACzC,IAAI,OAAO,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;IACvB,CAAC;IAEO,MAAM;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC5B,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;QACnB,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,OAAO,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,GAAG,KAAK,CAAC;YAClB,CAAC;iBAAM,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC5B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;iBAAM,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;gBAC3B,IAAI,CAAC;oBACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAC5E,IAAI,OAAO,MAAM,KAAK,QAAQ;wBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;oBAC5E,OAAO,MAAM,CAAC;gBAChB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,KAAK,YAAY,gBAAgB;wBAAE,MAAM,KAAK,CAAC;oBACnD,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC9C,CAAC;IAEO,KAAK;QACX,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;QACnB,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC;YACvC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,SAAS,CAAC;YACR,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC1B,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,IAAI,OAAO,KAAK,GAAG;gBAAE,OAAO,MAAM,CAAC;YACnC,IAAI,OAAO,KAAK,GAAG;gBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAEO,MAAM;QACZ,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC;YACvC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,SAAS,CAAC;YACR,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG;gBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;YACpF,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;YACjE,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG;gBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;YACpF,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC9B,IAAI,CAAC,UAAU,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,IAAI,OAAO,KAAK,GAAG;gBAAE,OAAO,MAAM,CAAC;YACnC,IAAI,OAAO,KAAK,GAAG;gBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAEO,MAAM;QACZ,MAAM,KAAK,GAAG,wDAAwD,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9G,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACjC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE;YAAE,MAAM,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;QACpG,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB;IAC1C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,KAAK,YAAY,UAAU;QAAE,MAAM,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC5E,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAC9D,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAC9D,CAAC;IACF,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC3G,CAAC;AAED,SAAS,IAAI,CAAC,KAAa,EAAE,QAAgB;IAC3C,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,CAAC;IAC1B,IAAI,QAAQ,GAAG,GAAG;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAoC;QAC7C,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAC;KACrF,CAAC;IACF,KAAK,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAChD,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,UAAU,CAAC;YAChC,IAAI,SAAS,GAAG,QAAQ,CAAC;YACzB,KAAK,IAAI,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC;gBAC1C,SAAS,KAAK,EAAE,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,KAAmB;IACtC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACrF,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzB,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAoB;IAC7C,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;IAC1F,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5F,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAChD,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC/G,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,iBAAiB,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACrG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,OAAO,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjI,CAAC;AAED,MAAM,UAAU;IACd,QAAQ,GAAG,CAAC,CAAC;IACI,MAAM,CAAa;IAEpC,YAAY,MAAkB;QAC5B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAEO,KAAK,CAAC,MAAc;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QAC3G,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC;QACpB,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,IAAI;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,QAAQ,CAAC,UAAkB;QACjC,IAAI,UAAU,GAAG,EAAE;YAAE,OAAO,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACpE,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7F,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,GAAG,OAAO;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QAC1F,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,CAAC;QAC3B,MAAM,UAAU,GAAG,OAAO,GAAG,EAAE,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC9C,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC;gBAAE,MAAM,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;YACvE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7B,IAAI,CAAC;gBACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAChE,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACjD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;YAChD,IAAI,QAAgC,CAAC;YACrC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACxD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBAClG,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;gBAC9C,CAAC;gBACD,QAAQ,GAAG,OAAO,CAAC;gBACnB,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;gBACjE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,KAAK,KAAK,CAAC;YAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;QAC7D,IAAI,KAAK,KAAK,CAAC,IAAI,UAAU,KAAK,EAAE;YAAE,OAAO,KAAK,CAAC;QACnD,IAAI,KAAK,KAAK,CAAC,IAAI,UAAU,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;QAClD,IAAI,KAAK,KAAK,CAAC,IAAI,UAAU,KAAK,EAAE;YAAE,MAAM,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;QACnF,IAAI,KAAK,KAAK,CAAC,IAAI,UAAU,IAAI,EAAE,IAAI,UAAU,IAAI,EAAE;YAAE,MAAM,IAAI,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;QACvG,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC9C,CAAC;CACF;AAED,SAAS,UAAU,CAAC,MAAkB;IACpC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IAC7B,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChG,MAAM,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;IACtB,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC;IAClF,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC,SAAS,EAAE,eAAe,CAAC;IACtF,CAAC,oBAAoB,EAAE,0BAA0B,CAAC;CACnD,CAAC,CAAC;AAEH,SAAS,MAAM,CAAC,MAAc,EAAE,IAAgB;IAC9C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,SAAS,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;AACrI,CAAC;AAaD,SAAS,KAAK,CAAC,SAAkB,EAAE,OAAe;IAChD,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,MAAM,OAAO,GAAmC;QAC9C,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,GAAG,GAAG,EAAE,CAAC;QACzF,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAC5D,CAAC;IACF,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAa,CAAC;IACpE,KAAK,CAAC,QAAQ,CAAC,cAAc,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,oBAAoB,EAAE,0BAA0B,CAAC,CAAC;IAC9G,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,EAAE,yBAAyB,CAAC,CAAC;IACvK,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,MAAM,CAAC,aAAa,KAAK,iBAAiB,EAAE,CAAC;YAC/C,IAAI,CAAC,CAAC,KAAK,YAAY,GAAG,CAAC,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,EAAE,sBAAsB,CAAC,CAAC;YAChI,KAAK,CAAC,GAAG,CAAC,YAAY,EAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,CAAC;aAAM,IAAI,MAAM,CAAC,aAAa,KAAK,MAAM,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,EAAE,iCAAiC,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnD,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,eAAe,EAAE,GAAG,MAAM,CAAC,EAAE,4BAA4B,CAAC,CAAC;QAClG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC5F,UAAU,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,UAAU,IAAI,OAAO,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,SAAS,EAAE,GAAG,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAC7J,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,mBAAmB,EAAE,GAAG,MAAM,CAAC,EAAE,4BAA4B,CAAC,CAAC;IAC9J,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,MAA0B,CAAC;QAC/B,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM;gBAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;iBACzD,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU;gBAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;iBACjF,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU;gBAAE,MAAM,IAAI,gBAAgB,CAAC,kBAAkB,CAAC,CAAC;iBACnF,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,MAAM,KAAK,EAAE;gBAAE,MAAM,IAAI,gBAAgB,CAAC,kBAAkB,CAAC,CAAC;QACjJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,gBAAgB;gBAAE,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC;;gBACtD,MAAM,KAAK,CAAC;QACnB,CAAC;QACD,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,EAAE,cAAc,MAAM,CAAC,KAAK,WAAW,MAAM,IAAI,UAAU,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC3C,KAAK,CAAC,YAAY,CAAC,SAAS,KAAK,8BAA8B,IAAI,YAAY,CAAC,KAAK,IAAI,OAAO,EAAE,+BAA+B,CAAC,CAAC;IACnI,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC;QAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1J,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,YAAY,CAAC,sBAAsB,EAAE,kDAAkD,CAAC,CAAC;IAC7H,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,mCAAmC,CAAC;AACpE,MAAM,CAAC,WAAW,EAAE,iBAAiB,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;AACtD,OAAO,CAAC,GAAG,CAAC,YAAY,WAAW,0BAA0B,iBAAiB,uBAAuB,CAAC,CAAC","sourcesContent":["/** Independent TypeScript verifier for CIGAR canonicalization vectors. */\n\nimport { createHash } from \"node:crypto\";\nimport { readFileSync } from \"node:fs\";\n\ntype CanonicalNode = boolean | bigint | string | Uint8Array | CanonicalNode[] | Map<string, CanonicalNode>;\n\nclass CanonicalFailure extends Error {\n  readonly code: string;\n\n  constructor(code: string) {\n    super(code);\n    this.code = code;\n  }\n}\n\nclass JsonParser {\n  private position = 0;\n  private readonly source: string;\n\n  constructor(source: string) {\n    this.source = source;\n  }\n\n  parse(): CanonicalNode {\n    const value = this.value();\n    this.whitespace();\n    if (this.position !== this.source.length) throw new CanonicalFailure(\"invalid_input\");\n    return value;\n  }\n\n  private whitespace(): void {\n    while (/[ \\t\\r\\n]/u.test(this.source[this.position] ?? \"\")) this.position += 1;\n  }\n\n  private value(): CanonicalNode {\n    this.whitespace();\n    const current = this.source[this.position];\n    if (current === '\"') return this.string();\n    if (current === \"[\") return this.array();\n    if (current === \"{\") return this.object();\n    if (this.source.startsWith(\"true\", this.position)) {\n      this.position += 4;\n      return true;\n    }\n    if (this.source.startsWith(\"false\", this.position)) {\n      this.position += 5;\n      return false;\n    }\n    if (this.source.startsWith(\"null\", this.position)) throw new CanonicalFailure(\"null_forbidden\");\n    return this.number();\n  }\n\n  private string(): string {\n    const start = this.position;\n    this.position += 1;\n    let escaped = false;\n    while (this.position < this.source.length) {\n      const current = this.source[this.position];\n      this.position += 1;\n      if (escaped) {\n        escaped = false;\n      } else if (current === \"\\\\\") {\n        escaped = true;\n      } else if (current === '\"') {\n        try {\n          const parsed: unknown = JSON.parse(this.source.slice(start, this.position));\n          if (typeof parsed !== \"string\") throw new CanonicalFailure(\"invalid_input\");\n          return parsed;\n        } catch (error) {\n          if (error instanceof CanonicalFailure) throw error;\n          throw new CanonicalFailure(\"invalid_input\");\n        }\n      }\n    }\n    throw new CanonicalFailure(\"invalid_input\");\n  }\n\n  private array(): CanonicalNode[] {\n    this.position += 1;\n    const result: CanonicalNode[] = [];\n    this.whitespace();\n    if (this.source[this.position] === \"]\") {\n      this.position += 1;\n      return result;\n    }\n    for (;;) {\n      result.push(this.value());\n      this.whitespace();\n      const current = this.source[this.position];\n      this.position += 1;\n      if (current === \"]\") return result;\n      if (current !== \",\") throw new CanonicalFailure(\"invalid_input\");\n    }\n  }\n\n  private object(): Map<string, CanonicalNode> {\n    this.position += 1;\n    const result = new Map<string, CanonicalNode>();\n    this.whitespace();\n    if (this.source[this.position] === \"}\") {\n      this.position += 1;\n      return result;\n    }\n    for (;;) {\n      this.whitespace();\n      if (this.source[this.position] !== '\"') throw new CanonicalFailure(\"invalid_input\");\n      const key = this.string();\n      if (result.has(key)) throw new CanonicalFailure(\"duplicate_key\");\n      this.whitespace();\n      if (this.source[this.position] !== \":\") throw new CanonicalFailure(\"invalid_input\");\n      this.position += 1;\n      result.set(key, this.value());\n      this.whitespace();\n      const current = this.source[this.position];\n      this.position += 1;\n      if (current === \"}\") return result;\n      if (current !== \",\") throw new CanonicalFailure(\"invalid_input\");\n    }\n  }\n\n  private number(): bigint {\n    const match = /^-?(?:0|[1-9][0-9]*)(?:\\.[0-9]+)?(?:[eE][+-]?[0-9]+)?/u.exec(this.source.slice(this.position));\n    if (match === null) throw new CanonicalFailure(\"invalid_input\");\n    this.position += match[0].length;\n    if (/[.eE]/u.test(match[0])) throw new CanonicalFailure(\"float_forbidden\");\n    const value = BigInt(match[0]);\n    if (value < -(1n << 63n) || value > (1n << 64n) - 1n) throw new CanonicalFailure(\"float_forbidden\");\n    return value;\n  }\n}\n\nfunction parseStrictJson(source: string): CanonicalNode {\n  return new JsonParser(source).parse();\n}\n\nfunction normalizedJson(value: CanonicalNode): string {\n  if (typeof value === \"boolean\") return value ? \"true\" : \"false\";\n  if (typeof value === \"bigint\") return value.toString();\n  if (typeof value === \"string\") return JSON.stringify(value);\n  if (value instanceof Uint8Array) throw new CanonicalFailure(\"bytes_not_json\");\n  if (Array.isArray(value)) return `[${value.map(normalizedJson).join(\",\")}]`;\n  const encoder = new TextEncoder();\n  const entries = [...value.entries()].sort(([first], [second]) =>\n    Buffer.compare(encoder.encode(first), encoder.encode(second)),\n  );\n  return `{${entries.map(([key, child]) => `${JSON.stringify(key)}:${normalizedJson(child)}`).join(\",\")}}`;\n}\n\nfunction head(major: number, argument: bigint): Uint8Array {\n  const prefix = major << 5;\n  if (argument < 24n) return Uint8Array.of(prefix | Number(argument));\n  const sizes: Array<[bigint, number, number]> = [\n    [0xffn, 24, 1], [0xffffn, 25, 2], [0xffffffffn, 26, 4], [0xffffffffffffffffn, 27, 8],\n  ];\n  for (const [maximum, additional, size] of sizes) {\n    if (argument <= maximum) {\n      const output = new Uint8Array(size + 1);\n      output[0] = prefix | additional;\n      let remainder = argument;\n      for (let index = size; index > 0; index -= 1) {\n        output[index] = Number(remainder & 0xffn);\n        remainder >>= 8n;\n      }\n      return output;\n    }\n  }\n  throw new CanonicalFailure(\"limit_exceeded\");\n}\n\nfunction concatenate(parts: Uint8Array[]): Uint8Array {\n  const output = new Uint8Array(parts.reduce((total, part) => total + part.length, 0));\n  let offset = 0;\n  for (const part of parts) {\n    output.set(part, offset);\n    offset += part.length;\n  }\n  return output;\n}\n\nfunction deterministicCbor(value: CanonicalNode): Uint8Array {\n  if (value === false) return Uint8Array.of(0xf4);\n  if (value === true) return Uint8Array.of(0xf5);\n  if (typeof value === \"bigint\") return value >= 0n ? head(0, value) : head(1, -1n - value);\n  if (value instanceof Uint8Array) return concatenate([head(2, BigInt(value.length)), value]);\n  if (typeof value === \"string\") {\n    const encoded = new TextEncoder().encode(value);\n    return concatenate([head(3, BigInt(encoded.length)), encoded]);\n  }\n  if (Array.isArray(value)) return concatenate([head(4, BigInt(value.length)), ...value.map(deterministicCbor)]);\n  const entries = [...value.entries()].map(([key, child]) => ({ key: deterministicCbor(key), child }));\n  entries.sort((first, second) => Buffer.compare(first.key, second.key));\n  return concatenate([head(5, BigInt(entries.length)), ...entries.flatMap(({ key, child }) => [key, deterministicCbor(child)])]);\n}\n\nclass CborParser {\n  position = 0;\n  private readonly source: Uint8Array;\n\n  constructor(source: Uint8Array) {\n    this.source = source;\n  }\n\n  private exact(length: number): Uint8Array {\n    const end = this.position + length;\n    if (!Number.isSafeInteger(length) || end > this.source.length) throw new CanonicalFailure(\"invalid_input\");\n    const value = this.source.slice(this.position, end);\n    this.position = end;\n    return value;\n  }\n\n  private byte(): number {\n    const value = this.exact(1)[0];\n    if (value === undefined) throw new CanonicalFailure(\"invalid_input\");\n    return value;\n  }\n\n  private argument(additional: number): bigint {\n    if (additional < 24) return BigInt(additional);\n    const sizes = new Map([[24, 1], [25, 2], [26, 4], [27, 8]]);\n    const size = sizes.get(additional);\n    if (size === undefined) throw new CanonicalFailure(\"non_canonical\");\n    let value = 0n;\n    for (const current of this.exact(size)) value = (value << 8n) | BigInt(current);\n    const minimum = new Map([[1, 24n], [2, 0x100n], [4, 0x10000n], [8, 0x100000000n]]).get(size);\n    if (minimum === undefined || value < minimum) throw new CanonicalFailure(\"non_canonical\");\n    return value;\n  }\n\n  parse(): CanonicalNode {\n    const initial = this.byte();\n    const major = initial >> 5;\n    const additional = initial & 31;\n    if (major === 0) return this.argument(additional);\n    if (major === 1) {\n      const value = -1n - this.argument(additional);\n      if (value < -(1n << 63n)) throw new CanonicalFailure(\"limit_exceeded\");\n      return value;\n    }\n    if (major === 2 || major === 3) {\n      const length = Number(this.argument(additional));\n      const data = this.exact(length);\n      if (major === 2) return data;\n      try {\n        return new TextDecoder(\"utf-8\", { fatal: true }).decode(data);\n      } catch {\n        throw new CanonicalFailure(\"invalid_input\");\n      }\n    }\n    if (major === 4) {\n      const length = Number(this.argument(additional));\n      return Array.from({ length }, () => this.parse());\n    }\n    if (major === 5) {\n      const length = Number(this.argument(additional));\n      const result = new Map<string, CanonicalNode>();\n      let previous: Uint8Array | undefined;\n      for (let index = 0; index < length; index += 1) {\n        const start = this.position;\n        const key = this.parse();\n        const encoded = this.source.slice(start, this.position);\n        if (typeof key !== \"string\" || (previous !== undefined && Buffer.compare(previous, encoded) >= 0)) {\n          throw new CanonicalFailure(\"non_canonical\");\n        }\n        previous = encoded;\n        if (result.has(key)) throw new CanonicalFailure(\"duplicate_key\");\n        result.set(key, this.parse());\n      }\n      return result;\n    }\n    if (major === 6) throw new CanonicalFailure(\"non_canonical\");\n    if (major === 7 && additional === 20) return false;\n    if (major === 7 && additional === 21) return true;\n    if (major === 7 && additional === 22) throw new CanonicalFailure(\"null_forbidden\");\n    if (major === 7 && additional >= 25 && additional <= 27) throw new CanonicalFailure(\"float_forbidden\");\n    throw new CanonicalFailure(\"non_canonical\");\n  }\n}\n\nfunction strictCbor(source: Uint8Array): CanonicalNode {\n  const parser = new CborParser(source);\n  const value = parser.parse();\n  if (parser.position !== source.length || Buffer.compare(deterministicCbor(value), source) !== 0) {\n    throw new CanonicalFailure(\"non_canonical\");\n  }\n  return value;\n}\n\nconst domains = new Map([\n  [\"atom\", \"CIGAR-ATOM\"], [\"bundle\", \"CIGAR-BUNDLE\"], [\"manifest\", \"CIGAR-MANIFEST\"],\n  [\"handoff\", \"CIGAR-HANDOFF\"], [\"effect\", \"CIGAR-EFFECT\"], [\"receipt\", \"CIGAR-RECEIPT\"],\n  [\"extension_manifest\", \"CIGAR-EXTENSION-MANIFEST\"],\n]);\n\nfunction digest(domain: string, cbor: Uint8Array): Buffer {\n  const separator = domains.get(domain);\n  if (separator === undefined) throw new Error(`unknown digest domain ${domain}`);\n  return createHash(\"sha256\").update(separator).update(Uint8Array.of(0)).update(\"v1\").update(Uint8Array.of(0)).update(cbor).digest();\n}\n\ninterface ValidVector {\n  id: string; domain: string; normalization: string; json_input: string; normalized_json: string; cbor_hex: string;\n  digest_hex: string; multihash: string; signature_input_hex: string;\n}\ninterface InvalidVector { id: string; encoding: string; input: string; error: string }\ninterface DifferentialVector { algorithm: string; count: number; domain: string; digest_accumulator_hex: string }\ninterface Manifest {\n  schema_version: number; profile: string; valid_count: number; invalid_count: number;\n  valid: ValidVector[]; invalid: InvalidVector[]; differential: DifferentialVector;\n}\n\nfunction check(condition: boolean, message: string): void {\n  if (!condition) throw new Error(message);\n}\n\nfunction differentialRecord(index: number): Map<string, CanonicalNode> {\n  const entries: Array<[string, CanonicalNode]> = [\n    [\"active\", index % 2 === 0], [\"index\", BigInt(index)], [\"label\", `record-${index % 997}`],\n    [\"values\", [BigInt(index % 17), BigInt(-(index % 19) - 1)]],\n  ];\n  return new Map(entries);\n}\n\nfunction verify(path: string): [number, number] {\n  const manifest = JSON.parse(readFileSync(path, \"utf8\")) as Manifest;\n  check(manifest.schema_version === 1 && manifest.profile === \"cigar-canonical-v1\", \"invalid manifest profile\");\n  check(manifest.valid_count === manifest.valid.length && manifest.invalid_count === manifest.invalid.length && manifest.valid.length >= 200, \"invalid manifest counts\");\n  for (const vector of manifest.valid) {\n    const value = parseStrictJson(vector.json_input);\n    if (vector.normalization === \"nfc:/human_text\") {\n      if (!(value instanceof Map) || typeof value.get(\"human_text\") !== \"string\") throw new Error(`${vector.id}: invalid NFC target`);\n      value.set(\"human_text\", (value.get(\"human_text\") as string).normalize(\"NFC\"));\n    } else if (vector.normalization !== \"none\") {\n      throw new Error(`${vector.id}: unknown normalization profile`);\n    }\n    const cbor = deterministicCbor(value);\n    const expectedDigest = digest(vector.domain, cbor);\n    check(normalizedJson(value) === vector.normalized_json, `${vector.id}: normalized JSON mismatch`);\n    check(Buffer.from(cbor).toString(\"hex\") === vector.cbor_hex, `${vector.id}: CBOR mismatch`);\n    strictCbor(cbor);\n    check(expectedDigest.toString(\"hex\") === vector.digest_hex && `1220${expectedDigest.toString(\"hex\")}` === vector.multihash, `${vector.id}: digest mismatch`);\n    check(Buffer.concat([Buffer.from(\"CIGAR-SIGNATURE\\0v1\\0\"), cbor]).toString(\"hex\") === vector.signature_input_hex, `${vector.id}: signature input mismatch`);\n  }\n  for (const vector of manifest.invalid) {\n    let actual: string | undefined;\n    try {\n      if (vector.encoding === \"json\") parseStrictJson(vector.input);\n      else if (vector.encoding === \"cbor_hex\") strictCbor(Buffer.from(vector.input, \"hex\"));\n      else if (vector.encoding === \"semantic\") throw new CanonicalFailure(\"invalid_argument\");\n      else if (vector.encoding === \"signature_hex\" && Buffer.from(vector.input, \"hex\").length !== 64) throw new CanonicalFailure(\"invalid_argument\");\n    } catch (error) {\n      if (error instanceof CanonicalFailure) actual = error.code;\n      else throw error;\n    }\n    check(actual === vector.error, `${vector.id}: expected ${vector.error}, found ${actual ?? \"accepted\"}`);\n  }\n  const differential = manifest.differential;\n  check(differential.algorithm === \"cigar-differential-record-v1\" && differential.count >= 100_000, \"invalid differential metadata\");\n  const accumulator = createHash(\"sha256\");\n  for (let index = 0; index < differential.count; index += 1) accumulator.update(digest(differential.domain, deterministicCbor(differentialRecord(index))));\n  check(accumulator.digest(\"hex\") === differential.digest_accumulator_hex, \"100,000-record differential accumulator mismatch\");\n  return [manifest.valid.length + manifest.invalid.length, differential.count];\n}\n\nconst path = process.argv[2] ?? \"schemas/vectors/canonical-v1.json\";\nconst [vectorCount, differentialCount] = verify(path);\nconsole.log(`verified ${vectorCount} canonical vectors and ${differentialCount} differential records`);\n"]}