@earendil-works/chord 1.4.0 → 1.5.1

package/dist/store/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/store/store.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,mHAAmH;AACnH,uHAAuH;AACvH,sHAAsH;AACtH,wHAAwH;AACxH,mBAAmB;AAEnB,OAAO,EAAE,gBAAgB,EAAgB,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAG7C,OAAO,EAAE,WAAW,EAAoB,YAAY,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAgB,MAAM,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,EAAoB,IAAI,EAAmB,MAAM,WAAW,CAAC;AA4BpE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,OAAgB,EAAE,OAAgB,EAAE,OAAO,GAAiB,EAAE;IAC7F,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC;IACvB,IAAI,CAAC;QACJ,OAAO,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,EAAE,EAAE,MAAM,gBAAgB,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAChF,OAAO,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CAAC;YACJ,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;QAClB,CAAC;QAAC,MAAM,CAAC;YACR,+CAA+C;QAChD,CAAC;QACD,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC;AAED,sHAAsH;AACtH,KAAK,UAAU,YAAY,CAAC,EAAkB,EAAE,IAAa,EAAE,MAA2B;IACzF,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;QACvC,MAAM,QAAQ,CAAC,GAAG,CACjB,UAAU,MAAM,CAAC,IAAI,uDAAuD,EAC5E,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACd,KAAK,CACL,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,MAAM,QAAQ,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;AACjE,CAAC;AAuFD,MAAM,KAAK,GAA0B,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAEnE,MAAM,OAAO,GAAG,GAAS,EAAE,GAAE,CAAC,CAAC;AAE/B,oGAAoG;AACpG,MAAM,IAAI,GAAkB,MAAM,CAAC,MAAM,CAAC,CAAC;AAE3C,mHAAmH;AACnH,MAAM,OAAO,UAAU;IACb,GAAG,CAAiB;IAC7B,QAAQ,CAAS;IACjB,oFAAoF;IACpF,gBAAgB,CAAS;IAChB,IAAI,CAAc;IAC3B,yDAAyD;IAChD,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;IAC/B,OAAO,CAAqB;IAC5B,MAAM,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAA0C;IAClD,4FAA4F;IAC5F,SAAS,GAAG,KAAK,CAAC;IAClB,iFAAiF;IACjF,KAAK,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;IACzC,sHAAsH;IACtH,KAAK,CAA6B;IAClC,sEAAsE;IACtE,SAAS,GAAG,CAAC,CAAC;IACd,wDAAwD;IACxD,QAAQ,CAA2B;IACnC,wGAAwG;IACxG,WAAW,CAAyB;IACpC,QAAQ,CAA4B;IACpC,2GAA2G;IAClG,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,8EAA8E;IACrE,QAAQ,CAA2B;IAC5C,kGAAkG;IACzF,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IAEvC,YAAY,EAAkB,EAAE,IAAa,EAAE,OAAiC;QAC/E,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,CAAC;IAED,IAAI,OAAO;QACV,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAED,IAAI,MAAM;QACT,OAAO,IAAI,CAAC,OAAO,CAAC;IACrB,CAAC;IAED,6DAA6D;IAC7D,IAAI,MAAM;QACT,OAAO,IAAI,CAAC,gBAAgB,CAAC;IAC9B,CAAC;IAED,iGAAiG;IACjG,IAAI,GAAG;QACN,OAAO,IAAI,CAAC,IAAI,CAAC;IAClB,CAAC;IAED,2GAA2G;IAC3G,MAAM;QACL,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,CAAC;IAED,oGAAoG;IACpG,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;IAChC,CAAC;IAED,gEAAgE;IAChE,IAAI,MAAM;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACtB,CAAC;IAED,MAAM,CAAC,OAAgB;QACtB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IAED;;;;OAIG;IACH,IAAI,CAAC,GAAe;QACnB,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,EAAQ,CAAC;QAC3C,MAAM,OAAO,GAAG,GAAS,EAAE;YAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE;YAClC,qGAAqG;YACrG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,OAAO,EAAE,CAAC;gBACV,GAAG,EAAE,CAAC;YACP,CAAC;YACD,OAAO,OAAO,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5C,OAAO,KAAK,CAAC;IACd,CAAC;IAED,uEAAuE;IACvE,KAAK,CAAC,IAAY;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,IAAY;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;QAClD,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,OAAO,SAAS,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5G,CAAC;IAED,gHAAgH;IAChH,aAAa,CAAC,IAAY,EAAE,OAAe;QAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,OAAO,GAAG,EAAE;YACX,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO;gBAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC;IACH,CAAC;IAED,oFAAoF;IACpF,MAAM,CAAC,UAAsB;QAC5B,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC;IAC/B,CAAC;IAED,wDAAwD;IACxD,MAAM;QACL,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;IAC9B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,MAA8B,EAAE,KAAkB,EAAE,OAAgB;QAC1E,IAAI,CAAC;YACJ,IAAI,CAAC,YAAY,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,EAAU,CAAC;QACrE,MAAM,MAAM,GAAiB,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QACzE,4EAA4E;QAC5E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;QACvB,iHAAiH;QACjH,kGAAkG;QAClG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;aACrB,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;aAC9B,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QACJ,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACnD,OAAO,OAAO,CAAC;IAChB,CAAC;IAED;;;;;;;;;OASG;IACH,YAAY,CACX,OAAgC,EAChC,OAAqE,EACrE,OAAgB;QAEhB,IAAI,CAAC;YACJ,IAAI,CAAC,YAAY,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC9E,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;;;;OAKG;IACH,IAAI,CAAI,IAA8C,EAAE,OAAgB;QACvE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED;;;OAGG;IACH,eAAe,CAAI,IAA8C,EAAE,OAAgB;QAClF,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,QAAQ,CAAI,GAAqB,EAAE,OAAgB;QACxD,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,MAAS,CAAC;QACd,IAAI,CAAC;YACJ,iFAAiF;YACjF,MAAM,GAAG,MAAM,GAAG,EAAE,CAAC;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;YACnC,yGAAyG;YACzG,IAAI,CAAC,MAAM,EAAE,OAAO;gBAAE,IAAI,CAAC,QAAQ,KAAK,EAAE,KAAK,EAAE,CAAC;YAClD,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,MAAM,EAAE,OAAO;gBAClB,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,qBAAqB,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACrG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC;IACf,CAAC;IAED,oFAAoF;IACpF,OAAO;QACN,IAAI,EAAE,IAAI,CAAC,SAAS,KAAK,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC/C,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,QAAQ,CAAC,KAAkD;QAChE,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,CAAC;YACJ,MAAM,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,kDAAkD;YAClD,IAAI,CAAC,QAAQ,KAAK,EAAE,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;gBAAS,CAAC;YACV,IAAI,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC;IACF,CAAC;IAED,KAAK,CAAC,OAAgB;QACrB,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,KAAK,CAAC,MAAM;QACX,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACjC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YAAE,GAAG,EAAE,CAAC;QACzC,MAAM,IAAI,CAAC,KAAK,CAAC;QACjB,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBACnC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;YACzB,CAAC,CAAC,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IACxB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,MAAM,CAAC,KAA8B;QAC1C,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK;YAAE,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACjD,IAAI,CAAC;YACJ,IAAI,CAAC,YAAY,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,KAAK,MAAM,MAAM,IAAI,KAAK;gBAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjD,OAAO;QACR,CAAC;QACD,yGAAyG;QACzG,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;YACxC,IAAI,CAAC;gBACJ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;oBAAE,OAAO,IAAI,CAAC;gBACtC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;YAC5B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,8FAA8F;gBAC9F,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC;YAC1B,OAAO,IAAI,CAAC,MAAM,CAAC,MAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,MAAO,CAAC,MAAM,EAAE,MAAO,CAAC,KAAK,EAAE,MAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACvG,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IAED,4DAA4D;IAC5D,KAAK,CAAC,MAAM,CAAC,MAAoB,EAAE,IAA2B;QAC7D,IAAI,CAAC;YACJ,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACF,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,QAAQ,CAAC,QAAiC;QAC/C,kHAAkH;QAClH,IAAI,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC/D,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAChC,OAAO;QACR,CAAC;QACD,IAAI,MAAM,GAAY,IAAI,CAAC;QAC3B,IAAI,IAAkB,CAAC;QACvB,IAAI,CAAC;YACJ,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACpD,IAAI,CAAC;oBACJ,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACnD,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,MAAM,GAAG,KAAK,CAAC;oBACf,MAAM,KAAK,CAAC;gBACb,CAAC;YACF,CAAC,CAAC,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjC,KAAK,MAAM,MAAM,IAAI,QAAQ;oBAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrD,OAAO;YACR,CAAC;YACD,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAChC,OAAO;QACR,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,qEAAqE;IACrE,KAAK,CAAC,UAAU,CAAC,QAAiC;QACjD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAClG,CAAC;IACF,CAAC;IAED,+GAA+G;IAC/G,KAAK,CAAC,WAAW,CAAC,QAAiC,EAAE,QAAwB;QAC5E,MAAM,QAAQ,GAAa;YAC1B,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;YACvB,OAAO,EAAE,SAAS;YAClB,UAAU,EAAE,CAAC;SACb,CAAC;QACF,MAAM,KAAK,GAAqC,EAAE,CAAC;QACnD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC/B,mEAAmE;YACnE,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAE,CAAC;YAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,QAAiC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAgB;QAC9E,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC;YACJ,OAAO,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAE,CAAC;gBAChC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;gBACvC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;gBACzB,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC;gBAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC1E,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAC/D,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC9C,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAK,CAAC;YAC3B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;YACzB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;YACpC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC;IACF,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,aAAa,CAAC,MAA8B,EAAE,KAAkB,EAAE,OAAgB;QACvF,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,MAAM,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,sFAAsF;YACtF,IAAI,CAAC;gBACJ,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YACnC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,CAAC;YACD,OAAO,IAAI,CAAC,QAAQ,CAAC;QACtB,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC9B,8GAA8G;QAC9G,IAAI,GAAG,GAAG,MAAM,CAAC,gBAAgB;YAAE,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC,CAAC;QAC7G,IAAI,MAAM,GAAY,IAAI,CAAC;QAC3B,IAAI,IAAsD,CAAC;QAC3D,IAAI,CAAC;YACJ,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACpD,IAAI,CAAC;oBACJ,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC/D,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC/C,MAAM,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;oBAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBACzB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,MAAM,GAAG,KAAK,CAAC;oBACf,MAAM,KAAK,CAAC;gBACb,CAAC;YACF,CAAC,CAAC,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,mGAAmG;YACnG,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,KAAK,CAAC;YAClC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,gEAAgE;QAChE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC;QACpB,IAAI,CAAC,gBAAgB,GAAG,MAAM,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1E,+GAA+G;QAC/G,wCAAwC;QACxC,IAAI,CAAC;YACJ,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACxD,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9C,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/D,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,OAAO,CACZ,OAAgC,EAChC,OAAqE,EACrE,OAAgB;QAEhB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,mHAAmH;QACnH,qDAAqD;QACrD,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,EAAE,CAAC;QACnE,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,MAAM,GAAY,IAAI,CAAC;QAC3B,IAAI,OAAgD,CAAC;QACrD,IAAI,IAAa,CAAC;QAClB,IAAI,CAAC;YACJ,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACpD,IAAI,CAAC;oBACJ,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;wBAC3D,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC;oBACrB,CAAC,CAAC,CAAC;gBACJ,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,MAAM,GAAG,KAAK,CAAC;oBACf,MAAM,KAAK,CAAC;gBACb,CAAC;YACF,CAAC,CAAC,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,yFAAyF;YACzF,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,KAAK,CAAC;YAClC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,yEAAyE;QACzE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QACnD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;YACzB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;YACpC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3E,CAAC;QACD,0FAA0F;QAC1F,IAAI,CAAC;YACJ,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACxD,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACpD,OAAO,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE;gBAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACxF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IAC9G,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,YAAY,CACjB,QAAwB,EACxB,OAAgC,EAChC,MAAgC;QAEhC,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAa;YAC1B,MAAM,EAAE,EAAE;YACV,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK;YACvB,OAAO,EAAE,SAAS;YAClB,UAAU,EAAE,CAAC;SACb,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;YAC1E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACtB,MAAM;YACP,CAAC;YACD,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,YAAY,CACjB,MAAoB,EACpB,OAAuB,EACvB,KAA0B,EAC1B,QAAkB;QAElB,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC;YACJ,MAAM,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,OAAO,SAAS,CAAC;QAClB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,KAAK,CAAC,MAAM;gBAAE,MAAM,KAAK,CAAC;YAC9B,OAAO,EAAE,KAAK,EAAE,CAAC;QAClB,CAAC;gBAAS,CAAC;YACV,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC;QACxC,CAAC;IACF,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,YAAY,CACjB,MAA8B,EAC9B,QAAwB,EACxB,QAAkB;QAElB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnF,QAAQ,CAAC,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,OAAO,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;gBAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC9E,CAAC;QACD,QAAQ,CAAC,IAAI,GAAG,IAAI,CAAC;QACrB,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,6CAA6C;IAC7C,QAAQ,CAAC,QAAkB;QAC1B,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC;IAED,uHAAuH;IACvH,KAAK,CAAC,YAAY,CAAC,QAAkB;QACpC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC;QAC/D,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;QACnF,MAAM,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC9B,OAAO;YACN,MAAM;YACN,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,IAAI,IAAI,GAAG,EAAE,EAAE;YAC7D,OAAO,EAAE,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,QAAQ;YACjC,UAAU,EAAE,UAAU,GAAG,CAAC;SAC1B,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,MAAM,CAAC,IAAU,EAAE,MAA8B;QACtD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAA6B,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC5B,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK;oBAAE,SAAS;gBACpC,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACrC,QAAQ,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACzB,CAAC;QACF,CAAC;QACD,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,GAAG,CACb,eAAe,MAAM,CAAC,MAAM,qDAAqD,EACjF,GAAG,EACH,aAAa,EACb,MAAM,EACN,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CACxB,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CACL,KAAiG,EACjG,YAAyC;QAEzC,IAAI,CAAC;YACJ,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC1B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACb,CAAC;IAED,2FAA2F;IAC3F,iBAAiB;QAChB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,SAAS;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,8CAA8C,CAAC,CAAC;QAC1F,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,8DAA8D,CAAC,CAAC;IAC7G,CAAC;IAED,KAAK,CAAC,OAAO,CACZ,KAAiG,EACjG,YAAyC;QAEzC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,uEAAuE;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAClC,IAAI,CAAC;YACJ,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QAC9C,CAAC;gBAAS,CAAC;YACV,MAAM,EAAE,CAAC;QACV,CAAC;IACF,CAAC;IAED,KAAK,CAAC,YAAY,CACjB,KAAiG,EACjG,YAAyC;QAEzC,IAAI,MAAM,GAAY,IAAI,CAAC;QAC3B,IAAI,QAAkB,CAAC;QACvB,IAAI,CAAC;YACJ,QAAQ,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACxD,IAAI,CAAC;oBACJ,OAAO,MAAM,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,MAAM,GAAG,KAAK,CAAC;oBACf,MAAM,KAAK,CAAC;gBACb,CAAC;YACF,CAAC,CAAC,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,KAAK,KAAK,MAAM;gBAAE,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,YAAY,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;YAC/C,MAAM,KAAK,CAAC;QACb,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC;QACjC,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,0EAA0E;IAC1E,IAAI,aAAa;QAChB,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;IACnC,CAAC;IAED,6FAA6F;IAC7F,YAAY;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC1B,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;IACzF,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAc;QACnB,IAAI,CAAC,QAAQ,KAAK,EAAE,KAAK,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACxC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;CACD;AAED,0FAA0F;AAC1F,SAAS,SAAS,CAAC,IAAU,EAAE,MAAc;IAC5C,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,oDAAoD,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAC9G,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,QAAwB,EAAE,KAA0B;IACvE,MAAM,OAAO,GAAG,KAAK,EAAK,IAAsB,EAAc,EAAE;QAC/D,IAAI,CAAC;YACJ,OAAO,MAAM,IAAI,EAAE,CAAC;QACrB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;YACpB,MAAM,KAAK,CAAC;QACb,CAAC;IACF,CAAC,CAAC;IACF,OAAO;QACN,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;QACpE,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;QAClF,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;QACpE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;KACpE,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,SAAS,SAAS;IACjB,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;AAChH,CAAC;AAED,iGAAiG;AACjG,SAAS,aAAa,CAAC,KAAc;IACpC,OAAO,IAAI,UAAU,CACpB,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,uBAAuB,EAAE,EACnF,EAAE,KAAK,EAAE,KAAK,EAAE,CAChB,CAAC;AACH,CAAC","sourcesContent":["// The store (slice 6a §2, §3, slice 6b §1): opened over a backend, one commit queue that serializes only the commit\n// step (the seal fence's admission check, `BEGIN`, the writes in their order, the outbox commit, `lastSeq` and the\n// allocator's value, `COMMIT`, then the owner's adoption), group commit (S18: the commits queued behind a running step\n// share the next step's backend transaction), the id allocator, the claims of its tables and documents, reads guarded\n// as Durable's `GuardedStorage` guards them, Durable's Storage semantics for a refused step (D4), and the stop after an\n// unknown outcome.\n\nimport { awaitWithContext, type Context } from \"../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { SqliteDatabase, SqliteExecutor } from \"../sqlite/index.ts\";\nimport type { Batch } from \"../state/internal.ts\";\nimport { chordMetrics } from \"../telemetry.ts\";\nimport { IdAllocator } from \"./allocator.ts\";\nimport type { ArchivePart } from \"./archive.ts\";\nimport type { Backend } from \"./backend.ts\";\nimport { readCatalog, type TableRecord, writeCatalog } from \"./catalog.ts\";\nimport { Claims } from \"./claims.ts\";\nimport { StoreExport } from \"./export.ts\";\nimport { OUTBOX_FORMAT, Outbox } from \"./outbox.ts\";\nimport { applyStoreSchema, type MetaRow, TABLES } from \"./schema.ts\";\nimport { type StagedWrite, Step, type WriteOrder } from \"./step.ts\";\nimport type { StoreWrite } from \"./writes.ts\";\n\n/** A store as apps hold it: opened by `openStore`, owned and closed by the app. */\nexport interface Store {\n\t/** The seq of the store's last commit (0 for a new store). */\n\treadonly lastSeq: number;\n\t/** The outbox the sync layer reads; `undefined` without one. */\n\treadonly outbox: Outbox | undefined;\n\t/**\n\t * The store's state after its `lastSeq` as archive parts (slice 6a §13), holding the commit queue from the first\n\t * `next()` until the iteration ends, throws, is closed or `context` aborts.\n\t */\n\texport(context: Context): AsyncIterableIterator<ArchivePart>;\n\t/**\n\t * Closes the store: waits for a running commit step (a group's, its commits' solo runs included), rejects queued\n\t * commits and reads `released`, closes the backend. Idempotent, also after `storage_failed`; `context` ends only\n\t * this caller's wait (the close goes on).\n\t */\n\tclose(context: Context): Promise<void>;\n}\n\n/** What `openStore` takes besides the backend. */\nexport type StoreOptions = {\n\t/** Turns the outbox on (`true`) or off (`false`); omitted, the persisted setting stays (a new store: off). */\n\treadonly outbox?: boolean;\n};\n\n/**\n * Opens a store over `backend`: the store's schema migrations, the UTF-8 check, the metadata read once, the outbox\n * switched when asked. A failure closes the backend and rejects (rule 12).\n */\nexport async function openStore(backend: Backend, context: Context, options: StoreOptions = {}): Promise<Store> {\n\tconst { db } = backend;\n\ttry {\n\t\tcontext.abortSignal?.throwIfAborted();\n\t\tconst meta = await switchOutbox(db, await applyStoreSchema(db), options.outbox);\n\t\treturn new ChordStore(db, meta, await readCatalog(db));\n\t} catch (error) {\n\t\ttry {\n\t\t\tawait db.close();\n\t\t} catch {\n\t\t\t// The open's own failure is the one to report.\n\t\t}\n\t\tthrow error;\n\t}\n}\n\n/** Turns the outbox on (from the current `lastSeq`) or off (its commits dropped) when `outbox` asks for the other. */\nasync function switchOutbox(db: SqliteDatabase, meta: MetaRow, outbox: boolean | undefined): Promise<MetaRow> {\n\tif (outbox === undefined || outbox === (meta.outbox === 1)) return meta;\n\tconst floor = outbox ? meta.last_seq : 0;\n\tawait db.transaction(async (executor) => {\n\t\tawait executor.run(\n\t\t\t`UPDATE ${TABLES.meta} SET outbox = ?, outbox_floor = ? WHERE singleton = 1`,\n\t\t\toutbox ? 1 : 0,\n\t\t\tfloor,\n\t\t);\n\t\tif (!outbox) await executor.run(`DELETE FROM ${TABLES.outbox}`);\n\t});\n\treturn { ...meta, outbox: outbox ? 1 : 0, outbox_floor: floor };\n}\n\n/** The seal fence's two checks of a commit (§1.3), as the commit step calls them. */\nexport type CommitFence = {\n\t/** At the step's entry: `false` rejects the commit `released` and writes nothing. */\n\tadmit(): boolean;\n\t/**\n\t * After `COMMIT`: adopts the commit, `ids` being its created documents' ids in the order of their writes, `rows` the\n\t * table rows its writes changed.\n\t */\n\tadopt(seq: number, ids: readonly number[], rows: number): void;\n};\n\n/**\n * One commit of a series (`ChordStore.commitSeries`): its own checks, which write nothing, and its writes. The checks\n * read through the commit's step, which sees what the series' earlier commits wrote.\n */\nexport type SeriesCommit = {\n\t/** Throws to refuse the commit: the series stops before it, the commits before it stand. */\n\tcheck(step: Step): Promise<void>;\n\treadonly writes: readonly StagedWrite[];\n};\n\n/** What a series stored: how many of its commits, and why the next one was refused, if one was. */\nexport type SeriesResult = { readonly stored: number; readonly refused?: unknown };\n\n/**\n * The commits of one backend transaction (a series or a group) as it leaves them: each stored commit's seq and created\n * documents; once a commit wrote, the last seq, the allocator's value after it and the table records they changed; the\n * commits that wrote and the statements run.\n */\ntype Written = {\n\treadonly stored: readonly { readonly seq: number; readonly created: readonly number[] }[];\n\treadonly last:\n\t\t| { readonly seq: number; readonly nextId: number; readonly tables: ReadonlyMap<string, TableRecord> }\n\t\t| undefined;\n\treadonly written: number;\n\treadonly statements: number;\n};\n\n/**\n * The commits of one backend transaction (a series or a group) while it runs: each stored commit's seq and created\n * documents, the last step that wrote, the allocator's value after it, the table records they changed (a copy of the\n * catalog, made once one changed) and the statements run.\n */\ntype Progress = {\n\treadonly stored: { readonly seq: number; readonly created: readonly number[] }[];\n\tlast: Step | undefined;\n\tnextId: number;\n\tchanged: Map<string, TableRecord> | undefined;\n\tstatements: number;\n};\n\n/** What the open host gives the store: its `storage_failed` listener and its batch, in which adapters publish (§1.3). */\nexport type Attachment = {\n\treadonly failed: (error: unknown) => void;\n\treadonly batch: Batch;\n};\n\n/** A group as its transaction leaves it: each commit's step and the allocator's value after it, in order; the whole. */\ntype GroupWritten = {\n\treadonly steps: readonly { readonly step: Step; readonly nextId: number }[];\n\treadonly written: Written;\n};\n\n/** A commit waiting in the commit queue for its group's turn: what `commit` was given, and its caller's promise. */\ntype QueuedCommit = {\n\treadonly writes: readonly StagedWrite[];\n\treadonly fence: CommitFence;\n\treadonly context: Context;\n\treadonly resolve: (seq: number) => void;\n\treadonly reject: (error: unknown) => void;\n};\n\n/** Where a replayed batch leaves the store: its last commit's seq and allocator value, the tables it changed. */\nexport type Replayed = {\n\treadonly lastSeq: number;\n\treadonly nextId: number;\n\treadonly tables: ReadonlyMap<string, TableRecord>;\n};\n\n/** Where a store stands: open, stopped by a backend error, or closed. */\ntype StoreState =\n\t| { readonly kind: \"open\" }\n\t| { readonly kind: \"failed\"; readonly error: unknown }\n\t| { readonly kind: \"closed\" };\n\nconst ORDER: readonly WriteOrder[] = [\"retire\", \"create\", \"write\"];\n\nconst NOTHING = (): void => {};\n\n/** The step's own error, until its callback throws one: a distinct value no thrown error can be. */\nconst NONE: unique symbol = Symbol(\"none\");\n\n/** The store behind `Store`, with what Chord's layers use: commits, guarded reads, the host's failure listener. */\nexport class ChordStore implements Store {\n\treadonly #db: SqliteDatabase;\n\t#lastSeq: number;\n\t/** The allocator's value as the last commit persisted it (an export's manifest). */\n\t#committedNextId: number;\n\treadonly #ids: IdAllocator;\n\t/** The claims of its tables and documents (slice 6b). */\n\treadonly claims = new Claims();\n\t#outbox: Outbox | undefined;\n\t#state: StoreState = { kind: \"open\" };\n\t/**\n\t * The backend error that stopped the store, also when it happened while the store was closing (the state stays\n\t * `closed` then): an admitted commit still running after it is refused.\n\t */\n\t#failure: { readonly error: unknown } | undefined;\n\t/** Set once a batch's recorded count did not reproduce (S17): no batch applies any more. */\n\t#diverged = false;\n\t/** The commit queue's tail: each step starts after the one before it settled. */\n\t#tail: Promise<void> = Promise.resolve();\n\t/** The group the next commit joins: queued last, its turn not yet come; `undefined` once anything queued after it. */\n\t#open: QueuedCommit[] | undefined;\n\t/** Reads and maintenance writes underway, which `close` waits for. */\n\t#underway = 0;\n\t/** Resolves `close`'s wait once no read is underway. */\n\t#drained: (() => void) | undefined;\n\t/** The open host's listener for `storage_failed` (told once) and batch; one host per store (rule 7). */\n\t#attachment: Attachment | undefined;\n\t#closing: Promise<void> | undefined;\n\t/** The versions migrations of tables announced (`announceTable`), by SQL name, until their last commit. */\n\treadonly #announced = new Map<string, number>();\n\t/** The recorded tables, by SQL name; changed only after a step's `COMMIT`. */\n\treadonly #catalog: Map<string, TableRecord>;\n\t/** The ends of the exports holding the queue or waiting for it, which closing the store calls. */\n\treadonly #held = new Set<() => void>();\n\n\tconstructor(db: SqliteDatabase, meta: MetaRow, catalog: Map<string, TableRecord>) {\n\t\tthis.#db = db;\n\t\tthis.#catalog = catalog;\n\t\tthis.#lastSeq = meta.last_seq;\n\t\tthis.#committedNextId = meta.next_id;\n\t\tthis.#ids = new IdAllocator(meta.next_id);\n\t\tthis.#outbox = meta.outbox === 1 ? new Outbox(this, meta.outbox_floor) : undefined;\n\t}\n\n\tget lastSeq(): number {\n\t\treturn this.#lastSeq;\n\t}\n\n\tget outbox(): Outbox | undefined {\n\t\treturn this.#outbox;\n\t}\n\n\t/** The allocator's value as the last commit persisted it. */\n\tget nextId(): number {\n\t\treturn this.#committedNextId;\n\t}\n\n\t/** The id allocator: `mint` takes the next id, `raise` makes room above an explicit one (D3). */\n\tget ids(): IdAllocator {\n\t\treturn this.#ids;\n\t}\n\n\t/** Takes the next id from the allocator (Durable's `mintId`); refused once the store stopped or closed. */\n\tmintId(): number {\n\t\tthis.assertUsable();\n\t\treturn this.#ids.mint();\n\t}\n\n\t/** The open host's batch, in which an adapter publishes its commits; `undefined` without a host. */\n\tget batch(): Batch | undefined {\n\t\treturn this.#attachment?.batch;\n\t}\n\n\t/** Every recorded table, by SQL name, as of the last commit. */\n\tget tables(): ReadonlyMap<string, TableRecord> {\n\t\treturn this.#catalog;\n\t}\n\n\texport(context: Context): AsyncIterableIterator<ArchivePart> {\n\t\tthis.assertUsable();\n\t\treturn new StoreExport(this, context);\n\t}\n\n\t/**\n\t * Takes the commit queue (an export): resolves once every earlier commit settled, with the release that lets the\n\t * later ones run (idempotent). Closing the store calls `end` (from the call on, also while waiting, and at once for a\n\t * store closed before the call took the queue), which must release.\n\t */\n\ttake(end: () => void): Promise<() => void> {\n\t\tconst held = Promise.withResolvers<void>();\n\t\tconst release = (): void => {\n\t\t\tthis.#held.delete(end);\n\t\t\theld.resolve();\n\t\t};\n\t\tthis.#held.add(end);\n\t\tthis.#open = undefined;\n\t\tconst taken = this.#tail.then(() => {\n\t\t\t// A store closed meanwhile (also before the export's first `next()`) holds nothing: the export ends.\n\t\t\tif (this.#state.kind === \"closed\") {\n\t\t\t\trelease();\n\t\t\t\tend();\n\t\t\t}\n\t\t\treturn release;\n\t\t});\n\t\tthis.#tail = taken.then(() => held.promise);\n\t\treturn taken;\n\t}\n\n\t/** The recorded table `name` (its SQL name), as of the last commit. */\n\ttable(name: string): TableRecord | undefined {\n\t\treturn this.#catalog.get(name);\n\t}\n\n\t/**\n\t * The version table `name` is at or is being migrated to: the recorded one, or a higher one a migration announced\n\t * before its first commit (`announceTable`), so an old handle is refused before its SQL could queue behind the\n\t * migration's DDL (fix round 1, Sol 8).\n\t */\n\ttableVersion(name: string): number | undefined {\n\t\tconst recorded = this.#catalog.get(name)?.version;\n\t\tconst announced = this.#announced.get(name);\n\t\treturn announced === undefined || (recorded !== undefined && recorded >= announced) ? recorded : announced;\n\t}\n\n\t/** Announces a migration of table `name` to `version` until the returned withdrawal (after its last commit). */\n\tannounceTable(name: string, version: number): () => void {\n\t\tthis.#announced.set(name, version);\n\t\treturn () => {\n\t\t\tif (this.#announced.get(name) === version) this.#announced.delete(name);\n\t\t};\n\t}\n\n\t/** Attaches the open host; a store attached to an open host is refused (rule 7). */\n\tattach(attachment: Attachment): void {\n\t\tif (this.#attachment !== undefined) {\n\t\t\tthrow new ChordError({ code: \"invalid\", reason: \"args\", message: \"store: already attached to an open host\" });\n\t\t}\n\t\tthis.#attachment = attachment;\n\t}\n\n\t/** The host closed: the store may serve another one. */\n\tdetach(): void {\n\t\tthis.#attachment = undefined;\n\t}\n\n\t/**\n\t * Commits `writes` as one seq when the commit queue reaches it: `fence.admit()` at the entry of its step (its\n\t * group's), the writes in their order (retirements, creations, the rest), the outbox commit, `lastSeq` and the\n\t * allocator's value, `COMMIT`, then `fence.adopt` before the next step starts. Resolves with the seq. A refused\n\t * admission rejects `released`. A step the backend rolled back after the step's own code threw (a refusal, D4)\n\t * rejects with that error unchanged and the store goes on; any other failure (`BEGIN`, `COMMIT`, `ROLLBACK`, a\n\t * throwing `adopt` or metrics adapter) is an unknown outcome that stops the store (`storage_failed`). `context`\n\t * counts the step (no abort once queued).\n\t *\n\t * Group commit: the commits queued while a step runs form one group, which the next turn admits and writes in one\n\t * backend transaction (each commit its own seq, outbox commit and adoption, in queue order; the metadata once), so a\n\t * busy store costs a transaction per group, not per commit. If one of them refuses, the group rolls back and its\n\t * commits run again one by one as above: the refusal stays its own commit's.\n\t */\n\tcommit(writes: readonly StagedWrite[], fence: CommitFence, context: Context): Promise<number> {\n\t\ttry {\n\t\t\tthis.assertUsable();\n\t\t} catch (error) {\n\t\t\treturn Promise.reject(error);\n\t\t}\n\t\tconst { promise, resolve, reject } = Promise.withResolvers<number>();\n\t\tconst queued: QueuedCommit = { writes, fence, context, resolve, reject };\n\t\t// An empty commit takes no transaction: it neither joins nor opens a group.\n\t\tif (writes.length > 0 && this.#open !== undefined) {\n\t\t\tthis.#open.push(queued);\n\t\t\treturn promise;\n\t\t}\n\t\tconst group = [queued];\n\t\t// What a turn throws past its own handling (a host's `failed` listener throwing in `#fail`) rejects its commits,\n\t\t// as it rejected a lone step; rejecting a settled one does nothing. The queue goes on either way.\n\t\tthis.#tail = this.#tail\n\t\t\t.then(() => this.#group(group))\n\t\t\t.catch((error: unknown) => {\n\t\t\t\tfor (const each of group) each.reject(error);\n\t\t\t});\n\t\tthis.#open = writes.length > 0 ? group : undefined;\n\t\treturn promise;\n\t}\n\n\t/**\n\t * Commits `commits` in one backend transaction when the commit queue reaches them, one seq each, in order: each\n\t * commit's `check`, which writes nothing, then its writes as `commit` writes them, with its own outbox commit and the\n\t * metadata (a commit without writes takes no seq: it stands at the one before). A `check` that throws refuses its\n\t * commit: the series stops there and the transaction commits the ones before it. A check whose backend statement\n\t * failed, and a throw of a commit's writes, roll the whole series back and reject with that error, the store going\n\t * on (D4); any other failure is an unknown outcome that stops the store, as for `commit`. After `COMMIT`,\n\t * `receive(index, seq, ids)` is called per stored commit, in order, before the next step starts (`ids`: its created\n\t * documents). Resolves with what it stored.\n\t */\n\tcommitSeries(\n\t\tcommits: readonly SeriesCommit[],\n\t\treceive: (index: number, seq: number, ids: readonly number[]) => void,\n\t\tcontext: Context,\n\t): Promise<SeriesResult> {\n\t\ttry {\n\t\t\tthis.assertUsable();\n\t\t} catch (error) {\n\t\t\treturn Promise.reject(error);\n\t\t}\n\t\tthis.#open = undefined;\n\t\tconst series = this.#tail.then(() => this.#series(commits, receive, context));\n\t\tthis.#tail = series.then(NOTHING, NOTHING);\n\t\treturn series;\n\t}\n\n\t/**\n\t * Runs `read` on the backend under the guard (rule 11, Durable's `GuardedStorage`): refused once the store stopped\n\t * or closed; a backend error fails the store unless `context` was aborted (then `aborted`); a read settling after\n\t * the store stopped rejects `unavailable/storage_failed`. `read` returns data and never throws for a request: an\n\t * adapter checks a request from what it returned, after the guard (slice 6b §1.4).\n\t */\n\tread<T>(read: (executor: SqliteExecutor) => Promise<T>, context: Context): Promise<T> {\n\t\treturn this.#guarded(() => read(this.#db), context);\n\t}\n\n\t/**\n\t * `read` for several queries that must see one state (S4, a document from its record and revisions): one backend\n\t * transaction, guarded as `read`.\n\t */\n\treadTransaction<T>(read: (executor: SqliteExecutor) => Promise<T>, context: Context): Promise<T> {\n\t\treturn this.#guarded(() => this.#db.transaction(read), context);\n\t}\n\n\tasync #guarded<T>(run: () => Promise<T>, context: Context): Promise<T> {\n\t\tthis.assertUsable();\n\t\tthis.#underway++;\n\t\tlet result: T;\n\t\ttry {\n\t\t\t// A read throwing before its first await is the backend's too: inside the `try`.\n\t\t\tresult = await run();\n\t\t} catch (error) {\n\t\t\tconst signal = context.abortSignal;\n\t\t\t// Latched before the closed check: a backend failure while closing still refuses later admitted commits.\n\t\t\tif (!signal?.aborted) this.#failure ??= { error };\n\t\t\tthis.assertUsable();\n\t\t\tif (signal?.aborted)\n\t\t\t\tthrow new ChordError({ code: \"aborted\", message: \"store: read aborted\" }, { cause: signal.reason });\n\t\t\tthrow this.#fail(error);\n\t\t} finally {\n\t\t\tthis.#settle();\n\t\t}\n\t\tthis.assertUsable();\n\t\treturn result;\n\t}\n\n\t/** One read or maintenance write settled: `close` goes on once none is underway. */\n\t#settle(): void {\n\t\tif (--this.#underway === 0) this.#drained?.();\n\t}\n\n\t/**\n\t * Runs `write` on the backend outside the commit queue (the outbox's `trim`), in a backend transaction, guarded as\n\t * a read without a context: any error stops the store.\n\t */\n\tasync maintain(write: (executor: SqliteExecutor) => Promise<void>): Promise<void> {\n\t\tthis.assertUsable();\n\t\tthis.#underway++;\n\t\ttry {\n\t\t\tawait this.#db.transaction(write);\n\t\t} catch (error) {\n\t\t\t// Latched before the closed check, as for a read.\n\t\t\tthis.#failure ??= { error };\n\t\t\tthis.assertUsable();\n\t\t\tthrow this.#fail(error);\n\t\t} finally {\n\t\t\tthis.#settle();\n\t\t}\n\t}\n\n\tclose(context: Context): Promise<void> {\n\t\tthis.#closing ??= this.#close();\n\t\treturn awaitWithContext(this.#closing, context);\n\t}\n\n\tasync #close(): Promise<void> {\n\t\tthis.#state = { kind: \"closed\" };\n\t\tfor (const end of [...this.#held]) end();\n\t\tawait this.#tail;\n\t\tif (this.#underway > 0) {\n\t\t\tawait new Promise<void>((resolve) => {\n\t\t\t\tthis.#drained = resolve;\n\t\t\t});\n\t\t}\n\t\tawait this.#db.close();\n\t}\n\n\t/**\n\t * A group's turn (it takes no more commits from here): its commits admitted together at its entry, one as its own\n\t * step, several written in one backend transaction (`#grouped`). Settles every commit's promise.\n\t */\n\tasync #group(group: readonly QueuedCommit[]): Promise<void> {\n\t\tif (this.#open === group) this.#open = undefined;\n\t\ttry {\n\t\t\tthis.assertUsable();\n\t\t} catch (error) {\n\t\t\tfor (const queued of group) queued.reject(error);\n\t\t\treturn;\n\t\t}\n\t\t// Admitted together at the group's entry, as one step admits its commit: each runs to its end from here.\n\t\tconst admitted = group.filter((queued) => {\n\t\t\ttry {\n\t\t\t\tif (queued.fence.admit()) return true;\n\t\t\t\tqueued.reject(discarded());\n\t\t\t} catch (error) {\n\t\t\t\t// As a lone step: a throwing admission rejects its commit with that error, the queue goes on.\n\t\t\t\tqueued.reject(error);\n\t\t\t}\n\t\t\treturn false;\n\t\t});\n\t\tif (admitted.length === 1) {\n\t\t\tconst [queued] = admitted;\n\t\t\treturn this.#alone(queued!, () => this.#admittedStep(queued!.writes, queued!.fence, queued!.context));\n\t\t}\n\t\tif (admitted.length > 1) await this.#grouped(admitted);\n\t}\n\n\t/** Settles `queued`'s promise with `step`, its own step. */\n\tasync #alone(queued: QueuedCommit, step: () => Promise<number>): Promise<void> {\n\t\ttry {\n\t\t\tqueued.resolve(await step());\n\t\t} catch (error) {\n\t\t\tqueued.reject(error);\n\t\t}\n\t}\n\n\t/**\n\t * Admitted commits in one backend transaction, each on its own step and seq, the metadata once; after `COMMIT`,\n\t * memory, the counts and each commit's adoption in order. When a commit's own writes throw (a refusal, D4), the\n\t * transaction rolls back whole and every commit runs again alone, admitted already: only the ones whose own writes\n\t * throw are refused, as without grouping. Any other failure is an unknown outcome that stops the store.\n\t */\n\tasync #grouped(admitted: readonly QueuedCommit[]): Promise<void> {\n\t\t// Near the end of the seq range, alone: the commits that still fit are stored, the first past it stops the store.\n\t\tif (this.#lastSeq + admitted.length > Number.MAX_SAFE_INTEGER) {\n\t\t\tawait this.#eachAlone(admitted);\n\t\t\treturn;\n\t\t}\n\t\tlet thrown: unknown = NONE;\n\t\tlet done: GroupWritten;\n\t\ttry {\n\t\t\tdone = await this.#db.transaction(async (executor) => {\n\t\t\t\ttry {\n\t\t\t\t\treturn await this.#writeGroup(admitted, executor);\n\t\t\t\t} catch (error) {\n\t\t\t\t\tthrown = error;\n\t\t\t\t\tthrow error;\n\t\t\t\t}\n\t\t\t});\n\t\t} catch (error) {\n\t\t\tif (error !== thrown) {\n\t\t\t\tconst failed = this.#fail(error);\n\t\t\t\tfor (const queued of admitted) queued.reject(failed);\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tawait this.#eachAlone(admitted);\n\t\t\treturn;\n\t\t}\n\t\tthis.#adoptGroup(admitted, done);\n\t}\n\n\t/** Runs admitted commits one by one, each its own step, in order. */\n\tasync #eachAlone(admitted: readonly QueuedCommit[]): Promise<void> {\n\t\tfor (const queued of admitted) {\n\t\t\tawait this.#alone(queued, () => this.#admittedStep(queued.writes, queued.fence, queued.context));\n\t\t}\n\t}\n\n\t/** The admitted commits' writes in their backend transaction, each on its own step, then the metadata once. */\n\tasync #writeGroup(admitted: readonly QueuedCommit[], executor: SqliteExecutor): Promise<GroupWritten> {\n\t\tconst progress: Progress = {\n\t\t\tstored: [],\n\t\t\tlast: undefined,\n\t\t\tnextId: this.#ids.value,\n\t\t\tchanged: undefined,\n\t\t\tstatements: 0,\n\t\t};\n\t\tconst steps: { step: Step; nextId: number }[] = [];\n\t\tfor (const queued of admitted) {\n\t\t\t// A grouped commit has writes: `commit` never groups an empty one.\n\t\t\tconst step = (await this.#writeCommit(queued.writes, executor, progress))!;\n\t\t\tsteps.push({ step, nextId: progress.nextId });\n\t\t}\n\t\treturn { steps, written: await this.#closeWrites(progress) };\n\t}\n\n\t/**\n\t * After a group's `COMMIT`, commit by commit as after a lone step: memory follows it, it counts through its own\n\t * context (the metadata statement ran on the last one's step), it is adopted. Anything that throws here (an adoption,\n\t * a metrics adapter) is an unknown outcome: memory takes the whole group (it is durable), the store stops, and that\n\t * commit and the ones after it reject `storage_failed`, unadopted.\n\t */\n\t#adoptGroup(admitted: readonly QueuedCommit[], { steps, written }: GroupWritten): void {\n\t\tlet index = 0;\n\t\ttry {\n\t\t\tfor (; index < admitted.length; index++) {\n\t\t\t\tconst queued = admitted[index]!;\n\t\t\t\tconst { step, nextId } = steps[index]!;\n\t\t\t\tthis.#lastSeq = step.seq;\n\t\t\t\tthis.#committedNextId = nextId;\n\t\t\t\tfor (const [name, record] of step.tables) this.#catalog.set(name, record);\n\t\t\t\tconst metrics = chordMetrics(queued.context.telemetry.metrics);\n\t\t\t\tmetrics.counter(\"chord.store.commits\").add(1);\n\t\t\t\tmetrics.counter(\"chord.store.statements\").add(step.statements);\n\t\t\t\tqueued.fence.adopt(step.seq, step.created, step.rows);\n\t\t\t\tqueued.resolve(step.seq);\n\t\t\t}\n\t\t} catch (error) {\n\t\t\tconst last = written.last!;\n\t\t\tthis.#lastSeq = last.seq;\n\t\t\tthis.#committedNextId = last.nextId;\n\t\t\tfor (const [name, record] of last.tables) this.#catalog.set(name, record);\n\t\t\tconst failed = this.#fail(error);\n\t\t\tfor (const rest of admitted.slice(index)) rest.reject(failed);\n\t\t}\n\t}\n\n\t/**\n\t * An admitted commit's step (`commit`'s semantics after admission; `fence` only adopts): it runs to its end, also\n\t * when the store closes meanwhile (close waits for it); only a backend failure before it, closing or not, refuses it.\n\t */\n\tasync #admittedStep(writes: readonly StagedWrite[], fence: CommitFence, context: Context): Promise<number> {\n\t\tif (this.#failure !== undefined) throw storageFailed(this.#failure.error);\n\t\tif (writes.length === 0) {\n\t\t\t// An empty commit takes no seq; a throwing `adopt` stops the store as for any commit.\n\t\t\ttry {\n\t\t\t\tfence.adopt(this.#lastSeq, [], 0);\n\t\t\t} catch (error) {\n\t\t\t\tthrow this.#fail(error);\n\t\t\t}\n\t\t\treturn this.#lastSeq;\n\t\t}\n\t\tconst seq = this.#lastSeq + 1;\n\t\t// Past the safe range seqs stop counting exactly (a later one would repeat): the store cannot number further.\n\t\tif (seq > Number.MAX_SAFE_INTEGER) throw this.#fail(new Error(\"store: no seq past Number.MAX_SAFE_INTEGER\"));\n\t\tlet thrown: unknown = NONE;\n\t\tlet done: { readonly step: Step; readonly nextId: number };\n\t\ttry {\n\t\t\tdone = await this.#db.transaction(async (executor) => {\n\t\t\t\ttry {\n\t\t\t\t\tconst step = new Step(executor, seq, this.#ids, this.#catalog);\n\t\t\t\t\tconst nextId = await this.#write(step, writes);\n\t\t\t\t\tawait writeMeta(step, nextId);\n\t\t\t\t\treturn { step, nextId };\n\t\t\t\t} catch (error) {\n\t\t\t\t\tthrown = error;\n\t\t\t\t\tthrow error;\n\t\t\t\t}\n\t\t\t});\n\t\t} catch (error) {\n\t\t\t// The facade rolled back and rejects with the step's own error: a refusal, the store goes on (D4).\n\t\t\tif (error === thrown) throw error;\n\t\t\tthrow this.#fail(error);\n\t\t}\n\t\t// `COMMIT` returned: the commit is durable, and memory follows.\n\t\tconst { step, nextId } = done;\n\t\tthis.#lastSeq = seq;\n\t\tthis.#committedNextId = nextId;\n\t\tfor (const [name, record] of step.tables) this.#catalog.set(name, record);\n\t\t// Anything that throws from here (a metrics adapter, the adoption) leaves the commit durable and unadopted: an\n\t\t// unknown outcome that stops the store.\n\t\ttry {\n\t\t\tconst metrics = chordMetrics(context.telemetry.metrics);\n\t\t\tmetrics.counter(\"chord.store.commits\").add(1);\n\t\t\tmetrics.counter(\"chord.store.statements\").add(step.statements);\n\t\t\tfence.adopt(seq, step.created, step.rows);\n\t\t} catch (error) {\n\t\t\tthrow this.#fail(error);\n\t\t}\n\t\treturn seq;\n\t}\n\n\t/**\n\t * A series inside one backend transaction: per commit a step at the next seq, its check (a throw refuses it, unless\n\t * one of its statements failed), then its writes; then, after `COMMIT`, memory and the receipts as after a lone step.\n\t */\n\tasync #series(\n\t\tcommits: readonly SeriesCommit[],\n\t\treceive: (index: number, seq: number, ids: readonly number[]) => void,\n\t\tcontext: Context,\n\t): Promise<SeriesResult> {\n\t\tthis.assertUsable();\n\t\t// Past the safe range seqs stop counting exactly (a later one would repeat): the store cannot number further. Only\n\t\t// a commit with writes takes a seq, as for `commit`.\n\t\tlet seqs = 0;\n\t\tfor (const commit of commits) if (commit.writes.length > 0) seqs++;\n\t\tif (this.#lastSeq + seqs > Number.MAX_SAFE_INTEGER) {\n\t\t\tthrow this.#fail(new Error(\"store: no seq past Number.MAX_SAFE_INTEGER\"));\n\t\t}\n\t\tlet thrown: unknown = NONE;\n\t\tlet refused: { readonly error: unknown } | undefined;\n\t\tlet done: Written;\n\t\ttry {\n\t\t\tdone = await this.#db.transaction(async (executor) => {\n\t\t\t\ttry {\n\t\t\t\t\treturn await this.#writeSeries(executor, commits, (error) => {\n\t\t\t\t\t\trefused = { error };\n\t\t\t\t\t});\n\t\t\t\t} catch (error) {\n\t\t\t\t\tthrown = error;\n\t\t\t\t\tthrow error;\n\t\t\t\t}\n\t\t\t});\n\t\t} catch (error) {\n\t\t\t// The facade rolled back and rejects with the series' own error: the store goes on (D4).\n\t\t\tif (error === thrown) throw error;\n\t\t\tthrow this.#fail(error);\n\t\t}\n\t\t// `COMMIT` returned: the stored commits are durable, and memory follows.\n\t\tconst { stored, last, written, statements } = done;\n\t\tif (last !== undefined) {\n\t\t\tthis.#lastSeq = last.seq;\n\t\t\tthis.#committedNextId = last.nextId;\n\t\t\tfor (const [name, record] of last.tables) this.#catalog.set(name, record);\n\t\t}\n\t\t// As after a lone step: a throw from here (a metrics adapter, a receipt) stops the store.\n\t\ttry {\n\t\t\tconst metrics = chordMetrics(context.telemetry.metrics);\n\t\t\tmetrics.counter(\"chord.store.commits\").add(written);\n\t\t\tmetrics.counter(\"chord.store.statements\").add(statements);\n\t\t\tfor (const [index, { seq, created }] of stored.entries()) receive(index, seq, created);\n\t\t} catch (error) {\n\t\t\tthrow this.#fail(error);\n\t\t}\n\t\treturn refused === undefined ? { stored: stored.length } : { stored: stored.length, refused: refused.error };\n\t}\n\n\t/**\n\t * The commits of a series in its backend transaction, until one is refused (`refuse`): each commit's check, then its\n\t * writes; the metadata once, at the end.\n\t */\n\tasync #writeSeries(\n\t\texecutor: SqliteExecutor,\n\t\tcommits: readonly SeriesCommit[],\n\t\trefuse: (error: unknown) => void,\n\t): Promise<Written> {\n\t\tconst calls = { failed: false };\n\t\tconst watched = watchCalls(executor, calls);\n\t\tconst progress: Progress = {\n\t\t\tstored: [],\n\t\t\tlast: undefined,\n\t\t\tnextId: this.#ids.value,\n\t\t\tchanged: undefined,\n\t\t\tstatements: 0,\n\t\t};\n\t\tfor (const commit of commits) {\n\t\t\tconst refusal = await this.#checkCommit(commit, watched, calls, progress);\n\t\t\tif (refusal !== undefined) {\n\t\t\t\trefuse(refusal.error);\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tawait this.#writeCommit(commit.writes, executor, progress);\n\t\t}\n\t\treturn this.#closeWrites(progress);\n\t}\n\n\t/**\n\t * Runs `commit`'s check on a step at the series' next seq whose backend calls are watched; resolves with its refusal,\n\t * if it refused. A check one of whose backend calls failed throws instead: a failure, not a refusal.\n\t */\n\tasync #checkCommit(\n\t\tcommit: SeriesCommit,\n\t\twatched: SqliteExecutor,\n\t\tcalls: { failed: boolean },\n\t\tprogress: Progress,\n\t): Promise<{ readonly error: unknown } | undefined> {\n\t\tconst step = new Step(watched, this.#nextSeq(progress), this.#ids, progress.changed ?? this.#catalog);\n\t\tcalls.failed = false;\n\t\ttry {\n\t\t\tawait commit.check(step);\n\t\t\treturn undefined;\n\t\t} catch (error) {\n\t\t\tif (calls.failed) throw error;\n\t\t\treturn { error };\n\t\t} finally {\n\t\t\tprogress.statements += step.statements;\n\t\t}\n\t}\n\n\t/**\n\t * Writes a commit's `writes` on its own step at the series' next seq (`#write`), unwatched, and keeps the table\n\t * records it changed in a copy of the catalog, made only once one changed; resolves with the step. A commit without\n\t * writes takes no seq and no step.\n\t */\n\tasync #writeCommit(\n\t\twrites: readonly StagedWrite[],\n\t\texecutor: SqliteExecutor,\n\t\tprogress: Progress,\n\t): Promise<Step | undefined> {\n\t\tconst seq = this.#nextSeq(progress);\n\t\tif (writes.length === 0) {\n\t\t\tprogress.stored.push({ seq: seq - 1, created: [] });\n\t\t\treturn undefined;\n\t\t}\n\t\tconst step = new Step(executor, seq, this.#ids, progress.changed ?? this.#catalog);\n\t\tprogress.nextId = await this.#write(step, writes);\n\t\tprogress.statements += step.statements;\n\t\tif (step.tables.size > 0) {\n\t\t\tprogress.changed ??= new Map(this.#catalog);\n\t\t\tfor (const [name, record] of step.tables) progress.changed.set(name, record);\n\t\t}\n\t\tprogress.last = step;\n\t\tprogress.stored.push({ seq, created: step.created });\n\t\treturn step;\n\t}\n\n\t/** The seq the series' next commit takes. */\n\t#nextSeq(progress: Progress): number {\n\t\treturn (progress.last?.seq ?? this.#lastSeq) + 1;\n\t}\n\n\t/** Ends a transaction's writes with the metadata once, after its last commit that wrote; returns what memory takes. */\n\tasync #closeWrites(progress: Progress): Promise<Written> {\n\t\tconst { stored, last, nextId, changed, statements } = progress;\n\t\tif (last === undefined) return { stored, last: undefined, written: 0, statements };\n\t\tawait writeMeta(last, nextId);\n\t\treturn {\n\t\t\tstored,\n\t\t\tlast: { seq: last.seq, nextId, tables: changed ?? new Map() },\n\t\t\twritten: last.seq - this.#lastSeq,\n\t\t\tstatements: statements + 1,\n\t\t};\n\t}\n\n\t/**\n\t * The step's writes inside its backend transaction: each staged write in its phase, the catalog, the outbox commit.\n\t * Returns the allocator's value, taken once, after the writes applied (mints meanwhile only raise it); the metadata\n\t * (`writeMeta`) is the caller's.\n\t */\n\tasync #write(step: Step, writes: readonly StagedWrite[]): Promise<number> {\n\t\tconst seq = step.seq;\n\t\tconst recorded: StoreWrite[] | undefined = this.#outbox !== undefined ? [] : undefined;\n\t\tfor (const order of ORDER) {\n\t\t\tfor (const write of writes) {\n\t\t\t\tif (write.order !== order) continue;\n\t\t\t\tconst done = await write.apply(step);\n\t\t\t\trecorded?.push(...done);\n\t\t\t}\n\t\t}\n\t\tawait writeCatalog(step);\n\t\tconst nextId = this.#ids.value;\n\t\tif (recorded !== undefined) {\n\t\t\tawait step.run(\n\t\t\t\t`INSERT INTO ${TABLES.outbox} (seq, format, next_id, writes) VALUES (?, ?, ?, ?)`,\n\t\t\t\tseq,\n\t\t\t\tOUTBOX_FORMAT,\n\t\t\t\tnextId,\n\t\t\t\tJSON.stringify(recorded),\n\t\t\t);\n\t\t}\n\t\treturn nextId;\n\t}\n\n\t/**\n\t * Batch apply's turn (slice 6b §1.6, S5): refused (`invalid/args`) while an owner holds a claim (its memory would\n\t * go stale) and once the store diverged; otherwise `apply` runs in the commit queue, in one backend transaction, and\n\t * returns the position its last commit leaves (`lastSeq`, the allocator's value) and the tables it changed, which\n\t * memory takes after `COMMIT`. `apply`'s own error rolls back and rejects as a refusal (a `Diverged` one marks the\n\t * store diverged); any other failure stops the store.\n\t */\n\treplay(\n\t\tapply: (executor: SqliteExecutor, catalog: ReadonlyMap<string, TableRecord>) => Promise<Replayed>,\n\t\tisDivergence: (error: unknown) => boolean,\n\t): Promise<void> {\n\t\ttry {\n\t\t\tthis.#assertReplayable();\n\t\t} catch (error) {\n\t\t\treturn Promise.reject(error);\n\t\t}\n\t\tthis.#open = undefined;\n\t\tconst turn = this.#tail.then(() => this.#replay(apply, isDivergence));\n\t\tthis.#tail = turn.then(NOTHING, NOTHING);\n\t\treturn turn;\n\t}\n\n\t/** At its call and again at its turn: a claim or a divergence may come between the two. */\n\t#assertReplayable(): void {\n\t\tthis.assertUsable();\n\t\tif (this.#diverged) throw invalid(\"args\", \"store: diverged; a batch can no longer apply\");\n\t\tif (this.claims.held) throw invalid(\"args\", \"store: an owner holds claims; a batch would stale its memory\");\n\t}\n\n\tasync #replay(\n\t\tapply: (executor: SqliteExecutor, catalog: ReadonlyMap<string, TableRecord>) => Promise<Replayed>,\n\t\tisDivergence: (error: unknown) => boolean,\n\t): Promise<void> {\n\t\tthis.#assertReplayable();\n\t\t// While it applies, no owner may claim (and read) what it is changing.\n\t\tconst unlock = this.claims.lock();\n\t\ttry {\n\t\t\tawait this.#applyReplay(apply, isDivergence);\n\t\t} finally {\n\t\t\tunlock();\n\t\t}\n\t}\n\n\tasync #applyReplay(\n\t\tapply: (executor: SqliteExecutor, catalog: ReadonlyMap<string, TableRecord>) => Promise<Replayed>,\n\t\tisDivergence: (error: unknown) => boolean,\n\t): Promise<void> {\n\t\tlet thrown: unknown = NONE;\n\t\tlet replayed: Replayed;\n\t\ttry {\n\t\t\treplayed = await this.#db.transaction(async (executor) => {\n\t\t\t\ttry {\n\t\t\t\t\treturn await apply(executor, this.#catalog);\n\t\t\t\t} catch (error) {\n\t\t\t\t\tthrown = error;\n\t\t\t\t\tthrow error;\n\t\t\t\t}\n\t\t\t});\n\t\t} catch (error) {\n\t\t\tif (error !== thrown) throw this.#fail(error);\n\t\t\tif (isDivergence(error)) this.#diverged = true;\n\t\t\tthrow error;\n\t\t}\n\t\tthis.#lastSeq = replayed.lastSeq;\n\t\tthis.#committedNextId = replayed.nextId;\n\t\tthis.#ids.raise(replayed.nextId - 1);\n\t\tfor (const [name, record] of replayed.tables) this.#catalog.set(name, record);\n\t}\n\n\t/** Whether the store has an outbox, which a replayed batch writes too. */\n\tget recordsOutbox(): boolean {\n\t\treturn this.#outbox !== undefined;\n\t}\n\n\t/** Throws `unavailable/storage_failed` once the store stopped, `released` once it closed. */\n\tassertUsable(): void {\n\t\tconst state = this.#state;\n\t\tif (state.kind === \"failed\") throw storageFailed(state.error);\n\t\tif (state.kind === \"closed\")\n\t\t\tthrow new ChordError({ code: \"released\", reason: \"closed\", message: \"store: closed\" });\n\t}\n\n\t/**\n\t * Stops the store after `error` (once; its host is told once), latching it also when the store is closing; returns\n\t * the error the caller rejects with.\n\t */\n\t#fail(error: unknown): ChordError {\n\t\tthis.#failure ??= { error };\n\t\tif (this.#state.kind === \"open\") {\n\t\t\tthis.#state = { kind: \"failed\", error };\n\t\t\tthis.#attachment?.failed(error);\n\t\t}\n\t\treturn storageFailed(error);\n\t}\n}\n\n/** Records `seq`, the step's, as the store's last, and the allocator's value `nextId`. */\nfunction writeMeta(step: Step, nextId: number): Promise<void> {\n\treturn step.run(`UPDATE ${TABLES.meta} SET last_seq = ?, next_id = ? WHERE singleton = 1`, step.seq, nextId);\n}\n\n/**\n * `executor`, setting `calls.failed` when one of its calls throws, synchronously or by rejecting, with any value: a\n * check that throws then failed in the backend, not by its own decision.\n */\nfunction watchCalls(executor: SqliteExecutor, calls: { failed: boolean }): SqliteExecutor {\n\tconst watched = async <T>(call: () => Promise<T>): Promise<T> => {\n\t\ttry {\n\t\t\treturn await call();\n\t\t} catch (error) {\n\t\t\tcalls.failed = true;\n\t\t\tthrow error;\n\t\t}\n\t};\n\treturn {\n\t\texec: (sql) => watched(() => executor.exec(sql)),\n\t\trun: (sql, ...params) => watched(() => executor.run(sql, ...params)),\n\t\trunCounted: (sql, ...params) => watched(() => executor.runCounted(sql, ...params)),\n\t\tget: (sql, ...params) => watched(() => executor.get(sql, ...params)),\n\t\tall: (sql, ...params) => watched(() => executor.all(sql, ...params)),\n\t};\n}\n\n/** The `released` error of a commit its fence refused at the step's entry: its attempt ended. */\nfunction discarded(): ChordError {\n\treturn new ChordError({ code: \"released\", reason: \"discarded\", message: \"store: the commit's attempt ended\" });\n}\n\n/** The `unavailable/storage_failed` error of a stopped store, its backend error as the cause. */\nfunction storageFailed(error: unknown): ChordError {\n\treturn new ChordError(\n\t\t{ code: \"unavailable\", reason: \"storage_failed\", message: \"store: storage failed\" },\n\t\t{ cause: error },\n\t);\n}\n"]}

package/dist/store/table-changes.d.ts

@@ -0,0 +1,29 @@
+import type { Context } from "../context/index.ts";
+import { type EvaluatedRow } from "./evaluate.ts";
+import type { StagedWrite } from "./step.ts";
+import type { TableHandle } from "./table-handle.ts";
+/**
+ * The writes of one transaction to one table: each appended to the transaction's staged list (`staged`, one order
+ * across tables) and, for the single-key ones, to its key's overlay.
+ */
+export declare class TableChanges {
+    #private;
+    readonly handle: TableHandle;
+    constructor(handle: TableHandle, staged: StagedWrite[]);
+    /** Stages a `put` of `row` (an upsert). */
+    put(row: unknown): void;
+    /** Stages an `update` of the row with `key` (`set`: values, or a callback of column references). */
+    update(key: unknown, set: unknown): void;
+    /** Stages a `delete` of the row with `key`. */
+    delete(key: unknown): void;
+    /** Stages an `updateWhere`: every row matching `where` gets `set`. */
+    updateWhere(where: unknown, set: unknown): void;
+    /** Stages a `deleteWhere`: every row matching `where` goes. */
+    deleteWhere(where: unknown): void;
+    /**
+     * The row with `key` as this transaction leaves it: the committed row with this transaction's `put`, `update` and
+     * `delete` of the key replayed; refused after a bulk write (W10).
+     */
+    get(key: unknown, context: Context): Promise<EvaluatedRow | undefined>;
+}
+//# sourceMappingURL=table-changes.d.ts.map

package/dist/store/table-changes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-changes.d.ts","sourceRoot":"","sources":["../../src/store/table-changes.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAY,KAAK,YAAY,EAAE,MAAM,eAAe,CAAC;AAE5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAiBrD;;;GAGG;AACH,qBAAa,YAAY;;IACxB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAM7B,YAAY,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,EAGrD;IAED,2CAA2C;IAC3C,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAKtB;IAED,oGAAoG;IACpG,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAevC;IAED,+CAA+C;IAC/C,MAAM,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAKzB;IAED,sEAAsE;IACtE,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAc9C;IAED,+DAA+D;IAC/D,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAShC;IAED;;;OAGG;IACG,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAyB3E;CAYD"}

package/dist/store/table-changes.js

@@ -0,0 +1,102 @@
+// A transaction's writes to one table (slice 6a §6, §7; W10): checked and staged synchronously like a draft's ops (no
+// I/O, a bad row throws at its own call), kept in staging order for the commit step, and overlaid on committed rows
+// for `tx.get` until a bulk write makes that impossible (`invalid/read_after_bulk`).
+import { invalid } from "../data/internal.js";
+import { applySet } from "./evaluate.js";
+import { compileSet, compileWhere } from "./expression.js";
+import { jsonVersions, recordedVersions, stageDelete, stageDeleteWhere, stagePut, stageUpdate, stageUpdateWhere, } from "./table-writes.js";
+/**
+ * The writes of one transaction to one table: each appended to the transaction's staged list (`staged`, one order
+ * across tables) and, for the single-key ones, to its key's overlay.
+ */
+export class TableChanges {
+    handle;
+    #staged;
+    #byKey = new Map();
+    /** An `updateWhere` or `deleteWhere` was staged: `get` is refused from then on (W10). */
+    #bulk = false;
+    constructor(handle, staged) {
+        this.handle = handle;
+        this.#staged = staged;
+    }
+    /** Stages a `put` of `row` (an upsert). */
+    put(row) {
+        const { definition, sql } = this.handle;
+        const encoded = definition.rows.put(row, definition.version);
+        this.#staged.push(stagePut(sql.put, sql.table, encoded, definition.version));
+        this.#write(encoded.id, { kind: "put", row: encoded.row });
+    }
+    /** Stages an `update` of the row with `key` (`set`: values, or a callback of column references). */
+    update(key, set) {
+        const { definition, sql } = this.handle;
+        const encoded = definition.rows.key(key, "update");
+        const compiled = this.#set(set, "update");
+        const versions = jsonVersions(this.handle.definition, compiled);
+        this.#staged.push(stageUpdate(sql.update(compiled, encoded.params, versions), sql.table, encoded.key, compiled, recordedVersions(compiled, versions)));
+        this.#write(encoded.id, { kind: "update", set: compiled });
+    }
+    /** Stages a `delete` of the row with `key`. */
+    delete(key) {
+        const { definition, sql } = this.handle;
+        const encoded = definition.rows.key(key, "delete");
+        this.#staged.push(stageDelete({ sql: sql.delete, params: [...encoded.params] }, sql.table, encoded.key));
+        this.#write(encoded.id, { kind: "delete" });
+    }
+    /** Stages an `updateWhere`: every row matching `where` gets `set`. */
+    updateWhere(where, set) {
+        const { definition, sql } = this.handle;
+        const condition = compileWhere(definition, typeof where === "function" ? where(definition.refs) : where, "updateWhere");
+        const compiled = this.#set(set, "updateWhere");
+        const versions = jsonVersions(this.handle.definition, compiled);
+        const statement = sql.updateWhere(condition, compiled, versions);
+        this.#staged.push(stageUpdateWhere(statement, sql.table, condition, compiled, recordedVersions(compiled, versions)));
+        this.#bulk = true;
+    }
+    /** Stages a `deleteWhere`: every row matching `where` goes. */
+    deleteWhere(where) {
+        const { definition, sql } = this.handle;
+        const condition = compileWhere(definition, typeof where === "function" ? where(definition.refs) : where, "deleteWhere");
+        this.#staged.push(stageDeleteWhere(sql.deleteWhere(condition), sql.table, condition));
+        this.#bulk = true;
+    }
+    /**
+     * The row with `key` as this transaction leaves it: the committed row with this transaction's `put`, `update` and
+     * `delete` of the key replayed; refused after a bulk write (W10).
+     */
+    async get(key, context) {
+        const { definition } = this.handle;
+        if (this.#bulk) {
+            throw invalid("read_after_bulk", `${definition.name}: tx.get after an updateWhere or deleteWhere on the table`);
+        }
+        const encoded = definition.rows.key(key, "get");
+        const writes = this.#byKey.get(encoded.id) ?? [];
+        let start = writes.length;
+        while (start > 0 && writes[start - 1].kind === "update")
+            start--;
+        const from = writes[start - 1];
+        // A committed row is decoded by the table's columns: scalars and JSON, what the evaluator takes.
+        let row = from === undefined
+            ? (await this.handle.get(encoded.key, context))
+            : from.kind === "put"
+                ? from.row
+                : undefined;
+        for (const write of writes.slice(start)) {
+            // An `update` of an absent row changes nothing.
+            if (row !== undefined && write.kind === "update")
+                row = applySet(write.set, row, definition.name);
+        }
+        return row;
+    }
+    #set(set, what) {
+        const { definition } = this.handle;
+        return compileSet(definition, typeof set === "function" ? set(definition.refs) : set, what);
+    }
+    #write(id, write) {
+        const writes = this.#byKey.get(id);
+        if (writes === undefined)
+            this.#byKey.set(id, [write]);
+        else
+            writes.push(write);
+    }
+}
+//# sourceMappingURL=table-changes.js.map

package/dist/store/table-changes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-changes.js","sourceRoot":"","sources":["../../src/store/table-changes.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,oHAAoH;AACpH,qFAAqF;AAGrF,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAqB,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAgB,MAAM,iBAAiB,CAAC;AAGzE,OAAO,EACN,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,gBAAgB,EAChB,QAAQ,EACR,WAAW,EACX,gBAAgB,GAChB,MAAM,mBAAmB,CAAC;AAQ3B;;;GAGG;AACH,MAAM,OAAO,YAAY;IACf,MAAM,CAAc;IACpB,OAAO,CAAgB;IACvB,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAChD,yFAAyF;IACzF,KAAK,GAAG,KAAK,CAAC;IAEd,YAAY,MAAmB,EAAE,MAAqB;QACrD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,2CAA2C;IAC3C,GAAG,CAAC,GAAY;QACf,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,oGAAoG;IACpG,MAAM,CAAC,GAAY,EAAE,GAAY;QAChC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO,CAAC,IAAI,CAChB,WAAW,CACV,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,EAC9C,GAAG,CAAC,KAAK,EACT,OAAO,CAAC,GAAG,EACX,QAAQ,EACR,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CACpC,CACD,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,+CAA+C;IAC/C,MAAM,CAAC,GAAY;QAClB,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACzG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC7C,CAAC;IAED,sEAAsE;IACtE,WAAW,CAAC,KAAc,EAAE,GAAY;QACvC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACxC,MAAM,SAAS,GAAG,YAAY,CAC7B,UAAU,EACV,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,EAC5D,aAAa,CACb,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAChB,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CACjG,CAAC;QACF,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,+DAA+D;IAC/D,WAAW,CAAC,KAAc;QACzB,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACxC,MAAM,SAAS,GAAG,YAAY,CAC7B,UAAU,EACV,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,EAC5D,aAAa,CACb,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QACtF,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACnB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,GAAG,CAAC,GAAY,EAAE,OAAgB;QACvC,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACnC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,OAAO,CACZ,iBAAiB,EACjB,GAAG,UAAU,CAAC,IAAI,2DAA2D,CAC7E,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACjD,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,OAAO,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,EAAE,CAAC;QAClE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC/B,iGAAiG;QACjG,IAAI,GAAG,GACN,IAAI,KAAK,SAAS;YACjB,CAAC,CAAE,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAA8B;YAC7E,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;gBACpB,CAAC,CAAC,IAAI,CAAC,GAAG;gBACV,CAAC,CAAC,SAAS,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,gDAAgD;YAChD,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACnG,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,IAAI,CAAC,GAAY,EAAE,IAAY;QAC9B,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QACnC,OAAO,UAAU,CAAC,UAAU,EAAE,OAAO,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7F,CAAC;IAED,MAAM,CAAC,EAAU,EAAE,KAAe;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;;YAClD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;CACD","sourcesContent":["// A transaction's writes to one table (slice 6a §6, §7; W10): checked and staged synchronously like a draft's ops (no\n// I/O, a bad row throws at its own call), kept in staging order for the commit step, and overlaid on committed rows\n// for `tx.get` until a bulk write makes that impossible (`invalid/read_after_bulk`).\n\nimport type { Context } from \"../context/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport { applySet, type EvaluatedRow } from \"./evaluate.ts\";\nimport { compileSet, compileWhere, type SetNode } from \"./expression.ts\";\nimport type { StagedWrite } from \"./step.ts\";\nimport type { TableHandle } from \"./table-handle.ts\";\nimport {\n\tjsonVersions,\n\trecordedVersions,\n\tstageDelete,\n\tstageDeleteWhere,\n\tstagePut,\n\tstageUpdate,\n\tstageUpdateWhere,\n} from \"./table-writes.ts\";\n\n/** One staged write of one key, as the overlay replays it. */\ntype KeyWrite =\n\t| { readonly kind: \"put\"; readonly row: EvaluatedRow }\n\t| { readonly kind: \"update\"; readonly set: SetNode }\n\t| { readonly kind: \"delete\" };\n\n/**\n * The writes of one transaction to one table: each appended to the transaction's staged list (`staged`, one order\n * across tables) and, for the single-key ones, to its key's overlay.\n */\nexport class TableChanges {\n\treadonly handle: TableHandle;\n\treadonly #staged: StagedWrite[];\n\treadonly #byKey = new Map<string, KeyWrite[]>();\n\t/** An `updateWhere` or `deleteWhere` was staged: `get` is refused from then on (W10). */\n\t#bulk = false;\n\n\tconstructor(handle: TableHandle, staged: StagedWrite[]) {\n\t\tthis.handle = handle;\n\t\tthis.#staged = staged;\n\t}\n\n\t/** Stages a `put` of `row` (an upsert). */\n\tput(row: unknown): void {\n\t\tconst { definition, sql } = this.handle;\n\t\tconst encoded = definition.rows.put(row, definition.version);\n\t\tthis.#staged.push(stagePut(sql.put, sql.table, encoded, definition.version));\n\t\tthis.#write(encoded.id, { kind: \"put\", row: encoded.row });\n\t}\n\n\t/** Stages an `update` of the row with `key` (`set`: values, or a callback of column references). */\n\tupdate(key: unknown, set: unknown): void {\n\t\tconst { definition, sql } = this.handle;\n\t\tconst encoded = definition.rows.key(key, \"update\");\n\t\tconst compiled = this.#set(set, \"update\");\n\t\tconst versions = jsonVersions(this.handle.definition, compiled);\n\t\tthis.#staged.push(\n\t\t\tstageUpdate(\n\t\t\t\tsql.update(compiled, encoded.params, versions),\n\t\t\t\tsql.table,\n\t\t\t\tencoded.key,\n\t\t\t\tcompiled,\n\t\t\t\trecordedVersions(compiled, versions),\n\t\t\t),\n\t\t);\n\t\tthis.#write(encoded.id, { kind: \"update\", set: compiled });\n\t}\n\n\t/** Stages a `delete` of the row with `key`. */\n\tdelete(key: unknown): void {\n\t\tconst { definition, sql } = this.handle;\n\t\tconst encoded = definition.rows.key(key, \"delete\");\n\t\tthis.#staged.push(stageDelete({ sql: sql.delete, params: [...encoded.params] }, sql.table, encoded.key));\n\t\tthis.#write(encoded.id, { kind: \"delete\" });\n\t}\n\n\t/** Stages an `updateWhere`: every row matching `where` gets `set`. */\n\tupdateWhere(where: unknown, set: unknown): void {\n\t\tconst { definition, sql } = this.handle;\n\t\tconst condition = compileWhere(\n\t\t\tdefinition,\n\t\t\ttypeof where === \"function\" ? where(definition.refs) : where,\n\t\t\t\"updateWhere\",\n\t\t);\n\t\tconst compiled = this.#set(set, \"updateWhere\");\n\t\tconst versions = jsonVersions(this.handle.definition, compiled);\n\t\tconst statement = sql.updateWhere(condition, compiled, versions);\n\t\tthis.#staged.push(\n\t\t\tstageUpdateWhere(statement, sql.table, condition, compiled, recordedVersions(compiled, versions)),\n\t\t);\n\t\tthis.#bulk = true;\n\t}\n\n\t/** Stages a `deleteWhere`: every row matching `where` goes. */\n\tdeleteWhere(where: unknown): void {\n\t\tconst { definition, sql } = this.handle;\n\t\tconst condition = compileWhere(\n\t\t\tdefinition,\n\t\t\ttypeof where === \"function\" ? where(definition.refs) : where,\n\t\t\t\"deleteWhere\",\n\t\t);\n\t\tthis.#staged.push(stageDeleteWhere(sql.deleteWhere(condition), sql.table, condition));\n\t\tthis.#bulk = true;\n\t}\n\n\t/**\n\t * The row with `key` as this transaction leaves it: the committed row with this transaction's `put`, `update` and\n\t * `delete` of the key replayed; refused after a bulk write (W10).\n\t */\n\tasync get(key: unknown, context: Context): Promise<EvaluatedRow | undefined> {\n\t\tconst { definition } = this.handle;\n\t\tif (this.#bulk) {\n\t\t\tthrow invalid(\n\t\t\t\t\"read_after_bulk\",\n\t\t\t\t`${definition.name}: tx.get after an updateWhere or deleteWhere on the table`,\n\t\t\t);\n\t\t}\n\t\tconst encoded = definition.rows.key(key, \"get\");\n\t\tconst writes = this.#byKey.get(encoded.id) ?? [];\n\t\tlet start = writes.length;\n\t\twhile (start > 0 && writes[start - 1]!.kind === \"update\") start--;\n\t\tconst from = writes[start - 1];\n\t\t// A committed row is decoded by the table's columns: scalars and JSON, what the evaluator takes.\n\t\tlet row: EvaluatedRow | undefined =\n\t\t\tfrom === undefined\n\t\t\t\t? ((await this.handle.get(encoded.key, context)) as EvaluatedRow | undefined)\n\t\t\t\t: from.kind === \"put\"\n\t\t\t\t\t? from.row\n\t\t\t\t\t: undefined;\n\t\tfor (const write of writes.slice(start)) {\n\t\t\t// An `update` of an absent row changes nothing.\n\t\t\tif (row !== undefined && write.kind === \"update\") row = applySet(write.set, row, definition.name);\n\t\t}\n\t\treturn row;\n\t}\n\n\t#set(set: unknown, what: string): SetNode {\n\t\tconst { definition } = this.handle;\n\t\treturn compileSet(definition, typeof set === \"function\" ? set(definition.refs) : set, what);\n\t}\n\n\t#write(id: string, write: KeyWrite): void {\n\t\tconst writes = this.#byKey.get(id);\n\t\tif (writes === undefined) this.#byKey.set(id, [write]);\n\t\telse writes.push(write);\n\t}\n}\n"]}

package/dist/store/table-evolve.d.ts

@@ -0,0 +1,74 @@
+import { type Increment } from "../contracts/internal.ts";
+import { type Optional } from "../contracts/schema.ts";
+import { type ColumnSchema, type Columns, type ColumnTypeOf, type OrderColumn, type RowOf, type ValueOf } from "./columns.ts";
+import { type Condition, type SetOf } from "./expression.ts";
+import type { ColumnRefs } from "./query.ts";
+import { TableDefinition } from "./table.ts";
+/** The edits after the data step: `drop`, `index` and `dropIndex`; `C` and `K` are the columns and key so far. */
+export interface TableTailEditor<C extends Columns, K extends readonly string[]> {
+    /** Drops a non-key column; its indexes are dropped first, in the same commit. */
+    drop<N extends Exclude<keyof C & string, K[number]>>(name: N): TableTailEditor<Without<C, N>, K>;
+    /** Adds an index (`[a-z0-9_]+`) over non-`opt` `str` or `int` columns; it ends with the key. */
+    index(name: string, columns: readonly OrderColumn<C>[]): TableTailEditor<C, K>;
+    /** Drops an index. */
+    dropIndex(name: string): TableTailEditor<C, K>;
+    /** Type only: the columns and key so far. */
+    readonly "~columns"?: C;
+    readonly "~key"?: K;
+}
+/** The editor `evolveTable`'s edit gets: every edit; the column edits only before the data step. */
+export interface TableEditor<C extends Columns, K extends readonly string[]> extends TableTailEditor<C, K> {
+    /** Renames a column; the key, the indexes and a `json(...)` column's version column follow. */
+    rename<F extends keyof C & string, T extends string>(from: F, to: T): TableEditor<Renamed<C, F, T>, RenamedKey<K, F, T>>;
+    /** Adds a column: `opt(...)`, or a scalar one with a `default` (existing rows get it). */
+    add<N extends string, S extends AddedColumn>(name: N, column: S): TableEditor<With<C, N, S>, K>;
+    /** A `json(...)` column's new version (its nullability kept): no DDL, no data step, cells migrate on access. */
+    json<N extends JsonNames<C>, S extends ColumnSchema>(name: N, column: S): TableEditor<WithJson<C, N, S>, K>;
+    /**
+     * The data step: `patch` gets each row as the columns stand here and returns new values of non-key columns (`{}`
+     * stamps the row only); synchronous and pure, run in chunks of 100 in key order.
+     */
+    rows(patch: (row: RowOf<C>) => PatchOf<C, K>): TableTailEditor<C, K>;
+    /** The data step as one `updateWhere` over the rows not migrated yet. */
+    update(step: {
+        readonly where?: (row: ColumnRefs<C>) => Condition;
+        readonly set: SetOf<C, K> | ((row: ColumnRefs<C>) => SetOf<C, K>);
+    }): TableTailEditor<C, K>;
+}
+/** A column `add` takes: `opt(...)` or one with a `default`. */
+export type AddedColumn = ColumnSchema & (Optional | {
+    readonly default: unknown;
+});
+/** A `rows` patch: new values of non-key columns; `undefined` clears an `opt(...)` one. */
+export type PatchOf<C extends Columns, K extends readonly string[]> = {
+    readonly [P in Exclude<keyof C & string, K[number]>]?: ValueOf<C[P]>;
+};
+type Renamed<C extends Columns, F extends keyof C, T extends string> = {
+    readonly [P in keyof C as P extends F ? T : P]: C[P];
+};
+type RenamedKey<K extends readonly string[], F, T extends string> = {
+    readonly [I in keyof K]: K[I] extends F ? T : K[I];
+};
+type With<C extends Columns, N extends string, S extends ColumnSchema> = {
+    readonly [P in keyof C | N]: P extends N ? S : C[P & keyof C];
+};
+type Without<C extends Columns, N extends keyof C> = {
+    readonly [P in Exclude<keyof C, N>]: C[P];
+};
+type JsonNames<C extends Columns> = {
+    [P in keyof C]: ColumnTypeOf<C[P]> extends "json" ? P : never;
+}[keyof C] & string;
+type WithJson<C extends Columns, N extends keyof C & string, S extends ColumnSchema> = With<C, N, C[N] extends Optional ? Optional<Exclude<S, Optional>> : S>;
+/** `V + 1` for a literal version (contracts' `Increment<N>`); `number` stays `number`. */
+type Next<V extends number> = number extends V ? number : `${Increment<`${V}`>}` extends `${infer N extends number}` ? N : number;
+/**
+ * Appends the next version (`previous.version + 1`) with the edits `edit` makes; `edit` must return the editor it was
+ * given. Every version is materialized and fingerprinted here; the object serves the newest, and its activation
+ * migrates a store at an older version through each one.
+ */
+export declare function evolveTable<C extends Columns, K extends readonly string[], V extends number, E extends {
+    readonly "~columns"?: Columns;
+    readonly "~key"?: readonly string[];
+}>(previous: TableDefinition<C, K, V>, edit: (t: TableEditor<C, K>) => E): TableDefinition<NonNullable<E["~columns"]>, NonNullable<E["~key"]>, Next<V>>;
+export {};
+//# sourceMappingURL=table-evolve.d.ts.map

package/dist/store/table-evolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-evolve.d.ts","sourceRoot":"","sources":["../../src/store/table-evolve.ts"],"names":[],"mappings":"AAMA,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EACN,KAAK,YAAY,EACjB,KAAK,OAAO,EACZ,KAAK,YAAY,EAIjB,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,OAAO,EACZ,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,SAAS,EAA4B,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAA4B,eAAe,EAAqB,MAAM,YAAY,CAAC;AAG1F,kHAAkH;AAClH,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE;IAC9E,iFAAiF;IACjF,IAAI,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjG,gGAAgG;IAChG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,sBAAsB;IACtB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACpB;AAED,oGAAoG;AACpG,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,CAAE,SAAQ,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC;IACzG,+FAA+F;IAC/F,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,EAClD,IAAI,EAAE,CAAC,EACP,EAAE,EAAE,CAAC,GACH,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,0FAA0F;IAC1F,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,gHAAgH;IAChH,IAAI,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5G;;;OAGG;IACH,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,yEAAyE;IACzE,MAAM,CAAC,IAAI,EAAE;QACZ,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;QACnD,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAClE,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC1B;AAED,gEAAgE;AAChE,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,CAAC,QAAQ,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAEpF,2FAA2F;AAC3F,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;IACrE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpE,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,MAAM,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IACtE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IACnE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAClD,CAAC;AAEF,KAAK,IAAI,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,YAAY,IAAI;IACxE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;CAC7D,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEnG,KAAK,SAAS,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC;AAExH,KAAK,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,YAAY,IAAI,IAAI,CAC1F,CAAC,EACD,CAAC,EACD,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAC1D,CAAC;AAEF,0FAA0F;AAC1F,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAC3C,MAAM,GACN,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,GAAG,MAAM,CAAC,SAAS,MAAM,EAAE,GACzD,CAAC,GACD,MAAM,CAAC;AAEX;;;;GAIG;AACH,wBAAgB,WAAW,CAC1B,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,SAAS,MAAM,EAAE,EAC3B,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS;IAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAEhF,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAClC,IAAI,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAC/B,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAM9E"}

package/dist/store/table-evolve.js

@@ -0,0 +1,201 @@
+// `evolveTable(previous, (t) => t…)` (slice 6a §9; decision "Second spec review: the majority"): the next version of a
+// table from the edits of one migration. The editor's types order the edits (`rename`, `add` and `json` before the
+// data step, `drop`, `index` and `dropIndex` after it) and track the columns and key through the chain; at runtime one
+// editor records the edits, checks each as it is made, and materializes the new version at the end.
+import { opt } from "../contracts/index.js";
+import { editWith } from "../contracts/internal.js";
+import { isOptional } from "../contracts/schema.js";
+import { checkColumnName, columnRecord, describeColumns, } from "./columns.js";
+import { compileSet, compileWhere } from "./expression.js";
+import { INDEX_NAME, orderColumns, TableDefinition } from "./table.js";
+/**
+ * Appends the next version (`previous.version + 1`) with the edits `edit` makes; `edit` must return the editor it was
+ * given. Every version is materialized and fingerprinted here; the object serves the newest, and its activation
+ * migrates a store at an older version through each one.
+ */
+export function evolveTable(previous, edit) {
+    // The runtime editor works on untyped definitions; the types live in the editor interfaces.
+    const editor = new Editor(previous);
+    // The editor interfaces track the edits in the types; at runtime every edit returns the same editor.
+    editWith(editor, edit, `${previous.name}: evolveTable`);
+    return editor.finish();
+}
+/**
+ * The editor at runtime: the columns, key and indexes as the edits leave them, the edits before and after the data
+ * step, and the step. Each edit is checked as it is made (declaration policy: JavaScript callers reach the checks).
+ */
+class Editor {
+    #previous;
+    #what;
+    #schemas;
+    #key;
+    #indexes;
+    /** `before` until the data step or the first `drop`, `index` or `dropIndex`. */
+    #phase = "before";
+    #before = [];
+    #step;
+    #after = [];
+    constructor(previous) {
+        this.#previous = previous;
+        this.#what = `${previous.name} version ${previous.version + 1}`;
+        this.#schemas = { ...previous.schemas };
+        this.#key = [...previous.key];
+        this.#indexes = new Map(previous.indexes);
+    }
+    rename(from, to) {
+        this.#assertBefore("rename");
+        this.#assertColumn(from, "rename");
+        // Checked here, not by the final definition: a later edit may rename it again, but this one runs as DDL.
+        checkColumnName(to, `${this.#what}: rename`);
+        this.#assertNewName(to, "rename", from);
+        const rename = (column) => (column === from ? to : column);
+        this.#schemas = Object.fromEntries(Object.entries(this.#schemas).map(([name, schema]) => [rename(name), schema]));
+        this.#key = this.#key.map(rename);
+        for (const [name, columns] of this.#indexes)
+            this.#indexes.set(name, columns.map(rename));
+        this.#before.push({ kind: "rename", from, to });
+        return this;
+    }
+    add(name, column) {
+        this.#assertBefore("add");
+        this.#assertNewName(name, "add");
+        const [described] = describeColumns({ [name]: column }, `${this.#what}: add`);
+        if (!described.optional && (described.type === "json" || described.default === undefined)) {
+            throw new Error(`${this.#what}: add: column "${name}" needs opt(...) or a default (existing rows get it)`);
+        }
+        this.#schemas[name] = column;
+        this.#before.push({ kind: "add", name, column: columnRecord(described) });
+        return this;
+    }
+    json(name, column) {
+        this.#assertBefore("json");
+        const existing = describeColumns({ [name]: this.#assertColumn(name, "json") }, this.#what)[0];
+        if (existing.type !== "json")
+            throw new Error(`${this.#what}: json: column "${name}" is not a json(...) column`);
+        if (isOptional(column)) {
+            throw new Error(`${this.#what}: json: pass json(...) itself; the column keeps its nullability`);
+        }
+        const schema = existing.optional ? opt(column) : column;
+        const described = describeColumns({ [name]: schema }, `${this.#what}: json`)[0];
+        if (described.type !== "json")
+            throw new Error(`${this.#what}: json: expected a json(...) column`);
+        const [before, after] = [existing.json, described.json];
+        // D9 across table versions: a cell's version says which schema it was written with.
+        if (after.version < before.version) {
+            throw new Error(`${this.#what}: json: column "${name}" goes back from version ${before.version}`);
+        }
+        if (after.version === before.version && after.fingerprint !== before.fingerprint) {
+            throw new Error(`${this.#what}: json: column "${name}" changes its schema at version ${before.version} (raise its version)`);
+        }
+        this.#schemas[name] = schema;
+        this.#before.push({ kind: "json", name, column: columnRecord(described) });
+        return this;
+    }
+    rows(patch) {
+        this.#assertBefore("rows");
+        if (typeof patch !== "function")
+            throw new Error(`${this.#what}: rows: expected a function`);
+        this.#step = { kind: "rows", table: this.#current(), patch };
+        this.#phase = "after";
+        return this;
+    }
+    update(step) {
+        this.#assertBefore("update");
+        const table = this.#current();
+        const what = `version ${table.version} update`;
+        const where = typeof step.where === "function" ? step.where(table.refs) : step.where;
+        const set = typeof step.set === "function" ? step.set(table.refs) : step.set;
+        this.#step = {
+            kind: "update",
+            table,
+            where: where === undefined ? undefined : compileWhere(table, where, what),
+            set: compileSet(table, set, what),
+        };
+        this.#phase = "after";
+        return this;
+    }
+    drop(name) {
+        this.#phase = "after";
+        this.#assertColumn(name, "drop");
+        if (this.#key.includes(name))
+            throw new Error(`${this.#what}: drop: "${name}" is a key column`);
+        for (const [index, columns] of this.#indexes) {
+            if (!columns.includes(name))
+                continue;
+            this.#indexes.delete(index);
+            this.#after.push({ kind: "dropIndex", name: index });
+        }
+        const { [name]: _dropped, ...schemas } = this.#schemas;
+        this.#schemas = schemas;
+        this.#after.push({ kind: "drop", name });
+        return this;
+    }
+    index(name, columns) {
+        this.#phase = "after";
+        const what = `${this.#what}: index "${name}"`;
+        if (!INDEX_NAME.test(name))
+            throw new Error(`${what}: expected [a-z0-9_]+`);
+        if (this.#indexes.has(name))
+            throw new Error(`${what} exists`);
+        // Checked against the columns at this edit: the migration creates the index here, whatever later edits do.
+        const byName = new Map(describeColumns(this.#schemas, this.#what).map((column) => [column.name, column]));
+        const checked = orderColumns(byName, columns, what);
+        this.#indexes.set(name, checked);
+        this.#after.push({ kind: "index", name, columns: checked });
+        return this;
+    }
+    dropIndex(name) {
+        this.#phase = "after";
+        if (!this.#indexes.delete(name))
+            throw new Error(`${this.#what}: dropIndex: no index "${name}"`);
+        this.#after.push({ kind: "dropIndex", name });
+        return this;
+    }
+    /** The new version, materialized and fingerprinted, linked to the previous one and the migration from it. */
+    finish() {
+        const migration = { before: this.#before, step: this.#step, after: this.#after };
+        return new TableDefinition(this.#previous.name, this.#options(), { previous: this.#previous, migration });
+    }
+    /** The table as the edits so far leave it, at the new version: what a data step reads and writes. */
+    #current() {
+        return new TableDefinition(this.#previous.name, this.#options());
+    }
+    #options() {
+        const version = this.#previous.version + 1;
+        const options = {
+            version,
+            columns: { ...this.#schemas },
+            key: [...this.#key],
+            indexes: Object.fromEntries(this.#indexes),
+        };
+        // The key and indexes are names the edits kept; the constructor checks them as it checks a base's.
+        return options;
+    }
+    #assertBefore(edit) {
+        if (this.#phase === "after") {
+            throw new Error(`${this.#what}: ${edit} comes before the data step and before drop, index and dropIndex`);
+        }
+    }
+    /**
+     * `name` names no column yet, also ignoring ASCII case (SQLite's column names do): checked per edit, since a later
+     * `drop` cannot take back an `add` the migration runs first. A rename may change only the case of `from`.
+     */
+    #assertNewName(name, edit, from) {
+        const folded = foldAscii(name);
+        for (const existing of Object.keys(this.#schemas)) {
+            if (existing !== from && foldAscii(existing) === folded) {
+                throw new Error(`${this.#what}: ${edit}: column "${existing}" exists (names differing only in case collide)`);
+            }
+        }
+    }
+    #assertColumn(name, edit) {
+        if (!Object.hasOwn(this.#schemas, name))
+            throw new Error(`${this.#what}: ${edit}: no column "${name}"`);
+        return this.#schemas[name];
+    }
+}
+/** `name` with ASCII letters lowercased and nothing else changed, as SQLite folds identifiers. */
+function foldAscii(name) {
+    return name.replace(/[A-Z]+/g, (letters) => letters.toLowerCase());
+}
+//# sourceMappingURL=table-evolve.js.map