@playfast/reform-proof 0.0.7 → 0.0.9

package/src/typed-seams.test.ts

@@ -0,0 +1,166 @@
+import { Layer, Schema as S } from 'effect'
+import {
+  Composition,
+  Engine,
+  Event,
+  mount,
+  one,
+  provide,
+  Reducer,
+  scene,
+  seedScene,
+  slot,
+  State,
+  StateGroup,
+  type Trigger,
+  ui,
+} from '@playfast/reform'
+import { describe, expect, test } from 'vitest'
+import { Product, Proof, ProductRequirement, expect as proofExpect } from './index'
+
+// Exercises the four type-safety seams closed in this change, each against a
+// self-contained mini Counter (the same fixture shape as the stepper test):
+//   #1 typed seeds       — seedScene is keyed/valued by the state tuple
+//   #2 action results    — an action resolves to the settled next props
+//   #4 typed assertions  — app.expectProps is a contract-typed subset match
+//   #5 event coverage     — a requirement's declared events must be dispatched
+// Negative cases are compile-time (`@ts-expect-error`) — the whole point is that
+// the bad input never reaches runtime.
+
+class CountState extends State.make('count', S.Number) {}
+class MiniStates extends StateGroup.make(CountState) {}
+class Bumped extends Event.make('Bumped', S.Struct({})) {}
+class BumpReducer extends Reducer.make('BumpReducer', { states: [CountState], events: [Bumped] }) {}
+const BumpReducerLive = Reducer.live(BumpReducer, (n) => n + 1)
+
+// A trivial slot child: a proof runtime resolves slot-bound compositions, so the
+// app needs at least one slot for the suite's provide layer to type-close.
+class LabelUi extends ui('Label')<{ props: { text: string } }>() {}
+class Label extends Composition.make('Label', { title: 'Label', ui: LabelUi }) {}
+const LabelLive = Composition.live(Label, function* () {
+  return mount({ props: { text: 'count' }, slots: {} })
+})
+class LabelSlot extends slot('Label')<typeof Label>() {}
+
+class CounterUi extends ui('Counter')<{
+  props: { count: number }
+  slots: { Label: LabelSlot }
+  events: { bump: Trigger<Record<string, never>> }
+}>() {}
+class Counter extends Composition.make('Counter', {
+  title: 'Counter',
+  states: [MiniStates],
+  events: [Bumped],
+  slots: { Label: LabelSlot },
+  ui: CounterUi,
+}) {}
+const CounterLive = Composition.live(Counter, function* () {
+  const count = yield* StateGroup.select(MiniStates, 'count')
+  const bump = yield* Event.trigger(Bumped)
+  return mount({
+    props: { count },
+    slots: { Label: one({}) },
+    events: { bump },
+  })
+})
+
+const presentations = provide(LabelSlot, Label)
+const Views = Layer.mergeAll(CounterLive, LabelLive).pipe(Layer.provideMerge(presentations))
+const Logic = Layer.mergeAll(BumpReducerLive).pipe(
+  Layer.provideMerge(Layer.mergeAll(Engine, StateGroup.live(MiniStates, { count: 5 }))),
+)
+const MiniApp = Views.pipe(Layer.provideMerge(Logic))
+
+const CounterScene = scene(Counter, { provide: [MiniApp] })
+
+class Bumps extends ProductRequirement.make(Counter, 'bumps the count') {}
+class CounterProduct extends Product.make(Counter, { requirements: [Bumps] }) {}
+
+describe('#1 typed seeds', () => {
+  test('seedScene overrides the authored seed, typed by the state tuple', async () => {
+    const seeded = seedScene(CounterScene, { count: 9 })
+    const boots = Proof.implement(Bumps, seeded, function* (app) {
+      const props = yield* app.props
+      yield* proofExpect(props.count).toBe(9)
+    })
+    const result = await Proof.run(Proof.suite(CounterProduct, { proofs: [boots] }))
+    expect(result.ok).toBe(true)
+  })
+
+  test('an unknown key or mistyped value is a compile error', () => {
+    // @ts-expect-error 'other' is not a state member of Counter
+    seedScene(CounterScene, { other: 1 })
+    // @ts-expect-error 'count' is a number, not a string
+    seedScene(CounterScene, { count: 'nope' })
+    expect(true).toBe(true)
+  })
+})
+
+describe('#2 actions return post-settle props', () => {
+  test('dispatching an event resolves to the settled next props', async () => {
+    const bumps = Proof.implement(Bumps, CounterScene, function* (app) {
+      const props = yield* app.actions.bump({})
+      yield* proofExpect(props.count).toBe(6)
+    })
+    const result = await Proof.run(Proof.suite(CounterProduct, { proofs: [bumps] }))
+    expect(result.ok).toBe(true)
+  })
+})
+
+describe('#4 contract-typed prop assertions', () => {
+  test('expectProps matches a typed subset of the computed props', async () => {
+    const matches = Proof.implement(Bumps, CounterScene, function* (app) {
+      yield* app.expectProps({ count: 5 })
+      yield* app.actions.bump({})
+      yield* app.expectProps({ count: 6 })
+    })
+    const result = await Proof.run(Proof.suite(CounterProduct, { proofs: [matches] }))
+    expect(result.ok).toBe(true)
+  })
+
+  test('a non-matching expectProps fails the proof', async () => {
+    const wrong = Proof.implement(Bumps, CounterScene, function* (app) {
+      yield* app.expectProps({ count: 999 })
+    })
+    const result = await Proof.run(Proof.suite(CounterProduct, { proofs: [wrong] }))
+    expect(result.ok).toBe(false)
+  })
+
+  test('a typo’d prop key is a compile error', () => {
+    Proof.implement(Bumps, CounterScene, function* (app) {
+      // @ts-expect-error 'cuont' is not a prop of Counter
+      yield* app.expectProps({ cuont: 5 })
+    })
+    expect(true).toBe(true)
+  })
+})
+
+describe('#5 requirement-bound event coverage', () => {
+  class CoveredBump extends ProductRequirement.make(Counter, 'bumps via the bump event', {
+    events: ['bump'],
+  }) {}
+  class CoveredProduct extends Product.make(Counter, { requirements: [CoveredBump] }) {}
+
+  test('passes when the declared event is dispatched', async () => {
+    const proof = Proof.implement(CoveredBump, CounterScene, function* (app) {
+      yield* app.actions.bump({})
+    })
+    const result = await Proof.run(Proof.suite(CoveredProduct, { proofs: [proof] }))
+    expect(result.ok).toBe(true)
+  })
+
+  test('fails, naming the event, when a declared event is never dispatched', async () => {
+    const proof = Proof.implement(CoveredBump, CounterScene, function* (app) {
+      yield* app.props
+    })
+    const result = await Proof.run(Proof.suite(CoveredProduct, { proofs: [proof] }))
+    expect(result.ok).toBe(false)
+    expect(result.results[0]?.error).toContain('bump')
+  })
+
+  test('an event name outside the contract is a compile error', () => {
+    // @ts-expect-error 'nope' is not an event of Counter
+    ProductRequirement.make(Counter, 'invalid coverage', { events: ['nope'] })
+    expect(true).toBe(true)
+  })
+})

package/dist/engine.d.ts

@@ -1,18 +0,0 @@
-import type { DriveResult, Proof, ProofResult } from './index';
-/**
- * Run one proof against a fresh runtime, returning its pass/fail result. Each
- * proof gets its own isolated environment, so nothing leaks between proofs. Boots
- * the scene as the host would, settles, then runs the proof body to completion.
- */
-export declare const executeProof: (proof: Proof) => Promise<ProofResult>;
-/**
- * Drive one proof a step at a time, recording a `StepFrame` after each yielded
- * effect settles. Reuses the same makeFacade runtime/facade/settle as
- * `executeProof`, but instead of handing the body to `Effect.gen` (which runs it
- * to completion), it pumps the generator by hand — `gen.next(value)` yields the
- * next effect, we run it on the live runtime, snapshot the sink, and feed the
- * result back. So the editor gets the per-step timeline with no change to the
- * proof authoring API.
- */
-export declare const driveProof: (proof: Proof) => Promise<DriveResult>;
-//# sourceMappingURL=engine.d.ts.map

package/dist/engine.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAU,WAAW,EAAU,KAAK,EAAE,WAAW,EAAyB,MAAM,SAAS,CAAA;AA0PrG;;;;GAIG;AACH,eAAO,MAAM,YAAY,GAAU,OAAO,KAAK,KAAG,OAAO,CAAC,WAAW,CAqBpE,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,UAAU,GAAU,OAAO,KAAK,KAAG,OAAO,CAAC,WAAW,CAkClE,CAAA"}

package/dist/engine.js

@@ -1,259 +0,0 @@
-import { Effect, Layer, ManagedRuntime } from 'effect';
-import { yieldWrapGet } from 'effect/Utils';
-import { isValidElement } from 'react';
-import { UnknownAction, UnknownSlot } from './errors';
-import { Bus, CaptureSink, Composition, isFeatureBinding, publish, } from '@playfast/reform';
-// The drain loop, channels, RPC, and reducers run on forked fibers, so a
-// dispatched event takes an unknown number of ticks to flow through. Each poll
-// first drains COOPERATIVELY — a burst of `yieldNow` lets those forked fibers
-// cascade (event → channel → procedure → in-memory RPC → fact → reducer) with no
-// real time — so a synchronous flow reaches its final state within one poll. A
-// real-time `sleep` is still paid each poll to remain the correctness authority
-// for a genuinely time-delayed client (the cooperative drain alone could read a
-// flow waiting on a real timer as falsely "stable" and settle early). The render
-// then re-runs until the captured tree stops changing, bounded so a stuck flow
-// fails fast instead of hanging.
-const SETTLE_DRAIN = 30;
-const SETTLE_STEP = '1 milli';
-const SETTLE_MAX_RENDERS = 100;
-/** Cooperatively run forked engine fibers to a fixpoint without advancing real time. */
-const settleDrain = Effect.yieldNow().pipe(Effect.repeatN(SETTLE_DRAIN));
-// A keyed view backed by a getter — the only place dynamic keys are needed.
-const keyed = (get) => {
-    const target = Object.create(null);
-    return new Proxy(target, { get: (_t, key) => get(String(key)) });
-};
-const uiNameOf = (comp) => comp.manifest.ui.manifest.name;
-const makeSink = () => {
-    // A const holder whose array we swap on reset (no reassigned binding).
-    const state = { captures: [] };
-    return {
-        api: { record: (capture) => state.captures.push(capture) },
-        get captures() {
-            return state.captures;
-        },
-        reset: () => {
-            state.captures = [];
-        },
-    };
-};
-/**
- * Build a proof's runtime layer: the scene's closed wiring with the capture sink
- * merged in, so `Ui`'s `serviceOption(CaptureSink)` finds it and records each
- * render (absent in production, the same layer renders to React). The scene's
- * `provide` is typed to the host-read subset (`MountedServices`); a proof also
- * resolves slot-binding tags (`CompositionClass`), which the same closed layer
- * supplies at runtime — restate that broader `RuntimeServices` surface here. This
- * is the one erasure boundary, the same seam the react host crosses when it reads
- * a slot tag with the requirement erased.
- */
-const proofLayer = (scene, sink) => {
-    const sceneLayer = scene.provide.reduce((a, b) => Layer.merge(a, b));
-    return Layer.provideMerge(sceneLayer, Layer.succeed(CaptureSink, sink.api));
-};
-/**
- * Walk a rendered node tree and invoke any slot components it contains (JSX
- * defers them to the host; headless we drive them ourselves), enqueuing the
- * child each stands for. Slot components are matched by identity, so this never
- * calls — and never needs hooks from — ordinary components.
- */
-const drive = (node, enqueueBy) => {
-    if (Array.isArray(node)) {
-        for (const child of node)
-            drive(child, enqueueBy);
-        return;
-    }
-    if (!isValidElement(node))
-        return;
-    if (node.type instanceof Function) {
-        const enqueue = enqueueBy.get(node.type);
-        if (enqueue !== undefined) {
-            enqueue(node.props);
-            return;
-        }
-    }
-    drive(node.props.children, enqueueBy);
-};
-const makeFacade = (runtime, root, sink) => {
-    // Slot bindings (`provide(slot, composition)`) are static, so resolve the
-    // whole child tree once, up front — keeping `renderTree` and slot navigation
-    // synchronous (no nested runtime drive).
-    const bindings = new Map();
-    // A slot's child is a plain composition or a `FeatureBinding`. A proof drives the
-    // composition the feature mounts; for a `default` feature that composition's logic
-    // is already live (its eager `.live` was merged into the scene by `provide`), so
-    // unwrapping is all that's needed. (Driving a `lazy` feature — load gap +
-    // placeholders — is the proof host's Part B increment; until then a scene wires
-    // features as `default`, the eagerly-resolvable form.)
-    const childComposition = (child) => isFeatureBinding(child) ? child.composition : child;
-    const collect = (comp) => Effect.gen(function* () {
-        for (const slotClass of Object.values(comp.manifest.slots ?? {})) {
-            if (bindings.has(slotClass))
-                continue;
-            const child = childComposition(yield* slotClass.tag);
-            bindings.set(slotClass, child);
-            yield* collect(child);
-        }
-    });
-    runtime.runSync(collect(root));
-    // One breadth-first render of the whole tree. Each view reports its
-    // `(props, events)` to the sink; each slot it renders enqueues a child (built
-    // on the next level), so a single sweep renders everything.
-    const renderLevel = (frontier) => Effect.gen(function* () {
-        if (frontier.length === 0)
-            return;
-        const next = [];
-        for (const { comp, props } of frontier) {
-            const service = yield* comp.tag;
-            // A slot renders to a deferred component (JSX `<slots.Item/>`); map each
-            // back to the child it stands for so the tree walk can enqueue it.
-            const enqueueBy = new Map();
-            const slots = {
-                slot: (name) => {
-                    const slotClass = comp.manifest.slots?.[name];
-                    const child = slotClass && bindings.get(slotClass);
-                    const component = () => null;
-                    if (child)
-                        enqueueBy.set(component, (childProps) => next.push({ comp: child, props: childProps }));
-                    return component;
-                },
-            };
-            const env = { props, tracker: { add: () => { } }, slots };
-            const node = yield* Composition.render(service, env);
-            drive(node, enqueueBy);
-        }
-        yield* renderLevel(next);
-    });
-    const renderTree = Effect.gen(function* () {
-        sink.reset();
-        yield* renderLevel([{ comp: root, props: {} }]);
-    });
-    const capturesFor = (name) => sink.captures.filter((capture) => capture.name === name);
-    // A cheap fingerprint of the rendered tree; when two successive renders match,
-    // the engine has stopped producing new state and the read is safe.
-    const fingerprint = () => JSON.stringify(sink.captures.map((capture) => [capture.name, capture.props]));
-    // Re-render until the tree is stable for two consecutive renders, or give up.
-    const settleFrom = (previous, remaining) => Effect.gen(function* () {
-        if (remaining === 0)
-            return;
-        yield* settleDrain;
-        yield* Effect.sleep(SETTLE_STEP);
-        yield* renderTree;
-        const current = fingerprint();
-        if (current === previous)
-            return;
-        yield* settleFrom(current, remaining - 1);
-    });
-    const settle = Effect.gen(function* () {
-        yield* settleDrain;
-        yield* renderTree;
-        yield* settleFrom(fingerprint(), SETTLE_MAX_RENDERS);
-    });
-    const triggerOf = (name, index, event) => {
-        const trigger = capturesFor(name)[index]?.events[event];
-        if (trigger === undefined) {
-            throw new UnknownAction({ composition: name, action: event, rendered: capturesFor(name).length });
-        }
-        return trigger;
-    };
-    const nodeFacade = (name, index, comp) => ({
-        props: Effect.map(renderTree, () => capturesFor(name)[index]?.props),
-        // `keyed` resolves event/slot names at runtime; cast the string-keyed proxy
-        // to the contract-typed surface. This is the one reflection boundary, the
-        // same seam as `definitionClass` — every name the proxy serves is a real
-        // contract member, so the cast is sound.
-        actions: keyed((event) => (payload) => renderTree.pipe(Effect.flatMap(() => Effect.sync(() => triggerOf(name, index, event)(payload))), Effect.flatMap(() => settle))),
-        slots: keyed((slotName) => slotFacade(comp, slotName)),
-        frame: settle,
-    });
-    const slotFacade = (parent, slotName) => {
-        const slotClass = parent.manifest.slots?.[slotName];
-        const child = slotClass && bindings.get(slotClass);
-        if (child === undefined) {
-            throw new UnknownSlot({ parent: uiNameOf(parent), slot: slotName });
-        }
-        const childName = uiNameOf(child);
-        const at = (index) => Effect.as(renderTree, nodeFacade(childName, index, child));
-        const first = nodeFacade(childName, 0, child);
-        return {
-            first: at(0),
-            at,
-            all: Effect.map(renderTree, () => capturesFor(childName).map((_capture, index) => nodeFacade(childName, index, child))),
-            // Used directly, a slot behaves as its first instance.
-            props: first.props,
-            actions: first.actions,
-            slots: first.slots,
-            frame: first.frame,
-        };
-    };
-    return { facade: nodeFacade(uiNameOf(root), 0, root), settle };
-};
-/**
- * Run one proof against a fresh runtime, returning its pass/fail result. Each
- * proof gets its own isolated environment, so nothing leaks between proofs. Boots
- * the scene as the host would, settles, then runs the proof body to completion.
- */
-export const executeProof = async (proof) => {
-    const sink = makeSink();
-    const runtime = ManagedRuntime.make(proofLayer(proof.scene, sink));
-    try {
-        const { facade, settle } = makeFacade(runtime, proof.scene.composition, sink);
-        await runtime.runPromise(Effect.forEach(proof.scene.boot ?? [], (event) => publish('High', event)).pipe(Effect.flatMap(() => settle)));
-        await runtime.runPromise(Effect.gen(() => proof.body(facade)));
-        return { requirement: proof.requirement.manifest.statement, ok: true };
-    }
-    catch (error) {
-        return {
-            requirement: proof.requirement.manifest.statement,
-            ok: false,
-            error: error instanceof Error ? error.message : String(error),
-        };
-    }
-    finally {
-        await runtime.dispose();
-    }
-};
-/**
- * Drive one proof a step at a time, recording a `StepFrame` after each yielded
- * effect settles. Reuses the same makeFacade runtime/facade/settle as
- * `executeProof`, but instead of handing the body to `Effect.gen` (which runs it
- * to completion), it pumps the generator by hand — `gen.next(value)` yields the
- * next effect, we run it on the live runtime, snapshot the sink, and feed the
- * result back. So the editor gets the per-step timeline with no change to the
- * proof authoring API.
- */
-export const driveProof = async (proof) => {
-    const sink = makeSink();
-    const runtime = ManagedRuntime.make(proofLayer(proof.scene, sink));
-    const frames = [];
-    const statement = proof.requirement.manifest.statement;
-    try {
-        const { facade, settle } = makeFacade(runtime, proof.scene.composition, sink);
-        await runtime.runPromise(Effect.forEach(proof.scene.boot ?? [], (event) => publish('High', event)).pipe(Effect.flatMap(() => settle)));
-        frames.push({ index: 0, captures: [...sink.captures] });
-        const generator = proof.body(facade);
-        // Pump the generator: run each yielded effect on the runtime, snapshot, recur.
-        const pump = async (input, index) => {
-            const step = generator.next(input);
-            if (step.done === true)
-                return;
-            const value = await runtime.runPromise(yieldWrapGet(step.value));
-            frames.push({ index, captures: [...sink.captures] });
-            await pump(value, index + 1);
-        };
-        await pump(undefined, 1);
-        return { requirement: statement, frames, ok: true };
-    }
-    catch (error) {
-        return {
-            requirement: statement,
-            frames,
-            ok: false,
-            error: error instanceof Error ? error.message : String(error),
-        };
-    }
-    finally {
-        await runtime.dispose();
-    }
-};
-//# sourceMappingURL=engine.js.map

package/dist/engine.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAA;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,OAAO,CAAA;AACtC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AACrD,OAAO,EACL,GAAG,EACH,WAAW,EAEX,WAAW,EAGX,gBAAgB,EAEhB,OAAO,GASR,MAAM,kBAAkB,CAAA;AAezB,yEAAyE;AACzE,+EAA+E;AAC/E,8EAA8E;AAC9E,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,gFAAgF;AAChF,iFAAiF;AACjF,+EAA+E;AAC/E,iCAAiC;AACjC,MAAM,YAAY,GAAG,EAAE,CAAA;AACvB,MAAM,WAAW,GAAG,SAAS,CAAA;AAC7B,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAE9B,wFAAwF;AACxF,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;AAExE,4EAA4E;AAC5E,MAAM,KAAK,GAAG,CAAI,GAAuB,EAAqB,EAAE;IAC9D,MAAM,MAAM,GAAsB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACrD,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;AAClE,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,IAA+B,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAA;AAQ5F,MAAM,QAAQ,GAAG,GAAS,EAAE;IAC1B,uEAAuE;IACvE,MAAM,KAAK,GAA8B,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IACzD,OAAO;QACL,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;QAC1D,IAAI,QAAQ;YACV,OAAO,KAAK,CAAC,QAAQ,CAAA;QACvB,CAAC;QACD,KAAK,EAAE,GAAG,EAAE;YACV,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAA;QACrB,CAAC;KACF,CAAA;AACH,CAAC,CAAA;AAID;;;;;;;;;GASG;AACH,MAAM,UAAU,GAAG,CAAC,KAAY,EAAE,IAAU,EAA8C,EAAE;IAC1F,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/C,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CACuC,CAAA;IAC1D,OAAO,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AAC7E,CAAC,CAAA;AAQD;;;;;GAKG;AACH,MAAM,KAAK,GAAG,CAAC,IAAU,EAAE,SAAkD,EAAQ,EAAE;IACrF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,IAAI;YAAE,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;QACjD,OAAM;IACR,CAAC;IACD,IAAI,CAAC,cAAc,CAA+B,IAAI,CAAC;QAAE,OAAM;IAC/D,IAAI,IAAI,CAAC,IAAI,YAAY,QAAQ,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACnB,OAAM;QACR,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;AACvC,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,OAA8D,EAC9D,IAA+B,EAC/B,IAAU,EACuF,EAAE;IACnG,0EAA0E;IAC1E,6EAA6E;IAC7E,yCAAyC;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwC,CAAA;IAChE,kFAAkF;IAClF,mFAAmF;IACnF,iFAAiF;IACjF,0EAA0E;IAC1E,gFAAgF;IAChF,uDAAuD;IACvD,MAAM,gBAAgB,GAAG,CAAC,KAAgB,EAA6B,EAAE,CACvE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAA;IACrD,MAAM,OAAO,GAAG,CAAC,IAA+B,EAAyC,EAAE,CACzF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;YACjE,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAQ;YACrC,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;YACpD,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YAC9B,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACvB,CAAC;IACH,CAAC,CAAC,CAAA;IACJ,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;IAE9B,oEAAoE;IACpE,8EAA8E;IAC9E,4DAA4D;IAC5D,MAAM,WAAW,GAAG,CAClB,QAAgC,EACgB,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QACjC,MAAM,IAAI,GAAmB,EAAE,CAAA;QAC/B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,QAAQ,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAA;YAC/B,yEAAyE;YACzE,mEAAmE;YACnE,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2C,CAAA;YACpE,MAAM,KAAK,GAAa;gBACtB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAA;oBAC7C,MAAM,KAAK,GAAG,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;oBAClD,MAAM,SAAS,GAAkC,GAAG,EAAE,CAAC,IAAI,CAAA;oBAC3D,IAAI,KAAK;wBAAE,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;oBAClG,OAAO,SAAS,CAAA;gBAClB,CAAC;aACF,CAAA;YACD,MAAM,GAAG,GAAc,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAA;YACnE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;YACpD,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;QACxB,CAAC;QACD,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEJ,MAAM,UAAU,GAAmD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACrF,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IACjD,CAAC,CAAC,CAAA;IAEF,MAAM,WAAW,GAAG,CAAC,IAAY,EAA4B,EAAE,CAC7D,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IAE1D,+EAA+E;IAC/E,mEAAmE;IACnE,MAAM,WAAW,GAAG,GAAW,EAAE,CAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAE/E,8EAA8E;IAC9E,MAAM,UAAU,GAAG,CACjB,QAAgB,EAChB,SAAiB,EAC+B,EAAE,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,IAAI,SAAS,KAAK,CAAC;YAAE,OAAM;QAC3B,KAAK,CAAC,CAAC,WAAW,CAAA;QAClB,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;QAChC,KAAK,CAAC,CAAC,UAAU,CAAA;QACjB,MAAM,OAAO,GAAG,WAAW,EAAE,CAAA;QAC7B,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAM;QAChC,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,SAAS,GAAG,CAAC,CAAC,CAAA;IAC3C,CAAC,CAAC,CAAA;IACJ,MAAM,MAAM,GAAmD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACjF,KAAK,CAAC,CAAC,WAAW,CAAA;QAClB,KAAK,CAAC,CAAC,UAAU,CAAA;QACjB,KAAK,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,kBAAkB,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;IAEF,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,KAAa,EAAoB,EAAE;QACjF,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;QACvD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,IAAI,aAAa,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACnG,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,IAA+B,EAAa,EAAE,CAAC,CAAC;QAC/F,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;QACpE,4EAA4E;QAC5E,0EAA0E;QAC1E,yEAAyE;QACzE,yCAAyC;QACzC,OAAO,EAAE,KAAK,CACZ,CAAC,KAAK,EAAU,EAAE,CAChB,CAAC,OAAO,EAAE,EAAE,CACV,UAAU,CAAC,IAAI,CACb,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAC/E,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAC7B,CACkB;QACzB,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAuB;QAC5E,KAAK,EAAE,MAAM;KACd,CAAC,CAAA;IAEF,MAAM,UAAU,GAAG,CAAC,MAAiC,EAAE,QAAgB,EAAiB,EAAE;QACxF,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,CAAA;QACnD,MAAM,KAAK,GAAG,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAClD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,WAAW,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QACrE,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjC,MAAM,EAAE,GAAG,CAAC,KAAa,EAAuD,EAAE,CAChF,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;QAC5D,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;QAC7C,OAAO;YACL,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;YACZ,EAAE;YACF,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,CAC/B,WAAW,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CACrF;YACD,uDAAuD;YACvD,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAA;IACH,CAAC,CAAA;IAED,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,CAAA;AAChE,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAAE,KAAY,EAAwB,EAAE;IACvE,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAA;IACvB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;IAClE,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;QAC7E,MAAM,OAAO,CAAC,UAAU,CACtB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5E,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAC7B,CACF,CAAA;QACD,MAAM,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC9D,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;IACxE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS;YACjD,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC9D,CAAA;IACH,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;IACzB,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,EAAE,KAAY,EAAwB,EAAE;IACrE,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAA;IACvB,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAA;IAClE,MAAM,MAAM,GAAqB,EAAE,CAAA;IACnC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAA;IACtD,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAA;QAC7E,MAAM,OAAO,CAAC,UAAU,CACtB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5E,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAC7B,CACF,CAAA;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACvD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpC,+EAA+E;QAC/E,MAAM,IAAI,GAAG,KAAK,EAAE,KAAc,EAAE,KAAa,EAAiB,EAAE;YAClE,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAM;YAC9B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;YAChE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YACpD,MAAM,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;QAC9B,CAAC,CAAA;QACD,MAAM,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;QACxB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;IACrD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,WAAW,EAAE,SAAS;YACtB,MAAM;YACN,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC9D,CAAA;IACH,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;IACzB,CAAC;AACH,CAAC,CAAA"}

package/dist/errors.d.ts

@@ -1,40 +0,0 @@
-import { type Cause } from 'effect';
-/**
- * Tagged errors for the proof harness. A failed assertion or a malformed proof
- * navigation throws one of these — tagged and structured, never a bare `Error` —
- * so a runner can distinguish an assertion failure from a harness misuse.
- */
-/**
- * The constructor shape `Data.TaggedError(tag)<A>` produces, named so the
- * generated `.d.ts` can describe the `extends` base under `isolatedDeclarations`
- * (which forbids an inferred expression in an extends clause).
- */
-type TaggedErrorClass<Tag extends string, A extends Record<string, unknown>> = new (args: A) => Cause.YieldableError & {
-    readonly _tag: Tag;
-} & Readonly<A>;
-declare const AssertionFailedBase: TaggedErrorClass<'reform-proof/AssertionFailed', {
-    readonly detail: string;
-}>;
-/** An `expect(...)` matcher did not hold. */
-export declare class AssertionFailed extends AssertionFailedBase {
-    get message(): string;
-}
-declare const UnknownActionBase: TaggedErrorClass<'reform-proof/UnknownAction', {
-    readonly composition: string;
-    readonly action: string;
-    readonly rendered: number;
-}>;
-/** A proof referenced an action the rendered composition never exposed. */
-export declare class UnknownAction extends UnknownActionBase {
-    get message(): string;
-}
-declare const UnknownSlotBase: TaggedErrorClass<'reform-proof/UnknownSlot', {
-    readonly parent: string;
-    readonly slot: string;
-}>;
-/** A proof navigated into a slot the parent composition does not declare. */
-export declare class UnknownSlot extends UnknownSlotBase {
-    get message(): string;
-}
-export {};
-//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAQ,MAAM,QAAQ,CAAA;AAEzC;;;;GAIG;AAEH;;;;GAIG;AACH,KAAK,gBAAgB,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,KAC7E,IAAI,EAAE,CAAC,KACJ,KAAK,CAAC,cAAc,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAA;CAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;AAEhE,QAAA,MAAM,mBAAmB,EAAE,gBAAgB,CACzC,8BAA8B,EAC9B;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CACoD,CAAA;AAEjF,6CAA6C;AAC7C,qBAAa,eAAgB,SAAQ,mBAAmB;IACtD,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,QAAA,MAAM,iBAAiB,EAAE,gBAAgB,CACvC,4BAA4B,EAC5B;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKpF,CAAA;AAEF,2EAA2E;AAC3E,qBAAa,aAAc,SAAQ,iBAAiB;IAClD,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,QAAA,MAAM,eAAe,EAAE,gBAAgB,CACrC,0BAA0B,EAC1B;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CACgD,CAAA;AAEpG,6EAA6E;AAC7E,qBAAa,WAAY,SAAQ,eAAe;IAC9C,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF"}

package/dist/errors.js

@@ -1,23 +0,0 @@
-import { Data } from 'effect';
-const AssertionFailedBase = (Data.TaggedError('reform-proof/AssertionFailed'));
-/** An `expect(...)` matcher did not hold. */
-export class AssertionFailed extends AssertionFailedBase {
-    get message() {
-        return `reform-proof: assertion failed — ${this.detail}`;
-    }
-}
-const UnknownActionBase = (Data.TaggedError('reform-proof/UnknownAction'));
-/** A proof referenced an action the rendered composition never exposed. */
-export class UnknownAction extends UnknownActionBase {
-    get message() {
-        return `reform-proof: '${this.composition}' has no action '${this.action}' (rendered ${this.rendered} instance(s))`;
-    }
-}
-const UnknownSlotBase = (Data.TaggedError('reform-proof/UnknownSlot'));
-/** A proof navigated into a slot the parent composition does not declare. */
-export class UnknownSlot extends UnknownSlotBase {
-    get message() {
-        return `reform-proof: '${this.parent}' has no slot '${this.slot}'`;
-    }
-}
-//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,IAAI,EAAE,MAAM,QAAQ,CAAA;AAiBzC,MAAM,mBAAmB,GAGrB,CAAA,IAAI,CAAC,WAAW,CAAC,8BAA8B,CAA8B,CAAA,CAAA;AAEjF,6CAA6C;AAC7C,MAAM,OAAO,eAAgB,SAAQ,mBAAmB;IACtD,IAAa,OAAO;QAClB,OAAO,oCAAoC,IAAI,CAAC,MAAM,EAAE,CAAA;IAC1D,CAAC;CACF;AAED,MAAM,iBAAiB,GAGnB,CAAA,IAAI,CAAC,WAAW,CAAC,4BAA4B,CAI/C,CAAA,CAAA;AAEF,2EAA2E;AAC3E,MAAM,OAAO,aAAc,SAAQ,iBAAiB;IAClD,IAAa,OAAO;QAClB,OAAO,kBAAkB,IAAI,CAAC,WAAW,oBAAoB,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,QAAQ,eAAe,CAAA;IACrH,CAAC;CACF;AAED,MAAM,eAAe,GAGjB,CAAA,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAAqD,CAAA,CAAA;AAEpG,6EAA6E;AAC7E,MAAM,OAAO,WAAY,SAAQ,eAAe;IAC9C,IAAa,OAAO;QAClB,OAAO,kBAAkB,IAAI,CAAC,MAAM,kBAAkB,IAAI,CAAC,IAAI,GAAG,CAAA;IACpE,CAAC;CACF"}