@playfast/reform 1.3.0 → 1.4.0

package/dist/wire/tree.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../src/wire/tree.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAE9E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACxC;AAED,MAAM,MAAM,QAAQ,GAAG,mBAAmB,CAAA;AAE1C,MAAM,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;AAE9C,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAuDpD,eAAO,MAAM,IAAI,GAAI,UAAU,QAAQ,EAAE,MAAM,QAAQ,KAAG,aAAa,CAAC,SAAS,CAahF,CAAA;AAWD,eAAO,MAAM,KAAK,GAAI,OAAO,QAAQ,EAAE,SAAS,aAAa,CAAC,SAAS,CAAC,KAAG,QASxE,CAAA;AAIH,eAAO,MAAM,KAAK,GAAI,MAAM,QAAQ,KAAG,QAIpC,CAAA;AAEH,eAAO,MAAM,UAAU,GAAI,MAAM,QAAQ,EAAE,UAAU,MAAM,KAAG,QAI3D,CAAA"}
+{"version":3,"file":"tree.d.ts","sourceRoot":"","sources":["../../src/wire/tree.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AAE9E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACxC;AAED,MAAM,MAAM,QAAQ,GAAG,mBAAmB,CAAA;AAE1C,MAAM,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;AAE9C,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AA+DpD,eAAO,MAAM,IAAI,GAAI,UAAU,QAAQ,EAAE,MAAM,QAAQ,KAAG,aAAa,CAAC,SAAS,CAahF,CAAA;AAWD,eAAO,MAAM,KAAK,GAAI,OAAO,QAAQ,EAAE,SAAS,aAAa,CAAC,SAAS,CAAC,KAAG,QASxE,CAAA;AAIH,eAAO,MAAM,KAAK,GAAI,MAAM,QAAQ,KAAG,QAIpC,CAAA;AAEH,eAAO,MAAM,UAAU,GAAI,MAAM,QAAQ,EAAE,UAAU,MAAM,KAAG,QAI3D,CAAA"}

package/dist/wire/tree.js

@@ -7,7 +7,12 @@ const recordsEqual = (left, right) => {
     const leftKeys = Rec.keys(left);
     const rightKeys = Rec.keys(right);
     return (leftKeys.length === rightKeys.length &&
-        leftKeys.every((key) => deepEqual({ left: left[key], right: right[key] })));
+        // Presence, not just value: two records of the same size whose keys differ both
+        // read `undefined` for the other's key and would compare equal. An encoded
+        // `S.optional` field keeps its key when its value is undefined, so a frame can
+        // really swap one such key for another and diff to no patches at all.
+        leftKeys.every((key) => Object.prototype.hasOwnProperty.call(right, key) &&
+            deepEqual({ left: left[key], right: right[key] })));
 };
 const deepEqual = ({ left, right }) => {
     if (left === right) {

package/dist/wire/tree.js.map

@@ -1 +1 @@
-{"version":3,"file":"tree.js","sourceRoot":"","sources":["../../src/wire/tree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AACnE,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,cAAc,CAAA;AA6BhD,MAAM,QAAQ,GAAG,CAAC,SAAkB,EAAwC,EAAE,CAC5E,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,CAAA;AAErD,MAAM,WAAW,GAAG,CAAC,IAA4B,EAAE,KAA6B,EAAW,EAAE,CAC3F,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnF,MAAM,YAAY,GAAG,CAAC,IAA6B,EAAE,KAA8B,EAAW,EAAE;IAC9F,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/B,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACjC,OAAO,CACL,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACpC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAC3E,CAAA;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAa,EAAW,EAAE;IACxD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,QAAkB,EAAE,SAAmB,EAAW,EAAE,CACtE,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;IAChC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ;IACxC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU;IAC5C,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;IAChC,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG;IAC9B,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAA;AAE7D,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,YAA2C,EAAW,EAAE;IAC3F,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC1C,OAAO,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,QAAkB,EAAE,IAAc,EAA4B,EAAE;IACnF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAE7D,MAAM,OAAO,GAAG,QAAQ;SACrB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACxC,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAE9D,MAAM,OAAO,GAAG,IAAI;SACjB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAEvD,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,CAAA;AACjC,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,KAAe,EAAE,IAAc,EAAY,EAAE,CAC/D,MAAM,CAAC,KAAK,CACV,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAClE;IACE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC;IAC9B,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;CAC/E,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAe,EAAE,OAAiC,EAAY,EAAE,CACpF,OAAO,CAAC,MAAM,CACZ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EACzE,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAC5D,KAAK,CAAC,UAAU,CACjB,EACH,KAAK,CACN,CAAA;AAEH,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAc,EAAY,EAAE,CAChD,SAAS,CACP,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAC7C,cAAc,CACf,CAAA;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAc,EAAE,QAAgB,EAAY,EAAE,CACvE,SAAS,CACP,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,EACjD,cAAc,CACf,CAAA"}
+{"version":3,"file":"tree.js","sourceRoot":"","sources":["../../src/wire/tree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,QAAQ,CAAA;AACnE,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,cAAc,CAAA;AA6BhD,MAAM,QAAQ,GAAG,CAAC,SAAkB,EAAwC,EAAE,CAC5E,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,CAAA;AAErD,MAAM,WAAW,GAAG,CAAC,IAA4B,EAAE,KAA6B,EAAW,EAAE,CAC3F,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAEnF,MAAM,YAAY,GAAG,CAAC,IAA6B,EAAE,KAA8B,EAAW,EAAE;IAC9F,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/B,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACjC,OAAO,CACL,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QACpC,gFAAgF;QAChF,2EAA2E;QAC3E,+EAA+E;QAC/E,sEAAsE;QACtE,QAAQ,CAAC,KAAK,CACZ,CAAC,GAAG,EAAE,EAAE,CACN,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;YAChD,SAAS,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CACpD,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,EAAa,EAAW,EAAE;IACxD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,QAAkB,EAAE,SAAmB,EAAW,EAAE,CACtE,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;IAChC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ;IACxC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU;IAC5C,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;IAChC,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG;IAC9B,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAA;AAE7D,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,YAA2C,EAAW,EAAE;IAC3F,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC1C,OAAO,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,QAAkB,EAAE,IAAc,EAA4B,EAAE;IACnF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAE7D,MAAM,OAAO,GAAG,QAAQ;SACrB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACxC,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAE9D,MAAM,OAAO,GAAG,IAAI;SACjB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAEvD,OAAO,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,CAAA;AACjC,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,KAAe,EAAE,IAAc,EAAY,EAAE,CAC/D,MAAM,CAAC,KAAK,CACV,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAClE;IACE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC;IAC9B,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;CAC/E,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAe,EAAE,OAAiC,EAAY,EAAE,CACpF,OAAO,CAAC,MAAM,CACZ,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EACzE,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,EAC5D,KAAK,CAAC,UAAU,CACjB,EACH,KAAK,CACN,CAAA;AAEH,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;AAExF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAc,EAAY,EAAE,CAChD,SAAS,CACP,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAC7C,cAAc,CACf,CAAA;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAc,EAAE,QAAgB,EAAY,EAAE,CACvE,SAAS,CACP,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,EACjD,cAAc,CACf,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@playfast/reform",
-  "version": "1.3.0",
+  "version": "1.4.0",
   "description": "The renderer-neutral core of the reform framework — typed, headless state, events, reducers, derived values, async/remote data, and compositions built on Effect.",
   "keywords": [
     "effect",

package/src/calc/asyncCalc-key-attribution.test.ts

@@ -0,0 +1,182 @@
+import { expect, it } from '@effect/vitest'
+import { Data, Effect, Layer, Option, Schema as S } from 'effect'
+import { AsyncCalc, Engine, State, StateGroup } from '../index'
+import { makeFlightGate, until } from '../testkit/flight.testkit'
+import { toAsyncData } from './queryState'
+
+// github.com/springdotnew/reform/issues/22 — a retained payload must name the
+// input key it answers, so a consumer can never read the previous key's fields
+// as an answer to the key it asked with.
+
+class Boom extends Data.TaggedError('Boom')<{ readonly chatId: string }> {}
+
+// The portal's chat-history shape in miniature: readers take a write grant off
+// this object, so mis-attributing it hands out an affordance, not a flicker.
+const Chat = S.Struct({ chatId: S.String, canWrite: S.Boolean })
+
+class ChatId extends State.make('chatId', S.String) {}
+class Inputs extends StateGroup.make(ChatId) {}
+const chatId = StateGroup.select(Inputs, 'chatId')
+const seededAtA = StateGroup.live(Inputs, { chatId: 'A' })
+
+it.live('a key change does not surface the previous key as Success', () => {
+  class History extends AsyncCalc.make('HistorySuccess', {
+    inputs: [chatId],
+    output: Chat,
+    alwaysOn: true,
+  }) {}
+  const gate = makeFlightGate()
+  const HistoryLive = AsyncCalc.live(History, {
+    query: ({ chatId: id }) => gate.through(Effect.succeed({ chatId: id, canWrite: id === 'A' })),
+  })
+  const TestLayer = HistoryLive.pipe(Layer.provideMerge(seededAtA))
+
+  return Effect.gen(function* () {
+    const source = yield* chatId.store
+    const store = yield* History.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success',
+    )
+
+    // Park B's flight so the window where A's payload is retained stays open.
+    yield* gate.hold
+    source.set('B')
+    yield* gate.awaitEntry(2)
+
+    expect(store.get()._tag).toBe('Loading')
+
+    yield* gate.release
+    const settled = yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success' && v.refetching === false,
+    )
+    expect(settled).toMatchObject({ _tag: 'Success', value: { chatId: 'B', canWrite: false } })
+  }).pipe(Effect.provide(TestLayer))
+})
+
+it.live('a key change does not surface the previous key as Error', () => {
+  class History extends AsyncCalc.make('HistoryFailure', {
+    inputs: [chatId],
+    output: Chat,
+    error: S.instanceOf(Boom),
+    alwaysOn: true,
+  }) {}
+  const gate = makeFlightGate()
+  const HistoryLive = AsyncCalc.live(History, {
+    query: ({ chatId: id }) =>
+      id === 'A'
+        ? Effect.fail(new Boom({ chatId: id }))
+        : gate.through(Effect.succeed({ chatId: id, canWrite: false })),
+  })
+  const TestLayer = HistoryLive.pipe(Layer.provideMerge(seededAtA))
+
+  return Effect.gen(function* () {
+    const source = yield* chatId.store
+    const store = yield* History.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Error',
+    )
+
+    // A's failure is not an answer about B.
+    yield* gate.hold
+    source.set('B')
+    yield* gate.awaitEntry(1)
+
+    expect(store.get()._tag).toBe('Loading')
+  }).pipe(Effect.provide(TestLayer))
+})
+
+it.live('keepPreviousData opts back into showing the previous key while refetching', () => {
+  class History extends AsyncCalc.make('HistoryKept', {
+    inputs: [chatId],
+    output: Chat,
+    alwaysOn: true,
+  }) {}
+  const gate = makeFlightGate()
+  const HistoryLive = AsyncCalc.live(History, {
+    query: ({ chatId: id }) => gate.through(Effect.succeed({ chatId: id, canWrite: id === 'A' })),
+    keepPreviousData: true,
+  })
+  const TestLayer = HistoryLive.pipe(Layer.provideMerge(seededAtA))
+
+  return Effect.gen(function* () {
+    const source = yield* chatId.store
+    const store = yield* History.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success',
+    )
+
+    yield* gate.hold
+    source.set('B')
+    yield* gate.awaitEntry(2)
+
+    expect(store.get()).toMatchObject({
+      _tag: 'Success',
+      value: { chatId: 'A' },
+      refetching: true,
+    })
+  }).pipe(Effect.provide(TestLayer))
+})
+
+it.live('a same-key refetch still keeps the settled value under refetching', () => {
+  class HistorySameKey extends AsyncCalc.make('HistorySameKey', {
+    inputs: [chatId],
+    output: Chat,
+    alwaysOn: true,
+  }) {}
+  const gate = makeFlightGate()
+  const HistoryLive = AsyncCalc.live(HistorySameKey, {
+    query: ({ chatId: id }) => gate.through(Effect.succeed({ chatId: id, canWrite: true })),
+  })
+  const TestLayer = HistoryLive.pipe(Layer.provideMerge(seededAtA), Layer.provideMerge(Engine))
+
+  return Effect.gen(function* () {
+    const store = yield* HistorySameKey.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success',
+    )
+
+    // Same key: the payload still answers the question being asked.
+    yield* gate.hold
+    yield* AsyncCalc.refetch(HistorySameKey)
+    yield* gate.awaitEntry(2)
+
+    expect(store.get()).toMatchObject({
+      _tag: 'Success',
+      value: { chatId: 'A' },
+      refetching: true,
+    })
+  }).pipe(Effect.provide(TestLayer))
+})
+
+it('toAsyncData reports data from a superseded key as loading', () => {
+  const retained = {
+    data: Option.some({ chatId: 'A', canWrite: true }),
+    error: Option.none(),
+    isFetching: true,
+    isStale: false,
+    isPreviousKey: true,
+    keepPreviousData: false,
+  }
+  expect(toAsyncData(retained, false)._tag).toBe('Loading')
+  // The opt-in travels on the state, so every reading of one query agrees.
+  expect(toAsyncData({ ...retained, keepPreviousData: true }, false)).toMatchObject({
+    _tag: 'Success',
+    refetching: true,
+  })
+  // …and it keeps a payload, not a verdict: with nothing retained there is nothing
+  // to opt into, so a previous key's error stays withheld.
+  const failedOnly = {
+    data: Option.none<{ readonly chatId: string }>(),
+    error: Option.some('boom'),
+    isFetching: true,
+    isStale: false,
+    isPreviousKey: true,
+    keepPreviousData: true,
+  }
+  expect(toAsyncData(failedOnly, false)._tag).toBe('Loading')
+})

package/src/calc/asyncCalc-registry-name.test.ts

@@ -0,0 +1,82 @@
+import { expect, it } from '@effect/vitest'
+import { Effect, Layer, Schema as S } from 'effect'
+import { AsyncCalc, Engine, State, StateGroup } from '../index'
+import { Queries } from '../runtime/queries'
+import { until } from '../testkit/flight.testkit'
+
+// `AsyncCalc.invalidate`/`refetch` look the query up by `calc.name`. A class
+// declaration defines its own `name` own-property, so `class ChatHistory extends
+// AsyncCalc.make('chat/history', …)` reports 'ChatHistory' and shadows the
+// registered 'chat/history'. The registry lookup misses and the call is silently
+// swallowed by `?.` — the very naming the framework asks for (namespace the name
+// per feature) is what breaks it.
+
+class Seed extends State.make('seed', S.Number) {}
+class Inputs extends StateGroup.make(Seed) {}
+const seed = StateGroup.select(Inputs, 'seed')
+
+const isStale = (name: string): Effect.Effect<boolean, never, Queries> =>
+  Effect.map(Queries, (queries) => queries.byName.get(name)?.snapshot().isStale ?? false)
+
+it.live('refetch reaches a calc whose class binding differs from its registered name', () => {
+  const runs = { n: 0 }
+  class ChatHistory extends AsyncCalc.make('chat/history', {
+    inputs: [seed],
+    output: S.Number,
+    alwaysOn: true,
+  }) {}
+  const Live = AsyncCalc.live(ChatHistory, {
+    query: ({ seed: value }) =>
+      Effect.sync(() => {
+        runs.n += 1
+        return value
+      }),
+  })
+  const TestLayer = Live.pipe(
+    Layer.provideMerge(StateGroup.live(Inputs, { seed: 1 })),
+    Layer.provideMerge(Engine),
+  )
+
+  return Effect.gen(function* () {
+    const store = yield* ChatHistory.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success',
+    )
+    expect(runs.n).toBe(1)
+
+    yield* AsyncCalc.refetch(ChatHistory)
+    yield* until(
+      () => runs.n,
+      (n) => n > 1,
+      20,
+    )
+    expect(runs.n).toBe(2)
+  }).pipe(Effect.provide(TestLayer))
+})
+
+it.live('invalidate reaches a calc whose class binding differs from its registered name', () => {
+  class ChatBranches extends AsyncCalc.make('chat/branches', {
+    inputs: [seed],
+    output: S.Number,
+    alwaysOn: true,
+  }) {}
+  const Live = AsyncCalc.live(ChatBranches, {
+    query: ({ seed: value }) => Effect.succeed(value),
+  })
+  const TestLayer = Live.pipe(
+    Layer.provideMerge(StateGroup.live(Inputs, { seed: 1 })),
+    Layer.provideMerge(Engine),
+  )
+
+  return Effect.gen(function* () {
+    const store = yield* ChatBranches.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success' && v.refetching === false,
+    )
+
+    yield* AsyncCalc.invalidate(ChatBranches)
+    expect(yield* isStale('chat/branches')).toBe(true)
+  }).pipe(Effect.provide(TestLayer))
+})

package/src/calc/asyncCalc.superseded-commit.test.ts

@@ -0,0 +1,162 @@
+import { expect, it } from '@effect/vitest'
+import { Data, Effect, Layer, Schema as S } from 'effect'
+import { AsyncCalc, Engine, State, StateGroup } from '../index'
+import { makeFlightGate, until } from '../testkit/flight.testkit'
+
+// Class bindings match their registered names on purpose: `AsyncCalc.invalidate` /
+// `refetch` resolve a query by `calc.name`, and a class declaration installs its
+// own `name` own-property that shadows the static the framework wrote. That
+// divergence is a separate finding — these tests keep the two aligned so they
+// isolate the driver, not the lookup.
+
+class Torn extends Data.TaggedError('Torn')<{ readonly reason: string }> {}
+
+// A negative wait: long enough that the missing transition would have landed,
+// short enough that the assertion — not the timeout — reports the failure.
+const settleRounds = 40
+
+// `commitSuccess` asks only `disabledNow()` — is the query enabled *now* — before
+// writing. It never asks whether the request it is committing survived the gate.
+// A run that was in flight when `disabled` flipped is dropped from the queue's
+// point of view and its state wiped to Idle, yet it still lands as the answer once
+// the query is re-enabled under a different key. `coalesce: 'trailing'` makes this
+// deterministic: that consumer never cancels the run it is holding.
+it.live('a flight disabled away commits over the query the gate reset', () => {
+  class Count extends State.make('supersedeDisableCount', S.Number) {}
+  class Inputs extends StateGroup.make(Count) {}
+  class SupersedeDisableResurrect extends AsyncCalc.make('SupersedeDisableResurrect', {
+    inputs: [StateGroup.select(Inputs, 'supersedeDisableCount')],
+    output: S.Number,
+  }) {}
+  const firstGate = makeFlightGate()
+  const laterGate = makeFlightGate()
+  // Armed before the layer builds, so the very first flight parks at the gate.
+  Effect.runSync(firstGate.hold)
+  Effect.runSync(laterGate.hold)
+  const TestLayer = AsyncCalc.live(SupersedeDisableResurrect, {
+    query: ({ supersedeDisableCount: count }) =>
+      count === 1
+        ? firstGate.through(Effect.succeed(count * 2))
+        : laterGate.through(Effect.succeed(count * 2)),
+    disabled: ({ supersedeDisableCount: count }) => count < 0,
+    coalesce: 'trailing',
+  }).pipe(Layer.provideMerge(StateGroup.live(Inputs, { supersedeDisableCount: 1 })))
+
+  return Effect.gen(function* () {
+    const source = yield* StateGroup.select(Inputs, 'supersedeDisableCount').store
+    const store = yield* SupersedeDisableResurrect.store
+    yield* firstGate.awaitEntry(1)
+
+    // count=1's answer is held at the gate; the disable then wipes the query back
+    // to Idle and drops the key it was asked with.
+    source.set(-1)
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Idle',
+    )
+    expect(store.get()._tag).toBe('Idle')
+
+    // Re-enabled at a different key. The trailing consumer runs count=1 to
+    // completion first, then parks count=5's flight, so what the store reports in
+    // between is a stable state rather than a window to catch.
+    source.set(5)
+    yield* firstGate.release
+    yield* laterGate.awaitEntry(1)
+
+    // count=1's answer belongs to a key the gate already discarded: it is not an
+    // answer about count=5, and it is not permission to leave Idle behind.
+    expect(store.get()).toMatchObject({ _tag: 'Loading' })
+  }).pipe(Effect.provide(TestLayer))
+})
+
+// The same hole on the failure side: `settleError` sits behind the identical
+// `!disabledNow()` guard, so a disabled-away run's failure is published as the
+// current key's error.
+it.live('a failure disabled away commits over the query the gate reset', () => {
+  class Count extends State.make('supersedeDisableErrCount', S.Number) {}
+  class Inputs extends StateGroup.make(Count) {}
+  class SupersedeDisableResurrectError extends AsyncCalc.make('SupersedeDisableResurrectError', {
+    inputs: [StateGroup.select(Inputs, 'supersedeDisableErrCount')],
+    output: S.Number,
+    error: S.String,
+  }) {}
+  const firstGate = makeFlightGate()
+  const laterGate = makeFlightGate()
+  Effect.runSync(firstGate.hold)
+  Effect.runSync(laterGate.hold)
+  const TestLayer = AsyncCalc.live(SupersedeDisableResurrectError, {
+    query: ({ supersedeDisableErrCount: count }): Effect.Effect<number, string> =>
+      count === 1
+        ? // Park first, then fail: the gate only wraps a success.
+          firstGate.through(Effect.void).pipe(Effect.zipRight(Effect.fail('boom-for-1')))
+        : laterGate.through(Effect.succeed(count * 2)),
+    disabled: ({ supersedeDisableErrCount: count }) => count < 0,
+    coalesce: 'trailing',
+  }).pipe(Layer.provideMerge(StateGroup.live(Inputs, { supersedeDisableErrCount: 1 })))
+
+  return Effect.gen(function* () {
+    const source = yield* StateGroup.select(Inputs, 'supersedeDisableErrCount').store
+    const store = yield* SupersedeDisableResurrectError.store
+    yield* firstGate.awaitEntry(1)
+
+    source.set(-1)
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Idle',
+    )
+    expect(store.get()._tag).toBe('Idle')
+
+    source.set(5)
+    yield* firstGate.release
+    yield* laterGate.awaitEntry(1)
+
+    // count=1's failure is not a failure of count=5.
+    expect(store.get()).toMatchObject({ _tag: 'Loading' })
+  }).pipe(Effect.provide(TestLayer))
+})
+
+// `runQuery` folds the whole cause: a typed failure reaches `settleError`, but a
+// defect is only logged and then swallowed as `Option.none()`. Nothing ever clears
+// the `isFetching` flag `enqueue` raised, so the run that died stays advertised as
+// in flight for the rest of the query's life.
+it.live('a query that dies leaves the view refetching forever', () => {
+  const runs = { n: 0 }
+  class RegressDefectQ extends AsyncCalc.make('RegressDefectQ', {
+    inputs: [],
+    output: S.Number,
+    alwaysOn: true,
+  }) {}
+  const TestLayer = AsyncCalc.live(RegressDefectQ, {
+    query: (): Effect.Effect<number> =>
+      Effect.suspend(() => {
+        runs.n += 1
+        // A defect, not a typed failure: an exception escaping the query body.
+        return runs.n === 1 ? Effect.succeed(1) : Effect.die(new Torn({ reason: 'kaboom' }))
+      }),
+  }).pipe(Layer.provideMerge(Engine))
+
+  return Effect.gen(function* () {
+    const store = yield* RegressDefectQ.store
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success' && v.refetching === false,
+    )
+    expect(store.get()).toMatchObject({ _tag: 'Success', value: 1, refetching: false })
+
+    yield* AsyncCalc.refetch(RegressDefectQ)
+    yield* until(
+      () => runs.n,
+      (n) => n > 1,
+    )
+    expect(runs.n).toBe(2)
+
+    // The run is over — it died. Nothing is in flight and nothing is queued, so
+    // the view must stop advertising a refetch.
+    yield* until(
+      () => store.get(),
+      (v) => v._tag === 'Success' && v.refetching === false,
+      settleRounds,
+    )
+    expect(store.get()).toMatchObject({ _tag: 'Success', value: 1, refetching: false })
+  }).pipe(Effect.provide(TestLayer))
+})

package/src/calc/asyncCalc.test.ts

@@ -104,6 +104,10 @@ it.live('a dependency change re-fetches, keeping the last value with refetching:
   const gate = makeFlightGate()
   const DoubledLive = AsyncCalc.live(Doubled, {
     query: ({ count }) => gate.through(Effect.succeed(count * 2)),
+    // Opt-in: across an input-key change the previous key's payload is retained
+    // only under `keepPreviousData`. The default reads as Loading — see
+    // asyncCalc-key-attribution.test.ts.
+    keepPreviousData: true,
   })
   const TestLayer = DoubledLive.pipe(Layer.provideMerge(StateGroup.live(Inputs, { count: 5 })))
 
@@ -245,7 +249,10 @@ it.live('invalidateBy: an input change outside the key does not re-fetch', () =>
     // Holding the gate means any flight the status churn triggered would still
     // be marked fetching here, and could not have settled back out of view.
     yield* gate.hold
-    yield* afterNotify(status, Effect.sync(() => status.set('b')))
+    yield* afterNotify(
+      status,
+      Effect.sync(() => status.set('b')),
+    )
     expect(store.get()).toMatchObject({ _tag: 'Success', refetching: false })
     expect(runs.n).toBe(1)
     yield* gate.release
@@ -338,8 +345,14 @@ it.live(
       yield* gate.hold
       source.set(2)
       yield* gate.awaitEntry(2)
-      yield* afterNotify(source, Effect.sync(() => source.set(3)))
-      yield* afterNotify(source, Effect.sync(() => source.set(4)))
+      yield* afterNotify(
+        source,
+        Effect.sync(() => source.set(3)),
+      )
+      yield* afterNotify(
+        source,
+        Effect.sync(() => source.set(4)),
+      )
       yield* gate.release
       const settled = yield* until(
         () => store.get(),
@@ -371,6 +384,9 @@ it.live(
           ? trailingGate.through(Effect.succeed(count * 2))
           : firstGate.through(Effect.succeed(count * 2)),
       coalesce: 'trailing',
+      // The stale settle belongs to a superseded key, so it is visible only under
+      // `keepPreviousData`; by default it reads as Loading.
+      keepPreviousData: true,
     })
     const TestLayer = DoubledLive.pipe(Layer.provideMerge(StateGroup.live(Inputs, { count: 1 })))
 
@@ -386,7 +402,10 @@ it.live(
       yield* trailingGate.hold
       source.set(2)
       yield* firstGate.awaitEntry(2)
-      yield* afterNotify(source, Effect.sync(() => source.set(3)))
+      yield* afterNotify(
+        source,
+        Effect.sync(() => source.set(3)),
+      )
 
       yield* firstGate.release
       yield* trailingGate.awaitEntry(1)
@@ -437,8 +456,14 @@ it.live('coalesce trailing: a disable while a request waits in the slot skips th
     yield* gate.hold
     source.set(2)
     yield* gate.awaitEntry(2)
-    yield* afterNotify(source, Effect.sync(() => source.set(3)))
-    yield* afterNotify(source, Effect.sync(() => source.set(-1)))
+    yield* afterNotify(
+      source,
+      Effect.sync(() => source.set(3)),
+    )
+    yield* afterNotify(
+      source,
+      Effect.sync(() => source.set(-1)),
+    )
     yield* gate.release
     expect(store.get()._tag).toBe('Idle')
     expect(completed).toEqual([1, 2])
@@ -545,7 +570,10 @@ it.live(
       expect(runs.n).toBe(1)
 
       yield* gate.hold
-      yield* afterNotify(status, Effect.sync(() => status.set('b')))
+      yield* afterNotify(
+        status,
+        Effect.sync(() => status.set('b')),
+      )
       expect(store.get()).toMatchObject({ _tag: 'Success', refetching: false })
       expect(runs.n).toBe(1)
       yield* gate.release

package/src/calc/asyncCalc.ts

@@ -1,6 +1,7 @@
 import { Context, Effect, Layer, Match, Option, Schema } from 'effect'
 import { yieldableClass } from '../definition/definition'
 import { type AnyEvent } from '../event/event'
+import { resolvePersistSlot } from '../internal/queryDriverPersistWarn'
 import { type InputStores } from '../internal/sources'
 import {
   bumpRevision,
@@ -15,7 +16,7 @@ import { type Store } from '../internal/store'
 import { readTracked } from '../internal/track'
 import * as Reducer from '../reducer/reducer'
 import { Reducers } from '../runtime/loop'
-import { Queries } from '../runtime/queries'
+import { Queries, type QueryHandle } from '../runtime/queries'
 import * as State from '../state/state'
 import { type AnySource, type SourceCapture } from '../state/token'
 import { type AsyncData, narrowStore } from './asyncData'
@@ -44,7 +45,6 @@ export type {
   DefinedAsyncCalcClass,
 } from './asyncCalcTypes'
 
-
 export function make<
   const N extends string,
   const Inputs extends ReadonlyArray<AnySource>,
@@ -154,10 +154,12 @@ export function live<
       const cfg: AsyncCalcLiveView<Inputs, A, E, R> = config
 
       const persistOption = cfg.persist
-      const persistKey =
-        persistOption === true || persistOption === undefined || persistOption === false
-          ? calc.manifest.name
-          : (persistOption.key ?? calc.manifest.name)
+      const persistKey = yield* resolvePersistSlot({
+        label: 'AsyncCalc',
+        name: calc.manifest.name,
+        inputs: calc.inputs.length,
+        option: persistOption,
+      })
       const persistCodec: QueryCodec<A> = {
         encode: Schema.encode(calc.manifest.output),
         decode: Schema.decodeUnknown(calc.manifest.output),
@@ -188,6 +190,7 @@ export function live<
         disabled: cfg.disabled,
         coalesce: cfg.coalesce,
         reuse: cfg.reuse,
+        keepPreviousData: cfg.keepPreviousData,
         persist,
         extraKey,
       })
@@ -208,14 +211,34 @@ export function live<
   )
 }
 
+// Resolved through `manifest`, never through `calc.name`: a `class X extends
+// AsyncCalc.make('some/name')` declaration defines its own `name` own-property,
+// which shadows the registered one — so a name-keyed lookup silently misses for
+// exactly the namespaced names the framework asks authors to use.
 export interface NamedCalc {
-  readonly name: string
+  readonly manifest: { readonly name: string }
 }
 
-export const invalidate = (calc: NamedCalc): Effect.Effect<void, never, Queries> =>
+const onHandle = (
+  calc: NamedCalc,
+  verb: string,
+  act: (handle: QueryHandle) => void,
+): Effect.Effect<void, never, Queries> =>
   Effect.flatMap(Queries, (queries) =>
-    Effect.sync(() => queries.byName.get(calc.name)?.invalidate()),
+    Effect.suspend(() =>
+      Option.match(Option.fromNullable(queries.byName.get(calc.manifest.name)), {
+        // Swallowing this is how a dead invalidation goes unnoticed for a release.
+        onNone: () =>
+          Effect.logWarning(
+            `reform: ${verb} skipped — no live query named '${calc.manifest.name}'`,
+          ),
+        onSome: (handle) => Effect.sync(() => act(handle)),
+      }),
+    ),
   )
 
+export const invalidate = (calc: NamedCalc): Effect.Effect<void, never, Queries> =>
+  onHandle(calc, 'invalidate', (handle) => handle.invalidate())
+
 export const refetch = (calc: NamedCalc): Effect.Effect<void, never, Queries> =>
-  Effect.flatMap(Queries, (queries) => Effect.sync(() => queries.byName.get(calc.name)?.refetch()))
+  onHandle(calc, 'refetch', (handle) => handle.refetch())