@behavproof/cli 0.0.0-stage → 0.1.0

package/dist/trust.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trust.js","sourceRoot":"","sources":["../src/trust.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,UAAU,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,IAAI,EAA+E,MAAM,kBAAkB,CAAC;AAC1V,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACpF,OAAO,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,OAAO,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,SAAS,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,MAAM,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,EAAC,GAAG,EAAC,EAAE,GAAC,IAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAA,EAAE,CAAA,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,KAAG,MAAM,CAAC,MAAM;IAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAC,OAAO,EAAC,gDAAgD,EAAC,CAAC,CAAC,CAAA,KAAI,MAAM,KAAK,IAAI,MAAM;IAAC,IAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,KAAG,KAAK,CAAC,OAAO,CAAC,MAAM;QAAC,GAAG,CAAC,QAAQ,CAAC,EAAC,IAAI,EAAC,QAAQ,EAAC,OAAO,EAAC,mCAAmC,EAAC,CAAC,CAAC,CAAA,CAAC,CAAC,CAAC;AAC1gB,MAAM,CAAC,MAAM,eAAe,GAAC,CAAC,CAAC,YAAY,CAAC;IAC3C,aAAa,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAC,MAAM,EAAC,YAAY,EAAC,MAAM,EAAC,YAAY,EAAC,QAAQ,EAAC,sBAAsB;IAClG,YAAY,EAAC,CAAC,CAAC,YAAY,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAC,SAAS,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAC,GAAG,EAAC,kBAAkB,EAAC,QAAQ,EAAC,UAAU,EAAC,UAAU,EAAC,UAAU,EAAC,CAAC,CAAC,QAAQ,EAAE;IACxM,MAAM,EAAC,CAAC,CAAC,YAAY,CAAC,EAAC,IAAI,EAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAC,OAAO,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iCAAiC,CAAC,EAAC,WAAW,EAAC,kBAAkB,EAAC,CAAC,CAAC,QAAQ,EAAE;IACvJ,MAAM,EAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,cAAc,EAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAC,WAAW,EAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAC,kBAAkB,EAAC,kBAAkB,CAAC,QAAQ,EAAE;IAC/L,SAAS,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAC,GAAG,EAAC,kBAAkB,EAAC,YAAY,EAAC,UAAU,CAAC,QAAQ,EAAE,EAAC,QAAQ,EAAC,sBAAsB,EAAC,SAAS,EAAC,uBAAuB,EAAC,MAAM,EAAC,CAAC,CAAC,YAAY,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,YAAY,EAAC,CAAC,CAAC,MAAM,EAAE,EAAC,WAAW,EAAC,CAAC,CAAC,MAAM,EAAE,EAAC,OAAO,EAAC,CAAC,CAAC,MAAM,EAAE,EAAC,YAAY,EAAC,CAAC,CAAC,MAAM,EAAE,EAAC,WAAW,EAAC,kBAAkB,EAAC,cAAc,EAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAC,kBAAkB,CAAC,EAAC,CAAC,CAAC,QAAQ,EAAE,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA,EAAE,CAAA,GAAG,CAAC,SAAS,CAAC,IAAI,KAAG,OAAO,IAAE,GAAG,CAAC,YAAY,KAAG,SAAS,EAAC,mDAAmD,CAAC,CAAC;IACrhB,MAAM,EAAC,CAAC,CAAC,YAAY,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAC,EAAE,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAC,SAAS,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,cAAc,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAC,OAAO,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,KAAK,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,CAAC,CAAC,QAAQ,EAAE;IAC5Q,aAAa,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAC,MAAM,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,MAAM,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,WAAW,EAAC,kBAAkB,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACrI,WAAW,EAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;IACzC,QAAQ,EAAC,CAAC,CAAC,YAAY,CAAC,EAAC,QAAQ,EAAC,kBAAkB,EAAC,OAAO,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,YAAY,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,SAAS,EAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,eAAe,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,YAAY,CAAC,EAAC,EAAE,EAAC,gBAAgB,EAAC,YAAY,EAAC,kBAAkB,EAAC,WAAW,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAC,YAAY,EAAC,UAAU,EAAC,CAAC,CAAC,QAAQ,EAAE,EAAC,CAAC,CAAC,QAAQ,EAAE;CAC5X,CAAC,CAAC,MAAM,CAAC,KAAK,CAAA,EAAE,CAAA,CAAC,KAAK,CAAC,YAAY,IAAE,KAAK,CAAC,YAAY,CAAC,UAAU,KAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAC,qDAAqD,CAAC,CAAC;AAEhJ,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAW,EAAC,IAAW;IACtD,MAAM,MAAM,GAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC,EAAC,IAAI,GAAC,MAAM,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,EAAC,CAAC,WAAW,EAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAC,GAAG,GAAC,QAAQ,CAAC,IAAI,EAAC,MAAM,CAAC,CAAC;IACxJ,IAAG,GAAG,KAAG,EAAE,IAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAE,GAAG,KAAG,IAAI,IAAE,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;QAAC,MAAM,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACjI,OAAO,eAAe,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAW,EAAC,KAAyB,EAAC,OAAuB;IAC/F,MAAM,YAAY,GAAqF,EAAE,CAAC;IAC1G,MAAM,aAAa,GAAC,IAAI,GAAG,EAAqB,CAAC;IAAA,MAAM,QAAQ,GAAC,IAAI,GAAG,EAAU,EAAC,QAAQ,GAAU,EAAE,EAAC,QAAQ,GAAU,EAAE,EAAC,SAAS,GAA8C,EAAE,CAAC;IAAA,MAAM,YAAY,GAAuB,EAAE,CAAC;IAAA,IAAI,kBAAmC,CAAC;IAAA,IAAI,SAAS,GAAC,KAAK,CAAC;IAC9R,IAAG,CAAC,KAAK;QAAC,OAAO,EAAC,QAAQ,EAAC,QAAQ,EAAC,QAAQ,EAAC,CAAC,yCAAyC,CAAC,EAAC,SAAS,EAAC,SAAS,EAAC,aAAa,EAAC,YAAY,EAAC,kBAAkB,EAAC,YAAY,EAAC,CAAC;IACzK,KAAI,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW;QAAC,YAAY,CAAC,IAAI,CAAC,GAAC,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,kBAAkB,GAAC,KAAK,CAAC,kBAAkB,CAAA,CAAC,CAAA,SAAS,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAA,CAAC,CAAA,SAAS,CAAC;IAC/G,KAAI,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS,EAAC,CAAC;QAClC,IAAI,aAAwB,CAAC;QAAA,IAAG,CAAC;YAAA,aAAa,GAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAAA,CAAC;QAAA,OAAM,CAAC,EAAC,CAAC;YAAA,IAAI,CAA2B,CAAC,IAAI,KAAG,QAAQ,EAAC,CAAC;gBAAA,QAAQ,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAAA,SAAS;YAAA,CAAC;YAAA,MAAM,CAAC,CAAC;QAAA,CAAC;QAC1M,MAAM,QAAQ,GAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAC,EAAC,KAAK,EAAC,IAAI,EAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAC,KAAK,GAA2B,EAAE,CAAC;QACzJ,KAAI,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAC,CAAC;YAAA,IAAG,CAAC;gBAAA,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAAA,CAAC;YAAA,OAAM,CAAC,EAAC,CAAC;gBAAA,IAAI,CAA2B,CAAC,IAAI,KAAG,QAAQ;oBAAC,MAAM,CAAC,CAAC;YAAA,CAAC;QAAA,CAAC;QACnJ,IAAI,SAAS,GAAiC,IAAI,CAAC,SAAS,CAAC;QAC7D,IAAG,CAAC,SAAS,CAAC,IAAI,KAAG,OAAO,IAAE,IAAI,CAAC,YAAY,KAAG,SAAS,CAAC,IAAE,IAAI,CAAC,QAAQ,CAAC,KAAG,IAAI,CAAC,YAAY,EAAC,CAAC;YAAA,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;YAAA,SAAS;QAAA,CAAC;QAClK,IAAG,SAAS,CAAC,IAAI,KAAG,IAAI,EAAC,CAAC;YACxB,IAAG,CAAC,IAAI,CAAC,MAAM,EAAC,CAAC;gBAAA,SAAS,GAAC,SAAS,CAAC;gBAAA,QAAQ,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;YAAA,CAAC;iBACjG,CAAC;gBAAA,MAAM,CAAC,GAAC,IAAI,CAAC,MAAM,CAAC;gBAAA,MAAM,OAAO,GAAC,MAAM,QAAQ,CAAC,IAAI,EAAC,CAAC,CAAC,WAAW,CAAC,EAAC,MAAM,GAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAAA,MAAM,YAAY,GAAC,qBAAqB,CAAC,OAAO,EAAC,EAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAC,aAAa,EAAC,GAAG,KAAK,EAAC,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC;gBAAA,IAAG,YAAY,CAAC,MAAM,KAAG,MAAM,EAAC,CAAC;oBAAA,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBAAA,SAAS;gBAAA,CAAC;gBAAA,MAAM,MAAM,GAAC,MAAM,IAAI,eAAe,CAAC,EAAC,UAAU,EAAC,CAAC,CAAC,UAAU,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAA,CAAC,CAAA,EAAC,KAAK,EAAC,OAAO,CAAC,GAAG,CAAC,YAAY,EAAC,CAAA,CAAC,CAAA,EAAE,CAAC,EAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAC,EAAC,EAAE,EAAC,SAAS,CAAC,EAAE,EAAC,YAAY,EAAC,CAAC,CAAC,YAAY,EAAC,WAAW,EAAC,CAAC,CAAC,WAAW,EAAC,OAAO,EAAC,CAAC,CAAC,OAAO,EAAC,YAAY,EAAC,CAAC,CAAC,YAAY,EAAC,cAAc,EAAC,MAAM,EAAC,CAAC,CAAC;gBAAA,YAAY,CAAC,IAAI,CAAC,EAAC,WAAW,EAAC,IAAI,CAAC,GAAG,EAAC,WAAW,EAAC,MAAM,EAAC,CAAC,CAAC;gBAAA,IAAG,MAAM,CAAC,MAAM,KAAG,MAAM,EAAC,CAAC;oBAAA,SAAS,GAAC,SAAS,CAAC;oBAAA,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAAA,CAAC;YAAA,CAAC;QACrtB,CAAC;QACD,MAAM,MAAM,GAAC,gBAAgB,CAAC,QAAQ,EAAC,IAAI,CAAC,QAAQ,EAAC,KAAK,EAAC,SAAS,CAAC,CAAC;QACtE,IAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAG,IAAI,CAAC,OAAO,CAAC,IAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAG,IAAI,CAAC,YAAY,CAAC,IAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,KAAG,kBAAkB,EAAC,CAAC;YAAA,MAAM,CAAC,YAAY,GAAC,MAAM,CAAC;YAAA,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;QAAA,CAAC;QAC9R,SAAS,CAAC,IAAI,CAAC,EAAC,GAAG,EAAC,IAAI,CAAC,GAAG,EAAC,UAAU,EAAC,MAAM,EAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAC,CAAC,MAAM,CAAC,iBAAiB,EAAC,MAAM,CAAC,aAAa,EAAC,MAAM,CAAC,YAAY,EAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACxG,IAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;aACvD,IAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,KAAG,MAAM,CAAC,EAAC,CAAC;YAAA,KAAI,MAAM,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAC,CAAC;gBAAA,MAAM,QAAQ,GAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAE,CAAC;gBAAA,IAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAE,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE,CAAC,KAAG,SAAS,CAAC,QAAQ,CAAC;oBAAC,MAAM,KAAK,CAAC,8CAA8C,CAAC,CAAC;gBAAA,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAC,QAAQ,CAAC,CAAC;gBAAA,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAAA,CAAC;YAAA,IAAG,SAAS,EAAE,IAAI,KAAG,IAAI;gBAAC,SAAS,GAAC,IAAI,CAAC;QAAA,CAAC;;YACrV,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,EAAC,QAAQ,EAAC,QAAQ,EAAC,QAAQ,CAAC,IAAI,EAAE,EAAC,QAAQ,EAAC,QAAQ,CAAC,IAAI,EAAE,EAAC,SAAS,EAAC,SAAS,EAAC,aAAa,EAAC,YAAY,EAAC,kBAAkB,EAAC,YAAY,EAAC,CAAC;AACpJ,CAAC;AACD,MAAM,CAAC,MAAM,WAAW,GAAC,CAAC,CAAS,EAAC,EAAE,CAAA,IAAI,CAAC,CAAC,CAAC,CAAC;AAE9C,MAAM,UAAU,cAAc,CAAC,QAAiB,EAAC,WAAkB,EAAC,OAAuB,EAAC,UAAiB,EAAC,SAAuD;IACpK,MAAM,OAAO,GAAC,QAAQ,CAAC,OAA+B,CAAC;IACvD,MAAM,MAAM,GAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA,EAAE,CAAA,CAAC,CAAC,EAAE,KAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAC1D,OAAO,CAAC,CAAC,MAAM,IAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,KAAG,WAAW,IAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,IAAE,IAAI,CAAC,KAAG,IAAI,CAAC,OAAO,CAAC,IAAE,QAAQ,CAAC,OAAO,CAAC,mBAAmB,KAAG,UAAU,IAAE,QAAQ,CAAC,OAAO,CAAC,YAAY,KAAG,MAAM,CAAC,YAAY,CAAC;AAC1N,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,cAAc,CAAC,KAAyB,EAAC,IAA8H,EAAC,OAAwB,EAAC,MAAwB;IACxO,MAAM,MAAM,GAAC,KAAK,EAAE,MAAM,CAAC;IAAA,IAAG,CAAC,MAAM,IAAE,CAAC,OAAO,IAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;QAAC,OAAO,SAAS,CAAC;IACtJ,MAAM,IAAI,GAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAA,EAAE,CAAA,GAAG,CAAC,GAAG,KAAG,MAAM,CAAC,WAAW,CAAC,EAAC,UAAU,GAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAA,EAAE,CAAA,GAAG,CAAC,GAAG,KAAG,MAAM,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IACjJ,IAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAA,EAAE,CAAA,GAAG,CAAC,IAAI,KAAG,MAAM,IAAE,GAAG,CAAC,GAAG,KAAG,OAAO,CAAC,IAAE,CAAC,UAAU,IAAE,CAAC,CAAC,UAAU,CAAC,iBAAiB,EAAC,UAAU,CAAC,aAAa,EAAC,UAAU,CAAC,YAAY,EAAC,UAAU,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,MAAM,CAAA,EAAE,CAAA,MAAM,KAAG,MAAM,CAAC;QAAC,OAAO,SAAS,CAAC;IACvP,OAAO,EAAC,MAAM,EAAC,MAAM,CAAC,IAAI,EAAC,OAAO,EAAC,MAAM,CAAC,OAAO,EAAC,CAAC;AACpD,CAAC"}

package/package.json

@@ -1,6 +1,53 @@
 {
   "name": "@behavproof/cli",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.0",
+  "type": "module",
+  "engines": {
+    "node": "24.x"
+  },
+  "files": [
+    "dist",
+    "schemas",
+    "presets",
+    "templates"
+  ],
+  "bin": {
+    "behavproof": "./dist/index.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/api.d.ts",
+      "import": "./dist/api.js"
+    }
+  },
+  "dependencies": {
+    "@behavproof/core": "0.1.0",
+    "@behavproof/adapter-reports": "0.1.0",
+    "@behavproof/contract-registry": "0.1.0",
+    "@behavproof/adapter-github": "0.1.0",
+    "zod": "4.6.7"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/kanoi-y/BehavProof.git",
+    "directory": "packages/cli"
+  },
+  "peerDependencies": {
+    "@behavproof/adapter-quint": "0.1.0",
+    "@behavproof/adapter-model-test": "0.1.0"
+  },
+  "peerDependenciesMeta": {
+    "@behavproof/adapter-quint": {
+      "optional": true
+    },
+    "@behavproof/adapter-model-test": {
+      "optional": true
+    }
+  },
+  "license": "UNLICENSED",
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "description": "BehavProof cli: authenticated behavioral evidence for protected development workflows"
+}

package/presets/basic-v1.json

@@ -0,0 +1,21 @@
+{
+  "schemaVersion": 1,
+  "profileVersion": "1",
+  "rules": {
+    "testResult": {
+      "severity": "error"
+    },
+    "changedLineCoverage": {
+      "severity": "warn",
+      "min": 80
+    },
+    "mutationScore": {
+      "severity": "off",
+      "min": 70,
+      "minMutants": 10
+    },
+    "pipelineIntegrity": {
+      "severity": "warn"
+    }
+  }
+}

package/presets/critical-v1.json

@@ -0,0 +1,39 @@
+{
+  "schemaVersion": 1,
+  "profileVersion": "1",
+  "rules": {
+    "testResult": {
+      "severity": "error"
+    },
+    "changedLineCoverage": {
+      "severity": "error",
+      "min": 80
+    },
+    "mutationScore": {
+      "severity": "error",
+      "min": 70,
+      "minMutants": 10
+    },
+    "pipelineIntegrity": {
+      "severity": "error"
+    },
+    "intentApproval": {
+      "severity": "error"
+    },
+    "negativeCases": {
+      "severity": "error"
+    },
+    "contractExecution": {
+      "severity": "error"
+    },
+    "policyProtection": {
+      "severity": "error"
+    },
+    "productionTargetObserved": {
+      "severity": "error"
+    },
+    "mutationSensitivityObserved": {
+      "severity": "error"
+    }
+  }
+}

package/presets/standard-v1.json

@@ -0,0 +1,21 @@
+{
+  "schemaVersion": 1,
+  "profileVersion": "1",
+  "rules": {
+    "testResult": {
+      "severity": "error"
+    },
+    "changedLineCoverage": {
+      "severity": "warn",
+      "min": 80
+    },
+    "mutationScore": {
+      "severity": "warn",
+      "min": 70,
+      "minMutants": 10
+    },
+    "pipelineIntegrity": {
+      "severity": "warn"
+    }
+  }
+}

package/schemas/config.schema.json

@@ -0,0 +1,492 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "type": "object",
+  "properties": {
+    "schemaVersion": {
+      "type": "number",
+      "const": 1
+    },
+    "formal": {
+      "type": "object",
+      "properties": {
+        "models": {
+          "minItems": 1,
+          "maxItems": 100,
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": {
+                "type": "string",
+                "minLength": 1
+              },
+              "contractId": {
+                "type": "string",
+                "minLength": 1
+              },
+              "model": {
+                "type": "string",
+                "minLength": 1
+              },
+              "modelSources": {
+                "default": [],
+                "maxItems": 10000,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "quint": {
+                "type": "object",
+                "properties": {
+                  "entry": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "version": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "apalacheVersion": {
+                    "type": "string",
+                    "minLength": 1
+                  }
+                },
+                "required": [
+                  "entry",
+                  "version"
+                ],
+                "additionalProperties": false
+              },
+              "properties": {
+                "maxItems": 10000,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "checks": {
+                "minItems": 1,
+                "maxItems": 10000,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "enum": [
+                    "parse",
+                    "typecheck",
+                    "test",
+                    "run",
+                    "verify"
+                  ]
+                }
+              },
+              "maxSteps": {
+                "type": "integer",
+                "minimum": 1,
+                "maximum": 10000
+              },
+              "maxSamples": {
+                "default": 100,
+                "type": "integer",
+                "minimum": 1,
+                "maximum": 100000
+              },
+              "seed": {
+                "type": "string",
+                "minLength": 1
+              },
+              "timeoutMs": {
+                "default": 60000,
+                "type": "integer",
+                "minimum": 1,
+                "maximum": 3600000
+              },
+              "report": {
+                "type": "string",
+                "minLength": 1
+              },
+              "driver": {
+                "type": "string",
+                "minLength": 1
+              },
+              "driverSources": {
+                "maxItems": 10000,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "implementation": {
+                "type": "string",
+                "minLength": 1
+              },
+              "implementationSources": {
+                "default": [],
+                "maxItems": 10000,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "conformanceReport": {
+                "type": "string",
+                "minLength": 1
+              },
+              "traceReceipt": {
+                "type": "string",
+                "minLength": 1
+              },
+              "traceDirectory": {
+                "type": "string",
+                "minLength": 1
+              },
+              "requiredActions": {
+                "default": [],
+                "maxItems": 10000,
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "minTraces": {
+                "default": 1,
+                "type": "integer",
+                "minimum": 1,
+                "maximum": 9007199254740991
+              },
+              "minComparisons": {
+                "default": 1,
+                "type": "integer",
+                "minimum": 1,
+                "maximum": 9007199254740991
+              },
+              "requireCanary": {
+                "default": true,
+                "type": "boolean"
+              },
+              "canary": {
+                "type": "object",
+                "properties": {
+                  "faultId": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "implementation": {
+                    "type": "string",
+                    "minLength": 1
+                  },
+                  "targetRef": {
+                    "type": "string",
+                    "minLength": 1
+                  }
+                },
+                "required": [
+                  "faultId",
+                  "implementation",
+                  "targetRef"
+                ],
+                "additionalProperties": false
+              }
+            },
+            "required": [
+              "id",
+              "contractId",
+              "model",
+              "quint",
+              "properties",
+              "checks",
+              "maxSteps",
+              "seed",
+              "report"
+            ],
+            "additionalProperties": false
+          }
+        }
+      },
+      "required": [
+        "models"
+      ],
+      "additionalProperties": false
+    },
+    "mode": {
+      "default": "audit",
+      "type": "string",
+      "enum": [
+        "audit",
+        "gate"
+      ]
+    },
+    "profile": {
+      "default": "standard",
+      "type": "string",
+      "enum": [
+        "basic",
+        "standard",
+        "critical"
+      ]
+    },
+    "profileVersion": {
+      "default": "1",
+      "type": "string",
+      "const": "1"
+    },
+    "riskOverrides": {
+      "default": [],
+      "type": "array",
+      "items": {
+        "type": "object",
+        "properties": {
+          "selector": {
+            "oneOf": [
+              {
+                "type": "object",
+                "properties": {
+                  "kind": {
+                    "type": "string",
+                    "const": "path"
+                  },
+                  "value": {
+                    "type": "string",
+                    "minLength": 1
+                  }
+                },
+                "required": [
+                  "kind",
+                  "value"
+                ],
+                "additionalProperties": false
+              },
+              {
+                "type": "object",
+                "properties": {
+                  "kind": {
+                    "type": "string",
+                    "const": "module"
+                  },
+                  "value": {
+                    "type": "string",
+                    "minLength": 1
+                  }
+                },
+                "required": [
+                  "kind",
+                  "value"
+                ],
+                "additionalProperties": false
+              },
+              {
+                "type": "object",
+                "properties": {
+                  "kind": {
+                    "type": "string",
+                    "const": "contract-kind"
+                  },
+                  "value": {
+                    "type": "string",
+                    "enum": [
+                      "examples",
+                      "invariant",
+                      "state_machine",
+                      "api_contract",
+                      "external"
+                    ]
+                  }
+                },
+                "required": [
+                  "kind",
+                  "value"
+                ],
+                "additionalProperties": false
+              }
+            ]
+          },
+          "profile": {
+            "type": "string",
+            "enum": [
+              "basic",
+              "standard",
+              "critical"
+            ]
+          }
+        },
+        "required": [
+          "selector",
+          "profile"
+        ],
+        "additionalProperties": false
+      }
+    },
+    "git": {
+      "default": {
+        "base": "origin/main"
+      },
+      "type": "object",
+      "properties": {
+        "base": {
+          "default": "origin/main",
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "additionalProperties": false
+    },
+    "reports": {
+      "default": {},
+      "type": "object",
+      "properties": {
+        "vitest": {
+          "type": "string",
+          "minLength": 1
+        },
+        "coverage": {
+          "type": "string",
+          "minLength": 1
+        },
+        "mutation": {
+          "type": "string",
+          "minLength": 1
+        }
+      },
+      "additionalProperties": false
+    },
+    "executionManifests": {
+      "default": [],
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
+    "rules": {
+      "default": {}
+    },
+    "contracts": {
+      "default": {
+        "enabled": false,
+        "sources": [],
+        "requireExecutionEvidence": true,
+        "approval": {
+          "provider": "github-protected-review",
+          "requiredForRisk": [
+            "critical"
+          ],
+          "onUnverifiable": "unknown"
+        },
+        "documents": {
+          "output": ".behavproof/generated",
+          "commit": false
+        }
+      },
+      "type": "object",
+      "properties": {
+        "enabled": {
+          "default": false,
+          "type": "boolean"
+        },
+        "sources": {
+          "default": [],
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "type": {
+                "type": "string",
+                "enum": [
+                  "vitest-inline",
+                  "manifest",
+                  "external",
+                  "gherkin",
+                  "openapi"
+                ]
+              },
+              "include": {
+                "type": "array",
+                "items": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "required": [
+              "type",
+              "include"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "requireExecutionEvidence": {
+          "default": true,
+          "type": "boolean"
+        },
+        "approval": {
+          "default": {
+            "provider": "github-protected-review",
+            "requiredForRisk": [
+              "critical"
+            ],
+            "onUnverifiable": "unknown"
+          },
+          "type": "object",
+          "properties": {
+            "provider": {
+              "type": "string",
+              "const": "github-protected-review"
+            },
+            "requiredForRisk": {
+              "default": [
+                "critical"
+              ],
+              "type": "array",
+              "items": {
+                "type": "string",
+                "enum": [
+                  "basic",
+                  "standard",
+                  "critical"
+                ]
+              }
+            },
+            "onUnverifiable": {
+              "default": "unknown",
+              "type": "string",
+              "const": "unknown"
+            }
+          },
+          "required": [
+            "provider"
+          ],
+          "additionalProperties": false
+        },
+        "documents": {
+          "default": {
+            "output": ".behavproof/generated",
+            "commit": false
+          },
+          "type": "object",
+          "properties": {
+            "output": {
+              "default": ".behavproof/generated",
+              "type": "string",
+              "minLength": 1
+            },
+            "commit": {
+              "default": false,
+              "type": "boolean"
+            }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    }
+  },
+  "required": [
+    "schemaVersion"
+  ],
+  "additionalProperties": false
+}