@earendil-works/chord 1.0.4 → 1.2.0

package/dist/wire.d.ts

@@ -0,0 +1,135 @@
+import type { Description } from "./contract.ts";
+import type { WireOp } from "./delta/index.ts";
+import { ChordError, type ChordErrorCode } from "./errors.ts";
+import type { Principal } from "./types.ts";
+export interface RootRef {
+    readonly rootId: string;
+    readonly epoch: number;
+}
+export interface WireError {
+    readonly code: ChordErrorCode;
+    readonly message: string;
+    readonly reason?: string;
+}
+export interface WireReloadOptions {
+    readonly remove?: readonly string[];
+    readonly gateDeadline?: number;
+    readonly retireDeadline?: number;
+}
+/** A child's prepared reload, sent with its vote (same fields as `ReloadReport`, without children). */
+export interface WireReloadReport {
+    readonly epoch: number;
+    readonly previous: number;
+    readonly changed: readonly string[];
+    readonly removed: readonly string[];
+    readonly prepared: readonly string[];
+    readonly gated: readonly string[];
+}
+export type Frame = {
+    readonly t: "hello";
+    readonly name: string;
+    readonly kind: "host" | "client";
+    readonly epoch: number;
+} | {
+    readonly t: "hold";
+    readonly id: number;
+    /** Target host name. */
+    readonly at: string;
+    /** The consumer's contract token; the provider checks that it covers it. */
+    readonly token: Description;
+    readonly input: unknown;
+    /** A forwarded principal. Honored only on frames from the parent link. */
+    readonly principal?: Principal;
+    /** Set by a relay when the hold originates from a client (browser): not a reload participant. */
+    readonly client?: boolean;
+} | {
+    readonly t: "release";
+    readonly id: number;
+} | {
+    readonly t: "shape";
+    readonly id: number;
+    readonly kind?: string;
+    readonly members: readonly string[];
+    readonly contract: string;
+    readonly epoch: number;
+} | {
+    readonly t: "gone";
+    readonly id: number;
+    readonly error: WireError;
+} | {
+    readonly t: "call";
+    readonly id: number;
+    readonly hold: number;
+    readonly member: string;
+    readonly args: unknown;
+    /** Absent: the receiving host starts a root (browsers never carry roots). */
+    readonly root?: RootRef;
+} | {
+    readonly t: "result";
+    readonly id: number;
+    readonly value?: unknown;
+    readonly error?: WireError;
+} | {
+    readonly t: "cancel";
+    readonly id: number;
+} | {
+    readonly t: "sub";
+    readonly id: number;
+    readonly hold: number;
+    readonly member: string;
+} | {
+    readonly t: "unsub";
+    readonly id: number;
+} | {
+    readonly t: "state";
+    readonly id: number;
+    readonly snap?: unknown;
+    readonly reset?: unknown;
+    /** Encoded with the subscription's delta encoder. */
+    readonly ops?: readonly WireOp[];
+    readonly error?: WireError;
+} | {
+    readonly t: "ping";
+    readonly n: number;
+} | {
+    readonly t: "pong";
+    readonly n: number;
+} | {
+    readonly t: "bye";
+    readonly reason?: string;
+}
+/** The root ended at its origin: its leases on records end (sent on every link the root's calls used). */
+ | {
+    readonly t: "root_end";
+    readonly rootId: string;
+} | {
+    readonly t: "invalidate";
+    readonly pattern: Readonly<Record<string, unknown>>;
+} | {
+    readonly t: "prepare";
+    readonly reload: number;
+    readonly epoch: number;
+    readonly plugins: readonly string[];
+    readonly options: WireReloadOptions;
+} | {
+    readonly t: "vote";
+    readonly reload: number;
+    readonly error?: WireError;
+    readonly report?: WireReloadReport;
+} | {
+    readonly t: "commit";
+    readonly reload: number;
+}
+/** The parent dropped `epoch`: roots of it may still come from there no longer. */
+ | {
+    readonly t: "retire";
+    readonly epoch: number;
+} | {
+    readonly t: "abort";
+    readonly reload: number;
+};
+export declare function toWireError(error: unknown): WireError;
+export declare const fromWireError: (error: WireError) => ChordError;
+/** A frame that passes structural validation; anything else is a protocol violation. */
+export declare const isFrame: (value: unknown) => value is Frame;
+//# sourceMappingURL=wire.d.ts.map

package/dist/wire.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAQ5C,MAAM,WAAW,OAAO;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,SAAS;IACzB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,uGAAuG;AACvG,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,MAAM,KAAK,GACd;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACxG;IACA,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,iGAAiG;IACjG,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CACzB,GACD;IAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC9C;IACA,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACtE;IACA,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACvB,GACD;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;CAAE,GACnG;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC1F;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC5C;IACA,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE;AACjD,0GAA0G;GACxG;IAAE,QAAQ,CAAC,CAAC,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;CAAE,GACjF;IACA,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACnC,GACD;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAA;CAAE,GAC/G;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACnD,mFAAmF;GACjF;IAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpD,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAOrD;AAED,eAAO,MAAM,aAAa,UAAW,SAAS,KAAG,UACyD,CAAC;AAwG3G,wFAAwF;AACxF,eAAO,MAAM,OAAO,UAAW,OAAO,KAAG,KAAK,IAAI,KAAwC,CAAC"}

package/dist/wire.js

@@ -0,0 +1,112 @@
+import { Type } from "typebox";
+import { Value } from "typebox/value";
+import { ChordError } from "./errors.js";
+export function toWireError(error) {
+    if (error instanceof ChordError) {
+        return error.reason === undefined
+            ? { code: error.code, message: error.message }
+            : { code: error.code, message: error.message, reason: error.reason };
+    }
+    return { code: "unavailable", message: error instanceof Error ? error.message : String(error) };
+}
+export const fromWireError = (error) => new ChordError(error.code, error.message.replace(/^[a-z_]+(\/[a-z_]+)?: /, ""), { reason: error.reason });
+// ─── validation ──────────────────────────────────────────────────────────────
+const Id = Type.Integer({ minimum: 1 });
+const Name = Type.String({ minLength: 1 });
+const Root = Type.Object({ rootId: Name, epoch: Type.Integer({ minimum: 1 }) });
+const ErrorShape = Type.Object({ code: Type.String(), message: Type.String(), reason: Type.Optional(Type.String()) });
+const Reload = Type.Integer({ minimum: 1 });
+/** Structural schema of every frame. Payloads (args, values, ops) are checked where they are used. */
+const FrameSchema = Type.Union([
+    Type.Object({
+        t: Type.Literal("hello"),
+        name: Name,
+        kind: Type.Union([Type.Literal("host"), Type.Literal("client")]),
+        epoch: Type.Integer({ minimum: 0 }),
+    }),
+    Type.Object({
+        t: Type.Literal("hold"),
+        id: Id,
+        at: Name,
+        token: Type.Object({
+            name: Name,
+            scope: Type.String(),
+            version: Type.Integer(),
+            input: Type.Unknown(),
+            variants: Type.Record(Type.String(), Type.Unknown()),
+        }),
+        input: Type.Unknown(),
+        principal: Type.Optional(Type.Unknown()),
+        client: Type.Optional(Type.Boolean()),
+    }),
+    Type.Object({ t: Type.Literal("release"), id: Id }),
+    Type.Object({
+        t: Type.Literal("shape"),
+        id: Id,
+        kind: Type.Optional(Type.String()),
+        members: Type.Array(Type.String()),
+        contract: Type.String(),
+        epoch: Type.Integer(),
+    }),
+    Type.Object({ t: Type.Literal("gone"), id: Id, error: ErrorShape }),
+    Type.Object({
+        t: Type.Literal("call"),
+        id: Id,
+        hold: Id,
+        member: Name,
+        args: Type.Unknown(),
+        root: Type.Optional(Root),
+    }),
+    Type.Object({
+        t: Type.Literal("result"),
+        id: Id,
+        value: Type.Optional(Type.Unknown()),
+        error: Type.Optional(ErrorShape),
+    }),
+    Type.Object({ t: Type.Literal("cancel"), id: Id }),
+    Type.Object({ t: Type.Literal("sub"), id: Id, hold: Id, member: Name }),
+    Type.Object({ t: Type.Literal("unsub"), id: Id }),
+    Type.Object({
+        t: Type.Literal("state"),
+        id: Id,
+        snap: Type.Optional(Type.Unknown()),
+        reset: Type.Optional(Type.Unknown()),
+        ops: Type.Optional(Type.Array(Type.Array(Type.Unknown()))),
+        error: Type.Optional(ErrorShape),
+    }),
+    Type.Object({ t: Type.Literal("ping"), n: Type.Integer() }),
+    Type.Object({ t: Type.Literal("pong"), n: Type.Integer() }),
+    Type.Object({ t: Type.Literal("bye"), reason: Type.Optional(Type.String()) }),
+    Type.Object({ t: Type.Literal("root_end"), rootId: Name }),
+    Type.Object({ t: Type.Literal("invalidate"), pattern: Type.Record(Type.String(), Type.Unknown()) }),
+    Type.Object({
+        t: Type.Literal("prepare"),
+        reload: Reload,
+        epoch: Type.Integer({ minimum: 1 }),
+        plugins: Type.Array(Type.String()),
+        options: Type.Object({
+            remove: Type.Optional(Type.Array(Type.String())),
+            gateDeadline: Type.Optional(Type.Number()),
+            retireDeadline: Type.Optional(Type.Number()),
+        }),
+    }),
+    Type.Object({
+        t: Type.Literal("vote"),
+        reload: Reload,
+        error: Type.Optional(ErrorShape),
+        report: Type.Optional(Type.Object({
+            epoch: Type.Integer(),
+            previous: Type.Integer(),
+            changed: Type.Array(Type.String()),
+            removed: Type.Array(Type.String()),
+            prepared: Type.Array(Type.String()),
+            gated: Type.Array(Type.String()),
+        })),
+    }),
+    Type.Object({ t: Type.Literal("commit"), reload: Reload }),
+    Type.Object({ t: Type.Literal("retire"), epoch: Type.Integer({ minimum: 1 }) }),
+    Type.Object({ t: Type.Literal("abort"), reload: Reload }),
+]);
+/** A frame that passes structural validation; anything else is a protocol violation. */
+export const isFrame = (value) => Value.Check(FrameSchema, value);
+//# sourceMappingURL=wire.js.map

package/dist/wire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.js","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,OAAO,EAAE,UAAU,EAAuB,MAAM,aAAa,CAAC;AAsG9D,MAAM,UAAU,WAAW,CAAC,KAAc;IACzC,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC,MAAM,KAAK,SAAS;YAChC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;YAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAgB,EAAc,EAAE,CAC7D,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAE3G,gFAAgF;AAEhF,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AACxC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;AAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAChF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AACtH,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAE5C,sGAAsG;AACtG,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;KACnC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACvB,EAAE,EAAE,EAAE;QACN,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;YACpB,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;YACvB,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;YACrB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;SACpD,CAAC;QACF,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;QACrB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACxC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;KACrC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IACnD,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;QACvB,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACnE,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACvB,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;QACpB,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;KACzB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,EAAE,EAAE,EAAE;QACN,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;KAChC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IAClD,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACvE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACnC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC1D,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;KAChC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;IAC3D,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;IAC3D,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;IAC7E,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;IACnG,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;YACpB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAChD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;SAC5C,CAAC;KACF,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACvB,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC,QAAQ,CACpB,IAAI,CAAC,MAAM,CAAC;YACX,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;YACrB,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;YACxB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAClC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAClC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;SAChC,CAAC,CACF;KACD,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/E,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;CACzD,CAAC,CAAC;AAEH,wFAAwF;AACxF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAc,EAAkB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC","sourcesContent":["import { Type } from \"typebox\";\nimport { Value } from \"typebox/value\";\nimport type { Description } from \"./contract.ts\";\nimport type { WireOp } from \"./delta/index.ts\";\nimport { ChordError, type ChordErrorCode } from \"./errors.ts\";\nimport type { Principal } from \"./types.ts\";\n\n// JSON frames between two hosts (or a host and a client). Ids are chosen by the side that creates the hold, call or\n// subscription; every frame type has one direction, so ids never collide:\n//   consumer → provider: hold, release, call, cancel, sub, unsub\n//   provider → consumer: shape, gone, result, state\n//   both: hello, ping, pong, bye, root_end; parent → child: invalidate, prepare, commit, abort, retire; child → parent: vote\n\nexport interface RootRef {\n\treadonly rootId: string;\n\treadonly epoch: number;\n}\n\nexport interface WireError {\n\treadonly code: ChordErrorCode;\n\treadonly message: string;\n\treadonly reason?: string;\n}\n\nexport interface WireReloadOptions {\n\treadonly remove?: readonly string[];\n\treadonly gateDeadline?: number;\n\treadonly retireDeadline?: number;\n}\n\n/** A child's prepared reload, sent with its vote (same fields as `ReloadReport`, without children). */\nexport interface WireReloadReport {\n\treadonly epoch: number;\n\treadonly previous: number;\n\treadonly changed: readonly string[];\n\treadonly removed: readonly string[];\n\treadonly prepared: readonly string[];\n\treadonly gated: readonly string[];\n}\n\nexport type Frame =\n\t| { readonly t: \"hello\"; readonly name: string; readonly kind: \"host\" | \"client\"; readonly epoch: number }\n\t| {\n\t\t\treadonly t: \"hold\";\n\t\t\treadonly id: number;\n\t\t\t/** Target host name. */\n\t\t\treadonly at: string;\n\t\t\t/** The consumer's contract token; the provider checks that it covers it. */\n\t\t\treadonly token: Description;\n\t\t\treadonly input: unknown;\n\t\t\t/** A forwarded principal. Honored only on frames from the parent link. */\n\t\t\treadonly principal?: Principal;\n\t\t\t/** Set by a relay when the hold originates from a client (browser): not a reload participant. */\n\t\t\treadonly client?: boolean;\n\t  }\n\t| { readonly t: \"release\"; readonly id: number }\n\t| {\n\t\t\treadonly t: \"shape\";\n\t\t\treadonly id: number;\n\t\t\treadonly kind?: string;\n\t\t\treadonly members: readonly string[];\n\t\t\treadonly contract: string;\n\t\t\treadonly epoch: number;\n\t  }\n\t| { readonly t: \"gone\"; readonly id: number; readonly error: WireError }\n\t| {\n\t\t\treadonly t: \"call\";\n\t\t\treadonly id: number;\n\t\t\treadonly hold: number;\n\t\t\treadonly member: string;\n\t\t\treadonly args: unknown;\n\t\t\t/** Absent: the receiving host starts a root (browsers never carry roots). */\n\t\t\treadonly root?: RootRef;\n\t  }\n\t| { readonly t: \"result\"; readonly id: number; readonly value?: unknown; readonly error?: WireError }\n\t| { readonly t: \"cancel\"; readonly id: number }\n\t| { readonly t: \"sub\"; readonly id: number; readonly hold: number; readonly member: string }\n\t| { readonly t: \"unsub\"; readonly id: number }\n\t| {\n\t\t\treadonly t: \"state\";\n\t\t\treadonly id: number;\n\t\t\treadonly snap?: unknown;\n\t\t\treadonly reset?: unknown;\n\t\t\t/** Encoded with the subscription's delta encoder. */\n\t\t\treadonly ops?: readonly WireOp[];\n\t\t\treadonly error?: WireError;\n\t  }\n\t| { readonly t: \"ping\"; readonly n: number }\n\t| { readonly t: \"pong\"; readonly n: number }\n\t| { readonly t: \"bye\"; readonly reason?: string }\n\t/** The root ended at its origin: its leases on records end (sent on every link the root's calls used). */\n\t| { readonly t: \"root_end\"; readonly rootId: string }\n\t| { readonly t: \"invalidate\"; readonly pattern: Readonly<Record<string, unknown>> }\n\t| {\n\t\t\treadonly t: \"prepare\";\n\t\t\treadonly reload: number;\n\t\t\treadonly epoch: number;\n\t\t\treadonly plugins: readonly string[];\n\t\t\treadonly options: WireReloadOptions;\n\t  }\n\t| { readonly t: \"vote\"; readonly reload: number; readonly error?: WireError; readonly report?: WireReloadReport }\n\t| { readonly t: \"commit\"; readonly reload: number }\n\t/** The parent dropped `epoch`: roots of it may still come from there no longer. */\n\t| { readonly t: \"retire\"; readonly epoch: number }\n\t| { readonly t: \"abort\"; readonly reload: number };\n\nexport function toWireError(error: unknown): WireError {\n\tif (error instanceof ChordError) {\n\t\treturn error.reason === undefined\n\t\t\t? { code: error.code, message: error.message }\n\t\t\t: { code: error.code, message: error.message, reason: error.reason };\n\t}\n\treturn { code: \"unavailable\", message: error instanceof Error ? error.message : String(error) };\n}\n\nexport const fromWireError = (error: WireError): ChordError =>\n\tnew ChordError(error.code, error.message.replace(/^[a-z_]+(\\/[a-z_]+)?: /, \"\"), { reason: error.reason });\n\n// ─── validation ──────────────────────────────────────────────────────────────\n\nconst Id = Type.Integer({ minimum: 1 });\nconst Name = Type.String({ minLength: 1 });\nconst Root = Type.Object({ rootId: Name, epoch: Type.Integer({ minimum: 1 }) });\nconst ErrorShape = Type.Object({ code: Type.String(), message: Type.String(), reason: Type.Optional(Type.String()) });\nconst Reload = Type.Integer({ minimum: 1 });\n\n/** Structural schema of every frame. Payloads (args, values, ops) are checked where they are used. */\nconst FrameSchema = Type.Union([\n\tType.Object({\n\t\tt: Type.Literal(\"hello\"),\n\t\tname: Name,\n\t\tkind: Type.Union([Type.Literal(\"host\"), Type.Literal(\"client\")]),\n\t\tepoch: Type.Integer({ minimum: 0 }),\n\t}),\n\tType.Object({\n\t\tt: Type.Literal(\"hold\"),\n\t\tid: Id,\n\t\tat: Name,\n\t\ttoken: Type.Object({\n\t\t\tname: Name,\n\t\t\tscope: Type.String(),\n\t\t\tversion: Type.Integer(),\n\t\t\tinput: Type.Unknown(),\n\t\t\tvariants: Type.Record(Type.String(), Type.Unknown()),\n\t\t}),\n\t\tinput: Type.Unknown(),\n\t\tprincipal: Type.Optional(Type.Unknown()),\n\t\tclient: Type.Optional(Type.Boolean()),\n\t}),\n\tType.Object({ t: Type.Literal(\"release\"), id: Id }),\n\tType.Object({\n\t\tt: Type.Literal(\"shape\"),\n\t\tid: Id,\n\t\tkind: Type.Optional(Type.String()),\n\t\tmembers: Type.Array(Type.String()),\n\t\tcontract: Type.String(),\n\t\tepoch: Type.Integer(),\n\t}),\n\tType.Object({ t: Type.Literal(\"gone\"), id: Id, error: ErrorShape }),\n\tType.Object({\n\t\tt: Type.Literal(\"call\"),\n\t\tid: Id,\n\t\thold: Id,\n\t\tmember: Name,\n\t\targs: Type.Unknown(),\n\t\troot: Type.Optional(Root),\n\t}),\n\tType.Object({\n\t\tt: Type.Literal(\"result\"),\n\t\tid: Id,\n\t\tvalue: Type.Optional(Type.Unknown()),\n\t\terror: Type.Optional(ErrorShape),\n\t}),\n\tType.Object({ t: Type.Literal(\"cancel\"), id: Id }),\n\tType.Object({ t: Type.Literal(\"sub\"), id: Id, hold: Id, member: Name }),\n\tType.Object({ t: Type.Literal(\"unsub\"), id: Id }),\n\tType.Object({\n\t\tt: Type.Literal(\"state\"),\n\t\tid: Id,\n\t\tsnap: Type.Optional(Type.Unknown()),\n\t\treset: Type.Optional(Type.Unknown()),\n\t\tops: Type.Optional(Type.Array(Type.Array(Type.Unknown()))),\n\t\terror: Type.Optional(ErrorShape),\n\t}),\n\tType.Object({ t: Type.Literal(\"ping\"), n: Type.Integer() }),\n\tType.Object({ t: Type.Literal(\"pong\"), n: Type.Integer() }),\n\tType.Object({ t: Type.Literal(\"bye\"), reason: Type.Optional(Type.String()) }),\n\tType.Object({ t: Type.Literal(\"root_end\"), rootId: Name }),\n\tType.Object({ t: Type.Literal(\"invalidate\"), pattern: Type.Record(Type.String(), Type.Unknown()) }),\n\tType.Object({\n\t\tt: Type.Literal(\"prepare\"),\n\t\treload: Reload,\n\t\tepoch: Type.Integer({ minimum: 1 }),\n\t\tplugins: Type.Array(Type.String()),\n\t\toptions: Type.Object({\n\t\t\tremove: Type.Optional(Type.Array(Type.String())),\n\t\t\tgateDeadline: Type.Optional(Type.Number()),\n\t\t\tretireDeadline: Type.Optional(Type.Number()),\n\t\t}),\n\t}),\n\tType.Object({\n\t\tt: Type.Literal(\"vote\"),\n\t\treload: Reload,\n\t\terror: Type.Optional(ErrorShape),\n\t\treport: Type.Optional(\n\t\t\tType.Object({\n\t\t\t\tepoch: Type.Integer(),\n\t\t\t\tprevious: Type.Integer(),\n\t\t\t\tchanged: Type.Array(Type.String()),\n\t\t\t\tremoved: Type.Array(Type.String()),\n\t\t\t\tprepared: Type.Array(Type.String()),\n\t\t\t\tgated: Type.Array(Type.String()),\n\t\t\t}),\n\t\t),\n\t}),\n\tType.Object({ t: Type.Literal(\"commit\"), reload: Reload }),\n\tType.Object({ t: Type.Literal(\"retire\"), epoch: Type.Integer({ minimum: 1 }) }),\n\tType.Object({ t: Type.Literal(\"abort\"), reload: Reload }),\n]);\n\n/** A frame that passes structural validation; anything else is a protocol violation. */\nexport const isFrame = (value: unknown): value is Frame => Value.Check(FrameSchema, value);\n"]}