@earendil-works/chord 1.5.0 → 1.5.1

package/dist/wire.d.ts

@@ -1,197 +0,0 @@
-import { type Schema, type Static } from "@earendil-works/pi-schema";
-import { ChordError } from "./errors.ts";
-/**
- * The link protocol version, announced in `hello`. Peers of different versions do not talk: the side that notices
- * closes the link with reason `protocol-version <its version>`, so the other side learns it too
- * (`LinkOptions.onProtocolMismatch`).
- */
-export declare const PROTOCOL_VERSION = 4;
-declare const RootRefSchema: Schema<{
-    rootId: string;
-    codeVersion: number;
-}>;
-export type RootRef = Static<typeof RootRefSchema>;
-declare const WireErrorSchema: Schema<{
-    code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
-    message: string;
-    reason?: string | undefined;
-}>;
-export type WireError = Static<typeof WireErrorSchema>;
-declare const WireReloadOptionsSchema: Schema<{
-    remove?: readonly string[] | undefined;
-    gateDeadline?: number | undefined;
-    retireDeadline?: number | undefined;
-}>;
-export type WireReloadOptions = Static<typeof WireReloadOptionsSchema>;
-/** A child's prepared reload, sent with its vote (same fields as `ReloadReport`, without children). */
-declare const WireReloadReportSchema: Schema<{
-    codeVersion: number;
-    previous: number;
-    changed: readonly string[];
-    removed: readonly string[];
-    prepared: readonly string[];
-    gated: readonly string[];
-}>;
-export type WireReloadReport = Static<typeof WireReloadReportSchema>;
-declare const FrameSchema: Schema<{
-    t: "hello";
-    protocol?: number | undefined;
-    name: string;
-    kind: "client" | "host";
-    codeVersion: number;
-    acks?: boolean | undefined;
-} | {
-    t: "ack";
-    n: number;
-} | {
-    t: "hold";
-    id: number;
-    at: string;
-    token: {
-        name: string;
-        scope: "local" | "remote";
-        version: number;
-        input: Schema;
-        host?: {
-            name: string;
-        } | {
-            prefix: string;
-            key: string;
-        } | undefined;
-        variants: Record<string, Record<string, {
-            kind: "method";
-            args?: Schema | undefined;
-            result?: Schema | undefined;
-        } | {
-            kind: "state";
-            schema: Schema;
-        } | {
-            kind: "opaque";
-            id: string;
-        }>>;
-    };
-    input: unknown;
-    principal?: unknown;
-    origin?: string | undefined;
-    state?: false | undefined;
-    again?: true | undefined;
-} | {
-    t: "release";
-    id: number;
-} | {
-    t: "shape";
-    id: number;
-    variant?: string | undefined;
-    members: readonly string[];
-    contract: string;
-    state: readonly string[];
-} | {
-    t: "gone";
-    id: number;
-    error: {
-        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
-        message: string;
-        reason?: string | undefined;
-    };
-} | {
-    t: "call";
-    id: number;
-    hold: number;
-    member: string;
-    args?: unknown;
-    root?: {
-        rootId: string;
-        codeVersion: number;
-    } | undefined;
-} | {
-    t: "result";
-    id: number;
-    value?: unknown;
-    error?: {
-        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
-        message: string;
-        reason?: string | undefined;
-    } | undefined;
-} | {
-    t: "cancel";
-    id: number;
-} | {
-    t: "sub";
-    hold: number;
-} | {
-    t: "unsub";
-    hold: number;
-} | {
-    t: "resync";
-    hold: number;
-    m: string;
-} | {
-    t: "state";
-    hold: number;
-    m: string;
-    as: "error" | "ops" | "reset" | "snap";
-    value?: unknown;
-    ops?: readonly (readonly unknown[])[] | undefined;
-    error?: {
-        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
-        message: string;
-        reason?: string | undefined;
-    } | undefined;
-} | {
-    t: "ping";
-    n: number;
-} | {
-    t: "pong";
-    n: number;
-} | {
-    t: "bye";
-    reason?: string | undefined;
-} | {
-    t: "root_end";
-    rootId: string;
-} | {
-    t: "invalidate";
-    pattern: Record<string, unknown>;
-} | {
-    t: "prepare";
-    reload: number;
-    codeVersion: number;
-    plugins: readonly string[];
-    options: {
-        remove?: readonly string[] | undefined;
-        gateDeadline?: number | undefined;
-        retireDeadline?: number | undefined;
-    };
-} | {
-    t: "vote";
-    reload: number;
-    error?: {
-        code: "aborted" | "contract_mismatch" | "forbidden" | "gone" | "invalid" | "not_in_variant" | "not_ready" | "released" | "superseded" | "unavailable" | "upgrade_conflict" | "upgrade_required";
-        message: string;
-        reason?: string | undefined;
-    } | undefined;
-    report?: {
-        codeVersion: number;
-        previous: number;
-        changed: readonly string[];
-        removed: readonly string[];
-        prepared: readonly string[];
-        gated: readonly string[];
-    } | undefined;
-} | {
-    t: "commit";
-    reload: number;
-} | {
-    t: "retire";
-    codeVersion: number;
-} | {
-    t: "abort";
-    reload: number;
-}>;
-export type Frame = Static<typeof FrameSchema>;
-/** A frame that passes validation; anything else is a protocol violation. */
-export declare const isFrame: (value: unknown) => value is Frame;
-export declare function toWireError(error: unknown): WireError;
-export declare const fromWireError: (error: WireError) => ChordError;
-export {};
-//# sourceMappingURL=wire.d.ts.map

package/dist/wire.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA,OAAO,EAYN,KAAK,MAAM,EACX,KAAK,MAAM,EAIX,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAqB,UAAU,EAAE,MAAM,aAAa,CAAC;AAe5D;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAUlC,QAAA,MAAM,aAAa;;;EAA2D,CAAC;AAC/E,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAC;AAEnD,QAAA,MAAM,eAAe;;;;EAInB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAC;AAEvD,QAAA,MAAM,uBAAuB;;;;EAI3B,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAEvE,uGAAuG;AACvG,QAAA,MAAM,sBAAsB;;;;;;;EAO1B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAErE,QAAA,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAyGf,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAC;AAE/C,6EAA6E;AAC7E,eAAO,MAAM,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,KAAkC,CAAC;AAEtF,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAOrD;AAED,eAAO,MAAM,aAAa,UAAW,SAAS,KAAG,UACyD,CAAC"}

package/dist/wire.js

@@ -1,166 +0,0 @@
-import { arr, bool, compile, int, lit, map, num, obj, oneOf, opt, str, union, unknown, } from "@earendil-works/pi-schema";
-import { DescriptionSchema } from "./contract.js";
-import { CHORD_ERROR_CODES, ChordError } from "./errors.js";
-// JSON frames between two hosts (or a host and a client). Ids are chosen by the side that creates the hold, call or
-// subscription; every frame type has one direction, so ids never collide:
-//   consumer → provider: hold, release, call, cancel, sub, unsub, resync
-//   provider → consumer: shape, gone, result, state
-// State is addressed by (hold id, member): a hold implies the state of its variant, sent as units (a shape followed by
-// a snapshot of each member the consumer lacks; see Connection).
-//   both: hello, ping, pong, bye, root_end, ack; parent → child: invalidate, prepare, commit, abort, retire;
-//   child → parent: vote
-//
-// Each frame is declared once, as the schema every received frame is checked against (`isFrame`); the types are derived
-// from it. Payloads (hold inputs, call args, results, snapshots) stay `unknown`: they are validated where they are
-// used, against the contract. State ops are checked op by op by the delta decoder.
-/**
- * The link protocol version, announced in `hello`. Peers of different versions do not talk: the side that notices
- * closes the link with reason `protocol-version <its version>`, so the other side learns it too
- * (`LinkOptions.onProtocolMismatch`).
- */
-export const PROTOCOL_VERSION = 4;
-const Id = int({ minimum: 1 });
-const Name = str({ minLength: 1 });
-const Reload = int({ minimum: 1 });
-/** Arrays a sender may pass as readonly: the same schema, a readonly type. */
-const List = (item) => arr(item);
-/** An object that admits fields it does not name (a newer peer's), as every frame does. */
-const Open = (properties) => obj(properties, { open: true });
-const RootRefSchema = Open({ rootId: Name, codeVersion: int({ minimum: 1 }) });
-const WireErrorSchema = Open({
-    code: oneOf(CHORD_ERROR_CODES),
-    message: str(),
-    reason: opt(str()),
-});
-const WireReloadOptionsSchema = Open({
-    remove: opt(List(str())),
-    gateDeadline: opt(num()),
-    retireDeadline: opt(num()),
-});
-/** A child's prepared reload, sent with its vote (same fields as `ReloadReport`, without children). */
-const WireReloadReportSchema = Open({
-    codeVersion: int(),
-    previous: int(),
-    changed: List(str()),
-    removed: List(str()),
-    prepared: List(str()),
-    gated: List(str()),
-});
-const FrameSchema = union([
-    Open({
-        t: lit("hello"),
-        /** The link protocol version (`PROTOCOL_VERSION`; absent: 1). Peers of another version close the link. */
-        protocol: opt(int({ minimum: 1 })),
-        name: Name,
-        kind: union([lit("host"), lit("client")]),
-        codeVersion: int({ minimum: 0 }),
-        /** The sender acknowledges what it receives (`ack`). Flow control applies only when both hellos say so. */
-        acks: opt(bool()),
-    }),
-    /** Every frame received so far except `ack` frames, counted from the link's start, once processed. */
-    Open({ t: lit("ack"), n: int({ minimum: 1 }) }),
-    Open({
-        t: lit("hold"),
-        id: Id,
-        /**
-         * Target host name, resolved by the consumer from the token's `host` and `input`. Relays route on it after
-         * checking it against both; the target refuses an input its own contract places elsewhere.
-         */
-        at: Name,
-        /** The consumer's contract token; the provider checks that it covers it. Remote tokens carry `host`. */
-        token: DescriptionSchema,
-        /** Normalized with the consumer's contract. */
-        input: unknown(),
-        /** A forwarded principal. Honored only on frames from the parent link. */
-        principal: opt(unknown()),
-        /**
-         * The client connection the hold comes from: an opaque id the server assigned to it, forwarded by relays. Honored
-         * only on frames from the parent link; present means the hold is a client's (not a reload participant).
-         */
-        origin: opt(Name),
-        /** False: no state for this hold until `sub` (a method-only binding). */
-        state: opt(lit(false)),
-        /** The consumer already has values (a re-hold after a link loss): its unit is not urgent. */
-        again: opt(lit(true)),
-    }),
-    Open({ t: lit("release"), id: Id }),
-    Open({
-        t: lit("shape"),
-        id: Id,
-        variant: opt(str()),
-        members: List(str()),
-        contract: str(),
-        /** The state members whose snapshots follow this frame; the consumer applies the shape once they are here. */
-        state: List(Name),
-    }),
-    Open({ t: lit("gone"), id: Id, error: WireErrorSchema }),
-    Open({
-        t: lit("call"),
-        id: Id,
-        hold: Id,
-        member: Name,
-        args: opt(unknown()),
-        /** Absent: the receiving host starts a root (browsers never carry roots). */
-        root: opt(RootRefSchema),
-    }),
-    Open({
-        t: lit("result"),
-        id: Id,
-        value: opt(unknown()),
-        error: opt(WireErrorSchema),
-    }),
-    Open({ t: lit("cancel"), id: Id }),
-    /** Starts the state of a hold opened with `state: false` (answered with a unit). */
-    Open({ t: lit("sub"), hold: Id }),
-    /** Stops the state of a hold. */
-    Open({ t: lit("unsub"), hold: Id }),
-    /** Sends member `m` again as a reset (a relay that had to drop what waited for it). */
-    Open({ t: lit("resync"), hold: Id, m: Name }),
-    Open({
-        t: lit("state"),
-        hold: Id,
-        m: Name,
-        /** `snap`/`reset` without `value`: the value is `undefined`. */
-        as: union([lit("snap"), lit("reset"), lit("ops"), lit("error")]),
-        value: opt(unknown()),
-        /** Encoded with the stream's delta encoder; the decoder validates each op. */
-        ops: opt(List(List(unknown()))),
-        error: opt(WireErrorSchema),
-    }),
-    Open({ t: lit("ping"), n: int() }),
-    Open({ t: lit("pong"), n: int() }),
-    /** Ends the link (consumed by the link itself). `reason: "protocol-version <n>"`: the sender speaks version n. */
-    Open({ t: lit("bye"), reason: opt(str()) }),
-    /** The root ended at its origin: its leases on objects end (sent on every link the root's calls used). */
-    Open({ t: lit("root_end"), rootId: Name }),
-    Open({ t: lit("invalidate"), pattern: map(unknown()) }),
-    Open({
-        t: lit("prepare"),
-        reload: Reload,
-        codeVersion: int({ minimum: 1 }),
-        plugins: List(str()),
-        options: WireReloadOptionsSchema,
-    }),
-    Open({
-        t: lit("vote"),
-        reload: Reload,
-        error: opt(WireErrorSchema),
-        report: opt(WireReloadReportSchema),
-    }),
-    Open({ t: lit("commit"), reload: Reload }),
-    /** The parent dropped `codeVersion`: roots of it may still come from there no longer. */
-    Open({ t: lit("retire"), codeVersion: int({ minimum: 1 }) }),
-    Open({ t: lit("abort"), reload: Reload }),
-]);
-/** A frame that passes validation; anything else is a protocol violation. */
-export const isFrame = compile(FrameSchema).check;
-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 });
-//# sourceMappingURL=wire.js.map

package/dist/wire.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"wire.js","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,GAAG,EACH,IAAI,EACJ,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,KAAK,EACL,GAAG,EAIH,GAAG,EACH,KAAK,EACL,OAAO,GACP,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE5D,oHAAoH;AACpH,0EAA0E;AAC1E,yEAAyE;AACzE,oDAAoD;AACpD,uHAAuH;AACvH,iEAAiE;AACjE,6GAA6G;AAC7G,yBAAyB;AACzB,EAAE;AACF,wHAAwH;AACxH,mHAAmH;AACnH,mFAAmF;AAEnF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAElC,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AACnC,8EAA8E;AAC9E,MAAM,IAAI,GAAG,CAAI,IAAe,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAyB,CAAC;AACvE,2FAA2F;AAC3F,MAAM,IAAI,GAAG,CAA6B,UAAa,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAE5F,MAAM,aAAa,GAAG,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAG/E,MAAM,eAAe,GAAG,IAAI,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,iBAAiB,CAAC;IAC9B,OAAO,EAAE,GAAG,EAAE;IACd,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;CAClB,CAAC,CAAC;AAGH,MAAM,uBAAuB,GAAG,IAAI,CAAC;IACpC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACxB,YAAY,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IACxB,cAAc,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;CAC1B,CAAC,CAAC;AAGH,uGAAuG;AACvG,MAAM,sBAAsB,GAAG,IAAI,CAAC;IACnC,WAAW,EAAE,GAAG,EAAE;IAClB,QAAQ,EAAE,GAAG,EAAE;IACf,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACpB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACpB,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACrB,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;CAClB,CAAC,CAAC;AAGH,MAAM,WAAW,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;QACf,0GAA0G;QAC1G,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzC,WAAW,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAChC,2GAA2G;QAC3G,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;KACjB,CAAC;IACF,sGAAsG;IACtG,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC/C,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;QACd,EAAE,EAAE,EAAE;QACN;;;WAGG;QACH,EAAE,EAAE,IAAI;QACR,wGAAwG;QACxG,KAAK,EAAE,iBAAiB;QACxB,+CAA+C;QAC/C,KAAK,EAAE,OAAO,EAAE;QAChB,0EAA0E;QAC1E,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QACzB;;;WAGG;QACH,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QACjB,yEAAyE;QACzE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,6FAA6F;QAC7F,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;KACrB,CAAC;IACF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IACnC,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;QACf,EAAE,EAAE,EAAE;QACN,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;QACnB,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QACpB,QAAQ,EAAE,GAAG,EAAE;QACf,8GAA8G;QAC9G,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;KACjB,CAAC;IACF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IACxD,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;QACd,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QACpB,6EAA6E;QAC7E,IAAI,EAAE,GAAG,CAAC,aAAa,CAAC;KACxB,CAAC;IACF,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC;QAChB,EAAE,EAAE,EAAE;QACN,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QACrB,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC;KAC3B,CAAC;IACF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IAClC,oFAAoF;IACpF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACjC,iCAAiC;IACjC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACnC,uFAAuF;IACvF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAC7C,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;QACf,IAAI,EAAE,EAAE;QACR,CAAC,EAAE,IAAI;QACP,gEAAgE;QAChE,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAChE,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QACrB,8EAA8E;QAC9E,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC/B,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC;KAC3B,CAAC;IACF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;IAClC,kHAAkH;IAClH,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;IAC3C,0GAA0G;IAC1G,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1C,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;IACvD,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;QACjB,MAAM,EAAE,MAAM;QACd,WAAW,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QACpB,OAAO,EAAE,uBAAuB;KAChC,CAAC;IACF,IAAI,CAAC;QACJ,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;QACd,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,sBAAsB,CAAC;KACnC,CAAC;IACF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1C,yFAAyF;IACzF,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC5D,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;CACzC,CAAC,CAAC;AAGH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,OAAO,GAAuC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;AAEtF,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","sourcesContent":["import {\n\tarr,\n\tbool,\n\tcompile,\n\tint,\n\tlit,\n\tmap,\n\tnum,\n\tobj,\n\toneOf,\n\topt,\n\ttype Properties,\n\ttype Schema,\n\ttype Static,\n\tstr,\n\tunion,\n\tunknown,\n} from \"@earendil-works/pi-schema\";\nimport { DescriptionSchema } from \"./contract.ts\";\nimport { CHORD_ERROR_CODES, ChordError } from \"./errors.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, resync\n//   provider → consumer: shape, gone, result, state\n// State is addressed by (hold id, member): a hold implies the state of its variant, sent as units (a shape followed by\n// a snapshot of each member the consumer lacks; see Connection).\n//   both: hello, ping, pong, bye, root_end, ack; parent → child: invalidate, prepare, commit, abort, retire;\n//   child → parent: vote\n//\n// Each frame is declared once, as the schema every received frame is checked against (`isFrame`); the types are derived\n// from it. Payloads (hold inputs, call args, results, snapshots) stay `unknown`: they are validated where they are\n// used, against the contract. State ops are checked op by op by the delta decoder.\n\n/**\n * The link protocol version, announced in `hello`. Peers of different versions do not talk: the side that notices\n * closes the link with reason `protocol-version <its version>`, so the other side learns it too\n * (`LinkOptions.onProtocolMismatch`).\n */\nexport const PROTOCOL_VERSION = 4;\n\nconst Id = int({ minimum: 1 });\nconst Name = str({ minLength: 1 });\nconst Reload = int({ minimum: 1 });\n/** Arrays a sender may pass as readonly: the same schema, a readonly type. */\nconst List = <T>(item: Schema<T>) => arr(item) as Schema<readonly T[]>;\n/** An object that admits fields it does not name (a newer peer's), as every frame does. */\nconst Open = <const P extends Properties>(properties: P) => obj(properties, { open: true });\n\nconst RootRefSchema = Open({ rootId: Name, codeVersion: int({ minimum: 1 }) });\nexport type RootRef = Static<typeof RootRefSchema>;\n\nconst WireErrorSchema = Open({\n\tcode: oneOf(CHORD_ERROR_CODES),\n\tmessage: str(),\n\treason: opt(str()),\n});\nexport type WireError = Static<typeof WireErrorSchema>;\n\nconst WireReloadOptionsSchema = Open({\n\tremove: opt(List(str())),\n\tgateDeadline: opt(num()),\n\tretireDeadline: opt(num()),\n});\nexport type WireReloadOptions = Static<typeof WireReloadOptionsSchema>;\n\n/** A child's prepared reload, sent with its vote (same fields as `ReloadReport`, without children). */\nconst WireReloadReportSchema = Open({\n\tcodeVersion: int(),\n\tprevious: int(),\n\tchanged: List(str()),\n\tremoved: List(str()),\n\tprepared: List(str()),\n\tgated: List(str()),\n});\nexport type WireReloadReport = Static<typeof WireReloadReportSchema>;\n\nconst FrameSchema = union([\n\tOpen({\n\t\tt: lit(\"hello\"),\n\t\t/** The link protocol version (`PROTOCOL_VERSION`; absent: 1). Peers of another version close the link. */\n\t\tprotocol: opt(int({ minimum: 1 })),\n\t\tname: Name,\n\t\tkind: union([lit(\"host\"), lit(\"client\")]),\n\t\tcodeVersion: int({ minimum: 0 }),\n\t\t/** The sender acknowledges what it receives (`ack`). Flow control applies only when both hellos say so. */\n\t\tacks: opt(bool()),\n\t}),\n\t/** Every frame received so far except `ack` frames, counted from the link's start, once processed. */\n\tOpen({ t: lit(\"ack\"), n: int({ minimum: 1 }) }),\n\tOpen({\n\t\tt: lit(\"hold\"),\n\t\tid: Id,\n\t\t/**\n\t\t * Target host name, resolved by the consumer from the token's `host` and `input`. Relays route on it after\n\t\t * checking it against both; the target refuses an input its own contract places elsewhere.\n\t\t */\n\t\tat: Name,\n\t\t/** The consumer's contract token; the provider checks that it covers it. Remote tokens carry `host`. */\n\t\ttoken: DescriptionSchema,\n\t\t/** Normalized with the consumer's contract. */\n\t\tinput: unknown(),\n\t\t/** A forwarded principal. Honored only on frames from the parent link. */\n\t\tprincipal: opt(unknown()),\n\t\t/**\n\t\t * The client connection the hold comes from: an opaque id the server assigned to it, forwarded by relays. Honored\n\t\t * only on frames from the parent link; present means the hold is a client's (not a reload participant).\n\t\t */\n\t\torigin: opt(Name),\n\t\t/** False: no state for this hold until `sub` (a method-only binding). */\n\t\tstate: opt(lit(false)),\n\t\t/** The consumer already has values (a re-hold after a link loss): its unit is not urgent. */\n\t\tagain: opt(lit(true)),\n\t}),\n\tOpen({ t: lit(\"release\"), id: Id }),\n\tOpen({\n\t\tt: lit(\"shape\"),\n\t\tid: Id,\n\t\tvariant: opt(str()),\n\t\tmembers: List(str()),\n\t\tcontract: str(),\n\t\t/** The state members whose snapshots follow this frame; the consumer applies the shape once they are here. */\n\t\tstate: List(Name),\n\t}),\n\tOpen({ t: lit(\"gone\"), id: Id, error: WireErrorSchema }),\n\tOpen({\n\t\tt: lit(\"call\"),\n\t\tid: Id,\n\t\thold: Id,\n\t\tmember: Name,\n\t\targs: opt(unknown()),\n\t\t/** Absent: the receiving host starts a root (browsers never carry roots). */\n\t\troot: opt(RootRefSchema),\n\t}),\n\tOpen({\n\t\tt: lit(\"result\"),\n\t\tid: Id,\n\t\tvalue: opt(unknown()),\n\t\terror: opt(WireErrorSchema),\n\t}),\n\tOpen({ t: lit(\"cancel\"), id: Id }),\n\t/** Starts the state of a hold opened with `state: false` (answered with a unit). */\n\tOpen({ t: lit(\"sub\"), hold: Id }),\n\t/** Stops the state of a hold. */\n\tOpen({ t: lit(\"unsub\"), hold: Id }),\n\t/** Sends member `m` again as a reset (a relay that had to drop what waited for it). */\n\tOpen({ t: lit(\"resync\"), hold: Id, m: Name }),\n\tOpen({\n\t\tt: lit(\"state\"),\n\t\thold: Id,\n\t\tm: Name,\n\t\t/** `snap`/`reset` without `value`: the value is `undefined`. */\n\t\tas: union([lit(\"snap\"), lit(\"reset\"), lit(\"ops\"), lit(\"error\")]),\n\t\tvalue: opt(unknown()),\n\t\t/** Encoded with the stream's delta encoder; the decoder validates each op. */\n\t\tops: opt(List(List(unknown()))),\n\t\terror: opt(WireErrorSchema),\n\t}),\n\tOpen({ t: lit(\"ping\"), n: int() }),\n\tOpen({ t: lit(\"pong\"), n: int() }),\n\t/** Ends the link (consumed by the link itself). `reason: \"protocol-version <n>\"`: the sender speaks version n. */\n\tOpen({ t: lit(\"bye\"), reason: opt(str()) }),\n\t/** The root ended at its origin: its leases on objects end (sent on every link the root's calls used). */\n\tOpen({ t: lit(\"root_end\"), rootId: Name }),\n\tOpen({ t: lit(\"invalidate\"), pattern: map(unknown()) }),\n\tOpen({\n\t\tt: lit(\"prepare\"),\n\t\treload: Reload,\n\t\tcodeVersion: int({ minimum: 1 }),\n\t\tplugins: List(str()),\n\t\toptions: WireReloadOptionsSchema,\n\t}),\n\tOpen({\n\t\tt: lit(\"vote\"),\n\t\treload: Reload,\n\t\terror: opt(WireErrorSchema),\n\t\treport: opt(WireReloadReportSchema),\n\t}),\n\tOpen({ t: lit(\"commit\"), reload: Reload }),\n\t/** The parent dropped `codeVersion`: roots of it may still come from there no longer. */\n\tOpen({ t: lit(\"retire\"), codeVersion: int({ minimum: 1 }) }),\n\tOpen({ t: lit(\"abort\"), reload: Reload }),\n]);\nexport type Frame = Static<typeof FrameSchema>;\n\n/** A frame that passes validation; anything else is a protocol violation. */\nexport const isFrame: (value: unknown) => value is Frame = compile(FrameSchema).check;\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"]}