@playfast/reform 1.3.0 → 1.4.1

package/dist/ui/trigger.d.ts

@@ -1,2 +1,5 @@
+import { Option } from 'effect';
 export type Trigger<P> = (payload: P) => void;
+export declare const taggedTrigger: <P>(tag: string, trigger: Trigger<P>) => Trigger<P>;
+export declare const triggerEventTag: (trigger: Trigger<never>) => Option.Option<string>;
 //# sourceMappingURL=trigger.d.ts.map

package/dist/ui/trigger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"trigger.d.ts","sourceRoot":"","sources":["../../src/ui/trigger.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,CAAA"}
+{"version":3,"file":"trigger.d.ts","sourceRoot":"","sources":["../../src/ui/trigger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,CAAA;AAQ7C,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,KAAK,MAAM,EAAE,SAAS,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAG5E,CAAA;AAED,eAAO,MAAM,eAAe,GAAI,SAAS,OAAO,CAAC,KAAK,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAG7E,CAAA"}

package/dist/ui/trigger.js

@@ -1,2 +1,15 @@
-export {};
+import { Option } from 'effect';
+// A trigger is an opaque closure by the time it reaches a UI contract, so the domain
+// Event it publishes is otherwise unrecoverable. Proofs need it: two compositions can
+// expose an action of the same name, and only the Event says whether they are the same
+// behaviour or a coincidence of spelling.
+const EventTag = Symbol.for('reform/Trigger/event');
+export const taggedTrigger = (tag, trigger) => {
+    Object.defineProperty(trigger, EventTag, { value: tag, enumerable: false });
+    return trigger;
+};
+export const triggerEventTag = (trigger) => {
+    const tag = Reflect.get(trigger, EventTag);
+    return typeof tag === 'string' ? Option.some(tag) : Option.none();
+};
 //# sourceMappingURL=trigger.js.map

package/dist/ui/trigger.js.map

@@ -1 +1 @@
-{"version":3,"file":"trigger.js","sourceRoot":"","sources":["../../src/ui/trigger.ts"],"names":[],"mappings":""}
+{"version":3,"file":"trigger.js","sourceRoot":"","sources":["../../src/ui/trigger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAI/B,qFAAqF;AACrF,sFAAsF;AACtF,uFAAuF;AACvF,0CAA0C;AAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;AAEnD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAI,GAAW,EAAE,OAAmB,EAAc,EAAE;IAC/E,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAA;IAC3E,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAuB,EAAyB,EAAE;IAChF,MAAM,GAAG,GAAY,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IACnD,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;AACnE,CAAC,CAAA"}

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.1",
   "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