loopforge 3.8.3 → 3.9.1

package/dist/submission-guidance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission-guidance.js","sourceRoot":"","sources":["../src/submission-guidance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,OAAO,EACL,0BAA0B,EAC1B,SAAS,GACV,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAmCpD;;8EAE8E;AAC9E,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,SAAS;IACT,gBAAgB;IAChB,uBAAuB;IACvB,iBAAiB;IACjB,gCAAgC;IAChC,iCAAiC;IACjC,uCAAuC;IACvC,mCAAmC;IACnC,iBAAiB;IACjB,kBAAkB;IAClB,wBAAwB;IACxB,mBAAmB;IACnB,sBAAsB;IACtB,uBAAuB;IACvB,0BAA0B;IAC1B,gBAAgB;IAChB,gBAAgB;IAChB,iBAAiB;IACjB,wBAAwB;IACxB,kBAAkB;IAClB,mBAAmB;IACnB,UAAU;IACV,SAAS;IACT,SAAS;IACT,aAAa;IACb,kBAAkB;CACV,CAAC;AAIX,MAAM,MAAM,GAAiB;IAC3B;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,sEAAsE;QAC/E,IAAI,EAAE,yEAAyE;QAC/E,MAAM,EAAE,OAAO;QACf,UAAU,EAAE,0DAA0D;QACtE,eAAe,EACb,6EAA6E;YAC7E,0DAA0D;QAC5D,IAAI,EAAE,IAAI;KACX;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,4EAA4E;QACxF,eAAe,EACb,0EAA0E;YAC1E,qCAAqC;QACvC,IAAI,EAAE,IAAI;KACX;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE,gDAAgD;QACzD,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,0DAA0D;QACtE,eAAe,EACb,wEAAwE;YACxE,gEAAgE;QAClE,IAAI,EAAE,IAAI;KACX;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,mDAAmD;QAC5D,IAAI,EAAE,kFAAkF;QACxF,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,gDAAgD;QAC5D,eAAe,EACb,qEAAqE;YACrE,0BAA0B;QAC5B,IAAI,EAAE,IAAI;KACX;IACD;QACE,IAAI,EAAE,gCAAgC;QACtC,OAAO,EACL,4EAA4E;YAC5E,iEAAiE;QACnE,IAAI,EAAE,iGAAiG;QACvG,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,6EAA6E;QAC/E,eAAe,EACb,wEAAwE;YACxE,2EAA2E;YAC3E,4EAA4E;YAC5E,6CAA6C;QAC/C,UAAU,EAAE,KAAK;KAClB;IACD;QACE,IAAI,EAAE,iCAAiC;QACvC,OAAO,EAAE,8BAA8B;QACvC,IAAI,EAAE,+DAA+D;QACrE,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,kGAAkG;QACpG,eAAe,EACb,yEAAyE;YACzE,wEAAwE;YACxE,iCAAiC;KACpC;IACD;QACE,IAAI,EAAE,uCAAuC;QAC7C,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,yFAAyF;QAC/F,MAAM,EAAE,OAAO;QACf,UAAU,EACR,qGAAqG;QACvG,eAAe,EACb,0EAA0E;YAC1E,uEAAuE;YACvE,2EAA2E;YAC3E,gEAAgE;KACnE;IACD;QACE,IAAI,EAAE,mCAAmC;QACzC,OAAO,EAAE,2CAA2C;QACpD,IAAI,EAAE,mEAAmE;QACzE,MAAM,EAAE,OAAO;QACf,UAAU,EACR,kFAAkF;QACpF,eAAe,EACb,0EAA0E;YAC1E,0EAA0E;YAC1E,2CAA2C;KAC9C;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,qDAAqD;QAC9D,IAAI,EAAE,oFAAoF;QAC1F,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,2EAA2E;QACvF,eAAe,EACb,4EAA4E;YAC5E,uEAAuE;YACvE,wEAAwE;YACxE,oEAAoE;YACpE,4BAA4B;KAC/B;IACD;QACE,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,gEAAgE;QACtE,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,yEAAyE;QACrF,eAAe,EACb,0EAA0E;YAC1E,qDAAqD;KACxD;IACD;QACE,IAAI,EAAE,wBAAwB;QAC9B,OAAO,EAAE,iDAAiD;QAC1D,IAAI,EAAE,+DAA+D;QACrE,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,4EAA4E;QAC9E,eAAe,EACb,oEAAoE;YACpE,wEAAwE;YACxE,iEAAiE;KACpE;IACD;QACE,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,4DAA4D;QACrE,IAAI,EAAE,mEAAmE;QACzE,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,0FAA0F;QAC5F,eAAe,EACb,0EAA0E;YAC1E,0EAA0E;YAC1E,qBAAqB;KACxB;IACD;QACE,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,2DAA2D;QACpE,IAAI,EAAE,oEAAoE;QAC1E,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,uFAAuF;QACzF,eAAe,EACb,0EAA0E;YAC1E,yEAAyE;KAC5E;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE,8DAA8D;QACvE,IAAI,EAAE,sDAAsD;QAC5D,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,gGAAgG;QAClG,eAAe,EACb,2EAA2E;YAC3E,8CAA8C;KACjD;IACD;QACE,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE,2CAA2C;QACpD,IAAI,EAAE,4DAA4D;QAClE,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,oDAAoD;QAChE,eAAe,EACb,yEAAyE;YACzE,sBAAsB;KACzB;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,0DAA0D;QACnE,IAAI,EACF,0EAA0E;YAC1E,wEAAwE;YACxE,qCAAqC;QACvC,MAAM,EAAE,UAAU;QAClB,UAAU,EACR,0EAA0E;YAC1E,yBAAyB;QAC3B,eAAe,EACb,wEAAwE;YACxE,sEAAsE;YACtE,mEAAmE;YACnE,qEAAqE;YACrE,wEAAwE;YACxE,uEAAuE;YACvE,2CAA2C;KAC9C;IACD;QACE,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,4CAA4C;QACrD,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,sEAAsE;YACtE,6CAA6C;QAC/C,eAAe,EACb,uEAAuE;YACvE,qEAAqE;YACrE,uEAAuE;YACvE,sEAAsE;YACtE,yBAAyB;QAC3B,UAAU,EAAE,IAAI;KACjB;IACD;QACE,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,gDAAgD;QACzD,IAAI,EAAE,sDAAsD;QAC5D,MAAM,EAAE,SAAS;QACjB,UAAU,EACR,uEAAuE;YACvE,oDAAoD;QACtD,eAAe,EACb,yEAAyE;YACzE,sEAAsE;YACtE,2EAA2E;YAC3E,oDAAoD;KACvD;IACD;QACE,IAAI,EAAE,wBAAwB;QAC9B,OAAO,EAAE,kCAAkC;QAC3C,IAAI,EAAE,2DAA2D;QACjE,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,4EAA4E;QAC9E,eAAe,EACb,yEAAyE;YACzE,gEAAgE;KACnE;IACD;QACE,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,4CAA4C;QACrD,IAAI,EAAE,iDAAiD;QACvD,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,wDAAwD;QACpE,eAAe,EACb,wDAAwD;YACxD,2EAA2E;KAC9E;IACD;QACE,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,sDAAsD;QAC/D,IAAI,EAAE,oDAAoD;QAC1D,MAAM,EAAE,OAAO;QACf,UAAU,EACR,uFAAuF;QACzF,eAAe,EACb,yEAAyE;YACzE,yEAAyE;YACzE,uEAAuE;KAC1E;IACD;QACE,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,kDAAkD;QAC3D,IAAI,EAAE,8EAA8E;QACpF,MAAM,EAAE,SAAS;QACjB,UAAU,EACR,mFAAmF;QACrF,eAAe,EACb,sEAAsE;YACtE,2EAA2E;YAC3E,oEAAoE;KACvE;IACD;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,6BAA6B;QACtC,IAAI,EAAE,uEAAuE;QAC7E,MAAM,EAAE,OAAO;QACf,UAAU,EACR,qEAAqE;QACvE,eAAe,EACb,uEAAuE;YACvE,8DAA8D;YAC9D,8CAA8C;KACjD;IACD;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,iDAAiD;QAC1D,IAAI,EAAE,iEAAiE;QACvE,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,0EAA0E;QAC5E,eAAe,EACb,uEAAuE;YACvE,uEAAuE;YACvE,kBAAkB;KACrB;IACD;QACE,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,4BAA4B;QACrC,IAAI,EAAE,oDAAoD;QAC1D,MAAM,EAAE,SAAS;QACjB,UAAU,EACR,gGAAgG;QAClG,eAAe,EACb,8EAA8E;YAC9E,+DAA+D;KAClE;IACD;QACE,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,gDAAgD;QACzD,IAAI,EACF,wEAAwE;YACxE,+BAA+B;QACjC,MAAM,EAAE,QAAQ;QAChB,UAAU,EACR,kFAAkF;QACpF,eAAe,EACb,0EAA0E;YAC1E,yEAAyE;YACzE,qEAAqE;KACxE;CACF,CAAC;AAEF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE1E;gFACgF;AAChF,MAAM,cAAc,GAAqC;IACvD,iBAAiB,EACf,mEAAmE;IACrE,oBAAoB,EAClB,sEAAsE;IACxE,0BAA0B,EACxB,kFAAkF;IACpF,WAAW,EACT,iFAAiF;CACpF,CAAC;AAEF,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,eAAe,IAAI,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB;IAChC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAaD,SAAS,eAAe,CAAC,QAAmC;IAC1D,OAAO,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACtC,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgC;IAC1D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC;AAC/F,CAAC;AAED;;2CAE2C;AAC3C,MAAM,UAAU,YAAY,CAC1B,IAAY,EACZ,GAAwB;IAExB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC;QAC7B,KAAK,gBAAgB,CAAC,CAAC,OAAO,yCAAyC,CAAC;QACxE,KAAK,uBAAuB,CAAC,CAAC,OAAO,EAAE,CAAC;QACxC,KAAK,iBAAiB,CAAC,CAAC,OAAO,IAAI,CAAC;QACpC,KAAK,gCAAgC;YACnC,OAAO,CAAC,uDAAuD,CAAC,CAAC;QACnE,KAAK,iCAAiC;YACpC,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC9C,KAAK,uCAAuC,CAAC,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YACjD,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;QACD,KAAK,mCAAmC;YACtC,OAAO,CAAC,EAAE,YAAY,EAAE,2CAA2C,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACzF,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YACvD,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC/D,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,CAAC,mCAAmC,CAAC,CAAC;QAC/C,KAAK,wBAAwB;YAC3B,OAAO,CAAC,0CAA0C,CAAC,CAAC;QACtD,KAAK,mBAAmB;YACtB,OAAO,CAAC,0DAA0D,CAAC,CAAC;QACtE,KAAK,sBAAsB;YACzB,OAAO,sDAAsD,CAAC;QAChE,KAAK,uBAAuB;YAC1B,OAAO,CAAC,4DAA4D,CAAC,CAAC;QACxE,KAAK,0BAA0B;YAC7B,OAAO,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,iBAAiB,EAAE,CAAC,CAAC;QAC9D,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,6BAA6B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjF,OAAO;gBACL,SAAS,EAAE,+BAA+B;gBAC1C,KAAK,EAAE,CAAC;wBACN,WAAW,EAAE,gDAAgD;wBAC7D,cAAc,EAAE,EAAE;wBAClB,YAAY,EAAE,EAAE;wBAChB,WAAW,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;qBAC/B,CAAC;gBACF,KAAK,EAAE,CAAC,wCAAwC,CAAC;aAClD,CAAC;QACJ,CAAC;QACD,KAAK,gBAAgB;YACnB,OAAO,CAAC;oBACN,OAAO,EAAE,aAAa;oBACtB,YAAY,EAAE,iBAAiB;oBAC/B,OAAO,EAAE,wCAAwC;oBACjD,aAAa,EAAE,4BAA4B;oBAC3C,OAAO,EAAE,SAAS;oBAClB,qBAAqB,EAAE,EAAE;iBAC1B,CAAC,CAAC;QACL,KAAK,iBAAiB;YACpB,OAAO;gBACL,SAAS,EAAE,CAAC,sCAAsC,CAAC;gBACnD,gBAAgB,EAAE,CAAC,2CAA2C,CAAC;aAChE,CAAC;QACJ,KAAK,wBAAwB,CAAC,CAAC,OAAO,KAAK,CAAC;QAC5C,KAAK,kBAAkB,CAAC,CAAC,OAAO,qBAAqB,CAAC;QACtD,KAAK,mBAAmB;YACtB,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC,CAAC;QACtE,KAAK,UAAU;YACb,OAAO,CAAC,6CAA6C,CAAC,CAAC;QACzD,KAAK,SAAS,CAAC,CAAC,OAAO,SAAS,CAAC;QACjC,KAAK,SAAS,CAAC,CAAC,OAAO,+BAA+B,CAAC;QACvD,KAAK,aAAa,CAAC,CAAC,OAAO,SAAS,CAAC;QACrC,KAAK,kBAAkB,CAAC,CAAC,OAAO,sCAAsC,CAAC;QACvE,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAgBD;kDACkD;AAClD,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,KAAoB;IAClE,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IAAI,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACvD,IAAI,IAAI,KAAK,uCAAuC,EAAE,CAAC;YACrD,OAAO,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC;QACvC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,iBAAiB;YACpB,OAAO,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;QACrD,KAAK,gBAAgB;YACnB,uEAAuE;YACvE,mEAAmE;YACnE,OAAO,KAAK,CAAC,6BAA6B,CAAC;QAC7C,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,WAAW,CAAC;QAC3B;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAmBD,SAAS,YAAY,CACnB,MAAc,EACd,QAAmD;IAEnD,OAAO,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,MAAM,IAAI,SAAS,CAAC;AACrF,CAAC;AAED,SAAS,sBAAsB,CAAC,GAA0B;IACxD,MAAM,QAAQ,GAAG,GAAG,CAAC,cAAc,CAAC;IACpC,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG;YACZ,qEAAqE;YACrE,KAAK,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,QAAQ,CAAC,EAAE,GAAG;SAC1E,CAAC;QACF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,WAAW,MAAM,MAAM,iBAAiB,QAAQ,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,4BAA4B,CAAC,CAAC;QAC5F,CAAC;QACD,KAAK,CAAC,IAAI,CACR,8EAA8E,EAC9E,8EAA8E,EAC9E,8EAA8E,EAC9E,8EAA8E,EAC9E,0EAA0E,CAC3E,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,6BAA6B,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO;YACL,gFAAgF;YAChF,0EAA0E;SAC3E,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO;QACL,oFAAoF;QACpF,SAAS;QACT,IAAI,CAAC,SAAS,CAAC;YACb,cAAc,EAAE;gBACd,SAAS,EAAE,wBAAwB;gBACnC,KAAK,EAAE,CAAC;wBACN,WAAW,EAAE,6BAA6B;wBAC1C,cAAc,EAAE,EAAE;wBAClB,YAAY,EAAE,EAAE;wBAChB,WAAW,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;qBAC/B,CAAC;gBACF,KAAK,EAAE,CAAC,2BAA2B,CAAC;aACrC;SACF,EAAE,IAAI,EAAE,CAAC,CAAC;QACX,KAAK;QACL,oBAAoB,QAAQ,yDAAyD;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,GAA0B;IACvD,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAC/D,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,OAAO;QACL,qDAAqD;QACrD,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,WAAW,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7E,uEAAuE;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,GAA0B;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,aAAkC,EAAQ,EAAE;QACrE,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAClD,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO;QAC7B,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC;IACF,MAAM,UAAU,GAAwB;QACtC,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,cAAc,EAAE,GAAG,CAAC,QAAQ;QAC5B,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,6BAA6B,EAAE,GAAG,CAAC,6BAA6B;KACjE,CAAC;IACF,GAAG,CAAC,wBAAwB,EAAE,UAAU,CAAC,CAAC;IAC1C,GAAG,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;IACrC,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACvB,GAAG,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC;QACxC,GAAG,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;QACpC,GAAG,CAAC,uBAAuB,EAAE,UAAU,CAAC,CAAC;QACzC,GAAG,CAAC,0BAA0B,EAAE,UAAU,CAAC,CAAC;QAC5C,GAAG,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAClC,GAAG,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;QACnC,GAAG,CAAC,wBAAwB,EAAE,UAAU,CAAC,CAAC;QAC1C,GAAG,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;QACpC,GAAG,CAAC,mBAAmB,EAAE,UAAU,CAAC,CAAC;QACrC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC3B,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC3B,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAC/B,GAAG,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;QACpC,IAAI,GAAG,CAAC,WAAW;YAAE,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAsC;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG;QACZ,kFAAkF;QAClF,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,OAAO,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC/D,CAAC,CAAC;KACH,CAAC;IACF,KAAK,CAAC,IAAI,CACR,+EAA+E,EAC/E,0EAA0E,CAC3E,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,mBAAmB,CAAC,GAA0B;IAC5D,MAAM,IAAI,GAAG;QACX,OAAO,EAAE,KAAK;QACd,cAAc,EAAE,yCAAyC;QACzD,qBAAqB,EAAE,EAAE;QACzB,eAAe,EAAE,IAAI;KACtB,CAAC;IACF,MAAM,SAAS,GAAwB;QACrC,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,cAAc,EAAE,GAAG,CAAC,QAAQ;QAC5B,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,6BAA6B,EAAE,GAAG,CAAC,6BAA6B;KACjE,CAAC;IACF,MAAM,KAAK,GAAa;QACtB,qCAAqC;QACrC,EAAE;QACF,0BAA0B,GAAG,CAAC,KAAK,6BAA6B;YAC9D,8BAA8B;QAChC,EAAE;QACF,gBAAgB;QAChB,SAAS;QACT,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7B,KAAK;QACL,qEAAqE;QACrE,SAAS;QACT,IAAI,CAAC,SAAS,CAAC;YACb,gBAAgB,EAAE;gBAChB,aAAa,EAAE,YAAY,CAAC,gCAAgC,EAAE,SAAS,CAAC;gBACxE,cAAc,EAAE,YAAY,CAAC,iCAAiC,EAAE,SAAS,CAAC;aAC3E;SACF,EAAE,IAAI,EAAE,CAAC,CAAC;QACX,KAAK;QACL,yEAAyE;QACzE,4EAA4E;QAC5E,qEAAqE;KACtE,CAAC;IACF,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,yEAAyE,EACzE,GAAG,QAAQ,CACZ,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,CAAC,IAAI,CACR,yEAAyE,EACzE,8DAA8D,CAC/D,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAkCD,SAAS,cAAc,CAAC,QAAgC;IACtD,OAAO,QAAQ,CAAC,MAAM,CACpB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAC/D,CAAC;AACJ,CAAC;AAED;+DAC+D;AAC/D,MAAM,UAAU,wBAAwB,CACtC,OAA4B,EAC5B,OAAwB;IAExB,MAAM,MAAM,GAAG,SAAS,EAAE,CAAC;IAC3B,MAAM,cAAc,GAClB,MAAM,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ;SACrC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;SACpC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACvC,MAAM,KAAK,GACT,OAAO,CAAC,YAAY,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI;QAC5D,OAAO,CAAC,YAAY,KAAK,IAAI;QAC7B,CAAC,CAAC,OAAO,CAAC,YAAY;QACtB,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,cAAc,EAAE,KAAK;YAC7C,OAAO,CAAC,mBAAmB,EAAE,eAAe,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC;IAEnE,MAAM,QAAQ,GACZ,OAAO,CAAC,mBAAmB,EAAE,SAAS;QACtC,cAAc,CAAC;YACb,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,gBAAgB,CAAC;QAC7B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,QAAQ,EAAE,kBAAkB;QAC5B,QAAQ;QACR,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,KAAK,CAAC,cAAc,CAAC;IAC5C,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;IACxC,MAAM,aAAa,GAAkB;QACnC,KAAK;QACL,cAAc;QACd,YAAY;QACZ,QAAQ;QACR,QAAQ,EAAE,YAAY;QACtB,6BAA6B,EAAE,UAAU,CAAC,6BAA6B;QACvE,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI;KAC3C,CAAC;IACF,MAAM,UAAU,GAAwB;QACtC,cAAc;QACd,cAAc,EAAE,cAAc,CAAC,QAAQ,CAAC;QACxC,QAAQ,EAAE,YAAY;QACtB,6BAA6B,EAAE,UAAU,CAAC,6BAA6B;KACxE,CAAC;IACF,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,EAAE,cAAc;QACpD,OAAO,CAAC,mBAAmB,EAAE,eAAe,CAAC;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,EAAE,OAAO;QAC5C,QAAQ,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,YAAY,EAAE,CAAC;IAEzD,OAAO;QACL,QAAQ,EAAE,OAAO;QACjB,eAAe,EAAE,cAAc;YAC7B,CAAC,CAAC;gBACE,EAAE,EAAE,cAAc,CAAC,EAAE;gBACrB,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,cAAc,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5E,iBAAiB,EAAE,cAAc,CAAC,iBAAiB;gBACnD,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBACzC,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC;oBAC3C,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;iBACnC,CAAC,CAAC;aACJ;YACH,CAAC,CAAC,IAAI;QACR,iBAAiB,EAAE,YAAY;QAC/B,+BAA+B,EAAE,UAAU,CAAC,6BAA6B;QACzE,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAChD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;QACH,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,sBAAsB;YAC3D,CAAC,CAAC;gBACE,QAAQ,EAAE,IAAI;gBACd,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC;gBACpD,WAAW,EAAE,OAAO,CAAC,sBAAsB;aAC5C;YACH,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,EAAE;YACN,KAAK;YACL,gBAAgB,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;YACxD,kBAAkB,EAAE,QAAQ,EAAE,iBAAiB,KAAK,IAAI;SACzD;QACD,MAAM,EAAE,WAAW;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;aACxD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACvC,OAAO;gBACL,IAAI;gBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC;gBACvC,MAAM,EAAE,KAAK,CAAC,UAAU;aACzB,CAAC;QACJ,CAAC,CAAC;QACJ,QAAQ,EAAE,CAAC,OAAO,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACzD,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAChD,CAAC;AACF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CACpC,MAAM;KACH,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;KAC7D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAChE,CAAC;AAEF;;;;oCAIoC;AACpC,MAAM,UAAU,mBAAmB,CAAC,GAA4B;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,CAAC;IACpC,MAAM,YAAY,GAChB,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAC5D,CAAC,CAAC,MAAiC;QACnC,CAAC,CAAC,IAAI,CAAC;IACX,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,YAAY;gBACZ,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,KAAK,SAAS;gBAC/B,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,MAA+B;IAE/B,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SACvB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACjD,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,GAA4B;IACvE,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,CAAC;IACpC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9E,OAAO,iCAAiC,CAAC,MAAiC,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAA4B;IAChE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;SACpB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SAC1C,IAAI,EAAE,CAAC;AACZ,CAAC"}

package/dist/submission-receipt.d.ts

@@ -0,0 +1,48 @@
+/** v3.9.1 — the submission receipt.
+ *
+ * A receipt is a READ-ONLY projection: it compares existing derivations and
+ * reports what the transaction actually did. It is never persisted as its own
+ * ledger; a committed round's receipt is rebuilt from its transaction snapshot
+ * plus the shared `CommittedRoundView` window.
+ *
+ * The three facts are deliberately separate:
+ *   - reports:   what was saved (or dropped/truncated/not applied);
+ *   - effects:   which derived state actually changed;
+ *   - verification: what the machine observed/verified.
+ * A saved report is never a verified fact.
+ */
+import type { ContractItemStatus, PromptArtifact, SelfEvaluation, SubmissionDiagnostic, SubmissionReceipt, SubGoal } from "./protocol.js";
+import type { ObservationDelta } from "./evidence-provider.js";
+import type { RoundProcessResult } from "./round-coordinator.js";
+import type { RoundTransactionSnapshot } from "./round-transaction.js";
+import type { CommittedRoundView } from "./committed-round.js";
+export interface ReceiptFacts {
+    contractBefore: string | null;
+    contractAfter: string | null;
+    subGoalsBefore: ReadonlyArray<SubGoal>;
+    subGoalsAfter: ReadonlyArray<SubGoal> | null;
+    /** The next compile's active constraint set, or null when not observed. */
+    constraintsActiveAfter: string[] | null;
+}
+export interface ReceiptInput {
+    snapshot: RoundTransactionSnapshot;
+    selfEval: SelfEvaluation;
+    pr: RoundProcessResult;
+    disposition: SubmissionReceipt["disposition"];
+    diagnostics: SubmissionDiagnostic[];
+    submittedFields: string[];
+    facts: ReceiptFacts;
+    nextArtifact?: PromptArtifact | null;
+    contractItems: Array<{
+        item_id: string;
+        status: ContractItemStatus;
+    }>;
+    /** The round delta (already derived) used by the evidence posture. */
+    evidenceDeltas: ObservationDelta[];
+}
+/** Build a receipt from explicitly supplied before/after facts. */
+export declare function deriveSubmissionReceipt(input: ReceiptInput): SubmissionReceipt;
+/** Rebuild the same receipt from committed history. No new persistence and
+ *  no second history: `allViews` is the caller's `readOnlyRounds` window. */
+export declare function deriveCommittedSubmissionView(view: CommittedRoundView, allViews: ReadonlyArray<CommittedRoundView>): SubmissionReceipt;
+//# sourceMappingURL=submission-receipt.d.ts.map

package/dist/submission-receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission-receipt.d.ts","sourceRoot":"","sources":["../src/submission-receipt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,kBAAkB,EAClB,cAAc,EAEd,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EAEjB,OAAO,EACR,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAQ/D,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC7C,2EAA2E;IAC3E,sBAAsB,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;CACzC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,wBAAwB,CAAC;IACnC,QAAQ,EAAE,cAAc,CAAC;IACzB,EAAE,EAAE,kBAAkB,CAAC;IACvB,WAAW,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC9C,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,KAAK,EAAE,YAAY,CAAC;IACpB,YAAY,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;IACrC,aAAa,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC,CAAC;IACtE,sEAAsE;IACtE,cAAc,EAAE,gBAAgB,EAAE,CAAC;CACpC;AAwGD,mEAAmE;AACnE,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,iBAAiB,CAuI9E;AAED;6EAC6E;AAC7E,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,aAAa,CAAC,kBAAkB,CAAC,GAC1C,iBAAiB,CAgGnB"}

package/dist/submission-receipt.js

@@ -0,0 +1,336 @@
+/** v3.9.1 — the submission receipt.
+ *
+ * A receipt is a READ-ONLY projection: it compares existing derivations and
+ * reports what the transaction actually did. It is never persisted as its own
+ * ledger; a committed round's receipt is rebuilt from its transaction snapshot
+ * plus the shared `CommittedRoundView` window.
+ *
+ * The three facts are deliberately separate:
+ *   - reports:   what was saved (or dropped/truncated/not applied);
+ *   - effects:   which derived state actually changed;
+ *   - verification: what the machine observed/verified.
+ * A saved report is never a verified fact.
+ */
+import { deriveActiveRoundContract, deriveRoundContractView } from "./round-contract.js";
+import { deriveSubGoals } from "./subgoal-state.js";
+import { deriveEvidenceStatus } from "./verification-gate.js";
+import { fieldGuide } from "./submission-guidance.js";
+import { deriveFieldAccounting } from "./field-accounting.js";
+import { getPolicy } from "./policy.js";
+const HANDLING_PRIORITY = {
+    "not_applied": 6,
+    "dropped": 5,
+    "truncated": 4,
+    "normalized": 3,
+    "saved_not_expanded": 2,
+    "saved": 1,
+};
+function stronger(left, right) {
+    return HANDLING_PRIORITY[right] > HANDLING_PRIORITY[left] ? right : left;
+}
+function combineDetail(left, right) {
+    if (!left)
+        return right;
+    if (!right)
+        return left;
+    return `${left}; ${right}`;
+}
+function hasCheck(pr, check) {
+    return pr.verificationFlags.some((flag) => flag.check === check);
+}
+function baseReportHandling(path, input) {
+    if (input.disposition === "rejected" || input.disposition === "terminated") {
+        return { handling: "not_applied" };
+    }
+    if (input.disposition === "backtracked") {
+        return path === "wrong_assumptions"
+            ? { handling: "saved", detail: "kept in the recovery brief" }
+            : { handling: "not_applied" };
+    }
+    const guide = fieldGuide(path);
+    if (guide?.reportOnly) {
+        return {
+            handling: "saved_not_expanded",
+            detail: "saved as a report; it does not change derived state automatically",
+        };
+    }
+    if (path === "gate_ids" && getPolicy().gate.enabled !== true) {
+        return {
+            handling: "saved_not_expanded",
+            detail: "the gate layer is disabled; the citation has no runtime effect",
+        };
+    }
+    if (path === "prompt_requests") {
+        const nextLevel = input.nextArtifact?.level;
+        if (!input.nextArtifact || nextLevel === "l0") {
+            return {
+                handling: "saved_not_expanded",
+                detail: "no next prompt consumed it (or the next prompt is L0)",
+            };
+        }
+    }
+    if (path === "round_contract" && hasCheck(input.pr, "contract_premature")) {
+        return {
+            handling: "saved_not_expanded",
+            detail: "the active contract is still open; the different proposal was ignored",
+        };
+    }
+    if (path === "no_change_reason") {
+        const commands = getPolicy().evidence.commands ?? [];
+        if (commands.some((command) => command.enabled)) {
+            return {
+                handling: "saved_not_expanded",
+                detail: "a verification command is configured; the escape is not honored",
+            };
+        }
+    }
+    return { handling: "saved" };
+}
+function subGoalDiff(before, after) {
+    if (!after)
+        return { created: [], updated: [] };
+    const beforeById = new Map(before.map((item) => [item.id, item]));
+    const created = [];
+    const updated = [];
+    for (const item of after) {
+        const previous = beforeById.get(item.id);
+        if (!previous) {
+            created.push({ id: item.id, description: item.description });
+            continue;
+        }
+        if (previous.status !== item.status) {
+            updated.push({ id: item.id, from: previous.status, to: item.status });
+        }
+    }
+    return { created, updated };
+}
+/** Build a receipt from explicitly supplied before/after facts. */
+export function deriveSubmissionReceipt(input) {
+    const { selfEval, pr, disposition } = input;
+    const enteredHistory = disposition === "accepted" || disposition === "stopped";
+    const record = disposition === "accepted" || disposition === "stopped"
+        ? "committed"
+        : disposition === "backtracked"
+            ? "rollback_directive"
+            : "none";
+    // ── reports ────────────────────────────────────────────────────────────
+    const accounting = deriveFieldAccounting({
+        submittedFields: input.submittedFields,
+        normalizationDiagnostics: input.diagnostics,
+        evaluation: selfEval,
+    });
+    const retained = new Set(accounting.retained);
+    const reports = new Map();
+    for (const path of input.submittedFields) {
+        const base = baseReportHandling(path, input);
+        const detail = !retained.has(path) && accounting.incomplete &&
+            base.handling !== "not_applied"
+            ? combineDetail(base.detail, "retention unknown (diagnostics were truncated)")
+            : base.detail;
+        reports.set(path, {
+            path,
+            handling: base.handling,
+            ...(detail ? { detail } : {}),
+        });
+    }
+    for (const diagnostic of input.diagnostics) {
+        if (diagnostic.handling === "rejected")
+            continue;
+        const existing = reports.get(diagnostic.path);
+        if (existing) {
+            // A partial array loss must not downgrade a retained field: the field
+            // survived with some entries. Keep its handling and surface the loss as
+            // a detail instead.
+            if (retained.has(diagnostic.path) && diagnostic.handling === "dropped") {
+                existing.detail = combineDetail(existing.detail, diagnostic.detail);
+                continue;
+            }
+            if (existing.handling === "not_applied") {
+                existing.detail = diagnostic.detail;
+            }
+            else {
+                existing.handling = stronger(existing.handling, diagnostic.handling);
+                existing.detail = diagnostic.detail;
+            }
+        }
+        else {
+            reports.set(diagnostic.path, {
+                path: diagnostic.path,
+                handling: diagnostic.handling,
+                detail: diagnostic.detail,
+            });
+        }
+    }
+    // ── effects ────────────────────────────────────────────────────────────
+    const diffApplied = disposition === "accepted" || disposition === "stopped";
+    const subGoals = diffApplied
+        ? subGoalDiff(input.facts.subGoalsBefore, input.facts.subGoalsAfter)
+        : { created: [], updated: [] };
+    const declared = diffApplied ? [...(selfEval.discovered_constraints ?? [])] : [];
+    const retracted = diffApplied ? [...(selfEval.retracted_constraints ?? [])] : [];
+    const activeAfter = input.facts.constraintsActiveAfter;
+    const activationObserved = diffApplied && activeAfter !== null;
+    const notExpanded = activationObserved
+        ? declared.filter((item) => !activeAfter.includes(item))
+        : [];
+    const checkpoint = diffApplied && selfEval.compression_checkpoint === true
+        ? {
+            label: (selfEval.checkpoint_label ?? "").trim() || `Round ${input.snapshot.round}`,
+            round: input.snapshot.round,
+        }
+        : null;
+    const rollback = pr.action === "backtrack"
+        ? {
+            restore_point: pr.backtrackTarget ?? Math.max(1, input.snapshot.round - 1),
+            preserved_discoveries: [...(pr.backtrackSkippedDiscoveries ?? [])],
+            wrong_assumptions: [...(pr.backtrackWrongAssumptions ?? [])],
+        }
+        : null;
+    const contractBefore = input.facts.contractBefore;
+    const contractAfter = input.facts.contractAfter;
+    // ── verification ───────────────────────────────────────────────────────
+    const evidence = deriveEvidenceStatus(selfEval, input.evidenceDeltas);
+    return {
+        round_id: input.snapshot.roundId,
+        attempt: input.snapshot.attempt,
+        disposition,
+        record,
+        entered_history: enteredHistory,
+        reports: [...reports.values()],
+        effects: {
+            contract: {
+                before_id: contractBefore,
+                after_id: contractAfter,
+                activated: diffApplied && contractAfter !== null && contractBefore !== contractAfter,
+                closed: diffApplied && contractBefore !== null && contractBefore !== contractAfter,
+            },
+            subgoals_created: subGoals.created,
+            subgoals_updated: subGoals.updated,
+            constraints_declared: declared,
+            constraints_retracted: retracted,
+            constraints_activation: activationObserved ? "observed" : "not_observed",
+            constraints_active_after: activationObserved ? activeAfter : null,
+            constraints_not_expanded: notExpanded,
+            checkpoint,
+            rollback,
+        },
+        verification: {
+            contract_status: pr.verificationStatus,
+            evidence_status: evidence.providerStatus,
+            checks: pr.verificationFlags.map((flag) => ({
+                field: flag.field,
+                check: flag.check,
+                severity: flag.severity,
+                detail: flag.detail,
+            })),
+            contract_items: input.contractItems,
+        },
+        prompt: input.nextArtifact
+            ? {
+                level: input.nextArtifact.level,
+                dropped_sections: [...input.nextArtifact.droppedSections],
+                prompt_request_effects: [...(input.nextArtifact.promptRequestEffects ?? [])],
+            }
+            : null,
+        diagnostics: input.diagnostics,
+    };
+}
+/** Rebuild the same receipt from committed history. No new persistence and
+ *  no second history: `allViews` is the caller's `readOnlyRounds` window. */
+export function deriveCommittedSubmissionView(view, allViews) {
+    const commands = getPolicy().evidence.commands ?? [];
+    const beforeRounds = allViews.filter((item) => item.round < view.round);
+    const afterRounds = allViews.filter((item) => item.round <= view.round);
+    const next = allViews.find((item) => item.round === view.round + 1) ?? null;
+    const contractBefore = deriveActiveRoundContract(beforeRounds, commands)?.id ?? null;
+    const contractAfter = deriveActiveRoundContract(afterRounds, commands)?.id ?? null;
+    const subGoalsBefore = deriveSubGoals({
+        loopId: view.loopId,
+        currentRound: view.round,
+        rounds: beforeRounds,
+    });
+    const subGoalsAfter = deriveSubGoals({
+        loopId: view.loopId,
+        currentRound: view.round + 1,
+        rounds: afterRounds,
+    });
+    const contractView = deriveRoundContractView({
+        rounds: allViews,
+        round: view.round,
+        report: view.executionReport,
+        deltas: view.observationDelta,
+        outcome: view.outcome,
+        commands,
+    });
+    const selfEval = view.evaluation ?? {
+        success: view.success,
+        output_summary: "",
+        constraint_violations: [],
+        should_continue: view.action === "continue",
+    };
+    const pr = view.result ?? {
+        action: view.action,
+        verificationFlags: view.verificationFlags,
+        roundSuccess: view.success,
+        gateContradicted: false,
+        verificationStatus: "trusted",
+        newConsecutiveRejections: 0,
+        shouldPushSuccessTrajectory: false,
+        ...(view.backtrack
+            ? {
+                backtrackTarget: view.backtrack.target,
+                backtrackSkippedDiscoveries: [],
+            }
+            : {}),
+    };
+    const disposition = view.action === "backtrack"
+        ? "backtracked"
+        : view.action === "stop"
+            ? "stopped"
+            : "accepted";
+    const submittedFields = view.submittedFields;
+    const snapshot = {
+        schemaVersion: 3,
+        roundId: view.roundId,
+        loopId: view.loopId,
+        round: view.round,
+        attempt: view.attempt,
+        phase: "committed",
+        beforeEvidence: view.beforeEvidence,
+        afterEvidence: view.afterEvidence,
+        evaluation: view.evaluation ?? undefined,
+        result: view.result ?? undefined,
+        ...(view.normalizationDiagnostics.length > 0
+            ? { normalizationDiagnostics: view.normalizationDiagnostics }
+            : {}),
+        ...(view.submittedFields.length > 0 ? { submittedFields: view.submittedFields } : {}),
+        createdAt: 0,
+        updatedAt: 0,
+    };
+    return deriveSubmissionReceipt({
+        snapshot,
+        selfEval,
+        pr,
+        disposition,
+        diagnostics: view.normalizationDiagnostics,
+        submittedFields,
+        facts: {
+            contractBefore,
+            contractAfter,
+            subGoalsBefore,
+            subGoalsAfter,
+            // A stopped/backtracked round has no next compile to attribute an
+            // active set to. A continue round uses the next round's stamped set.
+            constraintsActiveAfter: disposition === "accepted"
+                ? next?.activeConstraints ?? null
+                : null,
+        },
+        nextArtifact: next?.promptArtifact ?? null,
+        contractItems: contractView.statuses.items.map((item) => ({
+            item_id: item.itemId,
+            status: item.status,
+        })),
+        evidenceDeltas: view.observationDelta,
+    });
+}
+//# sourceMappingURL=submission-receipt.js.map

package/dist/submission-receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission-receipt.js","sourceRoot":"","sources":["../src/submission-receipt.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAgBH,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAyBxC,MAAM,iBAAiB,GAA6C;IAClE,aAAa,EAAE,CAAC;IAChB,SAAS,EAAE,CAAC;IACZ,WAAW,EAAE,CAAC;IACd,YAAY,EAAE,CAAC;IACf,oBAAoB,EAAE,CAAC;IACvB,OAAO,EAAE,CAAC;CACX,CAAC;AAEF,SAAS,QAAQ,CACf,IAA8B,EAC9B,KAA+B;IAE/B,OAAO,iBAAiB,CAAC,KAAK,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC;AAED,SAAS,aAAa,CAAC,IAAa,EAAE,KAAc;IAClD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,QAAQ,CAAC,EAAsB,EAAE,KAAa;IACrD,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAY,EACZ,KAAmB;IAEnB,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;QAC3E,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;QACxC,OAAO,IAAI,KAAK,mBAAmB;YACjC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,4BAA4B,EAAE;YAC7D,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAClC,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,KAAK,EAAE,UAAU,EAAE,CAAC;QACtB,OAAO;YACL,QAAQ,EAAE,oBAAoB;YAC9B,MAAM,EAAE,mEAAmE;SAC5E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,SAAS,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7D,OAAO;YACL,QAAQ,EAAE,oBAAoB;YAC9B,MAAM,EAAE,gEAAgE;SACzE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YAC9C,OAAO;gBACL,QAAQ,EAAE,oBAAoB;gBAC9B,MAAM,EAAE,uDAAuD;aAChE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,CAAC;QAC1E,OAAO;YACL,QAAQ,EAAE,oBAAoB;YAC9B,MAAM,EAAE,uEAAuE;SAChF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;QACrD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,QAAQ,EAAE,oBAAoB;gBAC9B,MAAM,EAAE,iEAAiE;aAC1E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,WAAW,CAClB,MAA8B,EAC9B,KAAoC;IAKpC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,OAAO,GAA+C,EAAE,CAAC;IAC/D,MAAM,OAAO,GAAoD,EAAE,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC7D,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,uBAAuB,CAAC,KAAmB;IACzD,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,cAAc,GAAG,WAAW,KAAK,UAAU,IAAI,WAAW,KAAK,SAAS,CAAC;IAC/E,MAAM,MAAM,GACV,WAAW,KAAK,UAAU,IAAI,WAAW,KAAK,SAAS;QACrD,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,WAAW,KAAK,aAAa;YAC7B,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,MAAM,CAAC;IAEf,0EAA0E;IAC1E,MAAM,UAAU,GAAG,qBAAqB,CAAC;QACvC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,wBAAwB,EAAE,KAAK,CAAC,WAAW;QAC3C,UAAU,EAAE,QAAQ;KACrB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAInB,CAAC;IACL,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU;YACvD,IAAI,CAAC,QAAQ,KAAK,aAAa;YACjC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,gDAAgD,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;YAChB,IAAI;YACJ,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAC3C,IAAI,UAAU,CAAC,QAAQ,KAAK,UAAU;YAAE,SAAS;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,QAAQ,EAAE,CAAC;YACb,sEAAsE;YACtE,wEAAwE;YACxE,oBAAoB;YACpB,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACvE,QAAQ,CAAC,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;gBACpE,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;gBACxC,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACtC,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACrE,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACtC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE;gBAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,MAAM,WAAW,GAAG,WAAW,KAAK,UAAU,IAAI,WAAW,KAAK,SAAS,CAAC;IAC5E,MAAM,QAAQ,GAAG,WAAW;QAC1B,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC;QACpE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACvD,MAAM,kBAAkB,GAAG,WAAW,IAAI,WAAW,KAAK,IAAI,CAAC;IAC/D,MAAM,WAAW,GAAG,kBAAkB;QACpC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,UAAU,GAAG,WAAW,IAAI,QAAQ,CAAC,sBAAsB,KAAK,IAAI;QACxE,CAAC,CAAC;YACE,KAAK,EAAE,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE;YAClF,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;SAC5B;QACH,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,EAAE,CAAC,MAAM,KAAK,WAAW;QACxC,CAAC,CAAC;YACE,aAAa,EAAE,EAAE,CAAC,eAAe,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;YAC1E,qBAAqB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;YAClE,iBAAiB,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;SAC7D;QACH,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC;IAClD,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC;IAEhD,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IAEtE,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;QAChC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO;QAC/B,WAAW;QACX,MAAM;QACN,eAAe,EAAE,cAAc;QAC/B,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QAC9B,OAAO,EAAE;YACP,QAAQ,EAAE;gBACR,SAAS,EAAE,cAAc;gBACzB,QAAQ,EAAE,aAAa;gBACvB,SAAS,EAAE,WAAW,IAAI,aAAa,KAAK,IAAI,IAAI,cAAc,KAAK,aAAa;gBACpF,MAAM,EAAE,WAAW,IAAI,cAAc,KAAK,IAAI,IAAI,cAAc,KAAK,aAAa;aACnF;YACD,gBAAgB,EAAE,QAAQ,CAAC,OAAO;YAClC,gBAAgB,EAAE,QAAQ,CAAC,OAAO;YAClC,oBAAoB,EAAE,QAAQ;YAC9B,qBAAqB,EAAE,SAAS;YAChC,sBAAsB,EAAE,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc;YACxE,wBAAwB,EAAE,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;YACjE,wBAAwB,EAAE,WAAW;YACrC,UAAU;YACV,QAAQ;SACT;QACD,YAAY,EAAE;YACZ,eAAe,EAAE,EAAE,CAAC,kBAA6C;YACjE,eAAe,EAAE,QAAQ,CAAC,cAAc;YACxC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC1C,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC,CAAC;YACH,cAAc,EAAE,KAAK,CAAC,aAAa;SACpC;QACD,MAAM,EAAE,KAAK,CAAC,YAAY;YACxB,CAAC,CAAC;gBACE,KAAK,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK;gBAC/B,gBAAgB,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,eAAe,CAAC;gBACzD,sBAAsB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;aAC7E;YACH,CAAC,CAAC,IAAI;QACR,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAC;AACJ,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,6BAA6B,CAC3C,IAAwB,EACxB,QAA2C;IAE3C,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IACrD,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;IAC5E,MAAM,cAAc,GAAG,yBAAyB,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC;IACrF,MAAM,aAAa,GAAG,yBAAyB,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC;IACnF,MAAM,cAAc,GAAG,cAAc,CAAC;QACpC,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,YAAY,EAAE,IAAI,CAAC,KAAK;QACxB,MAAM,EAAE,YAAY;KACrB,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,cAAc,CAAC;QACnC,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,YAAY,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC;QAC5B,MAAM,EAAE,WAAW;KACpB,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,uBAAuB,CAAC;QAC3C,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,eAAe;QAC5B,MAAM,EAAE,IAAI,CAAC,gBAAgB;QAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,QAAQ;KACT,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,IAAI;QAClC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,cAAc,EAAE,EAAE;QAClB,qBAAqB,EAAE,EAAE;QACzB,eAAe,EAAE,IAAI,CAAC,MAAM,KAAK,UAAU;KAC5C,CAAC;IACF,MAAM,EAAE,GAAuB,IAAI,CAAC,MAAM,IAAI;QAC5C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,YAAY,EAAE,IAAI,CAAC,OAAO;QAC1B,gBAAgB,EAAE,KAAK;QACvB,kBAAkB,EAAE,SAAS;QAC7B,wBAAwB,EAAE,CAAC;QAC3B,2BAA2B,EAAE,KAAK;QAClC,GAAG,CAAC,IAAI,CAAC,SAAS;YAChB,CAAC,CAAC;gBACE,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM;gBACtC,2BAA2B,EAAE,EAAE;aAChC;YACH,CAAC,CAAC,EAAE,CAAC;KACc,CAAC;IACxB,MAAM,WAAW,GACf,IAAI,CAAC,MAAM,KAAK,WAAW;QACzB,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM;YACtB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,UAAU,CAAC;IACnB,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC;IAC7C,MAAM,QAAQ,GAA6B;QACzC,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,KAAK,EAAE,WAAW;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,SAAS;QACxC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,SAAS;QAChC,GAAG,CAAC,IAAI,CAAC,wBAAwB,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,EAAE,wBAAwB,EAAE,IAAI,CAAC,wBAAwB,EAAE;YAC7D,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;KACb,CAAC;IACF,OAAO,uBAAuB,CAAC;QAC7B,QAAQ;QACR,QAAQ;QACR,EAAE;QACF,WAAW;QACX,WAAW,EAAE,IAAI,CAAC,wBAAwB;QAC1C,eAAe;QACf,KAAK,EAAE;YACL,cAAc;YACd,aAAa;YACb,cAAc;YACd,aAAa;YACb,kEAAkE;YAClE,qEAAqE;YACrE,sBAAsB,EAAE,WAAW,KAAK,UAAU;gBAChD,CAAC,CAAC,IAAI,EAAE,iBAAiB,IAAI,IAAI;gBACjC,CAAC,CAAC,IAAI;SACT;QACD,YAAY,EAAE,IAAI,EAAE,cAAc,IAAI,IAAI;QAC1C,aAAa,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACxD,OAAO,EAAE,IAAI,CAAC,MAAM;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;QACH,cAAc,EAAE,IAAI,CAAC,gBAAgB;KACtC,CAAC,CAAC;AACL,CAAC"}

package/dist/verification-gate.d.ts

@@ -20,6 +20,7 @@
  */
 import type { VaultEntry } from "./loop-store.js";
 import type { MachineObservation } from "./protocol.js";
+import type { GitDeltaState, ObservationDelta } from "./evidence-provider.js";
 import type { EntrypointDrift } from "./evidence-provider.js";
 import type { SelfEvaluation, VerificationResult } from "./protocol.js";
 import { type ActiveContractView } from "./round-contract.js";
@@ -91,20 +92,23 @@ export declare function collectOutOfScopeFiles(files: string[], scope: string[])
 export interface EvidenceStatus {
     /** Whether this round produced a machine-verified observation. */
     providerStatus: "verified" | "unavailable" | "absent";
-    /** Git snapshot exists and diffed file changes this round. */
+    /** The Git boundary was observed and its change set is known. */
     gitObserved: boolean;
+    /** Applicability vs observability of the Git change set. */
+    gitChangeState: GitDeltaState["state"];
     /** A passed after-phase command snapshot exists. */
     commandVerified: boolean;
     /** Agent-reported tests_reported agree with a passed command's parsed stdout. */
     testsMachineBacked: boolean;
-    /** Agent-reported files_changed equals the git diff set exactly. */
-    reportedFilesMatch: boolean;
+    /** Agent-reported files_changed equals the git change set exactly; null
+     *  when the machine change set is not observable. */
+    reportedFilesMatch: boolean | null;
 }
 /** v3.2: Derive the machine-verification status of a round. The verification
  *  capability is modeled explicitly (verified / unavailable / absent) instead
  *  of letting evidence-dependent checks silently disappear when snapshots are
  *  missing — the fix for the "weakest when it matters most" gap. */
-export declare function deriveEvidenceStatus(selfEval: SelfEvaluation, evidenceSnapshots: MachineObservation[]): EvidenceStatus;
+export declare function deriveEvidenceStatus(selfEval: SelfEvaluation, evidenceDeltas: ReadonlyArray<ObservationDelta>): EvidenceStatus;
 /** Per-round machine progress over decoded committed history. */
 export declare function machineProgressSeries(vaultEntries: VaultEntry[], currentRound: number, lookback: number): boolean[] | null;
 interface ParsedTestCounts {
@@ -131,8 +135,8 @@ export declare function parseTestOutput(stdout: string): ParsedTestCounts | null
  *  Git diff files are the machine-authoritative "what actually changed" set.
  *  Empty when there is nothing to compare: no active contract, no declared
  *  scope, or no git observation (cannot observe → fail open). */
-export declare function roundDriftFiles(activeContract: ActiveContractView | null, evidenceSnapshots: MachineObservation[]): string[];
-export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRound: number, vaultEntries: VaultEntry[], prevSelfEval?: SelfEvaluation | null, evidenceSnapshots?: MachineObservation[],
+export declare function roundDriftFiles(activeContract: ActiveContractView | null, evidenceDeltas: ReadonlyArray<ObservationDelta>): string[] | null;
+export declare function verifySelfEvaluation(selfEval: SelfEvaluation, currentRound: number, vaultEntries: VaultEntry[], prevSelfEval?: SelfEvaluation | null, evidenceDeltas?: ReadonlyArray<ObservationDelta>,
 /** v2.13: Files from skipped backtrack rounds. If the agent's
  *  files_changed overlaps significantly with these, the workspace
  *  was not properly restored before working. */
@@ -150,6 +154,8 @@ gateEntries?: VaultEntry[],
 /** v3.8.3: entrypoint files that no longer match the trusted round-start
  *  baseline. Derived by the caller (it needs the in-flight trust map and
  *  filesystem access); this function stays a pure function of its inputs. */
-entrypointDrift?: EntrypointDrift[]): VerificationResult;
+entrypointDrift?: EntrypointDrift[], beforeEvidence?: MachineObservation[],
+/** v3.9: the restore point's own dirty files (undefined = never observed). */
+backtrackTargetDirty?: string[]): VerificationResult;
 export {};
 //# sourceMappingURL=verification-gate.d.ts.map

package/dist/verification-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,KAAK,EAEV,cAAc,EAEd,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAQvB,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAsB7B,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAI3F,eAAO,MAAM,mCAAmC,kCAAkC,CAAC;AACnF,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,iCAAiC,gCAAgC,CAAC;AAC/E,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,8BAA8B,6BAA6B,CAAC;AACzE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;;;gDAIgD;AAChD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF;mDACmD;AACnD,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAiB7E;;0DAE0D;AAC1D,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;+DAE+D;AAC/D,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;;2CAG2C;AAC3C,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;oEAEoE;AACpE,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AAQjE,MAAM,MAAM,kBAAkB;AAC5B,gFAAgF;AAC9E,wBAAwB;AAC1B,wDAAwD;GACtD,oBAAoB;AACtB;;;2CAG2C;GACzC,eAAe;AACjB;qEACqE;GACnE,mBAAmB,CAAC;AAExB,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA0BrE,CAAC;AAQF;;yDAEyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED;;;qCAGqC;AACrC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAUpE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjF;AAQD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,cAAc,EAAE,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;IACtD,8DAA8D;IAC9D,WAAW,EAAE,OAAO,CAAC;IACrB,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,iFAAiF;IACjF,kBAAkB,EAAE,OAAO,CAAC;IAC5B,oEAAoE;IACpE,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AA4CD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,iBAAiB,EAAE,kBAAkB,EAAE,GACtC,cAAc,CA+ChB;AAED,iEAAiE;AACjE,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAMlB;AA8ZD,UAAU,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;gCAQgC;AAChC,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CA4DvE;AAkOD;;;;;;;iEAOiE;AACjE,wBAAgB,eAAe,CAC7B,cAAc,EAAE,kBAAkB,GAAG,IAAI,EACzC,iBAAiB,EAAE,kBAAkB,EAAE,GACtC,MAAM,EAAE,CAMV;AAkJD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,iBAAiB,GAAE,kBAAkB,EAAO;AAC5C;;gDAEgD;AAChD,qBAAqB,GAAE,MAAM,EAAO;AACpC;6EAC6E;AAC7E,4BAA4B,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM;AACzD;;yDAEyD;AACzD,sBAAsB,CAAC,EAAE,MAAM;AAC/B;uEACuE;AACvE,WAAW,GAAE,UAAU,EAAO;AAC9B;;6EAE6E;AAC7E,eAAe,GAAE,eAAe,EAAO,GACtC,kBAAkB,CA8GpB"}
+{"version":3,"file":"verification-gate.d.ts","sourceRoot":"","sources":["../src/verification-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,KAAK,EAEV,cAAc,EAEd,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAQvB,OAAO,EAGL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAsB7B,eAAO,MAAM,qCAAqC,oCAAoC,CAAC;AACvF,eAAO,MAAM,uCAAuC,sCAAsC,CAAC;AAI3F,eAAO,MAAM,mCAAmC,kCAAkC,CAAC;AACnF,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,iCAAiC,gCAAgC,CAAC;AAC/E,eAAO,MAAM,kCAAkC,iCAAiC,CAAC;AACjF,eAAO,MAAM,oCAAoC,mCAAmC,CAAC;AACrF,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,8BAA8B,6BAA6B,CAAC;AACzE,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D,eAAO,MAAM,6BAA6B,4BAA4B,CAAC;AACvE,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;;;gDAIgD;AAChD,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF;mDACmD;AACnD,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAC/D,eAAO,MAAM,sCAAsC,qCAAqC,CAAC;AACzF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAiB7E;;0DAE0D;AAC1D,eAAO,MAAM,+BAA+B,8BAA8B,CAAC;AAC3E;;+DAE+D;AAC/D,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAC3D;;;2CAG2C;AAC3C,eAAO,MAAM,wBAAwB,uBAAuB,CAAC;AAC7D;;oEAEoE;AACpE,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AAQjE,MAAM,MAAM,kBAAkB;AAC5B,gFAAgF;AAC9E,wBAAwB;AAC1B,wDAAwD;GACtD,oBAAoB;AACtB;;;2CAG2C;GACzC,eAAe;AACjB;qEACqE;GACnE,mBAAmB,CAAC;AAExB,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CA0BrE,CAAC;AAQF;;yDAEyD;AACzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxD;AAED;;;qCAGqC;AACrC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAUpE;AAED,gFAAgF;AAChF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAEjF;AAQD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,cAAc,EAAE,UAAU,GAAG,aAAa,GAAG,QAAQ,CAAC;IACtD,iEAAiE;IACjE,WAAW,EAAE,OAAO,CAAC;IACrB,4DAA4D;IAC5D,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,oDAAoD;IACpD,eAAe,EAAE,OAAO,CAAC;IACzB,iFAAiF;IACjF,kBAAkB,EAAE,OAAO,CAAC;IAC5B;yDACqD;IACrD,kBAAkB,EAAE,OAAO,GAAG,IAAI,CAAC;CACpC;AAgDD;;;oEAGoE;AACpE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAC9C,cAAc,CAiDhB;AAED,iEAAiE;AACjE,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,EAAE,GAAG,IAAI,CAMlB;AAgaD,UAAU,gBAAgB;IACxB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;gCAQgC;AAChC,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CA4DvE;AAkRD;;;;;;;iEAOiE;AACjE,wBAAgB,eAAe,CAC7B,cAAc,EAAE,kBAAkB,GAAG,IAAI,EACzC,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAC9C,MAAM,EAAE,GAAG,IAAI,CASjB;AAkJD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,YAAY,GAAE,cAAc,GAAG,IAAW,EAC1C,cAAc,GAAE,aAAa,CAAC,gBAAgB,CAAM;AACpD;;gDAEgD;AAChD,qBAAqB,GAAE,MAAM,EAAO;AACpC;6EAC6E;AAC7E,4BAA4B,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM;AACzD;;yDAEyD;AACzD,sBAAsB,CAAC,EAAE,MAAM;AAC/B;uEACuE;AACvE,WAAW,GAAE,UAAU,EAAO;AAC9B;;6EAE6E;AAC7E,eAAe,GAAE,eAAe,EAAO,EACvC,cAAc,GAAE,kBAAkB,EAAO;AACzC,8EAA8E;AAC9E,oBAAoB,CAAC,EAAE,MAAM,EAAE,GAC9B,kBAAkB,CA+GpB"}