@earendil-works/chord 1.5.0 → 1.5.1

package/dist/next/store/store.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"store.js","sourceRoot":"","sources":["../../../src/next/store/store.ts"],"names":[],"mappings":"AAAA,yHAAyH;AACzH,8GAA8G;AAC9G,qHAAqH;AACrH,wHAAwH;AACxH,iCAAiC;AAEjC,OAAO,EAAE,gBAAgB,EAAgB,MAAM,wBAAwB,CAAC;AAExE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,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;AA2BpE;;;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;AAqED,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,4FAA4F;IAC5F,SAAS,GAAG,KAAK,CAAC;IAClB,iFAAiF;IACjF,KAAK,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;IACzC,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,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;;;;;;;OAOG;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,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACb,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,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,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;YACnC,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,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,KAAK,CAAC,KAAK,CAAC,MAA8B,EAAE,KAAkB,EAAE,OAAgB;QAC/E,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,sFAAsF;YACtF,IAAI,CAAC;gBACJ,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAChC,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,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;QAC1C,OAAO,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChE,IAAI,CAAC;YACJ,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,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,IAAY,CAAC;QACjB,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,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;QAC1C,OAAO,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAI,CAAC;YACJ,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,GAAmB;YAChC,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,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACrD,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,QAAwB;QAExB,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;;;OAGG;IACH,KAAK,CAAC,YAAY,CAAC,MAAoB,EAAE,QAAwB,EAAE,QAAwB;QAC1F,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,OAAO;QACR,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,MAAM,CAAC,CAAC;QACzD,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;IACtD,CAAC;IAED,6CAA6C;IAC7C,QAAQ,CAAC,QAAwB;QAChC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC;IAED,oHAAoH;IACpH,KAAK,CAAC,YAAY,CAAC,QAAwB;QAC1C,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,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,8GAA8G;IAC9G,KAAK,CAAC,KAAc;QACnB,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,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 step\n// (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), the id allocator, the claims of its tables and documents,\n// reads guarded as Durable's `GuardedStorage` guards them, Durable's Storage semantics for a refused step (D4), and the\n// stop after an unknown outcome.\n\nimport { awaitWithContext, type Context } from \"../../context/index.ts\";\nimport type { SqliteDatabase, SqliteExecutor } from \"../../sqlite/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { Batch } from \"../state/internal.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, rejects queued commits and reads `released`, closes the\n\t * backend. Idempotent, also after `storage_failed`; `context` ends only 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/** After `COMMIT`: adopts the commit, `ids` being its created documents' ids in the order of their writes. */\n\tadopt(seq: number, ids: readonly 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 * A series as its transaction leaves it: each stored commit's seq and created documents; once a commit wrote, the last\n * seq, the allocator's value after it and the table records the series changed; the commits that wrote and the\n * statements run.\n */\ntype Series = {\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 * A series while its transaction runs: each stored commit's seq and created documents, its last step that wrote, the\n * allocator's value after it, the table records it changed (a copy of the catalog, made once one changed) and the\n * statements run.\n */\ntype SeriesProgress = {\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/** 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/** 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/** 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\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 step's entry, the writes in\n\t * their order (retirements, creations, the rest), the outbox commit, `lastSeq` and the allocator's value, `COMMIT`,\n\t * then `fence.adopt` before the next step starts. Resolves with the seq. A refused admission rejects `released`. A\n\t * step the backend rolled back after the step's own code threw (a refusal, D4) rejects with that error unchanged and\n\t * the store goes on; any other failure (`BEGIN`, `COMMIT`, `ROLLBACK`, a throwing `adopt`) is an unknown outcome\n\t * that stops the store (`storage_failed`). `context` counts the step (no abort once queued).\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 step = this.#tail.then(() => this.#step(writes, fence, context));\n\t\tthis.#tail = step.then(NOTHING, NOTHING);\n\t\treturn step;\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\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\tthis.assertUsable();\n\t\t\tconst signal = context.abortSignal;\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\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\tasync #step(writes: readonly StagedWrite[], fence: CommitFence, context: Context): Promise<number> {\n\t\tthis.assertUsable();\n\t\tif (!fence.admit()) {\n\t\t\tthrow new ChordError({ code: \"released\", reason: \"discarded\", message: \"store: the commit's attempt ended\" });\n\t\t}\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, []);\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\tconst metrics = context.telemetry.metrics;\n\t\tmetrics?.counter(\"chord.store.commits\").add(1);\n\t\tmetrics?.counter(\"chord.store.statements\").add(step.statements);\n\t\ttry {\n\t\t\tfence.adopt(seq, step.created);\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 `#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: Series;\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\tconst metrics = context.telemetry.metrics;\n\t\tmetrics?.counter(\"chord.store.commits\").add(written);\n\t\tmetrics?.counter(\"chord.store.statements\").add(statements);\n\t\ttry {\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<Series> {\n\t\tconst calls = { failed: false };\n\t\tconst watched = watchCalls(executor, calls);\n\t\tconst progress: SeriesProgress = {\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, executor, progress);\n\t\t}\n\t\treturn this.#closeSeries(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: SeriesProgress,\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 `commit` on its own step at the series' next seq (`#write`), unwatched, and keeps the table records it\n\t * changed in a copy of the catalog, made only once one changed; a commit without writes takes no seq.\n\t */\n\tasync #writeCommit(commit: SeriesCommit, executor: SqliteExecutor, progress: SeriesProgress): Promise<void> {\n\t\tconst seq = this.#nextSeq(progress);\n\t\tif (commit.writes.length === 0) {\n\t\t\tprogress.stored.push({ seq: seq - 1, created: [] });\n\t\t\treturn;\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, commit.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}\n\n\t/** The seq the series' next commit takes. */\n\t#nextSeq(progress: SeriesProgress): number {\n\t\treturn (progress.last?.seq ?? this.#lastSeq) + 1;\n\t}\n\n\t/** Ends the series' writes with the metadata, once, after its last commit that wrote; returns what memory takes. */\n\tasync #closeSeries(progress: SeriesProgress): Promise<Series> {\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\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/** Stops the store after `error` (once; its host is told once); returns the error the caller rejects with. */\n\t#fail(error: unknown): ChordError {\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 `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/next/store/table-changes.d.ts

@@ -1,29 +0,0 @@
-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/next/store/table-changes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-changes.d.ts","sourceRoot":"","sources":["../../../src/next/store/table-changes.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAEtD,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/next/store/table-changes.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-changes.js","sourceRoot":"","sources":["../../../src/next/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/next/store/table-evolve.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-evolve.d.ts","sourceRoot":"","sources":["../../../src/next/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/next/store/table-evolve.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-evolve.js","sourceRoot":"","sources":["../../../src/next/store/table-evolve.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,mHAAmH;AACnH,uHAAuH;AACvH,oGAAoG;AAEpG,OAAO,EAAE,GAAG,EAAE,MAAM,uBAAuB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAkB,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,UAAU,EAAiB,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAIN,eAAe,EACf,YAAY,EACZ,eAAe,GAIf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAkB,UAAU,EAAE,YAAY,EAAc,MAAM,iBAAiB,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,eAAe,EAAqB,MAAM,YAAY,CAAC;AA4E1F;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAM1B,QAAkC,EAClC,IAAiC;IAEjC,4FAA4F;IAC5F,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,QAAsC,CAAC,CAAC;IAClE,qGAAqG;IACrG,QAAQ,CAAC,MAAsC,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,eAAe,CAAC,CAAC;IACxF,OAAO,MAAM,CAAC,MAAM,EAA6F,CAAC;AACnH,CAAC;AAED;;;GAGG;AACH,MAAM,MAAM;IACF,SAAS,CAAkB;IAC3B,KAAK,CAAS;IACvB,QAAQ,CAAmC;IAC3C,IAAI,CAAW;IACN,QAAQ,CAAiC;IAClD,gFAAgF;IAChF,MAAM,GAAuB,QAAQ,CAAC;IAC7B,OAAO,GAAgB,EAAE,CAAC;IACnC,KAAK,CAAuB;IACnB,MAAM,GAAgB,EAAE,CAAC;IAElC,YAAY,QAAyB;QACpC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,KAAK,GAAG,GAAG,QAAQ,CAAC,IAAI,YAAY,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,IAAY,EAAE,EAAU;QAC9B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnC,yGAAyG;QACzG,eAAe,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;QAC7C,IAAI,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3E,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAClH,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1F,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,GAAG,CAAC,IAAY,EAAE,MAAoB;QACrC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,SAAS,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC;QAC9E,IAAI,CAAC,SAAU,CAAC,QAAQ,IAAI,CAAC,SAAU,CAAC,IAAI,KAAK,MAAM,IAAI,SAAU,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;YAC9F,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,kBAAkB,IAAI,sDAAsD,CAAC,CAAC;QAC5G,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,SAAU,CAAC,EAAE,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,CAAC,IAAY,EAAE,MAAoB;QACtC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC;QAC/F,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,mBAAmB,IAAI,6BAA6B,CAAC,CAAC;QACjH,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,iEAAiE,CAAC,CAAC;QACjG,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACxD,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAE,CAAC;QACjF,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,qCAAqC,CAAC,CAAC;QACnG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QACxD,oFAAoF;QACpF,IAAI,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,mBAAmB,IAAI,4BAA4B,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;YAClF,MAAM,IAAI,KAAK,CACd,GAAG,IAAI,CAAC,KAAK,mBAAmB,IAAI,mCAAmC,MAAM,CAAC,OAAO,sBAAsB,CAC3G,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,CAAC,KAA+D;QACnE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,OAAO,KAAK,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,6BAA6B,CAAC,CAAC;QAC7F,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC;QAC7D,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,CAAC,IAAyD;QAC/D,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,KAAK,CAAC,OAAO,SAAS,CAAC;QAC/C,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QACrF,MAAM,GAAG,GAAG,OAAO,IAAI,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7E,IAAI,CAAC,KAAK,GAAG;YACZ,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;YACzE,GAAG,EAAE,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC;SACjC,CAAC;QACF,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,CAAC,IAAY;QAChB,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,YAAY,IAAI,mBAAmB,CAAC,CAAC;QAChG,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC;QACvD,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACb,CAAC;IAED,KAAK,CAAC,IAAY,EAAE,OAA0B;QAC7C,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,YAAY,IAAI,GAAG,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;QAC5E,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC;QAC/D,2GAA2G;QAC3G,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1G,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC;IACb,CAAC;IAED,SAAS,CAAC,IAAY;QACrB,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,0BAA0B,IAAI,GAAG,CAAC,CAAC;QACjG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC;IACb,CAAC;IAED,6GAA6G;IAC7G,MAAM;QACL,MAAM,SAAS,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACjF,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3G,CAAC;IAED,qGAAqG;IACrG,QAAQ;QACP,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,QAAQ;QACP,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,GAAG,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG;YACf,OAAO;YACP,OAAO,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE;YAC7B,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC;SAC1C,CAAC;QACF,mGAAmG;QACnG,OAAO,OAA6D,CAAC;IACtE,CAAC;IAED,aAAa,CAAC,IAAY;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,kEAAkE,CAAC,CAAC;QAC3G,CAAC;IACF,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,IAAY,EAAE,IAAY,EAAE,IAAa;QACvD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,IAAI,QAAQ,KAAK,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,MAAM,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CACd,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,aAAa,QAAQ,iDAAiD,CAC5F,CAAC;YACH,CAAC;QACF,CAAC;IACF,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,IAAY;QACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACxG,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAE,CAAC;IAC7B,CAAC;CACD;AAED,kGAAkG;AAClG,SAAS,SAAS,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;AACpE,CAAC","sourcesContent":["// `evolveTable(previous, (t) => t…)` (slice 6a §9; decision \"Second spec review: the majority\"): the next version of a\n// table from the edits of one migration. The editor's types order the edits (`rename`, `add` and `json` before the\n// data step, `drop`, `index` and `dropIndex` after it) and track the columns and key through the chain; at runtime one\n// editor records the edits, checks each as it is made, and materializes the new version at the end.\n\nimport { opt } from \"../contracts/index.ts\";\nimport { editWith, type Increment } from \"../contracts/internal.ts\";\nimport { isOptional, type Optional } from \"../contracts/schema.ts\";\nimport {\n\ttype ColumnSchema,\n\ttype Columns,\n\ttype ColumnTypeOf,\n\tcheckColumnName,\n\tcolumnRecord,\n\tdescribeColumns,\n\ttype OrderColumn,\n\ttype RowOf,\n\ttype ValueOf,\n} from \"./columns.ts\";\nimport { type Condition, compileSet, compileWhere, type SetOf } from \"./expression.ts\";\nimport type { ColumnRefs } from \"./query.ts\";\nimport { INDEX_NAME, orderColumns, TableDefinition, type TableOptions } from \"./table.ts\";\nimport type { DataStep, TableEdit } from \"./table-history.ts\";\n\n/** The edits after the data step: `drop`, `index` and `dropIndex`; `C` and `K` are the columns and key so far. */\nexport interface TableTailEditor<C extends Columns, K extends readonly string[]> {\n\t/** Drops a non-key column; its indexes are dropped first, in the same commit. */\n\tdrop<N extends Exclude<keyof C & string, K[number]>>(name: N): TableTailEditor<Without<C, N>, K>;\n\t/** Adds an index (`[a-z0-9_]+`) over non-`opt` `str` or `int` columns; it ends with the key. */\n\tindex(name: string, columns: readonly OrderColumn<C>[]): TableTailEditor<C, K>;\n\t/** Drops an index. */\n\tdropIndex(name: string): TableTailEditor<C, K>;\n\t/** Type only: the columns and key so far. */\n\treadonly \"~columns\"?: C;\n\treadonly \"~key\"?: K;\n}\n\n/** The editor `evolveTable`'s edit gets: every edit; the column edits only before the data step. */\nexport interface TableEditor<C extends Columns, K extends readonly string[]> extends TableTailEditor<C, K> {\n\t/** Renames a column; the key, the indexes and a `json(...)` column's version column follow. */\n\trename<F extends keyof C & string, T extends string>(\n\t\tfrom: F,\n\t\tto: T,\n\t): TableEditor<Renamed<C, F, T>, RenamedKey<K, F, T>>;\n\t/** Adds a column: `opt(...)`, or a scalar one with a `default` (existing rows get it). */\n\tadd<N extends string, S extends AddedColumn>(name: N, column: S): TableEditor<With<C, N, S>, K>;\n\t/** A `json(...)` column's new version (its nullability kept): no DDL, no data step, cells migrate on access. */\n\tjson<N extends JsonNames<C>, S extends ColumnSchema>(name: N, column: S): TableEditor<WithJson<C, N, S>, K>;\n\t/**\n\t * The data step: `patch` gets each row as the columns stand here and returns new values of non-key columns (`{}`\n\t * stamps the row only); synchronous and pure, run in chunks of 100 in key order.\n\t */\n\trows(patch: (row: RowOf<C>) => PatchOf<C, K>): TableTailEditor<C, K>;\n\t/** The data step as one `updateWhere` over the rows not migrated yet. */\n\tupdate(step: {\n\t\treadonly where?: (row: ColumnRefs<C>) => Condition;\n\t\treadonly set: SetOf<C, K> | ((row: ColumnRefs<C>) => SetOf<C, K>);\n\t}): TableTailEditor<C, K>;\n}\n\n/** A column `add` takes: `opt(...)` or one with a `default`. */\nexport type AddedColumn = ColumnSchema & (Optional | { readonly default: unknown });\n\n/** A `rows` patch: new values of non-key columns; `undefined` clears an `opt(...)` one. */\nexport type PatchOf<C extends Columns, K extends readonly string[]> = {\n\treadonly [P in Exclude<keyof C & string, K[number]>]?: ValueOf<C[P]>;\n};\n\ntype Renamed<C extends Columns, F extends keyof C, T extends string> = {\n\treadonly [P in keyof C as P extends F ? T : P]: C[P];\n};\n\ntype RenamedKey<K extends readonly string[], F, T extends string> = {\n\treadonly [I in keyof K]: K[I] extends F ? T : K[I];\n};\n\ntype With<C extends Columns, N extends string, S extends ColumnSchema> = {\n\treadonly [P in keyof C | N]: P extends N ? S : C[P & keyof C];\n};\n\ntype Without<C extends Columns, N extends keyof C> = { readonly [P in Exclude<keyof C, N>]: C[P] };\n\ntype JsonNames<C extends Columns> = { [P in keyof C]: ColumnTypeOf<C[P]> extends \"json\" ? P : never }[keyof C] & string;\n\ntype WithJson<C extends Columns, N extends keyof C & string, S extends ColumnSchema> = With<\n\tC,\n\tN,\n\tC[N] extends Optional ? Optional<Exclude<S, Optional>> : S\n>;\n\n/** `V + 1` for a literal version (contracts' `Increment<N>`); `number` stays `number`. */\ntype Next<V extends number> = number extends V\n\t? number\n\t: `${Increment<`${V}`>}` extends `${infer N extends number}`\n\t\t? N\n\t\t: number;\n\n/**\n * Appends the next version (`previous.version + 1`) with the edits `edit` makes; `edit` must return the editor it was\n * given. Every version is materialized and fingerprinted here; the object serves the newest, and its activation\n * migrates a store at an older version through each one.\n */\nexport function evolveTable<\n\tC extends Columns,\n\tK extends readonly string[],\n\tV extends number,\n\tE extends { readonly \"~columns\"?: Columns; readonly \"~key\"?: readonly string[] },\n>(\n\tprevious: TableDefinition<C, K, V>,\n\tedit: (t: TableEditor<C, K>) => E,\n): TableDefinition<NonNullable<E[\"~columns\"]>, NonNullable<E[\"~key\"]>, Next<V>> {\n\t// The runtime editor works on untyped definitions; the types live in the editor interfaces.\n\tconst editor = new Editor(previous as unknown as TableDefinition);\n\t// The editor interfaces track the edits in the types; at runtime every edit returns the same editor.\n\teditWith(editor as unknown as TableEditor<C, K>, edit, `${previous.name}: evolveTable`);\n\treturn editor.finish() as unknown as TableDefinition<NonNullable<E[\"~columns\"]>, NonNullable<E[\"~key\"]>, Next<V>>;\n}\n\n/**\n * The editor at runtime: the columns, key and indexes as the edits leave them, the edits before and after the data\n * step, and the step. Each edit is checked as it is made (declaration policy: JavaScript callers reach the checks).\n */\nclass Editor {\n\treadonly #previous: TableDefinition;\n\treadonly #what: string;\n\t#schemas: { [name: string]: ColumnSchema };\n\t#key: string[];\n\treadonly #indexes: Map<string, readonly string[]>;\n\t/** `before` until the data step or the first `drop`, `index` or `dropIndex`. */\n\t#phase: \"before\" | \"after\" = \"before\";\n\treadonly #before: TableEdit[] = [];\n\t#step: DataStep | undefined;\n\treadonly #after: TableEdit[] = [];\n\n\tconstructor(previous: TableDefinition) {\n\t\tthis.#previous = previous;\n\t\tthis.#what = `${previous.name} version ${previous.version + 1}`;\n\t\tthis.#schemas = { ...previous.schemas };\n\t\tthis.#key = [...previous.key];\n\t\tthis.#indexes = new Map(previous.indexes);\n\t}\n\n\trename(from: string, to: string): this {\n\t\tthis.#assertBefore(\"rename\");\n\t\tthis.#assertColumn(from, \"rename\");\n\t\t// Checked here, not by the final definition: a later edit may rename it again, but this one runs as DDL.\n\t\tcheckColumnName(to, `${this.#what}: rename`);\n\t\tthis.#assertNewName(to, \"rename\", from);\n\t\tconst rename = (column: string): string => (column === from ? to : column);\n\t\tthis.#schemas = Object.fromEntries(Object.entries(this.#schemas).map(([name, schema]) => [rename(name), schema]));\n\t\tthis.#key = this.#key.map(rename);\n\t\tfor (const [name, columns] of this.#indexes) this.#indexes.set(name, columns.map(rename));\n\t\tthis.#before.push({ kind: \"rename\", from, to });\n\t\treturn this;\n\t}\n\n\tadd(name: string, column: ColumnSchema): this {\n\t\tthis.#assertBefore(\"add\");\n\t\tthis.#assertNewName(name, \"add\");\n\t\tconst [described] = describeColumns({ [name]: column }, `${this.#what}: add`);\n\t\tif (!described!.optional && (described!.type === \"json\" || described!.default === undefined)) {\n\t\t\tthrow new Error(`${this.#what}: add: column \"${name}\" needs opt(...) or a default (existing rows get it)`);\n\t\t}\n\t\tthis.#schemas[name] = column;\n\t\tthis.#before.push({ kind: \"add\", name, column: columnRecord(described!) });\n\t\treturn this;\n\t}\n\n\tjson(name: string, column: ColumnSchema): this {\n\t\tthis.#assertBefore(\"json\");\n\t\tconst existing = describeColumns({ [name]: this.#assertColumn(name, \"json\") }, this.#what)[0]!;\n\t\tif (existing.type !== \"json\") throw new Error(`${this.#what}: json: column \"${name}\" is not a json(...) column`);\n\t\tif (isOptional(column)) {\n\t\t\tthrow new Error(`${this.#what}: json: pass json(...) itself; the column keeps its nullability`);\n\t\t}\n\t\tconst schema = existing.optional ? opt(column) : column;\n\t\tconst described = describeColumns({ [name]: schema }, `${this.#what}: json`)[0]!;\n\t\tif (described.type !== \"json\") throw new Error(`${this.#what}: json: expected a json(...) column`);\n\t\tconst [before, after] = [existing.json, described.json];\n\t\t// D9 across table versions: a cell's version says which schema it was written with.\n\t\tif (after.version < before.version) {\n\t\t\tthrow new Error(`${this.#what}: json: column \"${name}\" goes back from version ${before.version}`);\n\t\t}\n\t\tif (after.version === before.version && after.fingerprint !== before.fingerprint) {\n\t\t\tthrow new Error(\n\t\t\t\t`${this.#what}: json: column \"${name}\" changes its schema at version ${before.version} (raise its version)`,\n\t\t\t);\n\t\t}\n\t\tthis.#schemas[name] = schema;\n\t\tthis.#before.push({ kind: \"json\", name, column: columnRecord(described) });\n\t\treturn this;\n\t}\n\n\trows(patch: (row: { readonly [column: string]: unknown }) => unknown): this {\n\t\tthis.#assertBefore(\"rows\");\n\t\tif (typeof patch !== \"function\") throw new Error(`${this.#what}: rows: expected a function`);\n\t\tthis.#step = { kind: \"rows\", table: this.#current(), patch };\n\t\tthis.#phase = \"after\";\n\t\treturn this;\n\t}\n\n\tupdate(step: { readonly where?: unknown; readonly set: unknown }): this {\n\t\tthis.#assertBefore(\"update\");\n\t\tconst table = this.#current();\n\t\tconst what = `version ${table.version} update`;\n\t\tconst where = typeof step.where === \"function\" ? step.where(table.refs) : step.where;\n\t\tconst set = typeof step.set === \"function\" ? step.set(table.refs) : step.set;\n\t\tthis.#step = {\n\t\t\tkind: \"update\",\n\t\t\ttable,\n\t\t\twhere: where === undefined ? undefined : compileWhere(table, where, what),\n\t\t\tset: compileSet(table, set, what),\n\t\t};\n\t\tthis.#phase = \"after\";\n\t\treturn this;\n\t}\n\n\tdrop(name: string): this {\n\t\tthis.#phase = \"after\";\n\t\tthis.#assertColumn(name, \"drop\");\n\t\tif (this.#key.includes(name)) throw new Error(`${this.#what}: drop: \"${name}\" is a key column`);\n\t\tfor (const [index, columns] of this.#indexes) {\n\t\t\tif (!columns.includes(name)) continue;\n\t\t\tthis.#indexes.delete(index);\n\t\t\tthis.#after.push({ kind: \"dropIndex\", name: index });\n\t\t}\n\t\tconst { [name]: _dropped, ...schemas } = this.#schemas;\n\t\tthis.#schemas = schemas;\n\t\tthis.#after.push({ kind: \"drop\", name });\n\t\treturn this;\n\t}\n\n\tindex(name: string, columns: readonly string[]): this {\n\t\tthis.#phase = \"after\";\n\t\tconst what = `${this.#what}: index \"${name}\"`;\n\t\tif (!INDEX_NAME.test(name)) throw new Error(`${what}: expected [a-z0-9_]+`);\n\t\tif (this.#indexes.has(name)) throw new Error(`${what} exists`);\n\t\t// Checked against the columns at this edit: the migration creates the index here, whatever later edits do.\n\t\tconst byName = new Map(describeColumns(this.#schemas, this.#what).map((column) => [column.name, column]));\n\t\tconst checked = orderColumns(byName, columns, what);\n\t\tthis.#indexes.set(name, checked);\n\t\tthis.#after.push({ kind: \"index\", name, columns: checked });\n\t\treturn this;\n\t}\n\n\tdropIndex(name: string): this {\n\t\tthis.#phase = \"after\";\n\t\tif (!this.#indexes.delete(name)) throw new Error(`${this.#what}: dropIndex: no index \"${name}\"`);\n\t\tthis.#after.push({ kind: \"dropIndex\", name });\n\t\treturn this;\n\t}\n\n\t/** The new version, materialized and fingerprinted, linked to the previous one and the migration from it. */\n\tfinish(): TableDefinition {\n\t\tconst migration = { before: this.#before, step: this.#step, after: this.#after };\n\t\treturn new TableDefinition(this.#previous.name, this.#options(), { previous: this.#previous, migration });\n\t}\n\n\t/** The table as the edits so far leave it, at the new version: what a data step reads and writes. */\n\t#current(): TableDefinition {\n\t\treturn new TableDefinition(this.#previous.name, this.#options());\n\t}\n\n\t#options(): TableOptions<Columns, readonly never[]> {\n\t\tconst version = this.#previous.version + 1;\n\t\tconst options = {\n\t\t\tversion,\n\t\t\tcolumns: { ...this.#schemas },\n\t\t\tkey: [...this.#key],\n\t\t\tindexes: Object.fromEntries(this.#indexes),\n\t\t};\n\t\t// The key and indexes are names the edits kept; the constructor checks them as it checks a base's.\n\t\treturn options as unknown as TableOptions<Columns, readonly never[]>;\n\t}\n\n\t#assertBefore(edit: string): void {\n\t\tif (this.#phase === \"after\") {\n\t\t\tthrow new Error(`${this.#what}: ${edit} comes before the data step and before drop, index and dropIndex`);\n\t\t}\n\t}\n\n\t/**\n\t * `name` names no column yet, also ignoring ASCII case (SQLite's column names do): checked per edit, since a later\n\t * `drop` cannot take back an `add` the migration runs first. A rename may change only the case of `from`.\n\t */\n\t#assertNewName(name: string, edit: string, from?: string): void {\n\t\tconst folded = foldAscii(name);\n\t\tfor (const existing of Object.keys(this.#schemas)) {\n\t\t\tif (existing !== from && foldAscii(existing) === folded) {\n\t\t\t\tthrow new Error(\n\t\t\t\t\t`${this.#what}: ${edit}: column \"${existing}\" exists (names differing only in case collide)`,\n\t\t\t\t);\n\t\t\t}\n\t\t}\n\t}\n\n\t#assertColumn(name: string, edit: string): ColumnSchema {\n\t\tif (!Object.hasOwn(this.#schemas, name)) throw new Error(`${this.#what}: ${edit}: no column \"${name}\"`);\n\t\treturn this.#schemas[name]!;\n\t}\n}\n\n/** `name` with ASCII letters lowercased and nothing else changed, as SQLite folds identifiers. */\nfunction foldAscii(name: string): string {\n\treturn name.replace(/[A-Z]+/g, (letters) => letters.toLowerCase());\n}\n"]}

package/dist/next/store/table-handle.d.ts

@@ -1,67 +0,0 @@
-import type { Context } from "../../context/index.ts";
-import type { SqliteValue } from "../../sqlite/index.ts";
-import { ChordError } from "../data/index.ts";
-import type { Columns, RowOf } from "./columns.ts";
-import { type Query } from "./query.ts";
-import { TableSql } from "./sql.ts";
-import type { ChordStore } from "./store.ts";
-import type { KeyOf, TableDefinition } from "./table.ts";
-/** One page of rows (`items`, as Durable's pages) and, when more follow, the cursor to continue after it. */
-export type Page<T> = {
-    readonly items: T[];
-    readonly next?: string;
-};
-/** What `page` takes besides the query, the limit and the context. */
-export type PageOptions = {
-    /** A cursor from an earlier page of the same order. */
-    readonly after?: string;
-};
-/** A table of this object: reads of committed state, the context last. Writes go through `self.tx`. */
-export interface Table<C extends Columns, K extends readonly string[]> {
-    /** Up to `limit` rows of `q` (after `options.after`), and the cursor of the next page when there is one. */
-    page(q: Query<C, K>, limit: number, context: Context, options?: PageOptions): Promise<Page<RowOf<C>>>;
-    /** Every row of `q`, read a page of 100 at a time. */
-    rows(q: Query<C, K>, context: Context): AsyncIterable<RowOf<C>>;
-    /** The row with `key`, `undefined` when absent. */
-    get(key: KeyOf<C, K>, context: Context): Promise<RowOf<C> | undefined>;
-    /** The number of rows of `q`. */
-    count(q: Query<C, K>, context: Context): Promise<number>;
-}
-/** The handle type of table definition `D`: what `self.table(D)` returns. */
-export type TableOf<D> = D extends TableDefinition<infer C, infer K> ? Table<C, K> : never;
-/** Who owns a table handle: its object (whose transactions alone write it), liveness check and live failure. */
-export type TableOwner = {
-    readonly label: string;
-    /** The object's documents: a transaction of another object refuses the handle. */
-    readonly scope: object;
-    /** Throws `released` once the object ended. */
-    assertLive(): void;
-    /** A row the code cannot read (a `json(...)` cell, slice 6a §9) fails the owner `broken` (§1.4). */
-    fail(error: ChordError): void;
-};
-/** The rows `rows()` reads per page (rule 17). */
-export declare const ROWS_PAGE = 100;
-/** A table handle: the definition the attempt declared, the table's SQL name and statements, the store. */
-export declare class TableHandle implements Table<Columns, readonly string[]> {
-    #private;
-    readonly definition: TableDefinition;
-    readonly sql: TableSql;
-    readonly store: ChordStore;
-    readonly owner: TableOwner;
-    constructor(definition: TableDefinition, sqlName: string, store: ChordStore, owner: TableOwner);
-    page(q: Query, limit: number, context: Context, options?: PageOptions): Promise<Page<RowOf<Columns>>>;
-    rows(q: Query, context: Context): AsyncIterable<RowOf<Columns>>;
-    get(key: unknown, context: Context): Promise<RowOf<Columns> | undefined>;
-    count(q: Query, context: Context): Promise<number>;
-    /**
-     * The version fence of old table handles (R15, slice 7b §5): once the store's table is at a newer version than this
-     * handle's definition (a reload's new code migrated it), old code reads and writes it no more (`released/version`),
-     * so it never issues SQL for a dropped column.
-     */
-    assertVersion(): void;
-    /** A stored row as reads return it; one the code cannot read fails the owner and throws. */
-    decode(stored: {
-        readonly [column: string]: SqliteValue;
-    }, context: Context): RowOf<Columns>;
-}
-//# sourceMappingURL=table-handle.d.ts.map

package/dist/next/store/table-handle.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-handle.d.ts","sourceRoot":"","sources":["../../../src/next/store/table-handle.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAA8B,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAEzD,6GAA6G;AAC7G,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtE,sEAAsE;AACtE,MAAM,MAAM,WAAW,GAAG;IACzB,uDAAuD;IACvD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,uGAAuG;AACvG,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE;IACpE,4GAA4G;IAC5G,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,sDAAsD;IACtD,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,mDAAmD;IACnD,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IACvE,iCAAiC;IACjC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACzD;AAED,6EAA6E;AAC7E,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAE3F,gHAAgH;AAChH,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kFAAkF;IAClF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,UAAU,IAAI,IAAI,CAAC;IACnB,oGAAoG;IACpG,IAAI,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;CAC9B,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,SAAS,MAAM,CAAC;AAE7B,2GAA2G;AAC3G,qBAAa,WAAY,YAAW,KAAK,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;;IACpE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAE3B,YAAY,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAK7F;IAEK,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAE,WAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CA2B9G;IAEM,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAOrE;IAEK,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAS7E;IAEK,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAUvD;IAED;;;;OAIG;IACH,aAAa,IAAI,IAAI,CAMpB;IAED,4FAA4F;IAC5F,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAY3F;CAWD"}

package/dist/next/store/table-handle.js

@@ -1,101 +0,0 @@
-// Table handles (slice 6a §6; decision "Query runner"): what `self.table(Def)` returns, one per attempt and table: reads
-// of committed rows (`page`, `rows`, `get`, `count`) through the store's guarded reads, and what a transaction's
-// writes to the table are staged with; a handle of an older version than the stored table is refused (R15, slice 7b).
-import { ChordError } from "../data/index.js";
-import { invalid } from "../data/internal.js";
-import { decodeCursor, encodeCursor } from "./query.js";
-import { TableSql } from "./sql.js";
-/** The rows `rows()` reads per page (rule 17). */
-export const ROWS_PAGE = 100;
-/** A table handle: the definition the attempt declared, the table's SQL name and statements, the store. */
-export class TableHandle {
-    definition;
-    sql;
-    store;
-    owner;
-    constructor(definition, sqlName, store, owner) {
-        this.definition = definition;
-        this.sql = new TableSql(sqlName, definition.columns, definition.rows.physical, definition.key);
-        this.store = store;
-        this.owner = owner;
-    }
-    async page(q, limit, context, options = {}) {
-        this.owner.assertLive();
-        this.assertVersion();
-        this.#assertQuery(q);
-        if (!Number.isSafeInteger(limit) || limit < 1)
-            throw invalid("args", `${this.definition.name}: limit is a positive integer`);
-        const order = q.order;
-        const after = options.after === undefined ? undefined : decodeCursor(this.definition, this.sql.table, order, options.after);
-        const statement = this.sql.select(q.condition, order, after, limit + 1);
-        const stored = await this.store.read((executor) => executor.all(statement.sql, ...statement.params), context);
-        const more = stored.length > limit;
-        if (more)
-            stored.length = limit;
-        const items = stored.map((row) => this.decode(row, context));
-        if (!more)
-            return { items };
-        const last = stored[limit - 1];
-        return {
-            items,
-            next: encodeCursor(this.sql.table, order, order.columns.map((column) => last[column])),
-        };
-    }
-    async *rows(q, context) {
-        let after;
-        do {
-            const page = await this.page(q, ROWS_PAGE, context, after === undefined ? {} : { after });
-            yield* page.items;
-            after = page.next;
-        } while (after !== undefined);
-    }
-    async get(key, context) {
-        this.owner.assertLive();
-        this.assertVersion();
-        const encoded = this.definition.rows.key(key, "get");
-        const stored = await this.store.read((executor) => executor.get(this.sql.get, ...encoded.params), context);
-        return stored === undefined ? undefined : this.decode(stored, context);
-    }
-    async count(q, context) {
-        this.owner.assertLive();
-        this.assertVersion();
-        this.#assertQuery(q);
-        const statement = this.sql.count(q.condition);
-        const row = await this.store.read((executor) => executor.get(statement.sql, ...statement.params), context);
-        return row?.count ?? 0;
-    }
-    /**
-     * The version fence of old table handles (R15, slice 7b §5): once the store's table is at a newer version than this
-     * handle's definition (a reload's new code migrated it), old code reads and writes it no more (`released/version`),
-     * so it never issues SQL for a dropped column.
-     */
-    assertVersion() {
-        const stored = this.store.tableVersion(this.sql.table);
-        if (stored === undefined || stored <= this.definition.version)
-            return;
-        const { name, version } = this.definition;
-        const message = `${this.owner.label}: table "${name}" of version ${version}; the store has version ${stored}`;
-        throw new ChordError({ code: "released", reason: "version", message });
-    }
-    /** A stored row as reads return it; one the code cannot read fails the owner and throws. */
-    decode(stored, context) {
-        try {
-            // The codec decodes by the definition's columns: a row of them.
-            return this.definition.rows.decode(stored, context);
-        }
-        catch (error) {
-            const failure = error instanceof ChordError
-                ? error
-                : new ChordError({ code: "unavailable", message: String(error) }, { cause: error });
-            this.owner.fail(failure);
-            throw failure;
-        }
-    }
-    /** A query of another table is refused (`invalid/args`). */
-    #assertQuery(q) {
-        if (q.table !== this.definition) {
-            throw invalid("args", `${this.owner.label}: a query of table "${q.table.name}" run on "${this.definition.name}"`);
-        }
-    }
-}
-//# sourceMappingURL=table-handle.js.map

package/dist/next/store/table-handle.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-handle.js","sourceRoot":"","sources":["../../../src/next/store/table-handle.ts"],"names":[],"mappings":"AAAA,yHAAyH;AACzH,iHAAiH;AACjH,sHAAsH;AAItH,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAc,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAuCpC,kDAAkD;AAClD,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,CAAC;AAE7B,2GAA2G;AAC3G,MAAM,OAAO,WAAW;IACd,UAAU,CAAkB;IAC5B,GAAG,CAAW;IACd,KAAK,CAAa;IAClB,KAAK,CAAa;IAE3B,YAAY,UAA2B,EAAE,OAAe,EAAE,KAAiB,EAAE,KAAiB;QAC7F,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,GAAG,GAAG,IAAI,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;QAC/F,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAQ,EAAE,KAAa,EAAE,OAAgB,EAAE,OAAO,GAAgB,EAAE;QAC9E,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;YAC5C,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,+BAA+B,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QACtB,MAAM,KAAK,GACV,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/G,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAoC,SAAS,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,EACjG,OAAO,CACP,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;QACnC,IAAI,IAAI;YAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QAChC,OAAO;YACN,KAAK;YACL,IAAI,EAAE,YAAY,CACjB,IAAI,CAAC,GAAG,CAAC,KAAK,EACd,KAAK,EACL,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,CAC5C;SACD,CAAC;IACH,CAAC;IAED,KAAK,CAAC,CAAC,IAAI,CAAC,CAAQ,EAAE,OAAgB;QACrC,IAAI,KAAyB,CAAC;QAC9B,GAAG,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1F,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YAClB,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC,QAAQ,KAAK,KAAK,SAAS,EAAE;IAC/B,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,GAAY,EAAE,OAAgB;QACvC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CACnC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAoC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,EAC9F,OAAO,CACP,CAAC;QACF,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,CAAQ,EAAE,OAAgB;QACrC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,EAAE,CAAC;QACrB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAChC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAA6B,SAAS,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,EAC1F,OAAO,CACP,CAAC;QACF,OAAO,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC;IACxB,CAAC;IAED;;;;OAIG;IACH,aAAa;QACZ,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACvD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO;YAAE,OAAO;QACtE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;QAC1C,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,YAAY,IAAI,gBAAgB,OAAO,2BAA2B,MAAM,EAAE,CAAC;QAC9G,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,4FAA4F;IAC5F,MAAM,CAAC,MAAkD,EAAE,OAAgB;QAC1E,IAAI,CAAC;YACJ,gEAAgE;YAChE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAmB,CAAC;QACvE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,OAAO,GACZ,KAAK,YAAY,UAAU;gBAC1B,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACtF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,MAAM,OAAO,CAAC;QACf,CAAC;IACF,CAAC;IAED,4DAA4D;IAC5D,YAAY,CAAC,CAAQ;QACpB,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YACjC,MAAM,OAAO,CACZ,MAAM,EACN,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,uBAAuB,CAAC,CAAC,KAAK,CAAC,IAAI,aAAa,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAC1F,CAAC;QACH,CAAC;IACF,CAAC;CACD","sourcesContent":["// Table handles (slice 6a §6; decision \"Query runner\"): what `self.table(Def)` returns, one per attempt and table: reads\n// of committed rows (`page`, `rows`, `get`, `count`) through the store's guarded reads, and what a transaction's\n// writes to the table are staged with; a handle of an older version than the stored table is refused (R15, slice 7b).\n\nimport type { Context } from \"../../context/index.ts\";\nimport type { SqliteValue } from \"../../sqlite/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { Columns, RowOf } from \"./columns.ts\";\nimport { decodeCursor, encodeCursor, type Query } from \"./query.ts\";\nimport { TableSql } from \"./sql.ts\";\nimport type { ChordStore } from \"./store.ts\";\nimport type { KeyOf, TableDefinition } from \"./table.ts\";\n\n/** One page of rows (`items`, as Durable's pages) and, when more follow, the cursor to continue after it. */\nexport type Page<T> = { readonly items: T[]; readonly next?: string };\n\n/** What `page` takes besides the query, the limit and the context. */\nexport type PageOptions = {\n\t/** A cursor from an earlier page of the same order. */\n\treadonly after?: string;\n};\n\n/** A table of this object: reads of committed state, the context last. Writes go through `self.tx`. */\nexport interface Table<C extends Columns, K extends readonly string[]> {\n\t/** Up to `limit` rows of `q` (after `options.after`), and the cursor of the next page when there is one. */\n\tpage(q: Query<C, K>, limit: number, context: Context, options?: PageOptions): Promise<Page<RowOf<C>>>;\n\t/** Every row of `q`, read a page of 100 at a time. */\n\trows(q: Query<C, K>, context: Context): AsyncIterable<RowOf<C>>;\n\t/** The row with `key`, `undefined` when absent. */\n\tget(key: KeyOf<C, K>, context: Context): Promise<RowOf<C> | undefined>;\n\t/** The number of rows of `q`. */\n\tcount(q: Query<C, K>, context: Context): Promise<number>;\n}\n\n/** The handle type of table definition `D`: what `self.table(D)` returns. */\nexport type TableOf<D> = D extends TableDefinition<infer C, infer K> ? Table<C, K> : never;\n\n/** Who owns a table handle: its object (whose transactions alone write it), liveness check and live failure. */\nexport type TableOwner = {\n\treadonly label: string;\n\t/** The object's documents: a transaction of another object refuses the handle. */\n\treadonly scope: object;\n\t/** Throws `released` once the object ended. */\n\tassertLive(): void;\n\t/** A row the code cannot read (a `json(...)` cell, slice 6a §9) fails the owner `broken` (§1.4). */\n\tfail(error: ChordError): void;\n};\n\n/** The rows `rows()` reads per page (rule 17). */\nexport const ROWS_PAGE = 100;\n\n/** A table handle: the definition the attempt declared, the table's SQL name and statements, the store. */\nexport class TableHandle implements Table<Columns, readonly string[]> {\n\treadonly definition: TableDefinition;\n\treadonly sql: TableSql;\n\treadonly store: ChordStore;\n\treadonly owner: TableOwner;\n\n\tconstructor(definition: TableDefinition, sqlName: string, store: ChordStore, owner: TableOwner) {\n\t\tthis.definition = definition;\n\t\tthis.sql = new TableSql(sqlName, definition.columns, definition.rows.physical, definition.key);\n\t\tthis.store = store;\n\t\tthis.owner = owner;\n\t}\n\n\tasync page(q: Query, limit: number, context: Context, options: PageOptions = {}): Promise<Page<RowOf<Columns>>> {\n\t\tthis.owner.assertLive();\n\t\tthis.assertVersion();\n\t\tthis.#assertQuery(q);\n\t\tif (!Number.isSafeInteger(limit) || limit < 1)\n\t\t\tthrow invalid(\"args\", `${this.definition.name}: limit is a positive integer`);\n\t\tconst order = q.order;\n\t\tconst after =\n\t\t\toptions.after === undefined ? undefined : decodeCursor(this.definition, this.sql.table, order, options.after);\n\t\tconst statement = this.sql.select(q.condition, order, after, limit + 1);\n\t\tconst stored = await this.store.read(\n\t\t\t(executor) => executor.all<{ [column: string]: SqliteValue }>(statement.sql, ...statement.params),\n\t\t\tcontext,\n\t\t);\n\t\tconst more = stored.length > limit;\n\t\tif (more) stored.length = limit;\n\t\tconst items = stored.map((row) => this.decode(row, context));\n\t\tif (!more) return { items };\n\t\tconst last = stored[limit - 1]!;\n\t\treturn {\n\t\t\titems,\n\t\t\tnext: encodeCursor(\n\t\t\t\tthis.sql.table,\n\t\t\t\torder,\n\t\t\t\torder.columns.map((column) => last[column]!),\n\t\t\t),\n\t\t};\n\t}\n\n\tasync *rows(q: Query, context: Context): AsyncIterable<RowOf<Columns>> {\n\t\tlet after: string | undefined;\n\t\tdo {\n\t\t\tconst page = await this.page(q, ROWS_PAGE, context, after === undefined ? {} : { after });\n\t\t\tyield* page.items;\n\t\t\tafter = page.next;\n\t\t} while (after !== undefined);\n\t}\n\n\tasync get(key: unknown, context: Context): Promise<RowOf<Columns> | undefined> {\n\t\tthis.owner.assertLive();\n\t\tthis.assertVersion();\n\t\tconst encoded = this.definition.rows.key(key, \"get\");\n\t\tconst stored = await this.store.read(\n\t\t\t(executor) => executor.get<{ [column: string]: SqliteValue }>(this.sql.get, ...encoded.params),\n\t\t\tcontext,\n\t\t);\n\t\treturn stored === undefined ? undefined : this.decode(stored, context);\n\t}\n\n\tasync count(q: Query, context: Context): Promise<number> {\n\t\tthis.owner.assertLive();\n\t\tthis.assertVersion();\n\t\tthis.#assertQuery(q);\n\t\tconst statement = this.sql.count(q.condition);\n\t\tconst row = await this.store.read(\n\t\t\t(executor) => executor.get<{ readonly count: number }>(statement.sql, ...statement.params),\n\t\t\tcontext,\n\t\t);\n\t\treturn row?.count ?? 0;\n\t}\n\n\t/**\n\t * The version fence of old table handles (R15, slice 7b §5): once the store's table is at a newer version than this\n\t * handle's definition (a reload's new code migrated it), old code reads and writes it no more (`released/version`),\n\t * so it never issues SQL for a dropped column.\n\t */\n\tassertVersion(): void {\n\t\tconst stored = this.store.tableVersion(this.sql.table);\n\t\tif (stored === undefined || stored <= this.definition.version) return;\n\t\tconst { name, version } = this.definition;\n\t\tconst message = `${this.owner.label}: table \"${name}\" of version ${version}; the store has version ${stored}`;\n\t\tthrow new ChordError({ code: \"released\", reason: \"version\", message });\n\t}\n\n\t/** A stored row as reads return it; one the code cannot read fails the owner and throws. */\n\tdecode(stored: { readonly [column: string]: SqliteValue }, context: Context): RowOf<Columns> {\n\t\ttry {\n\t\t\t// The codec decodes by the definition's columns: a row of them.\n\t\t\treturn this.definition.rows.decode(stored, context) as RowOf<Columns>;\n\t\t} catch (error) {\n\t\t\tconst failure =\n\t\t\t\terror instanceof ChordError\n\t\t\t\t\t? error\n\t\t\t\t\t: new ChordError({ code: \"unavailable\", message: String(error) }, { cause: error });\n\t\t\tthis.owner.fail(failure);\n\t\t\tthrow failure;\n\t\t}\n\t}\n\n\t/** A query of another table is refused (`invalid/args`). */\n\t#assertQuery(q: Query): void {\n\t\tif (q.table !== this.definition) {\n\t\t\tthrow invalid(\n\t\t\t\t\"args\",\n\t\t\t\t`${this.owner.label}: a query of table \"${q.table.name}\" run on \"${this.definition.name}\"`,\n\t\t\t);\n\t\t}\n\t}\n}\n"]}

package/dist/next/store/table-history.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-history.d.ts","sourceRoot":"","sources":["../../../src/next/store/table-history.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,wHAAwH;AACxH,MAAM,MAAM,SAAS,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACtF;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,iDAAiD;AACjD,MAAM,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,CAAA;CAAE,CAAC,CAAC;AAElG;;;GAGG;AACH,MAAM,MAAM,QAAQ,GACjB;IACA,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,KAAK,OAAO,CAAC;CACxE,GACD;IACA,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACrB,CAAC;AAEL,oGAAoG;AACpG,MAAM,MAAM,SAAS,GAAG;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACrC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAC;CAClC,CAAC;AAEL;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAwBjH"}

package/dist/next/store/table-history.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-history.js","sourceRoot":"","sources":["../../../src/next/store/table-history.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,sHAAsH;AACtH,6FAA6F;AAyD7F;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,UAA2B,EAAE,QAAiC,EAAE,IAAY;IACrG,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACtD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC;IACjD,IAAI,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,2BAA2B,OAAO,2BAA2B,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IAC7D,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACd,GAAG,IAAI,2BAA2B,OAAO,mCAAmC,QAAQ,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAClG,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,aAAa,OAAO,kEAAkE,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,KAAK,KAAK,OAAO,IAAI,OAAO,KAAK,UAAU,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAClF,IAAI,KAAK,KAAK,WAAW,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,aAAa,OAAO,wDAAwD,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC3G,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AACzG,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,UAA2B;IAC7C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,KAAK,IAAI,EAAE,GAAgC,UAAU,EAAE,EAAE,KAAK,SAAS,EAAE,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC;QACtG,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC","sourcesContent":["// A table's history (slice 6a §9; decision \"Second spec review: the majority\"): the versions from a base\n// `defineTable` through each `evolveTable`, the migration each version recorded, and what an activation does with the\n// version the store recorded: create the table, use it, migrate it from there, or refuse it.\n\nimport type { TableRecord } from \"./catalog.ts\";\nimport type { ColumnRecord } from \"./columns.ts\";\nimport type { SetNode, WhereNode } from \"./expression.ts\";\nimport type { TableDefinition } from \"./table.ts\";\n\n/** One edit of a migration as its writes record it (`alter`, `index`, `dropIndex`); the table is named when applied. */\nexport type TableEdit =\n\t| { readonly kind: \"rename\"; readonly from: string; readonly to: string }\n\t| { readonly kind: \"add\"; readonly name: string; readonly column: ColumnRecord }\n\t| { readonly kind: \"drop\"; readonly name: string }\n\t| { readonly kind: \"json\"; readonly name: string; readonly column: ColumnRecord }\n\t| { readonly kind: \"index\"; readonly name: string; readonly columns: readonly string[] }\n\t| { readonly kind: \"dropIndex\"; readonly name: string };\n\n/** The column edits an `alter` write records. */\nexport type AlterEdit = Extract<TableEdit, { readonly kind: \"rename\" | \"add\" | \"drop\" | \"json\" }>;\n\n/**\n * A version's data step over `table`, the columns between the edits before it and after it: `rows` patches each row\n * (synchronous and pure), `update` is one `updateWhere`.\n */\nexport type DataStep =\n\t| {\n\t\t\treadonly kind: \"rows\";\n\t\t\treadonly table: TableDefinition;\n\t\t\treadonly patch: (row: { readonly [column: string]: unknown }) => unknown;\n\t  }\n\t| {\n\t\t\treadonly kind: \"update\";\n\t\t\treadonly table: TableDefinition;\n\t\t\treadonly where: WhereNode | undefined;\n\t\t\treadonly set: SetNode;\n\t  };\n\n/** What one `evolveTable` changed: the edits before the data step, the step, the edits after it. */\nexport type Migration = {\n\treadonly before: readonly TableEdit[];\n\treadonly step: DataStep | undefined;\n\treadonly after: readonly TableEdit[];\n};\n\n/**\n * What an activation does with a declared table: create it at the newest version, use it as recorded, or migrate it\n * through `versions` (oldest first), the first one from its start (`begin`) or, recorded `migrating`, after its (A)\n * commit (`resume`).\n */\nexport type TablePlan =\n\t| { readonly kind: \"create\" }\n\t| { readonly kind: \"ready\" }\n\t| {\n\t\t\treadonly kind: \"migrate\";\n\t\t\treadonly versions: readonly TableDefinition[];\n\t\t\treadonly first: \"begin\" | \"resume\";\n\t  };\n\n/**\n * The plan for `definition` (the code's newest version) against `recorded`. A recorded version newer than the newest,\n * older than the history's base, or the same version with another fingerprint (a history edited in place) throws:\n * the object fails `broken`, the data stays.\n */\nexport function planTable(definition: TableDefinition, recorded: TableRecord | undefined, what: string): TablePlan {\n\tif (recorded === undefined) return { kind: \"create\" };\n\tconst { version, state, fingerprint } = recorded;\n\tif (version > definition.version) {\n\t\tthrow new Error(`${what}: the store has version ${version}, newer than the code's ${definition.version}`);\n\t}\n\tconst versions = historyOf(definition);\n\tconst at = versions.find((each) => each.version === version);\n\tif (at === undefined) {\n\t\tthrow new Error(\n\t\t\t`${what}: the store has version ${version}, older than the history's base ${versions[0]!.version}`,\n\t\t);\n\t}\n\tif (at.fingerprint !== fingerprint) {\n\t\tthrow new Error(`${what}: version ${version} is recorded with another definition (a history edited in place)`);\n\t}\n\tif (state === \"ready\" && version === definition.version) return { kind: \"ready\" };\n\tif (state === \"migrating\" && at.evolution?.migration.step === undefined) {\n\t\tthrow new Error(`${what}: version ${version} is recorded migrating, but has no data step to resume`);\n\t}\n\tif (state === \"migrating\") {\n\t\treturn { kind: \"migrate\", versions: versions.filter((each) => each.version >= version), first: \"resume\" };\n\t}\n\treturn { kind: \"migrate\", versions: versions.filter((each) => each.version > version), first: \"begin\" };\n}\n\n/** Every version of `definition`'s history, the base first. */\nfunction historyOf(definition: TableDefinition): TableDefinition[] {\n\tconst versions: TableDefinition[] = [];\n\tfor (let at: TableDefinition | undefined = definition; at !== undefined; at = at.evolution?.previous) {\n\t\tversions.unshift(at);\n\t}\n\treturn versions;\n}\n"]}

package/dist/next/store/table-migration.d.ts

@@ -1,16 +0,0 @@
-import { type Context } from "../../context/index.ts";
-import type { ChordStore, CommitFence } from "./store.ts";
-import type { TableDefinition } from "./table.ts";
-/** A declared table: its newest definition and its SQL name. */
-export type DeclaredTable = {
-    readonly definition: TableDefinition;
-    readonly table: string;
-};
-/**
- * Brings `tables` to their definitions: the ones the store does not have created in one commit, then each older one
- * migrated. A table the code cannot use (see `planTable`) throws before anything is written; `what` names the owner.
- */
-export declare function prepareTables(tables: readonly DeclaredTable[], store: ChordStore, fence: CommitFence, what: string, context: Context): Promise<void>;
-/** The size of a `rows` chunk: one commit each. */
-export declare const MIGRATION_CHUNK = 100;
-//# sourceMappingURL=table-migration.d.ts.map

package/dist/next/store/table-migration.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"table-migration.d.ts","sourceRoot":"","sources":["../../../src/next/store/table-migration.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,KAAK,OAAO,EAAsB,MAAM,wBAAwB,CAAC;AAO1E,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAYlD,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAK7F;;;GAGG;AACH,wBAAsB,aAAa,CAClC,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,OAAO,GACd,OAAO,CAAC,IAAI,CAAC,CAYf;AA2BD,mDAAmD;AACnD,eAAO,MAAM,eAAe,MAAM,CAAC"}