reactor-effect-client 0.2.0 → 0.3.0

package/README.md

@@ -67,13 +67,67 @@ const clientLayer = Reactor.layer().pipe(
 const main = Effect.scoped(useSession).pipe(Effect.provide(clientLayer));
 ```
 
-`Native.make(configuration, nativeOptions)` and `Browser.make(configuration)` also construct the canonical factory with their host peer already selected. Constructing a factory makes no allocation. HTTP and crypto services remain explicit. The root session constructor has no filesystem or path requirement.
+Building a host layer is its preflight: `Native.layer()` loads and verifies the native library, and `Browser.layer` detects WebRTC, so an unsupported host fails while the layer is built, before any `Client` exists to allocate a remote session. Constructing a factory makes no allocation. HTTP and crypto services remain explicit. The root session constructor has no filesystem or path requirement. A custom host provides `PeerFactory` itself: `make` returns a fresh `Peer` for each connection generation, and an optional `check` fails when the host cannot create one right now; the factory runs it before every remote allocation.
 
-Browser and native media values stay bound to their negotiated generation. A reconnect creates a new generation; existing readers end or fail with their source. Applications obtain the new media generation explicitly, or opt into orchestration's recovering media streams.
+Browser and native media values stay bound to their negotiated generation. A reconnect creates a new generation; existing readers end or fail with their source. Applications obtain the new media generation explicitly, or opt into orchestration's recovering media streams. Each `VideoFrame` declares its pixel `format` (`"BGRA"` from the native host); nothing converts between formats implicitly. A recorder reads a track directly and sees loss before admission as a rise in `pressure`'s `droppedVideo`/`droppedAudio`, and a reader that falls behind its bound fails with `Overflow` and counts in `readerOverflows`. Every frame carries its admission `sequence` on its track, so `recorder(stream)` yields each frame plus a `Lost { after, count }` wherever the host dropped frames, at their position. A preview keeps only the newest frame with `Stream.buffer({ capacity: 1, strategy: "sliding" })`.
+
+## Errors
+
+Every failure the client raises is one of four classes, each with its own `_tag`, so `Effect.catchTag` and a Schema union tell them apart:
+
+- `ReactorError`: a session, coordinator or host failure;
+- `CommandFailure`: a failed command, with the dispatch evidence its owner established;
+- `AcquisitionFailure`: a failed acquisition, with the `cleanup` report of its partial lease, kept by reference;
+- `PolicyFailure`, from `/orchestration`: a local refusal, which was never dispatched.
+
+`isReactorFailure` recognizes any of them, and each class has an `is` guard. Re-raise a known failure through a guard rather than `instanceof ReactorError`, which none of the other three satisfies.
+
+Each carries a tagged `reason`: route on `reason._tag`, with `Effect.catchReason`, `catchReasons` or `unwrapReason`. A `ReactorError`, `CommandFailure` or `AcquisitionFailure` reason is `Failure`, whose tag is a code such as `Timeout`, `Disconnected` or `InvalidInput`, or one of the reasons with fields of their own: `Http` (`status`, `retryAfter`, `body`), `Remote` and `RecorderDisabled` (`remoteCode`, `body`), `Native` (`status`, a Redacted `backendMessage`), `IceFailed` (`pairs`, `candidateTypes`) and `TransportFailed` (`pairs`). `ErrorCode` is the union of those tags. A `PolicyFailure` reason is a `Refusal` such as `QueueFull`, `SessionRecovering` or `Busy`, `Missing` with the request field whose clip has no known owner, or `Sequence` with the sequence's code.
+
+`context.outcome` says whether the remote may have applied the request: `not-submitted`, `unknown` or `replied`. A `PolicyFailure`'s outcome is always `not-submitted`, so an `EngineError = CommandFailure | PolicyFailure` is read without narrowing. `isRetryable` is true for local backpressure, a connection lost before dispatch, an HTTP refusal that names a delay, and the `QueueFull` and `SessionRecovering` refusals, and never when the outcome is `unknown`; `retryAfter` is the delay an `Http` reason named.
+
+```ts
+const admission = (failure: EngineError) =>
+  failure.context.outcome === "unknown" ? "reconcile" : failure.isRetryable ? "defer" : "reject";
+
+const enqueued = engine.enqueue(request).pipe(
+  Effect.catchReasons("PolicyFailure", {
+    QueueFull: () => Effect.succeed("wait for a free generation slot"),
+    SessionRecovering: () => Effect.succeed("wait for the session to recover"),
+  }),
+);
+```
+
+`message` is written by the library and never contains provider or payload text, so spans and logs that record it stay payload-free. Provider and backend text is kept only for explicit inspection: `Http.body`, `Remote.body`, the Redacted `Native.backendMessage` and `context.detail`. Diagnostic JSON leaves all of them out, and none of them is part of the cause chain that exporters render.
+
+## Tracing
+
+The client traces through Effect's `Tracer`, so any tracer the application provides, such as `OtlpTracer`, receives its spans. An operation a caller can cancel has a client span at the call: `reactor.session.create` and `reactor.session.attach`, `reactor.session.connect` and `reactor.session.reconnect` (with an event per phase, from `reactor.connect.described` to `reactor.connect.ready`), `reactor.session.upload` and `reactor.session.close`, and in orchestration `reactor.orchestration.renewal.open`, `recover`, `replace` and `switch`. A request the session owns past its caller's wait, a command or control request (`reactor.session.command`, `reactor.session.control`) or an H3 enqueue (`reactor.h3.enqueue`, with `reactor.h3.reconcile`), has its span on its own execution, so the span ends with the request's outcome even after the caller stopped waiting. Termination returns a verdict rather than failing, so `reactor.coordinator.terminate` and `reactor.session.close` carry it as `reactor.termination.attempted`, `confirmed` and `evidence`: a span that ended without error does not mean a paid session stopped. Spans name identity and outcome only: never a credential, command input, a reply, an upload's name or bytes, or provider text. The renewal tick, frames, streams and heartbeats are not traced.
+
+## Time options
+
+Every time option is an Effect `Duration.Input` named by its role:
+
+- on the session, `connectTimeout`, `readyTimeout`, `heartbeatInterval`, `replyTimeout` and `uploadTimeout`;
+- on the coordinator, `requestTimeout` and the poll's `initialDelay` and `maxDelay`, and on a token, `maxSessionDuration` and `expiresAfter`, which must be whole seconds;
+- on H3, `replyTimeout`, `uploadTimeout`, `setupTimeout`, `reconcileWindow` and `resultHookTimeout`;
+- in orchestration, `lead`, `reconnectTimeout` and the `lifetime` that `open` returns.
+
+A bare number is milliseconds, as everywhere in Effect, so write the unit: `lead: "30 seconds"`, because `lead: 30` is 30 milliseconds. `"Infinity"` disables the heartbeat and marks a source that never expires. A value that is NaN, negative, zero where zero means nothing, or longer than the option's maximum fails with `InvalidInput`, not submitted. Measurements, instants and media lengths stay numbers in the unit their name carries: `requestRecordingClip(seconds)`, `ClipRequest.durationSeconds`, a renewal's `ageSeconds`.
+
+`replyTimeout` is the session's own deadline for a reply. The session's default and a command's override share the key: `session.command(name, data, { uploads, replyTimeout })`. It is not a caller's wait. After dispatch it fails with `Timeout`, outcome `unknown`, and the command's `requestId`, and the request's slot stays held until a late reply or the connection generation retires. To stop waiting without abandoning the command, fork it and bound only the join:
+
+```ts
+const fiber = yield * Effect.forkScoped(session.command("set_seed", { seed: 1 }));
+const reply = yield * Fiber.join(fiber).pipe(Effect.timeout("2 seconds"));
+// Later, Fiber.await(fiber) still reads the command's own outcome.
+```
+
+When the command must be replayed rather than awaited, prepare it as an `Orchestration.Submission`.
 
 ## Coordinator helpers
 
-`Coordinator` is a namespace on the root export. `Coordinator.make(configuration)` provides pricing, bounded token minting, session inspection, and termination reports through Effect HTTP services. Constructing this client makes no network request and requires no peer implementation.
+`Coordinator` is a namespace on the root export. `Coordinator.make(configuration)` provides pricing, bounded token minting, session inspection, termination reports, and `downloadClip` for a prepared recording (`clip_ready`), which polls its HLS playlist and concatenates its segments within a caller wall deadline, through Effect HTTP services. Constructing this client makes no network request and requires no peer implementation. The root exports the Schemas the client decodes a session descriptor with, `SessionDescriptor`, `Capabilities`, `Track` and `Mapping`, and derives their types from them.
 
 ## H3 provider
 
@@ -96,15 +150,17 @@ const enqueueClip = (session: Session) =>
 
 Use a session created with `H3.modelName`. The adapter targets the documented `0.5.5` prompt-and-images subset of `reactor/h3-reference-to-video-turbo-realtime`. Prompt-only requests are supported. Image references accept owned bytes or explicit upload references; H3 itself requires no filesystem or path services. Reference-audio input is unsupported, and FastH3 `startingFrame`/`endingFrame` fields are absent from this contract.
 
+`provider.operation(submission)` keeps a committed clip's facts for as long as its scope holds them: `accepted`, `reached("generated" | "started")` and `ended` each resolve once, every fact naming the transport generation of its evidence, and a clip that fails or is popped first fails the phases it never reached with `ClipEnded`. Evidence arriving after the reconcile window, or in a later transport generation of the same session, still attributes an unknown enqueue. A commit reserves the operation's slot before it sends, so a table full of unresolved operations refuses new commits with `Overflow` instead of discarding evidence; releasing the scope frees the slot.
+
 The adapter exposes autoplay, flush, playback, reset, and other model controls as explicit operations. Creating it does not change those policies or initiate reconnect. Request `metadata` is a provider string; orchestration keeps its richer application annotation separately.
 
 ## Orchestration and simulation
 
-`reactor-effect-client/orchestration` owns opt-in scheduling, sequence routing, renewal, and recovering media. `fromH3` adapts a provider into a physical source, and `make({ open, ...options })` returns a handle with `engine`, `media`, `mediaState`, sequence operations, and joined cleanup reports. The `open` effect supplies each source and its lifetime budget. Application scheduling, pricing, persona, and show policy stay outside the session and H3 layers.
+`reactor-effect-client/orchestration` owns opt-in scheduling, sequence routing, renewal, and recovering media. `fromH3Session(session, options)` builds a physical source from one connected session, deriving its H3 provider view (exposed as `source.provider`) and its decoded media from that session, so a source cannot pair one session's commands with another's media; it needs a host with decoded media (the native host), and `make({ open, ...options })` returns a handle with `engine`, `media`, `mediaState`, sequence operations, and joined cleanup reports. The `open` effect supplies each source and its lifetime budget. `openH3({ mint, onAllocated })` is that effect for paid H3 sessions: it mints the token, allocates the session, runs `onAllocated({ session, grant })` before connecting so the owner can be recorded durably, then connects and derives the source, with the granted length as its lifetime. `Orchestration.layer(options)` provides the handle's `Engine`, `Media` and `Handle` services from one orchestration; each build opens its own paid chain, so bind the layer to a `const`. `engine.observe(options)` is the engine's gap-free observation, as `session.observe` and `provider.observe` are for theirs: it subscribes before reading, returning the current `EngineState` with a stream of every later event (apply events idempotently by `clipId`; after an `Overflow`, observe again). `handle.observe(options)` extends it to the whole handle: the engine and media state, then engine events, renewals and media-state transitions in the one order they happened. `onRenewal` runs on its own reader and never holds the handle's command permit, and the orchestration logs through Effect's logger at debug level. Application scheduling, pricing, persona, and show policy stay outside the session and H3 layers.
 
 `ClipRequest.sameSessionAs` targets the physical session that owns a known clip, including one already ready or playing, while leaving queue position unchanged. `before` requests insertion ahead of a clip still in the generation queue. Source affinity, insertion anchors, continuation, and sequence ownership must agree; missing, conflicting, retired, or recovering ownership fails locally with a `not-submitted` outcome. This keeps a dependent request on its required session during renewal without inventing an insertion point.
 
-`Orchestration.Submission` models an inert prepared operation. Preparation may be interrupted before commit; once execution commits, callers joining or abandoning the result do not replay the dispatch. `CommandFailure.context` distinguishes `not-submitted`, `unknown`, and `replied` outcomes independently of the transport error category.
+`Orchestration.Submission` models an inert prepared operation. Preparation may be interrupted before commit; once execution commits, callers joining or abandoning the result do not replay the dispatch. `CommandFailure.context` distinguishes `not-submitted`, `unknown`, and `replied` outcomes independently of the transport error category, and an engine command fails with `EngineError`, a `CommandFailure` or a local `PolicyFailure`.
 
 `Orchestration.Sequences` owns bounded sequence affinity and explicit member outcomes. Partial admission is represented member-by-member as accepted, rejected, or indeterminate, and a sequence remains bound to one owner until it is sealed/retired and explicitly released.
 
@@ -118,9 +174,13 @@ The adapter exposes autoplay, flush, playback, reset, and other model controls a
 
 Effect `4.0.0-rc.115` itself references the global `TextDecoderOptions` type in its channel declarations. A strict Node project that deliberately omits DOM types may need to declare that standard interface. The workspace's installed-package check first proves this is the sole upstream diagnostic, then applies a test-only declaration; it does not enable `skipLibCheck` or hide SDK declaration errors.
 
+## Example
+
+[`examples/`](https://github.com/mannyc2/reactor-effect-client/tree/main/packages/client/examples) is an application service written against the orchestration `Engine`, run and tested offline against the simulation on Effect's test clock: gap-free observation, retrying only what `isRetryable` allows, and never resending an enqueue whose outcome is `unknown`. The repository's [other examples](https://github.com/mannyc2/reactor-effect-client/tree/main/examples) include a server that broadcasts one renewing orchestration to many browsers.
+
 ## Development
 
-This package is built and tested from the workspace root; see the repository [CONTRIBUTING](https://github.com/mannyc2/reactor-effect-client/blob/main/CONTRIBUTING.md). Inside `packages/client`, `bun test` runs the portable suites and `bun run typecheck` checks the source closure both with browser types and with Node types.
+This package is built and tested from the workspace root; see the repository [CONTRIBUTING](https://github.com/mannyc2/reactor-effect-client/blob/main/CONTRIBUTING.md). Inside `packages/client`, `bun run test` runs the portable suite under Vitest and `bun run typecheck` checks the source closure both with browser types and with Node types.
 
 ## License
 

package/dist/FetchHttp.js

@@ -36,7 +36,7 @@ export const layer = Layer.effect(HttpClient.HttpClient, Effect.gen(function* ()
                 ? Stream.empty
                 : fromOwnedReadableStream({
                     evaluate: () => source.body,
-                    onError: (cause) => new ReactorError("Http", "HTTP response body failed", { detail: cause }),
+                    onError: (cause) => ReactorError.fromCode("Http", "HTTP response body failed", { detail: cause }),
                 }).pipe(Stream.mapError((cause) => new HttpClientError.HttpClientError({
                     reason: new HttpClientError.DecodeError({ request, response, cause }),
                 })));

package/dist/FetchHttp.js.map

@@ -1 +1 @@
-{"version":3,"file":"FetchHttp.js","sourceRoot":"","sources":["../src/FetchHttp.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,eAAe,MAAM,sCAAsC,CAAC;AACxE,OAAO,KAAK,kBAAkB,MAAM,yCAAyC,CAAC;AAC9E,OAAO,KAAK,eAAe,MAAM,sCAAsC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAC/B,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC;IAC3C,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC9C,MAAM,IAAI,GAAG,CAAC,IAAyB,EAAE,EAAE,CACzC,MAAM,CAAC,UAAU,CAAC;YAChB,GAAG,EAAE,GAAG,EAAE,CACR,KAAK,CAAC,GAAG,EAAE;gBACT,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBACvC,MAAM;gBACN,WAAW,EAAE,MAAM;gBACnB,QAAQ,EAAE,OAAO;gBACjB,wEAAwE;gBACxE,qEAAqE;gBACrE,GAAG,CAAC,IAAI,YAAY,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9D,CAAC;YACJ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,eAAe,CAAC,eAAe,CAAC;gBAClC,MAAM,EAAE,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;aAC/D,CAAC;SACL,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACpB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC7D,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,KAAK,IAAI;gBAClB,CAAC,CAAC,MAAM,CAAC,KAAK;gBACd,CAAC,CAAC,uBAAuB,CAAC;oBACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAK;oBAC5B,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,IAAI,YAAY,CAAC,MAAM,EAAE,2BAA2B,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;iBAC3E,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,eAAe,CAAC,eAAe,CAAC;oBAClC,MAAM,EAAE,IAAI,eAAe,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;iBACtE,CAAC,CACL,CACF,CAAC;YACR,yEAAyE;YACzE,sDAAsD;YACtD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;gBAC7B,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE;aAC9B,CAA0C,CAAC;QAC9C,CAAC,CAAC,CACH,CAAC;QAEJ,QAAQ,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAA2B,CAAC,CAAC;YACxD,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACjD,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YACvF;gBACE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CACH,CAAC"}
+{"version":3,"file":"FetchHttp.js","sourceRoot":"","sources":["../src/FetchHttp.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,eAAe,MAAM,sCAAsC,CAAC;AACxE,OAAO,KAAK,kBAAkB,MAAM,yCAAyC,CAAC;AAC9E,OAAO,KAAK,eAAe,MAAM,sCAAsC,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAC/B,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC;IAC3C,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC9C,MAAM,IAAI,GAAG,CAAC,IAAyB,EAAE,EAAE,CACzC,MAAM,CAAC,UAAU,CAAC;YAChB,GAAG,EAAE,GAAG,EAAE,CACR,KAAK,CAAC,GAAG,EAAE;gBACT,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBACvC,MAAM;gBACN,WAAW,EAAE,MAAM;gBACnB,QAAQ,EAAE,OAAO;gBACjB,wEAAwE;gBACxE,qEAAqE;gBACrE,GAAG,CAAC,IAAI,YAAY,cAAc,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9D,CAAC;YACJ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,eAAe,CAAC,eAAe,CAAC;gBAClC,MAAM,EAAE,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;aAC/D,CAAC;SACL,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACpB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC7D,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,KAAK,IAAI;gBAClB,CAAC,CAAC,MAAM,CAAC,KAAK;gBACd,CAAC,CAAC,uBAAuB,CAAC;oBACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAK;oBAC5B,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,2BAA2B,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;iBAChF,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,eAAe,CAAC,eAAe,CAAC;oBAClC,MAAM,EAAE,IAAI,eAAe,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;iBACtE,CAAC,CACL,CACF,CAAC;YACR,yEAAyE;YACzE,sDAAsD;YACtD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE;gBAC7B,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE;aAC9B,CAA0C,CAAC;QAC9C,CAAC,CAAC,CACH,CAAC;QAEJ,QAAQ,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAA2B,CAAC,CAAC;YACxD,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACjD,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YACvF;gBACE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CACH,CAAC"}

package/dist/PeerFactory.d.ts

@@ -2,11 +2,22 @@ import * as Context from "effect/Context";
 import type * as Effect from "effect/Effect";
 import type { Peer } from "./PeerTypes.js";
 import type { ReactorError } from "./errors.js";
+/**
+ * A host's transport capability. A host resolves and validates what it needs
+ * while its layer is built, so building the layer is the host preflight and
+ * `make` never depends on another call having run first.
+ */
 export interface PeerFactoryShape {
-    /** Validate host support before allocating a remote session. */
-    readonly check: Effect.Effect<void, ReactorError>;
     /** A fresh transport for each connection generation. No Reactor orchestration. */
     readonly make: () => Peer;
+    /**
+     * Fails when the host cannot create a peer right now, for example while a
+     * native runtime still holds an owner that did not join. The session factory
+     * runs it before every remote allocation, so a paid session is never
+     * allocated for a peer that cannot be made. It must not change what `make`
+     * does; a host with nothing to check omits it.
+     */
+    readonly check?: Effect.Effect<void, ReactorError> | undefined;
 }
 declare const PeerFactory_base: Context.ServiceClass<PeerFactory, "reactor-effect-client/PeerFactory", PeerFactoryShape>;
 export declare class PeerFactory extends PeerFactory_base {

package/dist/PeerFactory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PeerFactory.d.ts","sourceRoot":"","sources":["../src/PeerFactory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,MAAM,WAAW,gBAAgB;IAC/B,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAClD,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;CAC3B;;AAED,qBAAa,WAAY,SAAQ,gBAEhC;CAAG;AAEJ,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"PeerFactory.d.ts","sourceRoot":"","sources":["../src/PeerFactory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC;IAC1B;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,SAAS,CAAC;CAChE;;AAED,qBAAa,WAAY,SAAQ,gBAEhC;CAAG;AAEJ,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/PeerFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"PeerFactory.js","sourceRoot":"","sources":["../src/PeerFactory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAY1C,MAAM,OAAO,WAAY,SAAQ,OAAO,CAAC,OAAO,EAAiC,CAC/E,mCAAmC,CACpC;CAAG"}
+{"version":3,"file":"PeerFactory.js","sourceRoot":"","sources":["../src/PeerFactory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAuB1C,MAAM,OAAO,WAAY,SAAQ,OAAO,CAAC,OAAO,EAAiC,CAC/E,mCAAmC,CACpC;CAAG"}

package/dist/PeerTypes.d.ts

@@ -46,7 +46,7 @@ export interface Prepared {
 /** Transport only. Coordinator allocation and Reactor protocol state remain session-owned. */
 export interface Peer {
     readonly rawMedia?: RawMedia;
-    readonly shutdown?: () => Effect.Effect<void, ReactorError>;
+    readonly shutdown?: Effect.Effect<void, ReactorError>;
     readonly nativeTracks?: boolean;
     readonly mediaSupported?: boolean;
     prepare(servers: readonly IceServer[], tracks: readonly Track[], emit: (event: PeerEvent) => void): Effect.Effect<Prepared, ReactorError, Scope.Scope>;
@@ -59,6 +59,6 @@ export interface Peer {
     direction(name: string, active: boolean): Effect.Effect<void, ReactorError>;
     replace(name: string, track: MediaTrack | null): Effect.Effect<void, ReactorError>;
     maxBitrate(name: string, bitsPerSecond: number): Effect.Effect<void, ReactorError>;
-    stats(): Effect.Effect<readonly unknown[], ReactorError>;
+    readonly stats: Effect.Effect<readonly unknown[], ReactorError>;
 }
 //# sourceMappingURL=PeerTypes.d.ts.map

package/dist/PeerTypes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PeerTypes.d.ts","sourceRoot":"","sources":["../src/PeerTypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC7E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AACzC,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,YAAY,GAAG,WAAW,GAAG,cAAc,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAElG,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC;IACtC,KAAK,IAAI,UAAU,CAAC;IACpB,IAAI,IAAI,IAAI,CAAC;CACd;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACvE;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAC;AAE7D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED,8FAA8F;AAC9F,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC5D,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,OAAO,CACL,OAAO,EAAE,SAAS,SAAS,EAAE,EAC7B,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,IAAI,GAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACvD,uFAAuF;IACvF,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC1F,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAC;IAChC,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC5E,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnF,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnF,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,OAAO,EAAE,EAAE,YAAY,CAAC,CAAC;CAC1D"}
+{"version":3,"file":"PeerTypes.d.ts","sourceRoot":"","sources":["../src/PeerTypes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC7E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AACzC,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,YAAY,GAAG,WAAW,GAAG,cAAc,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAElG,iFAAiF;AACjF,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC;IACtC,KAAK,IAAI,UAAU,CAAC;IACpB,IAAI,IAAI,IAAI,CAAC;CACd;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACvE;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAC;AAE7D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED,8FAA8F;AAC9F,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACtD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,OAAO,CACL,OAAO,EAAE,SAAS,SAAS,EAAE,EAC7B,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,IAAI,GAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACvD,uFAAuF;IACvF,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC1F,KAAK,IAAI,IAAI,CAAC;IACd,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAAC;IAChC,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC5E,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnF,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,OAAO,EAAE,EAAE,YAAY,CAAC,CAAC;CACjE"}

package/dist/Sequence.d.ts

@@ -1,4 +1,4 @@
-import { Effect } from "effect";
+import { Effect, Schema } from "effect";
 export type SequenceStatus = "open" | "sealed" | "indeterminate" | "retired";
 export type MemberOutcome = {
     readonly _tag: "Accepted";
@@ -26,20 +26,22 @@ export interface SequenceSnapshot<Owner> {
     readonly sealRequested: boolean;
     readonly members: ReadonlyArray<MemberOutcome>;
 }
-declare const InvalidSequenceOptions_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
-    readonly _tag: "InvalidSequenceOptions";
-} & Readonly<A>;
-export declare class InvalidSequenceOptions extends InvalidSequenceOptions_base<{
-    readonly reason: string;
-}> {
+declare const InvalidSequenceOptions_base: Schema.Class<InvalidSequenceOptions, Schema.TaggedStruct<"InvalidSequenceOptions", {
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** An affinity bound that is not a positive safe integer. */
+export declare class InvalidSequenceOptions extends InvalidSequenceOptions_base {
 }
-declare const SequenceError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
-    readonly _tag: "SequenceError";
-} & Readonly<A>;
-export declare class SequenceError extends SequenceError_base<{
-    readonly sequenceId: string;
-    readonly reason: "capacity" | "member-capacity" | "owner-mismatch" | "sealed" | "sealing" | "indeterminate" | "retired" | "missing" | "member-missing" | "member-duplicate" | "not-releasable";
-}> {
+/** Why a sequence refused an operation. */
+export declare const SequenceCode: Schema.Literals<readonly ["capacity", "member-capacity", "owner-mismatch", "sealed", "sealing", "indeterminate", "retired", "missing", "member-missing", "member-duplicate", "not-releasable"]>;
+export type SequenceCode = typeof SequenceCode.Type;
+declare const SequenceError_base: Schema.Class<SequenceError, Schema.TaggedStruct<"SequenceError", {
+    readonly sequenceId: Schema.String;
+    readonly code: Schema.Literals<readonly ["capacity", "member-capacity", "owner-mismatch", "sealed", "sealing", "indeterminate", "retired", "missing", "member-missing", "member-duplicate", "not-releasable"]>;
+}>, import("effect/Cause").YieldableError>;
+/** A sequence operation the affinity state refused; `code` says why. */
+export declare class SequenceError extends SequenceError_base {
+    get message(): string;
 }
 export interface Affinity<Owner> {
     readonly get: (id: string) => Effect.Effect<SequenceSnapshot<Owner> | undefined>;
@@ -75,6 +77,8 @@ export interface Options<Owner> {
 /**
  * Bounded sequence-affinity state. Unresolved work is never evicted to admit
  * another sequence or member; callers explicitly account and release history.
+ * Every operation is one pure transition of the whole state, applied with
+ * `Ref.modify`, so none observes another half done.
  */
 export declare const makeAffinity: <Owner>(options?: Options<Owner>) => Effect.Effect<Affinity<Owner>, InvalidSequenceOptions>;
 export {};

package/dist/Sequence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Sequence.d.ts","sourceRoot":"","sources":["../src/Sequence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAkB,MAAM,QAAQ,CAAC;AAEtD,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,QAAQ,GAAG,eAAe,GAAG,SAAS,CAAC;AAE7E,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC7F;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC,CAAC;AAEN,MAAM,WAAW,gBAAgB,CAAC,KAAK;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;CAChD;;;;AAED,qBAAa,sBAAuB,SAAQ,4BAA2C;IACrF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;CAAG;;;;AAEL,qBAAa,aAAc,SAAQ,mBAAkC;IACnE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EACX,UAAU,GACV,iBAAiB,GACjB,gBAAgB,GAChB,QAAQ,GACR,SAAS,GACT,eAAe,GACf,SAAS,GACT,SAAS,GACT,gBAAgB,GAChB,kBAAkB,GAClB,gBAAgB,CAAC;CACtB,CAAC;CAAG;AAEL,MAAM,WAAW,QAAQ,CAAC,KAAK;IAC7B,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,sFAAsF;IACtF,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACjF,iEAAiE;IACjE,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACrF,QAAQ,CAAC,QAAQ,EAAE,CACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,CACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,CAClB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAClE,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,wBAAwB,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACtF,+FAA+F;IAC/F,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,OAAO,CAAC,KAAK;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC;CAC7D;AAwCD;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,KAAK,YACvB,OAAO,CAAC,KAAK,CAAC,KACtB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,sBAAsB,CA0QpD,CAAC"}
+{"version":3,"file":"Sequence.d.ts","sourceRoot":"","sources":["../src/Sequence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAO,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE7C,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,QAAQ,GAAG,eAAe,GAAG,SAAS,CAAC;AAE7E,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC7F;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC,CAAC;AAEN,MAAM,WAAW,gBAAgB,CAAC,KAAK;IACrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;CAChD;;;;AAED,6DAA6D;AAC7D,qBAAa,sBAAuB,SAAQ,2BAEW;CAAG;AAE1D,2CAA2C;AAC3C,eAAO,MAAM,YAAY,iMAYvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;;;;;AAEpD,wEAAwE;AACxE,qBAAa,aAAc,SAAQ,kBAEkC;IACnE,IAAa,OAAO,IAAI,MAAM,CAE7B;CACF;AAED,MAAM,WAAW,QAAQ,CAAC,KAAK;IAC7B,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,CAAC;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,sFAAsF;IACtF,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACjF,iEAAiE;IACjE,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACrF,QAAQ,CAAC,QAAQ,EAAE,CACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,CACjB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,OAAO,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,CAClB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,MAAM,EAChB,MAAM,CAAC,EAAE,MAAM,KACZ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxC;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IAClE,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,wBAAwB,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACtF,+FAA+F;IAC/F,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,OAAO,CAAC,KAAK;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC;CAC7D;AA6DD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,GAAI,KAAK,YACvB,OAAO,CAAC,KAAK,CAAC,KACtB,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,sBAAsB,CA6MpD,CAAC"}

package/dist/Sequence.js

@@ -1,105 +1,119 @@
-import { Data, Effect, Ref, Semaphore } from "effect";
-export class InvalidSequenceOptions extends Data.TaggedError("InvalidSequenceOptions") {
+import { Effect, Ref, Schema } from "effect";
+/** An affinity bound that is not a positive safe integer. */
+export class InvalidSequenceOptions extends Schema.TaggedError("reactor-effect-client/InvalidSequenceOptions")("InvalidSequenceOptions", { message: Schema.String }) {
 }
-export class SequenceError extends Data.TaggedError("SequenceError") {
+/** Why a sequence refused an operation. */
+export const SequenceCode = Schema.Literals([
+    "capacity",
+    "member-capacity",
+    "owner-mismatch",
+    "sealed",
+    "sealing",
+    "indeterminate",
+    "retired",
+    "missing",
+    "member-missing",
+    "member-duplicate",
+    "not-releasable",
+]);
+/** A sequence operation the affinity state refused; `code` says why. */
+export class SequenceError extends Schema.TaggedError("reactor-effect-client/SequenceError")("SequenceError", { sequenceId: Schema.String, code: SequenceCode }) {
+    get message() {
+        return `Sequence ${this.sequenceId}: ${this.code}`;
+    }
 }
+const count = (members, tag) => members.reduce((total, member) => (member._tag === tag ? total + 1 : total), 0);
 const immutableMembers = (members) => Object.freeze(members.map((member) => Object.freeze({ ...member })));
 const snapshot = (entry) => Object.freeze({
     id: entry.id,
     owner: entry.owner,
     status: entry.status,
-    acceptedCount: entry.acceptedCount,
-    rejectedCount: entry.rejectedCount,
-    indeterminateCount: entry.indeterminateCount,
+    acceptedCount: count(entry.members, "Accepted"),
+    rejectedCount: count(entry.members, "Rejected"),
+    indeterminateCount: count(entry.members, "Indeterminate"),
     pendingCount: entry.pending.size,
     sealRequested: entry.sealRequested,
     members: immutableMembers(entry.members),
 });
 const positiveInteger = (value, name) => Number.isSafeInteger(value) && value > 0
     ? Effect.succeed(value)
-    : Effect.fail(new InvalidSequenceOptions({ reason: `${name} must be a positive safe integer` }));
+    : Effect.fail(new InvalidSequenceOptions({ message: `${name} must be a positive safe integer` }));
+const refuse = (sequenceId, code) => new SequenceError({ sequenceId, code });
+const unavailable = (id, entry) => entry.status === "sealed"
+    ? refuse(id, "sealed")
+    : entry.status === "indeterminate"
+        ? refuse(id, "indeterminate")
+        : entry.status === "retired"
+            ? refuse(id, "retired")
+            : entry.sealRequested
+                ? refuse(id, "sealing")
+                : undefined;
+const put = (all, entry) => new Map(all).set(entry.id, entry);
 /**
  * Bounded sequence-affinity state. Unresolved work is never evicted to admit
  * another sequence or member; callers explicitly account and release history.
+ * Every operation is one pure transition of the whole state, applied with
+ * `Ref.modify`, so none observes another half done.
  */
 export const makeAffinity = (options = {}) => Effect.gen(function* () {
     const maxEntries = yield* positiveInteger(options.maxEntries ?? 256, "maxEntries");
     const maxMembers = yield* positiveInteger(options.maxMembers ?? 256, "maxMembers");
     const sameOwner = options.sameOwner ?? Object.is;
     const entries = yield* Ref.make(new Map());
-    const lock = yield* Semaphore.make(1);
+    const apply = (transition) => Ref.modify(entries, (all) => {
+        const step = transition(all);
+        return step instanceof SequenceError
+            ? [Effect.fail(step), all]
+            : [Effect.succeed(step[0]), step[1]];
+    }).pipe(Effect.flatten);
+    /** A transition of one existing sequence. */
+    const onEntry = (id, transition) => (all) => {
+        const entry = all.get(id);
+        return entry === undefined ? refuse(id, "missing") : transition(entry, all);
+    };
     const get = (id) => Ref.get(entries).pipe(Effect.map((all) => {
         const entry = all.get(id);
         return entry === undefined ? undefined : snapshot(entry);
     }));
-    const unavailable = (id, entry) => entry.status === "sealed"
-        ? new SequenceError({ sequenceId: id, reason: "sealed" })
-        : entry.status === "indeterminate"
-            ? new SequenceError({ sequenceId: id, reason: "indeterminate" })
-            : entry.status === "retired"
-                ? new SequenceError({ sequenceId: id, reason: "retired" })
-                : entry.sealRequested
-                    ? new SequenceError({ sequenceId: id, reason: "sealing" })
-                    : undefined;
-    const set = (all, entry) => Ref.set(entries, new Map(all).set(entry.id, entry));
-    const bind = (id, owner) => lock.withPermit(Effect.gen(function* () {
-        const all = yield* Ref.get(entries);
+    const bind = (id, owner) => apply((all) => {
         const existing = all.get(id);
         if (existing !== undefined) {
             if (!sameOwner(existing.owner, owner))
-                return yield* new SequenceError({ sequenceId: id, reason: "owner-mismatch" });
-            const failure = unavailable(id, existing);
-            if (failure !== undefined)
-                return yield* failure;
-            return existing.owner;
+                return refuse(id, "owner-mismatch");
+            return unavailable(id, existing) ?? [existing.owner, all];
         }
         if (all.size >= maxEntries)
-            return yield* new SequenceError({ sequenceId: id, reason: "capacity" });
-        const entry = {
-            id,
+            return refuse(id, "capacity");
+        return [
             owner,
-            status: "open",
-            acceptedCount: 0,
-            rejectedCount: 0,
-            indeterminateCount: 0,
-            pending: new Set(),
-            sealRequested: false,
-            members: [],
-        };
-        yield* set(all, entry);
-        return owner;
-    }));
-    const begin = (id, memberId) => lock.withPermit(Effect.gen(function* () {
-        const all = yield* Ref.get(entries);
-        const entry = all.get(id);
-        if (entry === undefined)
-            return yield* new SequenceError({ sequenceId: id, reason: "missing" });
+            put(all, {
+                id,
+                owner,
+                status: "open",
+                pending: new Set(),
+                sealRequested: false,
+                members: [],
+            }),
+        ];
+    });
+    const begin = (id, memberId) => apply(onEntry(id, (entry, all) => {
         const failure = unavailable(id, entry);
         if (failure !== undefined)
-            return yield* failure;
+            return failure;
         if (entry.pending.has(memberId) ||
-            entry.members.some((member) => member.memberId === memberId)) {
-            return yield* new SequenceError({ sequenceId: id, reason: "member-duplicate" });
-        }
-        if (entry.pending.size + entry.members.length >= maxMembers) {
-            return yield* new SequenceError({ sequenceId: id, reason: "member-capacity" });
-        }
-        yield* set(all, { ...entry, pending: new Set(entry.pending).add(memberId) });
+            entry.members.some((member) => member.memberId === memberId))
+            return refuse(id, "member-duplicate");
+        if (entry.pending.size + entry.members.length >= maxMembers)
+            return refuse(id, "member-capacity");
+        return [undefined, put(all, { ...entry, pending: new Set(entry.pending).add(memberId) })];
     }));
-    const settle = (id, memberId, outcome, update, terminal, requestSeal = false) => lock.withPermit(Effect.gen(function* () {
-        const all = yield* Ref.get(entries);
-        const entry = all.get(id);
-        if (entry === undefined)
-            return yield* new SequenceError({ sequenceId: id, reason: "missing" });
-        if (!entry.pending.has(memberId)) {
-            if (entry.members.some((member) => member.memberId === memberId)) {
-                return yield* new SequenceError({ sequenceId: id, reason: "member-duplicate" });
-            }
-            return yield* new SequenceError({ sequenceId: id, reason: "member-missing" });
-        }
+    const settle = (id, memberId, outcome, terminal, requestSeal = false) => apply(onEntry(id, (entry, all) => {
+        if (!entry.pending.has(memberId))
+            return entry.members.some((member) => member.memberId === memberId)
+                ? refuse(id, "member-duplicate")
+                : refuse(id, "member-missing");
         const pending = new Set(entry.pending);
         pending.delete(memberId);
-        const counts = update(entry);
         const sealRequested = entry.sealRequested || requestSeal;
         const status = entry.status === "indeterminate" || entry.status === "retired"
             ? entry.status
@@ -108,48 +122,43 @@ export const makeAffinity = (options = {}) => Effect.gen(function* () {
                 : sealRequested && pending.size === 0
                     ? "sealed"
                     : entry.status;
-        yield* set(all, {
-            ...entry,
-            ...counts,
-            status,
-            sealRequested,
-            pending,
-            members: [...entry.members, outcome(entry)],
-        });
+        return [
+            undefined,
+            put(all, {
+                ...entry,
+                status,
+                sealRequested,
+                pending,
+                members: [...entry.members, outcome(entry)],
+            }),
+        ];
     }));
-    const accepted = (id, memberId, clipId, final = false) => settle(id, memberId, (entry) => ({ _tag: "Accepted", memberId, clipId, index: entry.acceptedCount, final }), (entry) => ({
-        acceptedCount: entry.acceptedCount + 1,
-        rejectedCount: entry.rejectedCount,
-        indeterminateCount: entry.indeterminateCount,
-    }), "known", final);
-    const rejected = (id, memberId, reason, final = false) => settle(id, memberId, () => ({ _tag: "Rejected", memberId, reason }), (entry) => ({
-        acceptedCount: entry.acceptedCount,
-        rejectedCount: entry.rejectedCount + 1,
-        indeterminateCount: entry.indeterminateCount,
+    const accepted = (id, memberId, clipId, final = false) => settle(id, memberId, (entry) => ({
+        _tag: "Accepted",
+        memberId,
+        clipId,
+        index: count(entry.members, "Accepted"),
+        final,
     }), "known", final);
-    const uncertain = (id, memberId, reason) => settle(id, memberId, () => ({ _tag: "Indeterminate", memberId, reason }), (entry) => ({
-        acceptedCount: entry.acceptedCount,
-        rejectedCount: entry.rejectedCount,
-        indeterminateCount: entry.indeterminateCount + 1,
-    }), "unknown");
-    const seal = (id) => lock.withPermit(Effect.gen(function* () {
-        const all = yield* Ref.get(entries);
-        const entry = all.get(id);
-        if (entry === undefined)
-            return yield* new SequenceError({ sequenceId: id, reason: "missing" });
+    const rejected = (id, memberId, reason, final = false) => settle(id, memberId, () => ({ _tag: "Rejected", memberId, reason }), "known", final);
+    const uncertain = (id, memberId, reason) => settle(id, memberId, () => ({ _tag: "Indeterminate", memberId, reason }), "unknown");
+    const seal = (id) => apply(onEntry(id, (entry, all) => {
         if (entry.status === "indeterminate")
-            return yield* new SequenceError({ sequenceId: id, reason: "indeterminate" });
+            return refuse(id, "indeterminate");
         if (entry.status === "retired")
-            return yield* new SequenceError({ sequenceId: id, reason: "retired" });
+            return refuse(id, "retired");
         if (entry.status === "sealed")
-            return;
-        yield* set(all, {
-            ...entry,
-            sealRequested: true,
-            status: entry.pending.size === 0 ? "sealed" : "open",
-        });
+            return [undefined, all];
+        return [
+            undefined,
+            put(all, {
+                ...entry,
+                sealRequested: true,
+                status: entry.pending.size === 0 ? "sealed" : "open",
+            }),
+        ];
     }));
-    const retire = (owner) => lock.withPermit(Ref.update(entries, (all) => {
+    const retire = (owner) => Ref.update(entries, (all) => {
         const next = new Map(all);
         for (const [id, entry] of all) {
             if (!sameOwner(entry.owner, owner))
@@ -167,35 +176,21 @@ export const makeAffinity = (options = {}) => Effect.gen(function* () {
             next.set(id, {
                 ...entry,
                 status: "indeterminate",
-                indeterminateCount: entry.indeterminateCount + entry.pending.size,
                 pending: new Set(),
                 members: [...entry.members, ...pendingOutcomes],
             });
         }
         return next;
-    }));
-    const acknowledgeIndeterminate = (id) => lock.withPermit(Effect.gen(function* () {
-        const all = yield* Ref.get(entries);
-        const entry = all.get(id);
-        if (entry === undefined)
-            return yield* new SequenceError({ sequenceId: id, reason: "missing" });
-        if (entry.status !== "indeterminate" || entry.pending.size !== 0) {
-            return yield* new SequenceError({ sequenceId: id, reason: "not-releasable" });
-        }
-        yield* set(all, { ...entry, status: "retired" });
-    }));
-    const release = (id) => lock.withPermit(Effect.gen(function* () {
-        const all = yield* Ref.get(entries);
-        const entry = all.get(id);
-        if (entry === undefined)
-            return yield* new SequenceError({ sequenceId: id, reason: "missing" });
-        if (entry.pending.size !== 0 ||
-            (entry.status !== "sealed" && entry.status !== "retired")) {
-            return yield* new SequenceError({ sequenceId: id, reason: "not-releasable" });
-        }
+    });
+    const acknowledgeIndeterminate = (id) => apply(onEntry(id, (entry, all) => entry.status !== "indeterminate" || entry.pending.size !== 0
+        ? refuse(id, "not-releasable")
+        : [undefined, put(all, { ...entry, status: "retired" })]));
+    const release = (id) => apply(onEntry(id, (entry, all) => {
+        if (entry.pending.size !== 0 || (entry.status !== "sealed" && entry.status !== "retired"))
+            return refuse(id, "not-releasable");
         const next = new Map(all);
         next.delete(id);
-        yield* Ref.set(entries, next);
+        return [undefined, next];
     }));
     return {
         get,