@smthrs/sync 0.0.0-stage → 1.0.0-rc.3

package/dist/cjs/BranchPresence.d.ts

@@ -0,0 +1,195 @@
+/**
+ * Ephemeral presence and cursors for one shared branch.
+ *
+ * Presence is deliberately NOT journalled. A roster is a lease table: every
+ * announcement extends a lease, and a participant that stops announcing —
+ * because the tab closed, the network dropped, or the process died — ages out
+ * without anyone reporting the disconnect. Writing presence to the journal
+ * would make "who was looking at this" part of the durable, replayable history
+ * of a run, which is both unbounded and wrong: replaying a branch must not
+ * resurrect a stranger's caret.
+ *
+ * Every operation authorizes through {@link BranchShare}, so a capability for
+ * one branch can neither read nor write another branch's roster. A live
+ * participant is bound to the capability that announced it: announcing or
+ * leaving under that `participantId` with any other capability is refused
+ * with `unauthorized` until the lease lapses.
+ *
+ * @since 0.1.0
+ */
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Stream from "effect/Stream";
+import { type Announcement, type BranchId, type LeaveRequest, Participant, type RosterRequest } from "./BranchProtocol.ts";
+import * as BranchShare from "./BranchShare.ts";
+import { SyncError } from "./SyncError.ts";
+/**
+ * Ephemeral branch presence operations.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export interface Service {
+    readonly announce: (announcement: Announcement) => Effect.Effect<Participant, SyncError>;
+    readonly leave: (request: LeaveRequest) => Effect.Effect<void, SyncError>;
+    /**
+     * One branch's live roster, as a fresh array of detached participants and
+     * cursors. Reading drops expired leases and advances a cross-branch sweep.
+     */
+    readonly list: (request: RosterRequest) => Effect.Effect<ReadonlyArray<Participant>, SyncError>;
+    /**
+     * Returns `unknown` for one lease after host startup or while a required
+     * heartbeat source is unavailable; otherwise reports `present` or `empty`.
+     *
+     * @since 1.0.0
+     */
+    readonly presenceOn: (request: RosterRequest) => Effect.Effect<"unknown" | "present" | "empty", SyncError>;
+    readonly changes: Stream.Stream<BranchId>;
+    /**
+     * How long one announcement keeps a participant on the roster, in
+     * milliseconds.
+     *
+     * A lease lapses without anyone reporting it, and nothing publishes on
+     * `changes` when it does, so a watcher cannot learn of the last
+     * participant's departure from the change feed alone. It re-lists on this
+     * cadence capped at one second, bounding how long an expired lease stays visible.
+     */
+    readonly leaseMs: number;
+}
+declare const BranchPresence_base: Context.ServiceClass<BranchPresence, "@smthrs/sync/BranchPresence", Service>;
+/**
+ * The branch presence registry.
+ *
+ * @category services
+ * @since 0.1.0
+ */
+export declare class BranchPresence extends BranchPresence_base {
+}
+/**
+ * The lease {@link makeNoop} reports. It holds no one, so the value only has
+ * to be a positive number a watcher can build a re-list cadence from.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export declare const defaultLeaseMs = 30000;
+/**
+ * Constructs an unavailable presence registry.
+ *
+ * @category constructors
+ * @since 0.1.0
+ */
+export declare const makeNoop: (overrides?: Partial<Service>) => Service;
+/**
+ * Provides an unavailable presence registry.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export declare const layerNoop: Layer.Layer<BranchPresence>;
+/**
+ * The policy one presence registry runs under. Every field defaults, and
+ * {@link makeMemory} and {@link layerWith} validate what a caller supplies.
+ *
+ * @category models
+ * @since 0.1.0
+ */
+export interface PresenceOptions {
+    /**
+     * How long an announcement keeps a participant on the roster, in
+     * milliseconds. Defaults to {@link defaultLeaseMs}.
+     */
+    readonly leaseMs?: number | undefined;
+    /**
+     * Roster changes a stalled {@link Service.changes} subscriber may fall
+     * behind by. Defaults to {@link defaultChangesCapacity}.
+     */
+    readonly changesCapacity?: number | undefined;
+    /**
+     * Participants one branch may hold at once. Defaults to
+     * {@link defaultMaxParticipants}.
+     */
+    readonly maxParticipants?: number | undefined;
+    /**
+     * Host readiness, including authorization, revocation, bridge and session
+     * sources. Defaults to unavailable.
+     *
+     * @since 1.0.0
+     */
+    readonly sourcesReady?: ((branchId: BranchId) => Effect.Effect<boolean>) | undefined;
+}
+/**
+ * Roster changes a stalled {@link Service.changes} subscriber may fall behind
+ * by before the oldest are dropped.
+ *
+ * Presence is a lease table, and `changes` only says that some branch's roster
+ * moved: a follower answers it with `list`. Holding an unbounded backlog for a
+ * subscriber that has stopped pulling would let one abandoned watcher retain
+ * every announcement the process has seen since. A subscriber that falls
+ * further behind than this bound loses the oldest notifications and re-lists;
+ * because every notification is answered by a fresh `list`, dropping one never
+ * loses roster state.
+ *
+ * @category constants
+ * @since 0.1.0
+ */
+export declare const defaultChangesCapacity = 256;
+/**
+ * Participants one branch may hold at once.
+ *
+ * A roster is unbounded fan-out in two directions: it is walked on every
+ * `list`, and `Branch.Roster` returns it whole, which no frame ceiling covers.
+ * Nothing caps how many distinct `participantId`s one write capability may
+ * announce, so without this a single share link could pin an arbitrary number
+ * of `Participant` objects until their leases expired. Two hundred and fifty
+ * six is far above any real collaborative session; a further announce is
+ * refused with `backpressure`.
+ *
+ * @category constants
+ * @since 1.0.0-rc.0
+ */
+export declare const defaultMaxParticipants = 256;
+/**
+ * Constructs the in-memory, lease-expiring presence registry.
+ *
+ * Announcing requires write access: a read-only share link may watch the
+ * roster but never appears on it, so a shared read link cannot be used to
+ * impersonate a collaborator. A live participant belongs to the capability
+ * that announced it, so another write link can neither overwrite nor evict it.
+ * Holders of one link share its `capabilityId` and stay indistinguishable.
+ *
+ * The roster is keyed by branch and then by participant, so listing one branch
+ * costs that branch plus a bounded sweep of other branches, and no two
+ * branches can share a slot. One flat key built by concatenation collided
+ * for valid branded ids, which let one announcement overwrite another branch's
+ * participant.
+ *
+ * The change feed slides at {@link defaultChangesCapacity}: announcing never
+ * waits on a stalled watcher, and never grows the process on its behalf.
+ *
+ * Fails with `invalid_request` when an option is not a positive safe integer.
+ *
+ * @category constructors
+ * @since 0.1.0
+ */
+export declare const makeMemory: (options?: PresenceOptions) => Effect.Effect<Service, SyncError, BranchShare.BranchShare>;
+/**
+ * Provides the in-memory, lease-expiring presence registry under the default
+ * policy, which is valid by construction and so cannot fail.
+ *
+ * @category layers
+ * @since 0.1.0
+ */
+export declare const layer: Layer.Layer<BranchPresence, never, BranchShare.BranchShare>;
+/**
+ * Provides the in-memory, lease-expiring presence registry under an explicit
+ * policy. Fails with `invalid_request` when an option is not a positive safe
+ * integer, so a bad policy fails the composition rather than an announcement.
+ *
+ * @category layers
+ * @since 1.0.0-rc.0
+ */
+export declare const layerWith: (options: PresenceOptions) => Layer.Layer<BranchPresence, SyncError, BranchShare.BranchShare>;
+export {};
+//# sourceMappingURL=BranchPresence.d.ts.map

package/dist/cjs/BranchPresence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BranchPresence.d.ts","sourceRoot":"","sources":["../../src/BranchPresence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,QAAQ,EAEb,KAAK,YAAY,EACjB,WAAW,EAGX,KAAK,aAAa,EACnB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAE/C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE1C;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,YAAY,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;IACxF,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACzE;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC,CAAA;IAC/F;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,SAAS,GAAG,OAAO,EAAE,SAAS,CAAC,CAAA;IAC1G,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACzC;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;;AAED;;;;;GAKG;AACH,qBAAa,cAAe,SAAQ,mBAAyE;CAAG;AAIhH;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,QAAS,CAAA;AAEpC;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,YAAW,OAAO,CAAC,OAAO,CAAM,KAAG,OASxD,CAAA;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc,CAA6C,CAAA;AAE/F;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACrC;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC7C;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC7C;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAA;CACrF;AA8BD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,sBAAsB,MAAM,CAAA;AAEzC;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,MAAM,CAAA;AASzC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,UAAU,GACrB,UAAS,eAAoB,KAC5B,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,WAAW,CAgBzD,CAAA;AAqOH;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,WAAW,CAAC,WAAW,CAG7E,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,GACpB,SAAS,eAAe,KACvB,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,SAAS,EAAE,WAAW,CAAC,WAAW,CAAsD,CAAA"}

package/dist/cjs/BranchPresence.js

@@ -0,0 +1,276 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var BranchPresence_exports = {};
+__export(BranchPresence_exports, {
+  BranchPresence: () => BranchPresence,
+  defaultChangesCapacity: () => defaultChangesCapacity,
+  defaultLeaseMs: () => defaultLeaseMs,
+  defaultMaxParticipants: () => defaultMaxParticipants,
+  layer: () => layer,
+  layerNoop: () => layerNoop,
+  layerWith: () => layerWith,
+  makeMemory: () => makeMemory,
+  makeNoop: () => makeNoop
+});
+module.exports = __toCommonJS(BranchPresence_exports);
+var Clock = __toESM(require("effect/Clock"), 1);
+var Context = __toESM(require("effect/Context"), 1);
+var Effect = __toESM(require("effect/Effect"), 1);
+var Layer = __toESM(require("effect/Layer"), 1);
+var PubSub = __toESM(require("effect/PubSub"), 1);
+var Schema = __toESM(require("effect/Schema"), 1);
+var Stream = __toESM(require("effect/Stream"), 1);
+var import_BranchProtocol = require("./BranchProtocol.js");
+var BranchShare = __toESM(require("./BranchShare.js"), 1);
+var import_PolicyOptions = require("./internal/PolicyOptions.js");
+var import_SyncError = require("./SyncError.js");
+class BranchPresence extends Context.Service()("@smthrs/sync/BranchPresence") {
+}
+const unavailable = new import_SyncError.SyncError({ code: "unsupported", message: "Branch presence is unavailable" });
+const defaultLeaseMs = 3e4;
+const makeNoop = (overrides = {}) => BranchPresence.of({
+  announce: () => Effect.fail(unavailable),
+  leave: () => Effect.fail(unavailable),
+  list: () => Effect.fail(unavailable),
+  presenceOn: () => Effect.succeed("unknown"),
+  changes: Stream.empty,
+  leaseMs: defaultLeaseMs,
+  ...overrides
+});
+const layerNoop = Layer.succeed(BranchPresence, makeNoop());
+const heldByAnother = (participantId) => new import_SyncError.SyncError({
+  code: "unauthorized",
+  message: `Participant ${participantId} is held by another share capability`
+});
+const defaultChangesCapacity = 256;
+const defaultMaxParticipants = 256;
+const defaults = {
+  leaseMs: defaultLeaseMs,
+  changesCapacity: defaultChangesCapacity,
+  maxParticipants: defaultMaxParticipants,
+  sourcesReady: () => Effect.succeed(false)
+};
+const makeMemory = (options = {}) => Effect.flatMap(
+  Effect.all({
+    leaseMs: (0, import_PolicyOptions.positiveInt)("BranchPresence.PresenceOptions.leaseMs", options.leaseMs, defaults.leaseMs),
+    changesCapacity: (0, import_PolicyOptions.positiveInt)(
+      "BranchPresence.PresenceOptions.changesCapacity",
+      options.changesCapacity,
+      defaults.changesCapacity
+    ),
+    maxParticipants: (0, import_PolicyOptions.positiveInt)(
+      "BranchPresence.PresenceOptions.maxParticipants",
+      options.maxParticipants,
+      defaults.maxParticipants
+    )
+  }),
+  (resolved) => makeResolved({ ...resolved, sourcesReady: options.sourcesReady ?? defaults.sourcesReady })
+);
+const makeResolved = ({ changesCapacity, leaseMs, maxParticipants, sourcesReady }) => Effect.gen(function* () {
+  const startedAtMs = yield* Clock.currentTimeMillis;
+  const share = yield* BranchShare.BranchShare;
+  const roster = /* @__PURE__ */ new Map();
+  const changes = yield* PubSub.sliding(changesCapacity);
+  const expire = (branchId, nowMs) => {
+    const branch = roster.get(branchId);
+    if (branch === void 0) return void 0;
+    for (const [participantId, seat] of branch) {
+      if (seat.participant.leaseExpiresAtMs <= nowMs) branch.delete(participantId);
+    }
+    if (branch.size === 0) {
+      roster.delete(branchId);
+      return void 0;
+    }
+    return branch;
+  };
+  let sweepCursor = roster.keys();
+  const sweep = (nowMs) => {
+    for (let index = 0; index < 16; index++) {
+      const next = sweepCursor.next();
+      if (next.done) {
+        sweepCursor = roster.keys();
+        break;
+      }
+      expire(next.value, nowMs);
+    }
+  };
+  const seatKey = (request) => JSON.stringify([request.participantId, request.sessionId ?? ""]);
+  const copyWhere = (where) => ({ ...where });
+  const detach = (participant) => new import_BranchProtocol.Participant({
+    ...participant,
+    ...participant.where === void 0 ? {} : { where: copyWhere(participant.where) },
+    cursor: participant.cursor === null ? null : new import_BranchProtocol.Cursor(participant.cursor)
+  });
+  const live = (branchId, nowMs) => {
+    sweep(nowMs);
+    const branch = expire(branchId, nowMs);
+    if (branch === void 0) return [];
+    return Array.from(branch.values(), (seat) => detach(seat.participant)).sort(
+      (left, right) => seatKey(left) < seatKey(right) ? -1 : 1
+    );
+  };
+  const detachRoster = (request) => ({
+    capability: request.capability,
+    branchId: request.branchId
+  });
+  const detachLeave = (request) => ({
+    ...detachRoster(request),
+    participantId: request.participantId,
+    ...request.sessionId === void 0 ? {} : { sessionId: request.sessionId }
+  });
+  const detachAnnouncement = (request) => {
+    const suppliedCursor = request.cursor;
+    const cursor = suppliedCursor === null ? null : typeof suppliedCursor === "object" ? { cardId: suppliedCursor.cardId, offset: suppliedCursor.offset } : { cardId: void 0, offset: void 0 };
+    return {
+      ...detachLeave(request),
+      displayName: request.displayName,
+      cursor,
+      ...request.kind === void 0 ? {} : { kind: request.kind },
+      ...request.where === void 0 ? {} : { where: copyWhere(request.where) },
+      ...request.watching === void 0 ? {} : { watching: request.watching },
+      ...request.for_member === void 0 ? {} : { for_member: request.for_member },
+      ...request.agentKind === void 0 ? {} : { agentKind: request.agentKind },
+      ...request.via === void 0 ? {} : { via: request.via },
+      ...request.runId === void 0 ? {} : { runId: request.runId }
+    };
+  };
+  const announce = Effect.fn("BranchPresence.announce")(function* (supplied) {
+    const detached = detachAnnouncement(supplied);
+    yield* Effect.annotateCurrentSpan({
+      branchId: detached.branchId,
+      participantId: detached.participantId
+    });
+    const claims = yield* share.verify(detached.capability, {
+      branchId: detached.branchId,
+      access: "write"
+    });
+    if (detached.displayName.length === 0) {
+      return yield* Effect.fail(
+        new import_SyncError.SyncError({ code: "invalid_request", message: "A participant's display name must not be empty" })
+      );
+    }
+    if (detached.where !== void 0 && !Schema.is(import_BranchProtocol.PresenceWhere)(detached.where)) {
+      return yield* Effect.fail(new import_SyncError.SyncError({ code: "invalid_request", message: "Invalid presence location" }));
+    }
+    if (detached.sessionId !== void 0 && detached.sessionId.length === 0) {
+      return yield* Effect.fail(new import_SyncError.SyncError({ code: "invalid_request", message: "Invalid presence session" }));
+    }
+    let cursor = null;
+    if (detached.cursor !== null) {
+      const { cardId, offset } = detached.cursor;
+      if (typeof cardId !== "string" || cardId.length === 0) {
+        return yield* Effect.fail(
+          new import_SyncError.SyncError({ code: "invalid_request", message: "A cursor's card ID must not be empty" })
+        );
+      }
+      if (typeof offset !== "number" || !Number.isSafeInteger(offset) || offset < 0) {
+        return yield* Effect.fail(
+          new import_SyncError.SyncError({ code: "invalid_request", message: "A cursor's offset must be a nonnegative safe integer" })
+        );
+      }
+      cursor = new import_BranchProtocol.Cursor({ cardId, offset });
+    }
+    const announcement = { ...detached, cursor };
+    const nowMs = yield* Clock.currentTimeMillis;
+    live(announcement.branchId, nowMs);
+    const branch = roster.get(announcement.branchId) ?? /* @__PURE__ */ new Map();
+    const held = branch.get(seatKey(announcement));
+    const foreignActor = Array.from(branch.values()).some(
+      (seat) => seat.participant.participantId === announcement.participantId && seat.capabilityId !== claims.capabilityId
+    );
+    if (foreignActor || held !== void 0 && held.capabilityId !== claims.capabilityId) {
+      return yield* Effect.fail(heldByAnother(announcement.participantId));
+    }
+    if (held === void 0 && branch.size >= maxParticipants) {
+      return yield* Effect.fail(
+        new import_SyncError.SyncError({
+          code: "backpressure",
+          message: `Branch ${announcement.branchId} already holds ${maxParticipants} participants`
+        })
+      );
+    }
+    const participant = new import_BranchProtocol.Participant({
+      branchId: announcement.branchId,
+      participantId: announcement.participantId,
+      displayName: announcement.displayName,
+      cursor: announcement.cursor,
+      ...announcement.sessionId === void 0 ? {} : { sessionId: announcement.sessionId },
+      ...announcement.kind === void 0 ? {} : { kind: announcement.kind },
+      ...announcement.where === void 0 ? {} : { where: announcement.where },
+      ...announcement.watching === void 0 ? {} : { watching: announcement.watching },
+      ...announcement.for_member === void 0 ? {} : { for_member: announcement.for_member },
+      ...announcement.agentKind === void 0 ? {} : { agentKind: announcement.agentKind },
+      ...announcement.via === void 0 ? {} : { via: announcement.via },
+      ...announcement.runId === void 0 ? {} : { runId: announcement.runId },
+      leaseExpiresAtMs: nowMs + leaseMs
+    });
+    branch.set(seatKey(announcement), { participant, capabilityId: claims.capabilityId });
+    roster.set(announcement.branchId, branch);
+    yield* PubSub.publish(changes, announcement.branchId);
+    return detach(participant);
+  });
+  const leave = Effect.fn("BranchPresence.leave")(function* (supplied) {
+    const request = detachLeave(supplied);
+    yield* Effect.annotateCurrentSpan({ branchId: request.branchId, participantId: request.participantId });
+    const claims = yield* share.verify(request.capability, { branchId: request.branchId, access: "write" });
+    const branch = expire(request.branchId, yield* Clock.currentTimeMillis);
+    if (branch !== void 0) {
+      const keys = request.sessionId === void 0 ? [...branch].filter(([, seat]) => seat.participant.participantId === request.participantId).map(([key]) => key) : [seatKey(request)];
+      for (const key of keys) {
+        const held = branch.get(key);
+        if (held !== void 0 && held.capabilityId !== claims.capabilityId) {
+          return yield* Effect.fail(heldByAnother(request.participantId));
+        }
+      }
+      for (const key of keys) branch.delete(key);
+      if (branch.size === 0) roster.delete(request.branchId);
+    }
+    yield* PubSub.publish(changes, request.branchId);
+  });
+  const list = Effect.fn("BranchPresence.list")(function* (supplied) {
+    const request = detachRoster(supplied);
+    yield* Effect.annotateCurrentSpan({ branchId: request.branchId });
+    yield* share.verify(request.capability, { branchId: request.branchId, access: "read" });
+    return live(request.branchId, yield* Clock.currentTimeMillis);
+  });
+  const presenceOn = Effect.fn("BranchPresence.presenceOn")(function* (supplied) {
+    const request = detachRoster(supplied);
+    yield* share.verify(request.capability, { branchId: request.branchId, access: "read" });
+    const nowMs = yield* Clock.currentTimeMillis;
+    if (nowMs - startedAtMs < leaseMs || !(yield* sourcesReady(request.branchId))) return "unknown";
+    return live(request.branchId, nowMs).length === 0 ? "empty" : "present";
+  });
+  return BranchPresence.of({ announce, leave, list, presenceOn, changes: Stream.fromPubSub(changes), leaseMs });
+});
+const layer = Layer.effect(
+  BranchPresence,
+  makeResolved(defaults)
+);
+const layerWith = (options) => Layer.effect(BranchPresence, makeMemory(options));
+//# sourceMappingURL=BranchPresence.js.map

package/dist/cjs/BranchPresence.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../src/BranchPresence.ts"],
+  "sourcesContent": ["/**\n * Ephemeral presence and cursors for one shared branch.\n *\n * Presence is deliberately NOT journalled. A roster is a lease table: every\n * announcement extends a lease, and a participant that stops announcing \u2014\n * because the tab closed, the network dropped, or the process died \u2014 ages out\n * without anyone reporting the disconnect. Writing presence to the journal\n * would make \"who was looking at this\" part of the durable, replayable history\n * of a run, which is both unbounded and wrong: replaying a branch must not\n * resurrect a stranger's caret.\n *\n * Every operation authorizes through {@link BranchShare}, so a capability for\n * one branch can neither read nor write another branch's roster. A live\n * participant is bound to the capability that announced it: announcing or\n * leaving under that `participantId` with any other capability is refused\n * with `unauthorized` until the lease lapses.\n *\n * @since 0.1.0\n */\n\nimport * as Clock from \"effect/Clock\"\nimport * as Context from \"effect/Context\"\nimport * as Effect from \"effect/Effect\"\nimport * as Layer from \"effect/Layer\"\nimport * as PubSub from \"effect/PubSub\"\nimport * as Schema from \"effect/Schema\"\nimport * as Stream from \"effect/Stream\"\nimport {\n  type Announcement,\n  type BranchId,\n  Cursor,\n  type LeaveRequest,\n  Participant,\n  type ParticipantId,\n  PresenceWhere,\n  type RosterRequest\n} from \"./BranchProtocol.ts\"\nimport * as BranchShare from \"./BranchShare.ts\"\nimport { positiveInt } from \"./internal/PolicyOptions.ts\"\nimport { SyncError } from \"./SyncError.ts\"\n\n/**\n * Ephemeral branch presence operations.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface Service {\n  readonly announce: (announcement: Announcement) => Effect.Effect<Participant, SyncError>\n  readonly leave: (request: LeaveRequest) => Effect.Effect<void, SyncError>\n  /**\n   * One branch's live roster, as a fresh array of detached participants and\n   * cursors. Reading drops expired leases and advances a cross-branch sweep.\n   */\n  readonly list: (request: RosterRequest) => Effect.Effect<ReadonlyArray<Participant>, SyncError>\n  /**\n   * Returns `unknown` for one lease after host startup or while a required\n   * heartbeat source is unavailable; otherwise reports `present` or `empty`.\n   *\n   * @since 1.0.0\n   */\n  readonly presenceOn: (request: RosterRequest) => Effect.Effect<\"unknown\" | \"present\" | \"empty\", SyncError>\n  readonly changes: Stream.Stream<BranchId>\n  /**\n   * How long one announcement keeps a participant on the roster, in\n   * milliseconds.\n   *\n   * A lease lapses without anyone reporting it, and nothing publishes on\n   * `changes` when it does, so a watcher cannot learn of the last\n   * participant's departure from the change feed alone. It re-lists on this\n   * cadence capped at one second, bounding how long an expired lease stays visible.\n   */\n  readonly leaseMs: number\n}\n\n/**\n * The branch presence registry.\n *\n * @category services\n * @since 0.1.0\n */\nexport class BranchPresence extends Context.Service<BranchPresence, Service>()(\"@smthrs/sync/BranchPresence\") {}\n\nconst unavailable = new SyncError({ code: \"unsupported\", message: \"Branch presence is unavailable\" })\n\n/**\n * The lease {@link makeNoop} reports. It holds no one, so the value only has\n * to be a positive number a watcher can build a re-list cadence from.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const defaultLeaseMs = 30_000\n\n/**\n * Constructs an unavailable presence registry.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const makeNoop = (overrides: Partial<Service> = {}): Service =>\n  BranchPresence.of({\n    announce: () => Effect.fail(unavailable),\n    leave: () => Effect.fail(unavailable),\n    list: () => Effect.fail(unavailable),\n    presenceOn: () => Effect.succeed(\"unknown\"),\n    changes: Stream.empty,\n    leaseMs: defaultLeaseMs,\n    ...overrides\n  })\n\n/**\n * Provides an unavailable presence registry.\n *\n * @category layers\n * @since 0.1.0\n */\nexport const layerNoop: Layer.Layer<BranchPresence> = Layer.succeed(BranchPresence, makeNoop())\n\n/**\n * The policy one presence registry runs under. Every field defaults, and\n * {@link makeMemory} and {@link layerWith} validate what a caller supplies.\n *\n * @category models\n * @since 0.1.0\n */\nexport interface PresenceOptions {\n  /**\n   * How long an announcement keeps a participant on the roster, in\n   * milliseconds. Defaults to {@link defaultLeaseMs}.\n   */\n  readonly leaseMs?: number | undefined\n  /**\n   * Roster changes a stalled {@link Service.changes} subscriber may fall\n   * behind by. Defaults to {@link defaultChangesCapacity}.\n   */\n  readonly changesCapacity?: number | undefined\n  /**\n   * Participants one branch may hold at once. Defaults to\n   * {@link defaultMaxParticipants}.\n   */\n  readonly maxParticipants?: number | undefined\n  /**\n   * Host readiness, including authorization, revocation, bridge and session\n   * sources. Defaults to unavailable.\n   *\n   * @since 1.0.0\n   */\n  readonly sourcesReady?: ((branchId: BranchId) => Effect.Effect<boolean>) | undefined\n}\n\n/**\n * One roster slot: the participant, and the capability that announced it.\n *\n * `participantId` is chosen by the client, so it proves nothing on its own.\n * The slot is bound to the verified `capabilityId` of its first live\n * announcement, and only that capability may refresh or leave it until the\n * lease lapses. Without the binding any write link on the branch could\n * rename, move the caret of, or evict another link's participant.\n */\ninterface Seat {\n  readonly participant: Participant\n  readonly capabilityId: string\n}\n\nconst heldByAnother = (participantId: ParticipantId): SyncError =>\n  new SyncError({\n    code: \"unauthorized\",\n    message: `Participant ${participantId} is held by another share capability`\n  })\n\n/** The resolved, already-validated presence policy. */\ninterface Resolved {\n  readonly leaseMs: number\n  readonly changesCapacity: number\n  readonly maxParticipants: number\n  readonly sourcesReady: (branchId: BranchId) => Effect.Effect<boolean>\n}\n\n/**\n * Roster changes a stalled {@link Service.changes} subscriber may fall behind\n * by before the oldest are dropped.\n *\n * Presence is a lease table, and `changes` only says that some branch's roster\n * moved: a follower answers it with `list`. Holding an unbounded backlog for a\n * subscriber that has stopped pulling would let one abandoned watcher retain\n * every announcement the process has seen since. A subscriber that falls\n * further behind than this bound loses the oldest notifications and re-lists;\n * because every notification is answered by a fresh `list`, dropping one never\n * loses roster state.\n *\n * @category constants\n * @since 0.1.0\n */\nexport const defaultChangesCapacity = 256\n\n/**\n * Participants one branch may hold at once.\n *\n * A roster is unbounded fan-out in two directions: it is walked on every\n * `list`, and `Branch.Roster` returns it whole, which no frame ceiling covers.\n * Nothing caps how many distinct `participantId`s one write capability may\n * announce, so without this a single share link could pin an arbitrary number\n * of `Participant` objects until their leases expired. Two hundred and fifty\n * six is far above any real collaborative session; a further announce is\n * refused with `backpressure`.\n *\n * @category constants\n * @since 1.0.0-rc.0\n */\nexport const defaultMaxParticipants = 256\n\nconst defaults: Resolved = {\n  leaseMs: defaultLeaseMs,\n  changesCapacity: defaultChangesCapacity,\n  maxParticipants: defaultMaxParticipants,\n  sourcesReady: () => Effect.succeed(false)\n}\n\n/**\n * Constructs the in-memory, lease-expiring presence registry.\n *\n * Announcing requires write access: a read-only share link may watch the\n * roster but never appears on it, so a shared read link cannot be used to\n * impersonate a collaborator. A live participant belongs to the capability\n * that announced it, so another write link can neither overwrite nor evict it.\n * Holders of one link share its `capabilityId` and stay indistinguishable.\n *\n * The roster is keyed by branch and then by participant, so listing one branch\n * costs that branch plus a bounded sweep of other branches, and no two\n * branches can share a slot. One flat key built by concatenation collided\n * for valid branded ids, which let one announcement overwrite another branch's\n * participant.\n *\n * The change feed slides at {@link defaultChangesCapacity}: announcing never\n * waits on a stalled watcher, and never grows the process on its behalf.\n *\n * Fails with `invalid_request` when an option is not a positive safe integer.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const makeMemory = (\n  options: PresenceOptions = {}\n): Effect.Effect<Service, SyncError, BranchShare.BranchShare> =>\n  Effect.flatMap(\n    Effect.all({\n      leaseMs: positiveInt(\"BranchPresence.PresenceOptions.leaseMs\", options.leaseMs, defaults.leaseMs),\n      changesCapacity: positiveInt(\n        \"BranchPresence.PresenceOptions.changesCapacity\",\n        options.changesCapacity,\n        defaults.changesCapacity\n      ),\n      maxParticipants: positiveInt(\n        \"BranchPresence.PresenceOptions.maxParticipants\",\n        options.maxParticipants,\n        defaults.maxParticipants\n      )\n    }),\n    (resolved) => makeResolved({ ...resolved, sourcesReady: options.sourcesReady ?? defaults.sourcesReady })\n  )\n\n/** The registry over an already-validated policy. */\nconst makeResolved = (\n  { changesCapacity, leaseMs, maxParticipants, sourcesReady }: Resolved\n): Effect.Effect<Service, never, BranchShare.BranchShare> =>\n  Effect.gen(function*() {\n    const startedAtMs = yield* Clock.currentTimeMillis\n    const share = yield* BranchShare.BranchShare\n    const roster = new Map<BranchId, Map<string, Seat>>()\n    const changes = yield* PubSub.sliding<BranchId>(changesCapacity)\n\n    const expire = (branchId: BranchId, nowMs: number) => {\n      const branch = roster.get(branchId)\n      if (branch === undefined) return undefined\n      for (const [participantId, seat] of branch) {\n        if (seat.participant.leaseExpiresAtMs <= nowMs) branch.delete(participantId)\n      }\n      if (branch.size === 0) {\n        roster.delete(branchId)\n        return undefined\n      }\n      return branch\n    }\n\n    // Each announce/list advances through at most 16 branch maps. Their\n    // participant counts are capped, so unrelated activity reclaims abandoned\n    // rosters without scanning the entire registry in a single request.\n    let sweepCursor = roster.keys()\n    const sweep = (nowMs: number) => {\n      for (let index = 0; index < 16; index++) {\n        const next = sweepCursor.next()\n        if (next.done) {\n          sweepCursor = roster.keys()\n          break\n        }\n        expire(next.value, nowMs)\n      }\n    }\n\n    const seatKey = (request: { participantId: ParticipantId; sessionId?: string }) =>\n      JSON.stringify([request.participantId, request.sessionId ?? \"\"])\n    const copyWhere = (where: NonNullable<Participant[\"where\"]>) => ({ ...where })\n    const detach = (participant: Participant): Participant =>\n      new Participant({\n        ...participant,\n        ...(participant.where === undefined ? {} : { where: copyWhere(participant.where) }),\n        cursor: participant.cursor === null ? null : new Cursor(participant.cursor)\n      })\n\n    /**\n     * Drop this branch's expired leases and advance cleanup of other branches.\n     * Abandoned maps are reclaimed as announce/list calls advance the sweep;\n     * an idle registry keeps them until activity resumes. Results are detached\n     * from storage, including each participant's cursor.\n     */\n    const live = (branchId: BranchId, nowMs: number): Array<Participant> => {\n      sweep(nowMs)\n      const branch = expire(branchId, nowMs)\n      if (branch === undefined) return []\n      // Map entries have distinct seat keys, so compared seats cannot be equal.\n      return Array.from(branch.values(), (seat) => detach(seat.participant)).sort((left, right) =>\n        seatKey(left) < seatKey(right) ? -1 : 1\n      )\n    }\n\n    /**\n     * Copy a request out of the caller's object before the first await.\n     *\n     * `share.verify` awaits Web Crypto between authorizing `branchId` and the\n     * roster access that follows. The request objects are plain structs the\n     * in-process caller still holds, so reading them again after the await let\n     * a caller move `branchId` (or the participant identity) onto a branch the\n     * capability never authorized. Matches the claim snapshot in `BranchShare`.\n     */\n    const detachRoster = (request: RosterRequest): RosterRequest => ({\n      capability: request.capability,\n      branchId: request.branchId\n    })\n    const detachLeave = (request: LeaveRequest): LeaveRequest => ({\n      ...detachRoster(request),\n      participantId: request.participantId,\n      ...(request.sessionId === undefined ? {} : { sessionId: request.sessionId })\n    })\n    const detachAnnouncement = (request: Announcement) => {\n      const suppliedCursor: unknown = request.cursor\n      const cursor: { readonly cardId: unknown; readonly offset: unknown } | null = suppliedCursor === null\n        ? null\n        : typeof suppliedCursor === \"object\"\n        ? { cardId: (suppliedCursor as Cursor).cardId, offset: (suppliedCursor as Cursor).offset }\n        : { cardId: undefined, offset: undefined }\n      return {\n        ...detachLeave(request),\n        displayName: request.displayName,\n        cursor,\n        ...(request.kind === undefined ? {} : { kind: request.kind }),\n        ...(request.where === undefined ? {} : { where: copyWhere(request.where) }),\n        ...(request.watching === undefined ? {} : { watching: request.watching }),\n        ...(request.for_member === undefined ? {} : { for_member: request.for_member }),\n        ...(request.agentKind === undefined ? {} : { agentKind: request.agentKind }),\n        ...(request.via === undefined ? {} : { via: request.via }),\n        ...(request.runId === undefined ? {} : { runId: request.runId })\n      }\n    }\n\n    const announce = Effect.fn(\"BranchPresence.announce\")(function*(supplied: Announcement) {\n      const detached = detachAnnouncement(supplied)\n      yield* Effect.annotateCurrentSpan({\n        branchId: detached.branchId,\n        participantId: detached.participantId\n      })\n      const claims = yield* share.verify(detached.capability, {\n        branchId: detached.branchId,\n        access: \"write\"\n      })\n      // The wire schema IS `Announcement`, so a remote caller cannot reach\n      // here with an empty name. An in-process caller can, and `Participant`\n      // requires a `NonEmptyString`: without this the constructor threw a\n      // defect out of an operation whose type promises a `SyncError`.\n      if (detached.displayName.length === 0) {\n        return yield* Effect.fail(\n          new SyncError({ code: \"invalid_request\", message: \"A participant's display name must not be empty\" })\n        )\n      }\n      if (detached.where !== undefined && !Schema.is(PresenceWhere)(detached.where)) {\n        return yield* Effect.fail(new SyncError({ code: \"invalid_request\", message: \"Invalid presence location\" }))\n      }\n      if (detached.sessionId !== undefined && detached.sessionId.length === 0) {\n        return yield* Effect.fail(new SyncError({ code: \"invalid_request\", message: \"Invalid presence session\" }))\n      }\n      let cursor: Cursor | null = null\n      if (detached.cursor !== null) {\n        const { cardId, offset } = detached.cursor\n        if (typeof cardId !== \"string\" || cardId.length === 0) {\n          return yield* Effect.fail(\n            new SyncError({ code: \"invalid_request\", message: \"A cursor's card ID must not be empty\" })\n          )\n        }\n        if (typeof offset !== \"number\" || !Number.isSafeInteger(offset) || offset < 0) {\n          return yield* Effect.fail(\n            new SyncError({ code: \"invalid_request\", message: \"A cursor's offset must be a nonnegative safe integer\" })\n          )\n        }\n        cursor = new Cursor({ cardId, offset })\n      }\n      const announcement = { ...detached, cursor }\n      const nowMs = yield* Clock.currentTimeMillis\n      // Run-out leases are dropped before the cap is judged, so a branch that\n      // has simply been busy over time is never refused for a stale roster.\n      live(announcement.branchId, nowMs)\n      const branch = roster.get(announcement.branchId) ?? new Map<string, Seat>()\n      const held = branch.get(seatKey(announcement))\n      // A session suffix must not bypass the existing participant ownership\n      // fence. The host may bind multiple sessions to one actor capability.\n      const foreignActor = Array.from(branch.values()).some((seat) =>\n        seat.participant.participantId === announcement.participantId && seat.capabilityId !== claims.capabilityId\n      )\n      if (foreignActor || (held !== undefined && held.capabilityId !== claims.capabilityId)) {\n        return yield* Effect.fail(heldByAnother(announcement.participantId))\n      }\n      if (held === undefined && branch.size >= maxParticipants) {\n        return yield* Effect.fail(\n          new SyncError({\n            code: \"backpressure\",\n            message: `Branch ${announcement.branchId} already holds ${maxParticipants} participants`\n          })\n        )\n      }\n      const participant = new Participant({\n        branchId: announcement.branchId,\n        participantId: announcement.participantId,\n        displayName: announcement.displayName,\n        cursor: announcement.cursor,\n        ...(announcement.sessionId === undefined ? {} : { sessionId: announcement.sessionId }),\n        ...(announcement.kind === undefined ? {} : { kind: announcement.kind }),\n        ...(announcement.where === undefined ? {} : { where: announcement.where }),\n        ...(announcement.watching === undefined ? {} : { watching: announcement.watching }),\n        ...(announcement.for_member === undefined ? {} : { for_member: announcement.for_member }),\n        ...(announcement.agentKind === undefined ? {} : { agentKind: announcement.agentKind }),\n        ...(announcement.via === undefined ? {} : { via: announcement.via }),\n        ...(announcement.runId === undefined ? {} : { runId: announcement.runId }),\n        leaseExpiresAtMs: nowMs + leaseMs\n      })\n      branch.set(seatKey(announcement), { participant, capabilityId: claims.capabilityId })\n      roster.set(announcement.branchId, branch)\n      yield* PubSub.publish(changes, announcement.branchId)\n      return detach(participant)\n    })\n\n    const leave = Effect.fn(\"BranchPresence.leave\")(function*(supplied: LeaveRequest) {\n      const request = detachLeave(supplied)\n      yield* Effect.annotateCurrentSpan({ branchId: request.branchId, participantId: request.participantId })\n      const claims = yield* share.verify(request.capability, { branchId: request.branchId, access: \"write\" })\n      const branch = expire(request.branchId, yield* Clock.currentTimeMillis)\n      if (branch !== undefined) {\n        const keys = request.sessionId === undefined\n          ? [...branch].filter(([, seat]) => seat.participant.participantId === request.participantId)\n            .map(([key]) => key)\n          : [seatKey(request)]\n        for (const key of keys) {\n          const held = branch.get(key)\n          if (held !== undefined && held.capabilityId !== claims.capabilityId) {\n            return yield* Effect.fail(heldByAnother(request.participantId))\n          }\n        }\n        for (const key of keys) branch.delete(key)\n        if (branch.size === 0) roster.delete(request.branchId)\n      }\n      yield* PubSub.publish(changes, request.branchId)\n    })\n\n    const list = Effect.fn(\"BranchPresence.list\")(function*(supplied: RosterRequest) {\n      const request = detachRoster(supplied)\n      yield* Effect.annotateCurrentSpan({ branchId: request.branchId })\n      yield* share.verify(request.capability, { branchId: request.branchId, access: \"read\" })\n      return live(request.branchId, yield* Clock.currentTimeMillis)\n    })\n\n    const presenceOn = Effect.fn(\"BranchPresence.presenceOn\")(function*(supplied: RosterRequest) {\n      const request = detachRoster(supplied)\n      yield* share.verify(request.capability, { branchId: request.branchId, access: \"read\" })\n      const nowMs = yield* Clock.currentTimeMillis\n      if (nowMs - startedAtMs < leaseMs || !(yield* sourcesReady(request.branchId))) return \"unknown\" as const\n      return live(request.branchId, nowMs).length === 0 ? \"empty\" as const : \"present\" as const\n    })\n\n    return BranchPresence.of({ announce, leave, list, presenceOn, changes: Stream.fromPubSub(changes), leaseMs })\n  })\n\n/**\n * Provides the in-memory, lease-expiring presence registry under the default\n * policy, which is valid by construction and so cannot fail.\n *\n * @category layers\n * @since 0.1.0\n */\nexport const layer: Layer.Layer<BranchPresence, never, BranchShare.BranchShare> = Layer.effect(\n  BranchPresence,\n  makeResolved(defaults)\n)\n\n/**\n * Provides the in-memory, lease-expiring presence registry under an explicit\n * policy. Fails with `invalid_request` when an option is not a positive safe\n * integer, so a bad policy fails the composition rather than an announcement.\n *\n * @category layers\n * @since 1.0.0-rc.0\n */\nexport const layerWith = (\n  options: PresenceOptions\n): Layer.Layer<BranchPresence, SyncError, BranchShare.BranchShare> => Layer.effect(BranchPresence, makeMemory(options))\n"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAoBA,YAAuB;AACvB,cAAyB;AACzB,aAAwB;AACxB,YAAuB;AACvB,aAAwB;AACxB,aAAwB;AACxB,aAAwB;AACxB,4BASO;AACP,kBAA6B;AAC7B,2BAA4B;AAC5B,uBAA0B;AA0CnB,MAAM,uBAAuB,QAAQ,QAAiC,EAAE,6BAA6B,EAAE;AAAC;AAE/G,MAAM,cAAc,IAAI,2BAAU,EAAE,MAAM,eAAe,SAAS,iCAAiC,CAAC;AAS7F,MAAM,iBAAiB;AAQvB,MAAM,WAAW,CAAC,YAA8B,CAAC,MACtD,eAAe,GAAG;AAAA,EAChB,UAAU,MAAM,OAAO,KAAK,WAAW;AAAA,EACvC,OAAO,MAAM,OAAO,KAAK,WAAW;AAAA,EACpC,MAAM,MAAM,OAAO,KAAK,WAAW;AAAA,EACnC,YAAY,MAAM,OAAO,QAAQ,SAAS;AAAA,EAC1C,SAAS,OAAO;AAAA,EAChB,SAAS;AAAA,EACT,GAAG;AACL,CAAC;AAQI,MAAM,YAAyC,MAAM,QAAQ,gBAAgB,SAAS,CAAC;AAgD9F,MAAM,gBAAgB,CAAC,kBACrB,IAAI,2BAAU;AAAA,EACZ,MAAM;AAAA,EACN,SAAS,eAAe,aAAa;AACvC,CAAC;AAyBI,MAAM,yBAAyB;AAgB/B,MAAM,yBAAyB;AAEtC,MAAM,WAAqB;AAAA,EACzB,SAAS;AAAA,EACT,iBAAiB;AAAA,EACjB,iBAAiB;AAAA,EACjB,cAAc,MAAM,OAAO,QAAQ,KAAK;AAC1C;AAyBO,MAAM,aAAa,CACxB,UAA2B,CAAC,MAE5B,OAAO;AAAA,EACL,OAAO,IAAI;AAAA,IACT,aAAS,kCAAY,0CAA0C,QAAQ,SAAS,SAAS,OAAO;AAAA,IAChG,qBAAiB;AAAA,MACf;AAAA,MACA,QAAQ;AAAA,MACR,SAAS;AAAA,IACX;AAAA,IACA,qBAAiB;AAAA,MACf;AAAA,MACA,QAAQ;AAAA,MACR,SAAS;AAAA,IACX;AAAA,EACF,CAAC;AAAA,EACD,CAAC,aAAa,aAAa,EAAE,GAAG,UAAU,cAAc,QAAQ,gBAAgB,SAAS,aAAa,CAAC;AACzG;AAGF,MAAM,eAAe,CACnB,EAAE,iBAAiB,SAAS,iBAAiB,aAAa,MAE1D,OAAO,IAAI,aAAY;AACrB,QAAM,cAAc,OAAO,MAAM;AACjC,QAAM,QAAQ,OAAO,YAAY;AACjC,QAAM,SAAS,oBAAI,IAAiC;AACpD,QAAM,UAAU,OAAO,OAAO,QAAkB,eAAe;AAE/D,QAAM,SAAS,CAAC,UAAoB,UAAkB;AACpD,UAAM,SAAS,OAAO,IAAI,QAAQ;AAClC,QAAI,WAAW,OAAW,QAAO;AACjC,eAAW,CAAC,eAAe,IAAI,KAAK,QAAQ;AAC1C,UAAI,KAAK,YAAY,oBAAoB,MAAO,QAAO,OAAO,aAAa;AAAA,IAC7E;AACA,QAAI,OAAO,SAAS,GAAG;AACrB,aAAO,OAAO,QAAQ;AACtB,aAAO;AAAA,IACT;AACA,WAAO;AAAA,EACT;AAKA,MAAI,cAAc,OAAO,KAAK;AAC9B,QAAM,QAAQ,CAAC,UAAkB;AAC/B,aAAS,QAAQ,GAAG,QAAQ,IAAI,SAAS;AACvC,YAAM,OAAO,YAAY,KAAK;AAC9B,UAAI,KAAK,MAAM;AACb,sBAAc,OAAO,KAAK;AAC1B;AAAA,MACF;AACA,aAAO,KAAK,OAAO,KAAK;AAAA,IAC1B;AAAA,EACF;AAEA,QAAM,UAAU,CAAC,YACf,KAAK,UAAU,CAAC,QAAQ,eAAe,QAAQ,aAAa,EAAE,CAAC;AACjE,QAAM,YAAY,CAAC,WAA8C,EAAE,GAAG,MAAM;AAC5E,QAAM,SAAS,CAAC,gBACd,IAAI,kCAAY;AAAA,IACd,GAAG;AAAA,IACH,GAAI,YAAY,UAAU,SAAY,CAAC,IAAI,EAAE,OAAO,UAAU,YAAY,KAAK,EAAE;AAAA,IACjF,QAAQ,YAAY,WAAW,OAAO,OAAO,IAAI,6BAAO,YAAY,MAAM;AAAA,EAC5E,CAAC;AAQH,QAAM,OAAO,CAAC,UAAoB,UAAsC;AACtE,UAAM,KAAK;AACX,UAAM,SAAS,OAAO,UAAU,KAAK;AACrC,QAAI,WAAW,OAAW,QAAO,CAAC;AAElC,WAAO,MAAM,KAAK,OAAO,OAAO,GAAG,CAAC,SAAS,OAAO,KAAK,WAAW,CAAC,EAAE;AAAA,MAAK,CAAC,MAAM,UACjF,QAAQ,IAAI,IAAI,QAAQ,KAAK,IAAI,KAAK;AAAA,IACxC;AAAA,EACF;AAWA,QAAM,eAAe,CAAC,aAA2C;AAAA,IAC/D,YAAY,QAAQ;AAAA,IACpB,UAAU,QAAQ;AAAA,EACpB;AACA,QAAM,cAAc,CAAC,aAAyC;AAAA,IAC5D,GAAG,aAAa,OAAO;AAAA,IACvB,eAAe,QAAQ;AAAA,IACvB,GAAI,QAAQ,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,QAAQ,UAAU;AAAA,EAC5E;AACA,QAAM,qBAAqB,CAAC,YAA0B;AACpD,UAAM,iBAA0B,QAAQ;AACxC,UAAM,SAAwE,mBAAmB,OAC7F,OACA,OAAO,mBAAmB,WAC1B,EAAE,QAAS,eAA0B,QAAQ,QAAS,eAA0B,OAAO,IACvF,EAAE,QAAQ,QAAW,QAAQ,OAAU;AAC3C,WAAO;AAAA,MACL,GAAG,YAAY,OAAO;AAAA,MACtB,aAAa,QAAQ;AAAA,MACrB;AAAA,MACA,GAAI,QAAQ,SAAS,SAAY,CAAC,IAAI,EAAE,MAAM,QAAQ,KAAK;AAAA,MAC3D,GAAI,QAAQ,UAAU,SAAY,CAAC,IAAI,EAAE,OAAO,UAAU,QAAQ,KAAK,EAAE;AAAA,MACzE,GAAI,QAAQ,aAAa,SAAY,CAAC,IAAI,EAAE,UAAU,QAAQ,SAAS;AAAA,MACvE,GAAI,QAAQ,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,QAAQ,WAAW;AAAA,MAC7E,GAAI,QAAQ,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,QAAQ,UAAU;AAAA,MAC1E,GAAI,QAAQ,QAAQ,SAAY,CAAC,IAAI,EAAE,KAAK,QAAQ,IAAI;AAAA,MACxD,GAAI,QAAQ,UAAU,SAAY,CAAC,IAAI,EAAE,OAAO,QAAQ,MAAM;AAAA,IAChE;AAAA,EACF;AAEA,QAAM,WAAW,OAAO,GAAG,yBAAyB,EAAE,WAAU,UAAwB;AACtF,UAAM,WAAW,mBAAmB,QAAQ;AAC5C,WAAO,OAAO,oBAAoB;AAAA,MAChC,UAAU,SAAS;AAAA,MACnB,eAAe,SAAS;AAAA,IAC1B,CAAC;AACD,UAAM,SAAS,OAAO,MAAM,OAAO,SAAS,YAAY;AAAA,MACtD,UAAU,SAAS;AAAA,MACnB,QAAQ;AAAA,IACV,CAAC;AAKD,QAAI,SAAS,YAAY,WAAW,GAAG;AACrC,aAAO,OAAO,OAAO;AAAA,QACnB,IAAI,2BAAU,EAAE,MAAM,mBAAmB,SAAS,iDAAiD,CAAC;AAAA,MACtG;AAAA,IACF;AACA,QAAI,SAAS,UAAU,UAAa,CAAC,OAAO,GAAG,mCAAa,EAAE,SAAS,KAAK,GAAG;AAC7E,aAAO,OAAO,OAAO,KAAK,IAAI,2BAAU,EAAE,MAAM,mBAAmB,SAAS,4BAA4B,CAAC,CAAC;AAAA,IAC5G;AACA,QAAI,SAAS,cAAc,UAAa,SAAS,UAAU,WAAW,GAAG;AACvE,aAAO,OAAO,OAAO,KAAK,IAAI,2BAAU,EAAE,MAAM,mBAAmB,SAAS,2BAA2B,CAAC,CAAC;AAAA,IAC3G;AACA,QAAI,SAAwB;AAC5B,QAAI,SAAS,WAAW,MAAM;AAC5B,YAAM,EAAE,QAAQ,OAAO,IAAI,SAAS;AACpC,UAAI,OAAO,WAAW,YAAY,OAAO,WAAW,GAAG;AACrD,eAAO,OAAO,OAAO;AAAA,UACnB,IAAI,2BAAU,EAAE,MAAM,mBAAmB,SAAS,uCAAuC,CAAC;AAAA,QAC5F;AAAA,MACF;AACA,UAAI,OAAO,WAAW,YAAY,CAAC,OAAO,cAAc,MAAM,KAAK,SAAS,GAAG;AAC7E,eAAO,OAAO,OAAO;AAAA,UACnB,IAAI,2BAAU,EAAE,MAAM,mBAAmB,SAAS,uDAAuD,CAAC;AAAA,QAC5G;AAAA,MACF;AACA,eAAS,IAAI,6BAAO,EAAE,QAAQ,OAAO,CAAC;AAAA,IACxC;AACA,UAAM,eAAe,EAAE,GAAG,UAAU,OAAO;AAC3C,UAAM,QAAQ,OAAO,MAAM;AAG3B,SAAK,aAAa,UAAU,KAAK;AACjC,UAAM,SAAS,OAAO,IAAI,aAAa,QAAQ,KAAK,oBAAI,IAAkB;AAC1E,UAAM,OAAO,OAAO,IAAI,QAAQ,YAAY,CAAC;AAG7C,UAAM,eAAe,MAAM,KAAK,OAAO,OAAO,CAAC,EAAE;AAAA,MAAK,CAAC,SACrD,KAAK,YAAY,kBAAkB,aAAa,iBAAiB,KAAK,iBAAiB,OAAO;AAAA,IAChG;AACA,QAAI,gBAAiB,SAAS,UAAa,KAAK,iBAAiB,OAAO,cAAe;AACrF,aAAO,OAAO,OAAO,KAAK,cAAc,aAAa,aAAa,CAAC;AAAA,IACrE;AACA,QAAI,SAAS,UAAa,OAAO,QAAQ,iBAAiB;AACxD,aAAO,OAAO,OAAO;AAAA,QACnB,IAAI,2BAAU;AAAA,UACZ,MAAM;AAAA,UACN,SAAS,UAAU,aAAa,QAAQ,kBAAkB,eAAe;AAAA,QAC3E,CAAC;AAAA,MACH;AAAA,IACF;AACA,UAAM,cAAc,IAAI,kCAAY;AAAA,MAClC,UAAU,aAAa;AAAA,MACvB,eAAe,aAAa;AAAA,MAC5B,aAAa,aAAa;AAAA,MAC1B,QAAQ,aAAa;AAAA,MACrB,GAAI,aAAa,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,aAAa,UAAU;AAAA,MACpF,GAAI,aAAa,SAAS,SAAY,CAAC,IAAI,EAAE,MAAM,aAAa,KAAK;AAAA,MACrE,GAAI,aAAa,UAAU,SAAY,CAAC,IAAI,EAAE,OAAO,aAAa,MAAM;AAAA,MACxE,GAAI,aAAa,aAAa,SAAY,CAAC,IAAI,EAAE,UAAU,aAAa,SAAS;AAAA,MACjF,GAAI,aAAa,eAAe,SAAY,CAAC,IAAI,EAAE,YAAY,aAAa,WAAW;AAAA,MACvF,GAAI,aAAa,cAAc,SAAY,CAAC,IAAI,EAAE,WAAW,aAAa,UAAU;AAAA,MACpF,GAAI,aAAa,QAAQ,SAAY,CAAC,IAAI,EAAE,KAAK,aAAa,IAAI;AAAA,MAClE,GAAI,aAAa,UAAU,SAAY,CAAC,IAAI,EAAE,OAAO,aAAa,MAAM;AAAA,MACxE,kBAAkB,QAAQ;AAAA,IAC5B,CAAC;AACD,WAAO,IAAI,QAAQ,YAAY,GAAG,EAAE,aAAa,cAAc,OAAO,aAAa,CAAC;AACpF,WAAO,IAAI,aAAa,UAAU,MAAM;AACxC,WAAO,OAAO,QAAQ,SAAS,aAAa,QAAQ;AACpD,WAAO,OAAO,WAAW;AAAA,EAC3B,CAAC;AAED,QAAM,QAAQ,OAAO,GAAG,sBAAsB,EAAE,WAAU,UAAwB;AAChF,UAAM,UAAU,YAAY,QAAQ;AACpC,WAAO,OAAO,oBAAoB,EAAE,UAAU,QAAQ,UAAU,eAAe,QAAQ,cAAc,CAAC;AACtG,UAAM,SAAS,OAAO,MAAM,OAAO,QAAQ,YAAY,EAAE,UAAU,QAAQ,UAAU,QAAQ,QAAQ,CAAC;AACtG,UAAM,SAAS,OAAO,QAAQ,UAAU,OAAO,MAAM,iBAAiB;AACtE,QAAI,WAAW,QAAW;AACxB,YAAM,OAAO,QAAQ,cAAc,SAC/B,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,MAAM,KAAK,YAAY,kBAAkB,QAAQ,aAAa,EACxF,IAAI,CAAC,CAAC,GAAG,MAAM,GAAG,IACnB,CAAC,QAAQ,OAAO,CAAC;AACrB,iBAAW,OAAO,MAAM;AACtB,cAAM,OAAO,OAAO,IAAI,GAAG;AAC3B,YAAI,SAAS,UAAa,KAAK,iBAAiB,OAAO,cAAc;AACnE,iBAAO,OAAO,OAAO,KAAK,cAAc,QAAQ,aAAa,CAAC;AAAA,QAChE;AAAA,MACF;AACA,iBAAW,OAAO,KAAM,QAAO,OAAO,GAAG;AACzC,UAAI,OAAO,SAAS,EAAG,QAAO,OAAO,QAAQ,QAAQ;AAAA,IACvD;AACA,WAAO,OAAO,QAAQ,SAAS,QAAQ,QAAQ;AAAA,EACjD,CAAC;AAED,QAAM,OAAO,OAAO,GAAG,qBAAqB,EAAE,WAAU,UAAyB;AAC/E,UAAM,UAAU,aAAa,QAAQ;AACrC,WAAO,OAAO,oBAAoB,EAAE,UAAU,QAAQ,SAAS,CAAC;AAChE,WAAO,MAAM,OAAO,QAAQ,YAAY,EAAE,UAAU,QAAQ,UAAU,QAAQ,OAAO,CAAC;AACtF,WAAO,KAAK,QAAQ,UAAU,OAAO,MAAM,iBAAiB;AAAA,EAC9D,CAAC;AAED,QAAM,aAAa,OAAO,GAAG,2BAA2B,EAAE,WAAU,UAAyB;AAC3F,UAAM,UAAU,aAAa,QAAQ;AACrC,WAAO,MAAM,OAAO,QAAQ,YAAY,EAAE,UAAU,QAAQ,UAAU,QAAQ,OAAO,CAAC;AACtF,UAAM,QAAQ,OAAO,MAAM;AAC3B,QAAI,QAAQ,cAAc,WAAW,EAAE,OAAO,aAAa,QAAQ,QAAQ,GAAI,QAAO;AACtF,WAAO,KAAK,QAAQ,UAAU,KAAK,EAAE,WAAW,IAAI,UAAmB;AAAA,EACzE,CAAC;AAED,SAAO,eAAe,GAAG,EAAE,UAAU,OAAO,MAAM,YAAY,SAAS,OAAO,WAAW,OAAO,GAAG,QAAQ,CAAC;AAC9G,CAAC;AASI,MAAM,QAAqE,MAAM;AAAA,EACtF;AAAA,EACA,aAAa,QAAQ;AACvB;AAUO,MAAM,YAAY,CACvB,YACoE,MAAM,OAAO,gBAAgB,WAAW,OAAO,CAAC;",
+  "names": []
+}