@emilia-protocol/gate 0.10.0 → 0.13.0

package/dist/network-witness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"network-witness.js","sourceRoot":"","sources":["../src/network-witness.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC;;;;;;;;GAQG;AACH,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,CAAC,MAAM,uBAAuB,GAAG,4BAA4B,CAAC;AACpE,MAAM,CAAC,MAAM,kCAAkC,GAAG,uCAAuC,CAAC;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,uBAAuB,IAAI,CAAC;AACrE,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,kBAAkB;IAClB,mBAAmB;IACnB,iBAAiB;CAClB,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,uBAAuB,CAAC;AAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAC9D,MAAM,OAAO,GAAG,oEAAoE,CAAC;AA8ErF,SAAS,eAAe,CAAC,KAAK;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,CAAC;IACvB,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC;IACzD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,GAAG,IAAI,IAAI,IAAI,MAAM,IAAI,MAAM,EAAE;QAAE,OAAO,GAAG,CAAC;IAC1G,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;AAChD,CAAC;AAED,SAAS,aAAa,CAAC,KAAK;IAC1B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC;AAED,SAAS,SAAS,CAAC,KAAK,EAAE,OAAO;IAC/B,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,cAAc,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,MAAM,CAAC,KAAK;IACnB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,MAAM,CAAC,KAAK;IACnB,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,eAAe,CAAC,KAAK,EAAE,QAAQ;IACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpG,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACxG,OAAO,KAAK,CAAC;IACf,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,GAAG;IACnB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,OAAO,yBAAyB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,YAAY,CAAC,IAAI;IACxB,OAAO,MAAM,CAAC,IAAI,CAAC,sBAAsB,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,QAAQ,CAAC,SAAS;IACzB,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IAClG,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAS;IAC5C,OAAO,UAAU,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,4BAA4B,CAAC,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE;IAC7E,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;WACvE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,IAAI;IACxB,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9G,OAAO,yBAAyB,CAAC;IACnC,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,uBAAuB;QAAE,OAAO,iBAAiB,CAAC;IAC3E,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAAE,OAAO,uBAAuB,CAAC;IAC5G,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;WACrE,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAAE,OAAO,0BAA0B,CAAC;IACzF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC;QACvC,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,aAAa,EAAE,YAAY;KAC9F,CAAC,CAAC;QAAE,OAAO,2BAA2B,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAC;IACjH,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,qBAAqB,CAAC;IAClG,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;QAAE,OAAO,eAAe,CAAC;IACrF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;QAAE,OAAO,mBAAmB,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC;QAAE,OAAO,uBAAuB,CAAC;IAC5E,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC;QAAE,OAAO,qBAAqB,CAAC;IACtH,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,KAAK,SAAS;WACtC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,GAAG,CAAC,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAC5H,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAAE,OAAO,0BAA0B,CAAC;IAClH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;QAAE,OAAO,uBAAuB,CAAC;IAC3E,IAAI,IAAI,CAAC,UAAU,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9F,OAAO,yBAAyB,CAAC;IACnC,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;QAAE,OAAO,uBAAuB,CAAC;IAC5F,IAAI,IAAI,CAAC,OAAO,CAAC,gBAAgB,KAAK,KAAK;QAAE,OAAO,2BAA2B,CAAC;IAChF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;WAC3F,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAAE,OAAO,qBAAqB,CAAC;IACjG,IAAI,CAAC;QAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,wBAAwB,CAAC;IAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,2BAA2B,CAAC,KAAK,EAAE,UAAU;IAC3D,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,KAAK,EAAE,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG;QACX,UAAU,EAAE,uBAAuB;QACnC,OAAO,EAAE;YACP,EAAE,EAAE,KAAK,EAAE,UAAU;YACrB,MAAM,EAAE,KAAK;YACb,gBAAgB,EAAE,KAAK,EAAE,gBAAgB;SAC1C;QACD,WAAW,EAAE;YACX,QAAQ,EAAE,KAAK,EAAE,QAAQ;YACzB,WAAW,EAAE,KAAK,EAAE,WAAW;YAC/B,KAAK,EAAE,KAAK,EAAE,KAAK;YACnB,SAAS,EAAE,KAAK,EAAE,SAAS;YAC3B,aAAa,EAAE,KAAK,EAAE,aAAa;YACnC,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,KAAK,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7E;QACD,UAAU,EAAE;YACV,aAAa,EAAE,KAAK,EAAE,aAAa;YACnC,GAAG,CAAC,KAAK,EAAE,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F;QACD,OAAO,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE;QACpC,WAAW,EAAE;YACX,qGAAqG;YACrG,2GAA2G;YAC3G,8GAA8G;YAC9G,yIAAyI;SAC1I;KACF,CAAC;IACF,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,OAAO;QAAE,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACvB,SAAS,EAAE,SAAS;YACpB,MAAM,EAAE,KAAK;YACb,gBAAgB,EAAE,eAAe;YACjC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;SACxF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,OAAO,CAAC,IAAI,EAAE,OAAO;IAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC;WACvC,GAAG,CAAC,UAAU,KAAK,OAAO,CAAC,EAAE;WAC7B,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;WAC7B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC;WACpC,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,IAAI,IAAI,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,SAAc,EACd,UAAuC,EAAE;IAEzC,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,SAAwC,EAAE,EAA+B,EAAE,CAAC,CAAC;QACzG,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,KAAK;QACf,MAAM;QACN,MAAM,EAAE;YACN,KAAK,EAAE,KAAK;YACZ,GAAG,EAAE,KAAK;YACV,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,KAAK;YACrB,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,KAAK;YACrB,GAAG,MAAM;SACV;KACF,CAAC,CAAC;IACH,IAAI,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC;eACtB,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YACnI,OAAO,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,OAAO;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,kBAAkB,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5G,OAAO,IAAI,CAAC,yBAAyB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,CAAC;QACD,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS;eACxC,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM;eAClD,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,gBAAgB,CAAC;eAC7C,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,EAAE,GAAG,CAAC,EAAE,CAAC;YAChE,OAAO,IAAI,CAAC,4BAA4B,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,sBAAsB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;eAClE,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YACnE,OAAO,IAAI,CAAC,yBAAyB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,OAAO,CAAC,oBAAoB,KAAK,SAAS;eACvC,IAAI,CAAC,WAAW,CAAC,aAAa,KAAK,OAAO,CAAC,oBAAoB,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC,wBAAwB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;YAC5F,OAAO,IAAI,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC5E,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAChG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC;eACvE,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC,8BAA8B,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QACjE,IAAI,UAAU,GAAG,GAAG,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC,yBAAyB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACjH,CAAC;QACD,IAAI,GAAG,GAAG,UAAU,GAAG,SAAS,GAAG,IAAI,EAAE,CAAC;YACxC,OAAO,IAAI,CAAC,mBAAmB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,cAAc,KAAK,SAAS,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC,2BAA2B,EAAE;gBACvC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,SAAS,CAAC;QACd,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,SAAS,CAAC,uBAAuB,CAAC,CAAC;YAC5D,SAAS,GAAG,MAAM,CAAC,eAAe,CAAC;gBACjC,GAAG,EAAE,QAAQ;gBACb,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,KAAK;aACd,CAAC,CAAC;YACH,IAAI,SAAS,CAAC,iBAAiB,KAAK,SAAS;gBAAE,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACpG,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,oBAAoB,EAAE;gBAChC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI;aACpF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC,mBAAmB,EAAE;gBAC/B,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;YACnE,OAAO,IAAI,CAAC,mBAAmB,EAAE;gBAC/B,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI;aACpF,CAAC,CAAC;QACL,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,IAAI;YACZ,gBAAgB,EAAE,cAAc;YAChC,SAAS,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE;YACjE,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,QAAQ;YACnC,aAAa,EAAE,IAAI,CAAC,WAAW,CAAC,aAAa;YAC7C,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK;YAC7B,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,WAAW;YACzC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE;YAC3B,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,gBAAgB;YAC/C,MAAM,EAAE;gBACN,KAAK,EAAE,IAAI;gBACX,GAAG,EAAE,IAAI;gBACT,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,IAAI;gBACpB,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,IAAI;aACrB;YACD,UAAU,EAAE,8EAA8E;SAC3F,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gCAAgC;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;IAC1B,OAAO;QACL,OAAO,EAAE,KAAK;QACd,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe;YAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvC,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,QAAQ,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;oBAClC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;gBAC9D,CAAC;gBACD,IAAI,QAAQ,GAAG,QAAQ,CAAC,QAAQ;oBAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;gBAC1F,IAAI,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBACnC,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;wBACxC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;oBACzD,CAAC;oBACD,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC1D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC;gBAC9D,CAAC;YACH,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;YACjF,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC1C,CAAC;QACD,QAAQ,KAAK,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;KACrG,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAQ,EAAE,EAClC,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,oBAAoB,GACrB;IACC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,QAAQ;QACX,kBAAkB,EAAE,kCAAkC;QACtD,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,sBAAsB,EAAE,oBAAoB,KAAK,IAAI;QACrD,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7F,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uCAAuC,CACrD,MAAW,EACX,UAA2C,EAAE;IAE7C,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,SAA8B,EAAE,EAAE,iBAAiB,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7F,QAAQ,EAAE,iBAAiB,KAAK,IAAI;QACpC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,KAAK;QACf,MAAM;QACN,GAAG,MAAM;KACV,CAAC,CAAC;IACH,IAAI,CAAC;QACH,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;eACnB,MAAM,CAAC,kBAAkB,KAAK,kCAAkC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACpD,CAAC;QAED,MAAM,MAAM,GAAG;YACb,kBAAkB,EAAE,kCAAkC;YACtD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;YACzC,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;YACzC,sBAAsB,EAAE,MAAM,CAAC,sBAAsB,KAAK,IAAI;SAC/D,CAAC;QACF,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,KAAK,IAAI;eAC7C,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;eAC/D,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC;eAC7D,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC;eAC5E,MAAM,CAAC,SAAS,KAAK,GAAG,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,gBAAgB,EAAE;eACvE,sBAAsB,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;eAC7C,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACzD,OAAO,IAAI,CACT,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,qCAAqC,EACrF,MAAM,EACN,iBAAiB,CAClB,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,iBAAiB,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,sBAAsB,IAAI,OAAO,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;YAC3E,OAAO,IAAI,CAAC,iCAAiC,EAAE,MAAM,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,OAAO,CAAC,uBAAuB,KAAK,SAAS,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;gBAAE,OAAO,IAAI,CAAC,8BAA8B,EAAE,MAAM,CAAC,CAAC;YAClG,IAAI,MAAM,CAAC,gBAAgB,KAAK,OAAO,CAAC,uBAAuB,EAAE,CAAC;gBAChE,OAAO,IAAI,CAAC,oCAAoC,EAAE,MAAM,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,oBAAoB,KAAK,SAAS;eACvC,MAAM,CAAC,aAAa,KAAK,OAAO,CAAC,oBAAoB,EAAE,CAAC;YAC7D,OAAO,IAAI,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;YAClF,OAAO,IAAI,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACxC,CAAC;QACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC5E,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;QAChG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC;eACvE,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;YACvE,OAAO,IAAI,CAAC,8BAA8B,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvD,IAAI,UAAU,GAAG,GAAG,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC;QACjG,IAAI,GAAG,GAAG,UAAU,GAAG,SAAS,GAAG,IAAI;YAAE,OAAO,IAAI,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;QAClF,OAAO;YACL,GAAG,MAAM;YACT,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,IAAI;SACb,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,SAAc,EACd,UAAuC,EAAE;IAEzC,MAAM,QAAQ,GAAG,6BAA6B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,OAAO,gBAAgB,CAAC,QAAQ,EAAE;YAChC,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,oBAAoB,EAAE,KAAK;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC;IACpC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU;WAC1C,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,mBAAmB,KAAK,IAAI,CAAC,EAAE,CAAC;QACxE,OAAO,gBAAgB,CAAC,QAAQ,EAAE;YAChC,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,iCAAiC;YACzC,oBAAoB,EAAE,KAAK;SAC5B,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACvG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACvF,OAAO,gBAAgB,CAAC,QAAQ,EAAE;gBAChC,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,wBAAwB;gBACrF,oBAAoB,EAAE,KAAK,CAAC,OAAO,KAAK,IAAI;aAC7C,CAAC,CAAC;QACL,CAAC;QACD,OAAO,gBAAgB,CAAC,QAAQ,EAAE;YAChC,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,IAAI;YACZ,oBAAoB,EAAE,KAAK,CAAC,OAAO,KAAK,IAAI;SAC7C,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,gBAAgB,CAAC,QAAQ,EAAE;YAChC,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,4BAA4B;YACpC,oBAAoB,EAAE,KAAK,CAAC,OAAO,KAAK,IAAI;SAC7C,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,eAAe;IACb,uBAAuB;IACvB,kCAAkC;IAClC,sBAAsB;IACtB,4BAA4B;IAC5B,oBAAoB;IACpB,2BAA2B;IAC3B,6BAA6B;IAC7B,6BAA6B;IAC7B,uCAAuC;IACvC,gCAAgC;CACjC,CAAC"}

package/dist/protocol-state.d.ts

@@ -0,0 +1,141 @@
+/**
+ * EP Protocol-State — brand-typed handshake lifecycle (GAP-4).
+ *
+ * Purpose: make an ILLEGAL protocol-state transition a COMPILE error, not a
+ * runtime failure. Each lifecycle state is a distinct nominal (branded) type,
+ * and every transition is a function whose parameter type admits ONLY its legal
+ * predecessor state(s) and whose return type is exactly its legal successor.
+ * Passing the wrong state to a transition (e.g. `consume(initiated)` — consuming
+ * before verification) is rejected by `tsc` before the code ever runs.
+ *
+ * ── Source of truth ─────────────────────────────────────────────────────────
+ * The state graph mirrors the formally-verified model, not a toy:
+ *   formal/ep_handshake.tla   — abstract lifecycle + transition guards
+ *   lib/handshake/invariants.js (HANDSHAKE_STATUSES) — the 6 persisted statuses
+ *   lib/handshake/create.js    — status:'initiated'          (T1 Initiate)
+ *   lib/handshake/present.js   — initiated → pending_verification (T2 Present)
+ *   lib/handshake/verify.js    — outcome accepted/rejected/expired (T3/T4/T7)
+ *   lib/handshake/consume.js   — verified → consumed            (T5 Consume)
+ *   lib/handshake/finalize.js  — → revoked                       (T6 Revoke)
+ *
+ * ── States (TLA `state` domain) ─────────────────────────────────────────────
+ *   none | initiated | pending_verification | verified
+ *   | rejected | expired | revoked | consumed
+ *
+ * Two of these are ABSTRACT lifecycle states, not DB status values:
+ *   - `none`     : pre-initiation. There is no persisted row yet.
+ *   - `consumed` : a verified handshake that has an entry in the
+ *                  `handshake_consumptions` table. Consumption does NOT rewrite
+ *                  `handshakes.status` (it stays 'verified'); it is recorded
+ *                  atomically in a side table by `consume_handshake_atomic`.
+ *                  The TLA model abstracts (status='verified' ∧ h∈consumptions)
+ *                  as the distinct terminal state `consumed`. This module keeps
+ *                  that abstraction so "consume-once" and "no-verify-after-consume"
+ *                  are expressible in the type system.
+ *
+ * The other six are exactly `HANDSHAKE_STATUSES` from invariants.js and carry a
+ * `dbStatus` field equal to the persisted `handshakes.status` value.
+ *
+ * ── Legal transition graph (the ONLY edges; everything else is a type error) ─
+ *   genesis()                                        -> None
+ *   initiate(None)                                   -> Initiated
+ *   present(Initiated)                               -> PendingVerification
+ *   verifyAccept(PendingVerification)                -> Verified
+ *   verifyReject(PendingVerification)                -> Rejected      (terminal)
+ *   consume(Verified)                                -> Consumed      (terminal)
+ *   revoke(Initiated|PendingVerification|Verified)   -> Revoked       (terminal)
+ *   expire(Initiated|PendingVerification|Verified)   -> Expired       (terminal)
+ *
+ * Terminal states (Rejected, Expired, Revoked, Consumed) are accepted by NO
+ * transition function, so any move out of a terminal state is a compile error.
+ *
+ * Branding note: each state is nominally distinguished by a private, readonly
+ * string-literal `tag`. Distinct tags make each state a distinct type, so no
+ * legal predecessor of one transition is accidentally assignable to another.
+ * The runtime value literally is `{ tag, dbStatus }`; there is no phantom-only
+ * field, so no casts are needed and the runtime and the types cannot drift.
+ *
+ * This module is intentionally free of I/O. It is the compile-time spine that
+ * the runtime state machine (verify.js / consume.js / finalize.js) is expected
+ * to obey; it does not replace those code paths' own DB-level guards.
+ *
+ * @license Apache-2.0
+ */
+/**
+ * The six persisted `handshakes.status` values (single source: invariants.js
+ * HANDSHAKE_STATUSES). `none` and `consumed` are abstract and have no row status.
+ */
+export type DbHandshakeStatus = 'initiated' | 'pending_verification' | 'verified' | 'rejected' | 'expired' | 'revoked';
+/** Pre-initiation. No persisted handshake exists yet. */
+export type None = {
+    readonly tag: 'none';
+    readonly dbStatus: null;
+};
+/** A handshake row was created (T1). DB status 'initiated'. */
+export type Initiated = {
+    readonly tag: 'initiated';
+    readonly dbStatus: 'initiated';
+};
+/** A presentation was added and verification is pending (T2). DB 'pending_verification'. */
+export type PendingVerification = {
+    readonly tag: 'pending_verification';
+    readonly dbStatus: 'pending_verification';
+};
+/** Verification accepted (T3). DB 'verified'. Only state from which consume is legal. */
+export type Verified = {
+    readonly tag: 'verified';
+    readonly dbStatus: 'verified';
+};
+/** Verification rejected (T4). Terminal. DB 'rejected'. */
+export type Rejected = {
+    readonly tag: 'rejected';
+    readonly dbStatus: 'rejected';
+};
+/** Binding expired (T7). Terminal. DB 'expired'. */
+export type Expired = {
+    readonly tag: 'expired';
+    readonly dbStatus: 'expired';
+};
+/** Revoked by a party (T6). Terminal. DB 'revoked'. */
+export type Revoked = {
+    readonly tag: 'revoked';
+    readonly dbStatus: 'revoked';
+};
+/**
+ * Consumed exactly once (T5). Terminal abstract state; the row keeps DB status
+ * 'verified' and gains a `handshake_consumptions` record.
+ */
+export type Consumed = {
+    readonly tag: 'consumed';
+    readonly dbStatus: 'verified';
+};
+/** Any state in the lifecycle. */
+export type ProtocolState = None | Initiated | PendingVerification | Verified | Rejected | Expired | Revoked | Consumed;
+/** States a still-active handshake can be revoked or expired from (T6/T7 domain). */
+export type Active = Initiated | PendingVerification | Verified;
+/** T0: genesis — the empty pre-initiation state. */
+export declare function genesis(): None;
+/** T1 Initiate: none -> initiated. Maps to create.js status:'initiated'. */
+export declare function initiate(_s: None): Initiated;
+/** T2 Present: initiated -> pending_verification. Maps to present.js. */
+export declare function present(_s: Initiated): PendingVerification;
+/** T3 VerifyAccept: pending_verification -> verified. verify.js outcome='accepted'. */
+export declare function verifyAccept(_s: PendingVerification): Verified;
+/** T4 VerifyReject: pending_verification -> rejected (terminal). verify.js outcome='rejected'. */
+export declare function verifyReject(_s: PendingVerification): Rejected;
+/**
+ * T5 Consume: verified -> consumed (terminal). consume.js requires 'verified' state
+ * and enforces consume-once at the DB level.
+ */
+export declare function consume(_s: Verified): Consumed;
+/**
+ * T6 Revoke: {initiated|pending_verification|verified} -> revoked (terminal).
+ * finalize.js. Legal only from an active (pre-terminal) state.
+ */
+export declare function revoke(_s: Active): Revoked;
+/**
+ * T7 Expire: {initiated|pending_verification|verified} -> expired (terminal).
+ * verify.js outcome='expired'. Legal only from an active (pre-terminal) state.
+ */
+export declare function expire(_s: Active): Expired;
+//# sourceMappingURL=protocol-state.d.ts.map

package/dist/protocol-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-state.d.ts","sourceRoot":"","sources":["../src/protocol-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAEH;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,sBAAsB,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAEvH,yDAAyD;AACzD,MAAM,MAAM,IAAI,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,CAAC;AACrE,+DAA+D;AAC/D,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,CAAC;AACtF,4FAA4F;AAC5F,MAAM,MAAM,mBAAmB,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,sBAAsB,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,CAAC;AACtH,yFAAyF;AACzF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,CAAC;AACnF,2DAA2D;AAC3D,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,CAAC;AACnF,oDAAoD;AACpD,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,CAAC;AAChF,uDAAuD;AACvD,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;CAAE,CAAC;AAChF;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAA;CAAE,CAAC;AAEnF,kCAAkC;AAClC,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,SAAS,GAAG,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC;AACxH,qFAAqF;AACrF,MAAM,MAAM,MAAM,GAAG,SAAS,GAAG,mBAAmB,GAAG,QAAQ,CAAC;AAEhE,oDAAoD;AACpD,wBAAgB,OAAO,IAAI,IAAI,CAE9B;AAED,4EAA4E;AAC5E,wBAAgB,QAAQ,CAAC,EAAE,EAAE,IAAI,GAAG,SAAS,CAE5C;AAED,yEAAyE;AACzE,wBAAgB,OAAO,CAAC,EAAE,EAAE,SAAS,GAAG,mBAAmB,CAE1D;AAED,uFAAuF;AACvF,wBAAgB,YAAY,CAAC,EAAE,EAAE,mBAAmB,GAAG,QAAQ,CAE9D;AAED,kGAAkG;AAClG,wBAAgB,YAAY,CAAC,EAAE,EAAE,mBAAmB,GAAG,QAAQ,CAE9D;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAC,EAAE,EAAE,QAAQ,GAAG,QAAQ,CAE9C;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAE1C;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAE1C"}

package/dist/protocol-state.js

@@ -0,0 +1,106 @@
+// @ts-nocheck
+/**
+ * EP Protocol-State — brand-typed handshake lifecycle (GAP-4).
+ *
+ * Purpose: make an ILLEGAL protocol-state transition a COMPILE error, not a
+ * runtime failure. Each lifecycle state is a distinct nominal (branded) type,
+ * and every transition is a function whose parameter type admits ONLY its legal
+ * predecessor state(s) and whose return type is exactly its legal successor.
+ * Passing the wrong state to a transition (e.g. `consume(initiated)` — consuming
+ * before verification) is rejected by `tsc` before the code ever runs.
+ *
+ * ── Source of truth ─────────────────────────────────────────────────────────
+ * The state graph mirrors the formally-verified model, not a toy:
+ *   formal/ep_handshake.tla   — abstract lifecycle + transition guards
+ *   lib/handshake/invariants.js (HANDSHAKE_STATUSES) — the 6 persisted statuses
+ *   lib/handshake/create.js    — status:'initiated'          (T1 Initiate)
+ *   lib/handshake/present.js   — initiated → pending_verification (T2 Present)
+ *   lib/handshake/verify.js    — outcome accepted/rejected/expired (T3/T4/T7)
+ *   lib/handshake/consume.js   — verified → consumed            (T5 Consume)
+ *   lib/handshake/finalize.js  — → revoked                       (T6 Revoke)
+ *
+ * ── States (TLA `state` domain) ─────────────────────────────────────────────
+ *   none | initiated | pending_verification | verified
+ *   | rejected | expired | revoked | consumed
+ *
+ * Two of these are ABSTRACT lifecycle states, not DB status values:
+ *   - `none`     : pre-initiation. There is no persisted row yet.
+ *   - `consumed` : a verified handshake that has an entry in the
+ *                  `handshake_consumptions` table. Consumption does NOT rewrite
+ *                  `handshakes.status` (it stays 'verified'); it is recorded
+ *                  atomically in a side table by `consume_handshake_atomic`.
+ *                  The TLA model abstracts (status='verified' ∧ h∈consumptions)
+ *                  as the distinct terminal state `consumed`. This module keeps
+ *                  that abstraction so "consume-once" and "no-verify-after-consume"
+ *                  are expressible in the type system.
+ *
+ * The other six are exactly `HANDSHAKE_STATUSES` from invariants.js and carry a
+ * `dbStatus` field equal to the persisted `handshakes.status` value.
+ *
+ * ── Legal transition graph (the ONLY edges; everything else is a type error) ─
+ *   genesis()                                        -> None
+ *   initiate(None)                                   -> Initiated
+ *   present(Initiated)                               -> PendingVerification
+ *   verifyAccept(PendingVerification)                -> Verified
+ *   verifyReject(PendingVerification)                -> Rejected      (terminal)
+ *   consume(Verified)                                -> Consumed      (terminal)
+ *   revoke(Initiated|PendingVerification|Verified)   -> Revoked       (terminal)
+ *   expire(Initiated|PendingVerification|Verified)   -> Expired       (terminal)
+ *
+ * Terminal states (Rejected, Expired, Revoked, Consumed) are accepted by NO
+ * transition function, so any move out of a terminal state is a compile error.
+ *
+ * Branding note: each state is nominally distinguished by a private, readonly
+ * string-literal `tag`. Distinct tags make each state a distinct type, so no
+ * legal predecessor of one transition is accidentally assignable to another.
+ * The runtime value literally is `{ tag, dbStatus }`; there is no phantom-only
+ * field, so no casts are needed and the runtime and the types cannot drift.
+ *
+ * This module is intentionally free of I/O. It is the compile-time spine that
+ * the runtime state machine (verify.js / consume.js / finalize.js) is expected
+ * to obey; it does not replace those code paths' own DB-level guards.
+ *
+ * @license Apache-2.0
+ */
+/** T0: genesis — the empty pre-initiation state. */
+export function genesis() {
+    return { tag: 'none', dbStatus: null };
+}
+/** T1 Initiate: none -> initiated. Maps to create.js status:'initiated'. */
+export function initiate(_s) {
+    return { tag: 'initiated', dbStatus: 'initiated' };
+}
+/** T2 Present: initiated -> pending_verification. Maps to present.js. */
+export function present(_s) {
+    return { tag: 'pending_verification', dbStatus: 'pending_verification' };
+}
+/** T3 VerifyAccept: pending_verification -> verified. verify.js outcome='accepted'. */
+export function verifyAccept(_s) {
+    return { tag: 'verified', dbStatus: 'verified' };
+}
+/** T4 VerifyReject: pending_verification -> rejected (terminal). verify.js outcome='rejected'. */
+export function verifyReject(_s) {
+    return { tag: 'rejected', dbStatus: 'rejected' };
+}
+/**
+ * T5 Consume: verified -> consumed (terminal). consume.js requires 'verified' state
+ * and enforces consume-once at the DB level.
+ */
+export function consume(_s) {
+    return { tag: 'consumed', dbStatus: 'verified' };
+}
+/**
+ * T6 Revoke: {initiated|pending_verification|verified} -> revoked (terminal).
+ * finalize.js. Legal only from an active (pre-terminal) state.
+ */
+export function revoke(_s) {
+    return { tag: 'revoked', dbStatus: 'revoked' };
+}
+/**
+ * T7 Expire: {initiated|pending_verification|verified} -> expired (terminal).
+ * verify.js outcome='expired'. Legal only from an active (pre-terminal) state.
+ */
+export function expire(_s) {
+    return { tag: 'expired', dbStatus: 'expired' };
+}
+//# sourceMappingURL=protocol-state.js.map

package/dist/protocol-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-state.js","sourceRoot":"","sources":["../src/protocol-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAiCH,oDAAoD;AACpD,MAAM,UAAU,OAAO;IACrB,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,QAAQ,CAAC,EAAQ;IAC/B,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACrD,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,OAAO,CAAC,EAAa;IACnC,OAAO,EAAE,GAAG,EAAE,sBAAsB,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC;AAC3E,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,YAAY,CAAC,EAAuB;IAClD,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACnD,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,YAAY,CAAC,EAAuB;IAClD,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,EAAY;IAClC,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,EAAU;IAC/B,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,EAAU;IAC/B,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjD,CAAC"}

package/dist/receipt-program.d.ts

@@ -0,0 +1,59 @@
+export declare const RECEIPT_PROGRAM_VERSION = "EP-RECEIPT-PROGRAM-v1";
+export declare const RECEIPT_PROGRAM_CERTIFICATE_VERSION = "EP-RECEIPT-PROGRAM-CERTIFICATE-v1";
+export declare const RECEIPT_PROGRAM_SIGNATURE_ALGORITHM = "Ed25519";
+/**
+ * Build a receipt-program kernel over an already configured Gate.
+ * Trust configuration is constructor-pinned and cannot be supplied per run.
+ *
+ * options.gate: configured EMILIA Gate
+ * options.resolveCaid: synchronous pinned CAID resolver, (action) => string|object
+ * options.operationIdField: dot-path to the stable operation id in observed action
+ * options.certificatePrivateKey: test/demo-only Ed25519 operator key
+ * options.certificateSigner: external KMS/HSM signer
+ * options.certificateContext: pinned issuer, tenant, environment, audience, and key id
+ * options.projectResult: pinned disclosure projection, (result) => any|Promise<any>
+ * options.effectTimeoutMs: provider deadline in milliseconds (default 30000)
+ * options.allowEphemeralState: explicit test/demo opt-in (default false)
+ * options.now: number|(() => number), default Date.now
+ */
+export declare function createReceiptProgramKernel({ gate, resolveCaid, operationIdField, certificatePrivateKey, certificateSigner, certificateContext, projectResult, effectTimeoutMs, allowEphemeralState, now, }?: any): Readonly<{
+    version: string;
+    signer_public_key: any;
+    certificate_context: any;
+    /**
+     * Execute one consequential receipt instruction through Gate.
+     * The effect MUST return a bounded canonical-JSON evidence projection, not
+     * a raw provider object. A projection failure occurs after provider entry
+     * and is therefore committed as indeterminate.
+     */
+    run(request: any | undefined, effect: any): Promise<any>;
+    /**
+     * Explicit crash-recovery path. It scans the durable evidence history only
+     * when requested and returns every independently verified certificate for
+     * one program digest; it never guesses which attempt a caller intended.
+     */
+    recoverCertificates(programDigest: any): Promise<any>;
+}>;
+/**
+ * Verify the certificate's operator signature, content addresses, program
+ * binding, and Gate evidence linkage. This proves exact certificate integrity
+ * under a pinned operator key; it does not prove an external provider told the
+ * truth or replace verification of the referenced receipt/capability artifacts.
+ *
+ * options.trustedCertificateKeys?: Record<string, string>
+ * options.resolveCaid?: ((action: any) => any)|null
+ * options.expectedContext?: object|null
+ * options.certificateEvidence?: any
+ * options.verifyCertificateInclusion?: (((record: any, expectation: any) => any)|null)
+ * options.requireAtomicCertificateEvidence?: boolean
+ */
+export declare function verifyReceiptProgramCertificate(certificate: any, { trustedCertificateKeys, resolveCaid, expectedContext, certificateEvidence, verifyCertificateInclusion, requireAtomicCertificateEvidence, }?: any): any;
+declare const _default: {
+    RECEIPT_PROGRAM_VERSION: string;
+    RECEIPT_PROGRAM_CERTIFICATE_VERSION: string;
+    RECEIPT_PROGRAM_SIGNATURE_ALGORITHM: string;
+    createReceiptProgramKernel: typeof createReceiptProgramKernel;
+    verifyReceiptProgramCertificate: typeof verifyReceiptProgramCertificate;
+};
+export default _default;
+//# sourceMappingURL=receipt-program.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"receipt-program.d.ts","sourceRoot":"","sources":["../src/receipt-program.ts"],"names":[],"mappings":"AAwBA,eAAO,MAAM,uBAAuB,0BAA0B,CAAC;AAC/D,eAAO,MAAM,mCAAmC,sCAAsC,CAAC;AACvF,eAAO,MAAM,mCAAmC,YAAY,CAAC;AAsS7D;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,0BAA0B,CAAC,EACzC,IAAI,EACJ,WAAW,EACX,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,aAAoB,EACpB,eAAwB,EACxB,mBAA2B,EAC3B,GAAc,GACf,GAAE,GAAQ;;;;IAoGP;;;;;OAKG;iBACgB,GAAG,sBAAe,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IAiSvD;;;;OAIG;uCACsC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;GAyC9D;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,+BAA+B,CAAC,WAAW,EAAE,GAAG,EAAE,EAChE,sBAA2B,EAC3B,WAAkB,EAClB,eAAsB,EACtB,mBAA0B,EAC1B,0BAAiC,EACjC,gCAAwC,GACzC,GAAE,GAAQ,GAAG,GAAG,CA2RhB;;;;;;;;AAED,wBAME"}