assertledger 1.0.0 → 1.1.1

package/dist/proof-planner/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../src/proof-planner/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EACL,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EAEV,oBAAoB,EAEpB,sBAAsB,EACtB,UAAU,EACV,4BAA4B,EAC5B,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,uBAAuB;IACvB,eAAe;IACf,gBAAgB;IAChB,8BAA8B;IAC9B,2BAA2B;IAC3B,oBAAoB;IACpB,kBAAkB;IAClB,yBAAyB;IACzB,4BAA4B;IAC5B,aAAa;IACb,sBAAsB;IACtB,sBAAsB;IACtB,uBAAuB;IACvB,kBAAkB;IAClB,oBAAoB;IACpB,uBAAuB;IACvB,sBAAsB;IACtB,4BAA4B;IAC5B,uBAAuB;IACvB,mBAAmB;IACnB,2BAA2B;IAC3B,uBAAuB;IACvB,mBAAmB;IACnB,uBAAuB;IACvB,sBAAsB;IACtB,qBAAqB;IACrB,uBAAuB;IACvB,oBAAoB;IACpB,iBAAiB;IACjB,4BAA4B;IAC5B,kBAAkB;IAClB,0BAA0B;IAC1B,iBAAiB;IACjB,2BAA2B;IAC3B,kBAAkB;IAClB,8BAA8B;IAC9B,2BAA2B;IAC3B,6BAA6B;IAC7B,uBAAuB;IACvB,4BAA4B;IAC5B,6BAA6B;IAC7B,qBAAqB;IACrB,iCAAiC;IACjC,+BAA+B;IAC/B,gCAAgC;CACxB,CAAC;AACX,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,YAAY,CAAU,CAAC;AAKvF,MAAM,CAAC,MAAM,QAAQ,GAAsB;IACzC,GAAG,eAAe;IAClB,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACjC,wBAAwB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,QAAQ,IAAI,SAAS,EAAY,CAAC,CAC3F;CACF,CAAC;AACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;AAE9C,MAAM,UAAU,QAAQ,CAAC,KAAa;IACpC,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;AACjF,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AAE7C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,YAAY,CAAC;IAClD,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC;IACtD,EAAE,EAAE,CAAC;SACF,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,GAAG,CAAC,GAAG,CAAC;SACR,KAAK,CAAC,uBAAuB,CAAC;IACjC,OAAO,EAAE,CAAC;SACP,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,GAAG,CAAC,EAAE,CAAC;SACP,KAAK,CAAC,0BAA0B,CAAC;IACpC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACzD,kGAAkG;IAClG,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/F,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACpF,+FAA+F;IAC/F,MAAM,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IAClF,QAAQ,EAAE,CAAC;SACR,KAAK,CACJ,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;KACjD,CAAC,CACH;SACA,GAAG,CAAC,GAAG,CAAC;IACX,MAAM,EAAE,CAAC,CAAC,YAAY,CAAC;QACrB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;KACrC,CAAC;IACF,sGAAsG;IACtG,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC;QAC1B,uBAAuB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC;KAC1F,CAAC;CACH,CAAC,CAAC;AAGH,SAAS,IAAI,CACX,EAAU,EACV,KAAa,EACb,WAAmB,EACnB,MAAkC,EAClC,OAAoC,EACpC,QAAsC,EACtC,YAA8C;IAE9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;AAClG,CAAC;AAED,SAAS,OAAO,CACd,IAAY,EACZ,OAAiB,EACjB,SAAS,GAAa,EAAE;IAExB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,sBAAsB,GAAe;IACzC,UAAU;IACV,aAAa;IACb,QAAQ;IACR,UAAU;IACV,YAAY;CACb,CAAC;AACF,MAAM,wBAAwB,GAAe,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;AACvF,MAAM,qBAAqB,GAAe,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;AAEnE,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,aAAa,EAAE,4BAA4B;IAC3C,EAAE,EAAE,gCAAgC;IACpC,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE;QACR,IAAI,CACF,eAAe,EACf,eAAe,EACf,0DAA0D,EAC1D,UAAU,EACV,gBAAgB,EAChB,CAAC,SAAS,EAAE,YAAY,EAAE,sBAAsB,CAAC,EACjD,UAAU,CACX;QACD,IAAI,CACF,mBAAmB,EACnB,mBAAmB,EACnB,+IAA+I,EAC/I,UAAU,EACV,gBAAgB,EAChB,CAAC,SAAS,EAAE,YAAY,EAAE,sBAAsB,CAAC,EACjD,UAAU,CACX;QACD,IAAI,CACF,qBAAqB,EACrB,qBAAqB,EACrB,mKAAmK,EACnK,UAAU,EACV,iBAAiB,EACjB,CAAC,eAAe,CAAC,EACjB,UAAU,CACX;QACD,IAAI,CACF,gBAAgB,EAChB,gBAAgB,EAChB,6DAA6D,EAC7D,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,EAAE,YAAY,CAAC,EACzB,UAAU,CACX;QACD,IAAI,CACF,wBAAwB,EACxB,wBAAwB,EACxB,6GAA6G,EAC7G,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,gBAAgB,EAChB,6BAA6B,EAC7B,2IAA2I,EAC3I,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,iBAAiB,EACjB,iBAAiB,EACjB,2FAA2F,EAC3F,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,sBAAsB,EACtB,sBAAsB,EACtB,oHAAoH,EACpH,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,qBAAqB,EACrB,qBAAqB,EACrB,uEAAuE,EACvE,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,sBAAsB,EACtB,sBAAsB,EACtB,qFAAqF,EACrF,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,iBAAiB,EACjB,uBAAuB,EACvB,0HAA0H,EAC1H,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,wBAAwB,EACxB,wBAAwB,EACxB,6FAA6F,EAC7F,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,iBAAiB,EACjB,iBAAiB,EACjB,oEAAoE,EACpE,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,mBAAmB,EACnB,mBAAmB,EACnB,yOAAyO,EACzO,UAAU,EACV,iBAAiB,EACjB,CAAC,sBAAsB,CAAC,EACxB,UAAU,CACX;QACD,IAAI,CACF,oBAAoB,EACpB,oBAAoB,EACpB,8FAA8F,EAC9F,UAAU,EACV,iBAAiB,EACjB,CAAC,sBAAsB,CAAC,EACxB,UAAU,CACX;QACD,IAAI,CACF,gBAAgB,EAChB,gBAAgB,EAChB,wMAAwM,EACxM,UAAU,EACV,iBAAiB,EACjB,CAAC,sBAAsB,CAAC,EACxB,UAAU,CACX;QACD,IAAI,CACF,qBAAqB,EACrB,qBAAqB,EACrB,oHAAoH,EACpH,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,EAAE,sBAAsB,CAAC,EACnC,UAAU,CACX;QACD,IAAI,CACF,eAAe,EACf,eAAe,EACf,gGAAgG,EAChG,UAAU,EACV,iBAAiB,EACjB,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,iBAAiB,EACjB,iBAAiB,EACjB,wDAAwD,EACxD,OAAO,EACP,cAAc,EACd,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,aAAa,EACb,aAAa,EACb,mDAAmD,EACnD,OAAO,EACP,cAAc,EACd,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,oBAAoB,EACpB,oBAAoB,EACpB,gEAAgE,EAChE,OAAO,EACP,iBAAiB,EACjB,CAAC,SAAS,EAAE,YAAY,CAAC,EACzB,UAAU,CACX;QACD,IAAI,CACF,mBAAmB,EACnB,uBAAuB,EACvB,qEAAqE,EACrE,OAAO,EACP,cAAc,EACd,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,aAAa,EACb,iBAAiB,EACjB,2FAA2F,EAC3F,OAAO,EACP,cAAc,EACd,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,wBAAwB,EACxB,wBAAwB,EACxB,2CAA2C,EAC3C,UAAU,EACV,cAAc,EACd,CAAC,SAAS,CAAC,EACX,UAAU,CACX;QACD,IAAI,CACF,oBAAoB,EACpB,oBAAoB,EACpB,iEAAiE,EACjE,UAAU,EACV,cAAc,EACd,CAAC,YAAY,CAAC,EACd,UAAU,CACX;QACD,IAAI,CACF,iBAAiB,EACjB,iBAAiB,EACjB,iFAAiF,EACjF,UAAU,EACV,iBAAiB,EACjB,CAAC,YAAY,CAAC,EACd,UAAU,CACX;QACD,IAAI,CACF,oBAAoB,EACpB,oBAAoB,EACpB,yDAAyD,EACzD,UAAU,EACV,cAAc,EACd,CAAC,YAAY,CAAC,EACd,UAAU,CACX;QACD,IAAI,CACF,qBAAqB,EACrB,qBAAqB,EACrB,iFAAiF,EACjF,UAAU,EACV,iBAAiB,EACjB,CAAC,YAAY,CAAC,EACd,UAAU,CACX;QACD,IAAI,CACF,wBAAwB,EACxB,wBAAwB,EACxB,gEAAgE,EAChE,UAAU,EACV,iBAAiB,EACjB,CAAC,YAAY,CAAC,EACd,UAAU,CACX;KACF;IACD,SAAS,EAAE;QACT,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE;QACtC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACvC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,qBAAqB,EAAE;QAC5C,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,mBAAmB,EAAE;QAC1C,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE;QAC7C,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE;QAC7C,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,oBAAoB,EAAE;QAC3C,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE;QACxC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,wBAAwB,EAAE;KAChD;IACD,MAAM,EAAE;QACN,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE;QACtC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,8BAA8B,EAAE,KAAK,EAAE,IAAI,EAAE;QACrD,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,IAAI,EAAE;QAClD,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,YAAY,QAAQ,UAAoB;YAC9C,KAAK,EAAE,IAAa;SACrB,CAAC,CAAC;QACH,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC3C,IAAI,EAAE,YAAY,QAAQ,WAAqB;YAC/C,KAAK,EAAE,IAAa;SACrB,CAAC,CAAC;QACH,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,IAAI,EAAE;QAClD,EAAE,IAAI,EAAE,4BAA4B,EAAE,KAAK,EAAE,IAAI,EAAE;QACnD,EAAE,IAAI,EAAE,6BAA6B,EAAE,KAAK,EAAE,IAAI,EAAE;QACpD,EAAE,IAAI,EAAE,4BAA4B,EAAE,KAAK,EAAE,IAAI,EAAE;QACnD,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,IAAI,EAAE;QAClD,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE;QACxC,EAAE,IAAI,EAAE,6BAA6B,EAAE,KAAK,EAAE,IAAI,EAAE;QACpD,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,IAAI,EAAE;QAClD,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,4BAA4B,EAAE,KAAK,EAAE,IAAI,EAAE;QACnD,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,4BAA4B,EAAE,KAAK,EAAE,IAAI,EAAE;KACpD;IACD,MAAM,EAAE;QACN,KAAK,EAAE;YACL,kBAAkB;YAClB,oBAAoB;YACpB,8BAA8B;YAC9B,6BAA6B;SAC9B;QACD,GAAG,EAAE,IAAI;KACV;IACD,QAAQ,EAAE;QACR,OAAO,CAAC,uBAAuB,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACzD,OAAO,CAAC,eAAe,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAChD,OAAO,CAAC,gBAAgB,EAAE,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QACtE,OAAO,CAAC,8BAA8B,EAAE,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,CAAC;QACpF,OAAO,CAAC,aAAa,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC1C,OAAO,CAAC,sBAAsB,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACpD,OAAO,CAAC,4BAA4B,EAAE,CAAC,wBAAwB,CAAC,CAAC;QACjE,OAAO,CAAC,kBAAkB,EAAE,CAAC,wBAAwB,CAAC,CAAC;QACvD,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;YAChD,OAAO,CAAC,YAAY,QAAQ,UAAU,EAAE,CAAC,wBAAwB,CAAC,CAAC;YACnE,OAAO,CAAC,YAAY,QAAQ,WAAW,EAAE,CAAC,wBAAwB,CAAC,CAAC;SACrE,CAAC;QACF,OAAO,CAAC,0BAA0B,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACxD,OAAO,CAAC,4BAA4B,EAAE,CAAC,iBAAiB,CAAC,CAAC;QAC1D,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7F,OAAO,CAAC,YAAY,QAAQ,aAAa,EAAE,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CACzE;QACD,OAAO,CAAC,+BAA+B,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;QACpE,OAAO,CAAC,6BAA6B,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAClE,OAAO,CAAC,uBAAuB,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;QACjF,OAAO,CAAC,uBAAuB,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;QACjF,OAAO,CAAC,4BAA4B,EAAE,CAAC,aAAa,EAAE,wBAAwB,CAAC,CAAC;QAChF,OAAO,CAAC,6BAA6B,EAAE,CAAC,wBAAwB,CAAC,CAAC;QAClE,OAAO,CAAC,2BAA2B,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAC5D,OAAO,CAAC,uBAAuB,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACrD,OAAO,CAAC,mBAAmB,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACjD,OAAO,CAAC,2BAA2B,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACzD,OAAO,CAAC,uBAAuB,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACrD,OAAO,CAAC,mBAAmB,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAChD,OAAO,CAAC,uBAAuB,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;QAC1E,OAAO,CAAC,sBAAsB,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACxD,OAAO,CAAC,qBAAqB,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACvD,OAAO,CAAC,oBAAoB,EAAE,CAAC,wBAAwB,CAAC,CAAC;QACzD,OAAO,CAAC,iBAAiB,EAAE;YACzB,oBAAoB;YACpB,iBAAiB;YACjB,wBAAwB;YACxB,oBAAoB;YACpB,qBAAqB;SACtB,CAAC;QACF,OAAO,CAAC,4BAA4B,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;QACjE,OAAO,CAAC,6BAA6B,EAAE;YACrC,oBAAoB;YACpB,iBAAiB;YACjB,wBAAwB;SACzB,CAAC;QACF,OAAO,CAAC,2BAA2B,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,CAAC;QACnF,OAAO,CAAC,kBAAkB,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,aAAa,EAAE,oBAAoB,CAAC,CAAC;QACvF,OAAO,CAAC,iBAAiB,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;QACnD,OAAO,CAAC,2BAA2B,EAAE,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACjE,OAAO,CAAC,2BAA2B,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC;QAChF,OAAO,CAAC,uBAAuB,EAAE,CAAC,mBAAmB,CAAC,CAAC;QACvD,OAAO,CAAC,sBAAsB,EAAE,CAAC,eAAe,CAAC,CAAC;QAClD,OAAO,CAAC,4BAA4B,EAAE,CAAC,eAAe,CAAC,CAAC;QACxD,OAAO,CACL,oBAAoB,EACpB,CAAC,sBAAsB,EAAE,iBAAiB,CAAC,EAC3C,CAAC,oBAAoB,CAAC,CACvB;QACD,OAAO,CAAC,8BAA8B,EAAE,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,CAAC;QAC1F,OAAO,CAAC,4BAA4B,EAAE,CAAC,aAAa,EAAE,qBAAqB,CAAC,CAAC;QAC7E,OAAO,CAAC,6BAA6B,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC1D,OAAO,CAAC,qBAAqB,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACvD,OAAO,CAAC,2BAA2B,EAAE,CAAC,qBAAqB,CAAC,CAAC;QAC7D,OAAO,CAAC,6BAA6B,EAAE,CAAC,qBAAqB,CAAC,CAAC;QAC/D,OAAO,CAAC,iCAAiC,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAClE,OAAO,CAAC,+BAA+B,EAAE,CAAC,qBAAqB,CAAC,CAAC;QACjE,OAAO,CAAC,gCAAgC,EAAE,CAAC,qBAAqB,CAAC,CAAC;KACnE;IACD,MAAM,EAAE;QACN,IAAI,EAAE;YACJ,+BAA+B;YAC/B,8BAA8B;YAC9B,6BAA6B;YAC7B,2BAA2B;YAC3B,6BAA6B;SAC9B;QACD,KAAK,EAAE,CAAC,qBAAqB,CAAC;KAC/B;IACD,WAAW,EAAE;QACX,uBAAuB,EAAE;YACvB,wBAAwB;YACxB,yBAAyB;YACzB,gBAAgB;YAChB,+BAA+B;YAC/B,6BAA6B;SAC9B;KACF;CACF,CAAC;AAEF,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,iBAAiB,CAAC,8BAA8B,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,iBAAiB,CACzB,8BAA8B,EAC9B,2BAA2B,IAAI,CAAC,EAAE,EAAE,CACrC,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,UAAU,GAAG;QACjB,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpD,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;KAC9E,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,iBAAiB,CACzB,8BAA8B,EAC9B,yBAAyB,SAAS,EAAE,CACrC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,MAAuB;IAClD,MAAM,SAAS,GAAG,wBAAwB,CAAC;IAC3C,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,UAAU,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC;YAClD,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,YAAY,KAAK,UAAU,IAAI,MAAM,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;YAC/E,UAAU,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,EAAE,6BAA6B,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;YAC/E,UAAU,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,EAAE,wBAAwB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QACvF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YACjB,UAAU,CAAC,IAAI,CAAC,QAAQ,QAAQ,CAAC,EAAE,uBAAuB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CACnC,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CACxF,CAAC;QACF,IAAI,CAAC,OAAO;YAAE,UAAU,CAAC,IAAI,CAAC,YAAY,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CACpB,CAAC,CAAC,EACF,GAAG,MAAM,CAAC,MAAM;aACb,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC;aAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAC3C,CAAC;QACF,IAAI,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC,WAAW,QAAQ,CAAC,IAAI,aAAa,IAAI,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACtC,IACE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACxF,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,WAAW,QAAQ,CAAC,IAAI,eAAe,IAAI,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,sFAAsF;IACtF,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAC/C,UAAU,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,UAAU,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,iBAAiB,CAAC,oCAAoC,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,0BAA0B,CAAC,IAAsB;IAC/D,OAAO,eAAe,CAAC;QACrB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;QACnC,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;KACxC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAuB;IAC3D,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC"}

package/dist/proof-planner/render.d.ts

@@ -0,0 +1,4 @@
+import type { AssurancePlan } from "./plan.js";
+/** Human-readable view of a plan. The JSON plan stays the authoritative, machine-readable form. */
+export declare function renderAssurancePlan(plan: AssurancePlan): string;
+//# sourceMappingURL=render.d.ts.map

package/dist/proof-planner/render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/proof-planner/render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAuB,MAAM,WAAW,CAAC;AAUpE,mGAAmG;AACnG,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAoE/D"}

package/dist/proof-planner/render.js

@@ -0,0 +1,73 @@
+function scope(requirement) {
+    return requirement.surfaces.length > 0 ? ` [${requirement.surfaces.join(", ")}]` : "";
+}
+function requirementLine(requirement) {
+    return `  - ${requirement.kind} (${requirement.binding})${scope(requirement)} <- ${requirement.because.join(", ")}`;
+}
+/** Human-readable view of a plan. The JSON plan stays the authoritative, machine-readable form. */
+export function renderAssurancePlan(plan) {
+    const lines = [];
+    lines.push(`AssurancePlan ${plan.level} ${plan.status} - revision ${plan.subject.revision} (baseline ${plan.subject.baseline})`);
+    lines.push(`policy ${plan.policy.id}@${plan.policy.version}; impact ${plan.impactBound}; ${plan.levelBySubject.map((entry) => `${entry.subject} ${entry.level}`).join(", ")}`);
+    lines.push("");
+    lines.push("WHY");
+    for (const decision of plan.rationale) {
+        if (decision.step === "floor" && decision.fact && decision.level) {
+            lines.push(`  - floor ${decision.level} ${decision.fact}: ${decision.detail}`);
+        }
+        else if (decision.step === "raise" && decision.fact) {
+            lines.push(`  - raise ${decision.fact}: ${decision.detail}`);
+        }
+        else if (decision.step !== "floor" && decision.step !== "raise") {
+            lines.push(`  - ${decision.step}: ${decision.detail}`);
+        }
+    }
+    lines.push("");
+    lines.push("REQUIRED");
+    for (const requirement of plan.requiredEvidence)
+        lines.push(requirementLine(requirement));
+    if (plan.recommendedEvidence.length > 0) {
+        lines.push("");
+        lines.push("RECOMMENDED");
+        for (const requirement of plan.recommendedEvidence)
+            lines.push(requirementLine(requirement));
+    }
+    const heavy = plan.explicitlyNotRequired.filter((entry) => entry.requirement.weight !== "targeted");
+    const light = plan.explicitlyNotRequired.filter((entry) => entry.requirement.weight === "targeted");
+    if (plan.explicitlyNotRequired.length > 0) {
+        lines.push("");
+        lines.push("NOT REQUIRED");
+        for (const entry of heavy)
+            lines.push(`  - ${entry.requirement.kind}: ${entry.rationale}`);
+        if (light.length > 0) {
+            lines.push(`  - targeted, not triggered: ${light.map((entry) => entry.requirement.kind).join(", ")}`);
+        }
+    }
+    if (plan.undeterminedEvidence.length > 0) {
+        lines.push("");
+        lines.push("UNDETERMINED");
+        for (const entry of plan.undeterminedEvidence) {
+            lines.push(`  - ${entry.requirement.kind}: ${entry.rationale}`);
+        }
+    }
+    lines.push("");
+    lines.push("ESCALATE IF");
+    for (const escalation of plan.escalations) {
+        lines.push(`  - ${escalation.signal} (${escalation.variant}): ${escalation.rationale}`);
+    }
+    if (plan.signals.length > 0) {
+        lines.push("");
+        lines.push("SIGNALS");
+        for (const signal of plan.signals) {
+            lines.push(`  - ${signal.id} ${signal.signal} -> ${signal.classification}: ${signal.reason}`);
+        }
+    }
+    if (plan.residualUncertainty.length > 0) {
+        lines.push("");
+        lines.push("RESIDUAL UNCERTAINTY");
+        for (const entry of plan.residualUncertainty)
+            lines.push(`  - ${entry.statement}`);
+    }
+    return `${lines.join("\n")}\n`;
+}
+//# sourceMappingURL=render.js.map

package/dist/proof-planner/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/proof-planner/render.ts"],"names":[],"mappings":"AAEA,SAAS,KAAK,CAAC,WAAgC;IAC7C,OAAO,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,SAAS,eAAe,CAAC,WAAgC;IACvD,OAAO,OAAO,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACtH,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,mBAAmB,CAAC,IAAmB;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CACR,iBAAiB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,OAAO,CAAC,QAAQ,cAAc,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,CACrH,CAAC;IACF,KAAK,CAAC,IAAI,CACR,UAAU,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,YAAY,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACnK,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACjE,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACjF,CAAC;aAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/D,CAAC;aAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,gBAAgB;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC1F,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,mBAAmB;YAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAC7C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,UAAU,CACnD,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAC7C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,UAAU,CACnD,CAAC;IACF,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAC3F,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CACR,gCAAgC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC,OAAO,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,OAAO,MAAM,CAAC,cAAc,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,mBAAmB;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC"}

package/dist/sdk/index.d.ts

@@ -1,9 +1,9 @@
-import { type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkAcquisitionResult, type AgenticBenchmarkArtifact, type AgenticBenchmarkReplayResult, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentReplayResult, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type EvidenceManifestContract, type ReplayResult, type RepositoryAnalysis, type RepositoryAudit, type RepositoryInitResult } from "../contracts/index.js";
+import { type AgenticBenchmarkAcquisitionReplayResult, type AgenticBenchmarkAcquisitionResult, type AgenticBenchmarkArtifact, type AgenticBenchmarkReplayResult, type AgenticCorpusAllocation, type AgenticCorpusAllocationCommitmentReplayResult, type AgenticCorpusAllocationReplayResult, type AgenticCorpusExperimentArtifact, type AgenticCorpusExperimentReplayResult, type AgenticProfileReplayResult, type AgenticProfileReplayResultV2, type AgenticProfileReport, type AgenticProfileReportV2, type EvidenceExport, type EvidenceExportReplayResult, type EvidenceManifestContract, type EvidenceManifestV2Contract, type EvidenceProviderManifest, type ReplayResult, type RepositoryAnalysis, type RepositoryAudit, type RepositoryInitResult } from "../contracts/index.js";
 import { type RuntimeDoctorResult } from "../contracts/runtime-doctor.js";
 import { type AgenticCorpusExperimentReplayDependencies, replayAgenticCorpusAllocationCommitment } from "../core/index.js";
-import { type GitRegressionOptions } from "../engine/git-regression.js";
-import { type RepositoryAuditOptions, type RepositoryInitOptions, type RuntimeDoctorOptions } from "../engine/index.js";
-export type SchemaName = "agentic-corpus-allocation-request" | "agentic-corpus-allocation" | "agentic-corpus-allocation-replay-result" | "agentic-corpus-allocation-commitment" | "agentic-corpus-allocation-reveal" | "agentic-corpus-allocation-commitment-replay-result" | "agentic-corpus-experiment-plan" | "agentic-corpus-experiment-plan-replay-result" | "agentic-corpus-experiment-request" | "agentic-corpus-experiment-artifact" | "agentic-corpus-experiment-replay-request" | "agentic-corpus-experiment-replay-result" | "agentic-benchmark-request" | "agentic-benchmark-artifact" | "agentic-benchmark-replay-result" | "agentic-benchmark-acquisition-request" | "agentic-benchmark-acquisition-result" | "agentic-benchmark-acquisition-replay-result" | "agentic-profile-request" | "agentic-profile-report" | "agentic-profile-replay-result" | "agentic-profile-request-v2" | "agentic-profile-report-v2" | "agentic-profile-replay-result-v2" | "verification-request" | "repository-analysis" | "repository-audit" | "repository-init-config" | "repository-init-lock" | "repository-init-result" | "evidence-manifest" | "replay-result";
+import { type GitRegressionOptions, type GitRegressionV2Options } from "../engine/git-regression.js";
+import { type RepositoryAuditOptions, type RepositoryInitOptions, type RuntimeDoctorOptions, type VerifyCampaignOptions } from "../engine/index.js";
+export type SchemaName = "agentic-corpus-allocation-request" | "agentic-corpus-allocation" | "agentic-corpus-allocation-replay-result" | "agentic-corpus-allocation-commitment" | "agentic-corpus-allocation-reveal" | "agentic-corpus-allocation-commitment-replay-result" | "agentic-corpus-experiment-plan" | "agentic-corpus-experiment-plan-replay-result" | "agentic-corpus-experiment-request" | "agentic-corpus-experiment-artifact" | "agentic-corpus-experiment-replay-request" | "agentic-corpus-experiment-replay-result" | "agentic-benchmark-request" | "agentic-benchmark-artifact" | "agentic-benchmark-replay-result" | "agentic-benchmark-acquisition-request" | "agentic-benchmark-acquisition-result" | "agentic-benchmark-acquisition-replay-result" | "agentic-profile-request" | "agentic-profile-report" | "agentic-profile-replay-result" | "agentic-profile-request-v2" | "agentic-profile-report-v2" | "agentic-profile-replay-result-v2" | "verification-request" | "verification-request-v2" | "repository-analysis" | "repository-audit" | "repository-init-config" | "repository-init-lock" | "repository-init-result" | "evidence-manifest" | "evidence-manifest-v2" | "replay-result" | "evidence-provider-manifest" | "evidence-export-request" | "evidence-export" | "evidence-export-replay-result";
 export type AgenticCorpusExperimentReplayOptions = Omit<AgenticCorpusExperimentReplayDependencies, "replayProvenance" | "verifyCommitmentSignatures">;
 /** Provider-neutral programmatic facade over AssertLedger's deterministic components. */
 export declare class AssertLedger {
@@ -23,10 +23,20 @@ export declare class AssertLedger {
     doctor(root: string): Promise<RepositoryInitResult>;
     doctorRuntime(root: string, options: RuntimeDoctorOptions): Promise<RuntimeDoctorResult>;
     verify(request: unknown): Promise<EvidenceManifestContract>;
+    /**
+     * Executes a v2 campaign. A container request runs through the operator-owned runtime command in
+     * `options`; the request itself can never select a host executable.
+     */
+    verifyV2(request: unknown, options?: VerifyCampaignOptions): Promise<EvidenceManifestV2Contract>;
     checkGitRegression(options: GitRegressionOptions): Promise<EvidenceManifestContract>;
+    /** Qualifies a committed regression inside digest-pinned containers and returns v2 evidence. */
+    checkGitRegressionV2(options: GitRegressionV2Options): Promise<EvidenceManifestV2Contract>;
     replay(manifest: unknown): ReplayResult;
     profile(request: unknown): AgenticProfileReport;
     replayProfile(report: unknown): AgenticProfileReplayResult;
+    exportEvidence(request: unknown): EvidenceExport;
+    replayEvidenceExport(evidenceExport: unknown): EvidenceExportReplayResult;
+    providerManifest(): EvidenceProviderManifest;
     benchmark(request: unknown): AgenticBenchmarkArtifact;
     replayBenchmark(artifact: unknown): AgenticBenchmarkReplayResult;
     acquireBenchmark(request: unknown): Promise<AgenticBenchmarkAcquisitionResult>;
@@ -44,8 +54,8 @@ export declare class AssertLedger {
 export declare class TestForge extends AssertLedger {
 }
 export { parseVerificationRequest, verificationRequestJsonSchema } from "../contracts/index.js";
-export { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceManifest, verifyDecisionDigest, verifyManifestIntegrity, } from "../core/index.js";
-export type { GitRegressionOptions } from "../engine/git-regression.js";
+export { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, createEvidenceExport, createEvidenceProviderManifest, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceExport, replayEvidenceManifest, verifyDecisionDigest, verifyManifestIntegrity, } from "../core/index.js";
+export type { GitRegressionOptions, GitRegressionV2Options } from "../engine/git-regression.js";
 export { qualifyGitRegression } from "../engine/git-regression.js";
 export type { RuntimeDoctorOptions } from "../engine/index.js";
 export { acquireAgenticBenchmark, analyzeRepository, auditRepository, doctorRepositoryRuntime, initializeRepository, verifyCampaign, } from "../engine/index.js";

package/dist/sdk/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,uCAAuC,EAC5C,KAAK,iCAAiC,EACtC,KAAK,wBAAwB,EAC7B,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,+BAA+B,EACpC,KAAK,mCAAmC,EACxC,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAyB3B,KAAK,wBAAwB,EA4B7B,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EAQ1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAA4B,KAAK,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACpG,OAAO,EACL,KAAK,yCAAyC,EAS9C,uCAAuC,EAKxC,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,KAAK,oBAAoB,EAAwB,MAAM,6BAA6B,CAAC;AAC9F,OAAO,EAML,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EAE1B,MAAM,oBAAoB,CAAC;AAM5B,MAAM,MAAM,UAAU,GAClB,mCAAmC,GACnC,2BAA2B,GAC3B,yCAAyC,GACzC,sCAAsC,GACtC,kCAAkC,GAClC,oDAAoD,GACpD,gCAAgC,GAChC,8CAA8C,GAC9C,mCAAmC,GACnC,oCAAoC,GACpC,0CAA0C,GAC1C,yCAAyC,GACzC,2BAA2B,GAC3B,4BAA4B,GAC5B,iCAAiC,GACjC,uCAAuC,GACvC,sCAAsC,GACtC,6CAA6C,GAC7C,yBAAyB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,4BAA4B,GAC5B,2BAA2B,GAC3B,kCAAkC,GAClC,sBAAsB,GACtB,qBAAqB,GACrB,kBAAkB,GAClB,wBAAwB,GACxB,sBAAsB,GACtB,wBAAwB,GACxB,mBAAmB,GACnB,eAAe,CAAC;AAEpB,MAAM,MAAM,oCAAoC,GAAG,IAAI,CACrD,yCAAyC,EACzC,kBAAkB,GAAG,4BAA4B,CAClD,CAAC;AAEF,yFAAyF;AACzF,qBAAa,YAAY;IACvB,OAAO,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE;;;;;;;;;MAE/B;IAEK,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAEvD;IAEK,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,eAAe,CAAC,CAExF;IAEK,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,qBAA0B,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAE3F;IAEK,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAExD;IAEK,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAE7F;IAEK,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEhE;IAEK,kBAAkB,CAAC,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEzF;IAED,MAAM,CAAC,QAAQ,EAAE,OAAO,GAAG,YAAY,CActC;IAED,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,oBAAoB,CAE9C;IAED,aAAa,CAAC,MAAM,EAAE,OAAO,GAAG,0BAA0B,CAezD;IAED,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,wBAAwB,CAIpD;IAED,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,4BAA4B,CAmB/D;IAEK,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iCAAiC,CAAC,CAInF;IAED,0BAA0B,CAAC,MAAM,EAAE,OAAO,GAAG,uCAAuC,CAEnF;IAED,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,sBAAsB,CAIlD;IAED,eAAe,CAAC,MAAM,EAAE,OAAO,GAAG,4BAA4B,CAgB7D;IAED,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,uBAAuB,CAIxD;IAED,sBAAsB,CAAC,UAAU,EAAE,OAAO,GAAG,mCAAmC,CAe/E;IAED,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,+BAA+B,CAOjF;IAED,sBAAsB,CACpB,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,oCAAoC,GAC5C,mCAAmC,CAWrC;IAED,gCAAgC,CAC9B,KAAK,EAAE,UAAU,CAAC,OAAO,uCAAuC,CAAC,CAAC,CAAC,CAAC,GACnE,6CAA6C,CAM/C;IAED,MAAM,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAmEhD;CACF;AAED,2EAA2E;AAC3E,qBAAa,SAAU,SAAQ,YAAY;CAAG;AAE9C,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,GACf,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,uCAAuC,EAC5C,KAAK,iCAAiC,EACtC,KAAK,wBAAwB,EAC7B,KAAK,4BAA4B,EACjC,KAAK,uBAAuB,EAC5B,KAAK,6CAA6C,EAClD,KAAK,mCAAmC,EACxC,KAAK,+BAA+B,EACpC,KAAK,mCAAmC,EACxC,KAAK,0BAA0B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAyB3B,KAAK,cAAc,EACnB,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAwC7B,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EAS1B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAA4B,KAAK,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAEpG,OAAO,EACL,KAAK,yCAAyC,EAW9C,uCAAuC,EAMxC,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAG5B,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAML,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,KAAK,oBAAoB,EACzB,KAAK,qBAAqB,EAE3B,MAAM,oBAAoB,CAAC;AAO5B,MAAM,MAAM,UAAU,GAClB,mCAAmC,GACnC,2BAA2B,GAC3B,yCAAyC,GACzC,sCAAsC,GACtC,kCAAkC,GAClC,oDAAoD,GACpD,gCAAgC,GAChC,8CAA8C,GAC9C,mCAAmC,GACnC,oCAAoC,GACpC,0CAA0C,GAC1C,yCAAyC,GACzC,2BAA2B,GAC3B,4BAA4B,GAC5B,iCAAiC,GACjC,uCAAuC,GACvC,sCAAsC,GACtC,6CAA6C,GAC7C,yBAAyB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,4BAA4B,GAC5B,2BAA2B,GAC3B,kCAAkC,GAClC,sBAAsB,GACtB,yBAAyB,GACzB,qBAAqB,GACrB,kBAAkB,GAClB,wBAAwB,GACxB,sBAAsB,GACtB,wBAAwB,GACxB,mBAAmB,GACnB,sBAAsB,GACtB,eAAe,GACf,4BAA4B,GAC5B,yBAAyB,GACzB,iBAAiB,GACjB,+BAA+B,CAAC;AAEpC,MAAM,MAAM,oCAAoC,GAAG,IAAI,CACrD,yCAAyC,EACzC,kBAAkB,GAAG,4BAA4B,CAClD,CAAC;AAEF,yFAAyF;AACzF,qBAAa,YAAY;IACvB,OAAO,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE;;;;;;;;;MAE/B;IAEK,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAEvD;IAEK,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,sBAA2B,GAAG,OAAO,CAAC,eAAe,CAAC,CAExF;IAEK,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,qBAA0B,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAE3F;IAEK,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAExD;IAEK,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAE7F;IAEK,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEhE;IAED;;;OAGG;IACG,QAAQ,CACZ,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,qBAA0B,GAClC,OAAO,CAAC,0BAA0B,CAAC,CAIrC;IAEK,kBAAkB,CAAC,OAAO,EAAE,oBAAoB,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEzF;IAED,gGAAgG;IAC1F,oBAAoB,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAE/F;IAED,MAAM,CAAC,QAAQ,EAAE,OAAO,GAAG,YAAY,CActC;IAED,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,oBAAoB,CAE9C;IAED,aAAa,CAAC,MAAM,EAAE,OAAO,GAAG,0BAA0B,CAezD;IAED,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc,CAE/C;IAED,oBAAoB,CAAC,cAAc,EAAE,OAAO,GAAG,0BAA0B,CAYxE;IAED,gBAAgB,IAAI,wBAAwB,CAgB3C;IAED,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,wBAAwB,CAIpD;IAED,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,4BAA4B,CAmB/D;IAEK,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,iCAAiC,CAAC,CAInF;IAED,0BAA0B,CAAC,MAAM,EAAE,OAAO,GAAG,uCAAuC,CAEnF;IAED,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,sBAAsB,CAIlD;IAED,eAAe,CAAC,MAAM,EAAE,OAAO,GAAG,4BAA4B,CAgB7D;IAED,cAAc,CAAC,OAAO,EAAE,OAAO,GAAG,uBAAuB,CAIxD;IAED,sBAAsB,CAAC,UAAU,EAAE,OAAO,GAAG,mCAAmC,CAe/E;IAED,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,+BAA+B,CAOjF;IAED,sBAAsB,CACpB,QAAQ,EAAE,OAAO,EACjB,OAAO,EAAE,oCAAoC,GAC5C,mCAAmC,CAWrC;IAED,gCAAgC,CAC9B,KAAK,EAAE,UAAU,CAAC,OAAO,uCAAuC,CAAC,CAAC,CAAC,CAAC,GACnE,6CAA6C,CAM/C;IAED,MAAM,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA+EhD;CACF;AAED,2EAA2E;AAC3E,qBAAa,SAAU,SAAQ,YAAY;CAAG;AAE9C,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAChG,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,YAAY,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,GACf,MAAM,oBAAoB,CAAC"}

package/dist/sdk/index.js

@@ -1,10 +1,13 @@
-import { agenticBenchmarkAcquisitionReplayResultJsonSchema, agenticBenchmarkAcquisitionRequestJsonSchema, agenticBenchmarkAcquisitionResultJsonSchema, agenticBenchmarkArtifactJsonSchema, agenticBenchmarkReplayResultJsonSchema, agenticBenchmarkRequestJsonSchema, agenticCorpusAllocationCommitmentJsonSchema, agenticCorpusAllocationCommitmentReplayResultJsonSchema, agenticCorpusAllocationJsonSchema, agenticCorpusAllocationReplayResultJsonSchema, agenticCorpusAllocationRequestJsonSchema, agenticCorpusAllocationRevealJsonSchema, agenticCorpusExperimentArtifactJsonSchema, agenticCorpusExperimentPlanJsonSchema, agenticCorpusExperimentPlanReplayResultJsonSchema, agenticCorpusExperimentReplayRequestJsonSchema, agenticCorpusExperimentReplayResultJsonSchema, agenticCorpusExperimentRequestJsonSchema, agenticProfileReplayResultJsonSchema, agenticProfileReplayResultV2JsonSchema, agenticProfileReportJsonSchema, agenticProfileReportV2JsonSchema, agenticProfileRequestJsonSchema, agenticProfileRequestV2JsonSchema, evidenceManifestJsonSchema, parseAgenticBenchmarkAcquisitionReplayResult, parseAgenticBenchmarkAcquisitionRequest, parseAgenticBenchmarkAcquisitionResult, parseAgenticBenchmarkArtifact, parseAgenticBenchmarkReplayResult, parseAgenticBenchmarkRequest, parseAgenticCorpusAllocation, parseAgenticCorpusAllocationCommitmentReplayResult, parseAgenticCorpusAllocationReplayResult, parseAgenticCorpusAllocationRequest, parseAgenticCorpusExperimentArtifact, parseAgenticCorpusExperimentPlan, parseAgenticCorpusExperimentReplayResult, parseAgenticCorpusExperimentRequest, parseAgenticProfileReplayResult, parseAgenticProfileReplayResultV2, parseAgenticProfileReport, parseAgenticProfileReportV2, parseAgenticProfileRequest, parseAgenticProfileRequestV2, parseEvidenceManifest, parseReplayResult, parseRepositoryAnalysis, parseRepositoryAudit, parseRepositoryInitResult, parseVerificationRequest, replayResultJsonSchema, repositoryAnalysisJsonSchema, repositoryAuditJsonSchema, repositoryInitConfigJsonSchema, repositoryInitLockJsonSchema, repositoryInitResultJsonSchema, verificationRequestJsonSchema, } from "../contracts/index.js";
+import { agenticBenchmarkAcquisitionReplayResultJsonSchema, agenticBenchmarkAcquisitionRequestJsonSchema, agenticBenchmarkAcquisitionResultJsonSchema, agenticBenchmarkArtifactJsonSchema, agenticBenchmarkReplayResultJsonSchema, agenticBenchmarkRequestJsonSchema, agenticCorpusAllocationCommitmentJsonSchema, agenticCorpusAllocationCommitmentReplayResultJsonSchema, agenticCorpusAllocationJsonSchema, agenticCorpusAllocationReplayResultJsonSchema, agenticCorpusAllocationRequestJsonSchema, agenticCorpusAllocationRevealJsonSchema, agenticCorpusExperimentArtifactJsonSchema, agenticCorpusExperimentPlanJsonSchema, agenticCorpusExperimentPlanReplayResultJsonSchema, agenticCorpusExperimentReplayRequestJsonSchema, agenticCorpusExperimentReplayResultJsonSchema, agenticCorpusExperimentRequestJsonSchema, agenticProfileReplayResultJsonSchema, agenticProfileReplayResultV2JsonSchema, agenticProfileReportJsonSchema, agenticProfileReportV2JsonSchema, agenticProfileRequestJsonSchema, agenticProfileRequestV2JsonSchema, evidenceExportJsonSchema, evidenceExportReplayResultJsonSchema, evidenceExportRequestJsonSchema, evidenceManifestJsonSchema, evidenceManifestV2JsonSchema, evidenceProviderManifestJsonSchema, parseAgenticBenchmarkAcquisitionReplayResult, parseAgenticBenchmarkAcquisitionRequest, parseAgenticBenchmarkAcquisitionResult, parseAgenticBenchmarkArtifact, parseAgenticBenchmarkReplayResult, parseAgenticBenchmarkRequest, parseAgenticCorpusAllocation, parseAgenticCorpusAllocationCommitmentReplayResult, parseAgenticCorpusAllocationReplayResult, parseAgenticCorpusAllocationRequest, parseAgenticCorpusExperimentArtifact, parseAgenticCorpusExperimentPlan, parseAgenticCorpusExperimentReplayResult, parseAgenticCorpusExperimentRequest, parseAgenticProfileReplayResult, parseAgenticProfileReplayResultV2, parseAgenticProfileReport, parseAgenticProfileReportV2, parseAgenticProfileRequest, parseAgenticProfileRequestV2, parseEvidenceExport, parseEvidenceExportReplayResult, parseEvidenceExportRequest, parseEvidenceProviderManifest, parseReplayResult, parseRepositoryAnalysis, parseRepositoryAudit, parseRepositoryInitResult, parseEvidenceManifest, parseEvidenceManifestV2, parseVerificationRequest, parseVerificationRequestV2, parseVersionedEvidenceManifest, replayResultJsonSchema, repositoryAnalysisJsonSchema, repositoryAuditJsonSchema, repositoryInitConfigJsonSchema, repositoryInitLockJsonSchema, repositoryInitResultJsonSchema, verificationRequestJsonSchema, verificationRequestV2JsonSchema, } from "../contracts/index.js";
 import { parseRuntimeDoctorResult } from "../contracts/runtime-doctor.js";
-import { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusAllocationCommitment, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceManifest, } from "../core/index.js";
+import { ASSERTLEDGER_SOURCE_REVISION } from "../build-info.js";
+import { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, createEvidenceExport, createEvidenceProviderManifest, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusAllocationCommitment, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceExport, replayEvidenceManifest, } from "../core/index.js";
 import { explainReasonCodes } from "../diagnostics.js";
-import { qualifyGitRegression } from "../engine/git-regression.js";
+import { NODE_TEST_ADAPTER_PROFILE } from "../engine/adapters/node-test-profile.js";
+import { qualifyGitRegression, qualifyGitRegressionV2, } from "../engine/git-regression.js";
 import { acquireAgenticBenchmark, analyzeRepository, auditRepository, doctorRepositoryRuntime, initializeRepository, verifyCampaign, } from "../engine/index.js";
 import { replayAgenticCorpusProvenance, verifyAgenticCorpusAllocationCommitmentSignatures, } from "../evaluation/agentic-corpus.js";
+import { ASSERTLEDGER_VERSION } from "../version.js";
 /** Provider-neutral programmatic facade over AssertLedger's deterministic components. */
 export class AssertLedger {
     explain(codes) {
@@ -28,13 +31,24 @@ export class AssertLedger {
     async verify(request) {
         return parseEvidenceManifest(await verifyCampaign(parseVerificationRequest(request)));
     }
+    /**
+     * Executes a v2 campaign. A container request runs through the operator-owned runtime command in
+     * `options`; the request itself can never select a host executable.
+     */
+    async verifyV2(request, options = {}) {
+        return parseEvidenceManifestV2(await verifyCampaign(parseVerificationRequestV2(request), options));
+    }
     async checkGitRegression(options) {
         return qualifyGitRegression(options);
     }
+    /** Qualifies a committed regression inside digest-pinned containers and returns v2 evidence. */
+    async checkGitRegressionV2(options) {
+        return qualifyGitRegressionV2(options);
+    }
     replay(manifest) {
         let parsedManifest;
         try {
-            parsedManifest = parseEvidenceManifest(manifest);
+            parsedManifest = parseVersionedEvidenceManifest(manifest);
         }
         catch {
             return parseReplayResult({
@@ -65,6 +79,38 @@ export class AssertLedger {
             });
         }
     }
+    exportEvidence(request) {
+        return parseEvidenceExport(createEvidenceExport(parseEvidenceExportRequest(request)));
+    }
+    replayEvidenceExport(evidenceExport) {
+        try {
+            return parseEvidenceExportReplayResult(replayEvidenceExport(evidenceExport));
+        }
+        catch {
+            return parseEvidenceExportReplayResult({
+                valid: false,
+                schemaValid: false,
+                sourceManifestValid: false,
+                exportDigestValid: false,
+                semanticsValid: false,
+            });
+        }
+    }
+    providerManifest() {
+        return parseEvidenceProviderManifest(createEvidenceProviderManifest({
+            version: ASSERTLEDGER_VERSION,
+            sourceRevision: ASSERTLEDGER_SOURCE_REVISION,
+            adapters: [
+                {
+                    kind: "node-test",
+                    profileId: NODE_TEST_ADAPTER_PROFILE.profileId,
+                    profileVersion: NODE_TEST_ADAPTER_PROFILE.profileVersion,
+                    official: NODE_TEST_ADAPTER_PROFILE.official,
+                },
+                { kind: "testforge-command", profileId: null, profileVersion: null, official: false },
+            ],
+        }));
+    }
     benchmark(request) {
         return parseAgenticBenchmarkArtifact(createAgenticBenchmark(parseAgenticBenchmarkRequest(request)));
     }
@@ -197,6 +243,8 @@ export class AssertLedger {
                 return agenticProfileReplayResultV2JsonSchema();
             case "verification-request":
                 return verificationRequestJsonSchema();
+            case "verification-request-v2":
+                return verificationRequestV2JsonSchema();
             case "repository-analysis":
                 return repositoryAnalysisJsonSchema();
             case "repository-audit":
@@ -209,8 +257,18 @@ export class AssertLedger {
                 return repositoryInitResultJsonSchema();
             case "evidence-manifest":
                 return evidenceManifestJsonSchema();
+            case "evidence-manifest-v2":
+                return evidenceManifestV2JsonSchema();
             case "replay-result":
                 return replayResultJsonSchema();
+            case "evidence-provider-manifest":
+                return evidenceProviderManifestJsonSchema();
+            case "evidence-export-request":
+                return evidenceExportRequestJsonSchema();
+            case "evidence-export":
+                return evidenceExportJsonSchema();
+            case "evidence-export-replay-result":
+                return evidenceExportReplayResultJsonSchema();
         }
     }
 }
@@ -218,7 +276,7 @@ export class AssertLedger {
 export class TestForge extends AssertLedger {
 }
 export { parseVerificationRequest, verificationRequestJsonSchema } from "../contracts/index.js";
-export { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceManifest, verifyDecisionDigest, verifyManifestIntegrity, } from "../core/index.js";
+export { createAgenticBenchmark, createAgenticCorpusAllocation, createAgenticCorpusExperimentArtifact, createAgenticProfile, createAgenticProfileV2, createEvidenceExport, createEvidenceProviderManifest, replayAgenticBenchmark, replayAgenticBenchmarkAcquisition, replayAgenticCorpusAllocation, replayAgenticCorpusExperimentArtifact, replayAgenticProfile, replayAgenticProfileV2, replayEvidenceExport, replayEvidenceManifest, verifyDecisionDigest, verifyManifestIntegrity, } from "../core/index.js";
 export { qualifyGitRegression } from "../engine/git-regression.js";
 export { acquireAgenticBenchmark, analyzeRepository, auditRepository, doctorRepositoryRuntime, initializeRepository, verifyCampaign, } from "../engine/index.js";
 //# sourceMappingURL=index.js.map

package/dist/sdk/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAcL,iDAAiD,EACjD,4CAA4C,EAC5C,2CAA2C,EAC3C,kCAAkC,EAClC,sCAAsC,EACtC,iCAAiC,EACjC,2CAA2C,EAC3C,uDAAuD,EACvD,iCAAiC,EACjC,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,yCAAyC,EACzC,qCAAqC,EACrC,iDAAiD,EACjD,8CAA8C,EAC9C,6CAA6C,EAC7C,wCAAwC,EACxC,oCAAoC,EACpC,sCAAsC,EACtC,8BAA8B,EAC9B,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,EAEjC,0BAA0B,EAC1B,4CAA4C,EAC5C,uCAAuC,EACvC,sCAAsC,EACtC,6BAA6B,EAC7B,iCAAiC,EACjC,4BAA4B,EAC5B,4BAA4B,EAC5B,kDAAkD,EAClD,wCAAwC,EACxC,mCAAmC,EACnC,oCAAoC,EACpC,gCAAgC,EAChC,wCAAwC,EACxC,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,EAC1B,4BAA4B,EAC5B,qBAAqB,EACrB,iBAAiB,EACjB,uBAAuB,EACvB,oBAAoB,EACpB,yBAAyB,EACzB,wBAAwB,EAKxB,sBAAsB,EACtB,4BAA4B,EAC5B,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,8BAA8B,EAC9B,6BAA6B,GAC9B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,wBAAwB,EAA4B,MAAM,gCAAgC,CAAC;AACpG,OAAO,EAEL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,uCAAuC,EACvC,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAA6B,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAC9F,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EAIpB,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,6BAA6B,EAC7B,iDAAiD,GAClD,MAAM,iCAAiC,CAAC;AAyCzC,yFAAyF;AACzF,MAAM,OAAO,YAAY;IACvB,OAAO,CAAC,KAAwB;QAC9B,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAY;QACxB,OAAO,uBAAuB,CAAC,MAAM,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,IAAY,EAAE,OAAO,GAA2B,EAAE;QAC5D,OAAO,oBAAoB,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAY,EAAE,OAAO,GAA0B,EAAE;QAC1D,OAAO,yBAAyB,CAAC,MAAM,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,IAAY,EAAE,OAA6B;QAC7D,OAAO,wBAAwB,CAAC,MAAM,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,OAAgB;QAC3B,OAAO,qBAAqB,CAAC,MAAM,cAAc,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,OAA6B;QACpD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,QAAiB;QACtB,IAAI,cAAwC,CAAC;QAC7C,IAAI,CAAC;YACH,cAAc,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iBAAiB,CAAC;gBACvB,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,sBAAsB,EAAE,KAAK;aAC9B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,iBAAiB,CAAC,EAAE,GAAG,sBAAsB,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO,yBAAyB,CAAC,oBAAoB,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,aAAa,CAAC,MAAe;QAC3B,IAAI,CAAC;YACH,OAAO,+BAA+B,CACpC,oBAAoB,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CACxD,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,+BAA+B,CAAC;gBACrC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,SAAS,CAAC,OAAgB;QACxB,OAAO,6BAA6B,CAClC,sBAAsB,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,QAAiB;QAC/B,IAAI,CAAC;YACH,OAAO,iCAAiC,CACtC,sBAAsB,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAChE,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,KAAK;gBACzB,iBAAiB,EAAE,KAAK;gBACxB,mBAAmB,EAAE,KAAK;gBAC1B,sBAAsB,EAAE,KAAK;gBAC7B,0BAA0B,EAAE,KAAK;gBACjC,mBAAmB,EAAE,KAAK;gBAC1B,qBAAqB,EAAE,KAAK;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,OAAgB;QACrC,OAAO,sCAAsC,CAC3C,MAAM,uBAAuB,CAAC,uCAAuC,CAAC,OAAO,CAAC,CAAC,CAChF,CAAC;IACJ,CAAC;IAED,0BAA0B,CAAC,MAAe;QACxC,OAAO,4CAA4C,CAAC,iCAAiC,CAAC,MAAM,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,SAAS,CAAC,OAAgB;QACxB,OAAO,2BAA2B,CAChC,sBAAsB,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,MAAe;QAC7B,IAAI,CAAC;YACH,OAAO,iCAAiC,CACtC,sBAAsB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAC5D,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;gBACzB,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc,CAAC,OAAgB;QAC7B,OAAO,4BAA4B,CACjC,6BAA6B,CAAC,mCAAmC,CAAC,OAAO,CAAC,CAAC,CAC5E,CAAC;IACJ,CAAC;IAED,sBAAsB,CAAC,UAAmB;QACxC,IAAI,CAAC;YACH,OAAO,wCAAwC,CAC7C,6BAA6B,CAAC,4BAA4B,CAAC,UAAU,CAAC,CAAC,CACxE,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,wCAAwC,CAAC;gBAC9C,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,qBAAqB,EAAE,KAAK;gBAC5B,kBAAkB,EAAE,KAAK;gBACzB,qBAAqB,EAAE,KAAK;gBAC5B,uBAAuB,EAAE,KAAK;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,OAAgB,EAAE,IAAa;QAC9C,OAAO,oCAAoC,CACzC,qCAAqC,CACnC,mCAAmC,CAAC,OAAO,CAAC,EAC5C,gCAAgC,CAAC,IAAI,CAAC,CACvC,CACF,CAAC;IACJ,CAAC;IAED,sBAAsB,CACpB,QAAiB,EACjB,OAA6C;QAE7C,OAAO,wCAAwC,CAC7C,qCAAqC,CACnC,EAAE,QAAQ,EAAE,EACZ;YACE,GAAG,OAAO;YACV,gBAAgB,EAAE,6BAA6B;YAC/C,0BAA0B,EAAE,iDAAiD;SAC9E,CACF,CACF,CAAC;IACJ,CAAC;IAED,gCAAgC,CAC9B,KAAoE;QAEpE,OAAO,kDAAkD,CACvD,uCAAuC,CAAC,KAAK,EAAE;YAC7C,gBAAgB,EAAE,iDAAiD;SACpE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAgB;QACrB,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,mCAAmC;gBACtC,OAAO,wCAAwC,EAAE,CAAC;YACpD,KAAK,2BAA2B;gBAC9B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,yCAAyC;gBAC5C,OAAO,6CAA6C,EAAE,CAAC;YACzD,KAAK,sCAAsC;gBACzC,OAAO,2CAA2C,EAAE,CAAC;YACvD,KAAK,kCAAkC;gBACrC,OAAO,uCAAuC,EAAE,CAAC;YACnD,KAAK,oDAAoD;gBACvD,OAAO,uDAAuD,EAAE,CAAC;YACnE,KAAK,gCAAgC;gBACnC,OAAO,qCAAqC,EAAE,CAAC;YACjD,KAAK,8CAA8C;gBACjD,OAAO,iDAAiD,EAAE,CAAC;YAC7D,KAAK,mCAAmC;gBACtC,OAAO,wCAAwC,EAAE,CAAC;YACpD,KAAK,oCAAoC;gBACvC,OAAO,yCAAyC,EAAE,CAAC;YACrD,KAAK,0CAA0C;gBAC7C,OAAO,8CAA8C,EAAE,CAAC;YAC1D,KAAK,yCAAyC;gBAC5C,OAAO,6CAA6C,EAAE,CAAC;YACzD,KAAK,2BAA2B;gBAC9B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,4BAA4B;gBAC/B,OAAO,kCAAkC,EAAE,CAAC;YAC9C,KAAK,iCAAiC;gBACpC,OAAO,sCAAsC,EAAE,CAAC;YAClD,KAAK,uCAAuC;gBAC1C,OAAO,4CAA4C,EAAE,CAAC;YACxD,KAAK,sCAAsC;gBACzC,OAAO,2CAA2C,EAAE,CAAC;YACvD,KAAK,6CAA6C;gBAChD,OAAO,iDAAiD,EAAE,CAAC;YAC7D,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,+BAA+B;gBAClC,OAAO,oCAAoC,EAAE,CAAC;YAChD,KAAK,4BAA4B;gBAC/B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,2BAA2B;gBAC9B,OAAO,gCAAgC,EAAE,CAAC;YAC5C,KAAK,kCAAkC;gBACrC,OAAO,sCAAsC,EAAE,CAAC;YAClD,KAAK,sBAAsB;gBACzB,OAAO,6BAA6B,EAAE,CAAC;YACzC,KAAK,qBAAqB;gBACxB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,kBAAkB;gBACrB,OAAO,yBAAyB,EAAE,CAAC;YACrC,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,sBAAsB;gBACzB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,mBAAmB;gBACtB,OAAO,0BAA0B,EAAE,CAAC;YACtC,KAAK,eAAe;gBAClB,OAAO,sBAAsB,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;CACF;AAED,2EAA2E;AAC3E,MAAM,OAAO,SAAU,SAAQ,YAAY;CAAG;AAE9C,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,GACf,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sdk/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAcL,iDAAiD,EACjD,4CAA4C,EAC5C,2CAA2C,EAC3C,kCAAkC,EAClC,sCAAsC,EACtC,iCAAiC,EACjC,2CAA2C,EAC3C,uDAAuD,EACvD,iCAAiC,EACjC,6CAA6C,EAC7C,wCAAwC,EACxC,uCAAuC,EACvC,yCAAyC,EACzC,qCAAqC,EACrC,iDAAiD,EACjD,8CAA8C,EAC9C,6CAA6C,EAC7C,wCAAwC,EACxC,oCAAoC,EACpC,sCAAsC,EACtC,8BAA8B,EAC9B,gCAAgC,EAChC,+BAA+B,EAC/B,iCAAiC,EAMjC,wBAAwB,EACxB,oCAAoC,EACpC,+BAA+B,EAC/B,0BAA0B,EAC1B,4BAA4B,EAC5B,kCAAkC,EAClC,4CAA4C,EAC5C,uCAAuC,EACvC,sCAAsC,EACtC,6BAA6B,EAC7B,iCAAiC,EACjC,4BAA4B,EAC5B,4BAA4B,EAC5B,kDAAkD,EAClD,wCAAwC,EACxC,mCAAmC,EACnC,oCAAoC,EACpC,gCAAgC,EAChC,wCAAwC,EACxC,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,yBAAyB,EACzB,2BAA2B,EAC3B,0BAA0B,EAC1B,4BAA4B,EAC5B,mBAAmB,EACnB,+BAA+B,EAC/B,0BAA0B,EAC1B,6BAA6B,EAC7B,iBAAiB,EACjB,uBAAuB,EACvB,oBAAoB,EACpB,yBAAyB,EACzB,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,0BAA0B,EAC1B,8BAA8B,EAK9B,sBAAsB,EACtB,4BAA4B,EAC5B,yBAAyB,EACzB,8BAA8B,EAC9B,4BAA4B,EAC5B,8BAA8B,EAC9B,6BAA6B,EAC7B,+BAA+B,GAChC,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,wBAAwB,EAA4B,MAAM,gCAAgC,CAAC;AACpG,OAAO,EAAE,4BAA4B,EAAE,MAAM,kBAAkB,CAAC;AAChE,OAAO,EAEL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,uCAAuC,EACvC,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAGL,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EAKpB,cAAc,GACf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,6BAA6B,EAC7B,iDAAiD,GAClD,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AA+CrD,yFAAyF;AACzF,MAAM,OAAO,YAAY;IACvB,OAAO,CAAC,KAAwB;QAC9B,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAY;QACxB,OAAO,uBAAuB,CAAC,MAAM,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,IAAY,EAAE,OAAO,GAA2B,EAAE;QAC5D,OAAO,oBAAoB,CAAC,MAAM,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,IAAY,EAAE,OAAO,GAA0B,EAAE;QAC1D,OAAO,yBAAyB,CAAC,MAAM,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAY;QACvB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,IAAY,EAAE,OAA6B;QAC7D,OAAO,wBAAwB,CAAC,MAAM,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,OAAgB;QAC3B,OAAO,qBAAqB,CAAC,MAAM,cAAc,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,QAAQ,CACZ,OAAgB,EAChB,OAAO,GAA0B,EAAE;QAEnC,OAAO,uBAAuB,CAC5B,MAAM,cAAc,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CACnE,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,OAA6B;QACpD,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,gGAAgG;IAChG,KAAK,CAAC,oBAAoB,CAAC,OAA+B;QACxD,OAAO,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,QAAiB;QACtB,IAAI,cAAqE,CAAC;QAC1E,IAAI,CAAC;YACH,cAAc,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iBAAiB,CAAC;gBACvB,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,sBAAsB,EAAE,KAAK;aAC9B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,iBAAiB,CAAC,EAAE,GAAG,sBAAsB,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO,yBAAyB,CAAC,oBAAoB,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9F,CAAC;IAED,aAAa,CAAC,MAAe;QAC3B,IAAI,CAAC;YACH,OAAO,+BAA+B,CACpC,oBAAoB,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CACxD,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,+BAA+B,CAAC;gBACrC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc,CAAC,OAAgB;QAC7B,OAAO,mBAAmB,CAAC,oBAAoB,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC;IAED,oBAAoB,CAAC,cAAuB;QAC1C,IAAI,CAAC;YACH,OAAO,+BAA+B,CAAC,oBAAoB,CAAC,cAAc,CAAC,CAAC,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,+BAA+B,CAAC;gBACrC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;QACd,OAAO,6BAA6B,CAClC,8BAA8B,CAAC;YAC7B,OAAO,EAAE,oBAAoB;YAC7B,cAAc,EAAE,4BAA4B;YAC5C,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,WAAW;oBACjB,SAAS,EAAE,yBAAyB,CAAC,SAAS;oBAC9C,cAAc,EAAE,yBAAyB,CAAC,cAAc;oBACxD,QAAQ,EAAE,yBAAyB,CAAC,QAAQ;iBAC7C;gBACD,EAAE,IAAI,EAAE,mBAAmB,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;aACtF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,OAAgB;QACxB,OAAO,6BAA6B,CAClC,sBAAsB,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,QAAiB;QAC/B,IAAI,CAAC;YACH,OAAO,iCAAiC,CACtC,sBAAsB,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAChE,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,mBAAmB,EAAE,KAAK;gBAC1B,kBAAkB,EAAE,KAAK;gBACzB,iBAAiB,EAAE,KAAK;gBACxB,mBAAmB,EAAE,KAAK;gBAC1B,sBAAsB,EAAE,KAAK;gBAC7B,0BAA0B,EAAE,KAAK;gBACjC,mBAAmB,EAAE,KAAK;gBAC1B,qBAAqB,EAAE,KAAK;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,OAAgB;QACrC,OAAO,sCAAsC,CAC3C,MAAM,uBAAuB,CAAC,uCAAuC,CAAC,OAAO,CAAC,CAAC,CAChF,CAAC;IACJ,CAAC;IAED,0BAA0B,CAAC,MAAe;QACxC,OAAO,4CAA4C,CAAC,iCAAiC,CAAC,MAAM,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,SAAS,CAAC,OAAgB;QACxB,OAAO,2BAA2B,CAChC,sBAAsB,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAC9D,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,MAAe;QAC7B,IAAI,CAAC;YACH,OAAO,iCAAiC,CACtC,sBAAsB,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC,CAC5D,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,iCAAiC,CAAC;gBACvC,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;gBACzB,iBAAiB,EAAE,KAAK;gBACxB,iBAAiB,EAAE,KAAK;gBACxB,cAAc,EAAE,KAAK;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc,CAAC,OAAgB;QAC7B,OAAO,4BAA4B,CACjC,6BAA6B,CAAC,mCAAmC,CAAC,OAAO,CAAC,CAAC,CAC5E,CAAC;IACJ,CAAC;IAED,sBAAsB,CAAC,UAAmB;QACxC,IAAI,CAAC;YACH,OAAO,wCAAwC,CAC7C,6BAA6B,CAAC,4BAA4B,CAAC,UAAU,CAAC,CAAC,CACxE,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,wCAAwC,CAAC;gBAC9C,KAAK,EAAE,KAAK;gBACZ,WAAW,EAAE,KAAK;gBAClB,qBAAqB,EAAE,KAAK;gBAC5B,kBAAkB,EAAE,KAAK;gBACzB,qBAAqB,EAAE,KAAK;gBAC5B,uBAAuB,EAAE,KAAK;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,OAAgB,EAAE,IAAa;QAC9C,OAAO,oCAAoC,CACzC,qCAAqC,CACnC,mCAAmC,CAAC,OAAO,CAAC,EAC5C,gCAAgC,CAAC,IAAI,CAAC,CACvC,CACF,CAAC;IACJ,CAAC;IAED,sBAAsB,CACpB,QAAiB,EACjB,OAA6C;QAE7C,OAAO,wCAAwC,CAC7C,qCAAqC,CACnC,EAAE,QAAQ,EAAE,EACZ;YACE,GAAG,OAAO;YACV,gBAAgB,EAAE,6BAA6B;YAC/C,0BAA0B,EAAE,iDAAiD;SAC9E,CACF,CACF,CAAC;IACJ,CAAC;IAED,gCAAgC,CAC9B,KAAoE;QAEpE,OAAO,kDAAkD,CACvD,uCAAuC,CAAC,KAAK,EAAE;YAC7C,gBAAgB,EAAE,iDAAiD;SACpE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAgB;QACrB,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,mCAAmC;gBACtC,OAAO,wCAAwC,EAAE,CAAC;YACpD,KAAK,2BAA2B;gBAC9B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,yCAAyC;gBAC5C,OAAO,6CAA6C,EAAE,CAAC;YACzD,KAAK,sCAAsC;gBACzC,OAAO,2CAA2C,EAAE,CAAC;YACvD,KAAK,kCAAkC;gBACrC,OAAO,uCAAuC,EAAE,CAAC;YACnD,KAAK,oDAAoD;gBACvD,OAAO,uDAAuD,EAAE,CAAC;YACnE,KAAK,gCAAgC;gBACnC,OAAO,qCAAqC,EAAE,CAAC;YACjD,KAAK,8CAA8C;gBACjD,OAAO,iDAAiD,EAAE,CAAC;YAC7D,KAAK,mCAAmC;gBACtC,OAAO,wCAAwC,EAAE,CAAC;YACpD,KAAK,oCAAoC;gBACvC,OAAO,yCAAyC,EAAE,CAAC;YACrD,KAAK,0CAA0C;gBAC7C,OAAO,8CAA8C,EAAE,CAAC;YAC1D,KAAK,yCAAyC;gBAC5C,OAAO,6CAA6C,EAAE,CAAC;YACzD,KAAK,2BAA2B;gBAC9B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,4BAA4B;gBAC/B,OAAO,kCAAkC,EAAE,CAAC;YAC9C,KAAK,iCAAiC;gBACpC,OAAO,sCAAsC,EAAE,CAAC;YAClD,KAAK,uCAAuC;gBAC1C,OAAO,4CAA4C,EAAE,CAAC;YACxD,KAAK,sCAAsC;gBACzC,OAAO,2CAA2C,EAAE,CAAC;YACvD,KAAK,6CAA6C;gBAChD,OAAO,iDAAiD,EAAE,CAAC;YAC7D,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,+BAA+B;gBAClC,OAAO,oCAAoC,EAAE,CAAC;YAChD,KAAK,4BAA4B;gBAC/B,OAAO,iCAAiC,EAAE,CAAC;YAC7C,KAAK,2BAA2B;gBAC9B,OAAO,gCAAgC,EAAE,CAAC;YAC5C,KAAK,kCAAkC;gBACrC,OAAO,sCAAsC,EAAE,CAAC;YAClD,KAAK,sBAAsB;gBACzB,OAAO,6BAA6B,EAAE,CAAC;YACzC,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,qBAAqB;gBACxB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,kBAAkB;gBACrB,OAAO,yBAAyB,EAAE,CAAC;YACrC,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,sBAAsB;gBACzB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,wBAAwB;gBAC3B,OAAO,8BAA8B,EAAE,CAAC;YAC1C,KAAK,mBAAmB;gBACtB,OAAO,0BAA0B,EAAE,CAAC;YACtC,KAAK,sBAAsB;gBACzB,OAAO,4BAA4B,EAAE,CAAC;YACxC,KAAK,eAAe;gBAClB,OAAO,sBAAsB,EAAE,CAAC;YAClC,KAAK,4BAA4B;gBAC/B,OAAO,kCAAkC,EAAE,CAAC;YAC9C,KAAK,yBAAyB;gBAC5B,OAAO,+BAA+B,EAAE,CAAC;YAC3C,KAAK,iBAAiB;gBACpB,OAAO,wBAAwB,EAAE,CAAC;YACpC,KAAK,+BAA+B;gBAClC,OAAO,oCAAoC,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;CACF;AAED,2EAA2E;AAC3E,MAAM,OAAO,SAAU,SAAQ,YAAY;CAAG;AAE9C,OAAO,EAAE,wBAAwB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAChG,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,8BAA8B,EAC9B,sBAAsB,EACtB,iCAAiC,EACjC,6BAA6B,EAC7B,qCAAqC,EACrC,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,GACf,MAAM,oBAAoB,CAAC"}

package/docs/agentic-test-profile.md

@@ -172,6 +172,11 @@ The report lists every satisfied lane and a `bestLaneId`, defined as the smalles
 the candidate satisfies. `QUALIFIED` is always scoped to declared worlds, attempts, environment,
 and profile policy.
 
+The report status maps to stable `assertledger profile` exit codes: `0` for `QUALIFIED`, `2` for
+`NOT_QUALIFIED` or `BUDGET_MISSED`, `3` for `INSUFFICIENT_TIMING_EVIDENCE`, and `4` when the
+request or its source manifest is rejected before a report exists. See the
+[CLI reference](reference.md).
+
 ## Portfolio selection under a budget
 
 Each lane also yields a deterministic weighted-coverage portfolio under that lane's wall-time

package/docs/architecture.md

@@ -40,7 +40,8 @@ versioned request
   ├─ operator-owned worlds and provenance
   ├─ candidate test overlays
   ├─ adapter configuration
-  ├─ trusted-local authorization and environment allowlist
+  ├─ isolation: trusted-local authorization and environment allowlist,
+  │            or (v2) a digest-pinned container image, environment and limits
   └─ policy and budgets
           │
           ▼
@@ -122,7 +123,9 @@ environment allowlist names, budgets, candidate roots, and each world's provenan
 digest to the decision. It does not record effective environment values. For `node:test`, the engine
 probes the requested executable, resolves its real path, probes the resolved file again, and records
 the matching Node.js version plus the executable's SHA-256 digest. The structured-command adapter
-records its configured command but does not resolve or hash it.
+records its configured command but does not resolve or hash it. A v2 container campaign probes the
+runtime before any execution and also binds the image identity, runtime facts, declared
+environment and limits; `node:test` probes then run inside the image.
 
 The repository digest covers regular files visited by the analyzer. The analyzer omits `.git`,
 `.testforge`, `node_modules`, and operator-excluded path segments. It rejects any encountered
@@ -148,10 +151,19 @@ The emitted manifest contains normalized observations and stdout/stderr digests,
 output, candidate or world file bodies, or a repository archive. A self-contained audit bundle must
 preserve those inputs and logs beside the manifest.
 
+## Internal proof planner
+
+`src/proof-planner` decides which evidence is proportionate for a change, from a provider-neutral
+change impact, the affected claims and a versioned assurance policy. It follows the core's purity
+rules, is not exported from the package entry points, and never grants or verifies evidence: the
+gates above keep that authority. See [proof-planner.md](proof-planner.md).
+
 ## Extension points
 
 - Built-in adapters translate framework behavior into normalized observations.
 - The structured-command protocol supports external test-framework reporters.
-- A future isolation backend may replace `trusted-local` without changing gate ownership.
+- Isolation backends change where adapter processes run, not gate ownership. The v2
+  [container backend](container-isolation.md) is the first alternative to `trusted-local`; a VM
+  backend could follow the same boundary.
 - A future native orchestrator may replace the Node.js engine only after passing shared schema,
   canonicalization, decision, and digest conformance fixtures.

package/docs/ci.md

@@ -8,7 +8,13 @@ contain the tested GitHub SHA and matrix values.
 Both jobs execute repository code. They run on disposable GitHub-hosted runners with
 `contents: read`, no deployment secrets, and checkout credential persistence disabled.
 Never move trusted-local verification onto a privileged or self-hosted runner handling
-untrusted contributions. AssertLedger does not contain hostile code.
+untrusted contributions. `trusted-local` does not contain hostile code.
+
+On Linux, the checks job pulls one digest-pinned Node.js image and makes the
+[container isolation](container-isolation.md) suite mandatory: hostile scenarios run against the
+runner's Docker Engine, and a missing daemon or image fails the job. Windows runners provide only
+Windows containers and macOS runners provide no container runtime, so that suite reports an
+explicit skip there; the rest of the checks job runs on all three systems.
 
 The workflow permits pushes to `main` and same-repository pull requests from an owner,
 member or collaborator. Fork pull requests are skipped. A skipped job does not establish

package/docs/conformance-v1.md

@@ -15,8 +15,12 @@ raw file SHA-256, and this root digest construction over ordinally sorted portab
 SHA256(path + NUL + "sha256:" + raw-hex-digest + newline)
 ```
 
-It then verifies the raw SHA-256 and `$id` of all 34 published schemas directly from `schemas/`,
-strictly parses `bundle.json`, dispatches an explicit operation allowlist to public AssertLedger APIs,
+It then verifies the raw SHA-256 and `$id` of the 34 schemas frozen by v1 directly from `schemas/`.
+Schemas published after v1 are locked additively in `conformance/schema-extensions.json`, whose own
+raw SHA-256 is pinned in `scripts/conformance-v1-lock.ts`; the checker verifies every listed schema,
+rejects an overlap with the v1 set, and requires `schemas/` to contain exactly the union. The v1
+bundle bytes and root digest do not change when a schema is added. The checker then strictly parses
+`bundle.json`, dispatches an explicit operation allowlist to public AssertLedger APIs,
 and deep-compares every complete expected output. Additional assertions ensure compilation,
 collection, timeout, process-crash, infrastructure-error, and no-test-discovered outcomes never
 become target kills, and that re-sealed semantic forgeries remain invalid even when their public
@@ -59,6 +63,11 @@ sequence:
    decision/artifact/profile/benchmark digests;
 6. run `pnpm check` and review the final aggregate diff.
 
+Publishing a new schema never touches `conformance/v1`: generate and format the schema, add its
+path, raw SHA-256, and `$id` to `conformance/schema-extensions.json`, independently recalculate that
+file's raw SHA-256 into `PUBLISHED_SCHEMA_EXTENSIONS_DIGEST`, and obtain the same fresh review. The
+conformance generator only covers the frozen v1 set.
+
 Any fixture or lock change is a public compatibility migration and must be documented. Do not
 accept a regenerated lock merely because the new checker is green: the checked-in oracle is an
 initial assumption, not an independent source of truth.