@demlik/tea 0.6.0 → 0.7.0

package/dist/{core-CUN5HDKL.d.ts → core-Bjc0bS8j.d.ts}

@@ -30,6 +30,27 @@ declare function msgKeysOf(machine: {
     update: object;
     __form?: UpdateForm;
 }): readonly string[];
+type MachineShape = {
+    readonly form: "reducer";
+    /** Every `Msg.type` the flat reducer has a cell for. */
+    readonly msgs: readonly string[];
+} | {
+    readonly form: "transitions";
+    /** The union of every row's `Msg.type` keys (see `msgKeysOf`). */
+    readonly msgs: readonly string[];
+    /** Every `state.type` the table has a row for, in table order. */
+    readonly states: readonly string[];
+    /** `state.type` → the `Msg.type`s that state has a cell for. */
+    readonly accepts: Readonly<Record<string, readonly string[]>>;
+};
+declare function describeMachine(machine: {
+    update: object;
+    __form?: UpdateForm;
+}): MachineShape;
+declare function acceptsOf(machine: {
+    update: object;
+    __form?: UpdateForm;
+}, stateType: string): readonly string[];
 type Reducer<S, M extends {
     type: string;
 }, C extends Cmd> = {
@@ -302,4 +323,4 @@ declare function foldMsgs<S, M extends {
     type: string;
 }, C extends Cmd, U extends Sub, Ctx>(machine: Machine<S, M, C, U, Ctx>, base: S, msgs: readonly M[]): S;
 
-export { Cmd as C, type DepKeyedSub as D, type Interpret as I, type Machine as M, NoCellError as N, type PortEmitter as P, type Reducer as R, type Sub as S, type Transitions as T, type UpdateForm as U, type Port as a, type SubId as b, type InterpretDetached as c, type ContextFree as d, type Dispose as e, type Identity as f, type NoCtx as g, type Subscribe as h, type SyncReturn as i, applyCell as j, applyCellChecked as k, detectUpdateForm as l, foldMsgs as m, foldUpdates as n, formOf as o, msgKeysOf as p, subId as q, structuralHash as s };
+export { Cmd as C, type DepKeyedSub as D, type Interpret as I, type Machine as M, NoCellError as N, type PortEmitter as P, type Reducer as R, type Sub as S, type Transitions as T, type UpdateForm as U, type Port as a, type SubId as b, type InterpretDetached as c, type ContextFree as d, type Dispose as e, type Identity as f, type MachineShape as g, type NoCtx as h, type Subscribe as i, type SyncReturn as j, acceptsOf as k, applyCell as l, applyCellChecked as m, describeMachine as n, detectUpdateForm as o, foldMsgs as p, foldUpdates as q, formOf as r, msgKeysOf as s, structuralHash as t, subId as u };

package/dist/deadline/index.d.ts

@@ -1,5 +1,5 @@
-import { S as Sub, b as SubId } from '../core-CUN5HDKL.js';
-import { S as SubscribeHandler } from '../types-CjAkI83U.js';
+import { S as Sub, b as SubId } from '../core-Bjc0bS8j.js';
+import { S as SubscribeHandler } from '../types-D7u9DkH7.js';
 
 /**
  * @demlik/tea/deadline — a one-shot Sub that fires when an ABSOLUTE wall-clock

package/dist/deadline/index.js

@@ -1,6 +1,6 @@
-export { deadlineExceeded, deadlineSub, setTimeoutArmTimer, subscribeDeadline, subscribeWith } from '../chunk-ASX7PL2K.js';
+export { deadlineExceeded, deadlineSub, setTimeoutArmTimer, subscribeDeadline, subscribeWith } from '../chunk-JGVL3WPL.js';
 import '../chunk-2YFLOCWX.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/do/index.d.ts

@@ -1,13 +1,14 @@
-import { S as Store, R as Runtime, B as BootingRuntime } from '../runtime-types-BD3ZFfdw.js';
-import { P as PendingEffectsRecorder, b as EffectOwed, a as EffectConfirmed } from '../durable-effects-CXMOi-sp.js';
-export { D as DeliveryId, E as EffectLedgerEvent, O as OwedEffect, c as PendingEffectsLedger, d as applyEffectEvent, e as emptyLedger, f as foldLedger, i as isOwed, p as pendingEffectsLedger, s as survivingEffects } from '../durable-effects-CXMOi-sp.js';
+import { S as Store, R as Runtime, B as BootingRuntime } from '../runtime-types-Bxc637bp.js';
+import { P as PendingEffectsRecorder, b as EffectOwed, a as EffectConfirmed } from '../durable-effects-D8SqU_if.js';
+export { D as DeliveryId, E as EffectLedgerEvent, O as OwedEffect, c as PendingEffectsLedger, d as applyEffectEvent, e as emptyLedger, f as foldLedger, i as isOwed, p as pendingEffectsLedger, s as survivingEffects } from '../durable-effects-D8SqU_if.js';
 import { RetryPolicy, Rng } from '../retry-backoff/index.js';
-import { C as Cmd, S as Sub, M as Machine } from '../core-CUN5HDKL.js';
-import { k as AgentEvent, A as AgentTurn, s as AgentState, p as AgentMachineMsg, t as AgentStatus } from '../machine-CoWpvp8x.js';
+import { C as Cmd, S as Sub, M as Machine } from '../core-Bjc0bS8j.js';
+import { k as AgentEvent, A as AgentTurn, s as AgentState, p as AgentMachineMsg, t as AgentStatus } from '../machine-0OmPvsy_.js';
+import 'better-result';
 import '../llm-call/index.js';
 import '../resilient-call/index.js';
 import '../cache/index.js';
-import '../types-CjAkI83U.js';
+import '../types-D7u9DkH7.js';
 import '../circuit-breaker/index.js';
 import '../deadline/index.js';
 import '../protocol-B5YmJr0d.js';

package/dist/do/index.js

@@ -1,27 +1,27 @@
-import { status, agentBootMsg, agentEvents } from '../chunk-UV7VCTNC.js';
+import { status, agentBootMsg, agentEvents } from '../chunk-ZF6WDK2D.js';
 export { applyEffectEvent, emptyLedger, foldLedger, isOwed, pendingEffectsLedger, survivingEffects } from '../chunk-25LBDCBC.js';
-import '../chunk-66S2KEQQ.js';
-import '../chunk-ERYY5P6W.js';
-import '../chunk-XMHZ44QC.js';
-import '../chunk-EC6FO42Q.js';
+import '../chunk-WLGO64WC.js';
+import '../chunk-ND3DH6KM.js';
+import '../chunk-7V4EVLZA.js';
+import '../chunk-EUF7XOEE.js';
 import '../chunk-JELSZN25.js';
 import '../chunk-D736QUGF.js';
 import { createIntake } from '../chunk-ZVJZ72HY.js';
-import '../chunk-ASX7PL2K.js';
+import '../chunk-JGVL3WPL.js';
 import { defaultRetryPolicy, initRetry, recordFailure, shouldRetry, nextDelayMs } from '../chunk-Q2UM7BXU.js';
 import '../chunk-S2EGRPCM.js';
 import '../chunk-BYQUGDD3.js';
 import '../chunk-K575PT4S.js';
 import '../chunk-UF4MZSLT.js';
-import '../chunk-WF46FABO.js';
+import '../chunk-7SVIRMC6.js';
 import '../chunk-MU6MCIAC.js';
 import '../chunk-FV3Z5MBE.js';
-import '../chunk-2UGTDYOK.js';
+import '../chunk-3JU6657S.js';
 import '../chunk-2YFLOCWX.js';
 import '../chunk-ZJ5AOYBH.js';
 import '../chunk-G5E74IJB.js';
-import { replay, run } from '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import { replay, run } from '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 
 // src/do/durable-timer.ts
 function durableTimer(config) {

package/dist/{durable-effects-CXMOi-sp.d.ts → durable-effects-D8SqU_if.d.ts}

@@ -1,4 +1,4 @@
-import { C as Cmd } from './core-CUN5HDKL.js';
+import { C as Cmd } from './core-Bjc0bS8j.js';
 
 /**
  * @demlik/tea/do — the durable pending-effects ledger (substrate primitive #1).

package/dist/extension/index.d.ts

@@ -1,5 +1,6 @@
-import { R as Runtime, S as Store } from '../runtime-types-BD3ZFfdw.js';
-import '../core-CUN5HDKL.js';
+import { R as Runtime, S as Store } from '../runtime-types-Bxc637bp.js';
+import 'better-result';
+import '../core-Bjc0bS8j.js';
 
 /**
  * Runtime bridge — expose a `@demlik/tea` runtime running in one chrome context

package/dist/extension/index.js

@@ -1,7 +1,7 @@
-export { bridgeClient, bridgeRuntime, bridgeTabClient, passThroughMsg } from '../chunk-IVHQCVFX.js';
+export { bridgeClient, bridgeRuntime, bridgeTabClient, passThroughMsg } from '../chunk-A56OR5RF.js';
 import '../chunk-G5E74IJB.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 
 // src/extension/index.ts
 var MALFORMED = "chromeStorageStore: stored value is not a string";

package/dist/extension/react.js

@@ -1,7 +1,7 @@
-import { bridgeClient, passThroughMsg } from '../chunk-IVHQCVFX.js';
+import { bridgeClient, passThroughMsg } from '../chunk-A56OR5RF.js';
 import '../chunk-G5E74IJB.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 import { useRef, useSyncExternalStore, useEffect, useCallback, createContext, useMemo, useContext } from 'react';
 import { jsx } from 'react/jsx-runtime';
 

package/dist/extension/subs/index.d.ts

@@ -1,5 +1,5 @@
-import { S as Sub } from '../../core-CUN5HDKL.js';
-import { S as SubscribeHandler } from '../../types-CjAkI83U.js';
+import { S as Sub } from '../../core-Bjc0bS8j.js';
+import { S as SubscribeHandler } from '../../types-D7u9DkH7.js';
 
 type AlarmSubData = {
     alarmName: string;

package/dist/fan-out/index.d.ts

@@ -1,6 +1,7 @@
-import { C as Cmd, a as Port } from '../core-CUN5HDKL.js';
+import { C as Cmd, a as Port } from '../core-Bjc0bS8j.js';
 import { QueueItem } from '../work-queue/index.js';
-import '../runtime-types-BD3ZFfdw.js';
+import '../runtime-types-Bxc637bp.js';
+import 'better-result';
 
 /**
  * @demlik/tea/fan-out — scatter-gather over a bounded-concurrency work list.

package/dist/idempotent-intake/index.d.ts

@@ -1,7 +1,8 @@
 import { IdempotencyStore } from '../idempotency/index.js';
-import { C as Cmd } from '../core-CUN5HDKL.js';
+import { C as Cmd } from '../core-Bjc0bS8j.js';
 import { QueueItem } from '../work-queue/index.js';
-import '../runtime-types-BD3ZFfdw.js';
+import '../runtime-types-Bxc637bp.js';
+import 'better-result';
 
 /**
  * @demlik/tea/idempotent-intake — receive-once intake for webhooks / queue

package/dist/index.d.ts

@@ -1,7 +1,8 @@
-import { B as BootingRuntime, C as CtxArg, S as Store, O as OnError, a as Supervision } from './runtime-types-BD3ZFfdw.js';
-export { b as Branded, D as DispatchDiscardedError, c as DispatchSettle, d as DisposeTimeoutNotice, I as IdentityDropNotice, P as PortNameCollisionError, Q as QuiescenceTimeoutError, R as Runtime, e as RuntimeDiscardNotice, f as RuntimeDiscardedError, g as RuntimeErrorContext, h as RuntimeErrorPhase, i as RuntimeRef, j as Schema, k as SubIdCollisionError, l as SupervisionStrategy, _ as __resetPortRegistry, m as absurd, n as asReducer, o as defineMachine, p as definePort, q as noop, r as replay, s as schemaMigrate, t as tryInterpret, w as wrapDetached } from './runtime-types-BD3ZFfdw.js';
-import { C as Cmd, S as Sub, M as Machine } from './core-CUN5HDKL.js';
-export { d as ContextFree, D as DepKeyedSub, e as Dispose, f as Identity, I as Interpret, c as InterpretDetached, N as NoCellError, g as NoCtx, a as Port, P as PortEmitter, R as Reducer, b as SubId, h as Subscribe, i as SyncReturn, T as Transitions, U as UpdateForm, j as applyCell, k as applyCellChecked, l as detectUpdateForm, m as foldMsgs, n as foldUpdates, o as formOf, p as msgKeysOf, s as structuralHash, q as subId } from './core-CUN5HDKL.js';
+import { B as BootingRuntime, C as CtxArg, S as Store, O as OnError, a as Supervision } from './runtime-types-Bxc637bp.js';
+export { b as Branded, D as DispatchDiscardedError, c as DispatchSettle, d as DisposeTimeoutNotice, F as FoldRefusal, I as IdentityDropNotice, P as PortNameCollisionError, Q as QuiescenceTimeoutError, R as Runtime, e as RuntimeDiscardNotice, f as RuntimeDiscardedError, g as RuntimeErrorContext, h as RuntimeErrorPhase, i as RuntimeRef, j as Schema, k as SubIdCollisionError, l as SupervisionStrategy, _ as __resetPortRegistry, m as absurd, n as asReducer, o as defineMachine, p as definePort, q as noop, r as replay, s as schemaMigrate, t as tryApplyCell, u as tryFoldMsgs, v as tryInterpret, w as wrapDetached } from './runtime-types-Bxc637bp.js';
+import { C as Cmd, S as Sub, M as Machine } from './core-Bjc0bS8j.js';
+export { d as ContextFree, D as DepKeyedSub, e as Dispose, f as Identity, I as Interpret, c as InterpretDetached, g as MachineShape, N as NoCellError, h as NoCtx, a as Port, P as PortEmitter, R as Reducer, b as SubId, i as Subscribe, j as SyncReturn, T as Transitions, U as UpdateForm, k as acceptsOf, l as applyCell, m as applyCellChecked, n as describeMachine, o as detectUpdateForm, p as foldMsgs, q as foldUpdates, r as formOf, s as msgKeysOf, t as structuralHash, u as subId } from './core-Bjc0bS8j.js';
+import 'better-result';
 
 interface HistoryTracker<S, M extends {
     type: string;

package/dist/index.js

@@ -1,4 +1,4 @@
-export { DispatchDiscardedError, DisposeTimeoutNotice, IdentityDropNotice, PortNameCollisionError, QuiescenceTimeoutError, RuntimeDiscardNotice, RuntimeDiscardedError, SubIdCollisionError, __resetPortRegistry, absurd, asReducer, defineMachine, definePort, historyTracker, noop, replay, run, schemaMigrate, tryInterpret, wrapDetached } from './chunk-ZH454CR5.js';
-export { Cmd, NoCellError, applyCell, applyCellChecked, detectUpdateForm, foldMsgs, foldUpdates, formOf, msgKeysOf, structuralHash, subId } from './chunk-O7ED34JH.js';
+export { DispatchDiscardedError, DisposeTimeoutNotice, IdentityDropNotice, PortNameCollisionError, QuiescenceTimeoutError, RuntimeDiscardNotice, RuntimeDiscardedError, SubIdCollisionError, __resetPortRegistry, absurd, asReducer, defineMachine, definePort, historyTracker, noop, replay, run, schemaMigrate, tryApplyCell, tryFoldMsgs, tryInterpret, wrapDetached } from './chunk-5EHLEUTL.js';
+export { Cmd, NoCellError, acceptsOf, applyCell, applyCellChecked, describeMachine, detectUpdateForm, foldMsgs, foldUpdates, formOf, msgKeysOf, structuralHash, subId } from './chunk-B5VXOFMZ.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/llm-call/index.d.ts

@@ -1,10 +1,10 @@
-import { C as Cmd } from '../core-CUN5HDKL.js';
+import { C as Cmd } from '../core-Bjc0bS8j.js';
 import { RunCmd, SucceedMsg, FailMsg, ResilientState } from '../resilient-call/index.js';
 import { RetryPolicy } from '../retry-backoff/index.js';
 import { DeadlineExceeded, DeadlineSub } from '../deadline/index.js';
 export { deadlineSub, subscribeDeadline } from '../deadline/index.js';
 import '../cache/index.js';
-import '../types-CjAkI83U.js';
+import '../types-D7u9DkH7.js';
 import '../circuit-breaker/index.js';
 import '../protocol-B5YmJr0d.js';
 import '../rate-limit/index.js';

package/dist/llm-call/index.js

@@ -1,16 +1,16 @@
-export { createLlmCall, liftLlmCall } from '../chunk-ERYY5P6W.js';
-import '../chunk-EC6FO42Q.js';
+export { createLlmCall, liftLlmCall } from '../chunk-ND3DH6KM.js';
+import '../chunk-EUF7XOEE.js';
 import '../chunk-JELSZN25.js';
-export { deadlineSub, subscribeDeadline } from '../chunk-ASX7PL2K.js';
+export { deadlineSub, subscribeDeadline } from '../chunk-JGVL3WPL.js';
 import '../chunk-Q2UM7BXU.js';
 import '../chunk-S2EGRPCM.js';
 import '../chunk-UF4MZSLT.js';
-import '../chunk-WF46FABO.js';
-import '../chunk-2UGTDYOK.js';
+import '../chunk-7SVIRMC6.js';
+import '../chunk-3JU6657S.js';
 import '../chunk-2YFLOCWX.js';
 import '../chunk-ZJ5AOYBH.js';
 import '../chunk-G5E74IJB.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/{machine-CoWpvp8x.d.ts → machine-0OmPvsy_.d.ts}

@@ -1,4 +1,4 @@
-import { C as Cmd, I as Interpret, M as Machine } from './core-CUN5HDKL.js';
+import { C as Cmd, I as Interpret, M as Machine } from './core-Bjc0bS8j.js';
 import { ModelFactory, Schema, MessageLoader, LlmCall, LlmOk, LlmErr, LlmRunCmd, LlmSucceedMsg, LlmFailMsg, LlmTimerMsg, LlmCallPorts } from './llm-call/index.js';
 import { MonitoredRunState, RunFailure, MonitoredRunCmd } from './monitored-run/index.js';
 import { M as MsgType } from './protocol-B5YmJr0d.js';

package/dist/machine-viz/index.d.ts

@@ -1,4 +1,4 @@
-import { C as Cmd, S as Sub, M as Machine } from '../core-CUN5HDKL.js';
+import { C as Cmd, S as Sub, M as Machine } from '../core-Bjc0bS8j.js';
 
 /**
  * @demlik/tea/machine-viz — turn a `Machine` into a Mermaid diagram string.

package/dist/machine-viz/index.js

@@ -1,5 +1,5 @@
-import '../chunk-ZH454CR5.js';
-import { formOf } from '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import { formOf } from '../chunk-B5VXOFMZ.js';
 
 // src/machine-viz/index.ts
 function safeId(raw) {

package/dist/mem/index.d.ts

@@ -1,5 +1,6 @@
-import { S as Store } from '../runtime-types-BD3ZFfdw.js';
-import '../core-CUN5HDKL.js';
+import { S as Store } from '../runtime-types-Bxc637bp.js';
+import 'better-result';
+import '../core-Bjc0bS8j.js';
 
 /**
  * @packageDocumentation

package/dist/monitored-run/index.d.ts

@@ -1,10 +1,11 @@
 import { DeadlineExceeded, DeadlineSub } from '../deadline/index.js';
 export { deadlineSub, subscribeDeadline } from '../deadline/index.js';
-import { I as Interpret, C as Cmd } from '../core-CUN5HDKL.js';
+import { I as Interpret, C as Cmd } from '../core-Bjc0bS8j.js';
 import { SnapshotWriteCmd, SnapshotState, SnapshotStore, SnapshotSavedMsg, SnapshotFailedMsg, SnapshotLoadedMsg, SnapshotLoadFailedMsg, SnapshotLoadCmd } from '../snapshot/index.js';
 import { QueueItem } from '../work-queue/index.js';
-import '../types-CjAkI83U.js';
-import '../runtime-types-BD3ZFfdw.js';
+import '../types-D7u9DkH7.js';
+import '../runtime-types-Bxc637bp.js';
+import 'better-result';
 
 /**
  * @demlik/tea/monitored-run — a long-running operation that is BOTH staged and

package/dist/monitored-run/index.js

@@ -1,10 +1,10 @@
-export { createMonitoredRun, liftRun } from '../chunk-66S2KEQQ.js';
-import '../chunk-XMHZ44QC.js';
-export { deadlineSub, subscribeDeadline } from '../chunk-ASX7PL2K.js';
+export { createMonitoredRun, liftRun } from '../chunk-WLGO64WC.js';
+import '../chunk-7V4EVLZA.js';
+export { deadlineSub, subscribeDeadline } from '../chunk-JGVL3WPL.js';
 import '../chunk-MU6MCIAC.js';
 import '../chunk-FV3Z5MBE.js';
 import '../chunk-2YFLOCWX.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/node/index.d.ts

@@ -1,6 +1,7 @@
 import WebSocket from 'ws';
-import { S as Store } from '../runtime-types-BD3ZFfdw.js';
-import { S as Sub, b as SubId } from '../core-CUN5HDKL.js';
+import { S as Store } from '../runtime-types-Bxc637bp.js';
+import { S as Sub, b as SubId } from '../core-Bjc0bS8j.js';
+import 'better-result';
 
 /**
  * @packageDocumentation

package/dist/paginated-walk/index.d.ts

@@ -1,11 +1,11 @@
-import { C as Cmd } from '../core-CUN5HDKL.js';
+import { C as Cmd } from '../core-Bjc0bS8j.js';
 import { PaginatorState } from '../paginator/index.js';
 import { RunCmd, FailMsg, SucceedMsg, CircuitConfig, RateLimitConfig, DeadlineConfig, ResilientPorts, ResilientState, ResilientTimerMsg } from '../resilient-call/index.js';
 import { RetryPolicy } from '../retry-backoff/index.js';
 import { DeadlineSub } from '../deadline/index.js';
 export { deadlineSub, subscribeDeadline } from '../deadline/index.js';
 import '../cache/index.js';
-import '../types-CjAkI83U.js';
+import '../types-D7u9DkH7.js';
 import '../circuit-breaker/index.js';
 import '../protocol-B5YmJr0d.js';
 import '../rate-limit/index.js';

package/dist/paginated-walk/index.js

@@ -1,16 +1,16 @@
-export { PAGE_KEY, createPaginatedWalk, liftWalk } from '../chunk-XOAP3LOT.js';
+export { PAGE_KEY, createPaginatedWalk, liftWalk } from '../chunk-I5OV65MS.js';
 import '../chunk-SINXE47Y.js';
-import '../chunk-EC6FO42Q.js';
+import '../chunk-EUF7XOEE.js';
 import '../chunk-JELSZN25.js';
-export { deadlineSub, subscribeDeadline } from '../chunk-ASX7PL2K.js';
+export { deadlineSub, subscribeDeadline } from '../chunk-JGVL3WPL.js';
 import '../chunk-Q2UM7BXU.js';
 import '../chunk-S2EGRPCM.js';
 import '../chunk-UF4MZSLT.js';
-import '../chunk-WF46FABO.js';
-import '../chunk-2UGTDYOK.js';
+import '../chunk-7SVIRMC6.js';
+import '../chunk-3JU6657S.js';
 import '../chunk-2YFLOCWX.js';
 import '../chunk-ZJ5AOYBH.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/parity/index.d.ts

@@ -1,6 +1,7 @@
-import { B as BootingRuntime } from '../runtime-types-BD3ZFfdw.js';
-import { C as Cmd, S as Sub, M as Machine } from '../core-CUN5HDKL.js';
+import { B as BootingRuntime } from '../runtime-types-Bxc637bp.js';
+import { C as Cmd, S as Sub, M as Machine } from '../core-Bjc0bS8j.js';
 import { Trace, RecorderOptions } from '../recorder/index.js';
+import 'better-result';
 
 /**
  * the record → replay → normalized-diff go/no-go gate.

package/dist/parity/index.js

@@ -1,8 +1,8 @@
 import { recorder } from '../chunk-MUUROGIH.js';
-import { deepEqual } from '../chunk-A7USKARI.js';
+import { deepEqual } from '../chunk-SUST46KO.js';
 import '../chunk-EWJP3YYP.js';
-import { replay } from '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import { replay } from '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 
 // src/parity/index.ts
 function recordRun(runtime, opts) {

package/dist/pbt/arbitraries/index.d.ts

@@ -1,5 +1,5 @@
 import * as fc from 'fast-check';
-import { C as Cmd, S as Sub, M as Machine } from '../../core-CUN5HDKL.js';
+import { C as Cmd, S as Sub, M as Machine } from '../../core-Bjc0bS8j.js';
 
 /**
  * Build a Ctx value whose every property access throws. Use as the `ctx`

package/dist/pbt/index.d.ts

@@ -1,6 +1,6 @@
 export { MsgArbitraryTable, arbConstantMsg, arbGuidedSequence, arbMsg, arbMsgSequence, arbRecordMsg, stubCtxThrowingProxy } from './arbitraries/index.js';
 export { Step, foldEvents, propertyInvariant, propertyTerminates, propertyTrace } from './runners/index.js';
-import { C as Cmd, R as Reducer, T as Transitions, U as UpdateForm } from '../core-CUN5HDKL.js';
+import { C as Cmd, R as Reducer, T as Transitions, U as UpdateForm } from '../core-Bjc0bS8j.js';
 import 'fast-check';
 
 /**

package/dist/pbt/index.js

@@ -1,7 +1,7 @@
 export { arbConstantMsg, arbGuidedSequence, arbMsg, arbMsgSequence, arbRecordMsg, stubCtxThrowingProxy } from '../chunk-AZZLE7XR.js';
-export { foldEvents, propertyInvariant, propertyTerminates, propertyTrace } from '../chunk-S6Y3RNX4.js';
-import '../chunk-ZH454CR5.js';
-import { msgKeysOf } from '../chunk-O7ED34JH.js';
+export { foldEvents, propertyInvariant, propertyTerminates, propertyTrace } from '../chunk-JP5D6GSL.js';
+import '../chunk-5EHLEUTL.js';
+import { msgKeysOf } from '../chunk-B5VXOFMZ.js';
 
 // src/pbt/util/msg-keys.ts
 function msgTypeKeys(machine) {

package/dist/pbt/runners/index.d.ts

@@ -1,5 +1,5 @@
 import * as fc from 'fast-check';
-import { C as Cmd, S as Sub, M as Machine } from '../../core-CUN5HDKL.js';
+import { C as Cmd, S as Sub, M as Machine } from '../../core-Bjc0bS8j.js';
 
 /**
  * One unit in a fold trace — the four pieces of data a property

package/dist/pbt/runners/index.js

@@ -1,5 +1,5 @@
-export { foldEvents, propertyInvariant, propertyTerminates, propertyTrace } from '../../chunk-S6Y3RNX4.js';
-import '../../chunk-ZH454CR5.js';
-import '../../chunk-O7ED34JH.js';
+export { foldEvents, propertyInvariant, propertyTerminates, propertyTrace } from '../../chunk-JP5D6GSL.js';
+import '../../chunk-5EHLEUTL.js';
+import '../../chunk-B5VXOFMZ.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/poller/index.d.ts

@@ -1,8 +1,8 @@
 import { DeadlineSub } from '../deadline/index.js';
 import { IdempotencyStore } from '../idempotency/index.js';
-import { C as Cmd, S as Sub } from '../core-CUN5HDKL.js';
+import { C as Cmd, S as Sub } from '../core-Bjc0bS8j.js';
 import { RetryState, AnyRetryPolicy } from '../retry-backoff/index.js';
-import '../types-CjAkI83U.js';
+import '../types-D7u9DkH7.js';
 
 /**
  * @demlik/tea/poller — "poll a source every N ms until a predicate holds, with
@@ -203,6 +203,27 @@ type PollerState<R> = (PollerCore<R> & {
 }) | (PollerCore<R> & {
     readonly phase: "gave_up";
 });
+/**
+ * The three arms, named — so a verb can DECLARE the phases it can actually
+ * reach instead of the whole union.
+ *
+ * A verb whose return type is the full `PollerState<R>` tells a caller nothing
+ * about where the poller went, and a caller that needs to know (a chart
+ * declaring an edge's fan-out; an exhaustive `switch`) has to re-derive it by
+ * reading the verb's body. Every one of these narrowings is already true of the
+ * implementation — `start` only ever builds a `polling` arm, `tickResult` never
+ * builds `gave_up`, `tickErr` never builds `done` — so naming them costs
+ * nothing at runtime and moves a fact out of the source and into the signature.
+ */
+type PollerPolling<R> = Extract<PollerState<R>, {
+    phase: "polling";
+}>;
+type PollerDone<R> = Extract<PollerState<R>, {
+    phase: "done";
+}>;
+type PollerGaveUp<R> = Extract<PollerState<R>, {
+    phase: "gave_up";
+}>;
 /**
  * The poller Sub type — a `../deadline` Sub under a fixed id family. One id per
  * knob instance keeps the reconcile pass from churning the timer: the same id
@@ -223,7 +244,7 @@ type PollerSub = DeadlineSub;
  */
 interface Poller<State, R> {
     /** Seed the Model slice. Idle until `start(...)` arms the first tick. */
-    init(): PollerState<R>;
+    init(): PollerPolling<R>;
     /**
      * Arm the first tick. `at` is the current clock (carried in from the Msg /
      * runtime that kicks the poller off — never read inside the verb). Returns
@@ -234,7 +255,7 @@ interface Poller<State, R> {
      * fires when the deadline crosses `at + everyMs` and the consumer routes
      * `deadline_exceeded` → `tick`.
      */
-    start(state: PollerState<R>, at: number): readonly [PollerState<R>, readonly Cmd[]];
+    start(state: PollerState<R>, at: number): readonly [PollerPolling<R>, readonly Cmd[]];
     /**
      * Perform one observation — the cadence verb. The consumer routes the
      * deadline Sub's `deadline_exceeded` Msg here; `tick` emits the single
@@ -274,7 +295,7 @@ interface Poller<State, R> {
      * passes the boolean. (`subs` re-checks `phase` to decide arming, so a
      * mis-passed `untilHeld` cannot leave a "done" poller arming timers.)
      */
-    tickResult(state: PollerState<R>, result: R, at: number, untilHeld: boolean): readonly [PollerState<R>, readonly Cmd[]];
+    tickResult(state: PollerState<R>, result: R, at: number, untilHeld: boolean): readonly [PollerPolling<R> | PollerDone<R>, readonly Cmd[]];
     /**
      * Record a FAILED tick at clock `at`. Backs off instead of holding the
      * steady cadence:
@@ -300,7 +321,7 @@ interface Poller<State, R> {
      * body never names the global RNG, so a poller built with a fixed `rng`
      * replays a failure-and-backoff run bit-for-bit.
      */
-    tickErr(state: PollerState<R>, error: unknown, at: number): readonly [PollerState<R>, readonly Cmd[]];
+    tickErr(state: PollerState<R>, error: unknown, at: number): readonly [PollerPolling<R> | PollerGaveUp<R>, readonly Cmd[]];
     /**
      * The pre-wired subscriptions cell. Returns the single tick-deadline Sub
      * while the poller is `"polling"` with an armed `nextAtMs`; returns `[]`
@@ -327,4 +348,4 @@ interface Poller<State, R> {
  */
 declare function createPoller<State, R>(config: PollerConfig<State, R>, rng?: () => number): Poller<State, R>;
 
-export { type Poller, type PollerConfig, type PollerState, type PollerSub, createPoller };
+export { type Poller, type PollerConfig, type PollerDone, type PollerGaveUp, type PollerPolling, type PollerState, type PollerSub, createPoller };

package/dist/poller/index.js

@@ -1,10 +1,10 @@
-import { deadlineSub } from '../chunk-ASX7PL2K.js';
+import { deadlineSub } from '../chunk-JGVL3WPL.js';
 import { asRng, defaultRetryPolicy, initRetry, recordFailure, shouldRetry, nextDelayMs } from '../chunk-Q2UM7BXU.js';
 import { idempotencyMemory } from '../chunk-BYQUGDD3.js';
 import '../chunk-K575PT4S.js';
 import '../chunk-2YFLOCWX.js';
-import '../chunk-ZH454CR5.js';
-import '../chunk-O7ED34JH.js';
+import '../chunk-5EHLEUTL.js';
+import '../chunk-B5VXOFMZ.js';
 
 // src/poller/index.ts
 function pollerSubId(atMs) {