@earendil-works/chord 1.4.0 → 1.5.0

package/dist/wire.js

@@ -1,5 +1,4 @@
-import { Type } from "typebox";
-import { Value } from "typebox/value";
+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
@@ -20,46 +19,48 @@ import { CHORD_ERROR_CODES, ChordError } from "./errors.js";
  * (`LinkOptions.onProtocolMismatch`).
  */
 export const PROTOCOL_VERSION = 4;
-const Id = Type.Integer({ minimum: 1 });
-const Name = Type.String({ minLength: 1 });
-const Reload = Type.Integer({ minimum: 1 });
-/** Arrays a sender may pass as readonly. */
-const List = (item) => Type.Immutable(Type.Array(item));
-const RootRefSchema = Type.Object({ rootId: Name, codeVersion: Type.Integer({ minimum: 1 }) });
-const WireErrorSchema = Type.Object({
-    code: Type.Enum(CHORD_ERROR_CODES),
-    message: Type.String(),
-    reason: Type.Optional(Type.String()),
+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 = Type.Object({
-    remove: Type.Optional(List(Type.String())),
-    gateDeadline: Type.Optional(Type.Number()),
-    retireDeadline: Type.Optional(Type.Number()),
+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 = Type.Object({
-    codeVersion: Type.Integer(),
-    previous: Type.Integer(),
-    changed: List(Type.String()),
-    removed: List(Type.String()),
-    prepared: List(Type.String()),
-    gated: List(Type.String()),
+const WireReloadReportSchema = Open({
+    codeVersion: int(),
+    previous: int(),
+    changed: List(str()),
+    removed: List(str()),
+    prepared: List(str()),
+    gated: List(str()),
 });
-const FrameSchema = Type.Union([
-    Type.Object({
-        t: Type.Literal("hello"),
+const FrameSchema = union([
+    Open({
+        t: lit("hello"),
         /** The link protocol version (`PROTOCOL_VERSION`; absent: 1). Peers of another version close the link. */
-        protocol: Type.Optional(Type.Integer({ minimum: 1 })),
+        protocol: opt(int({ minimum: 1 })),
         name: Name,
-        kind: Type.Union([Type.Literal("host"), Type.Literal("client")]),
-        codeVersion: Type.Integer({ minimum: 0 }),
+        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: Type.Optional(Type.Boolean()),
+        acks: opt(bool()),
     }),
     /** Every frame received so far except `ack` frames, counted from the link's start, once processed. */
-    Type.Object({ t: Type.Literal("ack"), n: Type.Integer({ minimum: 1 }) }),
-    Type.Object({
-        t: Type.Literal("hold"),
+    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
@@ -69,90 +70,90 @@ const FrameSchema = Type.Union([
         /** 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: Type.Unknown(),
+        input: unknown(),
         /** A forwarded principal. Honored only on frames from the parent link. */
-        principal: Type.Optional(Type.Unknown()),
+        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: Type.Optional(Name),
+        origin: opt(Name),
         /** False: no state for this hold until `sub` (a method-only binding). */
-        state: Type.Optional(Type.Literal(false)),
+        state: opt(lit(false)),
         /** The consumer already has values (a re-hold after a link loss): its unit is not urgent. */
-        again: Type.Optional(Type.Literal(true)),
+        again: opt(lit(true)),
     }),
-    Type.Object({ t: Type.Literal("release"), id: Id }),
-    Type.Object({
-        t: Type.Literal("shape"),
+    Open({ t: lit("release"), id: Id }),
+    Open({
+        t: lit("shape"),
         id: Id,
-        variant: Type.Optional(Type.String()),
-        members: List(Type.String()),
-        contract: Type.String(),
+        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),
     }),
-    Type.Object({ t: Type.Literal("gone"), id: Id, error: WireErrorSchema }),
-    Type.Object({
-        t: Type.Literal("call"),
+    Open({ t: lit("gone"), id: Id, error: WireErrorSchema }),
+    Open({
+        t: lit("call"),
         id: Id,
         hold: Id,
         member: Name,
-        args: Type.Optional(Type.Unknown()),
+        args: opt(unknown()),
         /** Absent: the receiving host starts a root (browsers never carry roots). */
-        root: Type.Optional(RootRefSchema),
+        root: opt(RootRefSchema),
     }),
-    Type.Object({
-        t: Type.Literal("result"),
+    Open({
+        t: lit("result"),
         id: Id,
-        value: Type.Optional(Type.Unknown()),
-        error: Type.Optional(WireErrorSchema),
+        value: opt(unknown()),
+        error: opt(WireErrorSchema),
     }),
-    Type.Object({ t: Type.Literal("cancel"), id: Id }),
+    Open({ t: lit("cancel"), id: Id }),
     /** Starts the state of a hold opened with `state: false` (answered with a unit). */
-    Type.Object({ t: Type.Literal("sub"), hold: Id }),
+    Open({ t: lit("sub"), hold: Id }),
     /** Stops the state of a hold. */
-    Type.Object({ t: Type.Literal("unsub"), hold: Id }),
+    Open({ t: lit("unsub"), hold: Id }),
     /** Sends member `m` again as a reset (a relay that had to drop what waited for it). */
-    Type.Object({ t: Type.Literal("resync"), hold: Id, m: Name }),
-    Type.Object({
-        t: Type.Literal("state"),
+    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: Type.Union([Type.Literal("snap"), Type.Literal("reset"), Type.Literal("ops"), Type.Literal("error")]),
-        value: Type.Optional(Type.Unknown()),
+        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: Type.Optional(List(List(Type.Unknown()))),
-        error: Type.Optional(WireErrorSchema),
+        ops: opt(List(List(unknown()))),
+        error: opt(WireErrorSchema),
     }),
-    Type.Object({ t: Type.Literal("ping"), n: Type.Integer() }),
-    Type.Object({ t: Type.Literal("pong"), n: Type.Integer() }),
+    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. */
-    Type.Object({ t: Type.Literal("bye"), reason: Type.Optional(Type.String()) }),
+    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). */
-    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"),
+    Open({ t: lit("root_end"), rootId: Name }),
+    Open({ t: lit("invalidate"), pattern: map(unknown()) }),
+    Open({
+        t: lit("prepare"),
         reload: Reload,
-        codeVersion: Type.Integer({ minimum: 1 }),
-        plugins: List(Type.String()),
+        codeVersion: int({ minimum: 1 }),
+        plugins: List(str()),
         options: WireReloadOptionsSchema,
     }),
-    Type.Object({
-        t: Type.Literal("vote"),
+    Open({
+        t: lit("vote"),
         reload: Reload,
-        error: Type.Optional(WireErrorSchema),
-        report: Type.Optional(WireReloadReportSchema),
+        error: opt(WireErrorSchema),
+        report: opt(WireReloadReportSchema),
     }),
-    Type.Object({ t: Type.Literal("commit"), reload: Reload }),
+    Open({ t: lit("commit"), reload: Reload }),
     /** The parent dropped `codeVersion`: roots of it may still come from there no longer. */
-    Type.Object({ t: Type.Literal("retire"), codeVersion: Type.Integer({ minimum: 1 }) }),
-    Type.Object({ t: Type.Literal("abort"), reload: Reload }),
+    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 = (value) => Value.Check(FrameSchema, value);
+export const isFrame = compile(FrameSchema).check;
 export function toWireError(error) {
     if (error instanceof ChordError) {
         return error.reason === undefined

package/dist/wire.js.map

@@ -1 +1 @@
-{"version":3,"file":"wire.js","sourceRoot":"","sources":["../src/wire.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,IAAI,EAAE,MAAM,SAAS,CAAC;AAC1D,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,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,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,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAC5C,4CAA4C;AAC5C,MAAM,IAAI,GAAG,CAAoB,IAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAE9E,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAG/F,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC;IAClC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACpC,CAAC,CAAC;AAGH,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1C,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAC;AAGH,uGAAuG;AACvG,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE;IAC3B,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;IACxB,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC1B,CAAC,CAAC;AAGH,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,0GAA0G;QAC1G,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,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,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACzC,2GAA2G;QAC3G,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;KACnC,CAAC;IACF,sGAAsG;IACtG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACvB,EAAE,EAAE,EAAE;QACN;;;WAGG;QACH,EAAE,EAAE,IAAI;QACR,wGAAwG;QACxG,KAAK,EAAE,iBAAiB;QACxB,+CAA+C;QAC/C,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;QACrB,0EAA0E;QAC1E,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACxC;;;WAGG;QACH,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC3B,yEAAyE;QACzE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzC,6FAA6F;QAC7F,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;KACxC,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,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;QACvB,8GAA8G;QAC9G,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;KACjB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IACxE,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,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACnC,6EAA6E;QAC7E,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;KAClC,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,eAAe,CAAC;KACrC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IAClD,oFAAoF;IACpF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACjD,iCAAiC;IACjC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACnD,uFAAuF;IACvF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAC7D,IAAI,CAAC,MAAM,CAAC;QACX,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,IAAI,EAAE,EAAE;QACR,CAAC,EAAE,IAAI;QACP,gEAAgE;QAChE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACzG,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,8EAA8E;QAC9E,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC9C,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;KACrC,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,kHAAkH;IAClH,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,0GAA0G;IAC1G,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,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACzC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO,EAAE,uBAAuB;KAChC,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,eAAe,CAAC;QACrC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC;KAC7C,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1D,yFAAyF;IACzF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACrF,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;CACzD,CAAC,CAAC;AAGH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAc,EAAkB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;AAE3F,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 { type Static, type TSchema, Type } from \"typebox\";\nimport { Value } from \"typebox/value\";\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 = Type.Integer({ minimum: 1 });\nconst Name = Type.String({ minLength: 1 });\nconst Reload = Type.Integer({ minimum: 1 });\n/** Arrays a sender may pass as readonly. */\nconst List = <T extends TSchema>(item: T) => Type.Immutable(Type.Array(item));\n\nconst RootRefSchema = Type.Object({ rootId: Name, codeVersion: Type.Integer({ minimum: 1 }) });\nexport type RootRef = Static<typeof RootRefSchema>;\n\nconst WireErrorSchema = Type.Object({\n\tcode: Type.Enum(CHORD_ERROR_CODES),\n\tmessage: Type.String(),\n\treason: Type.Optional(Type.String()),\n});\nexport type WireError = Static<typeof WireErrorSchema>;\n\nconst WireReloadOptionsSchema = Type.Object({\n\tremove: Type.Optional(List(Type.String())),\n\tgateDeadline: Type.Optional(Type.Number()),\n\tretireDeadline: Type.Optional(Type.Number()),\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 = Type.Object({\n\tcodeVersion: Type.Integer(),\n\tprevious: Type.Integer(),\n\tchanged: List(Type.String()),\n\tremoved: List(Type.String()),\n\tprepared: List(Type.String()),\n\tgated: List(Type.String()),\n});\nexport type WireReloadReport = Static<typeof WireReloadReportSchema>;\n\nconst FrameSchema = Type.Union([\n\tType.Object({\n\t\tt: Type.Literal(\"hello\"),\n\t\t/** The link protocol version (`PROTOCOL_VERSION`; absent: 1). Peers of another version close the link. */\n\t\tprotocol: Type.Optional(Type.Integer({ minimum: 1 })),\n\t\tname: Name,\n\t\tkind: Type.Union([Type.Literal(\"host\"), Type.Literal(\"client\")]),\n\t\tcodeVersion: Type.Integer({ minimum: 0 }),\n\t\t/** The sender acknowledges what it receives (`ack`). Flow control applies only when both hellos say so. */\n\t\tacks: Type.Optional(Type.Boolean()),\n\t}),\n\t/** Every frame received so far except `ack` frames, counted from the link's start, once processed. */\n\tType.Object({ t: Type.Literal(\"ack\"), n: Type.Integer({ minimum: 1 }) }),\n\tType.Object({\n\t\tt: Type.Literal(\"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: Type.Unknown(),\n\t\t/** A forwarded principal. Honored only on frames from the parent link. */\n\t\tprincipal: Type.Optional(Type.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: Type.Optional(Name),\n\t\t/** False: no state for this hold until `sub` (a method-only binding). */\n\t\tstate: Type.Optional(Type.Literal(false)),\n\t\t/** The consumer already has values (a re-hold after a link loss): its unit is not urgent. */\n\t\tagain: Type.Optional(Type.Literal(true)),\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\tvariant: Type.Optional(Type.String()),\n\t\tmembers: List(Type.String()),\n\t\tcontract: Type.String(),\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\tType.Object({ t: Type.Literal(\"gone\"), id: Id, error: WireErrorSchema }),\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.Optional(Type.Unknown()),\n\t\t/** Absent: the receiving host starts a root (browsers never carry roots). */\n\t\troot: Type.Optional(RootRefSchema),\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(WireErrorSchema),\n\t}),\n\tType.Object({ t: Type.Literal(\"cancel\"), id: Id }),\n\t/** Starts the state of a hold opened with `state: false` (answered with a unit). */\n\tType.Object({ t: Type.Literal(\"sub\"), hold: Id }),\n\t/** Stops the state of a hold. */\n\tType.Object({ t: Type.Literal(\"unsub\"), hold: Id }),\n\t/** Sends member `m` again as a reset (a relay that had to drop what waited for it). */\n\tType.Object({ t: Type.Literal(\"resync\"), hold: Id, m: Name }),\n\tType.Object({\n\t\tt: Type.Literal(\"state\"),\n\t\thold: Id,\n\t\tm: Name,\n\t\t/** `snap`/`reset` without `value`: the value is `undefined`. */\n\t\tas: Type.Union([Type.Literal(\"snap\"), Type.Literal(\"reset\"), Type.Literal(\"ops\"), Type.Literal(\"error\")]),\n\t\tvalue: Type.Optional(Type.Unknown()),\n\t\t/** Encoded with the stream's delta encoder; the decoder validates each op. */\n\t\tops: Type.Optional(List(List(Type.Unknown()))),\n\t\terror: Type.Optional(WireErrorSchema),\n\t}),\n\tType.Object({ t: Type.Literal(\"ping\"), n: Type.Integer() }),\n\tType.Object({ t: Type.Literal(\"pong\"), n: Type.Integer() }),\n\t/** Ends the link (consumed by the link itself). `reason: \"protocol-version <n>\"`: the sender speaks version n. */\n\tType.Object({ t: Type.Literal(\"bye\"), reason: Type.Optional(Type.String()) }),\n\t/** The root ended at its origin: its leases on objects end (sent on every link the root's calls used). */\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\tcodeVersion: Type.Integer({ minimum: 1 }),\n\t\tplugins: List(Type.String()),\n\t\toptions: WireReloadOptionsSchema,\n\t}),\n\tType.Object({\n\t\tt: Type.Literal(\"vote\"),\n\t\treload: Reload,\n\t\terror: Type.Optional(WireErrorSchema),\n\t\treport: Type.Optional(WireReloadReportSchema),\n\t}),\n\tType.Object({ t: Type.Literal(\"commit\"), reload: Reload }),\n\t/** The parent dropped `codeVersion`: roots of it may still come from there no longer. */\n\tType.Object({ t: Type.Literal(\"retire\"), codeVersion: Type.Integer({ minimum: 1 }) }),\n\tType.Object({ t: Type.Literal(\"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 => Value.Check(FrameSchema, value);\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"]}
+{"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"]}

package/docs/guide.md

@@ -36,17 +36,17 @@ Chord builds applications out of **objects** that live in several processes (a s
 ## Quick start
 
 ```ts
-import { Type } from "typebox";
+import { num, obj, str } from "@earendil-works/pi-schema";
 import { createHost, method, remote } from "@earendil-works/chord";
 
 // contract.ts: shared by provider and consumers
 export const Counter = remote("demo.counter", {
 	version: 1,
-	input: Type.Object({ name: Type.String() }),
+	input: obj({ name: str() }),
 	variants: {
 		default: {
-			state: { count: Type.Number() },
-			methods: { increment: method(Type.Object({ by: Type.Number() })) },
+			state: { count: num() },
+			methods: { increment: method(obj({ by: num() })) },
 		},
 	},
 });
@@ -54,7 +54,7 @@ export const Counter = remote("demo.counter", {
 const host = createHost({ name: "server", self: { kind: "server" } });
 
 host.serve(Counter, ({ name }, _principal, self) => {
-	const count = self.state("count", Type.Number(), 0);
+	const count = self.state("count", num(), 0);
 	return {
 		variant: "default",
 		count,
@@ -82,7 +82,7 @@ Remote types can be reached from other hosts. Everything that crosses the wire h
 ```ts
 export const Chat = remote("pi.chat", {
 	version: 1,
-	input: Type.Object({ session: Type.String(), conversation: Type.Number() }),
+	input: obj({ session: str(), conversation: num() }),
 	host: hostFamily("session:", "session"),  // lives on `session:S1` for `{ session: "S1", … }`
 	variants: {
 		viewer: {
@@ -91,7 +91,7 @@ export const Chat = remote("pi.chat", {
 		participant: {
 			state: { view: ConversationViewSchema },
 			methods: {
-				send: method(SendInputSchema, Type.Object({ submissionId: Type.Number() })),
+				send: method(SendInputSchema, obj({ submissionId: num() })),
 				stop: method(),  // no arguments, no result: `chat.stop(ctx)`
 			},
 		},
@@ -119,10 +119,10 @@ Local types are reachable only inside their host. Their members may be anything:
 ```ts
 export const Index = local("pi.index", {
 	version: 1,
-	input: Type.Object({ session: Type.String() }),
+	input: obj({ session: str() }),
 	members: {
-		search: method(Type.Object({ query: Type.String() }), Type.Array(HitSchema)),
-		onChange: method(Type.Function([ChangeSchema], Type.Void()), UnsubscribeSchema),
+		search: method(obj({ query: str() }), arr(HitSchema)),
+		onChange: method({ type: "function", parameters: [ChangeSchema], returnType: { type: "void" } }, UnsubscribeSchema),
 		harness: opaque("pi.durable-harness@1"),
 	},
 });
@@ -181,7 +181,7 @@ A reload runs the factory again over the same object. Declarations that keep som
 ```ts
 host.serve(StatusStore, ({ session }, _host, self) => {
 	const status = self.state("status", StatusSchema, { running: false, tasks: 0 });
-	const errors = self.state("errors", Type.Array(Type.String()), []);
+	const errors = self.state("errors", arr(str()), []);
 	const catalog = self.get(Catalog, {});
 	const db = self.resource("db", {
 		version: 1,
@@ -230,7 +230,7 @@ host.serve(Visits, (_, _p, self) => {
 
 // right
 host.serve(Visits, (_, _p, self) => {
-	const visits = self.state("visits", Type.Number(), 0);
+	const visits = self.state("visits", num(), 0);
 	return {
 		hit: async (ctx) => {
 			visits.change(ctx, (n) => n + 1);
@@ -240,7 +240,7 @@ host.serve(Visits, (_, _p, self) => {
 });
 ```
 
-**Methods** are declared with `method(args?, result?)` in the contract. Without `args` a method takes none: callers write `ref.hit(ctx)` (or `ref.hit()`), and its implementation is `(ctx) => …`. Without `result` it returns nothing: the implementation returns nothing, and callers get `undefined`. `method(undefined, Type.Number())` takes no arguments and returns a number.
+**Methods** are declared with `method(args?, result?)` in the contract. Without `args` a method takes none: callers write `ref.hit(ctx)` (or `ref.hit()`), and its implementation is `(ctx) => …`. Without `result` it returns nothing: the implementation returns nothing, and callers get `undefined`. `method(undefined, num())` takes no arguments and returns a number.
 
 ## Activation
 
@@ -428,7 +428,7 @@ chat.release();
 ## State
 
 ```ts
-const todos = self.state("todos", Type.Array(TodoSchema), []);
+const todos = self.state("todos", arr(TodoSchema), []);
 
 todos.change(ctx, (draft) => {
 	draft.push({ id: "t1", text: "Write docs", done: false });
@@ -457,7 +457,7 @@ view.replace(ctx, rebuilt, { diff: true });              // always diff
 
 ```ts
 const db = self.resource("db", { version: 1, open: () => openSqlite(path), close: (db) => db.close() });
-const notes = self.state("notes", Type.Array(NoteSchema), { init: () => db.value.all("SELECT * FROM notes") });
+const notes = self.state("notes", arr(NoteSchema), { init: () => db.value.all("SELECT * FROM notes") });
 ```
 
 `init(ctx)` runs once the resources are open and the references live, before the object goes live, so no method,