@playfast/reform-proof 1.3.0 → 1.4.1

package/dist/fingerprint.js

@@ -1,4 +1,6 @@
+import * as Arr from 'effect/Array';
 import * as Option from 'effect/Option';
+import * as Order from 'effect/Order';
 const readPropertyOption = Option.liftThrowable((target, key) => Reflect.get(target, key));
 const readProperty = (target, key) => Option.getOrElse(readPropertyOption(target, key), () => '[Property read threw]');
 const propertyKeyFingerprint = (key) => typeof key === 'symbol'
@@ -6,7 +8,7 @@ const propertyKeyFingerprint = (key) => typeof key === 'symbol'
     : typeof key === 'number'
         ? `number-key:${String(key)}`
         : `key:${key.length}:${key}`;
-const valueFingerprint = (candidate, seen) => {
+const valueFingerprint = (candidate, walk) => {
     if (typeof candidate === 'bigint') {
         return `bigint:${String(candidate)}`;
     }
@@ -31,25 +33,46 @@ const valueFingerprint = (candidate, seen) => {
     if (candidate === null) {
         return 'null';
     }
-    if (seen.has(candidate)) {
+    if (walk.seen.has(candidate)) {
         return '[Circular]';
     }
-    seen.add(candidate);
+    const remembered = walk.memo.get(candidate);
+    if (remembered !== undefined) {
+        return remembered;
+    }
+    // `seen` marks the path currently being walked, not everything ever visited: it
+    // is unwound below. Without that, a value that merely repeats a reference — the
+    // same config object under two keys, a DAG rather than a cycle — reads as
+    // `[Circular]` on its second appearance, so two equal values fingerprint
+    // differently and `toEqual` fails on them.
+    walk.seen.add(candidate);
+    const printed = structuralFingerprint(candidate, walk);
+    walk.seen.delete(candidate);
+    // Only a print that did not depend on where the walk had been is reusable: one
+    // containing `[Circular]` describes this path, not this value.
+    if (!printed.includes('[Circular]')) {
+        walk.memo.set(candidate, printed);
+    }
+    return printed;
+};
+const structuralFingerprint = (candidate, walk) => {
     if (Array.isArray(candidate)) {
-        return `[${candidate.map((arrayEntry) => valueFingerprint(arrayEntry, seen)).join(',')}]`;
+        return `[${candidate.map((arrayEntry) => valueFingerprint(arrayEntry, walk)).join(',')}]`;
     }
     if (candidate instanceof Date) {
         return `date:${String(candidate.getTime())}`;
     }
     if (candidate instanceof Map) {
-        return `map:[${Array.from(candidate, ([mapKey, mapEntry]) => `${valueFingerprint(mapKey, seen)}=>${valueFingerprint(mapEntry, seen)}`).join(',')}]`;
+        return `map:[${Array.from(candidate, ([mapKey, mapEntry]) => `${valueFingerprint(mapKey, walk)}=>${valueFingerprint(mapEntry, walk)}`).join(',')}]`;
     }
     if (candidate instanceof Set) {
-        return `set:[${Array.from(candidate, (setEntry) => valueFingerprint(setEntry, seen)).join(',')}]`;
+        return `set:[${Array.from(candidate, (setEntry) => valueFingerprint(setEntry, walk)).join(',')}]`;
     }
-    return `{${Reflect.ownKeys(candidate)
-        .map((key) => `${propertyKeyFingerprint(key)}:${valueFingerprint(readProperty(candidate, key), seen)}`)
+    // Sorted by key: an object is the same value however its keys were inserted, so
+    // reordering fields in a composition's source must not break a passing proof.
+    return `{${Arr.sortWith(Reflect.ownKeys(candidate).map((key) => ({ key, printed: propertyKeyFingerprint(key) })), (entry) => entry.printed, Order.string)
+        .map((entry) => `${entry.printed}:${valueFingerprint(readProperty(candidate, entry.key), walk)}`)
         .join(',')}}`;
 };
-export const formatFingerprint = (fingerprintInput) => valueFingerprint(fingerprintInput, new WeakSet());
+export const formatFingerprint = (fingerprintInput) => valueFingerprint(fingerprintInput, { seen: new WeakSet(), memo: new WeakMap() });
 //# sourceMappingURL=fingerprint.js.map

package/dist/fingerprint.js.map

@@ -1 +1 @@
-{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,MAAM,kBAAkB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,MAAc,EAAE,GAAgB,EAAW,EAAE,CAC5F,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CACzB,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,GAAgB,EAAW,EAAE,CACjE,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,CAAA;AAElF,MAAM,sBAAsB,GAAG,CAAC,GAAgB,EAAU,EAAE,CAC1D,OAAO,GAAG,KAAK,QAAQ;IACrB,CAAC,CAAC,UAAU,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;IACrC,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ;QACvB,CAAC,CAAC,cAAc,MAAM,CAAC,GAAG,CAAC,EAAE;QAC7B,CAAC,CAAC,OAAO,GAAG,CAAC,MAAM,IAAI,GAAG,EAAE,CAAA;AAElC,MAAM,gBAAgB,GAAG,CAAC,SAAkB,EAAE,IAAqB,EAAU,EAAE;IAC7E,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAA;IACrD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,YAAY,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,SAAS,CAAC,MAAM,IAAI,SAAS,EAAE,CAAA;IAClD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAA;IAClD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,WAAW,EAAE,CAAC;QACrC,OAAO,WAAW,CAAA;IACpB,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACnB,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC3F,CAAC;IACD,IAAI,SAAS,YAAY,IAAI,EAAE,CAAC;QAC9B,OAAO,QAAQ,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAA;IAC9C,CAAC;IACD,IAAI,SAAS,YAAY,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,KAAK,CAAC,IAAI,CACvB,SAAS,EACT,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CACrB,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAC3E,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAChB,CAAC;IACD,IAAI,SAAS,YAAY,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACvF,GAAG,CACJ,GAAG,CAAA;IACN,CAAC;IACD,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;SAClC,GAAG,CACF,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAC3F;SACA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,gBAAyB,EAAU,EAAE,CACrE,gBAAgB,CAAC,gBAAgB,EAAE,IAAI,OAAO,EAAE,CAAC,CAAA"}
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../src/fingerprint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,cAAc,CAAA;AACnC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAErC,MAAM,kBAAkB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,MAAc,EAAE,GAAgB,EAAW,EAAE,CAC5F,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CACzB,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,GAAgB,EAAW,EAAE,CACjE,MAAM,CAAC,SAAS,CAAC,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,CAAA;AAElF,MAAM,sBAAsB,GAAG,CAAC,GAAgB,EAAU,EAAE,CAC1D,OAAO,GAAG,KAAK,QAAQ;IACrB,CAAC,CAAC,UAAU,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;IACrC,CAAC,CAAC,OAAO,GAAG,KAAK,QAAQ;QACvB,CAAC,CAAC,cAAc,MAAM,CAAC,GAAG,CAAC,EAAE;QAC7B,CAAC,CAAC,OAAO,GAAG,CAAC,MAAM,IAAI,GAAG,EAAE,CAAA;AAUlC,MAAM,gBAAgB,GAAG,CAAC,SAAkB,EAAE,IAAU,EAAU,EAAE;IAClE,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,CAAA;IACrD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,YAAY,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,EAAE,CAAA;IACtC,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,SAAS,CAAC,MAAM,IAAI,SAAS,EAAE,CAAA;IAClD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAA;IAClD,CAAC;IACD,IAAI,OAAO,SAAS,KAAK,WAAW,EAAE,CAAC;QACrC,OAAO,WAAW,CAAA;IACpB,CAAC;IACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,MAAM,CAAA;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO,YAAY,CAAA;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,UAAU,CAAA;IACnB,CAAC;IACD,gFAAgF;IAChF,gFAAgF;IAChF,0EAA0E;IAC1E,yEAAyE;IACzE,2CAA2C;IAC3C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACxB,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IACtD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC3B,+EAA+E;IAC/E,+DAA+D;IAC/D,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IACnC,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,qBAAqB,GAAG,CAAC,SAAiB,EAAE,IAAU,EAAU,EAAE;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC3F,CAAC;IACD,IAAI,SAAS,YAAY,IAAI,EAAE,CAAC;QAC9B,OAAO,QAAQ,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,CAAA;IAC9C,CAAC;IACD,IAAI,SAAS,YAAY,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,KAAK,CAAC,IAAI,CACvB,SAAS,EACT,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CACrB,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAC3E,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAChB,CAAC;IACD,IAAI,SAAS,YAAY,GAAG,EAAE,CAAC;QAC7B,OAAO,QAAQ,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACvF,GAAG,CACJ,GAAG,CAAA;IACN,CAAC;IACD,gFAAgF;IAChF,8EAA8E;IAC9E,OAAO,IAAI,GAAG,CAAC,QAAQ,CACrB,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EACxF,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EACxB,KAAK,CAAC,MAAM,CACb;SACE,GAAG,CACF,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,gBAAgB,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAC5F;SACA,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,gBAAyB,EAAU,EAAE,CACrE,gBAAgB,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,EAAE,CAAC,CAAA"}

package/dist/index.d.ts

@@ -8,7 +8,7 @@ import type { AnyScene, CapturedRender } from '@playfast/reform/internal';
 export { ProofRunner, proofRunnerLayer, withProofRunner };
 export type { ProofRunnerApi };
 export { makeFacade, makeProofFacade, makeRuntimeHandleFacade, makeRuntimeTreeFacade, makeSink, proofLayer, } from './engine.js';
-export type { MountedFacade, MountedSlotFacade, MountedSlotFacadesOf, RuntimeTreeFacade, Sink, } from './engine.js';
+export type { DispatchedAction, MountedFacade, MountedSlotFacade, MountedSlotFacadesOf, RuntimeTreeFacade, Sink, } from './engine.js';
 export { Product, ProductRequirement } from './product.js';
 export type { AnyRequirementClass, ProductClass, ProductComposition, ProductManifest, RequirementCapture, RequirementClass, RequirementManifest, } from './product.js';
 export { expect, matchProps } from './assert.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAe,KAAK,YAAY,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,EAAE,WAAW,EAAE,KAAK,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAE9F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,KAAK,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,WAAW,CAAA;AAClB,OAAO,KAAK,EAAE,YAAY,EAAa,cAAc,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACvF,OAAO,KAAK,EAEV,KAAK,EACL,eAAe,IAAI,qBAAqB,EACxC,UAAU,EACX,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAEzE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAA;AACzD,YAAY,EAAE,cAAc,EAAE,CAAA;AAE9B,OAAO,EACL,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,qBAAqB,EACrB,QAAQ,EACR,UAAU,GACX,MAAM,UAAU,CAAA;AACjB,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,IAAI,GACL,MAAM,UAAU,CAAA;AAEjB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AACvD,YAAY,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC7C,YAAY,EACV,MAAM,EACN,SAAS,EACT,UAAU,EACV,QAAQ,EACR,MAAM,EACN,UAAU,EACV,aAAa,GACd,MAAM,UAAU,CAAA;AACjB,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEpF,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CAClE;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACtC;AAED,QAAA,MAAM,SAAS,GAAI,IAAI,SAAS,kBAAkB,EAChD,aAAa,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC3C,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,EAChE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,KAC7D,KA0BA,CAAA;AAEH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,SAAS,kBAAkB,IAAI,CAAC,SAAS;IACrF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;CACjD,GACG;KACG,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK;CAC7F,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,GACnB,KAAK,CAAA;AAET,KAAK,YAAY,CACf,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,IAC9B,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEjE,QAAA,MAAM,YAAY,GAChB,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAEhC,aAAa,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC3C,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,KAC9C,KAiBA,CAAA;AAEH,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACtC;AAED,QAAA,MAAM,KAAK,GAAI,SAAS,YAAY,EAAE,QAAQ,eAAe,KAAG,UAI9D,CAAA;AAEF,eAAO,MAAM,YAAY,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,UACkC,CAAA;AAEjG,QAAA,MAAM,GAAG,GAAI,YAAY,UAAU,KAAG,OAAO,CAAC,WAAW,CACf,CAAA;AAE1C,QAAA,MAAM,SAAS,GAAI,YAAY,UAAU,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAWhF,CAAA;AAEH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,CAAA;CACzC;AAED,QAAA,MAAM,MAAM,GAAI,YAAY,UAAU,KAAG,aAAa,CAAC,WAAW,CAI7D,CAAA;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,QAAA,MAAM,aAAa,GAAI,IAAI,EAAE,CAAC,EAAE,GAAG,EACjC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE,CAAC,EAAE,GAAG,CACE,CAAA;AAEzD,eAAO,MAAM,KAAK,EAAE;IAClB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAA;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,YAAY,CAAA;IAC1C,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,aAAa,CAAA;CAC+B,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAe,KAAK,YAAY,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,EAAE,WAAW,EAAE,KAAK,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAE9F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAC3D,OAAO,KAAK,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,WAAW,CAAA;AAClB,OAAO,KAAK,EAAE,YAAY,EAAa,cAAc,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACvF,OAAO,KAAK,EAEV,KAAK,EACL,eAAe,IAAI,qBAAqB,EACxC,UAAU,EACX,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAEzE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAA;AACzD,YAAY,EAAE,cAAc,EAAE,CAAA;AAE9B,OAAO,EACL,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,qBAAqB,EACrB,QAAQ,EACR,UAAU,GACX,MAAM,UAAU,CAAA;AACjB,YAAY,EACV,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,IAAI,GACL,MAAM,UAAU,CAAA;AAEjB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AACvD,YAAY,EACV,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC7C,YAAY,EACV,MAAM,EACN,SAAS,EACT,UAAU,EACV,QAAQ,EACR,MAAM,EACN,UAAU,EACV,aAAa,GACd,MAAM,UAAU,CAAA;AACjB,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEpF,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAA;IACzC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CAClE;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACtC;AAED,QAAA,MAAM,SAAS,GAAI,IAAI,SAAS,kBAAkB,EAChD,aAAa,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC3C,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,EAChE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,KAC7D,KA0BA,CAAA;AAEH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,MAAM,SAAS,kBAAkB,IAAI,CAAC,SAAS;IACrF,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAA;CACjD,GACG;KACG,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK;CAC7F,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,GACnB,KAAK,CAAA;AAET,KAAK,YAAY,CACf,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,IAC9B,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEjE,QAAA,MAAM,YAAY,GAChB,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAEhC,aAAa,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAC3C,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EACxC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,KAC9C,KAiBA,CAAA;AAEH,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACtC;AAED,QAAA,MAAM,KAAK,GAAI,SAAS,YAAY,EAAE,QAAQ,eAAe,KAAG,UAI9D,CAAA;AAEF,eAAO,MAAM,YAAY,GAAI,WAAW,OAAO,KAAG,SAAS,IAAI,UACkC,CAAA;AAEjG,QAAA,MAAM,GAAG,GAAI,YAAY,UAAU,KAAG,OAAO,CAAC,WAAW,CACf,CAAA;AAE1C,QAAA,MAAM,SAAS,GAAI,YAAY,UAAU,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAWhF,CAAA;AAEH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CACjD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACzC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,OAAO,CAAC,WAAW,CAAC,CAAA;CACzC;AAED,QAAA,MAAM,MAAM,GAAI,YAAY,UAAU,KAAG,aAAa,CAAC,WAAW,CAI7D,CAAA;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,QAAA,MAAM,aAAa,GAAI,IAAI,EAAE,CAAC,EAAE,GAAG,EACjC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,KAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE,CAAC,EAAE,GAAG,CACE,CAAA;AAEzD,eAAO,MAAM,KAAK,EAAE;IAClB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAA;IACpC,QAAQ,CAAC,YAAY,EAAE,OAAO,YAAY,CAAA;IAC1C,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,aAAa,CAAA;CAC+B,CAAA"}

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAqB,MAAM,QAAQ,CAAA;AACtE,OAAO,EAAE,WAAW,EAAuB,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC9F,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAiBnC,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAA;AAGzD,OAAO,EACL,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,qBAAqB,EACrB,QAAQ,EACR,UAAU,GACX,MAAM,UAAU,CAAA;AASjB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAUvD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAwB7C,MAAM,SAAS,GAAG,CAChB,WAA2C,EAC3C,KAAgE,EAChE,IAA8D,EACvD,EAAE,CACT,KAAK,CAAC,OAAO,CACX,CACE,UAAqF,EAC9E,EAAE;IACT,MAAM,SAAS,GAQX;QACF,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,MAAM;QACjB,IAAI;KACL,CAAA;IACD,OAAO;QACL,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAmE,SAAS,CAAC;KACrF,CAAA;AACH,CAAC,CACF,CAAA;AAgBH,MAAM,YAAY,GAAG,CAKnB,WAA2C,EAC3C,KAAwC,EACxC,IAA+C,EACxC,EAAE,CACT,KAAK,CAAC,OAAO,CACX,CACE,UAAyD,EAClD,EAAE;IACT,MAAM,SAAS,GAAoD;QACjE,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,MAAM;QACjB,IAAI;KACL,CAAA;IACD,OAAO;QACL,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAuC,SAAS,CAAC;KAC3E,CAAA;AACH,CAAC,CACF,CAAA;AAMH,MAAM,KAAK,GAAG,CAAC,OAAqB,EAAE,MAAuB,EAAc,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,YAAY;IAClB,OAAO;IACP,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,SAAkB,EAA2B,EAAE,CAC1E,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,YAAY,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;AAEjG,MAAM,GAAG,GAAG,CAAC,UAAsB,EAAwB,EAAE,CAC3D,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;AAE1C,MAAM,SAAS,GAAG,CAAC,UAAsB,EAA4C,EAAE,CACrF,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAC/E,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACvB,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI;IACzC,OAAO,EAAE,OAAO;IAChB,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC,EACH,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CACjC,CAAA;AAmBH,MAAM,MAAM,GAAG,CAAC,UAAsB,EAA8B,EAAE,CACpE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS;IACjD,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,MAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;CACjF,CAAC,CAAC,CAAA;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,aAAa,GAAG,CACpB,KAAgC,EACuB,EAAE,CACzD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAA;AAEzD,MAAM,CAAC,MAAM,KAAK,GAQd,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAqB,MAAM,QAAQ,CAAA;AACtE,OAAO,EAAE,WAAW,EAAuB,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAA;AAC9F,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAiBnC,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAA;AAGzD,OAAO,EACL,UAAU,EACV,eAAe,EACf,uBAAuB,EACvB,qBAAqB,EACrB,QAAQ,EACR,UAAU,GACX,MAAM,UAAU,CAAA;AAUjB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAUvD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAwB7C,MAAM,SAAS,GAAG,CAChB,WAA2C,EAC3C,KAAgE,EAChE,IAA8D,EACvD,EAAE,CACT,KAAK,CAAC,OAAO,CACX,CACE,UAAqF,EAC9E,EAAE;IACT,MAAM,SAAS,GAQX;QACF,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,MAAM;QACjB,IAAI;KACL,CAAA;IACD,OAAO;QACL,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAmE,SAAS,CAAC;KACrF,CAAA;AACH,CAAC,CACF,CAAA;AAgBH,MAAM,YAAY,GAAG,CAKnB,WAA2C,EAC3C,KAAwC,EACxC,IAA+C,EACxC,EAAE,CACT,KAAK,CAAC,OAAO,CACX,CACE,UAAyD,EAClD,EAAE;IACT,MAAM,SAAS,GAAoD;QACjE,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,MAAM;QACjB,IAAI;KACL,CAAA;IACD,OAAO;QACL,WAAW;QACX,KAAK,EAAE,UAAU;QACjB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAuC,SAAS,CAAC;KAC3E,CAAA;AACH,CAAC,CACF,CAAA;AAMH,MAAM,KAAK,GAAG,CAAC,OAAqB,EAAE,MAAuB,EAAc,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,YAAY;IAClB,OAAO;IACP,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,SAAkB,EAA2B,EAAE,CAC1E,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,YAAY,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAA;AAEjG,MAAM,GAAG,GAAG,CAAC,UAAsB,EAAwB,EAAE,CAC3D,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;AAE1C,MAAM,SAAS,GAAG,CAAC,UAAsB,EAA4C,EAAE,CACrF,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAC/E,EACD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACvB,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI;IACzC,OAAO,EAAE,OAAO;IAChB,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC,EACH,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CACjC,CAAA;AAmBH,MAAM,MAAM,GAAG,CAAC,UAAsB,EAA8B,EAAE,CACpE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS;IACjD,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,MAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;CACjF,CAAC,CAAC,CAAA;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,aAAa,GAAG,CACpB,KAAgC,EACuB,EAAE,CACzD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAA;AAEzD,MAAM,CAAC,MAAM,KAAK,GAQd,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@playfast/reform-proof",
-  "version": "1.3.0",
+  "version": "1.4.1",
   "description": "Headless testing toolkit for reform — drive a scene's compositions and assert on the props they compute, with no DOM, timers, or text matching.",
   "keywords": [
     "effect",

package/src/coverage-host.test.ts

@@ -0,0 +1,183 @@
+import { Layer, Schema as S } from 'effect'
+import {
+  Composition,
+  Engine,
+  Event,
+  mount,
+  one,
+  provide,
+  Reducer,
+  scene,
+  slot,
+  State,
+  StateGroup,
+  type Trigger,
+  Ui,
+  ui,
+} from '@playfast/reform'
+import { describe, expect, test } from 'vitest'
+import { Product, Proof, ProductRequirement, expect as proofExpect } from './index'
+
+// The dialog's own event, and one only the host raises.
+class Confirmed extends Event.make('CovConfirmed', S.Struct({})) {}
+class HostConfirmed extends Event.make('CovHostConfirmed', S.Struct({})) {}
+
+class CountState extends State.make('covCount', S.Number) {}
+class CountStates extends StateGroup.make(CountState) {}
+class CountReducer extends Reducer.make('CovReducer', {
+  states: [CountState],
+  events: [Confirmed],
+}) {}
+const CountReducerLive = Reducer.live(CountReducer, (count) => count + 1)
+
+class DialogUi extends ui('CovDialog')<{
+  props: { count: number }
+  events: { confirm: Trigger<Record<string, never>> }
+}>() {}
+class Dialog extends Composition.make('CovDialog', {
+  title: 'CovDialog',
+  states: [CountStates],
+  events: [Confirmed],
+  ui: DialogUi,
+})<Dialog>() {}
+const DialogLive = Composition.live(Dialog, function* () {
+  const count = yield* StateGroup.select(CountStates, 'covCount')
+  const confirm = yield* Event.trigger(Confirmed)
+  return mount({ props: { count }, slots: {}, events: { confirm } })
+})
+class DialogSlot extends slot('CovDialogSlot')<DialogSlot, typeof Dialog>() {}
+
+// A sibling that raises the dialog's event without being the dialog.
+class EchoUi extends ui('CovEcho')<{
+  props: { count: number }
+  events: { confirm: Trigger<Record<string, never>> }
+}>() {}
+class Echo extends Composition.make('CovEcho', {
+  title: 'CovEcho',
+  states: [CountStates],
+  events: [Confirmed],
+  ui: EchoUi,
+})<Echo>() {}
+const EchoLive = Composition.live(Echo, function* () {
+  const count = yield* StateGroup.select(CountStates, 'covCount')
+  const confirm = yield* Event.trigger(Confirmed)
+  return mount({ props: { count }, slots: {}, events: { confirm } })
+})
+class EchoSlot extends slot('CovEchoSlot')<EchoSlot, typeof Echo>() {}
+
+// The test-only parent: it renders the dialog and re-exposes its event as
+// `passthrough`, while its own `confirm` is a different event that happens to
+// spell the dialog's action name.
+class HostUi extends ui('CovHost')<{
+  props: { count: number }
+  events: {
+    confirm: Trigger<Record<string, never>>
+    passthrough: Trigger<Record<string, never>>
+  }
+  slots: { Dialog: DialogSlot; Echo: EchoSlot }
+}>() {}
+class Host extends Composition.make('CovHost', {
+  title: 'CovHost',
+  states: [CountStates],
+  events: [Confirmed, HostConfirmed],
+  slots: { Dialog: DialogSlot, Echo: EchoSlot },
+  ui: HostUi,
+})<Host>() {}
+const HostLive = Composition.live(Host, function* () {
+  const count = yield* StateGroup.select(CountStates, 'covCount')
+  const confirm = yield* Event.trigger(HostConfirmed)
+  const passthrough = yield* Event.trigger(Confirmed)
+  return mount({
+    props: { count },
+    slots: { Dialog: one({}), Echo: one({}) },
+    events: { confirm, passthrough },
+  })
+})
+
+const presentations = Layer.mergeAll(
+  provide(
+    HostUi,
+    Ui.make(HostUi, () => null),
+  ),
+  provide(
+    DialogUi,
+    Ui.make(DialogUi, () => null),
+  ),
+  provide(
+    EchoUi,
+    Ui.make(EchoUi, () => null),
+  ),
+)
+const Views = Layer.mergeAll(
+  HostLive,
+  DialogLive,
+  EchoLive,
+  provide(DialogSlot, Dialog),
+  provide(EchoSlot, Echo),
+).pipe(Layer.provideMerge(presentations))
+const Logic = CountReducerLive.pipe(
+  Layer.provideMerge(Layer.mergeAll(Engine, StateGroup.live(CountStates, { covCount: 0 }))),
+)
+const HostScene = scene(Host, { provide: [Views.pipe(Layer.provideMerge(Logic))] })
+
+class ConfirmsDialog extends ProductRequirement.make(Dialog, 'confirms the dialog', {
+  events: ['confirm'],
+}) {}
+class DialogProduct extends Product.make(Dialog, { requirements: [ConfirmsDialog] }) {}
+
+const run = (proof: Proof) => Proof.run(Proof.suite(DialogProduct, { proofs: [proof] }))
+
+describe('event coverage across a test-only host (issue #26)', () => {
+  test('the composition raising the requirement’s own event covers it', async () => {
+    const viaSlot = Proof.implementVia(ConfirmsDialog, HostScene, function* (app) {
+      const dialog = yield* app.slots.Dialog.first
+      const after = yield* dialog.actions.confirm({})
+      yield* proofExpect(after.count).toBe(1)
+    })
+    const result = await run(viaSlot)
+    expect(result.results[0]?.error).toBeUndefined()
+    expect(result.ok).toBe(true)
+  })
+
+  test('a host that re-raises the requirement’s event covers it too', async () => {
+    const viaHost = Proof.implementVia(ConfirmsDialog, HostScene, function* (app) {
+      const after = yield* app.actions.passthrough({})
+      yield* proofExpect(after.count).toBe(1)
+    })
+    const result = await run(viaHost)
+    expect(result.results[0]?.error).toBeUndefined()
+    expect(result.ok).toBe(true)
+  })
+
+  test('a host action that only spells the name the same does not cover it', async () => {
+    const sameName = Proof.implementVia(ConfirmsDialog, HostScene, function* (app) {
+      const after = yield* app.actions.confirm({})
+      yield* proofExpect(after.count).toBe(0)
+    })
+    const result = await run(sameName)
+    expect(result.ok).toBe(false)
+    expect(result.results[0]?.error).toContain('never dispatched')
+  })
+
+  test('a sibling raising the same event does not cover it', async () => {
+    const sibling = Proof.implementVia(ConfirmsDialog, HostScene, function* (app) {
+      const echo = yield* app.slots.Echo.first
+      const after = yield* echo.actions.confirm({})
+      yield* proofExpect(after.count).toBe(1)
+    })
+    const result = await run(sibling)
+    expect(result.ok).toBe(false)
+    expect(result.results[0]?.error).toContain('never dispatched')
+  })
+
+  test('the failure names where the event was dispatched instead', async () => {
+    const sameName = Proof.implementVia(ConfirmsDialog, HostScene, function* (app) {
+      yield* app.actions.confirm({})
+    })
+    const result = await run(sameName)
+    expect(result.results[0]?.error).toContain('dispatched on CovHost')
+    expect(result.results[0]?.error).toContain('CovHostConfirmed')
+    expect(result.results[0]?.error).toContain('not on CovDialog')
+    expect(result.results[0]?.error).toContain('CovConfirmed')
+  })
+})

package/src/engine.ts

@@ -9,6 +9,7 @@ import {
 } from '@playfast/reform'
 import { type AnyComposition, type AnyScene } from '@playfast/reform/internal'
 import {
+  type DispatchedAction,
   invalidCompositionProps,
   type HostRuntime,
   makeSink,
@@ -17,6 +18,7 @@ import {
   type Sink,
 } from './engineSink'
 import { childComposition, readRuntimeSlotChild, slotsOf } from './engineTree'
+import { type Coverage, coverageFailure, missingCoverage } from './engineCoverage'
 import type { RuntimeTreeFacade } from './engineTreeTypes'
 import { makeRuntimeTreeFacade } from './engineTreeFacade'
 import type { ProofCase, ProofResult } from './proofCase'
@@ -26,14 +28,10 @@ import type { ProductComposition } from './product'
 import type { Proof } from './index'
 
 export { makeSink } from './engineSink'
-export type { Sink } from './engineSink'
+export type { DispatchedAction, Sink } from './engineSink'
 export { proofLayer } from './engineTree'
 export { makeFacade, makeProofFacade, makeRuntimeHandleFacade } from './engineMounted'
-export type {
-  MountedFacade,
-  MountedSlotFacade,
-  MountedSlotFacadesOf,
-} from './engineSink'
+export type { MountedFacade, MountedSlotFacade, MountedSlotFacadesOf } from './engineSink'
 export { makeRuntimeTreeFacade } from './engineTreeFacade'
 export type { RuntimeTreeFacade } from './engineTreeTypes'
 
@@ -63,7 +61,7 @@ const withProofRuntimeTree = <
 >(
   scene: CapturedScene<C, S, Services, P, N, Identity>,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
   use: (runtime: HostRuntime, tree: RuntimeTreeFacade<C>) => Effect.Effect<A, E, never>,
 ): Effect.Effect<A, E, never> =>
   Effect.acquireUseRelease(
@@ -81,15 +79,6 @@ const withProofRuntimeTree = <
     (runtime) => Effect.sync(runtime.dispose),
   )
 
-const missingCoverage = (
-  proof: Pick<Proof, 'requirement'>,
-  dispatched: Set<string>,
-): ReadonlyArray<string> =>
-  Option.match(proof.requirement.manifest.events, {
-    onNone: () => [],
-    onSome: (declared) => declared.map(String).filter((event) => !dispatched.has(event)),
-  })
-
 interface ProofPlacement {
   readonly requirement: Proof['requirement']
   readonly placement: 'Root' | 'Slot'
@@ -144,7 +133,7 @@ const executeProofWithSink = Effect.fn('executeProofWithSink')(function* <
   scene: CapturedScene<C, S, Services, P, N, Identity>,
   sink: Sink,
 ): Effect.fn.Return<ProofResult, never, never> {
-  const dispatched = new Set<string>()
+  const dispatched = new Set<DispatchedAction>()
   const statement = proof.requirement.manifest.statement
   const runGenerator = Effect.fn('runProofGenerator')(function* (
     generator: ReturnType<typeof proof.body>,
@@ -164,10 +153,15 @@ const executeProofWithSink = Effect.fn('executeProofWithSink')(function* <
       yield* verifyProofPlacement(proof, scene, runtime)
       yield* tree.settle
       yield* runGenerator(proof.body(tree.facade), undefined, tree.settle)
-      const missing = missingCoverage(proof, dispatched)
-      const coverageError = `requirement declares events never dispatched: ${missing.join(', ')}`
+      const coverage: Coverage = {
+        requirement: proof.requirement,
+        host: compositionIdentity(scene.composition),
+        dispatched,
+        publications: tree.publications,
+      }
+      const missing = missingCoverage(coverage)
       return missing.length > 0
-        ? { requirement: statement, ok: false, error: coverageError }
+        ? { requirement: statement, ok: false, error: coverageFailure(coverage, missing) }
         : { requirement: statement, ok: true, error: undefined }
     }),
   ).pipe(
@@ -218,7 +212,7 @@ const driveProofWithSink = Effect.fn('driveProofWithSink')(function* <
   const frames = yield* Ref.make<ReadonlyArray<StepFrame>>([])
   const statement = proof.requirement.manifest.statement
   // Driving tracks dispatches for the facade without enforcing coverage.
-  const dispatched = new Set<string>()
+  const dispatched = new Set<DispatchedAction>()
   const record = (index: number): Effect.Effect<void> =>
     Ref.update(frames, (current) => [...current, { index, captures: [...sink.captures] }])
   const pump = Effect.fn('pump')(function* (
@@ -282,4 +276,3 @@ export const driveProofEffect = (proof: Proof): Effect.Effect<DriveResult, never
 
 export const driveProof = (proof: Proof): Promise<DriveResult> =>
   Effect.runPromise(driveProofEffect(proof))
-

package/src/engineCoverage.ts

@@ -0,0 +1,86 @@
+import { Array as Arr, Option } from 'effect'
+import { compositionIdentityOf, type DispatchedAction, type EventPublications } from './engineSink'
+import type { Proof } from './index'
+
+export interface Coverage {
+  readonly requirement: Proof['requirement']
+  // The scene root — the composition that renders the requirement's own, and the only
+  // one whose dispatch can stand in for it.
+  readonly host: symbol
+  readonly dispatched: Set<DispatchedAction>
+  readonly publications: EventPublications
+}
+
+interface DeclaredEvent {
+  readonly coverage: Coverage
+  readonly owner: symbol
+  readonly event: string
+}
+
+const samePublication = (
+  published: Option.Option<string>,
+  declared: Option.Option<string>,
+): boolean =>
+  Option.getOrElse(
+    Option.zipWith(published, declared, (raised, owned) => raised === owned),
+    () => false,
+  )
+
+// A declared event is answered by a dispatch on the requirement's own composition — or
+// by the composition that renders it raising the very same domain Event. The second
+// case is the test-only parent that exists to feed a slot the props it needs and
+// re-exposes its action: that dispatch reaches the child's reducer, so withholding
+// coverage reports "never dispatched" about an event whose effects the proof body
+// asserts two lines later. A composition that merely spells an action the same way
+// publishes a different Event and stays uncovered, which is the collision the identity
+// check exists for — as does a sibling raising the event without owning the action.
+const answeredBy =
+  ({ coverage, owner, event }: DeclaredEvent) =>
+  (action: DispatchedAction): boolean =>
+    Object.is(action.identity, owner)
+      ? action.event === event
+      : Object.is(action.identity, coverage.host) &&
+        samePublication(action.published, coverage.publications.publishedBy(owner, event))
+
+export const missingCoverage = (coverage: Coverage): ReadonlyArray<string> =>
+  Option.match(coverage.requirement.manifest.events, {
+    onNone: () => [],
+    onSome: (declared) => {
+      const owner = compositionIdentityOf(coverage.requirement.manifest.composition)
+      const raised = Arr.fromIterable(coverage.dispatched)
+      return declared
+        .map(String)
+        .filter((event) => !raised.some(answeredBy({ coverage, owner, event })))
+    },
+  })
+
+const publicationSuffix = (published: Option.Option<string>): string =>
+  Option.match(published, {
+    onNone: () => '',
+    onSome: (tag) => ` (publishes ${tag})`,
+  })
+
+// "never dispatched" is the wrong story when the event was dispatched on a composition
+// the requirement does not own, so name that composition and what each side publishes.
+const uncoveredDetail = ({ coverage, owner, event }: DeclaredEvent): string => {
+  const ownerName = coverage.requirement.manifest.composition.manifest.name
+  const elsewhere = Arr.dedupe(
+    Arr.filterMap(Arr.fromIterable(coverage.dispatched), (action) =>
+      action.event === event && !Object.is(action.identity, owner)
+        ? Option.some(`${action.composition}${publicationSuffix(action.published)}`)
+        : Option.none(),
+    ),
+  )
+  const owned = publicationSuffix(coverage.publications.publishedBy(owner, event))
+  return Arr.match(elsewhere, {
+    onEmpty: () => event,
+    onNonEmpty: (raisers) =>
+      `${event} — dispatched on ${Arr.join(raisers, ', ')}, not on ${ownerName}${owned}`,
+  })
+}
+
+export const coverageFailure = (coverage: Coverage, missing: ReadonlyArray<string>): string => {
+  const owner = compositionIdentityOf(coverage.requirement.manifest.composition)
+  const detail = missing.map((event) => uncoveredDetail({ coverage, owner, event }))
+  return `requirement declares events never dispatched: ${Arr.join(detail, '; ')}`
+}

package/src/engineMounted.ts

@@ -7,10 +7,12 @@ import {
   type Trigger,
   type UiContract,
 } from '@playfast/reform'
-import { type AnyComposition, CaptureSink } from '@playfast/reform/internal'
+import { type AnyComposition, CaptureSink, triggerEventTag } from '@playfast/reform/internal'
 import type { Facade } from './facade'
 import {
+  compositionIdentityOf,
   directSettle,
+  type DispatchedAction,
   expectMatchingProps,
   keyed,
   type MountedFacade,
@@ -32,11 +34,7 @@ import {
   slotCapturesFor,
   slotsOf,
 } from './engineTree'
-import {
-  collectRuntimeBindings,
-  renderTreeRuntime,
-  settleTreeRuntime,
-} from './engineRender'
+import { collectRuntimeBindings, renderTreeRuntime, settleTreeRuntime } from './engineRender'
 
 export function makeFacade<
   C extends UiContract,
@@ -49,7 +47,7 @@ export function makeFacade<
   runtime: ManagedRuntime.ManagedRuntime<Services | CaptureSink, never>,
   scene: CapturedScene<C, S, Services, P, N, Identity>,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
 ): {
   readonly facade: Facade<C, never>
   readonly settle: Effect.Effect<void, never, never>
@@ -74,7 +72,7 @@ function makeMountedFacade<
   runtime: RenderRuntime,
   root: CompositionClass<P, C, S, N, Identity>,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
   settleBoundary: SettleBoundary,
 ): {
   readonly facade: MountedFacade<C>
@@ -84,14 +82,14 @@ function makeMountedFacade(
   runtime: RenderRuntime,
   root: AnyComposition,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
   settleBoundary: SettleBoundary,
 ): MountedFacadeHandleErasure
 function makeMountedFacade(
   runtime: RenderRuntime,
   root: AnyComposition,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
   settleBoundary: SettleBoundary,
 ): MountedFacadeHandleErasure {
   const bindings = collectRuntimeBindings(root, runtime)
@@ -146,7 +144,12 @@ function makeMountedFacade(
           Effect.flatMap(() => triggerOf(ref, event)),
           Effect.flatMap((trigger) =>
             Effect.sync(() => {
-              dispatched.add(event)
+              dispatched.add({
+                identity: compositionIdentityOf(comp),
+                composition: uiNameOf(comp),
+                event,
+                published: triggerEventTag(trigger),
+              })
               trigger(payload)
             }),
           ),
@@ -244,7 +247,7 @@ export const makeProofFacade = <
   runtime: ManagedRuntime.ManagedRuntime<Services | CaptureSink, never>,
   scene: CapturedScene<C, S, Services, P, N, Identity>,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
 ): {
   readonly facade: Facade<C, never>
   readonly settle: Effect.Effect<void, never, never>
@@ -264,7 +267,7 @@ export const makeRuntimeHandleFacade = <
   runtime: RuntimeHandle<Services>,
   root: RuntimeRootComposition<RootIdentifier, P, C, S, N, Identity>,
   sink: Sink,
-  dispatched: Set<string>,
+  dispatched: Set<DispatchedAction>,
 ): {
   readonly facade: MountedFacade<C>
   readonly settle: Effect.Effect<void, never, never>