@earendil-works/chord 1.4.0 → 1.5.0

package/dist/watch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"watch.js","sourceRoot":"","sources":["../src/watch.ts"],"names":[],"mappings":"AAAA,4GAA4G;AAC5G,OAAO,EAAgB,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAW,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA8FvD,MAAM,OAAO,GAAa,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC9C,MAAM,OAAO,GAAa,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC9C,MAAM,KAAK,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAK1C;;;;;GAKG;AACH,MAAe,cAAc;IAC5B,OAAO,CAA2B;IAClC,OAAO,CAAyC;IACvC,OAAO,GAAG,OAAO,CAAC,aAAa,EAAY,CAAC;IACrD,MAAM,CAAI;IACV,SAAS,CAA0B;IACnC,QAAQ,GAAG,KAAK,CAAC;IACjB,UAAU,GAAG,KAAK,CAAC;IACnB,QAAQ,GAAG,KAAK,CAAC;IACjB,qHAAqH;IACrH,OAAO,GAAG,KAAK,CAAC;IAChB,mCAAmC;IACnC,IAAI,CAAuB;IAC3B,YAAY,CAA0B;IACtC,cAAc,CAA2B;IAEzC,YAAY,KAAQ,EAAE,MAAkB,EAAE,MAAgC;QACzE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,IAAI,MAAM;QACT,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,QAAqB;QAC1B,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACjE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,SAAS,EAAE,CAAC;IAClB,CAAC;IAED,IAAI;QACH,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7B,CAAC;IAED,oEAAoE;IACpE,YAAY,CAAC,MAAmB;QAC/B,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QACpC,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC;QAC3B,IAAI,CAAC,cAAc,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACzC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,MAAM,CAAC,OAAO;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;IAED,oEAAoE;IACpE,KAAK;QACJ,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED;;;OAGG;IACH,GAAG,CAAC,GAAa;QAChB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IAED;;;;;OAKG;IACH,gBAAgB;QACf,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO;QACpD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;YAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACjF,CAAC;IAED,4FAA4F;IAC5F,IAAc,IAAI;QACjB,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;IACjD,CAAC;IAWD,uEAAuE;IAC7D,OAAO;QAChB,IAAI,IAAI,CAAC,QAAQ;YAAE,IAAI,CAAC,SAAS,EAAE,CAAC;IACrC,CAAC;IAED,SAAS;QACR,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QACxE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACvB,cAAc,CAAC,GAAG,EAAE;YACnB,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;YACxB,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,CAAC,CAAC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,MAAM;QACX,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,OAAO;QACvE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC;YACJ,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;gBAChC,IAAI,QAAQ,KAAK,SAAS;oBAAE,MAAM;gBAClC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC;gBACzC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;oBAChC,IAAI,IAAI,CAAC,OAAO;wBAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBACzC,MAAM;gBACP,CAAC;gBACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBACzB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;gBACpD,IAAI,CAAC;oBACJ,MAAM,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC;gBACxD,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC7B,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;wBACtB,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACpE,CAAC;oBACD,MAAM;gBACP,CAAC;YACF,CAAC;QACF,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACvB,CAAC;IACF,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,GAAa;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO;QACpC,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QACzB,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5G,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,MAAM,EAAE,EAAE,CAAC;QACX,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;CACD;AAED,SAAS,OAAO,CAAC,KAAc;IAC9B,IAAI,KAAK,YAAY,KAAK;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,CAAC;QACJ,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACjC,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACzD,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,KAAS,SAAQ,cAA+B;IACnD,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;IACjC;;;OAGG;IACH,KAAK,CAAgC;IACrC,yGAAyG;IACzG,YAAY,CAAgB;IAC5B,cAAc,CAAsB;IACpC,wCAAwC;IACxC,QAAQ,GAAG,KAAK,CAAC;IACjB,6DAA6D;IAC7D,QAAQ,CAAyB;IACjC,6GAA6G;IAC7G,QAAQ,GAAG,KAAK,CAAC;IAEjB;;;OAGG;IACH,OAAO,CAAC,IAAkB,EAAE,OAAgB;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1B,OAAO;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC3B,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC;QAC/B,IAAI,CAAC,cAAc,GAAG,OAAO,CAAC;QAC9B,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvC,IAAI,CAAC,OAAO,EAAE,CAAC;IAChB,CAAC;IAED;;;OAGG;IACH,IAAI,CAAC,KAAc,EAAE,OAAgB;QACpC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IAED,KAAK,CAAC,IAAgB,EAAE,OAAgB;QACvC,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,cAAc,GAAG,OAAO,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,OAAO,EAAE,CAAC;IAChB,CAAC;IAED,IAAc,cAAc;QAC3B,OAAO,IAAI,CAAC,cAAc,CAAC;IAC5B,CAAC;IAES,IAAI;QACb,qGAAqG;QACrG,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,uDAAuD;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAiB,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,kEAAkE;QAClE,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,+GAA+G;QAC/G,MAAM,GAAG,GAAkB,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,KAAkB,CAAC,CAAC,CAAC;QAC1F,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC/C,CAAC;IAED,8GAA8G;IAC9G,iBAAiB;QAChB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;YAC1B,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAiB,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;IAC5E,CAAC;IAES,OAAO;QAChB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,cAAc,GAAG,SAAS,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;QACtB,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC;IACvB,CAAC;CACD;AAKD,4EAA4E;AAC5E,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAEtC;;;;GAIG;AACH,MAAM,OAAO,WAAe,SAAQ,cAAqC;IACxE;;;;;OAKG;IACM,QAAQ,GAAmC,EAAE,CAAC;IACvD,KAAK,GAAG,CAAC,CAAC;IACV,QAAQ,CAAwB;IAChC,oFAAoF;IACpF,QAAQ,CAAyB;IACjC,eAAe,CAAsB;IAErC,YAAY,KAAQ,EAAE,MAAkB,EAAE,MAAgC,EAAE,OAAiB;QAC5F,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,4EAA4E;IAC5E,OAAO,CAAC,KAAQ,EAAE,OAAgB;QACjC,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;QACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,yBAAyB,EAAE,CAAC;YACvE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC;aAAM,CAAC;YACP,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;IAChB,CAAC;IAED;;;OAGG;IACH,IAAI,CAAC,KAAc,EAAE,OAAgB;QACpC,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC;QAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;IAChB,CAAC;IAED,IAAc,cAAc;QAC3B,sEAAsE;QACtE,OAAO,IAAI,CAAC,eAAe,IAAK,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAyB,CAAC;IACvF,CAAC;IAES,IAAI;QACb,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;YAC1B,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;YACjC,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,qCAAqC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAM,CAAC;QACjC,IAAI,IAAI,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACjC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;YACnB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAChB,CAAC;aAAM,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,yBAAyB,EAAE,CAAC;YACtD,+GAA+G;YAC/G,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;YAChC,OAAO,CAAC,MAAM,IAAI,IAAI,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAChB,CAAC;aAAM,CAAC;YACP,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;YAC1B,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC;YAC9B,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IAES,OAAO;QAChB,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACf,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,eAAe,GAAG,SAAS,CAAC;IAClC,CAAC;CACD","sourcesContent":["// Watch handles: the watch types and the one implementation of their lifecycle, for JSON and native values.\nimport { type Context, withoutAbortSignal } from \"./context/index.ts\";\nimport { type Op, PendingOps } from \"./delta/index.ts\";\nimport type { JsonValue } from \"./json.ts\";\n\n/**\n * Terminal result of one watch, tagged by `kind`. A watch ends only for good; a failure its source recovers from is a\n * `failed` call (`WatchCall`), and the watch stays open.\n *\n * - `stopped`: `stop()` was called.\n * - `aborted`: the context the watch was acquired with was aborted.\n * - `ended`: the source closed (its owner ended or closed).\n * - `listener_error`: the listener threw or rejected with `error`.\n * - `failed`: the source failed for good with `error`.\n */\nexport type WatchEnd =\n\t| { readonly kind: \"stopped\" | \"aborted\" | \"ended\" }\n\t| { readonly kind: \"listener_error\"; readonly error: Error }\n\t| { readonly kind: \"failed\"; readonly error: unknown };\n\n/**\n * One call of a JSON watch's listener, and one frame a source hands its watch, tagged by `kind`:\n *\n * - `value`: the newest value, the ops that turn the previous value into it, and whether the document the watch follows\n *   was retired since the previous value call. A retirement does not end the watch: `value` is then what the address\n *   shows after it (the source decides; a Durable document keeps the last value the watch was given, with no ops), and a\n *   document created there later arrives as `[[\"r\", value]]`, possibly in the same call.\n * - `failed`: the source cannot compute its value now, with `error`; the watch stays open, and the next value arrives as\n *   `[[\"r\", value]]`. `WatchHandle.value` keeps the last value.\n *\n * Plain data: the frame's context is the listener's second argument, never part of the call.\n */\nexport type WatchCall<T> =\n\t| { readonly kind: \"value\"; readonly value: T; readonly ops: readonly Op[]; readonly retired: boolean }\n\t| { readonly kind: \"failed\"; readonly error: unknown };\n\n/** One call of a native watch's listener: the new value, or a failure its source may recover from, as in `WatchCall`. */\nexport type NativeWatchCall<T> =\n\t| { readonly kind: \"value\"; readonly value: T }\n\t| { readonly kind: \"failed\"; readonly error: unknown };\n\n/**\n * Serialized observation of an immutable value: one listener call at a time; changes made meanwhile arrive folded into\n * the next call.\n */\nexport interface WatchHandle<T> {\n\t/** Acquisition revision before start; latest delivered immutable revision afterward (a `failed` call keeps it). */\n\treadonly value: T;\n\t/** Install the sole asynchronous listener. Never invokes it inline. */\n\tstart(listener: (call: WatchCall<T>, context: Context) => Promise<void>): void;\n\t/** Idempotently stop future callbacks and return this watch's terminal result. */\n\tstop(): Promise<WatchEnd>;\n\t/** Settle when the watch terminates; an already-running callback remains caller-owned. */\n\treadonly closed: Promise<WatchEnd>;\n}\n\n/**\n * A value that changes and can be watched: documents, derives, members of references. Values are immutable by\n * convention (JSON for state); each watch starts at the current value and then gets the changes, folded while its\n * listener is busy.\n */\nexport interface Watchable<T> {\n\t/** The current value. */\n\treadonly value: T;\n\t/** A watch holding the current value, then its changes; aborting the context ends it. */\n\twatch(context: Context): Promise<WatchHandle<T>>;\n}\n\n/**\n * An in-process value that changes and can be watched (it may hold anything, errors and functions included): a change\n * is a new value by identity, delivered without ops.\n */\nexport interface NativeWatchable<T> {\n\t/** The current value. */\n\treadonly value: T;\n\t/** A watch holding the current value, then one frame per new value; aborting the context ends it. */\n\twatch(context: Context): Promise<NativeWatchHandle<T>>;\n}\n\n/**\n * Serialized observation of an in-process value: as `WatchHandle`, but each new value is its own call, in order, without\n * ops.\n */\nexport interface NativeWatchHandle<T> {\n\t/** Acquisition value before start; latest delivered value afterward (a `failed` call keeps it). */\n\treadonly value: T;\n\t/** Install the sole asynchronous listener. Never invokes it inline. */\n\tstart(listener: (call: NativeWatchCall<T>, context: Context) => Promise<void>): void;\n\t/** Idempotently stop future callbacks and return this watch's terminal result. */\n\tstop(): Promise<WatchEnd>;\n\t/** Settle when the watch terminates; an already-running callback remains caller-owned. */\n\treadonly closed: Promise<WatchEnd>;\n}\n\ntype Listener<C> = (call: C, context: Context) => Promise<void>;\n\nconst STOPPED: WatchEnd = { kind: \"stopped\" };\nconst ABORTED: WatchEnd = { kind: \"aborted\" };\nconst ENDED: WatchEnd = { kind: \"ended\" };\n\n/** A failure call, as both call types have it. */\ntype FailedCall = { readonly kind: \"failed\"; readonly error: unknown };\n\n/**\n * The lifecycle both handles share: serialized delivery and termination. A source feeds it and ends it explicitly;\n * termination drops every reference the watch holds into its source, so a stopped watch that is still referenced keeps\n * nothing but its last value alive. Subclasses keep what is pending, each call apart from its frame's context, so the\n * call a listener gets carries nothing but its data.\n */\nabstract class WatchLifecycle<T, C extends { readonly kind: \"value\"; readonly value: T } | FailedCall> {\n\t#detach: (() => void) | undefined;\n\t#report: ((error: unknown) => void) | undefined;\n\treadonly #closed = Promise.withResolvers<WatchEnd>();\n\t#value: T;\n\t#listener: Listener<C> | undefined;\n\t#started = false;\n\t#scheduled = false;\n\t#running = false;\n\t/** Set by `endAfterDelivery()`: the source sends nothing more; the watch ends `ended` once it delivered the rest. */\n\t#ending = false;\n\t/** Set once, by `#terminate()`. */\n\t#end: WatchEnd | undefined;\n\t#abortSignal: AbortSignal | undefined;\n\t#abortListener: (() => void) | undefined;\n\n\tconstructor(value: T, detach: () => void, report: (error: unknown) => void) {\n\t\tthis.#value = value;\n\t\tthis.#detach = detach;\n\t\tthis.#report = report;\n\t}\n\n\tget value(): T {\n\t\treturn this.#value;\n\t}\n\n\tget closed(): Promise<WatchEnd> {\n\t\treturn this.#closed.promise;\n\t}\n\n\tstart(listener: Listener<C>): void {\n\t\tif (this.#started) throw new Error(\"Watch is already started\");\n\t\tif (this.#end !== undefined) throw new Error(\"Watch is stopped\");\n\t\tthis.#started = true;\n\t\tthis.#listener = listener;\n\t\tthis.#schedule();\n\t}\n\n\tstop(): Promise<WatchEnd> {\n\t\tthis.#terminate(STOPPED);\n\t\treturn this.#closed.promise;\n\t}\n\n\t/** End the watch `aborted` when `signal` aborts; installed once. */\n\tobserveAbort(signal: AbortSignal): void {\n\t\tif (this.#abortSignal !== undefined) throw new Error(\"Watch abort is already installed\");\n\t\tif (this.#end !== undefined) return;\n\t\tthis.#abortSignal = signal;\n\t\tthis.#abortListener = () => this.abort();\n\t\tsignal.addEventListener(\"abort\", this.#abortListener, { once: true });\n\t\tif (signal.aborted) this.abort();\n\t}\n\n\t/** End the watch `aborted`: its acquisition context was aborted. */\n\tabort(): void {\n\t\tthis.#terminate(ABORTED);\n\t}\n\n\t/**\n\t * End the watch with `end` at once, dropping what is pending: the source closed (`ended`), or failed for good\n\t * (`failed`). A failure the source may recover from is a `failed` call instead (`fail()`).\n\t */\n\tend(end: WatchEnd): void {\n\t\tthis.#terminate(end);\n\t}\n\n\t/**\n\t * The source sends nothing more after its last frames, such as a retirement: take no more frames, deliver what is\n\t * pending, then end `ended`, after the running call returns, if one runs. Until then the watch stays attached, so\n\t * `end()`, `stop()`, an abort, and a throwing listener still end it first; a watch never started keeps what is\n\t * pending until one of them or `start()`.\n\t */\n\tendAfterDelivery(): void {\n\t\tif (this.#end !== undefined || this.#ending) return;\n\t\tthis.#ending = true;\n\t\tif (!this.#running && this.pendingContext === undefined) this.#terminate(ENDED);\n\t}\n\n\t/** Whether the watch still takes frames: it has not ended, and its source has not ended. */\n\tprotected get open(): boolean {\n\t\treturn this.#end === undefined && !this.#ending;\n\t}\n\n\t/** The context of the newest frame the next call covers, or undefined when nothing is pending. */\n\tprotected abstract get pendingContext(): Context | undefined;\n\n\t/** Take the next call; called only while something is pending. */\n\tprotected abstract next(): C;\n\n\t/** Drop everything pending and every reference into the source; called once, on termination. */\n\tprotected abstract release(): void;\n\n\t/** Something became pending: deliver it once started, never inline. */\n\tprotected pending(): void {\n\t\tif (this.#started) this.#schedule();\n\t}\n\n\t#schedule(): void {\n\t\tif (this.#scheduled || this.#running || this.#end !== undefined) return;\n\t\tthis.#scheduled = true;\n\t\tqueueMicrotask(() => {\n\t\t\tthis.#scheduled = false;\n\t\t\tvoid this.#drain();\n\t\t});\n\t}\n\n\t/**\n\t * Deliver until nothing is pending; what arrives during a call is taken after it returns. A watch whose source ended\n\t * ends once it delivered the rest and its last call returned.\n\t */\n\tasync #drain(): Promise<void> {\n\t\tif (this.#running || this.#end !== undefined || !this.#started) return;\n\t\tthis.#running = true;\n\t\ttry {\n\t\t\twhile (this.#end === undefined) {\n\t\t\t\tconst listener = this.#listener;\n\t\t\t\tif (listener === undefined) break;\n\t\t\t\tconst frameContext = this.pendingContext;\n\t\t\t\tif (frameContext === undefined) {\n\t\t\t\t\tif (this.#ending) this.#terminate(ENDED);\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tconst call = this.next();\n\t\t\t\tif (call.kind === \"value\") this.#value = call.value;\n\t\t\t\ttry {\n\t\t\t\t\tawait listener(call, withoutAbortSignal(frameContext));\n\t\t\t\t} catch (error) {\n\t\t\t\t\tif (this.#end === undefined) {\n\t\t\t\t\t\tthis.#report?.(error);\n\t\t\t\t\t\tthis.#terminate({ kind: \"listener_error\", error: toError(error) });\n\t\t\t\t\t}\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t}\n\t\t} finally {\n\t\t\tthis.#running = false;\n\t\t}\n\t}\n\n\t/**\n\t * End the watch, once: detach, drop what is pending and every reference into the source, and settle `closed`. A\n\t * callback already running keeps running.\n\t */\n\t#terminate(end: WatchEnd): void {\n\t\tif (this.#end !== undefined) return;\n\t\tthis.#end = end;\n\t\tconst detach = this.#detach;\n\t\tthis.#detach = undefined;\n\t\tthis.#report = undefined;\n\t\tthis.#listener = undefined;\n\t\tthis.release();\n\t\tif (this.#abortListener !== undefined) this.#abortSignal?.removeEventListener(\"abort\", this.#abortListener);\n\t\tthis.#abortSignal = undefined;\n\t\tthis.#abortListener = undefined;\n\t\tdetach?.();\n\t\tthis.#closed.resolve(end);\n\t}\n}\n\nfunction toError(error: unknown): Error {\n\tif (error instanceof Error) return error;\n\ttry {\n\t\treturn new Error(String(error));\n\t} catch {\n\t\treturn new Error(Object.prototype.toString.call(error));\n\t}\n}\n\n/**\n * The watch handle of a JSON source. Frames that arrive before `start()` or while the listener runs wait in one\n * `PendingOps` queue; the next call gets the newest value, the folded ops of every frame since the previous call (or\n * `[[\"r\", newest]]` after the queue overflowed), `retired` when any of them was a retirement, and the newest frame's\n * context. A frame delivered alone is passed on as the source made it. A failure (`fail()`) drops the pending frames and\n * waits as one `failed` call; a value after it replaces it, and the first value call after a failure is `[[\"r\",\n * value]]`. `detach` unsubscribes it from its source on termination; `report` gets a listener's throw, which also ends\n * the watch.\n */\nexport class Watch<T> extends WatchLifecycle<T, WatchCall<T>> implements WatchHandle<T> {\n\treadonly #ops = new PendingOps();\n\t/**\n\t * The source's call while it is the only frame pending: the call passes it on, with no allocation. A second frame\n\t * drops it, so its ops stay only as long as `PendingOps` keeps them (folded, or dropped by an overflow).\n\t */\n\t#lone: WatchValueCall<T> | undefined;\n\t/** The newest frame's value and context, while a call is pending; the context also marks that one is. */\n\t#newestValue: T | undefined;\n\t#newestContext: Context | undefined;\n\t/** A pending frame was a retirement. */\n\t#retired = false;\n\t/** The newest frame was a failure: the next call is this. */\n\t#failure: FailedCall | undefined;\n\t/** A failure came after the last value call: the next value call replaces the root, and ops are not kept. */\n\t#replace = false;\n\n\t/**\n\t * Queue the frame `call`. A value's ops turn the previous value into it, and `retired` says the document the watch\n\t * follows was retired, which the next value call reports however many frames it folds; a failure is `fail()`.\n\t */\n\tadvance(call: WatchCall<T>, context: Context): void {\n\t\tif (call.kind === \"failed\") {\n\t\t\tthis.#fail(call, context);\n\t\t\treturn;\n\t\t}\n\t\tif (!this.open) return;\n\t\tif (this.#replace) {\n\t\t\tthis.#failure = undefined;\n\t\t} else {\n\t\t\tthis.#lone = this.#newestContext === undefined ? call : undefined;\n\t\t\tthis.#ops.push(call.ops);\n\t\t}\n\t\tthis.#newestValue = call.value;\n\t\tthis.#newestContext = context;\n\t\tif (call.retired) this.#retired = true;\n\t\tthis.pending();\n\t}\n\n\t/**\n\t * Queue a failure the source may recover from: the pending frames are dropped (`value` keeps the last delivered\n\t * value), the listener gets `{ kind: \"failed\", error }`, and the next value arrives as `[[\"r\", value]]`.\n\t */\n\tfail(error: unknown, context: Context): void {\n\t\tthis.#fail({ kind: \"failed\", error }, context);\n\t}\n\n\t#fail(call: FailedCall, context: Context): void {\n\t\tif (!this.open) return;\n\t\tthis.#ops.take();\n\t\tthis.#lone = undefined;\n\t\tthis.#newestValue = undefined;\n\t\tthis.#failure = call;\n\t\tthis.#newestContext = context;\n\t\tthis.#replace = true;\n\t\tthis.pending();\n\t}\n\n\tprotected get pendingContext(): Context | undefined {\n\t\treturn this.#newestContext;\n\t}\n\n\tprotected next(): WatchCall<T> {\n\t\t// After a failure the call is that failure, or the value after it; otherwise one field read decides.\n\t\tif (this.#replace) return this.#nextAfterFailure();\n\t\tconst lone = this.#lone;\n\t\t// Set with the context, which says a frame is pending.\n\t\tconst value = this.#newestValue as T;\n\t\tconst batch = this.#ops.take();\n\t\tconst retired = this.#retired;\n\t\tthis.#lone = undefined;\n\t\tthis.#newestValue = undefined;\n\t\tthis.#newestContext = undefined;\n\t\tthis.#retired = false;\n\t\t// One frame never folds or overflows: its call is the listener's.\n\t\tif (lone !== undefined) return lone;\n\t\t// Values of a JSON watch are JSON; `T` is the source's narrower or wider view of them (e.g. a typed document).\n\t\tconst ops: readonly Op[] = batch.kind === \"ops\" ? batch.ops : [[\"r\", value as JsonValue]];\n\t\treturn { kind: \"value\", value, ops, retired };\n\t}\n\n\t/** The pending failure, or the value after one as a root replacement (no ops were kept since the failure). */\n\t#nextAfterFailure(): WatchCall<T> {\n\t\tconst failure = this.#failure;\n\t\tthis.#newestContext = undefined;\n\t\tif (failure !== undefined) {\n\t\t\tthis.#failure = undefined;\n\t\t\treturn failure;\n\t\t}\n\t\tconst value = this.#newestValue as T;\n\t\tconst retired = this.#retired;\n\t\tthis.#newestValue = undefined;\n\t\tthis.#retired = false;\n\t\tthis.#replace = false;\n\t\treturn { kind: \"value\", value, ops: [[\"r\", value as JsonValue]], retired };\n\t}\n\n\tprotected release(): void {\n\t\tthis.#ops.take();\n\t\tthis.#lone = undefined;\n\t\tthis.#newestValue = undefined;\n\t\tthis.#newestContext = undefined;\n\t\tthis.#retired = false;\n\t\tthis.#failure = undefined;\n\t\tthis.#replace = false;\n\t}\n}\n\n/** The value call of a JSON watch. */\ntype WatchValueCall<T> = Extract<WatchCall<T>, { readonly kind: \"value\" }>;\n\n/** Maximum values retained behind one unavailable native watch listener. */\nconst MAX_PENDING_NATIVE_VALUES = 100;\n\n/**\n * The watch handle of a native source: every value in order, one call each; past 100 pending values they collapse to\n * one, `replace()` or by default the newest value. A failure (`fail()`) drops the pending values and waits as one\n * `failed` call; a value after it replaces it. `detach` and `report` as for `Watch`.\n */\nexport class NativeWatch<T> extends WatchLifecycle<T, NativeWatchCall<T>> implements NativeWatchHandle<T> {\n\t/**\n\t * Pending values in order, each followed by its frame's context, from `#head` on. Values are kept raw: the call a\n\t * listener gets is built when it is taken, so a value an overflow drops costs no object. A read index instead of\n\t * `shift()` takes a backlog in constant time per value; taken slots are cleared at once, the array is emptied once\n\t * all of it was taken, and its taken prefix dropped after 100 values.\n\t */\n\treadonly #pending: Array<T | Context | undefined> = [];\n\t#head = 0;\n\t#replace: (() => T) | undefined;\n\t/** A pending failure and its frame's context; nothing else is pending meanwhile. */\n\t#failure: FailedCall | undefined;\n\t#failureContext: Context | undefined;\n\n\tconstructor(value: T, detach: () => void, report: (error: unknown) => void, replace?: () => T) {\n\t\tsuper(value, detach, report);\n\t\tthis.#replace = replace;\n\t}\n\n\t/** Queue `value`, the source's new value; it replaces a pending failure. */\n\tadvance(value: T, context: Context): void {\n\t\tif (!this.open) return;\n\t\tthis.#failure = undefined;\n\t\tthis.#failureContext = undefined;\n\t\tif (this.#pending.length - this.#head < 2 * MAX_PENDING_NATIVE_VALUES) {\n\t\t\tthis.#pending.push(value, context);\n\t\t} else {\n\t\t\tthis.#pending.length = 0;\n\t\t\tthis.#head = 0;\n\t\t\tthis.#pending.push(this.#replace === undefined ? value : this.#replace(), context);\n\t\t}\n\t\tthis.pending();\n\t}\n\n\t/**\n\t * Queue a failure the source may recover from: the pending values are dropped (`value` keeps the last delivered\n\t * value), and the listener gets `{ kind: \"failed\", error }`.\n\t */\n\tfail(error: unknown, context: Context): void {\n\t\tif (!this.open) return;\n\t\tthis.#pending.length = 0;\n\t\tthis.#head = 0;\n\t\tthis.#failure = { kind: \"failed\", error };\n\t\tthis.#failureContext = context;\n\t\tthis.pending();\n\t}\n\n\tprotected get pendingContext(): Context | undefined {\n\t\t// The slot after a value holds its context; past the end it is empty.\n\t\treturn this.#failureContext ?? (this.#pending[this.#head + 1] as Context | undefined);\n\t}\n\n\tprotected next(): NativeWatchCall<T> {\n\t\tconst failure = this.#failure;\n\t\tif (failure !== undefined) {\n\t\t\tthis.#failure = undefined;\n\t\t\tthis.#failureContext = undefined;\n\t\t\treturn failure;\n\t\t}\n\t\tconst head = this.#head;\n\t\tconst pending = this.#pending;\n\t\t// The slot at `#head` holds a value.\n\t\tconst value = pending[head] as T;\n\t\tif (head + 2 === pending.length) {\n\t\t\tpending.length = 0;\n\t\t\tthis.#head = 0;\n\t\t} else if (head + 2 >= 2 * MAX_PENDING_NATIVE_VALUES) {\n\t\t\t// A backlog that never drains: drop the taken prefix, at most once per 100 values, so the array stays bounded.\n\t\t\tpending.copyWithin(0, head + 2);\n\t\t\tpending.length -= head + 2;\n\t\t\tthis.#head = 0;\n\t\t} else {\n\t\t\tpending[head] = undefined;\n\t\t\tpending[head + 1] = undefined;\n\t\t\tthis.#head = head + 2;\n\t\t}\n\t\treturn { kind: \"value\", value };\n\t}\n\n\tprotected release(): void {\n\t\tthis.#pending.length = 0;\n\t\tthis.#head = 0;\n\t\tthis.#replace = undefined;\n\t\tthis.#failure = undefined;\n\t\tthis.#failureContext = undefined;\n\t}\n}\n"]}

package/dist/wire.d.ts

@@ -1,4 +1,4 @@
-import { type Static, type TSchema, Type } from "typebox";
+import { type Schema, type Static } from "@earendil-works/pi-schema";
 import { ChordError } from "./errors.ts";
 /**
  * The link protocol version, announced in `hello`. Peers of different versions do not talk: the side that notices
@@ -6,207 +6,188 @@ import { ChordError } from "./errors.ts";
  * (`LinkOptions.onProtocolMismatch`).
  */
 export declare const PROTOCOL_VERSION = 4;
-declare const RootRefSchema: Type.TObject<{
-    rootId: Type.TString;
-    codeVersion: Type.TInteger;
+declare const RootRefSchema: Schema<{
+    rootId: string;
+    codeVersion: number;
 }>;
 export type RootRef = Static<typeof RootRefSchema>;
-declare const WireErrorSchema: Type.TObject<{
-    code: Type.TEnum<["aborted", "contract_mismatch", "forbidden", "gone", "invalid", "not_in_variant", "not_ready", "released", "superseded", "unavailable", "upgrade_conflict", "upgrade_required"]>;
-    message: Type.TString;
-    reason: Type.TOptional<Type.TString>;
+declare const WireErrorSchema: Schema<{
+    code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
+    message: string;
+    reason?: string | undefined;
 }>;
 export type WireError = Static<typeof WireErrorSchema>;
-declare const WireReloadOptionsSchema: Type.TObject<{
-    remove: Type.TOptional<Type.TImmutable<Type.TArray<Type.TString>>>;
-    gateDeadline: Type.TOptional<Type.TNumber>;
-    retireDeadline: Type.TOptional<Type.TNumber>;
+declare const WireReloadOptionsSchema: Schema<{
+    remove?: readonly string[] | undefined;
+    gateDeadline?: number | undefined;
+    retireDeadline?: number | undefined;
 }>;
 export type WireReloadOptions = Static<typeof WireReloadOptionsSchema>;
 /** A child's prepared reload, sent with its vote (same fields as `ReloadReport`, without children). */
-declare const WireReloadReportSchema: Type.TObject<{
-    codeVersion: Type.TInteger;
-    previous: Type.TInteger;
-    changed: Type.TImmutable<Type.TArray<Type.TString>>;
-    removed: Type.TImmutable<Type.TArray<Type.TString>>;
-    prepared: Type.TImmutable<Type.TArray<Type.TString>>;
-    gated: Type.TImmutable<Type.TArray<Type.TString>>;
+declare const WireReloadReportSchema: Schema<{
+    codeVersion: number;
+    previous: number;
+    changed: readonly string[];
+    removed: readonly string[];
+    prepared: readonly string[];
+    gated: readonly string[];
 }>;
 export type WireReloadReport = Static<typeof WireReloadReportSchema>;
-declare const FrameSchema: Type.TUnion<[Type.TObject<{
-    t: Type.TLiteral<"hello">;
-    /** The link protocol version (`PROTOCOL_VERSION`; absent: 1). Peers of another version close the link. */
-    protocol: Type.TOptional<Type.TInteger>;
-    name: Type.TString;
-    kind: Type.TUnion<[Type.TLiteral<"host">, Type.TLiteral<"client">]>;
-    codeVersion: Type.TInteger;
-    /** The sender acknowledges what it receives (`ack`). Flow control applies only when both hellos say so. */
-    acks: Type.TOptional<Type.TBoolean>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"ack">;
-    n: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"hold">;
-    id: Type.TInteger;
-    /**
-     * Target host name, resolved by the consumer from the token's `host` and `input`. Relays route on it after
-     * checking it against both; the target refuses an input its own contract places elsewhere.
-     */
-    at: Type.TString;
-    /** The consumer's contract token; the provider checks that it covers it. Remote tokens carry `host`. */
-    token: Type.TObject<{
-        name: Type.TString;
-        scope: Type.TUnion<[Type.TLiteral<"remote">, Type.TLiteral<"local">]>;
-        version: Type.TInteger;
-        input: Type.TUnsafe<TSchema>;
-        host: Type.TOptional<Type.TUnion<[Type.TObject<{
-            name: Type.TString;
-        }>, Type.TObject<{
-            prefix: Type.TString;
-            key: Type.TString;
-        }>]>>;
-        variants: Type.TRecord<"^.*$", Type.TRecord<"^.*$", Type.TUnion<[Type.TObject<{
-            kind: Type.TLiteral<"method">;
-            args: Type.TOptional<Type.TUnsafe<TSchema>>;
-            result: Type.TOptional<Type.TUnsafe<TSchema>>;
-        }>, Type.TObject<{
-            kind: Type.TLiteral<"state">;
-            schema: Type.TUnsafe<TSchema>;
-        }>, Type.TObject<{
-            kind: Type.TLiteral<"opaque">;
-            id: Type.TString;
-        }>]>>>;
-    }>;
-    /** Normalized with the consumer's contract. */
-    input: Type.TUnknown;
-    /** A forwarded principal. Honored only on frames from the parent link. */
-    principal: Type.TOptional<Type.TUnknown>;
-    /**
-     * The client connection the hold comes from: an opaque id the server assigned to it, forwarded by relays. Honored
-     * only on frames from the parent link; present means the hold is a client's (not a reload participant).
-     */
-    origin: Type.TOptional<Type.TString>;
-    /** False: no state for this hold until `sub` (a method-only binding). */
-    state: Type.TOptional<Type.TLiteral<false>>;
-    /** The consumer already has values (a re-hold after a link loss): its unit is not urgent. */
-    again: Type.TOptional<Type.TLiteral<true>>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"release">;
-    id: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"shape">;
-    id: Type.TInteger;
-    variant: Type.TOptional<Type.TString>;
-    members: Type.TImmutable<Type.TArray<Type.TString>>;
-    contract: Type.TString;
-    /** The state members whose snapshots follow this frame; the consumer applies the shape once they are here. */
-    state: Type.TImmutable<Type.TArray<Type.TString>>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"gone">;
-    id: Type.TInteger;
-    error: Type.TObject<{
-        code: Type.TEnum<["aborted", "contract_mismatch", "forbidden", "gone", "invalid", "not_in_variant", "not_ready", "released", "superseded", "unavailable", "upgrade_conflict", "upgrade_required"]>;
-        message: Type.TString;
-        reason: Type.TOptional<Type.TString>;
-    }>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"call">;
-    id: Type.TInteger;
-    hold: Type.TInteger;
-    member: Type.TString;
-    args: Type.TOptional<Type.TUnknown>;
-    /** Absent: the receiving host starts a root (browsers never carry roots). */
-    root: Type.TOptional<Type.TObject<{
-        rootId: Type.TString;
-        codeVersion: Type.TInteger;
-    }>>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"result">;
-    id: Type.TInteger;
-    value: Type.TOptional<Type.TUnknown>;
-    error: Type.TOptional<Type.TObject<{
-        code: Type.TEnum<["aborted", "contract_mismatch", "forbidden", "gone", "invalid", "not_in_variant", "not_ready", "released", "superseded", "unavailable", "upgrade_conflict", "upgrade_required"]>;
-        message: Type.TString;
-        reason: Type.TOptional<Type.TString>;
-    }>>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"cancel">;
-    id: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"sub">;
-    hold: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"unsub">;
-    hold: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"resync">;
-    hold: Type.TInteger;
-    m: Type.TString;
-}>, Type.TObject<{
-    t: Type.TLiteral<"state">;
-    hold: Type.TInteger;
-    m: Type.TString;
-    /** `snap`/`reset` without `value`: the value is `undefined`. */
-    as: Type.TUnion<[Type.TLiteral<"snap">, Type.TLiteral<"reset">, Type.TLiteral<"ops">, Type.TLiteral<"error">]>;
-    value: Type.TOptional<Type.TUnknown>;
-    /** Encoded with the stream's delta encoder; the decoder validates each op. */
-    ops: Type.TOptional<Type.TImmutable<Type.TArray<Type.TImmutable<Type.TArray<Type.TUnknown>>>>>;
-    error: Type.TOptional<Type.TObject<{
-        code: Type.TEnum<["aborted", "contract_mismatch", "forbidden", "gone", "invalid", "not_in_variant", "not_ready", "released", "superseded", "unavailable", "upgrade_conflict", "upgrade_required"]>;
-        message: Type.TString;
-        reason: Type.TOptional<Type.TString>;
-    }>>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"ping">;
-    n: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"pong">;
-    n: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"bye">;
-    reason: Type.TOptional<Type.TString>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"root_end">;
-    rootId: Type.TString;
-}>, Type.TObject<{
-    t: Type.TLiteral<"invalidate">;
-    pattern: Type.TRecord<"^.*$", Type.TUnknown>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"prepare">;
-    reload: Type.TInteger;
-    codeVersion: Type.TInteger;
-    plugins: Type.TImmutable<Type.TArray<Type.TString>>;
-    options: Type.TObject<{
-        remove: Type.TOptional<Type.TImmutable<Type.TArray<Type.TString>>>;
-        gateDeadline: Type.TOptional<Type.TNumber>;
-        retireDeadline: Type.TOptional<Type.TNumber>;
-    }>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"vote">;
-    reload: Type.TInteger;
-    error: Type.TOptional<Type.TObject<{
-        code: Type.TEnum<["aborted", "contract_mismatch", "forbidden", "gone", "invalid", "not_in_variant", "not_ready", "released", "superseded", "unavailable", "upgrade_conflict", "upgrade_required"]>;
-        message: Type.TString;
-        reason: Type.TOptional<Type.TString>;
-    }>>;
-    report: Type.TOptional<Type.TObject<{
-        codeVersion: Type.TInteger;
-        previous: Type.TInteger;
-        changed: Type.TImmutable<Type.TArray<Type.TString>>;
-        removed: Type.TImmutable<Type.TArray<Type.TString>>;
-        prepared: Type.TImmutable<Type.TArray<Type.TString>>;
-        gated: Type.TImmutable<Type.TArray<Type.TString>>;
-    }>>;
-}>, Type.TObject<{
-    t: Type.TLiteral<"commit">;
-    reload: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"retire">;
-    codeVersion: Type.TInteger;
-}>, Type.TObject<{
-    t: Type.TLiteral<"abort">;
-    reload: Type.TInteger;
-}>]>;
+declare const FrameSchema: Schema<{
+    t: "hello";
+    protocol?: number | undefined;
+    name: string;
+    kind: "client" | "host";
+    codeVersion: number;
+    acks?: boolean | undefined;
+} | {
+    t: "ack";
+    n: number;
+} | {
+    t: "hold";
+    id: number;
+    at: string;
+    token: {
+        name: string;
+        scope: "local" | "remote";
+        version: number;
+        input: Schema;
+        host?: {
+            name: string;
+        } | {
+            prefix: string;
+            key: string;
+        } | undefined;
+        variants: Record<string, Record<string, {
+            kind: "method";
+            args?: Schema | undefined;
+            result?: Schema | undefined;
+        } | {
+            kind: "state";
+            schema: Schema;
+        } | {
+            kind: "opaque";
+            id: string;
+        }>>;
+    };
+    input: unknown;
+    principal?: unknown;
+    origin?: string | undefined;
+    state?: false | undefined;
+    again?: true | undefined;
+} | {
+    t: "release";
+    id: number;
+} | {
+    t: "shape";
+    id: number;
+    variant?: string | undefined;
+    members: readonly string[];
+    contract: string;
+    state: readonly string[];
+} | {
+    t: "gone";
+    id: number;
+    error: {
+        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
+        message: string;
+        reason?: string | undefined;
+    };
+} | {
+    t: "call";
+    id: number;
+    hold: number;
+    member: string;
+    args?: unknown;
+    root?: {
+        rootId: string;
+        codeVersion: number;
+    } | undefined;
+} | {
+    t: "result";
+    id: number;
+    value?: unknown;
+    error?: {
+        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
+        message: string;
+        reason?: string | undefined;
+    } | undefined;
+} | {
+    t: "cancel";
+    id: number;
+} | {
+    t: "sub";
+    hold: number;
+} | {
+    t: "unsub";
+    hold: number;
+} | {
+    t: "resync";
+    hold: number;
+    m: string;
+} | {
+    t: "state";
+    hold: number;
+    m: string;
+    as: "error" | "ops" | "reset" | "snap";
+    value?: unknown;
+    ops?: readonly (readonly unknown[])[] | undefined;
+    error?: {
+        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
+        message: string;
+        reason?: string | undefined;
+    } | undefined;
+} | {
+    t: "ping";
+    n: number;
+} | {
+    t: "pong";
+    n: number;
+} | {
+    t: "bye";
+    reason?: string | undefined;
+} | {
+    t: "root_end";
+    rootId: string;
+} | {
+    t: "invalidate";
+    pattern: Record<string, unknown>;
+} | {
+    t: "prepare";
+    reload: number;
+    codeVersion: number;
+    plugins: readonly string[];
+    options: {
+        remove?: readonly string[] | undefined;
+        gateDeadline?: number | undefined;
+        retireDeadline?: number | undefined;
+    };
+} | {
+    t: "vote";
+    reload: number;
+    error?: {
+        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
+        message: string;
+        reason?: string | undefined;
+    } | undefined;
+    report?: {
+        codeVersion: number;
+        previous: number;
+        changed: readonly string[];
+        removed: readonly string[];
+        prepared: readonly string[];
+        gated: readonly string[];
+    } | undefined;
+} | {
+    t: "commit";
+    reload: number;
+} | {
+    t: "retire";
+    codeVersion: number;
+} | {
+    t: "abort";
+    reload: number;
+}>;
 export type Frame = Static<typeof FrameSchema>;
 /** A frame that passes validation; anything else is a protocol violation. */
 export declare const isFrame: (value: unknown) => value is Frame;

package/dist/wire.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAG1D,OAAO,EAAqB,UAAU,EAAE,MAAM,aAAa,CAAC;AAe5D;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAQlC,QAAA,MAAM,aAAa;;;EAA2E,CAAC;AAC/F,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAC;AAEnD,QAAA,MAAM,eAAe;;;;EAInB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAC;AAEvD,QAAA,MAAM,uBAAuB;;;;EAI3B,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEvE,uGAAuG;AACvG,QAAA,MAAM,sBAAsB;;;;;;;EAO1B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAErE,QAAA,MAAM,WAAW;;IAGf,0GAA0G;;;;;IAK1G,2GAA2G;;;;;;;;IAQ3G;;;OAGG;;IAEH,wGAAwG;;;;;;;;;;;;;;;;;;;;;;;;IAExG,+CAA+C;;IAE/C,0EAA0E;;IAE1E;;;OAGG;;IAEH,yEAAyE;;IAEzE,6FAA6F;;;;;;;;;;;IAU7F,8GAA8G;;;;;;;;;;;;;;;;IAU9G,6EAA6E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAoB7E,gEAAgE;;;IAGhE,8EAA8E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA4B9E,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAC;AAE/C,6EAA6E;AAC7E,eAAO,MAAM,OAAO,UAAW,OAAO,KAAG,KAAK,IAAI,KAAwC,CAAC;AAE3F,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAOrD;AAED,eAAO,MAAM,aAAa,UAAW,SAAS,KAAG,UACyD,CAAC"}
+{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA,OAAO,EAYN,KAAK,MAAM,EACX,KAAK,MAAM,EAIX,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAqB,UAAU,EAAE,MAAM,aAAa,CAAC;AAe5D;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAUlC,QAAA,MAAM,aAAa;;;EAA2D,CAAC;AAC/E,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAC;AAEnD,QAAA,MAAM,eAAe;;;;EAInB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAC;AAEvD,QAAA,MAAM,uBAAuB;;;;EAI3B,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEvE,uGAAuG;AACvG,QAAA,MAAM,sBAAsB;;;;;;;EAO1B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAErE,QAAA,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAyGf,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAC;AAE/C,6EAA6E;AAC7E,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,KAAkC,CAAC;AAEtF,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAOrD;AAED,eAAO,MAAM,aAAa,UAAW,SAAS,KAAG,UACyD,CAAC"}