@earendil-works/chord 1.4.0 → 1.5.1

package/dist/documents/transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction.js","sourceRoot":"","sources":["../../src/documents/transaction.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,iHAAiH;AAEjH,OAAO,EAAgB,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAwD,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAKhG,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAEnD,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAIhD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAA+B,SAAS,EAAc,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAM3G,OAAO,EAAE,aAAa,EAAsD,MAAM,kBAAkB,CAAC;AA+ErG,MAAM,SAAS,GAAsB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAa3D;;;;;GAKG;AACH,MAAM,OAAO,WAAW;IACd,UAAU,CAAY;IACtB,KAAK,CAAY;IACjB,QAAQ,CAAa;IACrB,QAAQ,CAAU;IAClB,QAAQ,GAAG,IAAI,GAAG,EAAoC,CAAC;IAChE,6EAA6E;IAC7E,OAAO,CAAkC;IACzC;;;OAGG;IACH,OAAO,CAA6E;IACpF,4DAA4D;IAC5D,OAAO,CAA6C;IACpD,6FAA6F;IAC7F,QAAQ,GAAG,CAAC,CAAC;IACb,6EAA6E;IACpE,YAAY,CAAoB;IACzC,MAAM,GAA2E,MAAM,CAAC;IACxF,0GAA0G;IAC1G,OAAO,CAA0C;IACjD,iGAAiG;IACjG,UAAU,GAAwB,EAAE,CAAC;IACrC,qFAAqF;IACrF,KAAK,GAAG,CAAC,CAAC;IAEV,YACC,SAAoB,EACpB,KAAgB,EAChB,OAAmB,EACnB,OAAgB,EAChB,WAAW,GAAsB,SAAS;QAE1C,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,YAAY,GAAG,WAAW,CAAC;IACjC,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,KAAiB;QAC3B,IAAI,CAAC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED;;;OAGG;IACH,SAAS;QACR,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,UAAU;YAAE,GAAG,IAAI,QAAQ,EAAE,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;QAC7E,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/G,CAAC;IAED,4CAA4C;IAC5C,IAAI,SAAS;QACZ,OAAO,IAAI,CAAC,UAAU,CAAC;IACxB,CAAC;IAID,KAAK,CAAuB,MAA2C,EAAE,GAAG,GAAG,EAAE;QAChF,+GAA+G;QAC/G,wFAAwF;QACxF,IAAI,IAA+B,CAAC;QACpC,IAAI,EAAU,CAAC;QACf,sFAAsF;QACtF,IAAI,CAAC;YACJ,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5B,EAAE,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,qEAAqE;QACrE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAsB,CAAC;IACtD,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,SAAS,CAAC,IAAkB,EAAE,GAAW;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1G,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC;YACJ,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,QAAQ,EAAE,CAAC;QACjB,CAAC;IACF,CAAC;IAID,KAAK,CAAC,MAAM,CAAC,MAA6D,EAAE,GAAG,GAAG,EAAE;QACnF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,4GAA4G;QAC5G,kGAAkG;QAClG,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/E,6FAA6F;YAC7F,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,IAAI,KAAK,KAAK,SAAS;gBAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YAC5D,KAAK,CAAC,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC;QAC7B,CAAC;IACF,CAAC;IAED,4EAA4E;IAC5E,UAAU,CAAC,IAAkB,EAAE,GAAW;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACrC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;QAC5B,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC;QACxB,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QACpB,OAAO,KAAK,CAAC;IACd,CAAC;IAED,KAAK,CAAU,GAAuB,EAAE,IAAO,EAAE,OAAO,GAAiB,EAAE;QAC1E,qDAAqD;QACrD,OAAQ,GAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAA0B,CAAC;IACnG,CAAC;IAED,GAAG,CACF,KAAkB,EAClB,GAAgB;QAEhB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtG,mDAAmD;QACnD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAkC,CAAC;IAC3D,CAAC;IAED,IAAI,CACH,KAAkB,EAClB,CAAc,EACd,KAAa,EACb,OAAO,GAAgB,EAAE;QAEzB,kEAAkE;QAClE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAqB,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAA4B,CAAC;IACrD,CAAC;IAED,KAAK,CAAC,CAAC,IAAI,CACV,KAAkB,EAClB,CAAc;QAEd,IAAI,KAAyB,CAAC;QAC9B,GAAG,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACxF,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YAClB,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC,QAAQ,KAAK,KAAK,SAAS,EAAE;IAC/B,CAAC;IAED,GAAG,CAAiD,KAAkB,EAAE,GAAgB;QACvF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CACL,KAAkB,EAClB,GAAgB,EAChB,GAAwD;QAExD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,CAAiD,KAAkB,EAAE,GAAgB;QAC1F,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAED,WAAW,CACV,KAAkB,EAClB,KAAwC,EACxC,GAAwD;QAExD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED,WAAW,CACV,KAAkB,EAClB,KAAwC;QAExC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IAED,uFAAuF;IACvF,KAAK,CAAmB,KAAa,EAAE,IAAa;QACnD,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,CAAC,OAAO,KAAK,IAAI,GAAG,EAAE,CAAC;QAC3B,IAAI,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,GAAG,IAAI,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACjC,CAAC;QACD,oEAAoE;QACpE,OAAO,MAAW,CAAC;IACpB,CAAC;IAED,qEAAqE;IACrE,MAAM,CAAmB,KAAa;QACrC,uCAAuC;QACvC,OAAO,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAkB,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACH,MAAM;QACL,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,QAAQ,GAAG,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,yDAAyD,CAAC,CAAC;QACpG,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,GAAG,YAAY,CAAC;QAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBACtC,IAAI,QAAQ,GAAG,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACzD,QAAQ,CAAC,KAAK,EAAE,CAAC;oBACjB,QAAQ,GAAG,SAAS,CAAC;gBACtB,CAAC;gBACD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;gBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;gBAC/F,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACjD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,IAAI,MAAgC,CAAC;gBACrC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;oBAC5D,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;oBACjD,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;gBACtF,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YACtD,CAAC;QACF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAC1B,OAAO;QACR,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC3D,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,KAAK,CAAC,KAAiB,EAAE,MAA8B,EAAE,SAA8B;QAC5F,MAAM,KAAK,GAAG;YACb,KAAK,EAAE,GAAG,EAAE;gBACX,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACpE,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC;gBACzB,OAAO,IAAI,CAAC;YACb,CAAC;YACD,KAAK,EAAE,CAAC,IAAY,EAAE,IAAuB,EAAE,IAAY,EAAE,EAAE;gBAC9D,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;gBAClB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACxB,CAAC;SACD,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,aAAa,EAAS,CAAC;QAC9C,IAAI,CAAC;YACJ,yDAAyD;YACzD,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5G,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;gBAAE,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC;YAClD,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,OAAO,GAAG,SAAS,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,KAAc;QACtB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC,KAAK,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,SAA8B;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QAC3D,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE;YACjC,KAAK,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;gBAC9D,IAAI,OAAO;oBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC1C,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBACrC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACrE,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE;gBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACzD,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnB,CAAC;IAED,8CAA8C;IAC9C,OAAO;QACN,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;YAAE,OAAO;QAClC,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;QAC1B,IAAI,CAAC,YAAY,EAAE,CAAC;IACrB,CAAC;IAED;;;OAGG;IACH,GAAG;QACF,2FAA2F;QAC3F,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY;YAAE,OAAO;QACnE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACxC,CAAC;IAED,+FAA+F;IAC/F,MAAM;QACL,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;QAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,SAAS;gBAAE,MAAM,CAAC,SAAS,EAAE,CAAC;;gBAC7B,MAAM,CAAC,SAAS,EAAE,CAAC;QACzB,CAAC;IACF,CAAC;IAED,YAAY;QACX,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE;YAAE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE;gBAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACjH,CAAC;IAED,uFAAuF;IACvF,OAAO,CAAC,MAA6D;QACpE,mDAAmD;QACnD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAA2B,CAAC;QACtD,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,CAAC,IAAkB,EAAE,GAAW;QACrC,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,wDAAwD,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;YACpB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;YACzE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,WAAW;QACV,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO;QACnC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;YAAE,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,+BAA+B,CAAC,CAAC;IAC1E,CAAC;IAED,SAAS;QACR,OAAO,IAAI,UAAU,CAAC;YACrB,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,6CAA6C;SAC9E,CAAC,CAAC;IACJ,CAAC;IAED,4FAA4F;IAC5F,OAAO,CAAC,KAAa;QACpB,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,wEAAwE;QACxE,MAAM,MAAM,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,qDAAqD,CAAC,CAAC;QAChG,CAAC;QACD,MAAM,CAAC,aAAa,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC;IACf,CAAC;IAED,oEAAoE;IACpE,QAAQ,CAAC,KAAa;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,KAAK,IAAI,GAAG,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YACrD,OAAO,GAAG,IAAI,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;QACD,OAAO,OAAO,CAAC;IAChB,CAAC;IAED;;;;OAIG;IACH,eAAe,CAAC,MAA8C;QAC7D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO;QAClC,IAAI,CAAC,OAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,+EAA+E;IAC/E,KAAK,CAAC,MAAM,CAAI,IAAgB;QAC/B,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC;YACJ,OAAO,MAAM,IAAI,CAAC;QACnB,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,QAAQ,EAAE,CAAC;QACjB,CAAC;IACF,CAAC;IAED,kGAAkG;IAClG,MAAM,CAAC,KAAY;QAClB,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;YAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC7D,MAAM,OAAO,GAAG,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC9D,KAAK,CAAC,KAAK,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1D,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC;IACjC,CAAC;CACD;AAED,gHAAgH;AAChH,SAAS,UAAU,CAAC,KAAoB,EAAE,SAAwB,EAAE,IAAkB;IACrF,IAAI,CAAC;QACJ,aAAa,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,EAAE,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAChH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,MAAM,OAAO,CAAC;IACf,CAAC;AACF,CAAC","sourcesContent":["// Transactions (§9, R12, R13): drafts of an object's documents, prepared and adopted in one batch, with Chord's own\n// staged changes (job runs, §15), fenced by the token they run under; they run on the object's line (`line.ts`).\n\nimport { type Context, withoutAbortSignal } from \"../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { asChordError } from \"../data/internal.ts\";\nimport { type Change, type Draft, type Prepared, type Tracker, track } from \"../delta/index.ts\";\nimport type { JobHandle, Outcome, Run, StartOptions } from \"../jobs/index.ts\";\nimport type { Job } from \"../jobs/internal.ts\";\nimport type { Columns, PutRowOf, RowOf } from \"../store/columns.ts\";\nimport type { Condition, SetOf } from \"../store/expression.ts\";\nimport { refreshOf } from \"../store/live-query.ts\";\nimport type { ColumnRefs, Query } from \"../store/query.ts\";\nimport { refusalOf } from \"../store/refusal.ts\";\nimport type { StagedWrite } from \"../store/step.ts\";\nimport type { ChordStore } from \"../store/store.ts\";\nimport type { KeyOf } from \"../store/table.ts\";\nimport { TableChanges } from \"../store/table-changes.ts\";\nimport { type Page, type PageOptions, ROWS_PAGE, type Table, TableHandle } from \"../store/table-handle.ts\";\nimport type { CommitPersistence, JsonObject } from \"./definition.ts\";\nimport type { Documents } from \"./documents.ts\";\nimport type { SealToken } from \"./fence.ts\";\nimport type { Keyed, KeyedHandle, Singleton, SingletonHandle } from \"./handles.ts\";\nimport type { KeyedSlot } from \"./keyed-slot.ts\";\nimport { checkReadable, type FoundDocument, type Stored, type StoredChange } from \"./persistence.ts\";\nimport type { DocumentSlot, PersistedSlot, SingletonSlot } from \"./slot.ts\";\n\n/** What `self.tx` gives its callback. Inside it: only `await tx.*`, no other `self.tx`, no calls to other objects. */\nexport interface Tx {\n\t/** The document's draft: the same one for the same document within one transaction. */\n\tdraft<T extends JsonObject>(handle: SingletonHandle<T>): Promise<Draft<T>>;\n\tdraft<T extends JsonObject>(handle: KeyedHandle<T>, key: string): Promise<Draft<T>>;\n\t/** Retires the document when the transaction commits (its address reads `initial()` again); a no-op when it is absent. */\n\tretire(handle: SingletonHandle<JsonObject>): Promise<void>;\n\tretire(handle: KeyedHandle<JsonObject>, key: string): Promise<void>;\n\t/**\n\t * Starts a run of `job`, one of this object's jobs, with this transaction's other writes (§15): both commit or\n\t * neither. Returns its `Run` at once; a discarded transaction's `Run` rejects `released` from `outcome`. A key of an\n\t * unsettled run (one started earlier in this transaction too) returns that run.\n\t */\n\tstart<A, R, S>(job: JobHandle<A, R, S>, args: A, options?: StartOptions): Run<Outcome<A, R, S>>;\n\t/** The row with `key` as this transaction leaves it (its own `put`, `update`, `delete` overlaid; W10). */\n\tget<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tkey: KeyOf<C, K>,\n\t): Promise<RowOf<C> | undefined>;\n\t/** A page of committed rows, stable for the transaction (without its own writes). */\n\tpage<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tq: Query<C, K>,\n\t\tlimit: number,\n\t\toptions?: PageOptions,\n\t): Promise<Page<RowOf<C>>>;\n\t/** Every committed row of `q`, as `page`. */\n\trows<C extends Columns, K extends readonly string[]>(table: Table<C, K>, q: Query<C, K>): AsyncIterable<RowOf<C>>;\n\t/** Writes `row` when the transaction commits (an upsert: the whole row replaced). */\n\tput<C extends Columns, K extends readonly string[]>(table: Table<C, K>, row: PutRowOf<C>): void;\n\t/** Changes the row with `key` when the transaction commits; an absent key changes nothing. */\n\tupdate<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tkey: KeyOf<C, K>,\n\t\tset: SetOf<C, K> | ((row: ColumnRefs<C>) => SetOf<C, K>),\n\t): void;\n\t/** Deletes the row with `key` when the transaction commits. */\n\tdelete<C extends Columns, K extends readonly string[]>(table: Table<C, K>, key: KeyOf<C, K>): void;\n\t/** Changes every row matching `where` when the transaction commits (one statement, its count recorded). */\n\tupdateWhere<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\twhere: (row: ColumnRefs<C>) => Condition,\n\t\tset: SetOf<C, K> | ((row: ColumnRefs<C>) => SetOf<C, K>),\n\t): void;\n\t/** Deletes every row matching `where` when the transaction commits. */\n\tdeleteWhere<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\twhere: (row: ColumnRefs<C>) => Condition,\n\t): void;\n}\n\n/**\n * Chord's own changes staged in a transaction (a job's run records): adopted in its commit step with the documents,\n * then told how the transaction ended, once the owner's line is free.\n */\nexport interface Staged {\n\t/** Adopts the changes, inside the commit's batch. */\n\tadopt(): void;\n\t/** The transaction committed: the actions after the commit (a run starts, waiters settle). */\n\tcommitted(): void;\n\t/** The transaction was discarded: nothing was adopted. */\n\tdiscarded(): void;\n}\n\n/**\n * What one transaction does with one document: a draft, a retirement, or both (retired, then drafted anew); `found`\n * is what is stored of a cold persisted document it retires without loading (R13).\n */\ntype Entry = {\n\treadonly slot: DocumentSlot;\n\treadonly key: string;\n\tdraft: { readonly tracker: Tracker<JsonObject>; readonly change: Change<JsonObject> } | undefined;\n\tretire: boolean;\n\tfound: Stored | undefined;\n};\n\nconst IMMEDIATE: CommitPersistence = { kind: \"immediate\" };\n\n/**\n * One document change a commit adopts: a removal, a draft's prepared change, or both; and for a persisted document\n * what the commit stores of it.\n */\ntype Adoption = {\n\treadonly entry: Entry;\n\treadonly prepared: Prepared<JsonObject> | undefined;\n\treadonly retires: boolean;\n\treadonly stored: StoredChange | undefined;\n};\n\n/**\n * One transaction of an object, under the seal token of whoever runs it (an attempt, a job run's invocation, the\n * object). Commit prepares every draft (Delta records ops and checks only placed values) and adopts the changed\n * documents and the staged changes in one batch; drafts are revoked once it settles. Cut at its token's seal, it\n * discards everything, releases the line and refuses every later use.\n */\nexport class Transaction implements Tx {\n\treadonly #documents: Documents;\n\treadonly token: SealToken;\n\treadonly #release: () => void;\n\treadonly #context: Context;\n\treadonly #entries = new Map<DocumentSlot, Map<string, Entry>>();\n\t/** Chord's own staged changes, by their owner (a job); made by the first. */\n\t#staged: Map<object, Staged> | undefined;\n\t/**\n\t * The store writes, in staging order, and the store they commit to; made by the first (the flag that sends the\n\t * commit through the store's step, W12).\n\t */\n\t#writes: { readonly store: ChordStore; readonly staged: StagedWrite[] } | undefined;\n\t/** The tables written, each with its writes and overlay. */\n\t#tables: Map<TableHandle, TableChanges> | undefined;\n\t/** `tx.*` reads underway: a callback settling with one is refused (rule 3, as Durable's). */\n\t#pending = 0;\n\t/** When its commit reaches the store (a run state's deferred change, D8). */\n\treadonly #persistence: CommitPersistence;\n\t#state: \"open\" | \"committing\" | \"stepping\" | \"committed\" | \"discarded\" | \"cut\" = \"open\";\n\t/** Rejected by `cut` while the commit waits in the store's queue: its caller is told at once (rule 3). */\n\t#queued: PromiseWithResolvers<never> | undefined;\n\t/** What its commit adopts, once it started (telemetry's `chord.commit` counts it when asked). */\n\t#adoptions: readonly Adoption[] = [];\n\t/** The table rows its commit's step changed, once it committed through the store. */\n\t#rows = 0;\n\n\tconstructor(\n\t\tdocuments: Documents,\n\t\ttoken: SealToken,\n\t\trelease: () => void,\n\t\tcontext: Context,\n\t\tpersistence: CommitPersistence = IMMEDIATE,\n\t) {\n\t\tthis.#documents = documents;\n\t\tthis.token = token;\n\t\tthis.#release = release;\n\t\tthis.#context = context;\n\t\tthis.#persistence = persistence;\n\t}\n\n\t/**\n\t * The store writes of this transaction, which `write`s join (Chord's own documents: a job's run records): made by the\n\t * first, which sends the commit through `store`'s step.\n\t */\n\tstageStore(store: ChordStore): StagedWrite[] {\n\t\tthis.#writes ??= { store, staged: [] };\n\t\treturn this.#writes.staged;\n\t}\n\n\t/**\n\t * What its commit adopted: its documents, their ops, its store writes and the table rows they changed (all 0 before\n\t * it committed).\n\t */\n\tcommitted(): { readonly documents: number; readonly ops: number; readonly writes: number; readonly rows: number } {\n\t\tlet ops = 0;\n\t\tfor (const { prepared } of this.#adoptions) ops += prepared?.ops.length ?? 0;\n\t\treturn { documents: this.#adoptions.length, ops, writes: this.#writes?.staged.length ?? 0, rows: this.#rows };\n\t}\n\n\t/** The object whose transaction this is. */\n\tget documents(): Documents {\n\t\treturn this.#documents;\n\t}\n\n\tdraft<T extends JsonObject>(handle: SingletonHandle<T>): Promise<Draft<T>>;\n\tdraft<T extends JsonObject>(handle: KeyedHandle<T>, key: string): Promise<Draft<T>>;\n\tdraft<T extends JsonObject>(handle: SingletonHandle<T> | KeyedHandle<T>, key = \"\"): Promise<Draft<T>> {\n\t\t// Not `async`: the draft's promise is returned as it is, without another promise around it (the in-memory path\n\t\t// stays as cheap as before the store); a throw still reaches the caller as a rejection.\n\t\tlet slot: SingletonSlot | KeyedSlot;\n\t\tlet at: string;\n\t\t// Keyed keys follow the text rules (`KeyedSlot.key`); a singleton's key is always \"\".\n\t\ttry {\n\t\t\tslot = this.#slotOf(handle);\n\t\t\tat = key === \"\" ? key : slot.key(key);\n\t\t} catch (error) {\n\t\t\treturn Promise.reject(error);\n\t\t}\n\t\t// The entry is made for this handle's slot, whose documents are `T`.\n\t\treturn this.draftSlot(slot, at) as Promise<Draft<T>>;\n\t}\n\n\t/**\n\t * The draft of the document at `key` of `slot` (Chord's own slots, a job's run states). A cold persisted document\n\t * is loaded first, inside the transaction (it holds the line); the draft counts as pending until it settles (rule\n\t * 3). A warm draft settles at once.\n\t */\n\tasync draftSlot(slot: DocumentSlot, key: string): Promise<Draft<JsonObject>> {\n\t\tconst entry = this.#entry(slot, key);\n\t\tconst persisted = slot.persisted;\n\t\tif (entry.draft !== undefined || entry.retire || persisted?.cold(key) !== true) return this.#begin(entry);\n\t\tthis.#pending++;\n\t\ttry {\n\t\t\tawait persisted.load(key, this.#context, this.token);\n\t\t\tthis.#assertOpen();\n\t\t\treturn this.#begin(entry);\n\t\t} finally {\n\t\t\tthis.#pending--;\n\t\t}\n\t}\n\n\tretire(handle: SingletonHandle<JsonObject>): Promise<void>;\n\tretire(handle: KeyedHandle<JsonObject>, key: string): Promise<void>;\n\tasync retire(handle: SingletonHandle<JsonObject> | KeyedHandle<JsonObject>, key = \"\"): Promise<void> {\n\t\tconst slot = this.#slotOf(handle);\n\t\tconst at = key === \"\" ? key : slot.key(key);\n\t\tconst entry = this.retireSlot(slot, at);\n\t\tconst persisted = slot.persisted;\n\t\t// A cold persisted document is found, not loaded (one read; absent: a no-op, R13); a version or fingerprint\n\t\t// the code cannot read fails the owner as a load would (R15): a retirement of it is no exception.\n\t\tif (entry.found === undefined && persisted?.cold(at)) {\n\t\t\tconst found = await this.#track(persisted.persistence.find(at, this.#context));\n\t\t\t// Cut meanwhile: its attempt was sealed, and failing the owner now would fail its successor.\n\t\t\tthis.#assertOpen();\n\t\t\tif (found !== undefined) checkFound(found, persisted, slot);\n\t\t\tentry.found = found?.stored;\n\t\t}\n\t}\n\n\t/** Retires the document at `key` of `slot` when the transaction commits. */\n\tretireSlot(slot: DocumentSlot, key: string): Entry {\n\t\tconst entry = this.#entry(slot, key);\n\t\tentry.draft?.change.abort();\n\t\tentry.draft = undefined;\n\t\tentry.retire = true;\n\t\treturn entry;\n\t}\n\n\tstart<A, R, S>(job: JobHandle<A, R, S>, args: A, options: StartOptions = {}): Run<Outcome<A, R, S>> {\n\t\t// Job handles are Chord's own: `self.job` made them.\n\t\treturn (job as unknown as Job).stage(this, args, this.#context, options) as Run<Outcome<A, R, S>>;\n\t}\n\n\tget<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tkey: KeyOf<C, K>,\n\t): Promise<RowOf<C> | undefined> {\n\t\tconst handle = this.#handle(table);\n\t\tconst changes = this.#tables?.get(handle);\n\t\tconst read = changes === undefined ? handle.get(key, this.#context) : changes.get(key, this.#context);\n\t\t// The handle's rows are the table's, typed by `C`.\n\t\treturn this.#track(read) as Promise<RowOf<C> | undefined>;\n\t}\n\n\tpage<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tq: Query<C, K>,\n\t\tlimit: number,\n\t\toptions: PageOptions = {},\n\t): Promise<Page<RowOf<C>>> {\n\t\t// As in `get`; the query's table is checked against the handle's.\n\t\tconst read = this.#handle(table).page(q as unknown as Query, limit, this.#context, options);\n\t\treturn this.#track(read) as Promise<Page<RowOf<C>>>;\n\t}\n\n\tasync *rows<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tq: Query<C, K>,\n\t): AsyncIterable<RowOf<C>> {\n\t\tlet after: string | undefined;\n\t\tdo {\n\t\t\tconst page = await this.page(table, q, ROWS_PAGE, after === undefined ? {} : { after });\n\t\t\tyield* page.items;\n\t\t\tafter = page.next;\n\t\t} while (after !== undefined);\n\t}\n\n\tput<C extends Columns, K extends readonly string[]>(table: Table<C, K>, row: PutRowOf<C>): void {\n\t\tthis.#changes(table).put(row);\n\t}\n\n\tupdate<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\tkey: KeyOf<C, K>,\n\t\tset: SetOf<C, K> | ((row: ColumnRefs<C>) => SetOf<C, K>),\n\t): void {\n\t\tthis.#changes(table).update(key, set);\n\t}\n\n\tdelete<C extends Columns, K extends readonly string[]>(table: Table<C, K>, key: KeyOf<C, K>): void {\n\t\tthis.#changes(table).delete(key);\n\t}\n\n\tupdateWhere<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\twhere: (row: ColumnRefs<C>) => Condition,\n\t\tset: SetOf<C, K> | ((row: ColumnRefs<C>) => SetOf<C, K>),\n\t): void {\n\t\tthis.#changes(table).updateWhere(where, set);\n\t}\n\n\tdeleteWhere<C extends Columns, K extends readonly string[]>(\n\t\ttable: Table<C, K>,\n\t\twhere: (row: ColumnRefs<C>) => Condition,\n\t): void {\n\t\tthis.#changes(table).deleteWhere(where);\n\t}\n\n\t/** The changes `owner` staged in this transaction, made by `make` on its first use. */\n\tstage<S extends Staged>(owner: object, make: () => S): S {\n\t\tthis.#assertOpen();\n\t\tthis.#staged ??= new Map();\n\t\tlet staged = this.#staged.get(owner);\n\t\tif (staged === undefined) {\n\t\t\tstaged = make();\n\t\t\tthis.#staged.set(owner, staged);\n\t\t}\n\t\t// Each owner stages one kind of change, the one its `make` returns.\n\t\treturn staged as S;\n\t}\n\n\t/** The changes `owner` staged in this transaction so far, if any. */\n\tstaged<S extends Staged>(owner: object): S | undefined {\n\t\t// As in `stage`: the owner's own kind.\n\t\treturn this.#staged?.get(owner) as S | undefined;\n\t}\n\n\t/**\n\t * Prepares every draft and adopts what changed, and the staged changes, in one batch; nothing when nothing changed.\n\t * A document retired and drafted anew is removed, then adopted: its frame carries the retirement. Persisted\n\t * documents stage their writes here (rule 8), which sends the commit through the store's step.\n\t */\n\tcommit(): void | Promise<void> {\n\t\tthis.#assertOpen();\n\t\tif (this.#pending > 0)\n\t\t\tthrow new Error(`${this.#documents.label}: the callback settled before its pending tx operations`);\n\t\tif (this.#tables !== undefined) this.#refreshQueries(this.#tables);\n\t\tthis.#state = \"committing\";\n\t\tthis.#context.abortSignal?.throwIfAborted();\n\t\tconst adoptions: Adoption[] = [];\n\t\tfor (const entries of this.#entries.values()) {\n\t\t\tfor (const entry of entries.values()) {\n\t\t\t\tlet prepared = entry.draft?.change.prepare();\n\t\t\t\tif (prepared !== undefined && prepared.ops.length === 0) {\n\t\t\t\t\tprepared.abort();\n\t\t\t\t\tprepared = undefined;\n\t\t\t\t}\n\t\t\t\tconst { slot, key } = entry;\n\t\t\t\tconst retires = entry.retire && (slot.current(key) !== undefined || entry.found !== undefined);\n\t\t\t\tif (prepared === undefined && !retires) continue;\n\t\t\t\tconst persisted = slot.persisted;\n\t\t\t\tlet stored: StoredChange | undefined;\n\t\t\t\tif (persisted !== undefined) {\n\t\t\t\t\tconst writes = this.stageStore(persisted.persistence.store);\n\t\t\t\t\tconst was = persisted.stored(key) ?? entry.found;\n\t\t\t\t\tstored = persisted.stage(key, { prepared, retires }, was, writes, this.#persistence);\n\t\t\t\t}\n\t\t\t\tadoptions.push({ entry, prepared, retires, stored });\n\t\t\t}\n\t\t}\n\t\tconst writes = this.#writes;\n\t\tthis.#adoptions = adoptions;\n\t\tif (writes === undefined) {\n\t\t\tthis.#adopt(adoptions);\n\t\t\tthis.#state = \"committed\";\n\t\t\treturn;\n\t\t}\n\t\treturn this.#step(writes.store, writes.staged, adoptions);\n\t}\n\n\t/**\n\t * Commits through the store's step (§3): admitted while neither cut nor sealed (else `released`, nothing written),\n\t * then the documents and staged changes adopted inside the step. Once queued, the caller's abort no longer counts;\n\t * a cut while queued rejects `released` at once (the queue drops the entry at its admission, writing nothing).\n\t */\n\tasync #step(store: ChordStore, staged: readonly StagedWrite[], adoptions: readonly Adoption[]): Promise<void> {\n\t\tconst fence = {\n\t\t\tadmit: () => {\n\t\t\t\tif (this.#state !== \"committing\" || this.token.sealed) return false;\n\t\t\t\tthis.#state = \"stepping\";\n\t\t\t\treturn true;\n\t\t\t},\n\t\t\tadopt: (_seq: number, _ids: readonly number[], rows: number) => {\n\t\t\t\tthis.#rows = rows;\n\t\t\t\tthis.#adopt(adoptions);\n\t\t\t},\n\t\t};\n\t\tthis.#queued = Promise.withResolvers<never>();\n\t\ttry {\n\t\t\t// The race handles the commit's own later rejection too.\n\t\t\tawait Promise.race([store.commit(staged, fence, withoutAbortSignal(this.#context)), this.#queued.promise]);\n\t\t} catch (error) {\n\t\t\tif (this.#state === \"cut\") throw this.#cutError();\n\t\t\tthrow this.#refused(error);\n\t\t} finally {\n\t\t\tthis.#queued = undefined;\n\t\t}\n\t\tthis.#state = \"committed\";\n\t}\n\n\t/**\n\t * The error a commit the store rejected rejects with (D4): the store's own (`released`, `storage_failed`) as it\n\t * is; a refused step classified, an `int` `CHECK` failing only this transaction (`invalid/args`), any other refusal\n\t * failing the live object `broken` too (memory and disk disagree).\n\t */\n\t#refused(error: unknown): unknown {\n\t\tconst refusal = refusalOf(error, this.#documents.label);\n\t\tif (refusal === undefined) return error;\n\t\tif (refusal.kind === \"broken\") this.#documents.fail(refusal.error);\n\t\treturn refusal.error;\n\t}\n\n\t/**\n\t * Adopts the changed documents (persisted ones with what the commit stored of them) and the staged changes in one\n\t * batch; nothing when nothing changed.\n\t */\n\t#adopt(adoptions: readonly Adoption[]): void {\n\t\tconst staged = this.#staged;\n\t\tif (adoptions.length === 0 && staged === undefined) return;\n\t\tthis.#documents.batch.commit(() => {\n\t\t\tfor (const { entry, prepared, retires, stored } of adoptions) {\n\t\t\t\tif (retires) entry.slot.retire(entry.key);\n\t\t\t\tif (prepared === undefined) continue;\n\t\t\t\tentry.slot.adopt(entry.key, entry.draft!.tracker, prepared, stored);\n\t\t\t}\n\t\t\tfor (const each of staged?.values() ?? []) each.adopt();\n\t\t}, this.#context);\n\t}\n\n\t/** Aborts every draft and prepared change. */\n\tdiscard(): void {\n\t\tif (this.#state === \"cut\") return;\n\t\tthis.#state = \"discarded\";\n\t\tthis.#abortDrafts();\n\t}\n\n\t/**\n\t * Its token was sealed while it held the line: every draft is aborted, the line released, and every later use,\n\t * its commit included, throws `released`.\n\t */\n\tcut(): void {\n\t\t// A commit admitted to the step runs to its end; one still queued is refused at admission.\n\t\tif (this.#state !== \"open\" && this.#state !== \"committing\") return;\n\t\tthis.#state = \"cut\";\n\t\tthis.#abortDrafts();\n\t\tthis.#release();\n\t\tthis.#queued?.reject(this.#cutError());\n\t}\n\n\t/** Tells the staged changes how the transaction ended; runs once the object's line is free. */\n\tsettle(): void {\n\t\tif (this.#staged === undefined) return;\n\t\tconst committed = this.#state === \"committed\";\n\t\tfor (const staged of this.#staged.values()) {\n\t\t\tif (committed) staged.committed();\n\t\t\telse staged.discarded();\n\t\t}\n\t}\n\n\t#abortDrafts(): void {\n\t\tfor (const entries of this.#entries.values()) for (const entry of entries.values()) entry.draft?.change.abort();\n\t}\n\n\t/** The slot behind a handle of this object, after the handle's version fence (R15). */\n\t#slotOf(handle: SingletonHandle<JsonObject> | KeyedHandle<JsonObject>): SingletonSlot | KeyedSlot {\n\t\t// Handles are Chord's own: `self.state` made them.\n\t\tconst { slot, version } = handle as Singleton | Keyed;\n\t\tslot.definition.assertVersion(version);\n\t\treturn slot;\n\t}\n\n\t#entry(slot: DocumentSlot, key: string): Entry {\n\t\tthis.#assertOpen();\n\t\tif (slot.owner !== this.#documents) {\n\t\t\tthrow new Error(`${this.#documents.label}: a transaction drafts only its own object's documents`);\n\t\t}\n\t\tlet entries = this.#entries.get(slot);\n\t\tif (entries === undefined) {\n\t\t\tentries = new Map();\n\t\t\tthis.#entries.set(slot, entries);\n\t\t}\n\t\tlet entry = entries.get(key);\n\t\tif (entry === undefined) {\n\t\t\tentry = { slot, key, draft: undefined, retire: false, found: undefined };\n\t\t\tentries.set(key, entry);\n\t\t}\n\t\treturn entry;\n\t}\n\n\t#assertOpen(): void {\n\t\tif (this.#state === \"open\") return;\n\t\tif (this.#state === \"cut\") throw this.#cutError();\n\t\tthrow new Error(`${this.#documents.label}: the transaction has settled`);\n\t}\n\n\t#cutError(): ChordError {\n\t\treturn new ChordError({\n\t\t\tcode: \"released\",\n\t\t\treason: \"discarded\",\n\t\t\tmessage: `${this.#documents.label}: the transaction was discarded at the seal`,\n\t\t});\n\t}\n\n\t/** The handle behind `table`, one of this object's tables (another object's is refused). */\n\t#handle(table: object): TableHandle {\n\t\tthis.#assertOpen();\n\t\t// Plugin code may pass any table: only this object's handles are taken.\n\t\tconst handle = table;\n\t\tif (!(handle instanceof TableHandle) || handle.owner.scope !== this.#documents) {\n\t\t\tthrow new Error(`${this.#documents.label}: a transaction writes only its own object's tables`);\n\t\t}\n\t\thandle.assertVersion();\n\t\treturn handle;\n\t}\n\n\t/** The writes to `table` in this transaction, made by the first. */\n\t#changes(table: object): TableChanges {\n\t\tconst handle = this.#handle(table);\n\t\tthis.#tables ??= new Map();\n\t\tlet changes = this.#tables.get(handle);\n\t\tif (changes === undefined) {\n\t\t\tthis.#writes ??= { store: handle.store, staged: [] };\n\t\t\tchanges = new TableChanges(handle, this.#writes.staged);\n\t\t\tthis.#tables.set(handle, changes);\n\t\t}\n\t\treturn changes;\n\t}\n\n\t/**\n\t * Stages the re-run of the live queries over the tables this transaction wrote (decision \"Live queries over an\n\t * object's own tables\"): read in the commit step after every table write staged so far (the callback's), published\n\t * in the commit's batch. None when no written table has a live query.\n\t */\n\t#refreshQueries(tables: ReadonlyMap<TableHandle, TableChanges>): void {\n\t\tconst refresh = refreshOf(tables.keys(), this.#context);\n\t\tif (refresh === undefined) return;\n\t\tthis.#writes!.staged.push(refresh.write);\n\t\tthis.stage(refresh, () => refresh);\n\t}\n\n\t/** Counts `read` as pending until the operation's promise settles (rule 3). */\n\tasync #track<T>(read: Promise<T>): Promise<T> {\n\t\tthis.#pending++;\n\t\ttry {\n\t\t\treturn await read;\n\t\t} finally {\n\t\t\tthis.#pending--;\n\t\t}\n\t}\n\n\t/** The entry's draft, begun on the current document (or a fresh `initial()`) by the first use. */\n\t#begin(entry: Entry): Draft<JsonObject> {\n\t\tif (entry.draft === undefined) {\n\t\t\tconst { slot, key } = entry;\n\t\t\tconst current = entry.retire ? undefined : slot.current(key);\n\t\t\tconst tracker = current ?? track(slot.initial(this.#context));\n\t\t\tentry.draft = { tracker, change: tracker.beginChange() };\n\t\t}\n\t\treturn entry.draft.change.state;\n\t}\n}\n\n/** Throws, failing `slot`'s owner `broken`, when its definition cannot read the cold document `found` (R15). */\nfunction checkFound(found: FoundDocument, persisted: PersistedSlot, slot: DocumentSlot): void {\n\ttry {\n\t\tcheckReadable({ version: found.stored.version, fingerprint: found.fingerprint }, persisted.definition.current);\n\t} catch (error) {\n\t\tconst failure = asChordError(error, slot.owner.label);\n\t\tslot.owner.fail(failure);\n\t\tthrow failure;\n\t}\n}\n"]}

package/dist/host/activity.d.ts

@@ -0,0 +1,31 @@
+import { type Context } from "../context/index.ts";
+import type { JsonValue } from "../json.ts";
+import { Source } from "../state/internal.ts";
+/** What `host.activity` counts. */
+export type ActivityCounts = {
+    /** Holds arriving over links and served here. */
+    readonly references: number;
+    /** Method calls running on this host, local and remote. */
+    readonly calls: number;
+    /** Running jobs (slice 5). */
+    readonly jobs: number;
+    /** Objects kept live by their type's `linger` after their last reference. */
+    readonly lingering: number;
+};
+/**
+ * `host.activity`. A count marks it changed; while it is watched or derived from, the first change of a microtask turn
+ * schedules one publication, a batch that gives its watches the counts as they are then (`[["r", counts]]`: a slow
+ * watch gets the newest counts) and marks derives over it. Its value is built from the counters when read or
+ * published.
+ */
+export declare class Activity extends Source {
+    #private;
+    get value(): JsonValue;
+    /**
+     * Adds `delta` to the count of `kind`; published with the turn's other changes. Nothing is scheduled while nobody
+     * watches or derives from it: a later watch or derive reads the counts as they are then.
+     */
+    count(kind: keyof ActivityCounts, delta: number): void;
+    deliver(context: Context): void;
+}
+//# sourceMappingURL=activity.d.ts.map

package/dist/host/activity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"activity.d.ts","sourceRoot":"","sources":["../../src/host/activity.ts"],"names":[],"mappings":"AAGA,OAAO,EAAsB,KAAK,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE9C,mCAAmC;AACnC,MAAM,MAAM,cAAc,GAAG;IAC5B,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8BAA8B;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF;;;;;GAKG;AACH,qBAAa,QAAS,SAAQ,MAAM;;IAMnC,IAAI,KAAK,IAAI,SAAS,CAGrB;IAED;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CASrD;IAED,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAG9B;CACD"}

package/dist/host/activity.js

@@ -0,0 +1,40 @@
+// Keep-alive counts (§3, R26): `host.activity`, a JSON watchable of the work keeping a host busy, for the app's
+// supervisor. Counters are kept where the work happens; their changes in one microtask turn are one publication.
+import { BACKGROUND_CONTEXT } from "../context/index.js";
+import { Source } from "../state/internal.js";
+/**
+ * `host.activity`. A count marks it changed; while it is watched or derived from, the first change of a microtask turn
+ * schedules one publication, a batch that gives its watches the counts as they are then (`[["r", counts]]`: a slow
+ * watch gets the newest counts) and marks derives over it. Its value is built from the counters when read or
+ * published.
+ */
+export class Activity extends Source {
+    #counts = { references: 0, calls: 0, jobs: 0, lingering: 0 };
+    /** The counts as last read, until the next change. */
+    #value;
+    #scheduled = false;
+    get value() {
+        this.#value ??= { ...this.#counts };
+        return this.#value;
+    }
+    /**
+     * Adds `delta` to the count of `kind`; published with the turn's other changes. Nothing is scheduled while nobody
+     * watches or derives from it: a later watch or derive reads the counts as they are then.
+     */
+    count(kind, delta) {
+        this.#counts[kind] += delta;
+        this.#value = undefined;
+        if (this.#scheduled || (!this.watched && this.dependents.size === 0))
+            return;
+        this.#scheduled = true;
+        queueMicrotask(() => {
+            this.#scheduled = false;
+            this.batch.within(() => this.changed(), BACKGROUND_CONTEXT);
+        });
+    }
+    deliver(context) {
+        const value = this.value;
+        this.publish(value, [["r", value]], false, context);
+    }
+}
+//# sourceMappingURL=activity.js.map

package/dist/host/activity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"activity.js","sourceRoot":"","sources":["../../src/host/activity.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAChH,iHAAiH;AAEjH,OAAO,EAAE,kBAAkB,EAAgB,MAAM,qBAAqB,CAAC;AAEvE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAc9C;;;;;GAKG;AACH,MAAM,OAAO,QAAS,SAAQ,MAAM;IAC1B,OAAO,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtE,sDAAsD;IACtD,MAAM,CAA6B;IACnC,UAAU,GAAG,KAAK,CAAC;IAEnB,IAAI,KAAK;QACR,IAAI,CAAC,MAAM,KAAK,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,IAA0B,EAAE,KAAa;QAC9C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QAC5B,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;QACxB,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC;YAAE,OAAO;QAC7E,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACvB,cAAc,CAAC,GAAG,EAAE;YACnB,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;CACD","sourcesContent":["// Keep-alive counts (§3, R26): `host.activity`, a JSON watchable of the work keeping a host busy, for the app's\n// supervisor. Counters are kept where the work happens; their changes in one microtask turn are one publication.\n\nimport { BACKGROUND_CONTEXT, type Context } from \"../context/index.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport { Source } from \"../state/internal.ts\";\n\n/** What `host.activity` counts. */\nexport type ActivityCounts = {\n\t/** Holds arriving over links and served here. */\n\treadonly references: number;\n\t/** Method calls running on this host, local and remote. */\n\treadonly calls: number;\n\t/** Running jobs (slice 5). */\n\treadonly jobs: number;\n\t/** Objects kept live by their type's `linger` after their last reference. */\n\treadonly lingering: number;\n};\n\n/**\n * `host.activity`. A count marks it changed; while it is watched or derived from, the first change of a microtask turn\n * schedules one publication, a batch that gives its watches the counts as they are then (`[[\"r\", counts]]`: a slow\n * watch gets the newest counts) and marks derives over it. Its value is built from the counters when read or\n * published.\n */\nexport class Activity extends Source {\n\treadonly #counts = { references: 0, calls: 0, jobs: 0, lingering: 0 };\n\t/** The counts as last read, until the next change. */\n\t#value: ActivityCounts | undefined;\n\t#scheduled = false;\n\n\tget value(): JsonValue {\n\t\tthis.#value ??= { ...this.#counts };\n\t\treturn this.#value;\n\t}\n\n\t/**\n\t * Adds `delta` to the count of `kind`; published with the turn's other changes. Nothing is scheduled while nobody\n\t * watches or derives from it: a later watch or derive reads the counts as they are then.\n\t */\n\tcount(kind: keyof ActivityCounts, delta: number): void {\n\t\tthis.#counts[kind] += delta;\n\t\tthis.#value = undefined;\n\t\tif (this.#scheduled || (!this.watched && this.dependents.size === 0)) return;\n\t\tthis.#scheduled = true;\n\t\tqueueMicrotask(() => {\n\t\t\tthis.#scheduled = false;\n\t\t\tthis.batch.within(() => this.changed(), BACKGROUND_CONTEXT);\n\t\t});\n\t}\n\n\tdeliver(context: Context): void {\n\t\tconst value = this.value;\n\t\tthis.publish(value, [[\"r\", value]], false, context);\n\t}\n}\n"]}

package/dist/host/adapted.d.ts

@@ -0,0 +1,49 @@
+import { ChordError } from "../data/index.ts";
+import type { JsonValue } from "../json.ts";
+import type { Batch } from "../state/batch.ts";
+import { type DeriveSource } from "../state/internal.ts";
+import type { Served } from "./object.ts";
+/** What the mappings of one instance read: its provider, its variant, its own members, its host's batch and reports. */
+export type AdaptedInstance = {
+    readonly served: Served;
+    readonly variant: string | undefined;
+    readonly label: string;
+    readonly batch: Batch;
+    /** The instance's state member `member` (`invalid/member` when its variant has none). */
+    member(member: string): DeriveSource;
+    /** Reports a mapping derive's failure (`derive_failed`). */
+    report(member: string, error: unknown): void;
+};
+/**
+ * Why consumers of the older `version` cannot bind to `served`'s `variant`: a version it does not accept, or a member
+ * of it the provider refuses (`contract_mismatch`); `undefined` when they can.
+ */
+export declare function refusal(served: Served, version: number, variant: string | undefined): ChordError | undefined;
+/** One instance's members as the consumers of one older version read them. */
+export declare class AdaptedMembers {
+    #private;
+    readonly version: number;
+    constructor(instance: AdaptedInstance, version: number);
+    /**
+     * State member `member` as this version reads it, made by the first use; `contract_mismatch` when the provider
+     * refuses it or does not accept this version.
+     */
+    member(member: string): DeriveSource;
+    /**
+     * The document `document` at a key of keyed member `member` as this version reads it: the document itself when
+     * unchanged, else a derive of it through the mapping, shared by its holders; `release` (once per call) lets the last
+     * holder's go. `contract_mismatch` when the provider refuses the member.
+     */
+    key(member: string, document: DeriveSource): {
+        readonly source: DeriveSource;
+        release(): void;
+    };
+    /**
+     * The provider's mapping of keyed member `member`'s documents to this version's shape (`undefined`: unchanged),
+     * counted; throws `contract_mismatch` when the provider refuses it.
+     */
+    keyed(member: string): ((current: JsonValue) => JsonValue) | undefined;
+    /** Its instance ended, or the version's last reference left: its derives go (their watches end with `error`). */
+    detach(error: Error): void;
+}
+//# sourceMappingURL=adapted.d.ts.map

package/dist/host/adapted.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapted.d.ts","sourceRoot":"","sources":["../../src/host/adapted.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAU,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAW1C,wHAAwH;AACxH,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,yFAAyF;IACzF,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAAC;IACrC,4DAA4D;IAC5D,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;CAC7C,CAAC;AAKF;;;GAGG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAc5G;AAED,8EAA8E;AAC9E,qBAAa,cAAc;;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IASzB,YAAY,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAGrD;IAED;;;OAGG;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAMnC;IAED;;;;OAIG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;QAAC,OAAO,IAAI,IAAI,CAAA;KAAE,CAsC9F;IAED;;;OAGG;IACH,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,KAAK,SAAS,CAAC,GAAG,SAAS,CAErE;IAED,iHAAiH;IACjH,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAQzB;CAuED"}

package/dist/host/adapted.js

@@ -0,0 +1,214 @@
+// Adapted members (Q10, §22, slice 7b §7; decision "References are the only indirection" (5)): one object instance's
+// shared mapping for the consumers of one older version its provider accepts. Per state member one derive of the
+// instance's member through `(current) => old` (a changed member), of its variant's whole state through `(state) => old`
+// (a removed member), or the member itself (unchanged), made on first use; per key of a keyed member one derive of the
+// key's document through the member's mapping, shared by the references holding it. One map and one diff per commit
+// per version, whatever the number of old references. Dropped when no reference of the version is left, gone with the
+// instance; references move to a new instance's mappings as to any new instance. A version the provider does not
+// accept, or a refused member, gives no member (`contract_mismatch`): its consumers wait unbound.
+import { currentVariants, LOCAL, variantsAt } from "../contracts/internal.js";
+import { ChordError } from "../data/index.js";
+import { Derive } from "../state/internal.js";
+/**
+ * Why consumers of the older `version` cannot bind to `served`'s `variant`: a version it does not accept, or a member
+ * of it the provider refuses (`contract_mismatch`); `undefined` when they can.
+ */
+export function refusal(served, version, variant) {
+    const { contract, provider } = served;
+    if (!provider.accepted.some((accepted) => accepted.version === version)) {
+        return new ChordError({ code: "contract_mismatch", message: `${contract.name} v${version} is not served here` });
+    }
+    const mappings = mappingsOf(served, version);
+    const old = variantsAt(contract, version).get(variant ?? LOCAL);
+    for (const member of old?.state.keys() ?? []) {
+        if (stateMapping(served, mappings, variant, member) === "refuse")
+            return refused(contract, version, member);
+    }
+    for (const member of old?.keyed.keys() ?? []) {
+        if (mappings?.keyed?.[member] === "refuse")
+            return refused(contract, version, member);
+    }
+    return undefined;
+}
+/** One instance's members as the consumers of one older version read them. */
+export class AdaptedMembers {
+    version;
+    #instance;
+    /** The members read so far: a mapping derive, or the instance's member itself (unchanged). */
+    #members = new Map();
+    /** The mapping derives it made (an unchanged member is the instance's own: it never detaches that one). */
+    #derives = new Set();
+    /** The keys held so far, by the instance's key document. */
+    #keys;
+    constructor(instance, version) {
+        this.#instance = instance;
+        this.version = version;
+    }
+    /**
+     * State member `member` as this version reads it, made by the first use; `contract_mismatch` when the provider
+     * refuses it or does not accept this version.
+     */
+    member(member) {
+        const made = this.#members.get(member);
+        if (made !== undefined)
+            return made;
+        const source = this.#make(member);
+        this.#members.set(member, source);
+        return source;
+    }
+    /**
+     * The document `document` at a key of keyed member `member` as this version reads it: the document itself when
+     * unchanged, else a derive of it through the mapping, shared by its holders; `release` (once per call) lets the last
+     * holder's go. `contract_mismatch` when the provider refuses the member.
+     */
+    key(member, document) {
+        const mapping = this.#keyed(member);
+        if (mapping === undefined)
+            return { source: document, release: () => { } };
+        this.#keys ??= new Map();
+        const keys = this.#keys;
+        // By member, then document: two keyed members over one handle map the same document differently (Astra).
+        let found = keys.get(member);
+        if (found === undefined) {
+            found = new Map();
+            keys.set(member, found);
+        }
+        const byDocument = found;
+        let held = byDocument.get(document);
+        if (held === undefined) {
+            const { batch } = this.#instance;
+            const derive = new Derive([document], ([value]) => mapping(value), batch);
+            // A failure of the mapping is the reader's (its watch gets it); nothing to report for the provider.
+            derive.attach((declared) => declared, () => { });
+            held = { derive, holders: 0 };
+            byDocument.set(document, held);
+        }
+        held.holders++;
+        const key = held;
+        let released = false;
+        return {
+            source: key.derive,
+            release: () => {
+                if (released)
+                    return;
+                released = true;
+                if (--key.holders > 0 || byDocument.get(document) !== key)
+                    return;
+                byDocument.delete(document);
+                if (byDocument.size === 0 && keys.get(member) === byDocument)
+                    keys.delete(member);
+                key.derive.detach(ended(this.#instance.label));
+            },
+        };
+    }
+    /**
+     * The provider's mapping of keyed member `member`'s documents to this version's shape (`undefined`: unchanged),
+     * counted; throws `contract_mismatch` when the provider refuses it.
+     */
+    keyed(member) {
+        return this.#keyed(member);
+    }
+    /** Its instance ended, or the version's last reference left: its derives go (their watches end with `error`). */
+    detach(error) {
+        for (const derive of this.#derives)
+            derive.detach(error);
+        this.#derives.clear();
+        this.#members.clear();
+        for (const byDocument of this.#keys?.values() ?? []) {
+            for (const { derive } of byDocument.values())
+                derive.detach(error);
+        }
+        this.#keys = undefined;
+    }
+    /** The mapping of keyed member `member`, counted; `contract_mismatch` when refused. */
+    #keyed(member) {
+        this.#assertAccepted();
+        const mapping = this.#mappings?.keyed?.[member];
+        if (mapping === undefined)
+            return undefined;
+        if (mapping === "refuse")
+            throw refused(this.#contract, this.version, member);
+        const { batch } = this.#instance;
+        return (current) => {
+            batch.count("chord.contract.adapts");
+            // The provider's mapping, typed by its contract; its result is the old shape (not validated).
+            return mapping(current);
+        };
+    }
+    /**
+     * What `member` is at this version: the instance's member itself (unchanged), or a derive through the mapping, of the
+     * member when the current variant has it, else of the variant's whole current state (a removed member).
+     */
+    #make(member) {
+        this.#assertAccepted();
+        const instance = this.#instance;
+        const { variant, batch } = instance;
+        const mapping = stateMapping(instance.served, this.#mappings, variant, member);
+        if (mapping === undefined)
+            return instance.member(member);
+        if (mapping === "refuse")
+            throw refused(this.#contract, this.version, member);
+        const map = (value) => {
+            batch.count("chord.contract.adapts");
+            // The provider's mapping, typed by its contract; its result is the old member's shape (not validated).
+            return mapping(value);
+        };
+        const current = currentVariants(this.#contract).get(variant ?? LOCAL);
+        // The member when the current variant has it, else the variant's whole current state (a removed member).
+        const kept = current.state.has(member);
+        const names = kept ? [member] : [...current.state.keys()];
+        const sources = names.map((name) => instance.member(name));
+        const derive = kept
+            ? new Derive(sources, ([value]) => map(value), batch)
+            : new Derive(sources, (values) => map(Object.fromEntries(names.map((name, index) => [name, values[index]]))), batch);
+        this.#derives.add(derive);
+        // The sources are the instance's members already.
+        derive.attach((source) => source, (error) => instance.report(member, error));
+        return derive;
+    }
+    /** Throws `contract_mismatch` unless the provider accepts this version. */
+    #assertAccepted() {
+        const { contract, provider } = this.#instance.served;
+        if (provider.accepted.some(({ version }) => version === this.version))
+            return;
+        throw new ChordError({
+            code: "contract_mismatch",
+            message: `${contract.name} v${this.version} is not served here`,
+        });
+    }
+    get #contract() {
+        return this.#instance.served.contract;
+    }
+    /** This version's mappings in the provider's accepts table. */
+    get #mappings() {
+        return mappingsOf(this.#instance.served, this.version);
+    }
+}
+/** `version`'s mappings in `served`'s accepts table. */
+function mappingsOf(served, version) {
+    // `checkAccepts` established the table's shape.
+    const accepts = served.provider.accepts;
+    return accepts[version];
+}
+/** The mapping of state member `member` of `variant` in `mappings`; `undefined` when it is unchanged. */
+function stateMapping(served, mappings, variant, member) {
+    const state = mappings?.state;
+    if (state === undefined)
+        return undefined;
+    if (served.contract.kind === "local")
+        return state[member];
+    const section = state[variant ?? ""];
+    return section?.[member];
+}
+/** The `contract_mismatch` of a member of `version` the provider refuses. */
+function refused(contract, version, member) {
+    return new ChordError({
+        code: "contract_mismatch",
+        message: `${contract.name} v${version}: member "${member}" is refused by its provider`,
+    });
+}
+/** The `released` error its derives end with when its instance or version goes. */
+function ended(label) {
+    return new ChordError({ code: "released", reason: "ended", message: `${label}: ended` });
+}
+//# sourceMappingURL=adapted.js.map

package/dist/host/adapted.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapted.js","sourceRoot":"","sources":["../../src/host/adapted.ts"],"names":[],"mappings":"AAAA,qHAAqH;AACrH,iHAAiH;AACjH,yHAAyH;AACzH,uHAAuH;AACvH,oHAAoH;AACpH,sHAAsH;AACtH,iHAAiH;AACjH,kGAAkG;AAGlG,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,MAAM,EAAqB,MAAM,sBAAsB,CAAC;AA2BjE;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,OAAe,EAAE,OAA2B;IACnF,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IACtC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,qBAAqB,EAAE,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC;IAChE,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7G,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;QAC9C,IAAI,QAAQ,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,8EAA8E;AAC9E,MAAM,OAAO,cAAc;IACjB,OAAO,CAAS;IAChB,SAAS,CAAkB;IACpC,8FAA8F;IACrF,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACpD,2GAA2G;IAClG,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,4DAA4D;IAC5D,KAAK,CAAwD;IAE7D,YAAY,QAAyB,EAAE,OAAe;QACrD,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,MAAc;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;;;OAIG;IACH,GAAG,CAAC,MAAc,EAAE,QAAsB;QACzC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC;QAC1E,IAAI,CAAC,KAAK,KAAK,IAAI,GAAG,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,yGAAyG;QACzG,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC;QACzB,IAAI,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAkB,CAAC,EAAE,KAAK,CAAC,CAAC;YACvF,oGAAoG;YACpG,MAAM,CAAC,MAAM,CACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAwB,EACtC,GAAG,EAAE,GAAE,CAAC,CACR,CAAC;YACF,IAAI,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YAC9B,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,GAAG,GAAG,IAAI,CAAC;QACjB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,OAAO;YACN,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,EAAE;gBACb,IAAI,QAAQ;oBAAE,OAAO;gBACrB,QAAQ,GAAG,IAAI,CAAC;gBAChB,IAAI,EAAE,GAAG,CAAC,OAAO,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG;oBAAE,OAAO;gBAClE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAC5B,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,UAAU;oBAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAClF,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YAChD,CAAC;SACD,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,MAAc;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED,iHAAiH;IACjH,MAAM,CAAC,KAAY;QAClB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACrD,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE;gBAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;IACxB,CAAC;IAED,uFAAuF;IACvF,MAAM,CAAC,MAAc;QACpB,IAAI,CAAC,eAAe,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5C,IAAI,OAAO,KAAK,QAAQ;YAAE,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9E,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,OAAO,CAAC,OAAO,EAAE,EAAE;YAClB,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACrC,8FAA8F;YAC9F,OAAO,OAAO,CAAC,OAAgB,CAAc,CAAC;QAC/C,CAAC,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,MAAc;QACnB,IAAI,CAAC,eAAe,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;QACpC,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/E,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,OAAO,KAAK,QAAQ;YAAE,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9E,MAAM,GAAG,GAAG,CAAC,KAAc,EAAa,EAAE;YACzC,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACrC,uGAAuG;YACvG,OAAO,OAAO,CAAC,KAAc,CAAc,CAAC;QAC7C,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,KAAK,CAAE,CAAC;QACvE,yGAAyG;QACzG,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI;YAClB,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;YACrD,CAAC,CAAC,IAAI,MAAM,CACV,OAAO,EACP,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EACtF,KAAK,CACL,CAAC;QACJ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,kDAAkD;QAClD,MAAM,CAAC,MAAM,CACZ,CAAC,MAAM,EAAE,EAAE,CAAC,MAAsB,EAClC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACzC,CAAC;QACF,OAAO,MAAM,CAAC;IACf,CAAC;IAED,2EAA2E;IAC3E,eAAe;QACd,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QACrD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO;QAC9E,MAAM,IAAI,UAAU,CAAC;YACpB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,qBAAqB;SAC/D,CAAC,CAAC;IACJ,CAAC;IAED,IAAI,SAAS;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;IACvC,CAAC;IAED,+DAA+D;IAC/D,IAAI,SAAS;QACZ,OAAO,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC;CACD;AAED,wDAAwD;AACxD,SAAS,UAAU,CAAC,MAAc,EAAE,OAAe;IAClD,gDAAgD;IAChD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,OAA0D,CAAC;IAC3F,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED,yGAAyG;AACzG,SAAS,YAAY,CACpB,MAAc,EACd,QAAqC,EACrC,OAA2B,EAC3B,MAAc;IAEd,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,MAAM,CAA6B,CAAC;IACvF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAA4D,CAAC;IAChG,OAAO,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO,CAAC,QAAkB,EAAE,OAAe,EAAE,MAAc;IACnE,OAAO,IAAI,UAAU,CAAC;QACrB,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,KAAK,OAAO,aAAa,MAAM,8BAA8B;KACtF,CAAC,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,SAAS,KAAK,CAAC,KAAa;IAC3B,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,SAAS,EAAE,CAAC,CAAC;AAC1F,CAAC","sourcesContent":["// Adapted members (Q10, §22, slice 7b §7; decision \"References are the only indirection\" (5)): one object instance's\n// shared mapping for the consumers of one older version its provider accepts. Per state member one derive of the\n// instance's member through `(current) => old` (a changed member), of its variant's whole state through `(state) => old`\n// (a removed member), or the member itself (unchanged), made on first use; per key of a keyed member one derive of the\n// key's document through the member's mapping, shared by the references holding it. One map and one diff per commit\n// per version, whatever the number of old references. Dropped when no reference of the version is left, gone with the\n// instance; references move to a new instance's mappings as to any new instance. A version the provider does not\n// accept, or a refused member, gives no member (`contract_mismatch`): its consumers wait unbound.\n\nimport type { Contract } from \"../contracts/index.ts\";\nimport { currentVariants, LOCAL, variantsAt } from \"../contracts/internal.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport type { Batch } from \"../state/batch.ts\";\nimport { Derive, type DeriveSource } from \"../state/internal.ts\";\nimport type { Served } from \"./object.ts\";\n\n/** A state mapping as an accepts table holds it (checked by `checkAccepts`). */\ntype StateMapping = ((current: never) => unknown) | \"refuse\";\n\n/** One older version's mappings, as `checkAccepts` checked them: remote state by variant, local state flat. */\ntype VersionMappings = {\n\treadonly state?: { readonly [key: string]: StateMapping | { readonly [member: string]: StateMapping } };\n\treadonly keyed?: { readonly [member: string]: StateMapping };\n};\n\n/** What the mappings of one instance read: its provider, its variant, its own members, its host's batch and reports. */\nexport type AdaptedInstance = {\n\treadonly served: Served;\n\treadonly variant: string | undefined;\n\treadonly label: string;\n\treadonly batch: Batch;\n\t/** The instance's state member `member` (`invalid/member` when its variant has none). */\n\tmember(member: string): DeriveSource;\n\t/** Reports a mapping derive's failure (`derive_failed`). */\n\treport(member: string, error: unknown): void;\n};\n\n/** A key's mapping derive, shared by the references holding the key at this version. */\ntype MappedKey = { readonly derive: Derive; holders: number };\n\n/**\n * Why consumers of the older `version` cannot bind to `served`'s `variant`: a version it does not accept, or a member\n * of it the provider refuses (`contract_mismatch`); `undefined` when they can.\n */\nexport function refusal(served: Served, version: number, variant: string | undefined): ChordError | undefined {\n\tconst { contract, provider } = served;\n\tif (!provider.accepted.some((accepted) => accepted.version === version)) {\n\t\treturn new ChordError({ code: \"contract_mismatch\", message: `${contract.name} v${version} is not served here` });\n\t}\n\tconst mappings = mappingsOf(served, version);\n\tconst old = variantsAt(contract, version).get(variant ?? LOCAL);\n\tfor (const member of old?.state.keys() ?? []) {\n\t\tif (stateMapping(served, mappings, variant, member) === \"refuse\") return refused(contract, version, member);\n\t}\n\tfor (const member of old?.keyed.keys() ?? []) {\n\t\tif (mappings?.keyed?.[member] === \"refuse\") return refused(contract, version, member);\n\t}\n\treturn undefined;\n}\n\n/** One instance's members as the consumers of one older version read them. */\nexport class AdaptedMembers {\n\treadonly version: number;\n\treadonly #instance: AdaptedInstance;\n\t/** The members read so far: a mapping derive, or the instance's member itself (unchanged). */\n\treadonly #members = new Map<string, DeriveSource>();\n\t/** The mapping derives it made (an unchanged member is the instance's own: it never detaches that one). */\n\treadonly #derives = new Set<Derive>();\n\t/** The keys held so far, by the instance's key document. */\n\t#keys: Map<string, Map<DeriveSource, MappedKey>> | undefined;\n\n\tconstructor(instance: AdaptedInstance, version: number) {\n\t\tthis.#instance = instance;\n\t\tthis.version = version;\n\t}\n\n\t/**\n\t * State member `member` as this version reads it, made by the first use; `contract_mismatch` when the provider\n\t * refuses it or does not accept this version.\n\t */\n\tmember(member: string): DeriveSource {\n\t\tconst made = this.#members.get(member);\n\t\tif (made !== undefined) return made;\n\t\tconst source = this.#make(member);\n\t\tthis.#members.set(member, source);\n\t\treturn source;\n\t}\n\n\t/**\n\t * The document `document` at a key of keyed member `member` as this version reads it: the document itself when\n\t * unchanged, else a derive of it through the mapping, shared by its holders; `release` (once per call) lets the last\n\t * holder's go. `contract_mismatch` when the provider refuses the member.\n\t */\n\tkey(member: string, document: DeriveSource): { readonly source: DeriveSource; release(): void } {\n\t\tconst mapping = this.#keyed(member);\n\t\tif (mapping === undefined) return { source: document, release: () => {} };\n\t\tthis.#keys ??= new Map();\n\t\tconst keys = this.#keys;\n\t\t// By member, then document: two keyed members over one handle map the same document differently (Astra).\n\t\tlet found = keys.get(member);\n\t\tif (found === undefined) {\n\t\t\tfound = new Map();\n\t\t\tkeys.set(member, found);\n\t\t}\n\t\tconst byDocument = found;\n\t\tlet held = byDocument.get(document);\n\t\tif (held === undefined) {\n\t\t\tconst { batch } = this.#instance;\n\t\t\tconst derive = new Derive([document], ([value]) => mapping(value as JsonValue), batch);\n\t\t\t// A failure of the mapping is the reader's (its watch gets it); nothing to report for the provider.\n\t\t\tderive.attach(\n\t\t\t\t(declared) => declared as DeriveSource,\n\t\t\t\t() => {},\n\t\t\t);\n\t\t\theld = { derive, holders: 0 };\n\t\t\tbyDocument.set(document, held);\n\t\t}\n\t\theld.holders++;\n\t\tconst key = held;\n\t\tlet released = false;\n\t\treturn {\n\t\t\tsource: key.derive,\n\t\t\trelease: () => {\n\t\t\t\tif (released) return;\n\t\t\t\treleased = true;\n\t\t\t\tif (--key.holders > 0 || byDocument.get(document) !== key) return;\n\t\t\t\tbyDocument.delete(document);\n\t\t\t\tif (byDocument.size === 0 && keys.get(member) === byDocument) keys.delete(member);\n\t\t\t\tkey.derive.detach(ended(this.#instance.label));\n\t\t\t},\n\t\t};\n\t}\n\n\t/**\n\t * The provider's mapping of keyed member `member`'s documents to this version's shape (`undefined`: unchanged),\n\t * counted; throws `contract_mismatch` when the provider refuses it.\n\t */\n\tkeyed(member: string): ((current: JsonValue) => JsonValue) | undefined {\n\t\treturn this.#keyed(member);\n\t}\n\n\t/** Its instance ended, or the version's last reference left: its derives go (their watches end with `error`). */\n\tdetach(error: Error): void {\n\t\tfor (const derive of this.#derives) derive.detach(error);\n\t\tthis.#derives.clear();\n\t\tthis.#members.clear();\n\t\tfor (const byDocument of this.#keys?.values() ?? []) {\n\t\t\tfor (const { derive } of byDocument.values()) derive.detach(error);\n\t\t}\n\t\tthis.#keys = undefined;\n\t}\n\n\t/** The mapping of keyed member `member`, counted; `contract_mismatch` when refused. */\n\t#keyed(member: string): ((current: JsonValue) => JsonValue) | undefined {\n\t\tthis.#assertAccepted();\n\t\tconst mapping = this.#mappings?.keyed?.[member];\n\t\tif (mapping === undefined) return undefined;\n\t\tif (mapping === \"refuse\") throw refused(this.#contract, this.version, member);\n\t\tconst { batch } = this.#instance;\n\t\treturn (current) => {\n\t\t\tbatch.count(\"chord.contract.adapts\");\n\t\t\t// The provider's mapping, typed by its contract; its result is the old shape (not validated).\n\t\t\treturn mapping(current as never) as JsonValue;\n\t\t};\n\t}\n\n\t/**\n\t * What `member` is at this version: the instance's member itself (unchanged), or a derive through the mapping, of the\n\t * member when the current variant has it, else of the variant's whole current state (a removed member).\n\t */\n\t#make(member: string): DeriveSource {\n\t\tthis.#assertAccepted();\n\t\tconst instance = this.#instance;\n\t\tconst { variant, batch } = instance;\n\t\tconst mapping = stateMapping(instance.served, this.#mappings, variant, member);\n\t\tif (mapping === undefined) return instance.member(member);\n\t\tif (mapping === \"refuse\") throw refused(this.#contract, this.version, member);\n\t\tconst map = (value: unknown): JsonValue => {\n\t\t\tbatch.count(\"chord.contract.adapts\");\n\t\t\t// The provider's mapping, typed by its contract; its result is the old member's shape (not validated).\n\t\t\treturn mapping(value as never) as JsonValue;\n\t\t};\n\t\tconst current = currentVariants(this.#contract).get(variant ?? LOCAL)!;\n\t\t// The member when the current variant has it, else the variant's whole current state (a removed member).\n\t\tconst kept = current.state.has(member);\n\t\tconst names = kept ? [member] : [...current.state.keys()];\n\t\tconst sources = names.map((name) => instance.member(name));\n\t\tconst derive = kept\n\t\t\t? new Derive(sources, ([value]) => map(value), batch)\n\t\t\t: new Derive(\n\t\t\t\t\tsources,\n\t\t\t\t\t(values) => map(Object.fromEntries(names.map((name, index) => [name, values[index]]))),\n\t\t\t\t\tbatch,\n\t\t\t\t);\n\t\tthis.#derives.add(derive);\n\t\t// The sources are the instance's members already.\n\t\tderive.attach(\n\t\t\t(source) => source as DeriveSource,\n\t\t\t(error) => instance.report(member, error),\n\t\t);\n\t\treturn derive;\n\t}\n\n\t/** Throws `contract_mismatch` unless the provider accepts this version. */\n\t#assertAccepted(): void {\n\t\tconst { contract, provider } = this.#instance.served;\n\t\tif (provider.accepted.some(({ version }) => version === this.version)) return;\n\t\tthrow new ChordError({\n\t\t\tcode: \"contract_mismatch\",\n\t\t\tmessage: `${contract.name} v${this.version} is not served here`,\n\t\t});\n\t}\n\n\tget #contract(): Contract {\n\t\treturn this.#instance.served.contract;\n\t}\n\n\t/** This version's mappings in the provider's accepts table. */\n\tget #mappings(): VersionMappings | undefined {\n\t\treturn mappingsOf(this.#instance.served, this.version);\n\t}\n}\n\n/** `version`'s mappings in `served`'s accepts table. */\nfunction mappingsOf(served: Served, version: number): VersionMappings | undefined {\n\t// `checkAccepts` established the table's shape.\n\tconst accepts = served.provider.accepts as { readonly [version: number]: VersionMappings };\n\treturn accepts[version];\n}\n\n/** The mapping of state member `member` of `variant` in `mappings`; `undefined` when it is unchanged. */\nfunction stateMapping(\n\tserved: Served,\n\tmappings: VersionMappings | undefined,\n\tvariant: string | undefined,\n\tmember: string,\n): StateMapping | undefined {\n\tconst state = mappings?.state;\n\tif (state === undefined) return undefined;\n\tif (served.contract.kind === \"local\") return state[member] as StateMapping | undefined;\n\tconst section = state[variant ?? \"\"] as { readonly [member: string]: StateMapping } | undefined;\n\treturn section?.[member];\n}\n\n/** The `contract_mismatch` of a member of `version` the provider refuses. */\nfunction refused(contract: Contract, version: number, member: string): ChordError {\n\treturn new ChordError({\n\t\tcode: \"contract_mismatch\",\n\t\tmessage: `${contract.name} v${version}: member \"${member}\" is refused by its provider`,\n\t});\n}\n\n/** The `released` error its derives end with when its instance or version goes. */\nfunction ended(label: string): ChordError {\n\treturn new ChordError({ code: \"released\", reason: \"ended\", message: `${label}: ended` });\n}\n"]}