@playfast/reform-proof 1.2.0 → 1.3.0

package/dist/product.d.ts

@@ -0,0 +1,56 @@
+import { Option } from 'effect';
+import type { AnyComposition } from '@playfast/reform/internal';
+import type { ContractOf, EventNamesOf } from './facade.js';
+export type ProductComposition = AnyComposition & {
+    readonly identity: symbol;
+};
+declare const RequirementCompositionTypeId: unique symbol;
+export interface AnyRequirementClass {
+    new (): {};
+    readonly manifest: {
+        readonly kind: 'ProductRequirement';
+        readonly name: string;
+        readonly statement: string;
+        readonly composition: ProductComposition;
+        readonly events: Option.Option<ReadonlyArray<PropertyKey>>;
+    };
+    readonly capture: <Result>(visit: RequirementCapture<Result>) => Result;
+}
+export type RequirementCapture<Result> = <Comp extends ProductComposition, Statement extends string>(requirement: RequirementClass<Comp, Statement>) => Result;
+export interface RequirementManifest<Comp extends ProductComposition, Statement extends string> {
+    readonly kind: 'ProductRequirement';
+    readonly name: Statement;
+    readonly statement: Statement;
+    readonly composition: Comp;
+    readonly events: Option.Option<ReadonlyArray<EventNamesOf<ContractOf<Comp>>>>;
+}
+export interface RequirementClass<Comp extends ProductComposition, Statement extends string> extends AnyRequirementClass {
+    readonly manifest: RequirementManifest<Comp, Statement>;
+    readonly [RequirementCompositionTypeId]: (composition: Comp) => Comp;
+}
+export interface ProductManifest<Comp extends ProductComposition> {
+    readonly kind: 'Product';
+    readonly name: string;
+    readonly composition: Comp;
+    readonly requirements: ReadonlyArray<AnyRequirementClass>;
+}
+export interface ProductClass<Comp extends ProductComposition = ProductComposition> {
+    new (): {};
+    readonly manifest: ProductManifest<Comp>;
+}
+interface MakeRequirementOptionsExternalApi<Comp extends ProductComposition> {
+    readonly events?: ReadonlyArray<EventNamesOf<ContractOf<Comp>>>;
+}
+declare const makeRequirement: <Comp extends ProductComposition, const Statement extends string>(composition: Comp, statement: Statement, options?: MakeRequirementOptionsExternalApi<Comp>) => RequirementClass<Comp, Statement>;
+export declare const ProductRequirement: {
+    readonly make: typeof makeRequirement;
+};
+interface MakeProductConfig<Comp extends ProductComposition> {
+    readonly requirements: ReadonlyArray<RequirementClass<Comp, string>>;
+}
+declare const makeProduct: <Comp extends ProductComposition>(composition: Comp, config: MakeProductConfig<Comp>) => ProductClass<Comp>;
+export declare const Product: {
+    readonly make: typeof makeProduct;
+};
+export {};
+//# sourceMappingURL=product.d.ts.map

package/dist/product.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"product.d.ts","sourceRoot":"","sources":["../src/product.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAExD,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAA;AAE/E,QAAA,MAAM,4BAA4B,EAAE,OAAO,MAE1C,CAAA;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;QACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAA;QACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAA;KAC3D,CAAA;IACD,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,kBAAkB,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;CACxE;AAED,MAAM,MAAM,kBAAkB,CAAC,MAAM,IAAI,CACvC,IAAI,SAAS,kBAAkB,EAC/B,SAAS,SAAS,MAAM,EAExB,WAAW,EAAE,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,KAC3C,MAAM,CAAA;AAEX,MAAM,WAAW,mBAAmB,CAAC,IAAI,SAAS,kBAAkB,EAAE,SAAS,SAAS,MAAM;IAC5F,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAA;IACnC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;CAC9E;AAED,MAAM,WAAW,gBAAgB,CAC/B,IAAI,SAAS,kBAAkB,EAC/B,SAAS,SAAS,MAAM,CACxB,SAAQ,mBAAmB;IAC3B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACvD,QAAQ,CAAC,CAAC,4BAA4B,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,KAAK,IAAI,CAAA;CACrE;AAED,MAAM,WAAW,eAAe,CAAC,IAAI,SAAS,kBAAkB;IAC9D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAA;IAC1B,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,mBAAmB,CAAC,CAAA;CAC1D;AAED,MAAM,WAAW,YAAY,CAAC,IAAI,SAAS,kBAAkB,GAAG,kBAAkB;IAChF,QAAQ,EAAE,CAAA;IACV,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;CACzC;AAED,UAAU,iCAAiC,CAAC,IAAI,SAAS,kBAAkB;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;CAChE;AAED,QAAA,MAAM,eAAe,GAAI,IAAI,SAAS,kBAAkB,EAAE,KAAK,CAAC,SAAS,SAAS,MAAM,EACtF,aAAa,IAAI,EACjB,WAAW,SAAS,EACpB,UAAU,iCAAiC,CAAC,IAAI,CAAC,KAChD,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAelC,CAAA;AAED,eAAO,MAAM,kBAAkB,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,eAAe,CAAA;CAEvE,CAAA;AAED,UAAU,iBAAiB,CAAC,IAAI,SAAS,kBAAkB;IACzD,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;CACrE;AAED,QAAA,MAAM,WAAW,GAAI,IAAI,SAAS,kBAAkB,EAClD,aAAa,IAAI,EACjB,QAAQ,iBAAiB,CAAC,IAAI,CAAC,KAC9B,YAAY,CAAC,IAAI,CAUnB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,WAAW,CAAA;CAExD,CAAA"}

package/dist/product.js

@@ -0,0 +1,35 @@
+import { Option } from 'effect';
+const RequirementCompositionTypeId = Symbol.for('reform-proof/RequirementComposition');
+const makeRequirement = (composition, statement, options) => {
+    const manifest = {
+        kind: 'ProductRequirement',
+        name: statement,
+        statement,
+        composition,
+        events: Option.fromNullable(options?.events),
+    };
+    class Requirement {
+        static manifest = manifest;
+        static [RequirementCompositionTypeId] = (exact) => exact;
+        static capture = (visit) => visit(Requirement);
+    }
+    return Requirement;
+};
+export const ProductRequirement = {
+    make: makeRequirement,
+};
+const makeProduct = (composition, config) => {
+    const manifest = {
+        kind: 'Product',
+        name: composition.manifest.name,
+        composition,
+        requirements: config.requirements,
+    };
+    return class {
+        static manifest = manifest;
+    };
+};
+export const Product = {
+    make: makeProduct,
+};
+//# sourceMappingURL=product.js.map

package/dist/product.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"product.js","sourceRoot":"","sources":["../src/product.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM/B,MAAM,4BAA4B,GAAkB,MAAM,CAAC,GAAG,CAC5D,qCAAqC,CACtC,CAAA;AAqDD,MAAM,eAAe,GAAG,CACtB,WAAiB,EACjB,SAAoB,EACpB,OAAiD,EACd,EAAE;IACrC,MAAM,QAAQ,GAAyC;QACrD,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,SAAS;QACf,SAAS;QACT,WAAW;QACX,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC;KAC7C,CAAA;IACD,MAAM,WAAW;QACf,MAAM,CAAU,QAAQ,GAAG,QAAQ,CAAA;QACnC,MAAM,CAAU,CAAC,4BAA4B,CAAC,GAAG,CAAC,KAAW,EAAQ,EAAE,CAAC,KAAK,CAAA;QAC7E,MAAM,CAAU,OAAO,GAAG,CAAS,KAAiC,EAAU,EAAE,CAC9E,KAAK,CAAC,WAAW,CAAC,CAAA;;IAEtB,OAAO,WAAW,CAAA;AACpB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,kBAAkB,GAA8C;IAC3E,IAAI,EAAE,eAAe;CACtB,CAAA;AAMD,MAAM,WAAW,GAAG,CAClB,WAAiB,EACjB,MAA+B,EACX,EAAE;IACtB,MAAM,QAAQ,GAA0B;QACtC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI;QAC/B,WAAW;QACX,YAAY,EAAE,MAAM,CAAC,YAAY;KAClC,CAAA;IACD,OAAO;QACL,MAAM,CAAU,QAAQ,GAAG,QAAQ,CAAA;KACpC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,OAAO,GAA0C;IAC5D,IAAI,EAAE,WAAW;CAClB,CAAA"}

package/dist/proofCase.d.ts

@@ -0,0 +1,24 @@
+import type { Effect } from 'effect';
+import type { YieldWrap } from 'effect/Utils';
+import type { CapturedScene, UiContract } from '@playfast/reform';
+import type { Facade } from './facade.js';
+import type { ProductComposition, RequirementClass } from './product.js';
+export type ProofGenerator = Generator<YieldWrap<Effect.Effect<unknown, unknown, never>>, void, unknown>;
+export interface ProofCase<Comp extends ProductComposition, C extends UiContract, S extends ReadonlyArray<unknown>, Services, P, N extends string, Identity> {
+    readonly requirement: RequirementClass<Comp, string>;
+    readonly scene: CapturedScene<C, S, Services, P, N, Identity>;
+    readonly placement: 'Root' | 'Slot';
+    readonly body: (app: Facade<C, never>) => ProofGenerator;
+}
+export type ProofCapture<Result> = <Comp extends ProductComposition, C extends UiContract, S extends ReadonlyArray<unknown>, Services, P, N extends string, Identity>(proof: ProofCase<Comp, C, S, Services, P, N, Identity>) => Result;
+export interface ProofResult {
+    readonly requirement: string;
+    readonly ok: boolean;
+    readonly error: string | undefined;
+}
+export interface SuiteResult {
+    readonly product: string;
+    readonly results: ReadonlyArray<ProofResult>;
+    readonly ok: boolean;
+}
+//# sourceMappingURL=proofCase.d.ts.map

package/dist/proofCase.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofCase.d.ts","sourceRoot":"","sources":["../src/proofCase.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACtC,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAA;AAErE,MAAM,MAAM,cAAc,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;AAExG,MAAM,WAAW,SAAS,CACxB,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EACR,CAAC,EACD,CAAC,SAAS,MAAM,EAChB,QAAQ;IAER,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACpD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAA;IAC7D,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAA;IACnC,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,cAAc,CAAA;CACzD;AAED,MAAM,MAAM,YAAY,CAAC,MAAM,IAAI,CACjC,IAAI,SAAS,kBAAkB,EAC/B,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EACR,CAAC,EACD,CAAC,SAAS,MAAM,EAChB,QAAQ,EAER,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KACnD,MAAM,CAAA;AAEX,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAC5C,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;CACrB"}

package/dist/proofCase.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=proofCase.js.map

package/dist/proofCase.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proofCase.js","sourceRoot":"","sources":["../src/proofCase.ts"],"names":[],"mappings":""}

package/dist/runner.d.ts

@@ -0,0 +1,15 @@
+import { Context, Effect, Layer } from 'effect';
+import type { DriveResult, Proof, ProofResult } from './index.js';
+export interface ProofRunnerApi {
+    readonly executeProofEffect: (proof: Proof) => Effect.Effect<ProofResult, never, never>;
+    readonly driveProofEffect: (proof: Proof) => Effect.Effect<DriveResult, never, never>;
+    readonly executeProof: (proof: Proof) => Promise<ProofResult>;
+    readonly driveProof: (proof: Proof) => Promise<DriveResult>;
+}
+declare const ProofRunnerBase: Context.TagClass<ProofRunner, 'reform-proof/ProofRunner', ProofRunnerApi>;
+export declare class ProofRunner extends ProofRunnerBase {
+}
+export declare const proofRunnerLayer: Layer.Layer<ProofRunner>;
+export declare const withProofRunner: <A>(use: (runner: ProofRunnerApi) => Promise<A>) => Promise<A>;
+export {};
+//# sourceMappingURL=runner.d.ts.map

package/dist/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE/C,OAAO,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AAE9D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,kBAAkB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACvF,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IACrF,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,WAAW,CAAC,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,WAAW,CAAC,CAAA;CAC5D;AAED,QAAA,MAAM,eAAe,EAAE,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,0BAA0B,EAAE,cAAc,CACvB,CAAA;AAExE,qBAAa,WAAY,SAAQ,eAAe;CAAG;AAEnD,eAAO,MAAM,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAKpD,CAAA;AAEF,eAAO,MAAM,eAAe,GAAI,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAMvF,CAAA"}

package/dist/runner.js

@@ -0,0 +1,13 @@
+import { Context, Effect, Layer } from 'effect';
+import { driveProof, driveProofEffect, executeProof, executeProofEffect } from './engine.js';
+const ProofRunnerBase = Context.Tag('reform-proof/ProofRunner')();
+export class ProofRunner extends ProofRunnerBase {
+}
+export const proofRunnerLayer = Layer.succeed(ProofRunner, {
+    executeProofEffect,
+    driveProofEffect,
+    executeProof,
+    driveProof,
+});
+export const withProofRunner = (use) => Effect.runPromise(ProofRunner.pipe(Effect.flatMap((runner) => Effect.promise(() => use(runner))), Effect.provide(proofRunnerLayer)));
+//# sourceMappingURL=runner.js.map

package/dist/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../src/runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAA;AAUzF,MAAM,eAAe,GACnB,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,EAA+B,CAAA;AAExE,MAAM,OAAO,WAAY,SAAQ,eAAe;CAAG;AAEnD,MAAM,CAAC,MAAM,gBAAgB,GAA6B,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE;IACnF,kBAAkB;IAClB,gBAAgB;IAChB,YAAY;IACZ,UAAU;CACX,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAI,GAA2C,EAAc,EAAE,CAC5F,MAAM,CAAC,UAAU,CACf,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAC7D,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CACjC,CACF,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@playfast/reform-proof",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "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",
@@ -19,15 +19,26 @@
     "directory": "packages/proof"
   },
   "files": [
+    "dist",
     "src",
     "README.md"
   ],
   "type": "module",
   "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
   "exports": {
     "./package.json": "./package.json",
-    ".": "./src/index.ts",
-    "./*": "./src/*.ts"
+    ".": {
+      "playfast-src": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./*": {
+      "playfast-src": "./src/*.ts",
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    }
   },
   "publishConfig": {
     "access": "public"
@@ -35,12 +46,13 @@
   "scripts": {
     "clean": "rm -rf dist .tsbuildinfo",
     "check": "tsc --noEmit",
-    "build": "tsc -p tsconfig.build.json",
+    "build": "rm -rf dist .tsbuildinfo && tsc -p tsconfig.build.json && bun ../../scripts/fix-esm-extensions.ts dist",
     "test": "vitest run",
     "test:watch": "vitest",
     "coverage": "vitest run --coverage",
     "lint": "oxlint src",
-    "lint:fix": "oxlint --fix src"
+    "lint:fix": "oxlint --fix src",
+    "prepack": "bun run build"
   },
   "peerDependencies": {
     "@playfast/reform": "*",

package/src/assert.ts

@@ -0,0 +1,65 @@
+import { Array as Arr, Effect, Option, Record as Rec } from 'effect'
+import { AssertionFailed } from './errors'
+import { formatFingerprint } from './fingerprint'
+
+interface ComparePair {
+  readonly left: unknown
+  readonly right: unknown
+}
+
+const show = (subject: unknown): string => formatFingerprint(subject)
+
+const deepEqual = ({ left, right }: ComparePair): boolean =>
+  Object.is(left, right) || show(left) === show(right)
+
+const fail = (message: string): Effect.Effect<never> =>
+  Effect.dieMessage(new AssertionFailed({ detail: message }).message)
+
+export const expect = <A>(actual: A) => ({
+  toBe: (expected: A): Effect.Effect<void> =>
+    Object.is(actual, expected)
+      ? Effect.void
+      : fail(`expected ${show(actual)} to be ${show(expected)}`),
+  toEqual: (expected: A): Effect.Effect<void> =>
+    deepEqual({ left: actual, right: expected })
+      ? Effect.void
+      : fail(`expected ${show(actual)} to equal ${show(expected)}`),
+  toContain: (expected: A extends ReadonlyArray<infer E> ? E : unknown): Effect.Effect<void> =>
+    Array.isArray(actual) && actual.some((element) => deepEqual({ left: element, right: expected }))
+      ? Effect.void
+      : fail(`expected ${show(actual)} to contain ${show(expected)}`),
+  toMatchObject: (expected: Partial<A>): Effect.Effect<void> => {
+    const mismatch = matchPartial({ actual, expected })
+    return mismatch === undefined ? Effect.void : fail(mismatch)
+  },
+})
+
+export const isRecord = (candidate: unknown): candidate is Record<string, unknown> =>
+  typeof candidate === 'object' && candidate !== null
+
+interface MatchInput {
+  readonly actual: unknown
+  readonly expected: unknown
+}
+
+const matchPartial = ({ actual, expected }: MatchInput): string | undefined => {
+  if (!isRecord(expected)) {
+    return deepEqual({ left: actual, right: expected })
+      ? undefined
+      : `expected ${show(actual)} to match ${show(expected)}`
+  }
+  if (!isRecord(actual)) {
+    return `expected ${show(actual)} to be an object matching ${show(expected)}`
+  }
+  const mismatch = Arr.findFirst(
+    Rec.keys(expected),
+    (key) => !deepEqual({ left: actual[key], right: expected[key] }),
+  )
+  return Option.match(mismatch, {
+    onNone: () => undefined,
+    onSome: (key) =>
+      `expected key ${show(key)} to match ${show(expected[key])}, got ${show(actual[key])}`,
+  })
+}
+
+export const matchProps: (input: MatchInput) => string | undefined = matchPartial