@allocator-one/rcl 4.4.19

package/dist/evidence/claim-recovery/validation/occurrence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"occurrence.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/occurrence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAA2B,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,8BAA8B,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,wBAAwB,EAChE,MAAM,wBAAwB,CAAC;AAGxF,SAAS,WAAW,CAAC,OAA2B;IAC9C,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW;QAC/F,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,KAAK,CAAC,KAAsD;IACnE,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC;IAC9G,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5D,UAAU,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC;IACxC,aAAa,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU;QACtH,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC,gBAAgB,KAAK,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE;QACnG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACxG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,EAAE,SAAS,CAAC,iBAAiB,IAAI,EAAE,CAAC;QAChG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,EAAE,SAAS,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,CAAC;IACpG,8BAA8B,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,UAAU,CAAC,CAAC;IACxE,aAAa,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,gBAAgB;QAChG,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClG,aAAa,CAAC,iBAAiB,CAAC,SAAS,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxC,aAAa,CAAC,2BAA2B,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,KAAK,EAC5G,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC,qBAAqB;QAC1F,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;IACrE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,aAAa,CAAC,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3G,CAAC;IACD,aAAa,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAClI,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,MAAM,CAAC,KAAsD,EAAE,KAA8B,EACpG,OAAoC;IACpC,aAAa,CAAC,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;QACxE,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB;YACpC,CAAC,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,0BAAmC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACvG,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;gBACf,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,GAAG;gBAC5G,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,QAAkB,EAAE,MAAM;aACjD,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACV,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,eAAe,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,KAAK,CAAC,WAAW;QAChI,gBAAgB,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE;QACxG,iBAAiB,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AACzG,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAA8B;IACtE,IAAI,CAAC;QAAC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAAC,CAAC;AACnG,CAAC;AAED,SAAS,QAAQ,CAAC,KAA8B;IAC9C,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAAC,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC;IAC9H,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxD,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5F,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,eAAe,KAAK,MAAM,CAAC,gBAAgB;QAC3F,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACrH,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACjD,aAAa,CAAC,iBAAiB,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACtI,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,kBAAkB,EAAE,CAAC;QAC7C,aAAa,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,YAAY;YACnF,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,gBAAgB;YAC1E,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACpG,CAAC;SAAM,CAAC;QACN,aAAa,CAAC,KAAK,CAAC,WAAW,KAAK,gBAAgB,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK;YACrF,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,sBAAsB,KAAK,CAAC;YACjE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,yBAAyB,CAAC;YAC7E,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,yBAAyB,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS;QAC9F,QAAQ,EAAE,KAAK,CAAC,cAAc,CAAC,OAAO,EAAE,kBAAkB,EAAE,KAAK,CAAC,cAAc,CAAC,YAAY;QAC7F,uBAAuB,EAAE,KAAK,CAAC,cAAc,CAAC,aAAa;QAC3D,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,uBAAuB,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,CAAC,eAAe,EAAE;QACnI,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO;YACxF,kBAAkB,EAAE,MAAM,CAAC,YAAY,EAAE,uBAAuB,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,gBAAgB;YACxG,mBAAmB,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,YAAY,IAAI,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU;YAC/F,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,iBAAiB,EAAE,MAAM,CAAC,gBAAgB,EAAE;QAC9E,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ;QACtF,8BAA8B,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;QACjE,eAAe,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAClF,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,gCAAgC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;QACpG,eAAe,EAAE,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AACpJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,IAAI,CAAC;QAAC,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAAC,CAAC;AACzG,CAAC;AAED,SAAS,WAAW,CAAC,KAA4B;IAC/C,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAAC,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC;IACrI,aAAa,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;QACzG,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1E,MAAM,iBAAiB,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5D,aAAa,CAAC,iBAAiB,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IACjF,mBAAmB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QAAE,gBAAgB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;;QACrE,aAAa,CAAC,KAAK,CAAC,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,0BAA0B,KAAK,SAAS,CAAC,CAAC;IAC1G,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS;QAC9F,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO,EAAE,kBAAkB,EAAE,MAAM,CAAC,YAAY,EAAE,uBAAuB,EAAE,KAAK,CAAC,aAAa,CAAC,aAAa;QAC1I,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QACtG,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,6BAA6B,EAAE,KAAK,CAAC,0BAA0B;QAC/G,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;QACxF,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,eAAgB,CAAC,EAAE;gBAC9G,YAAY,EAAE,MAAM,CAAC,gBAAgB,EAAE,uBAAuB,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,gBAAgB;gBACtG,kBAAkB,EAAE,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACxF,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM;QACpG,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7G,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC/B,GAAG,CAAC,0BAA0B,GAAG,WAAW,CAAC,KAAK,CAAC,eAAgB,CAAC,CAAC;QACrE,GAAG,CAAC,gBAAgB,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,0BAA0B,EAAE,CAAC;IACxF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,KAA4B,EAAE,MAAiC,EAAE,MAAwB;IACzG,IAAI,SAAS,GAAW,MAAM,CAAC,QAAQ,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC1B,aAAa,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;YAClE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,sBAAsB,KAAK,CAAC;YACzH,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/G,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC3F,aAAa,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACxI,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,MAAM;YAAE,SAAS,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAE,CAAC;IAC5H,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA4B,EAAE,MAAiC;IAC1F,IAAI,KAAK,CAAC,0BAA0B,KAAK,IAAI,EAAE,CAAC;QAAC,aAAa,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS,CAAC,CAAC;QAAC,OAAO;IAAC,CAAC;IAClH,MAAM,OAAO,GAAG,KAAK,CAAC,mBAAmB,CAAC;IAC1C,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,OAAO,IAAI,OAAO;QACrF,OAAO,CAAC,EAAE,KAAK,KAAK,CAAC,0BAA0B,IAAI,OAAO,CAAC,EAAE,KAAK,KAAK,CAAC,OAAO,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1I,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAClE,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IAC1B,aAAa,CAAC,OAAO,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,aAAa,IAAI,OAAO,CAAC,IAAI,KAAK,2BAA2B;QACjH,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI;QAC/F,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,kBAAkB,KAAK,MAAM,CAAC,MAAM;QACpH,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY;QACjH,CAAC,CAAC,cAAc,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,cAAc,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ;QAClG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAc,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAiB,CAAC;QACzG,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAkB,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC;QAClH,CAAC,CAAC,uBAAuB,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChD,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA4B,EAAE,MAAiC,EAAE,MAAwB;IACjH,aAAa,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAAC,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzF,mCAAmC,CAAC,EAAC,MAAM,EAAC,MAAM,EAAC,UAAU,EAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAC,OAAO,EAAC,KAAK,CAAC,OAAO;QAClH,OAAO,EAAC,KAAK,CAAC,OAAO,EAAC,QAAQ,EAAC,KAAK,CAAC,QAAQ,EAAC,MAAM,EAAC,KAAK,CAAC,MAAM,EAAC,eAAe,EAAC,KAAK,CAAC,eAAe;QACvG,0BAA0B,EAAC,KAAK,CAAC,0BAA0B,EAAC,CAAC,CAAC;AAClE,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,mCAAmC,CAAC,KAGnD;IACC,MAAM,EAAC,MAAM,EAAC,MAAM,EAAC,GAAC,KAAK,CAAC;IAAA,MAAM,OAAO,GAAC,KAAK,CAAC,eAAe,CAAC;IAChE,aAAa,CAAC,OAAO,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC,OAAO;QACrF,OAAO,CAAC,aAAa,KAAG,KAAK,CAAC,0BAA0B,IAAI,OAAO,CAAC,EAAE,KAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1F,UAAU,CAAC,OAAO,EAAC,MAAM,CAAC,CAAC;IAAA,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,EAAC,OAAO,CAAC,CAAC;IACvE,8EAA8E;IAC9E,2EAA2E;IAC3E,6EAA6E;IAC7E,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,gBAAgB,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7H,aAAa,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjC,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,UAAU;YAAE,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5D,aAAa,CAAC,qBAAqB,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,OAAO;YAChF,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC;YAC/E,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YACtG,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,aAAa,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAChE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;IACzE,aAAa,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QACrH,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC;AACnJ,CAAC"}

package/dist/evidence/claim-recovery/validation/primitives.d.ts

@@ -0,0 +1,11 @@
+import { z } from 'zod';
+export declare const uuidSchema: z.ZodString;
+export declare function object(value: unknown): value is Record<string, unknown>;
+/** Backend timestamps retain microseconds, unlike Date's millisecond comparison. */
+export declare function instant(value: unknown): string;
+/**
+ * The token travels only over TLS, except to loopback hosts (a local
+ * development server). A base URL carries no user-info, query or fragment;
+ * the result is the canonical origin plus path, without a trailing slash.
+ */
+export declare function normalizeUrl(raw: string): string | null;

package/dist/evidence/claim-recovery/validation/primitives.js

@@ -0,0 +1,41 @@
+import { z } from 'zod';
+export const uuidSchema = z.string().uuid().refine(value => value === value.toLowerCase(), 'UUID must already use canonical lowercase form');
+export function object(value) { return value !== null && typeof value === 'object' && !Array.isArray(value); }
+/** Backend timestamps retain microseconds, unlike Date's millisecond comparison. */
+export function instant(value) {
+    if (typeof value !== 'string')
+        throw new Error('invalid_receipt_timestamp');
+    const match = /^(\d{4}-\d\d-\d\dT\d\d:\d\d:\d\d)(?:\.(\d{1,6}))?(Z|[+-]\d\d:\d\d)$/.exec(value);
+    if (!match)
+        throw new Error('invalid_receipt_timestamp');
+    // Date.parse normalizes impossible dates such as February 30. Such input
+    // must not compare equal to a different, valid persisted timestamp.
+    const calendar = new Date(match[1] + 'Z');
+    if (!Number.isFinite(calendar.getTime()) || calendar.toISOString().slice(0, 19) !== match[1])
+        throw new Error('invalid_receipt_timestamp');
+    const seconds = Date.parse(match[1] + match[3]);
+    if (!Number.isFinite(seconds))
+        throw new Error('invalid_receipt_timestamp');
+    return (BigInt(seconds) * 1000n + BigInt((match[2] ?? '').padEnd(6, '0'))).toString();
+}
+const LOOPBACK = /^(?:localhost|127(?:\.\d{1,3}){3}|\[::1\]|[a-z0-9.-]+\.localhost)$/i;
+/**
+ * The token travels only over TLS, except to loopback hosts (a local
+ * development server). A base URL carries no user-info, query or fragment;
+ * the result is the canonical origin plus path, without a trailing slash.
+ */
+export function normalizeUrl(raw) {
+    try {
+        const url = new URL(raw.trim());
+        if (url.username !== '' || url.password !== '' || url.search !== '' || url.hash !== '')
+            return null;
+        const plain = url.protocol === 'http:' && LOOPBACK.test(url.hostname);
+        if (url.protocol !== 'https:' && !plain)
+            return null;
+        return `${url.origin}${url.pathname}`.replace(/\/+$/, '');
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=primitives.js.map

package/dist/evidence/claim-recovery/validation/primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/primitives.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE,gDAAgD,CAAC,CAAC;AAC7I,MAAM,UAAU,MAAM,CAAC,KAAc,IAAsC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACzJ,oFAAoF;AACpF,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,qEAAqE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChG,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IACzD,yEAAyE;IACzE,oEAAoE;IACpE,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC3I,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC5E,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxF,CAAC;AACD,MAAM,QAAQ,GAAG,qEAAqE,CAAC;AAEvF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,IAAI,GAAG,CAAC,QAAQ,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;QACpG,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtE,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACrD,OAAO,GAAG,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/evidence/claim-recovery/validation/receipts.d.ts

@@ -0,0 +1,37 @@
+export interface EventReceiptScope {
+    base_url: string;
+    org_id: string;
+    run_id: string;
+    repo: string;
+    pr_number: number;
+}
+export interface EventReceipt extends Omit<EventReceiptScope, 'base_url'> {
+    id: string;
+    actor_user_id: string | null;
+    kind: string;
+    converge_target: string | null;
+    round: number | null;
+    attempt: number | null;
+    occurred_at: string;
+    payload: Record<string, unknown>;
+}
+export declare const positiveCounter: (value: unknown) => value is number;
+export declare function isEventReceiptScope(value: unknown): value is EventReceiptScope;
+/** Validate normalized event fields without asserting server acceptance. */
+export declare function isEventReceipt(raw: unknown, scope: EventReceiptScope): raw is EventReceipt;
+/**
+ * Match the normalized stored fields, including authenticated actor and full
+ * timestamp precision. Optional wire fields become explicit database nulls;
+ * payload absence/null and ordering remain distinct. Prepared bytes are read
+ * without rewriting them, and this comparison never submits an event.
+ */
+export declare function matchesPreparedEventReceipt(raw: unknown, eventJson: string, scope: EventReceiptScope, actor: string): boolean;
+/** Server acceptance metadata is separate from the original wire assertion. */
+export interface StoredEventReceipt extends EventReceipt {
+    /** Positive safe-integer position in this run's stored event stream. */
+    sequence: number;
+    /** Exact server timestamp, retaining all supplied microsecond precision. */
+    received_at: string;
+}
+/** Validate a selected API receipt, including its server-owned chronology. */
+export declare function isStoredEventReceipt(raw: unknown, scope: EventReceiptScope): raw is StoredEventReceipt;

package/dist/evidence/claim-recovery/validation/receipts.js

@@ -0,0 +1,83 @@
+import { isDeepStrictEqual } from 'node:util';
+import { decodeOriginalReport } from '../../original-run/decode.js';
+import { instant, object, normalizeUrl, uuidSchema } from './primitives.js';
+const MAX_READ_RESPONSE_BYTES = 8 * 1024 * 1024;
+const uuid = (value) => uuidSchema.safeParse(value).success;
+export const positiveCounter = (value) => typeof value === 'number' && Number.isSafeInteger(value) && value > 0;
+const kind = (value) => typeof value === 'string' && /^[a-z_]{1,64}$/.test(value);
+const scopeFields = ['org_id', 'run_id', 'repo', 'pr_number'];
+const eventFields = ['id', 'kind', 'run_id', 'converge_target', 'round', 'attempt', 'payload', 'occurred_at'];
+export function isEventReceiptScope(value) {
+    return object(value) && typeof value.base_url === 'string' && normalizeUrl(value.base_url) === value.base_url &&
+        uuid(value.org_id) && uuid(value.run_id) && typeof value.repo === 'string' &&
+        /^[A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+$/.test(value.repo) && positiveCounter(value.pr_number);
+}
+function jsonValue(value, depth = 0) {
+    if (depth > 64)
+        return false;
+    if (value === null || typeof value === 'string' || typeof value === 'boolean')
+        return true;
+    if (typeof value === 'number')
+        return Number.isFinite(value) && Math.abs(value) <= Number.MAX_SAFE_INTEGER;
+    if (Array.isArray(value))
+        return value.every(item => jsonValue(item, depth + 1));
+    return object(value) && Object.getPrototypeOf(value) === Object.prototype &&
+        Object.values(value).every(item => jsonValue(item, depth + 1));
+}
+/** Validate normalized event fields without asserting server acceptance. */
+export function isEventReceipt(raw, scope) {
+    if (!isEventReceiptScope(scope) || !object(raw) || !scopeFields.every(field => raw[field] === scope[field]) ||
+        ![...scopeFields, ...eventFields, 'actor_user_id'].every(field => Object.hasOwn(raw, field)) ||
+        !uuid(raw.id) || !(raw.actor_user_id === null || uuid(raw.actor_user_id)) || !kind(raw.kind) ||
+        !(raw.converge_target === null || typeof raw.converge_target === 'string') ||
+        !(raw.round === null || positiveCounter(raw.round)) || !(raw.attempt === null || positiveCounter(raw.attempt)) ||
+        !object(raw.payload) || !jsonValue(raw.payload))
+        return false;
+    try {
+        instant(raw.occurred_at);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Match the normalized stored fields, including authenticated actor and full
+ * timestamp precision. Optional wire fields become explicit database nulls;
+ * payload absence/null and ordering remain distinct. Prepared bytes are read
+ * without rewriting them, and this comparison never submits an event.
+ */
+export function matchesPreparedEventReceipt(raw, eventJson, scope, actor) {
+    try {
+        if (!isEventReceiptScope(scope) || !uuid(actor) || !isEventReceipt(raw, scope) || raw.actor_user_id !== actor ||
+            Buffer.byteLength(eventJson, 'utf8') > MAX_READ_RESPONSE_BYTES)
+            return false;
+        const { value: event, transformations } = decodeOriginalReport(eventJson, { exactNumbers: true });
+        if (transformations.length || !object(event) || Object.keys(event).some(key => !eventFields.includes(key)) ||
+            !uuid(event.id) || !kind(event.kind) || event.run_id !== scope.run_id || !positiveCounter(event.round) ||
+            !object(event.payload) || !jsonValue(event.payload) ||
+            !(event.converge_target === undefined || event.converge_target === null || typeof event.converge_target === 'string') ||
+            !(event.attempt === undefined || event.attempt === null || positiveCounter(event.attempt)))
+            return false;
+        if (instant(raw.occurred_at) !== instant(event.occurred_at))
+            return false;
+        return eventFields.filter(field => field !== 'occurred_at').every(field => isDeepStrictEqual(raw[field], event[field] ?? null));
+    }
+    catch {
+        return false;
+    }
+}
+/** Validate a selected API receipt, including its server-owned chronology. */
+export function isStoredEventReceipt(raw, scope) {
+    if (!object(raw) || !isEventReceipt(raw, scope) || !Object.hasOwn(raw, 'sequence') ||
+        !Object.hasOwn(raw, 'received_at') || !positiveCounter(raw.sequence))
+        return false;
+    try {
+        instant(raw.received_at);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=receipts.js.map

package/dist/evidence/claim-recovery/validation/receipts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"receipts.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/receipts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE5E,MAAM,uBAAuB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAqBhD,MAAM,IAAI,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;AACtF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;AAC1I,MAAM,IAAI,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5G,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAU,CAAC;AACvE,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;AAE9G,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,QAAQ;QAC3G,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC1E,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,KAAK,GAAG,CAAC;IAC1C,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC3F,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC;IAC3G,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,SAAS;QACvE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAAC,GAAY,EAAE,KAAwB;IACnE,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QACvG,CAAC,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,EAAE,eAAe,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5F,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAC5F,CAAC,CAAC,GAAG,CAAC,eAAe,KAAK,IAAI,IAAI,OAAO,GAAG,CAAC,eAAe,KAAK,QAAQ,CAAC;QAC1E,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9G,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,IAAI,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAY,EAAE,SAAiB,EAAE,KAAwB,EAAE,KAAa;IAExE,IAAI,CAAC;QACH,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,CAAC,aAAa,KAAK,KAAK;YACzG,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,uBAAuB;YAAE,OAAO,KAAK,CAAC;QACjF,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,oBAAoB,CAAC,SAAS,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,IAAI,eAAe,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;YACtG,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC;YACnD,CAAC,CAAC,KAAK,CAAC,eAAe,KAAK,SAAS,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ,CAAC;YACrH,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7G,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1E,OAAO,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CACxE,iBAAiB,CAAC,GAAG,CAAC,KAA2B,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;IAC/E,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC3B,CAAC;AAUD,8EAA8E;AAC9E,MAAM,UAAU,oBAAoB,CAAC,GAAY,EAAE,KAAwB;IACzE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC;QAC9E,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACvF,IAAI,CAAC;QAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AACxE,CAAC"}

package/dist/evidence/claim-recovery/validation/recovery-json.d.ts

@@ -0,0 +1,8 @@
+import { decodeOriginalReport, type DecodeOriginalReportOptions } from '../../original-run/decode.js';
+type Decoded = ReturnType<typeof decodeOriginalReport>;
+/** Bounded pure interpretation cache for repeated immutable recovery proofs.
+ * Keys include all source code units and the interpretation version/options.
+ * This does not cache physical reads, digests, scope or authenticated authority.
+ * Each caller receives a clone; unsuccessful decodes are never retained. */
+export declare function decodeRecoveryOriginal(text: string, options?: DecodeOriginalReportOptions): Decoded;
+export {};

package/dist/evidence/claim-recovery/validation/recovery-json.js

@@ -0,0 +1,42 @@
+import { createHash } from 'node:crypto';
+import { decodeOriginalReport } from '../../original-run/decode.js';
+const entries = new Map();
+const MAX_ENTRIES = 16;
+const MAX_BYTES = 32 * 1024 * 1024;
+let retainedBytes = 0;
+/** Bounded pure interpretation cache for repeated immutable recovery proofs.
+ * Keys include all source code units and the interpretation version/options.
+ * This does not cache physical reads, digests, scope or authenticated authority.
+ * Each caller receives a clone; unsuccessful decodes are never retained. */
+export function decodeRecoveryOriginal(text, options = {}) {
+    if (options.originalProse !== undefined && options.originalProse !== 'control-code-units-v1') {
+        throw new Error('unsupported_original_prose_mode');
+    }
+    if (options.exactNumbers !== undefined && typeof options.exactNumbers !== 'boolean') {
+        throw new Error('invalid_original_number_mode');
+    }
+    // Small receipts do not evict the bounded original-report working set.
+    if (text.length < 1024 || text.length * 2 > MAX_BYTES)
+        return decodeOriginalReport(text, options);
+    const digest = createHash('sha256').update(text, 'utf16le').digest('hex');
+    const key = `1:${options.originalProse ?? 'default'}:${options.exactNumbers === true}:${digest}`;
+    const cached = entries.get(key);
+    if (cached) {
+        entries.delete(key);
+        entries.set(key, cached);
+        return structuredClone(cached.value);
+    }
+    const value = decodeOriginalReport(text, options);
+    const bytes = text.length * 2 + JSON.stringify(value).length * 2;
+    if (bytes <= MAX_BYTES) {
+        while (entries.size >= MAX_ENTRIES || retainedBytes + bytes > MAX_BYTES) {
+            const oldest = entries.keys().next().value;
+            retainedBytes -= entries.get(oldest).bytes;
+            entries.delete(oldest);
+        }
+        entries.set(key, { value: structuredClone(value), bytes });
+        retainedBytes += bytes;
+    }
+    return value;
+}
+//# sourceMappingURL=recovery-json.js.map

package/dist/evidence/claim-recovery/validation/recovery-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery-json.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/recovery-json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAoC,MAAM,8BAA8B,CAAC;AAGtG,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6C,CAAC;AACrE,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,SAAS,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AACnC,IAAI,aAAa,GAAG,CAAC,CAAC;AAEtB;;;4EAG4E;AAC5E,MAAM,UAAU,sBAAsB,CAAC,IAAY,EAAE,UAAuC,EAAE;IAC5F,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,OAAO,CAAC,aAAa,KAAK,uBAAuB,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACpF,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IACD,uEAAuE;IACvE,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,SAAS;QAAE,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClG,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,KAAK,OAAO,CAAC,aAAa,IAAI,SAAS,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,IAAI,MAAM,EAAE,CAAC;IACjG,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzB,OAAO,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACjE,IAAI,KAAK,IAAI,SAAS,EAAE,CAAC;QACvB,OAAO,OAAO,CAAC,IAAI,IAAI,WAAW,IAAI,aAAa,GAAG,KAAK,GAAG,SAAS,EAAE,CAAC;YACxE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAM,CAAC;YAC5C,aAAa,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,KAAK,CAAC;YAC5C,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3D,aAAa,IAAI,KAAK,CAAC;IACzB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/evidence/claim-recovery/validation/semantic-cache.d.ts

@@ -0,0 +1,3 @@
+import type { FindingEntry, SemanticSighting } from './types.js';
+/** Check cached report fields without freezing later verdicts or recovery projections. */
+export declare function semanticCacheMatches(entry: FindingEntry, members: SemanticSighting[], originalTitles: ReadonlyMap<SemanticSighting, string>): boolean;

package/dist/evidence/claim-recovery/validation/semantic-cache.js

@@ -0,0 +1,22 @@
+import { isDeepStrictEqual } from 'node:util';
+import { DEFAULT_SEVERITY_ORDER } from '../../../config/defaults.js';
+/** Check cached report fields without freezing later verdicts or recovery projections. */
+export function semanticCacheMatches(entry, members, originalTitles) {
+    // The producer keeps its first representative's title and descriptor. For
+    // equal descriptors its stable sort retains original report order.
+    const representative = members.find(s => s.round === entry.firstRound &&
+        isDeepStrictEqual(s.claimDescriptor, entry.claimDescriptor));
+    const latest = members.filter(s => s.round === entry.lastRound);
+    if (!representative || latest.length === 0 || !originalTitles.has(representative))
+        return false;
+    const severity = DEFAULT_SEVERITY_ORDER.find(value => latest.some(s => s.severity === value));
+    let startLine = latest[0].startLine;
+    let endLine = latest[0].endLine;
+    for (const sighting of latest.slice(1)) {
+        startLine = Math.min(startLine, sighting.startLine);
+        endLine = Math.max(endLine, sighting.endLine);
+    }
+    return entry.title === originalTitles.get(representative) && entry.severity === severity &&
+        entry.startLine === startLine && entry.endLine === endLine;
+}
+//# sourceMappingURL=semantic-cache.js.map

package/dist/evidence/claim-recovery/validation/semantic-cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-cache.js","sourceRoot":"","sources":["../../../../src/evidence/claim-recovery/validation/semantic-cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAGrE,0FAA0F;AAC1F,MAAM,UAAU,oBAAoB,CAAC,KAAmB,EAAE,OAA2B,EACnF,cAAqD;IACrD,0EAA0E;IAC1E,mEAAmE;IACnE,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,UAAU;QACnE,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,KAAK,CAAC;IAChG,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC;IAC9F,IAAI,SAAS,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC;IACrC,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACpD,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,KAAK,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;QACtF,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC;AAC/D,CAAC"}

package/dist/evidence/claim-recovery/validation/semantic-validation.d.ts

@@ -0,0 +1,9 @@
+import type { ConvergeRunState, ReportBinding, RetainedReport } from './types.js';
+import type { RetainedSources } from './sources.js';
+export declare function verifyRoundBinding(binding: ReportBinding, target: string, round: number, runId: string, raw: string): RetainedReport;
+/** All native consumers validate the same immutable sighting membership before effects. */
+export declare function validateSemanticState(state: ConvergeRunState, sources: RetainedSources, recoveryLegacy?: ConvergeRunState, recoveryDismissalsByRound?: Map<number, ReadonlyMap<string, string>>): void;
+/** @internal Pure retained-history projection used by validation regressions. */
+export declare function recoveredDismissalsBefore(dismissalsByRound: ReadonlyMap<number, ReadonlyMap<string, string>>, round: number): ReadonlyMap<string, string>;
+/** @internal Index retained dismissal history once for bounded per-identity lookups. */
+export declare function createRecoveredDismissalLookup(dismissalsByRound: ReadonlyMap<number, ReadonlyMap<string, string>>): (round: number, identity: string) => string | undefined;