reactor-effect-client 0.7.1 → 0.8.0

package/dist/Session.js

@@ -0,0 +1,51 @@
+import * as Schema from "effect/Schema";
+import { Termination } from "./Coordinator.js";
+import { FailureSummary } from "./ReactorError.js";
+/** A recording the session prepared, with the playlist to download it from. */
+export const ClipReady = Schema.Struct({
+    sessionId: Schema.String,
+    kind: Schema.String,
+    startMarker: Schema.Finite,
+    endMarker: Schema.Finite,
+    nowMarker: Schema.Finite,
+    predictedReadyAtMs: Schema.BigInt,
+    playlistUrl: Schema.String,
+});
+/**
+ * A control-channel message Reactor sent. Provider text (a clip failure's
+ * reason, an error's code and message) stays `Redacted`.
+ */
+export const ControlMessage = Schema.Union([
+    Schema.TaggedStruct("ModelSchema", { openapi: Schema.optionalKey(Schema.JsonObject) }),
+    Schema.TaggedStruct("ClipReady", { clip: ClipReady }),
+    Schema.TaggedStruct("ClipFailed", { reason: Schema.Redacted(Schema.String) }),
+    Schema.TaggedStruct("TrackPublished", { name: Schema.String }),
+    Schema.TaggedStruct("Error", {
+        code: Schema.Redacted(Schema.String),
+        message: Schema.Redacted(Schema.String),
+    }),
+]);
+/**
+ * A session's cleanup evidence, a Schema so it can be persisted. Termination
+ * is confirmed by an independent read, never by a DELETE response alone.
+ */
+export const CloseReport = Schema.Struct({
+    localClosed: Schema.Boolean,
+    allocation: Schema.Literals(["none", "known", "unknown"]),
+    ownership: Schema.optionalKey(Schema.Literals(["owned", "attached"])),
+    sessionId: Schema.optionalKey(Schema.String),
+    remote: Termination,
+    unpublishSubmitted: Schema.Array(Schema.String),
+    /** Claims possibly accepted remotely without an attributable response. */
+    unresolvedPublications: Schema.Array(Schema.String),
+    localErrors: Schema.Array(FailureSummary),
+});
+/**
+ * Whether the session a report closed may still bill: this process owned it
+ * and no read confirmed it ended, or it asked for an allocation whose outcome,
+ * and so whose id, never arrived. Nothing can confirm the second ended; the
+ * session's cap bounds it.
+ */
+export const mayStillBill = (report) => report.allocation === "unknown" ||
+    (report.allocation === "known" && report.ownership === "owned" && !report.remote.confirmed);
+//# sourceMappingURL=Session.js.map

package/dist/Session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Session.js","sourceRoot":"","sources":["../src/Session.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAK/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAInD,+EAA+E;AAC/E,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,kBAAkB,EAAE,MAAM,CAAC,MAAM;IACjC,WAAW,EAAE,MAAM,CAAC,MAAM;CAC3B,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC;IACzC,MAAM,CAAC,YAAY,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;IACtF,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACrD,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7E,MAAM,CAAC,YAAY,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC9D,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE;QAC3B,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;QACpC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;KACxC,CAAC;CACH,CAAC,CAAC;AAoBH;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,WAAW,EAAE,MAAM,CAAC,OAAO;IAC3B,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACzD,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IACrE,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,WAAW;IACnB,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/C,0EAA0E;IAC1E,sBAAsB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACnD,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC;CAC1C,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAmB,EAAW,EAAE,CAC3D,MAAM,CAAC,UAAU,KAAK,SAAS;IAC/B,CAAC,MAAM,CAAC,UAAU,KAAK,OAAO,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC"}

package/dist/index.d.ts

@@ -1,23 +1,13 @@
-/** Portable entry point: importing it does not select or load a native/browser peer. */
-export { Client, make, layer, AcquisitionFailure, CommandFailure } from "./session/index.js";
-export type { Factory, Configuration, CreateOptions, AttachOptions, Session, } from "./session/index.js";
-export * as Coordinator from "./coordinator/index.js";
-export * as Peers from "./PeerFactory.js";
-export * as FetchHttp from "./FetchHttp.js";
-export { ReactorError, ErrorCode, FailureCode, Failure, Http, Remote, Native, IceFailed, TransportFailed, ClipEnded, ReactorErrorReason, isReactorFailure, } from "./errors.js";
-export type { ErrorContext, MessageCode, ReactorFailure, RemoteOutcome } from "./errors.js";
-export { PeerFactory } from "./PeerFactory.js";
-export { recorder } from "./session/recorder.js";
-export type { Recorded } from "./session/recorder.js";
-export type { PeerFactoryShape } from "./PeerFactory.js";
-export type { SessionEvent, EventPayload, Snapshot, ReadyState, ReadyDescriptor, Status, Ownership, Observe, Observation, Attribution, CommandReply, CommandOptions, ReplyTimeoutOptions, SessionTimeouts, Uploaded, UploadProgress, UploadTimeoutOptions, } from "./SessionTypes.js";
-export { CloseReport } from "./SessionTypes.js";
-export { Termination } from "./coordinator/_internal/client.js";
-export type { HttpOptions } from "./coordinator/_internal/client.js";
-export type { CommandContext } from "./session/commands.js";
-export type { Correlation } from "./correlation.js";
-export type { Statistics } from "./stats.js";
-export type { Json, JsonObject } from "./json.js";
-export { Capabilities, Mapping, SessionDescriptor, Track } from "./contract.js";
-export type { Descriptor } from "./contract.js";
+/** Portable entry point: importing it selects no host and loads no native code. */
+export * as Coordinator from "./Coordinator.js";
+export * as H3 from "./H3.js";
+export * as H3Source from "./H3Source.js";
+export * as LocalSource from "./LocalSource.js";
+export * as Media from "./Media.js";
+export * as Peer from "./Peer.js";
+export * as Playout from "./Playout.js";
+export * as Reactor from "./Reactor.js";
+export * as ReactorError from "./ReactorError.js";
+export * as ReactorTest from "./ReactorTest.js";
+export * as Session from "./Session.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC7F,YAAY,EACV,OAAO,EACP,aAAa,EACb,aAAa,EACb,aAAa,EACb,OAAO,GACR,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EACL,YAAY,EACZ,SAAS,EACT,WAAW,EACX,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,SAAS,EACT,eAAe,EACf,SAAS,EACT,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5F,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,YAAY,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EACV,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,eAAe,EACf,MAAM,EACN,SAAS,EACT,OAAO,EACP,WAAW,EACX,WAAW,EACX,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,eAAe,EACf,QAAQ,EACR,cAAc,EACd,oBAAoB,GACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAChE,YAAY,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AACrE,YAAY,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAChF,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -1,12 +1,13 @@
-/** Portable entry point: importing it does not select or load a native/browser peer. */
-export { Client, make, layer, AcquisitionFailure, CommandFailure } from "./session/index.js";
-export * as Coordinator from "./coordinator/index.js";
-export * as Peers from "./PeerFactory.js";
-export * as FetchHttp from "./FetchHttp.js";
-export { ReactorError, ErrorCode, FailureCode, Failure, Http, Remote, Native, IceFailed, TransportFailed, ClipEnded, ReactorErrorReason, isReactorFailure, } from "./errors.js";
-export { PeerFactory } from "./PeerFactory.js";
-export { recorder } from "./session/recorder.js";
-export { CloseReport } from "./SessionTypes.js";
-export { Termination } from "./coordinator/_internal/client.js";
-export { Capabilities, Mapping, SessionDescriptor, Track } from "./contract.js";
+/** Portable entry point: importing it selects no host and loads no native code. */
+export * as Coordinator from "./Coordinator.js";
+export * as H3 from "./H3.js";
+export * as H3Source from "./H3Source.js";
+export * as LocalSource from "./LocalSource.js";
+export * as Media from "./Media.js";
+export * as Peer from "./Peer.js";
+export * as Playout from "./Playout.js";
+export * as Reactor from "./Reactor.js";
+export * as ReactorError from "./ReactorError.js";
+export * as ReactorTest from "./ReactorTest.js";
+export * as Session from "./Session.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAQ7F,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EACL,YAAY,EACZ,SAAS,EACT,WAAW,EACX,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,SAAS,EACT,eAAe,EACf,SAAS,EACT,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAsBjD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAMhE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,mFAAmF;AACnF,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC"}

package/dist/internal/correlator.d.ts

@@ -0,0 +1,46 @@
+/**
+ * Request/reply correlation for the Reactor wire.
+ *
+ * Effect's `RpcClient` does not fit this wire: it drops a late or second
+ * reply, forgets a request whose caller was interrupted and has no bound. A
+ * model command is paid and has no cancel message, so a reply must stay
+ * attributable after its caller stops waiting. Requests are registered before
+ * they are sent, replies are labelled rather than dropped, and retiring a
+ * generation fails its requests with their dispatch outcome.
+ */
+import * as Deferred from "effect/Deferred";
+import * as Effect from "effect/Effect";
+import { ReactorError } from "../ReactorError.js";
+/** How a reply relates to the requests this client made. */
+export type Correlation = "matched" | "late" | "duplicate" | "unsolicited" | "late-or-unknown" | "stale-generation";
+export interface Pending<A> {
+    readonly id: string;
+    readonly generation: bigint;
+    readonly operation: string;
+    readonly deferred: Deferred.Deferred<A, ReactorError>;
+}
+export interface Correlator<A> {
+    readonly size: Effect.Effect<number>;
+    readonly register: (generation: bigint, operation: string) => Effect.Effect<Pending<A>, ReactorError>;
+    readonly submitted: (pending: Pending<A>) => Effect.Effect<void>;
+    readonly isSubmitted: (pending: Pending<A>) => Effect.Effect<boolean>;
+    readonly isPending: (pending: Pending<A>) => Effect.Effect<boolean>;
+    /** The caller stopped waiting; a later reply is `late`, not `matched`. */
+    readonly abandon: (pending: Pending<A>) => Effect.Effect<void>;
+    readonly cancel: (pending: Pending<A>) => Effect.Effect<boolean>;
+    /**
+     * Labels a reply, then builds its result and completes the request if it
+     * was pending. `result` runs before the caller wakes, so what it publishes
+     * is ordered before anything the caller does next.
+     */
+    readonly settle: (id: string, generation: bigint, result: (correlation: Correlation) => Effect.Effect<A, ReactorError>, stage?: "acknowledged" | "replied") => Effect.Effect<Correlation>;
+    readonly failGeneration: (generation: bigint, failure: ReactorError) => Effect.Effect<void>;
+}
+export declare const make: <A>(options: {
+    readonly prefix: "data" | "ctrl";
+    /** Requests awaiting a reply at once. */
+    readonly limit: number;
+    /** Distinguishes this client's ids from another's on a shared session. */
+    readonly namespace: string;
+}) => Effect.Effect<Correlator<A>>;
+//# sourceMappingURL=correlator.d.ts.map

package/dist/internal/correlator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correlator.d.ts","sourceRoot":"","sources":["../../src/internal/correlator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,4DAA4D;AAC5D,MAAM,MAAM,WAAW,GACnB,SAAS,GACT,MAAM,GACN,WAAW,GACX,aAAa,GACb,iBAAiB,GACjB,kBAAkB,CAAC;AAEvB,MAAM,WAAW,OAAO,CAAC,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;CACvD;AAsBD,MAAM,WAAW,UAAU,CAAC,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,CACjB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjE,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtE,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpE,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/D,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACjE;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,EACpE,KAAK,CAAC,EAAE,cAAc,GAAG,SAAS,KAC/B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAC7F;AAuCD,eAAO,MAAM,IAAI,GAAI,CAAC,WAAW;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,yCAAyC;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,KAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAoI5B,CAAC"}

package/dist/internal/correlator.js

@@ -0,0 +1,150 @@
+/**
+ * Request/reply correlation for the Reactor wire.
+ *
+ * Effect's `RpcClient` does not fit this wire: it drops a late or second
+ * reply, forgets a request whose caller was interrupted and has no bound. A
+ * model command is paid and has no cancel message, so a reply must stay
+ * attributable after its caller stops waiting. Requests are registered before
+ * they are sent, replies are labelled rather than dropped, and retiring a
+ * generation fails its requests with their dispatch outcome.
+ */
+import * as Deferred from "effect/Deferred";
+import * as Effect from "effect/Effect";
+import * as Ref from "effect/Ref";
+import { ReactorError } from "../ReactorError.js";
+const remember = (state, id, generation, completion) => {
+    const recent = new Map(state.recent).set(id, { generation, completion });
+    if (recent.size > 256) {
+        const oldest = recent.keys().next();
+        if (oldest.done !== true)
+            recent.delete(oldest.value);
+    }
+    return recent;
+};
+/** How a reply on `generation` relates to its request, pending or recently completed. */
+const correlationOf = (entry, recent, generation, stage) => {
+    if (entry !== undefined) {
+        if (entry.pending.generation !== generation)
+            return "stale-generation";
+        return entry.waiting ? "matched" : "late";
+    }
+    if (recent === undefined)
+        return "late-or-unknown";
+    if (recent.generation !== generation)
+        return "stale-generation";
+    if (recent.completion === "acknowledged" && stage === "replied")
+        return "late";
+    return recent.completion === "cancelled" ? "late-or-unknown" : "duplicate";
+};
+const without = (pending, id) => {
+    const next = new Map(pending);
+    next.delete(id);
+    return next;
+};
+export const make = (options) => Effect.map(Ref.make({ counter: 0n, pending: new Map(), recent: new Map() }), (state) => {
+    const update = (pending, change) => Ref.update(state, (current) => {
+        const entry = current.pending.get(pending.id);
+        return entry?.pending === pending
+            ? { ...current, pending: new Map(current.pending).set(pending.id, change(entry)) }
+            : current;
+    });
+    const entryOf = (pending) => Effect.map(Ref.get(state), (current) => {
+        const entry = current.pending.get(pending.id);
+        return entry?.pending === pending ? entry : undefined;
+    });
+    return {
+        size: Effect.map(Ref.get(state), (current) => current.pending.size),
+        register: Effect.fnUntraced(function* (generation, operation) {
+            const deferred = yield* Deferred.make();
+            const pending = yield* Ref.modify(state, (current) => {
+                if (current.pending.size >= options.limit)
+                    return [undefined, current];
+                const counter = current.counter + 1n;
+                const id = `${options.prefix}_${options.namespace}_${String(counter)}`;
+                const pending = { id, generation, operation, deferred };
+                return [
+                    pending,
+                    {
+                        ...current,
+                        counter,
+                        pending: new Map(current.pending).set(id, {
+                            pending,
+                            submitted: false,
+                            waiting: true,
+                        }),
+                    },
+                ];
+            });
+            if (pending === undefined)
+                return yield* ReactorError.fromCode("Overflow", "pending request bound reached", {
+                    operation,
+                    outcome: "not-submitted",
+                });
+            return pending;
+        }),
+        submitted: (pending) => update(pending, (entry) => ({ ...entry, submitted: true })),
+        isSubmitted: (pending) => Effect.map(entryOf(pending), (entry) => entry?.submitted === true),
+        isPending: (pending) => Effect.map(entryOf(pending), (entry) => entry !== undefined),
+        abandon: (pending) => update(pending, (entry) => ({ ...entry, waiting: false })),
+        cancel: (pending) => Ref.modify(state, (current) => current.pending.get(pending.id)?.pending === pending
+            ? [
+                true,
+                {
+                    ...current,
+                    pending: without(current.pending, pending.id),
+                    recent: remember(current, pending.id, pending.generation, "cancelled"),
+                },
+            ]
+            : [false, current]),
+        settle: Effect.fnUntraced(function* (id, generation, result, stage = "replied") {
+            const [correlation, matched] = yield* Ref.modify(state, (current) => {
+                const entry = current.pending.get(id);
+                const recent = current.recent.get(id);
+                const correlation = id === "" ? "unsolicited" : correlationOf(entry, recent, generation, stage);
+                if (entry !== undefined && (correlation === "matched" || correlation === "late"))
+                    return [
+                        [correlation, entry.pending],
+                        {
+                            ...current,
+                            pending: without(current.pending, id),
+                            recent: remember(current, id, generation, stage),
+                        },
+                    ];
+                // An acknowledgement and a later model payload are two facts.
+                if (correlation === "late" && recent?.completion === "acknowledged")
+                    return [
+                        [correlation, undefined],
+                        { ...current, recent: remember(current, id, generation, "replied") },
+                    ];
+                return [[correlation, undefined], current];
+            });
+            const completion = yield* Effect.exit(result(correlation));
+            if (matched !== undefined)
+                yield* Deferred.done(matched.deferred, completion);
+            return correlation;
+        }),
+        failGeneration: Effect.fnUntraced(function* (generation, failure) {
+            const retired = yield* Ref.modify(state, (current) => {
+                const retired = [...current.pending.values()].filter((entry) => entry.pending.generation === generation);
+                let recent = current.recent;
+                const pending = new Map(current.pending);
+                for (const entry of retired) {
+                    pending.delete(entry.pending.id);
+                    recent = remember({ ...current, recent }, entry.pending.id, generation, "cancelled");
+                }
+                return [retired, { ...current, pending, recent }];
+            });
+            yield* Effect.forEach(retired, (entry) => Deferred.fail(entry.pending.deferred, ReactorError.make({
+                reason: failure.reason,
+                context: {
+                    ...failure.context,
+                    operation: entry.pending.operation,
+                    requestId: entry.pending.id,
+                    generation,
+                    outcome: entry.submitted ? "unknown" : "not-submitted",
+                },
+            })), { discard: true });
+        }),
+    };
+});
+//# sourceMappingURL=correlator.js.map

package/dist/internal/correlator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correlator.js","sourceRoot":"","sources":["../../src/internal/correlator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,YAAY,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAgElD,MAAM,QAAQ,GAAG,CACf,KAAe,EACf,EAAU,EACV,UAAkB,EAClB,UAAsB,EACF,EAAE;IACtB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC;IACzE,IAAI,MAAM,CAAC,IAAI,GAAG,GAAG,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,yFAAyF;AACzF,MAAM,aAAa,GAAG,CACpB,KAA2B,EAC3B,MAA0B,EAC1B,UAAkB,EAClB,KAAiC,EACpB,EAAE;IACf,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU;YAAE,OAAO,kBAAkB,CAAC;QACvE,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAC;IACnD,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU;QAAE,OAAO,kBAAkB,CAAC;IAChE,IAAI,MAAM,CAAC,UAAU,KAAK,cAAc,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC/E,OAAO,MAAM,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,OAAO,GAAG,CAAI,OAA4B,EAAE,EAAU,EAAuB,EAAE;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChB,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAI,OAMvB,EAAgC,EAAE,CACjC,MAAM,CAAC,GAAG,CACR,GAAG,CAAC,IAAI,CAAW,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,EAC1E,CAAC,KAAK,EAAiB,EAAE;IACvB,MAAM,MAAM,GAAG,CAAC,OAAmB,EAAE,MAAqC,EAAE,EAAE,CAC5E,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9C,OAAO,KAAK,EAAE,OAAO,KAAK,OAAO;YAC/B,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE;YAClF,CAAC,CAAC,OAAO,CAAC;IACd,CAAC,CAAC,CAAC;IACL,MAAM,OAAO,GAAG,CAAC,OAAmB,EAAE,EAAE,CACtC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9C,OAAO,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACxD,CAAC,CAAC,CAAC;IACL,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACnE,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAkB,EAAE,SAAiB;YAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAmB,CAAC;YACzD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE;gBACnD,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK;oBAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAU,CAAC;gBAChF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,GAAG,EAAE,CAAC;gBACrC,MAAM,EAAE,GAAG,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvE,MAAM,OAAO,GAAe,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;gBACpE,OAAO;oBACL,OAAO;oBACP;wBACE,GAAG,OAAO;wBACV,OAAO;wBACP,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE;4BACxC,OAAO;4BACP,SAAS,EAAE,KAAK;4BAChB,OAAO,EAAE,IAAI;yBACd,CAAC;qBACH;iBACO,CAAC;YACb,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,KAAK,SAAS;gBACvB,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,EAAE,+BAA+B,EAAE;oBAC/E,SAAS;oBACT,OAAO,EAAE,eAAe;iBACzB,CAAC,CAAC;YACL,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC;QACF,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnF,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CACvB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,SAAS,KAAK,IAAI,CAAC;QACpE,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;QACpF,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAC5B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,KAAK,OAAO;YAClD,CAAC,CAAC;gBACE,IAAI;gBACJ;oBACE,GAAG,OAAO;oBACV,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;oBAC7C,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC;iBACvE;aACF;YACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CACrB;QACH,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACjC,EAAU,EACV,UAAkB,EAClB,MAAoE,EACpE,KAAK,GAA+B,SAAS;YAE7C,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAC9C,KAAK,EACL,CAAC,OAAO,EAAuE,EAAE;gBAC/E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtC,MAAM,WAAW,GACf,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;gBAC9E,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,MAAM,CAAC;oBAC9E,OAAO;wBACL,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAU;wBACrC;4BACE,GAAG,OAAO;4BACV,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;4BACrC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC;yBACjD;qBACO,CAAC;gBACb,8DAA8D;gBAC9D,IAAI,WAAW,KAAK,MAAM,IAAI,MAAM,EAAE,UAAU,KAAK,cAAc;oBACjE,OAAO;wBACL,CAAC,WAAW,EAAE,SAAS,CAAU;wBACjC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE;qBAC5D,CAAC;gBACb,OAAO,CAAC,CAAC,WAAW,EAAE,SAAS,CAAU,EAAE,OAAO,CAAU,CAAC;YAC/D,CAAC,CACF,CAAC;YACF,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;YAC3D,IAAI,OAAO,KAAK,SAAS;gBAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAC9E,OAAO,WAAW,CAAC;QACrB,CAAC,CAAC;QACF,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,UAAkB,EAAE,OAAqB;YACpF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE;gBACnD,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAClD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,KAAK,UAAU,CACnD,CAAC;gBACF,IAAI,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;gBAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;gBACzC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;oBAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACjC,MAAM,GAAG,QAAQ,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;gBACvF,CAAC;gBACD,OAAO,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAU,CAAC;YAC7D,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,OAAO,EACP,CAAC,KAAK,EAAE,EAAE,CACR,QAAQ,CAAC,IAAI,CACX,KAAK,CAAC,OAAO,CAAC,QAAQ,EACtB,YAAY,CAAC,IAAI,CAAC;gBAChB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,OAAO,EAAE;oBACP,GAAG,OAAO,CAAC,OAAO;oBAClB,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;oBAClC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;oBAC3B,UAAU;oBACV,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe;iBACvD;aACF,CAAC,CACH,EACH,EAAE,OAAO,EAAE,IAAI,EAAE,CAClB,CAAC;QACJ,CAAC,CAAC;KACH,CAAC;AACJ,CAAC,CACF,CAAC"}

package/dist/internal/deadline.d.ts

@@ -0,0 +1,24 @@
+/**
+ * A deadline a caller names in an option, in any `Duration.Input` form,
+ * decoded once where it comes in. `Duration` reads a NaN as zero and keeps a
+ * negative or infinite number as it is, so every numeric form is checked
+ * finite before it becomes a duration, and the duration must be finite and
+ * not negative.
+ */
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { ReactorError } from "../ReactorError.js";
+export declare const Deadline: Schema.Union<readonly [Schema.Duration, Schema.DurationFromString, Schema.DurationFromNanos, Schema.decodeTo<Schema.Duration, Schema.Finite, never, never>, Schema.decodeTo<Schema.Duration, Schema.Tuple<readonly [Schema.Finite, Schema.Finite]>, never, never>, Schema.decodeTo<Schema.Duration, Schema.Struct<{
+    readonly weeks: Schema.optional<Schema.Finite>;
+    readonly days: Schema.optional<Schema.Finite>;
+    readonly hours: Schema.optional<Schema.Finite>;
+    readonly minutes: Schema.optional<Schema.Finite>;
+    readonly seconds: Schema.optional<Schema.Finite>;
+    readonly milliseconds: Schema.optional<Schema.Finite>;
+    readonly microseconds: Schema.optional<Schema.Finite>;
+    readonly nanoseconds: Schema.optional<Schema.Finite>;
+}>, never, never>]>;
+/** A decoder of the option `name`: anything but a finite, non-negative duration is `InvalidInput`. */
+export declare const decode: (name: string) => (input: Duration.Input) => Effect.Effect<Duration.Duration, ReactorError>;
+//# sourceMappingURL=deadline.d.ts.map

package/dist/internal/deadline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deadline.d.ts","sourceRoot":"","sources":["../../src/internal/deadline.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAiBlD,eAAO,MAAM,QAAQ;;;;;;;;;mBAwBpB,CAAC;AAEF,sGAAsG;AACtG,eAAO,MAAM,MAAM,SACV,MAAM,aACL,QAAQ,CAAC,KAAK,KAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAQnE,CAAC"}

package/dist/internal/deadline.js

@@ -0,0 +1,44 @@
+/**
+ * A deadline a caller names in an option, in any `Duration.Input` form,
+ * decoded once where it comes in. `Duration` reads a NaN as zero and keeps a
+ * negative or infinite number as it is, so every numeric form is checked
+ * finite before it becomes a duration, and the duration must be finite and
+ * not negative.
+ */
+import * as Duration from "effect/Duration";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import * as SchemaGetter from "effect/SchemaGetter";
+import * as SchemaIssue from "effect/SchemaIssue";
+import * as SchemaTransformation from "effect/SchemaTransformation";
+import { ReactorError } from "../ReactorError.js";
+/** A tuple or object form, which `Duration` reads without a Schema of its own. */
+const parts = (form) => form.pipe(Schema.decodeTo(Schema.Duration, {
+    decode: SchemaGetter.transformEffect((input) => Effect.fromOption(Duration.fromInput(input)).pipe(Effect.mapError(() => new SchemaIssue.InvalidValue({ message: "not a duration" }, input)))),
+    encode: SchemaGetter.forbidden(() => "a deadline is only decoded"),
+}));
+const Finite = Schema.optional(Schema.Finite);
+export const Deadline = Schema.Union([
+    Schema.Duration,
+    Schema.DurationFromString,
+    Schema.DurationFromNanos,
+    Schema.Finite.pipe(Schema.decodeTo(Schema.Duration, SchemaTransformation.durationFromMillis)),
+    parts(Schema.Tuple([Schema.Finite, Schema.Finite])),
+    parts(Schema.Struct({
+        weeks: Finite,
+        days: Finite,
+        hours: Finite,
+        minutes: Finite,
+        seconds: Finite,
+        milliseconds: Finite,
+        microseconds: Finite,
+        nanoseconds: Finite,
+    })),
+]).check(Schema.makeFilter((duration) => (Duration.isFinite(duration) && !Duration.isNegative(duration)) ||
+    "a finite duration that is not negative"));
+/** A decoder of the option `name`: anything but a finite, non-negative duration is `InvalidInput`. */
+export const decode = (name) => (input) => Schema.decodeEffect(Deadline)(input).pipe(Effect.mapError((cause) => ReactorError.fromCode("InvalidInput", `${name} is not a finite, non-negative duration`, {
+    outcome: "not-submitted",
+    detail: cause,
+})));
+//# sourceMappingURL=deadline.js.map

package/dist/internal/deadline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deadline.js","sourceRoot":"","sources":["../../src/internal/deadline.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,YAAY,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,WAAW,MAAM,oBAAoB,CAAC;AAClD,OAAO,KAAK,oBAAoB,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,kFAAkF;AAClF,MAAM,KAAK,GAAG,CAAyD,IAAO,EAAE,EAAE,CAChF,IAAI,CAAC,IAAI,CACP,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE;IAC/B,MAAM,EAAE,YAAY,CAAC,eAAe,CAAC,CAAC,KAAqB,EAAE,EAAE,CAC7D,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAC/C,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,WAAW,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,KAAK,CAAC,CAAC,CAC1F,CACF;IACD,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,4BAA4B,CAAC;CACnE,CAAC,CACH,CAAC;AAEJ,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAE9C,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;IACnC,MAAM,CAAC,QAAQ;IACf,MAAM,CAAC,kBAAkB;IACzB,MAAM,CAAC,iBAAiB;IACxB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,oBAAoB,CAAC,kBAAkB,CAAC,CAAC;IAC7F,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,KAAK,CACH,MAAM,CAAC,MAAM,CAAC;QACZ,KAAK,EAAE,MAAM;QACb,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,MAAM;QACb,OAAO,EAAE,MAAM;QACf,OAAO,EAAE,MAAM;QACf,YAAY,EAAE,MAAM;QACpB,YAAY,EAAE,MAAM;QACpB,WAAW,EAAE,MAAM;KACpB,CAAC,CACH;CACF,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CACf,CAAC,QAAQ,EAAE,EAAE,CACX,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC/D,wCAAwC,CAC3C,CACF,CAAC;AAEF,sGAAsG;AACtG,MAAM,CAAC,MAAM,MAAM,GACjB,CAAC,IAAY,EAAE,EAAE,CACjB,CAAC,KAAqB,EAAkD,EAAE,CACxE,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACvC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,QAAQ,CAAC,cAAc,EAAE,GAAG,IAAI,yCAAyC,EAAE;IACtF,OAAO,EAAE,eAAe;IACxB,MAAM,EAAE,KAAK;CACd,CAAC,CACH,CACF,CAAC"}

package/dist/{h3/_internal/contracts.d.ts → internal/h3/commands.d.ts}

@@ -1,10 +1,16 @@
+/**
+ * H3's commands: each one's arguments and the message it replies with, and
+ * the check that a deployment's OpenAPI document offers them.
+ */
+import * as Result from "effect/Result";
 import * as Schema from "effect/Schema";
-import type { MessageType } from "../messages.js";
+import { ReactorError } from "../../ReactorError.js";
+import type { MessageType } from "./messages.js";
+import { documentedVersion, modelName } from "./profile.js";
 /**
- * One command-to-reply authority for deployment admission and client calls.
- * Required keys describe what this adapter always supplies, not what a server
- * must require. Nullable parameters describe the documented deployment shape;
- * the adapter's outgoing arguments omit null and retain its existing validators.
+ * One command-to-reply authority for the client, the simulated model and the
+ * deployment check. Required keys are what this adapter always sends;
+ * nullable parameters follow the documented deployment shape.
  */
 export declare const Commands: {
     readonly enqueue: {
@@ -22,7 +28,7 @@ export declare const Commands: {
                 readonly mime_type: Schema.String;
                 readonly size: Schema.Int;
             }>>>>;
-            readonly seconds: Schema.optionalKey<Schema.NullOr<Schema.Number>>;
+            readonly seconds: Schema.optionalKey<Schema.NullOr<Schema.Finite>>;
             readonly seed: Schema.optionalKey<Schema.NullOr<Schema.Int>>;
             readonly position: Schema.optionalKey<Schema.NullOr<Schema.Int>>;
             readonly metadata: Schema.String;
@@ -61,7 +67,7 @@ export declare const Commands: {
     };
     readonly set_clip_seconds: {
         readonly args: Schema.Struct<{
-            readonly seconds: Schema.Number;
+            readonly seconds: Schema.Finite;
         }>;
         readonly reply: "clip_length_accepted";
     };
@@ -105,32 +111,32 @@ export type ReplyCommand = {
 }[CommandName];
 export type ReplyType<K extends ReplyCommand> = (typeof Commands)[K]["reply"];
 export type ControlCommand = Exclude<CommandName, ReplyCommand>;
-/** Only the structural subset already required by H3 deployment admission. */
-export interface Shape {
-    readonly type: "string" | "number" | "integer" | "boolean" | "object" | "array";
-    readonly nullable?: boolean;
-    readonly fields?: Readonly<Record<string, Shape>>;
-    readonly required?: readonly string[];
-    readonly items?: Shape;
+/** What this adapter supports, and what the deployment it checked declares. */
+export interface Contract {
+    readonly modelName: typeof modelName;
+    readonly documentedVersion: typeof documentedVersion;
+    readonly source: string;
+    /**
+     * Whether the deployment's `enqueue` declares `reference_audios`. When it
+     * does not, a request with audio is refused as `UnsupportedCapability`
+     * before anything is uploaded or sent.
+     */
+    readonly referenceAudio: boolean;
+    /**
+     * The commands the deployment offers. One it lacks fails its operation as
+     * `UnsupportedCapability` before anything is sent.
+     */
+    readonly commands: ReadonlySet<CommandName>;
+    readonly deployment: {
+        readonly title: string | null;
+        readonly version: string | null;
+    };
 }
-export declare const messageShapes: Readonly<Record<MessageType, Shape>>;
 /**
- * Arguments a request sends only when it uses them, and that a deployment may
- * leave undeclared: it is then admitted without that capability. When it
- * declares one, the declaration must have the shape above.
+ * Admits a deployment whose OpenAPI document offers the commands a provider
+ * needs to start, and records which others it offers. Payloads are checked
+ * where they arrive: a message that does not match its Schema fails the
+ * provider as `Protocol`.
  */
-export declare const capabilityArguments: Partial<Record<CommandName, readonly string[]>>;
-export declare const deploymentCommands: {
-    name: string;
-    args: {
-        type: "string" | "number" | "integer" | "boolean" | "object" | "array";
-        nullable?: boolean;
-        fields?: Readonly<Record<string, Shape>>;
-        items?: Shape;
-        required: never[];
-    };
-    supplied: readonly string[];
-    capabilities: readonly string[];
-    reply: "autoplay_accepted" | "canvas_accepted" | "clip_length_accepted" | "clip_moved" | "clip_popped" | "clip_queued" | "flush_accepted" | "queue_update" | "seed_accepted" | "session_reset" | "state_update" | null;
-}[];
-//# sourceMappingURL=contracts.d.ts.map
+export declare const deploymentContract: (openapi: Schema.Json | undefined) => Result.Result<Contract, ReactorError>;
+//# sourceMappingURL=commands.d.ts.map

package/dist/internal/h3/commands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../src/internal/h3/commands.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAU,MAAM,cAAc,CAAC;AAUpE;;;;GAIG;AACH,eAAO,MAAM,QAAQ;;iBAEjB,IAAI;;;;;;;;;;;;;;;;;;;;iBAUJ,KAAK,EAAE,aAAa;;;iBAGpB,IAAI;;;;iBACJ,KAAK,EAAE,YAAY;;;iBAEd,IAAI;;;iBAA6C,KAAK,EAAE,aAAa;;;iBACpE,IAAI;;;iBAA6C,KAAK;;;iBACtD,IAAI;iBAAe,KAAK;;;iBACpB,IAAI;;;iBAAuC,KAAK,EAAE,eAAe;;;iBAE3E,IAAI;;;iBACJ,KAAK,EAAE,sBAAsB;;;iBAEjB,IAAI;;;iBAA4C,KAAK,EAAE,iBAAiB;;;iBACtE,IAAI;;;iBAA8C,KAAK,EAAE,mBAAmB;;;iBAE1F,IAAI;;;iBACJ,KAAK,EAAE,gBAAgB;;;iBAEZ,IAAI;iBAAe,KAAK,EAAE,cAAc;;;iBACxC,IAAI;iBAAe,KAAK,EAAE,cAAc;;;iBAC5C,IAAI;iBAAe,KAAK,EAAE,eAAe;;CAGnD,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,MAAM,OAAO,QAAQ,CAAC;AAChD,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI;IAC/C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,OAAO,CACjE,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACvC,IAAI,CACL;CACF,CAAC;AACF,MAAM,MAAM,YAAY,GAAG;KACxB,CAAC,IAAI,WAAW,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,WAAW,GAAG,CAAC,GAAG,KAAK;CAClF,CAAC,WAAW,CAAC,CAAC;AACf,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,YAAY,IAAI,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAC9E,MAAM,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;AAKhE,+EAA+E;AAC/E,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,SAAS,CAAC;IACrC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,iBAAiB,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;CACzF;AAoCD;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,YACpB,MAAM,CAAC,IAAI,GAAG,SAAS,KAC/B,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAyCnC,CAAC"}