tracegrove 0.0.0-stage → 0.3.0

package/dist/core/reducer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reducer.js","sourceRoot":"","sources":["../../src/core/reducer.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACL,oBAAoB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,GAG7I,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACpC,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,CAAC,MAAM,WAAW,GAAQ,CAAC,GAAG,EAAE;IACpC,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,oBAAoB,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC7D,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;AAClD,CAAC,CAAC,EAAE,CAAC;AAEL,MAAM,UAAU,OAAO,CAAC,KAAc,EAAE,IAAY;IAClD,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAC/B,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAK,OAAkB,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QAC1H,OAAO,GAAI,OAAmC,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YACzE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM;gBAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YACzE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,KAAK,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AACvD,CAAC;AAID,MAAM,UAAU,iBAAiB,CAAC,SAAqB,EAAE,IAAqB;IAC5E,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,eAAe,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,MAAM,IAAI,MAAM,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QAC9M,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAClE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC3I,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YAAC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;QAAC,CAAC;QACvM,KAAK,kBAAkB,CAAC,CAAC,CAAC;YAAC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,UAAU,EAAE,CAAC;QAAC,CAAC;QACxM,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,OAAO,EAAE,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QAC/I,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,IAAI,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,UAAU,IAAI,YAAY,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;QAChO,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxG,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAc,EAAE,gBAA6C,EAAE,KAAwB,EAAE,WAAgB,EAAE,IAAY,EAAE,EAAU;IACpK,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAgB,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1E,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QAChC,MAAM,SAAS,GAAQ,EAAE,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAClI,MAAM,UAAU,GAAG,SAAS,CAAC,kBAAkB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAsC,CAAC;QAC3C,IAAI,UAAU,GAAkB,IAAI,CAAC;QACrC,IAAI,MAAM,GAAY,IAAI,CAAC;QAC3B,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,GAAG,gBAAgB,CAAC;QAC5B,CAAC;aAAM,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAC7E,MAAM,GAAG,cAAc,CAAC;YAAC,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;QACtF,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACpF,MAAM,GAAG,cAAc,CAAC;YAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACxD,CAAC;aAAM,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACnD,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACvF,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YAAC,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;QACzG,CAAC;aAAM,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC3D,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1D,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;gBAAC,MAAM,GAAG,cAAc,CAAC;gBAAC,UAAU,GAAG,0CAA0C,CAAC;YAAC,CAAC;iBACpI,CAAC;gBACJ,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBACrF,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;gBAAC,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;YACzG,CAAC;QACH,CAAC;aAAM,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;YACvE,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,QAAQ,EAAE,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAAC,MAAM,GAAG,cAAc,CAAC;gBAAC,UAAU,GAAG,yBAAyB,CAAC;YAAC,CAAC;iBAChN,CAAC;gBAAC,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;gBAAC,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;YAAC,CAAC;QACjM,CAAC;aAAM,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;gBAAC,MAAM,GAAG,cAAc,CAAC;gBAAC,UAAU,GAAG,gCAAgC,CAAC;YAAC,CAAC;iBACxF,CAAC;gBAAC,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAC,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;gBAAC,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;YAAC,CAAC;QACjM,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAA+C,CAAC;YACnF,IAAI,CAAC,MAAM,EAAE,CAAC;gBAAC,MAAM,GAAG,cAAc,CAAC;gBAAC,UAAU,GAAG,yBAAyB,CAAC;YAAC,CAAC;iBAC5E,CAAC;gBACJ,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACxG,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;gBAAC,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC;YACzG,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC,oBAAoB,EAAE;YACnC,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,SAAS;YACT,MAAM;YACN,UAAU;YACV,MAAM,EAAE,MAAM,IAAI,IAAI;YACtB,YAAY,EAAE,EAAE;YAChB,WAAW;YACX,WAAW,EAAE,aAAa,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,IAAI,IAAI,EAAE,CAAC;YACjF,YAAY,EAAE,IAAI;YAClB,UAAU,EAAE,EAAE;YACd,KAAK,EAAE,IAAI;SACZ,EAAE,aAAa,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC;AAmBD,MAAM,UAAU,UAAU,CAAC,KAAyB;IAClD,MAAM,OAAO,GAAa,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,MAAM,YAAY,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAClF,MAAM,kBAAkB,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC;IACvG,MAAM,cAAc,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IACpF,MAAM,cAAc,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC7E,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC;IACzF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,4BAA4B,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChG,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAE9E,IAAI,OAAgB,CAAC;IACrB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,kBAAkB,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAClF,CAAC;SAAM,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,SAAS,CAAC;IACtB,CAAC;SAAM,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3B,OAAO,GAAG,WAAW,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC9C,CAAC;SAAM,IAAI,KAAK,CAAC,YAAY,KAAK,UAAU,IAAI,KAAK,CAAC,YAAY,KAAK,cAAc,EAAE,CAAC;QACtF,OAAO,GAAG,SAAS,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;QACvC,OAAO,GAAG,uBAAuB,CAAC;IACpC,CAAC;SAAM,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,KAAK,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACvH,OAAO,GAAG,cAAc,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;SAAM,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QAC1C,OAAO,GAAG,cAAc,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IACnG,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;QAClC,OAAO,GAAG,cAAc,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC7C,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,4BAA4B,EAAE,CAAC;QAC/C,OAAO,GAAG,SAAS,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACnD,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACpC,OAAO,GAAG,cAAc,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC;QACzE,OAAO,GAAG,cAAc,CAAC;QACzB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;IACzG,CAAC;SAAM,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,GAAG,cAAc,CAAC;IAC3B,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,QAAQ,CAAC;IACrB,CAAC;IACD,qEAAqE;IACrE,IAAI,OAAO,KAAK,kBAAkB,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,iBAAiB;YAAE,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAC5E,IAAI,CAAC,KAAK,CAAC,wBAAwB;YAAE,OAAO,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,aAAa,GAAG,OAAO,KAAK,QAAQ,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE;QACjC,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;QACnD,MAAM,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QACzF,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,MAAM;QAC3C,cAAc;QACd,kBAAkB,EAAE,kBAAkB,CAAC,MAAM;QAC7C,wBAAwB,EAAE,cAAc;KACzC,EAAE,UAAU,CAAC,CAAC;IACf,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAwH;IACrJ,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IACrD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,eAAe,GAAwD,EAAE,CAAC;IAChF,MAAM,aAAa,GAAwD,EAAE,CAAC;IAC9E,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;QACpD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAAC,IAAI,IAAI,CAAC,QAAQ;gBAAE,aAAa,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9K,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS,GAAG,IAAI,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACzB,4FAA4F;QAC5F,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,IAAI,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC;QACnN,MAAM,OAAO,GAAY,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC;QAClE,eAAe,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAAC,aAAa,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;IAC/J,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,KAAK,EAAE,CAAC,CAAC,CAAC;IAC3H,MAAM,aAAa,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IAC7E,IAAI,OAAgB,CAAC;IACrB,IAAI,aAAa,KAAK,CAAC;QAAE,OAAO,GAAG,cAAc,CAAC;SAC7C,IAAI,SAAS,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,cAAc,CAAC;SACnE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,kBAAkB,CAAC;QAAE,OAAO,GAAG,kBAAkB,CAAC;SACjF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC;QAAE,OAAO,GAAG,cAAc,CAAC;SACvG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;QAAE,OAAO,GAAG,SAAS,CAAC;SAC/D,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,uBAAuB,CAAC;QAAE,OAAO,GAAG,uBAAuB,CAAC;SAC3F,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC;QAAE,OAAO,GAAG,WAAW,CAAC;SACnE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,cAAc,CAAC;QAAE,OAAO,GAAG,cAAc,CAAC;;QACzE,OAAO,GAAG,QAAQ,CAAC;IACxB,MAAM,mBAAmB,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE;QACjC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM;QACtC,QAAQ,EAAE,aAAa;QACvB,SAAS,EAAE,eAAe,CAAC,MAAM;QACjC,QAAQ,EAAE,eAAe,CAAC,MAAM;QAChC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,MAAM;QACxE,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM;QAC1E,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,MAAM;QAC9C,aAAa;QACb,aAAa,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;QACpF,cAAc,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC;QACtF,kBAAkB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAC9F,wBAAwB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,wBAAwB,EAAE,CAAC,CAAC;KAC3G,EAAE,mBAAmB,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC;QACpB,aAAa,EAAE,6BAAsC;QACrD,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,UAAU,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE;QACxD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,oBAAoB,EAAE,KAAK,CAAC,SAAS,CAAC,GAAG;QACzC,eAAe;QACf,cAAc,EAAE,OAAO;QACvB,QAAQ;QACR,OAAO;QACP,aAAa,EAAE,OAAO,KAAK,QAAQ;QACnC,WAAW,EAAE,MAAM,EAAE;KACtB,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,cAAc,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAAqB,EAAE,QAA4B;IAChF,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,oBAAoB,CAAC,EAAE,CAAC;IAC5E,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAA6B,EAAE,CAAC;QACtE,IAAI,KAAK,KAAK,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAC5H,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QAC3E,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAAC,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,6BAA6B,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAAC,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,gBAAgB,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACzF,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,0BAA0B,CAAC,CAAC;QACrF,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,WAAW,oBAAoB,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC7F,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AAC1D,CAAC"}

package/dist/core/replayAssessment.d.ts

@@ -0,0 +1,15 @@
+import { ScenarioReplayAssessment, ScenarioRevisionToken, type QualificationRoundAdmission, type Ref, type Scope } from '../protocol/index.ts';
+import { type QualificationResultPorts } from './qualification.ts';
+import { type ScenarioReadPorts } from './scenario.ts';
+export interface ReplayAssessmentPorts extends ScenarioReadPorts {
+    authorize(scope: Scope): Promise<void>;
+    resolvePolicy(ref: Ref, scope: Scope): Promise<unknown>;
+    /** Complete trusted index: null means still pending. Resolve retained terminal rounds of every outcome. */
+    resolveRound(admission: QualificationRoundAdmission): Promise<{
+        roundRef: Ref;
+        bundleDir: string;
+    } | null>;
+    authenticateEvidence: QualificationResultPorts['authenticateEvidence'];
+}
+/** Read-only readiness: never changes a scenario state or accepts caller-supplied passing assessments. */
+export declare function assessScenarioReplay(ports: ReplayAssessmentPorts, input: ScenarioRevisionToken): Promise<ScenarioReplayAssessment>;

package/dist/core/replayAssessment.js

@@ -0,0 +1,78 @@
+import { z } from 'zod';
+import { QualificationPolicy, RefSchema, ScenarioReplayAssessment, ScenarioRevisionToken, sameDigest, sameRef, sameScope, verifySelfDigest } from "../protocol/index.js";
+import { Conflict } from "./errors.js";
+import { readQualificationEvidence } from "./qualification.js";
+import { assessReplayEvidence } from "./replayEvidence.js";
+import { qualificationStrataDigest, readScenarioSnapshot, resolveScenarioDefinition, resolveQualificationSelection, validateQualificationMatrix } from "./scenario.js";
+const RoundLocation = z.object({ roundRef: RefSchema, bundleDir: z.string().min(1).max(2048) }).strict();
+/** Read-only readiness: never changes a scenario state or accepts caller-supplied passing assessments. */
+export async function assessScenarioReplay(ports, input) {
+    const token = ScenarioRevisionToken.parse(input);
+    await ports.authorize(structuredClone(token.scope));
+    const { projection, admissions } = await readScenarioSnapshot(ports, token);
+    const scenario = await resolveScenarioDefinition(ports, projection.definitionRef, token.scope);
+    const matrix = await resolveQualificationSelection(ports, scenario.qualificationMatrixRef, token.scope);
+    validateQualificationMatrix(scenario, matrix, matrix);
+    const policy = QualificationPolicy.parse(await ports.resolvePolicy(structuredClone(scenario.qualificationPolicyRef), structuredClone(token.scope)));
+    if (!verifySelfDigest(policy) || !sameRef(policy.ref, scenario.qualificationPolicyRef) || !sameScope(policy.scope, token.scope)) {
+        throw new Conflict('qualification policy identity or scope mismatch');
+    }
+    const rounds = [];
+    const findings = [];
+    const qualifyingRoundRefs = [];
+    // Inspect latest admission from the complete history before considering any passing results.
+    const relevant = admissions.filter(a => a.invalidationEpoch === projection.invalidationEpoch).sort((a, b) => a.roundSequence - b.roundSequence);
+    const latest = relevant.at(-1);
+    for (const admission of relevant) {
+        if (!sameRef(admission.scenarioRef, scenario.ref) || !sameRef(admission.replayContractRef, scenario.replayContractRef) ||
+            !sameRef(admission.qualificationPolicyRef, policy.ref) || !sameRef(admission.qualificationMatrixRef, matrix.ref) ||
+            !sameRef(admission.targetProfileRef, scenario.qualificationTargetProfileRef) ||
+            !sameDigest(admission.strataDigest, qualificationStrataDigest(matrix))) {
+            throw new Conflict('current-epoch admission differs from scenario replay/policy/matrix/target bindings');
+        }
+        const location = await ports.resolveRound(structuredClone(admission));
+        if (location === null) {
+            rounds.push({ admissionRef: admission.ref, assessment: null });
+            continue;
+        }
+        const { roundRef, bundleDir } = RoundLocation.parse(location);
+        const evidence = await readQualificationEvidence({ authorize: async () => { },
+            resolveAdmission: async (ref) => {
+                if (!sameRef(ref, admission.ref))
+                    throw new Conflict('foreign admission');
+                return structuredClone(admission);
+            }, authenticateEvidence: (a, bundle) => ports.authenticateEvidence(a, bundle),
+        }, { admissionRef: admission.ref, scope: token.scope, bundleDir });
+        if (!sameRef(evidence.round.ref, roundRef))
+            throw new Conflict('terminal round index differs from the verified campaign');
+        const request = evidence.bundle.request;
+        if ((scenario.sourcePlanRef === null ? request.sourcePlanRef !== null :
+            !request.sourcePlanRef || !sameRef(request.sourcePlanRef, scenario.sourcePlanRef) || !request.reviewRef) ||
+            (request.reviewRef !== null && !sameRef(request.reviewRef, scenario.reviewRef))) {
+            throw new Conflict('qualification request differs from the reviewed scenario source plan');
+        }
+        validateQualificationMatrix(scenario, matrix, evidence.bundle.selection);
+        const assessed = assessReplayEvidence(evidence, policy, scenario);
+        rounds.push({ admissionRef: admission.ref, assessment: assessed.assessment });
+        findings.push(...assessed.findings);
+        if (assessed.assessment.qualifies)
+            qualifyingRoundRefs.push(evidence.round.ref);
+    }
+    const reasonCodes = [];
+    if (!['validating', 'active'].includes(projection.state))
+        reasonCodes.push('scenario_not_validating');
+    if (qualifyingRoundRefs.length < policy.minimumIndependentRounds)
+        reasonCodes.push('insufficient_independent_rounds');
+    const latestResult = latest ? rounds.find(r => sameRef(r.admissionRef, latest.ref)) : undefined;
+    if (!latest)
+        reasonCodes.push('no_current_epoch_rounds');
+    else if (!latestResult?.assessment)
+        reasonCodes.push('latest_round_pending');
+    else if (!latestResult.assessment.qualifies)
+        reasonCodes.push('latest_round_not_qualified');
+    // A registration/edit that arrives while reading evidence invalidates this report too.
+    await readScenarioSnapshot(ports, token);
+    return ScenarioReplayAssessment.parse({ snapshot: token, policyRef: policy.ref, requiredRounds: policy.minimumIndependentRounds,
+        latestAdmissionRef: latest?.ref ?? null, rounds, qualifyingRoundRefs, qualifies: reasonCodes.length === 0, reasonCodes, findings });
+}
+//# sourceMappingURL=replayAssessment.js.map

package/dist/core/replayAssessment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replayAssessment.js","sourceRoot":"","sources":["../../src/core/replayAssessment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAChF,MAAM,sBAAsB,CAAC;AACvF,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,yBAAyB,EAAiC,MAAM,oBAAoB,CAAC;AAC9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,6BAA6B,EAAE,2BAA2B,EACrH,MAAM,eAAe,CAAC;AAShD,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AAEzG,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,KAA4B,EAAE,KAA4B;IACnG,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACpD,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,MAAM,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAAG,MAAM,yBAAyB,CAAC,KAAK,EAAE,UAAU,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,MAAM,6BAA6B,CAAC,KAAK,EAAE,QAAQ,CAAC,sBAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACxG,2BAA2B,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,aAAa,CAAC,eAAe,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpJ,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChI,MAAM,IAAI,QAAQ,CAAC,iDAAiD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,MAAM,QAAQ,GAAyC,EAAE,CAAC;IAC1D,MAAM,mBAAmB,GAAU,EAAE,CAAC;IACtC,6FAA6F;IAC7F,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IAChJ,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,CAAC;YAClH,CAAC,OAAO,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,sBAAsB,EAAE,MAAM,CAAC,GAAG,CAAC;YAChH,CAAC,OAAO,CAAC,SAAS,CAAC,gBAAgB,EAAE,QAAQ,CAAC,6BAA6B,CAAC;YAC5E,CAAC,UAAU,CAAC,SAAS,CAAC,YAAY,EAAE,yBAAyB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,QAAQ,CAAC,oFAAoF,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;QACtE,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACpG,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,MAAM,yBAAyB,CAAC,EAAE,SAAS,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;YAC1E,gBAAgB,EAAE,KAAK,EAAC,GAAG,EAAC,EAAE;gBAC5B,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,QAAQ,CAAC,mBAAmB,CAAC,CAAC;gBAC1E,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC;YACpC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC;SAC9E,EAAE,EAAE,YAAY,EAAE,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,yDAAyD,CAAC,CAAC;QAC1H,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;QACxC,IAAI,CAAC,QAAQ,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC;YACrE,CAAC,OAAO,CAAC,aAAa,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YACxG,CAAC,OAAO,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YAClF,MAAM,IAAI,QAAQ,CAAC,sEAAsE,CAAC,CAAC;QAC7F,CAAC;QACD,2BAA2B,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9E,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS;YAAE,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtG,IAAI,mBAAmB,CAAC,MAAM,GAAG,MAAM,CAAC,wBAAwB;QAAE,WAAW,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACtH,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,IAAI,CAAC,MAAM;QAAE,WAAW,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;SACpD,IAAI,CAAC,YAAY,EAAE,UAAU;QAAE,WAAW,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;SACxE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,SAAS;QAAE,WAAW,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC5F,uFAAuF;IACvF,MAAM,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzC,OAAO,wBAAwB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,CAAC,wBAAwB;QAC7H,kBAAkB,EAAE,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;AACxI,CAAC"}

package/dist/core/replayEvidence.d.ts

@@ -0,0 +1,7 @@
+import { ReplayAssessment, ReplayFinding, type QualificationPolicy, type ScenarioDefinition } from '../protocol/index.ts';
+import type { QualificationEvidence } from './qualification.ts';
+/** Derive proof strength from independently checked observations; outcome flags alone grant nothing. */
+export declare function assessReplayEvidence(evidence: QualificationEvidence, policy: QualificationPolicy, scenario: ScenarioDefinition): {
+    assessment: ReplayAssessment;
+    findings: ReplayFinding[];
+};

package/dist/core/replayEvidence.js

@@ -0,0 +1,58 @@
+import { FidelityPlan, HostPlan, ReplayAssessment, ReplayFinding, SourceSelection, digestOfValue, freeze, refKey, sameDigest, sameRef, sameScope, } from "../protocol/index.js";
+import { repositorySelectionProblems } from "./repositorySelectionEvidence.js";
+/** Derive proof strength from independently checked observations; outcome flags alone grant nothing. */
+export function assessReplayEvidence(evidence, policy, scenario) {
+    const { round, bundle } = evidence;
+    const codes = new Set();
+    if (bundle.campaign.outcome !== 'passed')
+        codes.add('campaign_not_passed');
+    const fidelity = FidelityPlan.parse(bundle.documents[refKey(bundle.request.fidelityPlanRef)]);
+    const live = bundle.receipts.every(receipt => {
+        const p = receipt.environment.provenance;
+        const cell = fidelity.cells.find(c => c.selectionCellId === receipt.selectionCellId);
+        return p.runtime === 'live' && p.data !== 'mocked' && ['live', 'none'].includes(p.provider) && p.faults === 'none' &&
+            !p.interceptors.length && !p.injectedFaults.length && !!cell && !['mock_contract', 'recorded_replay'].includes(cell.lane) &&
+            cell.claimBoundaryIds.length > 0 && cell.claimBoundaryIds.every(id => cell.boundaries.some(b => b.boundaryId === id && b.mode === 'real'));
+    });
+    if (!live)
+        codes.add('non_live_provenance');
+    const identity = bundle.receipts.every(receipt => {
+        const { expected, observed } = receipt.environment;
+        return !!observed && expected.requiredComponents.length > 0 &&
+            expected.requiredComponents.every(id => expected.components.some(c => c.componentId === id && c.identity !== null)) &&
+            sameDigest(digestOfValue(expected), digestOfValue(observed));
+    });
+    if (!identity)
+        codes.add('target_identity_unproven');
+    const source = bundle.request.sourceSelectionRef ? SourceSelection.safeParse(bundle.documents[refKey(bundle.request.sourceSelectionRef)]) : null;
+    const sourceClosure = bundle.selection.cells.every(cell => repositorySelectionProblems(bundle.request, cell, HostPlan.parse(bundle.documents[refKey(cell.executionHostRef)]), bundle.documents).length === 0);
+    const reviewedSource = scenario.sourcePlanRef === null || (bundle.request.sourcePlanRef !== null && sameRef(scenario.sourcePlanRef, bundle.request.sourcePlanRef));
+    const revision = live && identity && sourceClosure && reviewedSource && source?.success === true && sameRef(source.data.ref, bundle.request.sourceSelectionRef) &&
+        sameScope(source.data.scope, round.scope) && source.data.repositories.length > 0 &&
+        source.data.repositories.every(repository => repository.resolverRef !== null) &&
+        source.data.excludedRoles.every(role => role.reasonRef !== null) &&
+        new Set(source.data.repositories.map(r => r.repositoryRole)).size === source.data.repositories.length &&
+        bundle.receipts.every(receipt => {
+            const observed = receipt.environment.observed;
+            return observed.repositories.length === source.data.repositories.length &&
+                new Set(observed.repositories.map(r => r.repositoryRole)).size === observed.repositories.length &&
+                source.data.repositories.every(repository => observed.repositories.some(r => r.repositoryRole === repository.repositoryRole &&
+                    r.canonicalUrl === repository.canonicalUrl && r.resolvedCommit === repository.headCommit &&
+                    r.origin === repository.origin && sameDigest(r.lockfileDigest, repository.lockfileDigest) &&
+                    (r.sourceObjectsRef === null ? repository.sourceObjectsRef === null : repository.sourceObjectsRef !== null && sameRef(r.sourceObjectsRef, repository.sourceObjectsRef))));
+        });
+    const sourceBound = scenario.sourcePlanRef !== null || bundle.request.sourceSelectionRef !== null ||
+        bundle.receipts.some(receipt => receipt.environment.expected.repositories.length > 0);
+    if ((policy.requiredLevel === 'revision' || sourceBound) && !revision)
+        codes.add('revision_identity_unproven');
+    const level = !live ? 'mock' : !identity ? 'structural' : revision ? 'revision' : 'environment';
+    const findings = [...codes].sort().map(code => ReplayFinding.parse(freeze({ schemaVersion: 'workflow.replay-finding/v1',
+        ref: { id: `replay-finding-${digestOfValue({ round: round.ref, code }).hex}`, revision: '1' }, scope: round.scope, roundRef: round.ref, code,
+    })));
+    const assessment = ReplayAssessment.parse(freeze({ schemaVersion: 'workflow.replay-assessment/v1',
+        ref: { id: `replay-assessment-${digestOfValue({ round: round.ref, policy: policy.ref, scenario: scenario.ref }).hex}`, revision: '1' },
+        scope: round.scope, roundRef: round.ref, level, qualifies: findings.length === 0, reasonRefs: findings.map(finding => finding.ref),
+    }));
+    return { assessment, findings };
+}
+//# sourceMappingURL=replayEvidence.js.map

package/dist/core/replayEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"replayEvidence.js","sourceRoot":"","sources":["../../src/core/replayEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,GAExI,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAE/E,wGAAwG;AACxG,MAAM,UAAU,oBAAoB,CAAC,QAA+B,EAAE,MAA2B,EAAE,QAA4B;IAG7H,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ;QAAE,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QAC3C,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;QACrF,OAAO,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAChH,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YACzH,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;IAC/I,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI;QAAE,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QAC/C,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;QACnD,OAAO,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;YACzD,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;YACnH,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjJ,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EACzG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACnG,MAAM,cAAc,GAAG,QAAQ,CAAC,aAAa,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IACnK,MAAM,QAAQ,GAAG,IAAI,IAAI,QAAQ,IAAI,aAAa,IAAI,cAAc,IAAI,MAAM,EAAE,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAmB,CAAC;QAC9J,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAChF,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,KAAK,IAAI,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC;QAChE,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM;QACrG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,QAAS,CAAC;YAC/C,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM;gBACrE,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,YAAY,CAAC,MAAM;gBAC/F,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,UAAU,CAAC,cAAc;oBACzH,CAAC,CAAC,YAAY,KAAK,UAAU,CAAC,YAAY,IAAI,CAAC,CAAC,cAAc,KAAK,UAAU,CAAC,UAAU;oBACxF,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,cAAc,EAAE,UAAU,CAAC,cAAc,CAAC;oBACzF,CAAC,CAAC,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,gBAAgB,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QAChL,CAAC,CAAC,CAAC;IACL,MAAM,WAAW,GAAG,QAAQ,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,KAAK,IAAI;QAC/F,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACxF,IAAI,CAAC,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC/G,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;IAChG,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,4BAA4B;QACrH,GAAG,EAAE,EAAE,EAAE,EAAE,kBAAkB,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI;KAC7I,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,+BAA+B;QAC/F,GAAG,EAAE,EAAE,EAAE,EAAE,qBAAqB,aAAa,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;QACtI,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;KACnI,CAAC,CAAC,CAAC;IACJ,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AAClC,CAAC"}

package/dist/core/repositorySelectionEvidence.d.ts

@@ -0,0 +1,3 @@
+import { HostPlan, type RunRequest, type SelectionManifest } from '../protocol/index.ts';
+/** Frozen source closure, shared by preflight, saved evidence and revision assessment. No effects. */
+export declare function repositorySelectionProblems(request: RunRequest, cell: SelectionManifest['cells'][number], host: HostPlan, documents: Record<string, unknown>): string[];

package/dist/core/repositorySelectionEvidence.js

@@ -0,0 +1,58 @@
+import { GitSourceSnapshot, HostPlan, PlanReview, PlanSourceValidation, RevisionMatrix, SourcePlan, SourceSelection, digestOfValue, refKey, sameRef, sameScope, verifySelfDigest } from "../protocol/index.js";
+import { snapshotRepository, snapshotRevision } from "./snapshotRepository.js";
+import { validateReviewedSourceDocuments } from "./sourceReviewEvidence.js";
+/** Frozen source closure, shared by preflight, saved evidence and revision assessment. No effects. */
+export function repositorySelectionProblems(request, cell, host, documents) {
+    const pin = host.launch?.sourceSnapshot;
+    if (!request.sourceSelectionRef && !cell.sourceSelectionRef && !pin?.repositoryRole)
+        return [];
+    try {
+        const read = (schema, ref) => {
+            const value = schema.parse(documents[refKey(ref)]);
+            if (!sameRef(value.ref, ref) || !verifySelfDigest(value))
+                throw new Error('source closure document digest mismatch');
+            return value;
+        };
+        if (!request.sourceSelectionRef || !cell.sourceSelectionRef || !sameRef(request.sourceSelectionRef, cell.sourceSelectionRef) || !pin?.repositoryRole)
+            throw new Error('source selection needs matching request, cell and pinned repository role');
+        const source = read(SourceSelection, request.sourceSelectionRef);
+        if (!sameScope(source.scope, request.requestedScope) || !sameScope(pin.snapshot.scope, source.scope) || !source.revisionMatrixRef)
+            throw new Error('source selection scope or revision matrix missing');
+        const matrix = read(RevisionMatrix, source.revisionMatrixRef);
+        const row = snapshotRevision(pin, matrix);
+        const snapshot = read(GitSourceSnapshot, pin.snapshot.ref);
+        if (digestOfValue(snapshot).hex !== digestOfValue(pin.snapshot).hex)
+            throw new Error('source snapshot document differs from host pin');
+        const expected = snapshotRepository(pin);
+        const repository = source.repositories[0];
+        if (source.repositories.length !== 1 || source.excludedRoles.length || source.compatibilityRuleRefs.length || source.strategy !== 'commit_pair' || !repository ||
+            repository.repositoryRole !== expected.repositoryRole || repository.canonicalUrl !== expected.canonicalUrl ||
+            repository.headCommit !== row.headCommit || repository.baseCommit !== row.baseCommit || repository.requestedExpression !== row.requestedRef ||
+            repository.resolvedAt !== matrix.resolvedAt || !repository.resolverRef || !sameRef(repository.resolverRef, row.resolverRef) ||
+            repository.origin !== expected.origin || !repository.sourceObjectsRef || !sameRef(repository.sourceObjectsRef, snapshot.ref) ||
+            digestOfValue(repository.lockfileDigest).hex !== digestOfValue(expected.lockfileDigest).hex)
+            throw new Error('source selection differs from the complete pinned resolver head');
+        for (const target of [request.expectedTarget, cell.expectedTarget]) {
+            if (!target || digestOfValue(target.repositories).hex !== digestOfValue([expected]).hex)
+                throw new Error('target repository differs from frozen source selection');
+        }
+        if (request.sourcePlanRef) {
+            const plan = read(SourcePlan, request.sourcePlanRef);
+            if (!sameScope(plan.scope, source.scope) || !sameRef(plan.revisionMatrixRef, matrix.ref))
+                throw new Error('reviewed source plan selects a different revision matrix');
+            if (!request.reviewRef)
+                throw new Error('source-backed repository binding requires its approved review');
+            const review = read(PlanReview, request.reviewRef);
+            const validationRef = [...review.reasonRefs].reverse().find(ref => PlanSourceValidation.safeParse(documents[refKey(ref)]).success);
+            if (!validationRef)
+                throw new Error('source-backed repository binding requires persisted source validation');
+            const validation = read(PlanSourceValidation, validationRef);
+            validateReviewedSourceDocuments({ plan, review, validation }, source.scope);
+        }
+        return [];
+    }
+    catch (error) {
+        return [`repository source binding invalid: ${error.message}`];
+    }
+}
+//# sourceMappingURL=repositorySelectionEvidence.js.map

package/dist/core/repositorySelectionEvidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repositorySelectionEvidence.js","sourceRoot":"","sources":["../../src/core/repositorySelectionEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,oBAAoB,EAAE,cAAc,EAAE,UAAU,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAC5J,gBAAgB,EAAqD,MAAM,sBAAsB,CAAC;AACpG,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAE5E,sGAAsG;AACtG,MAAM,UAAU,2BAA2B,CAAC,OAAmB,EAAE,IAAwC,EAAE,IAAc,EACvH,SAAkC;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,GAAG,EAAE,cAAc;QAAE,OAAO,EAAE,CAAC;IAC/F,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,CAAyB,MAAoC,EAAE,GAAQ,EAAK,EAAE;YACzF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YACrH,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc;YAClJ,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;QAC9F,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACjE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB;YAC/H,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAAC,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzG,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACvI,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAAC,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,IAAI,MAAM,CAAC,qBAAqB,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,aAAa,IAAI,CAAC,UAAU;YAC5J,UAAU,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,IAAI,UAAU,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;YAC1G,UAAU,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,IAAI,UAAU,CAAC,mBAAmB,KAAK,GAAG,CAAC,YAAY;YAC3I,UAAU,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC;YAC3H,UAAU,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,gBAAgB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,EAAE,QAAQ,CAAC,GAAG,CAAC;YAC5H,aAAa,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,GAAG;YAC3F,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;QACrF,KAAK,MAAM,MAAM,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG;gBAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QACrK,CAAC;QACD,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,EAAE,MAAM,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;YACtK,IAAI,CAAC,OAAO,CAAC,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;YACzG,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACnI,IAAI,CAAC,aAAa;gBAAE,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;YAC7G,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;YAC7D,+BAA+B,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,OAAO,CAAC,sCAAuC,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IAAC,CAAC;AAChG,CAAC"}

package/dist/core/rerun.d.ts

@@ -0,0 +1,3 @@
+import { FrozenBundle } from './frozenBundle.ts';
+/** Fresh campaign/leases for the exact frozen cases. This is distinct from redelivery. */
+export declare function createRerun(input: FrozenBundle): FrozenBundle;

package/dist/core/rerun.js

@@ -0,0 +1,24 @@
+import { freeze, parseAs, refKey, RunRequest } from "../protocol/index.js";
+import { FrozenBundle } from "./frozenBundle.js";
+import { Blocked } from "./errors.js";
+import { newId } from "./clock.js";
+import { inspectFrozenPlan } from "./planInspection.js";
+/** Fresh campaign/leases for the exact frozen cases. This is distinct from redelivery. */
+export function createRerun(input) {
+    const bundle = structuredClone(FrozenBundle.parse(input));
+    if (!bundle.request)
+        throw new Blocked([{ code: 'rerun_blocked_plan', detail: 'resolve the original blockers before rerunning' }]);
+    const old = bundle.request;
+    if (!['trial', 'work_proof'].includes(old.purpose) || old.qualificationRoundRef || old.sourcePlanRef || old.reviewRef || old.scenarioRefs.length)
+        throw new Blocked([{ code: 'rerun_requires_registration', detail: 'Lifecycle executions need a fresh owning scenario registration.', owner: 'operator', action: 'register a new independent qualification round through the current owner' }]);
+    const inspection = inspectFrozenPlan(bundle, old.requestedScope);
+    if (inspection.structural !== 'valid')
+        throw new Blocked(inspection.blockers);
+    const request = parseAs(RunRequest, freeze({ ...old,
+        ref: { id: old.ref.id, revision: newId('rerun') },
+        idempotencyKey: newId('request'), campaignId: newId('campaign'), clientRequestId: newId('client'),
+        replayOf: old.ref, qualificationRoundRef: null,
+    }), 'rerun');
+    return { ...bundle, request, documents: { ...bundle.documents, [refKey(request.ref)]: request } };
+}
+//# sourceMappingURL=rerun.js.map

package/dist/core/rerun.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rerun.js","sourceRoot":"","sources":["../../src/core/rerun.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,0FAA0F;AAC1F,MAAM,UAAU,WAAW,CAAC,KAAmB;IAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,gDAAgD,EAAE,CAAC,CAAC,CAAC;IACnI,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;IAC3B,IAAI,CAAC,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,qBAAqB,IAAI,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM;QAC9I,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,MAAM,EAAE,iEAAiE,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,0EAA0E,EAAE,CAAC,CAAC,CAAC;IACjP,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;IACjE,IAAI,UAAU,CAAC,UAAU,KAAK,OAAO;QAAE,MAAM,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,GAAG,GAAG;QACjD,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;QACjD,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC;QACjG,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,qBAAqB,EAAE,IAAI;KAC/C,CAAC,EAAE,OAAO,CAAC,CAAC;IACb,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC;AACpG,CAAC"}

package/dist/core/resultSink.d.ts

@@ -0,0 +1,52 @@
+import { ResultIngestReceipt, type Digest, type Scope } from '../protocol/index.ts';
+import { type BundleVerification } from './bundle.ts';
+import { LocalLedger } from './ledger.ts';
+export type ResultSinkAuthority = {
+    authorize(scope: Scope, action: 'ingest' | 'read'): Promise<void>;
+};
+export type RetainedResult = {
+    receipt: ResultIngestReceipt;
+    bundleDir: string;
+    verification: BundleVerification & {
+        ok: true;
+    };
+};
+export type ResultPage = {
+    records: ResultIngestReceipt[];
+    snapshotVersion: number;
+    nextCursor: string | null;
+    archiveStatus: 'not_checked';
+};
+export type ResultIngestOptions = {
+    expectedManifestDigest?: Digest;
+};
+export interface ResultSink {
+    ingest(bundleDir: string, options?: ResultIngestOptions): Promise<RetainedResult & {
+        replayed: boolean;
+    }>;
+    get(id: string): Promise<RetainedResult>;
+    list(options?: {
+        cursor?: string;
+        limit?: number;
+    }): Promise<ResultPage>;
+}
+/** Local retention boundary. Its authority port authorizes consumers, never authenticates producers. */
+export declare class LocalResultSink implements ResultSink {
+    private readonly ledger;
+    private readonly authority;
+    private readonly scope;
+    private readonly scopeKey;
+    private readonly aggregateId;
+    private readonly archive;
+    constructor(ledger: LocalLedger, scope: Scope, authority: ResultSinkAuthority);
+    private history;
+    private checked;
+    ingest(bundleDir: string, options?: ResultIngestOptions): Promise<RetainedResult & {
+        replayed: boolean;
+    }>;
+    get(id: string): Promise<RetainedResult>;
+    list(options?: {
+        cursor?: string;
+        limit?: number;
+    }): Promise<ResultPage>;
+}

package/dist/core/resultSink.js

@@ -0,0 +1,120 @@
+import { dirname, join } from 'node:path';
+import { z } from 'zod';
+import { DigestSchema, FidelityPlan, IdString, ResultIngestReceipt, ScopeSchema, digestOfValue, freeze, refKey, sameDigest, sameRef, sameScope, verifySelfDigest } from "../protocol/index.js";
+import { VerifiedBundleSnapshot } from "./bundle.js";
+import { LocalBundleArchive } from "./bundleArchive.js";
+import { LocalLedger } from "./ledger.js";
+import { Conflict } from "./errors.js";
+import { nowIso } from "./clock.js";
+const MAX_RESULTS = 10_000;
+const Cursor = z.object({ scope: z.string().regex(/^[a-f0-9]{64}$/), version: z.number().int().min(0).max(MAX_RESULTS), offset: z.number().int().min(0).max(MAX_RESULTS) }).strict();
+function plannedLanes(records) {
+    return [...new Set(FidelityPlan.parse(records.documents[refKey(records.request.fidelityPlanRef)]).cells.map(cell => cell.lane))].sort();
+}
+/** Local retention boundary. Its authority port authorizes consumers, never authenticates producers. */
+export class LocalResultSink {
+    ledger;
+    authority;
+    scope;
+    scopeKey;
+    aggregateId;
+    archive;
+    constructor(ledger, scope, authority) {
+        this.ledger = ledger;
+        this.authority = authority;
+        this.scope = ScopeSchema.parse(scope);
+        this.scopeKey = digestOfValue(this.scope).hex;
+        this.aggregateId = `result-sink:${this.scopeKey}`;
+        this.archive = new LocalBundleArchive(join(dirname(ledger.dir), `result-objects-${this.scopeKey}`));
+    }
+    history() {
+        const entries = this.ledger.history(this.aggregateId);
+        if (entries.length > MAX_RESULTS)
+            throw new Conflict('Result history requires an authoritative archival index; no entries were dropped');
+        const ids = new Set();
+        const campaigns = new Set();
+        return entries.map(entry => {
+            const receipt = ResultIngestReceipt.parse(entry.data.receipt);
+            if (entry.type !== 'workflow.result.accepted' || !verifySelfDigest(receipt) || !sameScope(receipt.scope, this.scope) || ids.has(receipt.ref.id) || campaigns.has(receipt.campaignId))
+                throw new Conflict('Result index is inconsistent or outside the selected scope');
+            ids.add(receipt.ref.id);
+            campaigns.add(receipt.campaignId);
+            return receipt;
+        });
+    }
+    checked(receipt, snapshot = this.archive.read(receipt.manifestDigest)) {
+        const records = snapshot.records;
+        if (!sameDigest(records.manifestDigest, receipt.manifestDigest) || !sameScope(records.request.requestedScope, this.scope) || records.campaign.campaignId !== receipt.campaignId || !sameRef(records.campaign.ref, receipt.campaignRef) ||
+            !sameRef(records.request.ref, receipt.requestRef) || !sameRef(records.selection.ref, receipt.selectionRef) ||
+            !sameRef(records.request.fidelityPlanRef, receipt.fidelityPlanRef) || !sameDigest(digestOfValue(plannedLanes(records)), digestOfValue(receipt.plannedLanes)) ||
+            records.campaign.outcome !== receipt.retainedOutcome || records.receipts.length !== receipt.receiptCount)
+            throw new Conflict('Retained bundle differs from its indexed receipt');
+        return { receipt: structuredClone(receipt), bundleDir: this.archive.path(receipt.manifestDigest), verification: records.verification };
+    }
+    async ingest(bundleDir, options = {}) {
+        const expected = options.expectedManifestDigest === undefined ? null : DigestSchema.parse(options.expectedManifestDigest);
+        await this.authority.authorize(structuredClone(this.scope), 'ingest');
+        const snapshot = VerifiedBundleSnapshot.open(bundleDir);
+        const records = snapshot.records;
+        if (expected && !sameDigest(expected, snapshot.manifestDigest))
+            throw new Conflict('Bundle differs from the expected manifest digest');
+        if (!sameScope(records.request.requestedScope, this.scope))
+            throw new Conflict('Bundle belongs to another result scope');
+        await this.authority.authorize(structuredClone(this.scope), 'ingest');
+        // No async gap between the fresh authority check, durable object write, and fenced publication.
+        const history = this.history();
+        const existing = history.find(record => record.campaignId === records.campaign.campaignId);
+        if (existing) {
+            if (!sameRef(existing.campaignRef, records.campaign.ref) || !sameDigest(existing.manifestDigest, records.manifestDigest))
+                throw new Conflict('Campaign identity is already retained with different evidence');
+            return { ...this.checked(existing), replayed: true };
+        }
+        if (history.length === MAX_RESULTS)
+            throw new Conflict('Result history is full; archive it explicitly before admitting more results');
+        const retained = this.archive.put(snapshot);
+        const receipt = ResultIngestReceipt.parse(freeze({ schemaVersion: 'workflow.result-ingest/v1',
+            ref: { id: `result-${digestOfValue({ scope: this.scope, campaign: records.campaign.ref, manifest: records.manifestDigest }).hex}`, revision: '1' },
+            scope: this.scope, campaignId: records.campaign.campaignId, campaignRef: records.campaign.ref, requestRef: records.request.ref, selectionRef: records.selection.ref,
+            manifestDigest: records.manifestDigest, retainedOutcome: records.campaign.outcome, receiptCount: records.receipts.length,
+            fidelityPlanRef: records.request.fidelityPlanRef, plannedLanes: plannedLanes(records),
+            acceptedAt: nowIso(), evidenceClass: 'integrity_checked_local_bundle', issuerStatus: 'unverified', qualificationStatus: 'not_evaluated',
+        }));
+        const checked = this.checked(receipt, retained);
+        this.ledger.append(this.aggregateId, history.length, 'workflow.result.accepted', { receipt });
+        return { ...checked, replayed: false };
+    }
+    async get(id) {
+        IdString.parse(id);
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        const receipt = this.history().find(record => record.ref.id === id);
+        if (!receipt)
+            throw new Conflict('Result is not indexed in the selected scope');
+        return this.checked(receipt);
+    }
+    async list(options = {}) {
+        const limit = z.number().int().min(1).max(100).parse(options.limit ?? 20);
+        await this.authority.authorize(structuredClone(this.scope), 'read');
+        const history = this.history();
+        let version = history.length;
+        let offset = 0;
+        if (options.cursor !== undefined) {
+            try {
+                if (options.cursor.length > 2048)
+                    throw new Error('oversize cursor');
+                const cursor = Cursor.parse(JSON.parse(Buffer.from(options.cursor, 'base64url').toString('utf8')));
+                if (cursor.scope !== this.scopeKey || cursor.version > history.length || cursor.offset > cursor.version)
+                    throw new Error('foreign cursor');
+                version = cursor.version;
+                offset = cursor.offset;
+            }
+            catch {
+                throw new Conflict('Invalid or foreign result cursor');
+            }
+        }
+        const records = history.slice(0, version).reverse().slice(offset, offset + limit);
+        const next = offset + records.length;
+        return { records, snapshotVersion: version, archiveStatus: 'not_checked', nextCursor: next < version
+                ? Buffer.from(JSON.stringify({ scope: this.scopeKey, version, offset: next })).toString('base64url') : null };
+    }
+}
+//# sourceMappingURL=resultSink.js.map

package/dist/core/resultSink.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resultSink.js","sourceRoot":"","sources":["../../src/core/resultSink.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAA2B,MAAM,sBAAsB,CAAC;AACxN,OAAO,EAAE,sBAAsB,EAAuD,MAAM,aAAa,CAAC;AAC1G,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEpC,MAAM,WAAW,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACrL,SAAS,YAAY,CAAC,OAA8B;IAClD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1I,CAAC;AAWD,wGAAwG;AACxG,MAAM,OAAO,eAAe;IAKG;IAAoD;IAJhE,KAAK,CAAQ;IACb,QAAQ,CAAS;IACjB,WAAW,CAAS;IACpB,OAAO,CAAqB;IAC7C,YAA6B,MAAmB,EAAE,KAAY,EAAmB,SAA8B;QAAlF,WAAM,GAAN,MAAM,CAAa;QAAiC,cAAS,GAAT,SAAS,CAAqB;QAC7G,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAAC,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC;QACrF,IAAI,CAAC,WAAW,GAAG,eAAe,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,GAAG,IAAI,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,kBAAkB,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACtG,CAAC;IACO,OAAO;QACb,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,MAAM,GAAG,WAAW;YAAE,MAAM,IAAI,QAAQ,CAAC,kFAAkF,CAAC,CAAC;QACzI,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAAC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACnE,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACzB,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,0BAA0B,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC;gBAAE,MAAM,IAAI,QAAQ,CAAC,4DAA4D,CAAC,CAAC;YACvQ,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAAC,OAAO,OAAO,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC;IACO,OAAO,CAAC,OAA4B,EAAE,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QAChG,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,WAAW,CAAC;YAClO,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,YAAY,CAAC;YAC1G,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YAC5J,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,YAAY;YAAE,MAAM,IAAI,QAAQ,CAAC,kDAAkD,CAAC,CAAC;QACrL,OAAO,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;IACzI,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,SAAiB,EAAE,UAA+B,EAAE;QAC/D,MAAM,QAAQ,GAAG,OAAO,CAAC,sBAAsB,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QAC1H,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAAC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC1F,IAAI,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,kDAAkD,CAAC,CAAC;QACvI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,wCAAwC,CAAC,CAAC;QACzH,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;QACtE,gGAAgG;QAChG,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAAC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAC3H,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC;gBAAE,MAAM,IAAI,QAAQ,CAAC,+DAA+D,CAAC,CAAC;YAC9M,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;YAAE,MAAM,IAAI,QAAQ,CAAC,6EAA6E,CAAC,CAAC;QACtI,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,2BAAoC;YACpG,GAAG,EAAE,EAAE,EAAE,EAAE,UAAU,aAAa,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;YAClJ,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG;YACnK,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;YACxH,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC;YACrF,UAAU,EAAE,MAAM,EAAE,EAAE,aAAa,EAAE,gCAAyC,EAAE,YAAY,EAAE,YAAqB,EAAE,mBAAmB,EAAE,eAAwB;SACnK,CAAC,CAAC,CAAC;QACJ,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,0BAA0B,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC9F,OAAO,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACzC,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,EAAU;QAClB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAAC,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACxF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,QAAQ,CAAC,6CAA6C,CAAC,CAAC;QAChF,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAA+C,EAAE;QAC1D,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAAC,IAAI,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QAAC,IAAI,MAAM,GAAG,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC;gBACH,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACrE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACnG,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO;oBAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAC3I,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;gBAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACnD,CAAC;YAAC,MAAM,CAAC;gBAAC,MAAM,IAAI,QAAQ,CAAC,kCAAkC,CAAC,CAAC;YAAC,CAAC;QACrE,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;QAAC,MAAM,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QACxH,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,GAAG,OAAO;gBAClG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClH,CAAC;CACF"}

package/dist/core/review.d.ts

@@ -0,0 +1,22 @@
+import { PlanEditProjection, PlanReview, PlanRevisionToken, SourcePlan, PlanSourceValidation, type Ref, type Scope } from '../protocol/index.ts';
+export interface ReviewSnapshot {
+    storageVersion: number;
+    projection: PlanEditProjection;
+}
+/** Trusted host ports, never a case/plugin-supplied implementation. */
+export interface PlanReviewPorts {
+    authorize(scope: Scope, action: 'edit' | 'review'): Promise<{
+        actorId: string;
+        policyRef: Ref;
+    }>;
+    resolvePlan(ref: Ref, scope: Scope): Promise<unknown>;
+    validateSources(plan: SourcePlan, policyRef: Ref): Promise<PlanSourceValidation>;
+    read(id: string, scope: Scope): Promise<ReviewSnapshot>;
+    /** Atomically publish validation, review (if any), and projection; false leaves all unchanged. */
+    compareAndSwap(expectedStorageVersion: number, projection: PlanEditProjection, review: PlanReview | null, sourceValidation: PlanSourceValidation | null): Promise<boolean>;
+}
+export type { PlanRevisionToken } from '../protocol/index.ts';
+/** Every specification edit clears review; observation refreshes do not call this operation. */
+export declare function editPlan(ports: PlanReviewPorts, token: PlanRevisionToken, nextRef: Ref): Promise<PlanEditProjection>;
+/** Review identity/policy come only from authenticated host admission, never request fields. */
+export declare function reviewPlan(ports: PlanReviewPorts, token: PlanRevisionToken, decision: 'approved' | 'rejected', reasonRefs: Ref[]): Promise<PlanReview>;