@primust/verifier 1.0.0 → 1.1.0

package/dist/scoped.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"scoped.js","sourceRoot":"","sources":["../src/scoped.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACL,eAAe,EACf,aAAa,EACb,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AAEzB,2EAA2E;AAC3E,EAAE;AACF,uEAAuE;AACvE,qEAAqE;AACrE,qEAAqE;AACrE,sEAAsE;AACtE,0CAA0C;AAE1C,gBAAgB;AAEhB,SAAS,eAAe,CAAC,GAAY;IACnC,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,OAAO,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,OAAO,GAAG,uBAAuB,CAAC;AAExC,SAAS,YAAY,CAAC,CAAU;IAC9B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAuBD,MAAM,cAAc,GAAiB;IACnC,QAAQ,EAAE;QACR,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,CAAC,EAAE;QAChF,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;KACvB;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;KACzC;CACF,CAAC;AAEF,MAAM,kBAAkB,GAAiB;IACvC,QAAQ,EAAE;QACR,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1B,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;KAC3D;IACD,QAAQ,EAAE,EAAE;CACb,CAAC;AAEF,MAAM,oBAAoB,GAAiB;IACzC,QAAQ,EAAE;QACR,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,eAAe,EAAE,SAAS,CAAC,EAAE;KAC5D;IACD,QAAQ,EAAE;QACR,WAAW,EAAE;YACX,IAAI,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,CAAC;YAChE,QAAQ,EAAE,IAAI;SACf;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;KAC1C;CACF,CAAC;AAEF,MAAM,oBAAoB,GAAiB;IACzC,QAAQ,EAAE;QACR,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC5B,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;KAC3D;IACD,QAAQ,EAAE,EAAE;CACb,CAAC;AAEF,MAAM,aAAa,GAAiC;IAClD,QAAQ,EAAE,cAAc;IACxB,YAAY,EAAE,kBAAkB;IAChC,cAAc,EAAE,oBAAoB;IACpC,cAAc,EAAE,oBAAoB;CACrC,CAAC;AAEF,MAAM,kBAAkB,GAAG;IACzB,aAAa;IACb,iBAAiB;IACjB,eAAe;IACf,mBAAmB;IACnB,mBAAmB;CACX,CAAC;AAEX,MAAM,gBAAgB,GAAiC;IACrD,cAAc,EAAE;QACd,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE;YAC/C,iBAAiB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE;YAC/C,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAChC,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,uBAAuB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;YAClE,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;YACvD,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;YAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,eAAe,EAAE,SAAS,CAAC,EAAE;SAC5D;QACD,QAAQ,EAAE;YACR,kBAAkB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACvC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,mBAAmB,EAAE;QACnB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,qBAAqB,EAAE;YACpD,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAChC,eAAe,EAAE;gBACf,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACL,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;iBACpD;aACF;YACD,iBAAiB,EAAE;gBACjB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACL,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;iBACpD;aACF;SACF;QACD,QAAQ,EAAE;YACR,qBAAqB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YACzD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE;YACjD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC9B,gBAAgB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACpC,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,gBAAgB,EAAE;gBAChB,IAAI,EAAE;oBACJ,iBAAiB;oBACjB,kBAAkB;oBAClB,cAAc;oBACd,qBAAqB;iBACtB;aACF;YACD,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;YACjE,yBAAyB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;SACrE;QACD,QAAQ,EAAE;YACR,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,mBAAmB,EAAE;QACnB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,qBAAqB,EAAE;YACpD,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;YAC/B,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE;YACjE,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC9B;QACD,QAAQ,EAAE;YACR,mBAAmB,EAAE;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC7C,QAAQ,EAAE,IAAI;aACf;YACD,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YACrD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,sBAAsB,EAAE;YACrD,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC/B,aAAa,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;YAC3D,mBAAmB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;YACjE,gBAAgB,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE;YAClD,eAAe,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE;SAC9C;QACD,QAAQ,EAAE;YACR,qBAAqB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YACzD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE;YACjD,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;YAC/B,aAAa,EAAE;gBACb,IAAI,EAAE;oBACJ,QAAQ;oBACR,0BAA0B;oBAC1B,+BAA+B;iBAChC;aACF;YACD,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD,QAAQ,EAAE;YACR,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YACnD,mBAAmB,EAAE;gBACnB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC7C,QAAQ,EAAE,IAAI;aACf;YACD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,iBAAiB,EAAE;QACjB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE;YAClD,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE;YACtD,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC/B;QACD,QAAQ,EAAE;YACR,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YAChD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE;YACjD,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE;YACtE,gBAAgB,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,eAAe,EAAE,SAAS,CAAC,EAAE;SACtE;QACD,QAAQ,EAAE;YACR,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAClC;KACF;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE;YACjD,cAAc,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;YAClC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,YAAY,EAAE;gBACZ,IAAI,EAAE;oBACJ,iBAAiB;oBACjB,gBAAgB;oBAChB,2BAA2B;oBAC3B,uBAAuB;iBACxB;aACF;YACD,oBAAoB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;YAC/D,kBAAkB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;YAC7D,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,oBAAoB,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,EAAE;YACzE,gBAAgB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SACrC;QACD,QAAQ,EAAE;YACR,oBAAoB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE;YAC5E,uBAAuB,EAAE;gBACvB,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;aACjD;YACD,sBAAsB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;YACpE,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;SAC1D;KACF;IACD,mBAAmB,EAAE;QACnB,QAAQ,EAAE;YACR,gBAAgB,EAAE,EAAE,OAAO,EAAE,qBAAqB,EAAE;YACpD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC7B,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC7B,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;YAC5D,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;YAC5D,mBAAmB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvC,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,mBAAmB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACvC,iBAAiB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrC,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;YAC1D,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;YAC5D,qBAAqB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1C,sBAAsB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC3C,yBAAyB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YAC9C,oBAAoB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;YACzC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;SAC3D;QACD,QAAQ,EAAE;YACR,mBAAmB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YACvD,mBAAmB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YACvD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;SAC9C;KACF;CACF,CAAC;AAEF,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAe;IACjD,IAAI,IAAI,CAAC,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,SAAS,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACpD,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO;YAAE,OAAO,oBAAoB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACpH,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAc,CAAC,EAAE,CAAC;YACxC,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvC,OAAO,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,wBAAwB,OAAO,KAAK,EAAE,CAAC;YAC7E,IAAI,IAAI,CAAC,OAAO,KAAK,YAAY,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1D,OAAO,qCAAqC,CAAC;YAC/C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,wBAAwB,OAAO,KAAK,EAAE,CAAC;YACpG,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,KAAK,kBAAkB,IAAI,CAAC,GAAG,EAAE,CAAC;YAClG,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,KAAK,kBAAkB,IAAI,CAAC,GAAG,EAAE,CAAC;YAClG,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,yBAAyB,OAAO,KAAK,EAAE,CAAC;YAC1G,OAAO,IAAI,CAAC;QACd,KAAK,SAAS;YACZ,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,OAAO,yBAAyB,OAAO,KAAK,EAAE,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;gBAAE,OAAO,wBAAwB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;YAC1G,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,uBAAuB,OAAO,KAAK,EAAE,CAAC;YACxE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC7C,IAAI,GAAG;wBAAE,OAAO,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;gBACnC,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,MAAoB;IACvD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,wBAAwB,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,4BAA4B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;IAC9D,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,2BAA2B,IAAI,GAAG,CAAC;QAChE,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG;YAAE,OAAO,GAAG,IAAI,KAAK,GAAG,EAAE,CAAC;IACpC,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1C,IAAI,GAAG;gBAAE,OAAO,GAAG,IAAI,KAAK,GAAG,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,8BAA8B,CAAC,KAA8B;IACpE,sEAAsE;IACtE,uEAAuE;IACvE,oEAAoE;IACpE,+DAA+D;IAC/D,sEAAsE;IACtE,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,mBAAmB,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,4EAA4E,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;IAC9G,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,kEAAkE;IAClE,mEAAmE;IACnE,sEAAsE;IACtE,oEAAoE;IACpE,6CAA6C;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAC;IAChE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,+BAA+B,CAAC;QAClE,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,OAAO,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC;QACxD,CAAC;QACD,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,IAAI;QAAE,OAAO,sBAAsB,KAAK,gBAAgB,CAAC;IACrF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,mCAAmC;AAEnC,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,IAAI;IACJ,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,0BAA0B;IAC1B,0BAA0B;IAC1B,oBAAoB;IACpB,qBAAqB;CACb,CAAC;AAWX,qBAAqB;AAErB,SAAS,qBAAqB;IAC5B,OAAO,eAAe,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,aAAa,CACpB,KAAc;IAId,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,0BAA0B;YAClC,OAAO,EAAE,EAAE,MAAM,EAAE,wBAAwB,EAAE;SAC9C,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,gBAAgB,CAAC;IAClC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACrE,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,0BAA0B;YAClC,OAAO,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE;SAClC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,GAAG,EAAE,CAAC;QACR,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,0BAA0B;YAClC,OAAO,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SAC/C,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,KAAK,mBAAmB,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,0BAA0B;gBAClC,OAAO,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;aACjD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,EAAE,KAAK,sBAAsB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,8BAA8B,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,0BAA0B;gBAClC,OAAO,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;aAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,QAAiC;IAEjC,IAAI,CAAC,CAAC,qBAAqB,IAAI,QAAQ,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,mBAAmB,CAAC;IAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,sEAAsE;QACtE,6DAA6D;QAC7D,gEAAgE;QAChE,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,mBAAmB;YAC3B,WAAW,EAAE,CAAC;YACd,OAAO,EAAE;gBACP,MAAM,EAAE,qCAAqC;gBAC7C,QAAQ,EAAE,OAAO,OAAO;aACzB;SACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,CAAC,gCAAgC,IAAI,QAAQ,CAAC,EAAE,CAAC;QACpD,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,oBAAoB;YAC5B,WAAW,EAAE,OAAO,CAAC,MAAM;YAC3B,OAAO,EAAE,EAAE;SACZ,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,8BAA8B,CAAC;IACzD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,sBAAsB;YAC9B,WAAW,EAAE,OAAO,CAAC,MAAM;YAC3B,OAAO,EAAE,EAAE,QAAQ,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,WAAW,EAAE,OAAO,CAAC,MAAM;gBAC3B,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE;aACtC,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,4BAA4B;IAC5B,MAAM,UAAU,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC9C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,oBAAoB;gBAC5B,WAAW,EAAE,OAAO,CAAC,MAAM;gBAC3B,OAAO,EAAE;oBACP,KAAK,EAAE,CAAC;oBACR,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;oBACjB,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;iBACxB;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,IAAI,UAAkB,CAAC;IACvB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,UAAU,GAAG,qBAAqB,EAAE,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,OAAO,CAAC,MAAM;YAC3B,OAAO,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE;SAClC,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACjF,CAAC;AAED,uEAAuE;AACvE,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,eAAe,EAAE,CAAC"}

package/dist/types.d.ts

@@ -1,60 +0,0 @@
-/**
- * primust-verify — Types for offline verifier.
- */
-import type { ProofLevel, ProofDistribution, Coverage } from '@primust/artifact-core';
-export type RekorStatus = 'active' | 'not_found' | 'revoked' | 'unavailable' | 'skipped';
-/**
- * Synchronous resolver that returns the parent VPEC's
- * `commitment_root_poseidon2` (canonical "poseidon2:<hex>" form) for a
- * given upstream VPEC envelope ID, or null if the parent's root is not
- * locally available.
- *
- * Implementations typically wrap `SqliteStore.getUpstreamVpecRoot(vpecId)`.
- * The verifier core deliberately avoids a SqliteStore dependency to
- * preserve its zero-runtime-deps invariant — callers inject this resolver
- * when they have local store context (CLI / dashboard verifier paths).
- *
- * Returning null is offline-tolerant: the verifier surfaces a warning
- * (`upstream_vpec_proof_no_anchor_root_in_artifact`) rather than a hard
- * mismatch, so cross-org chains still verify at boundaries.
- */
-export type UpstreamRootResolver = (vpecId: string) => string | null | undefined;
-export interface VerifyOptions {
-    /** Reject test_mode: true artifacts. */
-    production?: boolean;
-    /** Skip Rekor check — fully offline mode. */
-    skip_network?: boolean;
-    /** Path to custom public key PEM (for enterprise self-hosting). */
-    trust_root?: string;
-}
-export interface VerificationResult {
-    vpec_id: string;
-    valid: boolean;
-    schema_version: string;
-    proof_level: ProofLevel | string;
-    proof_distribution: ProofDistribution | Record<string, unknown>;
-    org_id: string;
-    workflow_id: string;
-    process_context_hash: string | null;
-    partial: boolean;
-    test_mode: boolean;
-    signer_id: string;
-    kid: string;
-    signed_at: string;
-    timestamp_anchor_valid: boolean | null;
-    rekor_status: RekorStatus;
-    zk_proof_valid: boolean | null;
-    commitment_root_valid: boolean | null;
-    manifest_hashes: Record<string, string>;
-    gaps: Array<{
-        gap_id: string;
-        gap_type: string;
-        severity: string;
-    }>;
-    coverage: Coverage | Record<string, unknown>;
-    violations_present: boolean;
-    violation_count: number;
-    errors: string[];
-    warnings: string[];
-}
-//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,QAAQ,EAAY,MAAM,wBAAwB,CAAC;AAEhG,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,CAAC;AAEzF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAEjF,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,6CAA6C;IAC7C,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,UAAU,GAAG,MAAM,CAAC;IACjC,kBAAkB,EAAE,iBAAiB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB,EAAE,OAAO,GAAG,IAAI,CAAC;IACvC,YAAY,EAAE,WAAW,CAAC;IAC1B,cAAc,EAAE,OAAO,GAAG,IAAI,CAAC;IAC/B,qBAAqB,EAAE,OAAO,GAAG,IAAI,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,kBAAkB,EAAE,OAAO,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB"}

package/dist/types.js

@@ -1,5 +0,0 @@
-/**
- * primust-verify — Types for offline verifier.
- */
-export {};
-//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/upstream_resolver.d.ts

@@ -1,60 +0,0 @@
-/**
- * Default upstream-VPEC root resolver for the offline verifier (Follow-7).
- *
- * The verifier's parent-root resolution path (Follow-6) accepts a
- * synchronous `(vpecId) => string | null` resolver so verification can
- * stay single-threaded and offline. This module provides two
- * compositions:
- *
- *  - **Envelopes Map** — caller supplies a Map<vpec_id, root> (typical
- *    test path or in-memory verification of a known bundle).
- *  - **SqliteStore lookup** — caller supplies `dbPath` and the resolver
- *    reads `vpec_commitment_roots` directly via better-sqlite3, mirroring
- *    `SqliteStore.getUpstreamVpecRoot` semantics (vpec row first, fall
- *    through to run row).
- *
- * Both paths are checked in order (envelopes first). Returning `null`
- * signals "no upstream root cached" — the verifier then falls back to
- * the generic governance witness rather than fabricating a vacuous root.
- *
- * SI-1: this resolver only reads the public `commitment_root_poseidon2`
- * value. It never reaches into raw envelope content or check records.
- */
-export declare function __resetSqliteMissingWarnedForTesting(): void;
-export interface UpstreamResolverOptions {
-    /**
-     * Optional path to the runtime-core SqliteStore database. When provided,
-     * the resolver opens a read-only handle on first use and queries
-     * `vpec_commitment_roots` for `kind='vpec'` first, then `kind='run'`
-     * (matches `SqliteStore.getUpstreamVpecRoot`). Resolver close is the
-     * caller's responsibility — see `closeResolver`.
-     */
-    dbPath?: string;
-    /**
-     * Optional in-memory map of `vpec_id` → `'poseidon2:<64-hex>'`. Useful
-     * for tests, deterministic offline verification of a bundle, and air-
-     * gapped flows that inline the upstream commitment alongside the VPEC.
-     */
-    envelopes?: Map<string, string>;
-}
-import type { UpstreamRootResolver } from './types';
-export type { UpstreamRootResolver };
-/**
- * Build a synchronous resolver that maps a vpec_id to its cached
- * `commitment_root_poseidon2` value, or null if no row is cached.
- *
- * Lookup order: envelopes Map → SqliteStore vpec row → SqliteStore run
- * row. This mirrors `SqliteStore.getUpstreamVpecRoot` so SDK and verifier
- * never disagree about which root applies to a given lineage edge.
- */
-export declare function createUpstreamRootResolver(opts: UpstreamResolverOptions): UpstreamRootResolver;
-/**
- * Best-effort close hook for resolvers that opened a SQLite handle.
- *
- * The resolver is closure-scoped, so we expose a static helper instead
- * of returning an object. Callers may also let the handle be GC'd —
- * better-sqlite3 closes on finalizer — but explicit close is safer in
- * long-running CLI batches.
- */
-export declare function closeResolver(resolver: UpstreamRootResolver): void;
-//# sourceMappingURL=upstream_resolver.d.ts.map

package/dist/upstream_resolver.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"upstream_resolver.d.ts","sourceRoot":"","sources":["../src/upstream_resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AASH,wBAAgB,oCAAoC,IAAI,IAAI,CAE3D;AAcD,MAAM,WAAW,uBAAuB;IACtC;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,SAAS,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC;AAID,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,SAAS,CAAC;AACpD,YAAY,EAAE,oBAAoB,EAAE,CAAC;AAkDrC;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,uBAAuB,GAC5B,oBAAoB,CAkCtB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI,CAMlE"}

package/dist/upstream_resolver.js

@@ -1,126 +0,0 @@
-/**
- * Default upstream-VPEC root resolver for the offline verifier (Follow-7).
- *
- * The verifier's parent-root resolution path (Follow-6) accepts a
- * synchronous `(vpecId) => string | null` resolver so verification can
- * stay single-threaded and offline. This module provides two
- * compositions:
- *
- *  - **Envelopes Map** — caller supplies a Map<vpec_id, root> (typical
- *    test path or in-memory verification of a known bundle).
- *  - **SqliteStore lookup** — caller supplies `dbPath` and the resolver
- *    reads `vpec_commitment_roots` directly via better-sqlite3, mirroring
- *    `SqliteStore.getUpstreamVpecRoot` semantics (vpec row first, fall
- *    through to run row).
- *
- * Both paths are checked in order (envelopes first). Returning `null`
- * signals "no upstream root cached" — the verifier then falls back to
- * the generic governance witness rather than fabricating a vacuous root.
- *
- * SI-1: this resolver only reads the public `commitment_root_poseidon2`
- * value. It never reaches into raw envelope content or check records.
- */
-import { createRequire } from 'node:module';
-// Module-level guard: warn at most once per process when the optional
-// better-sqlite3 peer dep is missing, then fail-open by returning a
-// resolver that yields `null` for every vpec id. Exported (with `__`
-// prefix) only so tests can reset between cases.
-let _sqliteMissingWarned = false;
-export function __resetSqliteMissingWarnedForTesting() {
-    _sqliteMissingWarned = false;
-}
-function warnSqliteMissingOnce(err) {
-    if (_sqliteMissingWarned)
-        return;
-    _sqliteMissingWarned = true;
-    // eslint-disable-next-line no-console
-    console.warn('@primust/verifier: better-sqlite3 not installed in this environment; ' +
-        'upstream root resolver via SqliteStore is disabled and resolution ' +
-        'falls back to the envelopes Map (or null when none provided). ' +
-        'Install with: npm install better-sqlite3', err instanceof Error ? err.message : err);
-}
-function openDbHandle(dbPath) {
-    // Dynamic require so verifier package doesn't take a static dep on
-    // better-sqlite3 — declared as an OPTIONAL peerDependency. If the dep
-    // is missing we emit a single explicit warning per process and the
-    // resolver fail-opens (returns null for every vpec id).
-    let Database;
-    try {
-        const require_ = createRequire(import.meta.url);
-        // eslint-disable-next-line @typescript-eslint/no-require-imports
-        Database = require_('better-sqlite3');
-    }
-    catch (err) {
-        warnSqliteMissingOnce(err);
-        return null;
-    }
-    try {
-        const db = new Database(dbPath, { readonly: true, fileMustExist: true });
-        return {
-            vpecStmt: db.prepare(`SELECT root FROM vpec_commitment_roots WHERE key = ? AND kind = 'vpec'`),
-            runStmt: db.prepare(`SELECT root FROM vpec_commitment_roots WHERE key = ? AND kind = 'run'`),
-            close: () => db.close(),
-        };
-    }
-    catch (err) {
-        console.warn('[primust-verify] upstream resolver: cannot open SQLite store at', dbPath, err);
-        return null;
-    }
-}
-/**
- * Build a synchronous resolver that maps a vpec_id to its cached
- * `commitment_root_poseidon2` value, or null if no row is cached.
- *
- * Lookup order: envelopes Map → SqliteStore vpec row → SqliteStore run
- * row. This mirrors `SqliteStore.getUpstreamVpecRoot` so SDK and verifier
- * never disagree about which root applies to a given lineage edge.
- */
-export function createUpstreamRootResolver(opts) {
-    const envelopes = opts.envelopes ?? null;
-    let dbHandle;
-    // dbHandle is `undefined` until first use, `null` after a failed open.
-    return function resolveUpstreamRoot(vpecId) {
-        if (!vpecId)
-            return null;
-        if (envelopes) {
-            const fromMap = envelopes.get(vpecId);
-            if (fromMap)
-                return fromMap;
-        }
-        if (opts.dbPath) {
-            if (dbHandle === undefined) {
-                dbHandle = openDbHandle(opts.dbPath);
-            }
-            if (dbHandle) {
-                try {
-                    const vpecRow = dbHandle.vpecStmt.get(vpecId);
-                    if (vpecRow?.root)
-                        return vpecRow.root;
-                    const runRow = dbHandle.runStmt.get(vpecId);
-                    if (runRow?.root)
-                        return runRow.root;
-                }
-                catch (err) {
-                    console.warn(`[primust-verify] upstream resolver: query failed for ${vpecId}:`, err);
-                }
-            }
-        }
-        return null;
-    };
-}
-/**
- * Best-effort close hook for resolvers that opened a SQLite handle.
- *
- * The resolver is closure-scoped, so we expose a static helper instead
- * of returning an object. Callers may also let the handle be GC'd —
- * better-sqlite3 closes on finalizer — but explicit close is safer in
- * long-running CLI batches.
- */
-export function closeResolver(resolver) {
-    // The handle is encapsulated in the closure; we intentionally do
-    // nothing here in v1. The hook exists so the public surface is stable
-    // when we move to a returned `{ resolver, close }` shape. See
-    // CIRCUITS_TODO Follow-7 for the rollout plan.
-    void resolver;
-}
-//# sourceMappingURL=upstream_resolver.js.map

package/dist/upstream_resolver.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"upstream_resolver.js","sourceRoot":"","sources":["../src/upstream_resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,sEAAsE;AACtE,oEAAoE;AACpE,qEAAqE;AACrE,iDAAiD;AACjD,IAAI,oBAAoB,GAAG,KAAK,CAAC;AACjC,MAAM,UAAU,oCAAoC;IAClD,oBAAoB,GAAG,KAAK,CAAC;AAC/B,CAAC;AACD,SAAS,qBAAqB,CAAC,GAAY;IACzC,IAAI,oBAAoB;QAAE,OAAO;IACjC,oBAAoB,GAAG,IAAI,CAAC;IAC5B,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,uEAAuE;QACrE,oEAAoE;QACpE,gEAAgE;QAChE,0CAA0C,EAC5C,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CACzC,CAAC;AACJ,CAAC;AA8BD,SAAS,YAAY,CAAC,MAAc;IAClC,mEAAmE;IACnE,sEAAsE;IACtE,mEAAmE;IACnE,wDAAwD;IACxD,IAAI,QAMH,CAAC;IACF,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,iEAAiE;QACjE,QAAQ,GAAG,QAAQ,CAAC,gBAAgB,CAAoB,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACzE,OAAO;YACL,QAAQ,EAAE,EAAE,CAAC,OAAO,CAClB,wEAAwE,CACzE;YACD,OAAO,EAAE,EAAE,CAAC,OAAO,CACjB,uEAAuE,CACxE;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE;SACxB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CACV,iEAAiE,EACjE,MAAM,EACN,GAAG,CACJ,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,0BAA0B,CACxC,IAA6B;IAE7B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC;IACzC,IAAI,QAAqC,CAAC;IAC1C,uEAAuE;IAEvE,OAAO,SAAS,mBAAmB,CAAC,MAAc;QAChD,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAEzB,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QAC9B,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC9C,IAAI,OAAO,EAAE,IAAI;wBAAE,OAAO,OAAO,CAAC,IAAI,CAAC;oBACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC5C,IAAI,MAAM,EAAE,IAAI;wBAAE,OAAO,MAAM,CAAC,IAAI,CAAC;gBACvC,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,OAAO,CAAC,IAAI,CACV,wDAAwD,MAAM,GAAG,EACjE,GAAG,CACJ,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,QAA8B;IAC1D,iEAAiE;IACjE,sEAAsE;IACtE,8DAA8D;IAC9D,+CAA+C;IAC/C,KAAK,QAAQ,CAAC;AAChB,CAAC"}

package/dist/v29-envelope.d.ts

@@ -1,55 +0,0 @@
-/**
- * v29 ProofCheck envelope + manifest + runtime-binding conformance.
- *
- * Mirror of packages/verifier-py/src/primust_verify/v29_envelope.py.
- * The Py↔TS parity contract: canonicalJson(x) MUST produce byte-identical
- * output for identical inputs across both languages, and every reproduction
- * function MUST return the same value.
- *
- * Per docs/v29-draft/PROOFCHECK_ENVELOPE_SPEC_v0_1.md, AGENT_MANIFEST_SPEC,
- * HARNESS_MANIFEST_SPEC, RUNTIME_BINDING_SPEC.
- *
- * Pure functions only. No DB, no network, no KMS.
- */
-/**
- * Resolve a key id to its raw 32-byte Ed25519 public key. Sync to keep
- * the verifier pure / pluggable; relying parties typically wire this to
- * an embedded trust root (e.g. a JSON map of pinned kids).
- */
-export type PubkeyResolver = (kid: string) => Uint8Array;
-export declare const ENVELOPE_VERSION = "v0.1";
-export declare const ALLOWED_KINDS: Set<string>;
-export declare const ALLOWED_TRUST_EDGES: Set<string>;
-export declare const PROOF_TIER_HIERARCHY: readonly ["attestation", "witnessed", "execution", "operator_bound", "verifiable_inference", "mathematical"];
-export type ProofTier = (typeof PROOF_TIER_HIERARCHY)[number];
-export interface V29VerifyResult {
-    ok: boolean;
-    reasonCode: string | null;
-    detail?: string;
-}
-export declare const v29Pass: () => V29VerifyResult;
-export declare const v29Fail: (code: string, detail?: string) => V29VerifyResult;
-export declare function canonicalJson(value: unknown): string;
-export declare function canonicalHash(value: unknown): string;
-export declare function validateEnvelopeShape(envelope: unknown): V29VerifyResult;
-export declare function reproduceAggregations(records: Array<Record<string, unknown>>): Record<string, unknown>;
-export declare function validateAggregations(envelope: Record<string, unknown>): V29VerifyResult;
-export declare function reproduceTierCeiling(harnessManifest: Record<string, unknown>, surface: string, tierClaimed: string): {
-    effective_tier: string;
-    tier_ceiling_applied: string | null;
-};
-export declare function validateRecordsAgainstHarness(records: Array<Record<string, unknown>>, harnessManifest: Record<string, unknown> | null): V29VerifyResult;
-export declare function validateRuntimeBindingHash(binding: Record<string, unknown>): V29VerifyResult;
-export declare function reproduceManifestCanonicalHash(manifest: Record<string, unknown>, manifestKind: "agent" | "harness"): string;
-export declare function validateManifestCanonicalHash(manifest: Record<string, unknown>, manifestKind: "agent" | "harness"): V29VerifyResult;
-export declare function validateRuntimeBindingSignature(binding: Record<string, unknown>, pubkeyResolver: PubkeyResolver | null): V29VerifyResult;
-export declare function validateManifestSignature(manifest: Record<string, unknown>, manifestKind: "agent" | "harness", pubkeyResolver: PubkeyResolver | null): V29VerifyResult;
-export declare function verifyV29(opts: {
-    envelope: Record<string, unknown>;
-    runtimeBinding?: Record<string, unknown>;
-    agentManifest?: Record<string, unknown>;
-    harnessManifest?: Record<string, unknown>;
-    pubkeyResolver?: PubkeyResolver | null;
-    requireSignatures?: boolean;
-}): V29VerifyResult;
-//# sourceMappingURL=v29-envelope.d.ts.map

package/dist/v29-envelope.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"v29-envelope.d.ts","sourceRoot":"","sources":["../src/v29-envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,UAAU,CAAC;AAEzD,eAAO,MAAM,gBAAgB,SAAS,CAAC;AAEvC,eAAO,MAAM,aAAa,aAUxB,CAAC;AAEH,eAAO,MAAM,mBAAmB,aAAsD,CAAC;AAEvF,eAAO,MAAM,oBAAoB,8GAOvB,CAAC;AAEX,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAM9D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,OAAO,QAAO,eAAmD,CAAC;AAC/E,eAAO,MAAM,OAAO,GAAI,MAAM,MAAM,EAAE,eAAW,KAAG,eAIlD,CAAC;AAwBH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAID,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,OAAO,GAAG,eAAe,CAuCxE;AAID,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACtC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA8CzB;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,eAAe,CAYvF;AAkBD,wBAAgB,oBAAoB,CAClC,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACxC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,GAClB;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAejE;AAED,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAC9C,eAAe,CAkBjB;AAID,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,eAAe,CAqBjB;AAID,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,YAAY,EAAE,OAAO,GAAG,SAAS,GAChC,MAAM,CAuCR;AAED,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,YAAY,EAAE,OAAO,GAAG,SAAS,GAChC,eAAe,CAWjB;AAkFD,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,cAAc,EAAE,cAAc,GAAG,IAAI,GACpC,eAAe,CA4BjB;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,YAAY,EAAE,OAAO,GAAG,SAAS,EACjC,cAAc,EAAE,cAAc,GAAG,IAAI,GACpC,eAAe,CAqBjB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,cAAc,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;IACvC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CAC7B,GAAG,eAAe,CA8ClB"}