tryassay 0.33.2 → 0.35.0

package/dist/realtime/entropy-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entropy-detector.js","sourceRoot":"","sources":["../../src/realtime/entropy-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AA6DrD,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,WAAuC;IACpE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAEvC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IAEzB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC;QAC7B,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAgBD,oEAAoE;AACpE,wEAAwE;AACxE,mEAAmE;AACnE,MAAM,iBAAiB,GAAsB;IAC3C,mCAAmC;IACnC,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE;IACjE,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE;IACjE,cAAc;IACd,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;IAC9D,wBAAwB;IACxB,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;IACxD,uBAAuB;IACvB,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;IAC1D,qBAAqB;IACrB,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;IAC/D,4CAA4C;IAC5C,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;IAC5D,uBAAuB;IACvB,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;CACpE,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,CAAC,+EAA+E;AAEhH,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,4EAA4E;AAC5E,MAAM,kBAAkB,GAAc;IACpC,cAAc,EAAE,GAAG;IACnB,YAAY,EAAE,GAAG;IACjB,OAAO,EAAE;QACP,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QAC3D,SAAS,EAAE,CAAC,GAAG;KAChB;CACF,CAAC;AAEF,MAAM,OAAO,eAAe;IACT,cAAc,CAAS;IACvB,iBAAiB,CAAS;IAC1B,UAAU,CAAS;IACnB,SAAS,CAAS;IAClB,QAAQ,CAAgB;IACxB,iBAAiB,CAAS;IAC1B,iBAAiB,CAAU;IAC3B,SAAS,CAAsC;IAEhE,iEAAiE;IAChD,aAAa,CAAgB;IAE9C,2DAA2D;IACnD,iBAAiB,GAAa,EAAE,CAAC;IACjC,UAAU,GAAG,CAAC,CAAC;IACf,YAAY,GAAG,CAAC,CAAC;IACjB,UAAU,GAAG,CAAC,CAAC;IACf,WAAW,GAAG,EAAE,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC,CAAC;IAE5B,2DAA2D;IACnD,aAAa,GAAa,EAAE,CAAC;IAC7B,eAAe,GAAa,EAAE,CAAC;IAC/B,oBAAoB,GAAG,CAAC,CAAC;IACjC,0DAA0D;IAClD,cAAc,GAA2B,EAAE,CAAC;IAEpD,mDAAmD;IAC3C,YAAY,GAAa,EAAE,CAAC;IAEpC,YAAY,UAAkC,EAAE;QAC9C,IAAI,CAAC,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,GAAG,CAAC;QACpD,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC;QAC3D,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC;QAC7C,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC;QAC3D,yDAAyD;QACzD,4DAA4D;QAC5D,IAAI,CAAC,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC;QAC3D,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,aAAa,GAAG,IAAI,aAAa,CAAC,OAAO,CAAC,SAAS,IAAI,kBAAkB,CAAC,CAAC;IAClF,CAAC;IAED,6EAA6E;IAE7E,yEAAyE;IACzE,cAAc,CAAC,IAAY;QACzB,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAED,0EAA0E;IAC1E,kBAAkB,CAAC,MAAgB;QACjC,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,aAA2B;QACpC,IAAI,IAAI,CAAC,iBAAiB;YAAE,OAAO,IAAI,CAAC;QACxC,IAAI,aAAa,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAExD,MAAM,QAAQ,GAAqB;YACjC,KAAK,EAAE,aAAa,CAAC,KAAK;YAC1B,WAAW,EAAE,aAAa,CAAC,WAAW;SACvC,CAAC;QACF,OAAO,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACnD,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,SAAuB;QAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5D,wBAAwB;QACxB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YACpD,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC;QAED,oDAAoD;QACpD,MAAM,QAAQ,GACZ,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAEpF,yBAAyB;QACzB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,YAAY,IAAI,OAAO,CAAC;QAC7B,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,IAAI,SAAS,CAAC,KAAK,CAAC;QAEpC,kCAAkC;QAClC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjE,CAAC;QAED,0DAA0D;QAC1D,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACtC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC;gBAC5B,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC9B,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC;QAED,8CAA8C;QAC9C,oEAAoE;QACpE,4EAA4E;QAC5E,6DAA6D;QAC7D,MAAM,eAAe,GAAG,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,iBAAiB,IAAI,GAAG,CAAC;QAChG,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,MAAM,WAAW,GAAG,eAAe,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC;QAClF,IAAI,WAAW,EAAE,CAAC;YAChB,aAAa,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5C,eAAe,GAAG,aAAa,GAAG,IAAI,CAAC,iBAAiB,CAAC;QAC3D,CAAC;QAED,mDAAmD;QACnD,MAAM,UAAU,GAAG,SAAS,KAAK,IAAI,IAAI,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC;QAEnE,4DAA4D;QAC5D,uEAAuE;QACvE,kFAAkF;QAClF,MAAM,eAAe,GACnB,CAAC,WAAW,IAAI,CAAC,UAAU;YAC3B,QAAQ,GAAG,IAAI,CAAC,iBAAiB;YACjC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,SAAS,CAAC;QAEpC,MAAM,gBAAgB,GAAG,eAAe,IAAI,eAAe,IAAI,UAAU,CAAC;QAE1E,4BAA4B;QAC5B,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO;YACP,aAAa,EAAE,QAAQ;YACvB,gBAAgB;YAChB,aAAa;SACd,CAAC,CAAC;QAEH,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,iDAAiD;QACjD,IAAI,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC;QAEtC,MAAM,QAAQ,GAAa;YACzB,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC;YAClC,IAAI,EAAE,MAAM;YACZ,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,GAAG,CAAC;YACvD,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YAClC,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9E,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,SAAU,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QAEzF,MAAM,gBAAgB,GAA2B;YAC/C,GAAG,EACD,aAAa,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB;gBACtD,sDAAsD;gBACtD,UAAU,SAAS,CAAC,KAAK,iBAAiB,IAAI,CAAC,UAAU,IAAI;gBAC7D,sDAAsD;YACxD,QAAQ,EACN,kBAAkB,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB;gBAChE,mDAAmD;gBACnD,UAAU,SAAS,CAAC,KAAK,iBAAiB,IAAI,CAAC,UAAU,IAAI;gBAC7D,mEAAmE;YACrE,QAAQ,EACN,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,2BAA2B,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG;gBACtF,uBAAuB,IAAI,CAAC,cAAc,oBAAoB,CAAC,IAAI,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;gBACtH,UAAU,SAAS,CAAC,KAAK,iBAAiB,IAAI,CAAC,UAAU,IAAI;gBAC7D,sEAAsE;SACzE,CAAC;QAEF,MAAM,kBAAkB,GAA2B;YACjD,GAAG,EAAE,oHAAoH;YACzH,QAAQ,EAAE,oDAAoD;YAC9D,QAAQ,EAAE,4BAA4B;SACvC,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,QAAQ;YACR,OAAO,EAAE,uBAAuB;YAChC,SAAS,EAAE,gCAAgC;YAC3C,OAAO,EAAE,MAAM;YACf,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC;YAClC,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,UAAU,EACR,uDAAuD;gBACvD,kBAAkB,CAAC,MAAM,CAAC;gBAC1B,8EAA8E;YAChF,SAAS,EAAE,CAAC;SACb,CAAC;IACJ,CAAC;IAED;;;OAGG;IACK,oBAAoB;QAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QACnB,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;QAEpB,cAAc;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEhC,4CAA4C;QAC5C,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;YAC/B,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAExD,mCAAmC;QACnC,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAChD,IAAI,KAAK,GAAG,QAAQ;oBAAE,QAAQ,GAAG,KAAK,CAAC;YACzC,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,WAAW,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;gBAChE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;gBAC9E,IAAI,IAAI,GAAG,WAAW;oBAAE,WAAW,GAAG,IAAI,CAAC;YAC7C,CAAC;QACH,CAAC;QACD,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrC,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;gBAChE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;gBAC9E,IAAI,IAAI,GAAG,WAAW;oBAAE,WAAW,GAAG,IAAI,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC;QAClC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC9E,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QAED,qBAAqB;QACrB,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAEtD,uBAAuB;QACvB,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC;YACzC,CAAC,CAAC,IAAI,CAAC,oBAAoB,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpD,2DAA2D;QAC3D,MAAM,aAAa,GAA2B;YAC5C,WAAW;YACX,WAAW;YACX,UAAU,EAAE,GAAG;YACf,MAAM;YACN,QAAQ;YACR,WAAW;YACX,QAAQ;YACR,eAAe;SAChB,CAAC;QAEF,IAAI,KAAK,GAAG,kBAAkB,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,KAAK,IAAI,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC;QAC/B,CAAC;QAED,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,2EAA2E;IAE3E;;;;OAIG;IACH,kBAAkB;QAChB,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAEtD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC;QAClC,MAAM,gBAAgB,GAAG,IAAI,CAAC,oBAAoB,CAAC;QACnD,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC;QACvC,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,oBAAoB,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;QAEzB,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;QAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC;QACxE,MAAM,QAAQ,GAAG,SAAS,GAAG,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;QAEnC,cAAc;QACd,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEhC,yBAAyB;QACzB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE1D,oBAAoB;QACpB,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,MAAM,GAAa,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,CAAC;YACD,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QAChE,CAAC;QAED,0DAA0D;QAC1D,IAAI,iBAAiB,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBACrC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;gBACtD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;gBACpE,IAAI,IAAI,GAAG,iBAAiB;oBAAE,iBAAiB,GAAG,IAAI,CAAC;YACzD,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC9E,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;QAED,uBAAuB;QACvB,MAAM,mBAAmB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE7D,uCAAuC;QACvC,MAAM,aAAa,GAAG,IAAI,CAAC,wBAAwB,CAAC;YAClD,UAAU,EAAE,GAAG;YACf,QAAQ;YACR,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClG,WAAW,EAAE,iBAAiB;YAC9B,WAAW,EAAE,CAAC,EAAE,2CAA2C;YAC3D,MAAM,EAAE,aAAa;YACrB,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC;YACtD,eAAe,EAAE,mBAAmB;SACrC,CAAC,CAAC;QAEH,+BAA+B;QAC/B,IAAI,UAAqC,CAAC;QAC1C,IAAI,QAAQ,GAAG,IAAI,IAAI,aAAa,GAAG,GAAG,EAAE,CAAC;YAC3C,UAAU,GAAG,KAAK,CAAC;QACrB,CAAC;aAAM,IAAI,QAAQ,GAAG,IAAI,IAAI,aAAa,GAAG,GAAG,EAAE,CAAC;YAClD,UAAU,GAAG,QAAQ,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,MAAM,CAAC;QACtB,CAAC;QAED,6DAA6D;QAC7D,IAAI,OAAyC,CAAC;QAC9C,IAAI,SAAgD,CAAC;QACrD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC;YACjF,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAClD,OAAO,GAAG;gBACR,KAAK,EAAE,QAAQ;gBACf,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,0CAA0C;gBACtE,KAAK,EAAE,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO;aACnE,CAAC;YACF,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC;YAE1B,0CAA0C;YAC1C,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;gBAC5B,UAAU,GAAG,KAAK,CAAC;YACrB,CAAC;iBAAM,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC9D,UAAU,GAAG,QAAQ,CAAC;YACxB,CAAC;QACH,CAAC;QAED,OAAO;YACL,WAAW,EAAE,IAAI;YACjB,mBAAmB,EAAE,QAAQ;YAC7B,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,CAAC;YACb,UAAU;YACV,oBAAoB;YACpB,UAAU,EAAE,GAAG;YACf,eAAe,EAAE,QAAQ;YACzB,cAAc,EAAE,OAAO;YACvB,gBAAgB,EAAE,SAAS;YAC3B,iBAAiB;YACjB,aAAa;YACb,mBAAmB;YACnB,aAAa;YACb,qCAAqC;YACrC,GAAG,EAAE,OAAO;YACZ,iBAAiB,EAAE,SAAS;SAC7B,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,wBAAwB,CAAC,QAAgC;QAC/D,IAAI,KAAK,GAAG,kBAAkB,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,KAAK,IAAI,EAAE,CAAC,MAAM,GAAG,OAAO,CAAC;QAC/B,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAED,4BAA4B;IAC5B,QAAQ;QACN,OAAO;YACL,eAAe,EAAE,IAAI,CAAC,UAAU;YAChC,UAAU,EAAE,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACzE,MAAM,EAAE,IAAI,CAAC,UAAU;SACxB,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,KAAK;QACH,IAAI,CAAC,iBAAiB,GAAG,EAAE,CAAC;QAC5B,IAAI,CAAC,aAAa,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,eAAe,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,oBAAoB,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC7B,CAAC;CACF"}

package/dist/realtime/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Real-time verification pipeline — verify code as it streams from the LLM.
+ *
+ * Phase 2 of the 10x roadmap.
+ */
+export { CodeBuffer } from './code-buffer.js';
+export { getFormalChecks, loadLearnedChecks, compileCheckSet, runChecks, } from './streaming-checks.js';
+export { StreamingVerifier } from './streaming-verifier.js';
+export type { StreamingVerifierOptions } from './streaming-verifier.js';
+export { CorrectionInjector } from './correction-injector.js';
+export type { CorrectionInjectorOptions, CorrectionMessage } from './correction-injector.js';
+export { createVerifiedStream, createVerifiedStreamFromTokens, } from './stream-interceptor.js';
+export type { VerifiedStreamOptions, VerifiedStreamResult, } from './stream-interceptor.js';
+export type { CheckSeverity, CodeUnit, CodeUnitKind, CompiledCheckSet, CorrectionResult, StreamingCheck, StreamingVerifierStats, VerificationEvent, } from './types.js';

package/dist/realtime/index.js

@@ -0,0 +1,11 @@
+/**
+ * Real-time verification pipeline — verify code as it streams from the LLM.
+ *
+ * Phase 2 of the 10x roadmap.
+ */
+export { CodeBuffer } from './code-buffer.js';
+export { getFormalChecks, loadLearnedChecks, compileCheckSet, runChecks, } from './streaming-checks.js';
+export { StreamingVerifier } from './streaming-verifier.js';
+export { CorrectionInjector } from './correction-injector.js';
+export { createVerifiedStream, createVerifiedStreamFromTokens, } from './stream-interceptor.js';
+//# sourceMappingURL=index.js.map

package/dist/realtime/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/realtime/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,SAAS,GACV,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D,OAAO,EACL,oBAAoB,EACpB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC"}

package/dist/realtime/mcp-server.d.ts

@@ -0,0 +1,20 @@
+/**
+ * MCP Server for Assay real-time verification.
+ *
+ * Exposes tools over stdio transport:
+ * - verify_code: One-shot verification of a code snippet
+ * - verify_and_fix: Verify code and return fix suggestions
+ * - stream_verify: BAS-guided verification with optional logprobs
+ * - get_annotations: Cached annotations from last stream_verify
+ * - configure: Set BAS thresholds
+ *
+ * Resources:
+ * - assay://bas_heatmap: Per-token BAS scores (unstable, debugging)
+ *
+ * Usage with Claude Code:
+ *   npx tryassay mcp
+ *
+ * Claude Code config (~/.claude.json):
+ *   { "mcpServers": { "assay": { "command": "npx", "args": ["tryassay", "mcp"] } } }
+ */
+export declare function startMcpServer(): Promise<void>;

package/dist/realtime/mcp-server.js

@@ -0,0 +1,576 @@
+/**
+ * MCP Server for Assay real-time verification.
+ *
+ * Exposes tools over stdio transport:
+ * - verify_code: One-shot verification of a code snippet
+ * - verify_and_fix: Verify code and return fix suggestions
+ * - stream_verify: BAS-guided verification with optional logprobs
+ * - get_annotations: Cached annotations from last stream_verify
+ * - configure: Set BAS thresholds
+ *
+ * Resources:
+ * - assay://bas_heatmap: Per-token BAS scores (unstable, debugging)
+ *
+ * Usage with Claude Code:
+ *   npx tryassay mcp
+ *
+ * Claude Code config (~/.claude.json):
+ *   { "mcpServers": { "assay": { "command": "npx", "args": ["tryassay", "mcp"] } } }
+ */
+import { Server } from '@modelcontextprotocol/sdk/server/index.js';
+import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+import { CallToolRequestSchema, ListToolsRequestSchema, ListResourcesRequestSchema, ReadResourceRequestSchema, } from '@modelcontextprotocol/sdk/types.js';
+import { StreamingVerifier } from './streaming-verifier.js';
+import { EntropyDetector } from './entropy-detector.js';
+import { BASCalculator } from '../bayesian/bas-calculator.js';
+import { learnFromFinding } from '../lib/learned-rules/index.js';
+// ── Server state (cached between calls) ─────────────────────
+let lastAnnotations = [];
+let lastBASHeatmap = [];
+let basConfig = {
+    greenThreshold: 0.3,
+    redThreshold: 0.7,
+    weights: {
+        weights: [0.35, 0.25, -0.30, -0.10, 0.20, 0.15, 0.10, 0.20],
+        intercept: -0.5,
+    },
+};
+// ── Core verification logic ─────────────────────────────────
+function verifyCode(code, language, projectPath) {
+    const verifier = new StreamingVerifier({
+        language,
+        projectPath: projectPath || undefined,
+    });
+    verifier.push(code);
+    verifier.flush();
+    const rawFindings = verifier.getFindings();
+    const stats = verifier.getStats();
+    const findings = rawFindings.map((f) => ({
+        checkName: f.checkName,
+        severity: f.severity,
+        evidence: f.evidence,
+        suggestion: f.suggestion,
+    }));
+    return {
+        findings,
+        stats: {
+            unitsProcessed: stats.unitsProcessed,
+            checksRun: stats.checksRun,
+            findings: stats.findings,
+            avgLatencyMs: Math.round(stats.avgLatencyMs * 100) / 100,
+        },
+        clean: findings.length === 0,
+    };
+}
+function buildFixInstructions(findings) {
+    if (findings.length === 0) {
+        return 'No issues found. Code is clean.';
+    }
+    const lines = [
+        `Found ${findings.length} issue${findings.length > 1 ? 's' : ''} to fix:`,
+        '',
+    ];
+    for (let i = 0; i < findings.length; i++) {
+        const f = findings[i];
+        lines.push(`${i + 1}. [${f.severity.toUpperCase()}] ${f.checkName}`);
+        lines.push(`   Problem: ${f.evidence}`);
+        if (f.suggestion) {
+            lines.push(`   Fix: ${f.suggestion}`);
+        }
+        lines.push('');
+    }
+    lines.push('Apply the fixes above and re-verify to confirm resolution.');
+    return lines.join('\n');
+}
+// ── BAS-guided stream verification ──────────────────────────
+function streamVerify(code, language, logprobs) {
+    const hasLogprobs = logprobs && logprobs.length > 0;
+    const mode = hasLogprobs ? 'bas-guided' : 'formal-only';
+    // Compute per-token BAS if logprobs provided
+    let basScores = [];
+    const perTokenHeatmap = [];
+    if (hasLogprobs) {
+        const calculator = new BASCalculator(basConfig);
+        calculator.setLanguage(language);
+        for (let i = 0; i < logprobs.length; i++) {
+            const lp = logprobs[i];
+            const tokenInput = {
+                token: lp.token,
+                topLogprobs: lp.top_logprobs.map(t => ({
+                    token: t.token,
+                    logprob: t.logprob,
+                })),
+            };
+            const result = calculator.processToken(tokenInput);
+            basScores.push(result);
+            perTokenHeatmap.push({
+                index: i,
+                token: lp.token,
+                score: Math.round(result.score * 1000) / 1000,
+                depth: result.depth,
+            });
+        }
+    }
+    // Create verifier with adaptive depth when BAS is available
+    const entropyDetector = hasLogprobs
+        ? new EntropyDetector({ useLegacyDynamics: false, basConfig })
+        : undefined;
+    const verifier = new StreamingVerifier({
+        language,
+        adaptiveDepth: hasLogprobs,
+        entropyDetector,
+    });
+    // If we have logprobs, feed them to the entropy detector before pushing code
+    if (hasLogprobs && entropyDetector && logprobs) {
+        for (const lp of logprobs) {
+            entropyDetector.pushToken({
+                token: lp.token,
+                logprob: lp.top_logprobs[0]?.logprob ?? 0,
+                topLogprobs: lp.top_logprobs.map(t => ({
+                    token: t.token,
+                    logprob: t.logprob,
+                })),
+            });
+        }
+    }
+    // Push code through the verifier
+    verifier.push(code);
+    verifier.flush();
+    const rawFindings = verifier.getFindings();
+    const stats = verifier.getStats();
+    const findings = rawFindings.map((f) => ({
+        checkName: f.checkName,
+        severity: f.severity,
+        evidence: f.evidence,
+        suggestion: f.suggestion,
+    }));
+    // Build annotations with line numbers
+    const codeLines = code.split('\n');
+    const annotations = rawFindings.map((f) => {
+        // Find line number from code unit offset
+        const offset = f.codeUnit.startOffset;
+        let line = 1;
+        let pos = 0;
+        for (let i = 0; i < codeLines.length; i++) {
+            pos += codeLines[i].length + 1; // +1 for newline
+            if (pos > offset) {
+                line = i + 1;
+                break;
+            }
+        }
+        return {
+            line,
+            severity: f.severity,
+            message: f.evidence,
+            checkName: f.checkName,
+            depth: f.entropyContext?.verificationDepth,
+        };
+    });
+    // Cache for get_annotations and bas_heatmap
+    lastAnnotations = annotations;
+    lastBASHeatmap = perTokenHeatmap;
+    // Compute BAS summary
+    const basSummary = hasLogprobs && basScores.length > 0
+        ? {
+            meanScore: Math.round((basScores.reduce((sum, s) => sum + s.score, 0) / basScores.length) * 1000) / 1000,
+            tokenCount: basScores.length,
+            depthDistribution: {
+                green: basScores.filter(s => s.depth === 'green').length,
+                amber: basScores.filter(s => s.depth === 'amber').length,
+                red: basScores.filter(s => s.depth === 'red').length,
+            },
+        }
+        : undefined;
+    return {
+        mode,
+        findings,
+        annotations,
+        bas: basSummary,
+        stats: {
+            unitsProcessed: stats.unitsProcessed,
+            checksRun: stats.checksRun,
+            findings: stats.findings,
+            avgLatencyMs: Math.round(stats.avgLatencyMs * 100) / 100,
+        },
+        clean: findings.length === 0,
+    };
+}
+// ── Auto-learn from findings ─────────────────────────────────
+/**
+ * Convert MCP verification findings into learned rules.
+ * Runs async — doesn't block the response to Claude Code.
+ */
+function autoLearnFromFindings(findings, code, language, projectPath) {
+    if (findings.length === 0)
+        return;
+    const root = projectPath || process.cwd();
+    for (const finding of findings) {
+        const input = {
+            claim: {
+                id: `mcp-${Date.now()}-${finding.checkName}`,
+                category: finding.checkName,
+                severity: finding.severity,
+                description: finding.evidence,
+                assertion: `Code should not contain: ${finding.checkName}`,
+            },
+            verification: {
+                verdict: 'FAIL',
+                reasoning: finding.evidence,
+                evidence: finding.suggestion,
+            },
+            code,
+            language,
+            filePath: 'mcp-verified-code',
+        };
+        learnFromFinding(root, input).catch(() => {
+            // Silently ignore learning failures — don't break the MCP response
+        });
+    }
+}
+// ── MCP Server ──────────────────────────────────────────────
+export async function startMcpServer() {
+    const server = new Server({
+        name: 'assay',
+        version: '0.33.2',
+    }, {
+        capabilities: {
+            tools: {},
+            resources: {},
+        },
+    });
+    // List available tools
+    server.setRequestHandler(ListToolsRequestSchema, async () => ({
+        tools: [
+            {
+                name: 'verify_code',
+                description: 'Verify a code snippet for security vulnerabilities, error handling gaps, and common bugs. Returns structured findings with severity levels. Use this after generating code to catch issues before they ship.',
+                inputSchema: {
+                    type: 'object',
+                    properties: {
+                        code: {
+                            type: 'string',
+                            description: 'The code to verify',
+                        },
+                        language: {
+                            type: 'string',
+                            description: 'Language of the code (typescript, javascript, python, etc.)',
+                        },
+                        projectPath: {
+                            type: 'string',
+                            description: 'Optional project path for loading learned verification rules',
+                        },
+                    },
+                    required: ['code', 'language'],
+                },
+            },
+            {
+                name: 'verify_and_fix',
+                description: 'Verify a code snippet and return actionable fix instructions. Use this to self-correct generated code. Returns findings plus step-by-step fix instructions.',
+                inputSchema: {
+                    type: 'object',
+                    properties: {
+                        code: {
+                            type: 'string',
+                            description: 'The code to verify',
+                        },
+                        language: {
+                            type: 'string',
+                            description: 'Language of the code (typescript, javascript, python, etc.)',
+                        },
+                        projectPath: {
+                            type: 'string',
+                            description: 'Optional project path for loading learned verification rules',
+                        },
+                    },
+                    required: ['code', 'language'],
+                },
+            },
+            {
+                name: 'stream_verify',
+                description: 'BAS-guided verification of a code block. If logprobs are provided, computes Bayesian Anomaly Scores to route verification depth (GREEN=skip, AMBER=defer, RED=immediate). Without logprobs, runs all formal checks (formal-only mode). Returns findings, annotations, and BAS summary.',
+                inputSchema: {
+                    type: 'object',
+                    properties: {
+                        code: {
+                            type: 'string',
+                            description: 'The code block to verify',
+                        },
+                        language: {
+                            type: 'string',
+                            enum: ['typescript', 'python', 'javascript'],
+                            description: 'Language of the code',
+                        },
+                        logprobs: {
+                            type: 'array',
+                            description: 'Optional per-token logprob data from the LLM provider. Each item contains the token and its top logprob alternatives.',
+                            items: {
+                                type: 'object',
+                                properties: {
+                                    token: { type: 'string', description: 'The token text' },
+                                    top_logprobs: {
+                                        type: 'array',
+                                        description: 'Top logprob alternatives',
+                                        items: {
+                                            type: 'object',
+                                            properties: {
+                                                token: { type: 'string' },
+                                                logprob: { type: 'number' },
+                                            },
+                                            required: ['token', 'logprob'],
+                                        },
+                                    },
+                                },
+                                required: ['token', 'top_logprobs'],
+                            },
+                        },
+                    },
+                    required: ['code', 'language'],
+                },
+            },
+            {
+                name: 'get_annotations',
+                description: 'Returns cached verification annotations from the last stream_verify call. Each annotation includes line number, severity, message, and check name.',
+                inputSchema: {
+                    type: 'object',
+                    properties: {},
+                },
+            },
+            {
+                name: 'configure',
+                description: 'Configure BAS thresholds for adaptive verification depth routing. Scores below greenThreshold are skipped (GREEN), above redThreshold get immediate checks (RED), between is deferred (AMBER).',
+                inputSchema: {
+                    type: 'object',
+                    properties: {
+                        greenThreshold: {
+                            type: 'number',
+                            description: 'BAS score below which verification is skipped (default: 0.3)',
+                        },
+                        redThreshold: {
+                            type: 'number',
+                            description: 'BAS score above which verification runs immediately (default: 0.7)',
+                        },
+                    },
+                },
+            },
+        ],
+    }));
+    // List available resources
+    server.setRequestHandler(ListResourcesRequestSchema, async () => ({
+        resources: [
+            {
+                uri: 'assay://bas_heatmap',
+                name: 'BAS Heatmap',
+                description: '[UNSTABLE] Per-token Bayesian Anomaly Scores from the last stream_verify call. Debugging tool — format may change.',
+                mimeType: 'application/json',
+            },
+        ],
+    }));
+    // Read resources
+    server.setRequestHandler(ReadResourceRequestSchema, async (request) => {
+        const { uri } = request.params;
+        if (uri === 'assay://bas_heatmap') {
+            return {
+                contents: [
+                    {
+                        uri: 'assay://bas_heatmap',
+                        mimeType: 'application/json',
+                        text: JSON.stringify({
+                            _warning: 'UNSTABLE — format may change between versions',
+                            tokenCount: lastBASHeatmap.length,
+                            tokens: lastBASHeatmap,
+                            thresholds: {
+                                green: basConfig.greenThreshold,
+                                red: basConfig.redThreshold,
+                            },
+                        }, null, 2),
+                    },
+                ],
+            };
+        }
+        return {
+            contents: [
+                {
+                    uri,
+                    mimeType: 'text/plain',
+                    text: JSON.stringify({ error: `Unknown resource: ${uri}` }),
+                },
+            ],
+        };
+    });
+    // Handle tool calls
+    server.setRequestHandler(CallToolRequestSchema, async (request) => {
+        const { name, arguments: args } = request.params;
+        if (name === 'verify_code') {
+            const code = args?.code;
+            const language = args?.language;
+            const projectPath = args?.projectPath;
+            if (!code || !language) {
+                return {
+                    content: [
+                        {
+                            type: 'text',
+                            text: JSON.stringify({
+                                error: 'Both "code" and "language" are required',
+                            }),
+                        },
+                    ],
+                    isError: true,
+                };
+            }
+            const result = verifyCode(code, language, projectPath);
+            autoLearnFromFindings(result.findings, code, language, projectPath);
+            return {
+                content: [
+                    {
+                        type: 'text',
+                        text: JSON.stringify(result, null, 2),
+                    },
+                ],
+            };
+        }
+        if (name === 'verify_and_fix') {
+            const code = args?.code;
+            const language = args?.language;
+            const projectPath = args?.projectPath;
+            if (!code || !language) {
+                return {
+                    content: [
+                        {
+                            type: 'text',
+                            text: JSON.stringify({
+                                error: 'Both "code" and "language" are required',
+                            }),
+                        },
+                    ],
+                    isError: true,
+                };
+            }
+            const verifyResult = verifyCode(code, language, projectPath);
+            autoLearnFromFindings(verifyResult.findings, code, language, projectPath);
+            const fixInstructions = buildFixInstructions(verifyResult.findings);
+            const result = {
+                ...verifyResult,
+                fixInstructions,
+            };
+            return {
+                content: [
+                    {
+                        type: 'text',
+                        text: JSON.stringify(result, null, 2),
+                    },
+                ],
+            };
+        }
+        if (name === 'stream_verify') {
+            const code = args?.code;
+            const language = args?.language;
+            const logprobs = args?.logprobs;
+            if (!code || !language) {
+                return {
+                    content: [
+                        {
+                            type: 'text',
+                            text: JSON.stringify({
+                                error: 'Both "code" and "language" are required',
+                            }),
+                        },
+                    ],
+                    isError: true,
+                };
+            }
+            const result = streamVerify(code, language, logprobs);
+            autoLearnFromFindings(result.findings, code, language);
+            return {
+                content: [
+                    {
+                        type: 'text',
+                        text: JSON.stringify(result, null, 2),
+                    },
+                ],
+            };
+        }
+        if (name === 'get_annotations') {
+            return {
+                content: [
+                    {
+                        type: 'text',
+                        text: JSON.stringify({
+                            count: lastAnnotations.length,
+                            annotations: lastAnnotations,
+                        }, null, 2),
+                    },
+                ],
+            };
+        }
+        if (name === 'configure') {
+            const greenThreshold = args?.greenThreshold;
+            const redThreshold = args?.redThreshold;
+            if (greenThreshold !== undefined) {
+                if (greenThreshold < 0 || greenThreshold > 1) {
+                    return {
+                        content: [
+                            {
+                                type: 'text',
+                                text: JSON.stringify({ error: 'greenThreshold must be between 0 and 1' }),
+                            },
+                        ],
+                        isError: true,
+                    };
+                }
+                basConfig.greenThreshold = greenThreshold;
+            }
+            if (redThreshold !== undefined) {
+                if (redThreshold < 0 || redThreshold > 1) {
+                    return {
+                        content: [
+                            {
+                                type: 'text',
+                                text: JSON.stringify({ error: 'redThreshold must be between 0 and 1' }),
+                            },
+                        ],
+                        isError: true,
+                    };
+                }
+                basConfig.redThreshold = redThreshold;
+            }
+            if (basConfig.greenThreshold >= basConfig.redThreshold) {
+                return {
+                    content: [
+                        {
+                            type: 'text',
+                            text: JSON.stringify({
+                                error: 'greenThreshold must be less than redThreshold',
+                            }),
+                        },
+                    ],
+                    isError: true,
+                };
+            }
+            return {
+                content: [
+                    {
+                        type: 'text',
+                        text: JSON.stringify({
+                            message: 'Configuration updated',
+                            greenThreshold: basConfig.greenThreshold,
+                            redThreshold: basConfig.redThreshold,
+                        }, null, 2),
+                    },
+                ],
+            };
+        }
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: JSON.stringify({ error: `Unknown tool: ${name}` }),
+                },
+            ],
+            isError: true,
+        };
+    });
+    // Connect via stdio
+    const transport = new StdioServerTransport();
+    await server.connect(transport);
+}
+//# sourceMappingURL=mcp-server.js.map