@optimystic/db-core 0.13.5 → 0.14.1

package/dist/src/reactivity/resume.js

@@ -0,0 +1,358 @@
+/**
+ * Reactivity — Resume RPC: classification, serving, and subscriber-side apply
+ * (`docs/reactivity.md` §Resume, §Parent checkpoint summaries, §Wire formats Resume).
+ *
+ * A subscriber waking from sleep sends one {@link ResumeV1} to its cached primary (or any cohort member).
+ * The serving cohort classifies the request against its **stacked** recovery windows — the `W`-deep replay
+ * ring sits on top of the `W_checkpoint`-span parent checkpoint immediately below it, so a single round
+ * trip recovers `W + W_checkpoint` revisions — and answers with one of four {@link ResumeReplyV1} variants
+ * (`docs/reactivity.md` §Replay window, the authoritative stacked semantics):
+ *
+ *  - **Backfill** — `fromRevision` is within the replay ring (`fromRevision ≥ ringLow`). Returns the
+ *    `[fromRevision, currentRevision]` slice + `currentRevision`. One RT.
+ *  - **CheckpointWindow** — `fromRevision` is below the ring but within the parent checkpoint span
+ *    (`chain low ≤ fromRevision < ringLow`). Returns an ordered, contiguous **chain** of
+ *    {@link CheckpointSummary}s (`checkpoints`, low→high) + the ring's `recentEntries`. The subscriber
+ *    verifies every link's endpoints, applies each link's merged digest, advances its contiguity head past
+ *    the whole chain, then replays the recent entries deduped against `lastRevision`. One RT. The chain is a
+ *    single link in steady state; a new tail that took over across a rotation serves a **two-link**
+ *    `[inherited, rolling]` chain when a `fromRevision` below both the ring and the rolling checkpoint falls
+ *    inside the inherited handoff window — so the full stacked range recovers in one reply regardless of
+ *    where the new tail's own rolling checkpoint has formed (`docs/reactivity.md` §Tail rotation step 5 —
+ *    "the new tail holds the old checkpoint").
+ *  - **OutOfWindow** — older than even the checkpoint. Returns `currentTailId` + `currentRevision`; the
+ *    subscriber falls back to a chain read, then a fresh subscribe.
+ *  - **TailRotated** — the request's `latestKnownTailId` does not match the cohort's current tail (the
+ *    subscriber slept across a rotation). Returns `newTailId` + `newRevisionAtRotation`; the subscriber
+ *    re-registers under the new tail. This is checked **first**: a stale tail means the whole tree moved,
+ *    so the lag-against-windows classification is moot. The rotation *lifecycle* is owned by
+ *    [reactivity-rotation-backpressure-policy]; this module only **detects** the stale tail and emits the
+ *    reply so resume composes with rotation.
+ *
+ * Wire conventions match the rest of reactivity: JSON, byte fields base64url, unix-ms timestamps, `v: 1`,
+ * per-message structural validation on decode. `ResumeV1` is signed by the subscriber's peer key
+ * (`signature`); replay protection rides the request envelope as elsewhere in the substrate.
+ */
+import { decodeCohortMessage, encodeCohortMessage, DEFAULT_MAX_MESSAGE_BYTES, } from "../cohort-topic/wire/codec.js";
+import { asObject, b64urlField, failWire, reqFiniteNumber, reqIntInRange, reqString, requireV1, } from "./wire-validate.js";
+import { validateCheckpointSummary, verifyCheckpointEndpoints } from "./checkpoint.js";
+import { checkpointCovers } from "./rotation.js";
+import { validateNotificationArray } from "./wire.js";
+// --- validation ---
+/** Narrow an already-parsed value to {@link ResumeV1}, throwing on any defect. */
+export function validateResumeV1(value) {
+    const what = "ResumeV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    return {
+        v: 1,
+        collectionId: b64urlField(reqString(obj, "collectionId", what), "collectionId", what),
+        fromRevision: reqIntInRange(obj, "fromRevision", what, 0),
+        latestKnownTailId: b64urlField(reqString(obj, "latestKnownTailId", what), "latestKnownTailId", what),
+        subscriberCoord: b64urlField(reqString(obj, "subscriberCoord", what), "subscriberCoord", what),
+        timestamp: reqFiniteNumber(obj, "timestamp", what),
+        signature: b64urlField(reqString(obj, "signature", what), "signature", what),
+    };
+}
+/** Narrow an already-parsed value to {@link ResumeReplyV1}, throwing on any defect. */
+export function validateResumeReplyV1(value) {
+    const what = "ResumeReplyV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const result = obj["result"];
+    if (result !== "backfill" && result !== "checkpoint_window" && result !== "out_of_window" && result !== "tail_rotated") {
+        failWire(`${what}: field "result" must be one of backfill|checkpoint_window|out_of_window|tail_rotated`);
+    }
+    const out = { v: 1, result };
+    switch (result) {
+        case "backfill": {
+            out.entries = validateNotificationArray(obj["entries"], what);
+            out.currentRevision = reqIntInRange(obj, "currentRevision", what, 0);
+            break;
+        }
+        case "checkpoint_window": {
+            out.checkpoints = validateCheckpointChain(obj["checkpoints"], `${what}.checkpoints`);
+            out.recentEntries = validateNotificationArray(obj["recentEntries"], what);
+            if (obj["currentRevision"] !== undefined) {
+                out.currentRevision = reqIntInRange(obj, "currentRevision", what, 0);
+            }
+            break;
+        }
+        case "out_of_window": {
+            out.currentTailId = b64urlField(reqString(obj, "currentTailId", what), "currentTailId", what);
+            out.currentRevision = reqIntInRange(obj, "currentRevision", what, 0);
+            break;
+        }
+        case "tail_rotated": {
+            out.newTailId = b64urlField(reqString(obj, "newTailId", what), "newTailId", what);
+            out.newRevisionAtRotation = reqIntInRange(obj, "newRevisionAtRotation", what, 0);
+            break;
+        }
+    }
+    return out;
+}
+/**
+ * Validate a `checkpoint_window` reply's checkpoint chain: a **non-empty**, **ascending**, internally
+ * **contiguous** list of {@link CheckpointSummary}s sharing one `collectionId`. Each link is validated via
+ * {@link validateCheckpointSummary}, and for `i ≥ 1` the chain must satisfy
+ * `checkpoints[i].fromRevision === checkpoints[i-1].toRevision + 1` (a gapped, overlapping, or misordered
+ * chain is rejected). Runs on decode, so a malformed chain never reaches {@link applyResumeReply} over the
+ * wire.
+ */
+function validateCheckpointChain(value, what) {
+    if (!Array.isArray(value) || value.length === 0) {
+        failWire(`${what}: must be a non-empty array of checkpoint summaries`);
+    }
+    const chain = value.map((el, i) => validateCheckpointSummary(el, `${what}[${i}]`));
+    for (let i = 0; i < chain.length; i++) {
+        if (chain[i].collectionId !== chain[0].collectionId) {
+            failWire(`${what}: all checkpoints must share one collectionId`);
+        }
+        if (i >= 1 && chain[i].fromRevision !== chain[i - 1].toRevision + 1) {
+            failWire(`${what}: chain must be ascending and contiguous (checkpoints[${i}].fromRevision must equal checkpoints[${i - 1}].toRevision + 1)`);
+        }
+    }
+    return chain;
+}
+// --- canonical signing payload ---
+const utf8 = new TextEncoder();
+/**
+ * Canonical signed byte image of a {@link ResumeV1} (every field except `signature`). Mirrors
+ * {@link import("./backfill.js").backfillSigningPayload}: an explicitly-ordered, type-tagged JSON array
+ * encoded as UTF-8. The `"ResumeV1"` tag means a resume image can never collide with the `"BackfillV1"`
+ * image. `subscriberCoord` is part of the image, so a verifier recomputes over whatever coordinate the
+ * request carries — the field order is the byte-for-byte contract between signer and verifier.
+ */
+export function resumeSigningPayload(body) {
+    return utf8.encode(JSON.stringify([
+        "ResumeV1",
+        body.v,
+        body.collectionId,
+        body.fromRevision,
+        body.latestKnownTailId,
+        body.subscriberCoord,
+        body.timestamp,
+    ]));
+}
+// --- codecs (length-framed JSON, mirroring the rest of reactivity) ---
+/** Encode a {@link ResumeV1} as a length-prefixed UTF-8 JSON frame. */
+export function encodeResumeV1(msg, maxMessageBytes = DEFAULT_MAX_MESSAGE_BYTES) {
+    return encodeCohortMessage(validateResumeV1(msg), maxMessageBytes);
+}
+/** Decode a length-prefixed {@link ResumeV1} frame. */
+export function decodeResumeV1(bytes, maxMessageBytes) {
+    return validateResumeV1(decodeCohortMessage(bytes, maxMessageBytes));
+}
+/** Encode a {@link ResumeReplyV1} as a length-prefixed UTF-8 JSON frame. */
+export function encodeResumeReplyV1(msg, maxMessageBytes = DEFAULT_MAX_MESSAGE_BYTES) {
+    return encodeCohortMessage(validateResumeReplyV1(msg), maxMessageBytes);
+}
+/** Decode a length-prefixed {@link ResumeReplyV1} frame. */
+export function decodeResumeReplyV1(bytes, maxMessageBytes) {
+    return validateResumeReplyV1(decodeCohortMessage(bytes, maxMessageBytes));
+}
+// --- serving-cohort classification ---
+/** The rolling checkpoint's summary; non-undefined because the caller already proved it abuts the ring (so non-empty). */
+function requireRollingSummary(rolling) {
+    const summary = rolling.summary();
+    if (summary === undefined) {
+        throw new Error("resumeCheckpointChain: rolling checkpoint abuts the ring yet produced no summary (invariant violation)");
+    }
+    return summary;
+}
+/**
+ * Build the served checkpoint chain for a `checkpoint_window` resume: the **shortest** contiguous low→high
+ * chain of {@link CheckpointSummary}s that both covers `fromRevision` and **abuts the ring's low edge**
+ * (`top.toRevision === ringLow − 1`), or `undefined` when no gap-free chain exists. Shared by
+ * {@link classifyResume} and {@link serveResume} so they cannot disagree about the served shape.
+ *
+ * Cases are evaluated in precedence order (this ordering preserves every existing classification test):
+ *
+ *  - **A — rolling wins.** The rolling checkpoint abuts the ring (it is fed by ring eviction, so it always
+ *    does) and covers `fromRevision`: the fresher, narrower single link `[rolling]`.
+ *  - **B1 — inherited abuts the ring directly.** No new-tail rolling checkpoint has formed between the
+ *    inherited handoff and the ring yet (the `12.51` abut case): the single link `[inherited]`.
+ *  - **B2 — the bridge.** The inherited handoff abuts the new tail's rolling checkpoint, which abuts the
+ *    ring: the two-link `[inherited, rolling]` chain spans inherited → rolling → ring with no gap.
+ *
+ * Any other shape (a gap below `fromRevision`, or a gap between the windows) returns `undefined` → the
+ * request falls to `out_of_window` (an honest chain read). `ringLow === undefined` (no live ring to abut /
+ * no `recentEntries`) also returns `undefined`.
+ */
+function resumeCheckpointChain(fromRevision, ringLow, rolling, inherited) {
+    if (ringLow === undefined) {
+        return undefined;
+    }
+    const ringAbut = ringLow - 1;
+    // Case A — the rolling checkpoint wins (fresher, narrower). `toRevision === ringAbut` implies it is
+    // non-empty, so the summary is defined (asserted in requireRollingSummary).
+    if (rolling !== undefined && rolling.toRevision === ringAbut && rolling.covers(fromRevision)) {
+        return [requireRollingSummary(rolling)];
+    }
+    // Case B1 — the inherited handoff abuts the ring directly (the 12.51 abut case): a single link.
+    if (inherited !== undefined && inherited.toRevision === ringAbut && checkpointCovers(inherited, fromRevision)) {
+        return [inherited];
+    }
+    // Case B2 — the bridge: inherited abuts the rolling checkpoint, which abuts the ring. The two-link chain
+    // carries inherited → rolling → ring with no gap, and each link keeps its own already-correct merged
+    // digest (nothing is re-folded, so a per-collection override fold composes trivially).
+    if (inherited !== undefined &&
+        rolling !== undefined &&
+        rolling.toRevision === ringAbut &&
+        inherited.toRevision + 1 === rolling.fromRevision &&
+        checkpointCovers(inherited, fromRevision)) {
+        return [inherited, requireRollingSummary(rolling)];
+    }
+    return undefined;
+}
+/**
+ * Classify a resume request against the serving cohort's stacked windows. The decision order is:
+ *
+ *  1. **tail_rotated** — `req.latestKnownTailId !== currentTailId`. A stale tail means the tree migrated,
+ *     so the lag classification below is moot.
+ *  2. **backfill** — `fromRevision` is at/above the replay ring's low edge (within, or already current).
+ *  3. **checkpoint_window** — below the ring but a gap-free {@link resumeCheckpointChain} covers it: the
+ *     rolling checkpoint (steady state), the inherited cross-rotation handoff (`docs/reactivity.md` §Tail
+ *     rotation step 5 — "the new tail holds the old checkpoint"), or the two-link `[inherited, rolling]`
+ *     bridge spanning both when the new tail's own rolling checkpoint has formed between the handoff and the
+ *     ring.
+ *  4. **out_of_window** — older than even the deepest window, or a gap leaves no contiguous chain to the
+ *     ring (a chain read), or every window is empty/absent.
+ */
+export function classifyResume(req, buffer, checkpoint, currentTailId, inherited) {
+    if (req.latestKnownTailId !== currentTailId) {
+        return "tail_rotated";
+    }
+    const low = buffer.lowRevision;
+    if (low !== undefined && req.fromRevision >= low) {
+        return "backfill";
+    }
+    return resumeCheckpointChain(req.fromRevision, low, checkpoint, inherited) !== undefined
+        ? "checkpoint_window"
+        : "out_of_window";
+}
+/**
+ * Serve a {@link ResumeV1} from a cohort's stacked windows, producing the classified {@link ResumeReplyV1}.
+ * Pure over the supplied snapshot — no I/O, no clock. A request whose `collectionId` does not match
+ * `expectedCollectionId` is rejected (a resume is collection-scoped).
+ */
+export function serveResume(req, deps) {
+    if (req.collectionId !== deps.expectedCollectionId) {
+        failWire(`serveResume: request collectionId does not match this cohort's collection`);
+    }
+    const result = classifyResume(req, deps.buffer, deps.checkpoint, deps.currentTailId, deps.inheritedCheckpoint);
+    switch (result) {
+        case "backfill": {
+            const high = deps.buffer.highRevision ?? deps.currentRevision;
+            const entries = deps.buffer.range(req.fromRevision, high).map((e) => e.payload);
+            return { v: 1, result, entries, currentRevision: deps.currentRevision };
+        }
+        case "checkpoint_window": {
+            // The contiguous chain the helper built — rolling alone, inherited alone, or the two-link bridge.
+            // classifyResume returned checkpoint_window iff this chain is present, so it is non-undefined here
+            // (the two calls share inputs, so they cannot disagree).
+            const chain = resumeCheckpointChain(req.fromRevision, deps.buffer.lowRevision, deps.checkpoint, deps.inheritedCheckpoint);
+            if (chain === undefined) {
+                throw new Error("serveResume: checkpoint_window classification produced no checkpoint chain (invariant violation)");
+            }
+            const recentEntries = deps.buffer.entries().map((e) => e.payload);
+            return { v: 1, result, checkpoints: chain, recentEntries, currentRevision: deps.currentRevision };
+        }
+        case "out_of_window":
+            return { v: 1, result, currentTailId: deps.currentTailId, currentRevision: deps.currentRevision };
+        case "tail_rotated":
+            return {
+                v: 1,
+                result,
+                newTailId: deps.currentTailId,
+                newRevisionAtRotation: deps.rotationRevision ?? deps.currentRevision,
+            };
+    }
+}
+/**
+ * Apply a {@link ResumeReplyV1} on the subscriber side, returning the {@link ResumeApplyOutcome}. Backfill
+ * and checkpoint-window entries re-enter through {@link ReactivitySubscriber.onNotification} (so they are
+ * verified, contiguity-checked, and deduped exactly like live notifications); the other variants escalate
+ * to the application via the supplied sinks. A checkpoint whose bracketing endpoints do not verify is
+ * **not** applied — the subscriber chain-reads instead (a forged checkpoint must never advance state).
+ */
+export async function applyResumeReply(reply, deps) {
+    switch (reply.result) {
+        case "backfill": {
+            for (const n of reply.entries ?? []) {
+                await deps.subscriber.onNotification(n);
+            }
+            return "backfilled";
+        }
+        case "checkpoint_window": {
+            const summaries = reply.checkpoints;
+            if (summaries === undefined || summaries.length === 0) {
+                failWire(`applyResumeReply: checkpoint_window reply is missing its checkpoint chain`);
+            }
+            // Low-edge guard on the **lowest** link: endpoint verification proves each link's bounds are *real*
+            // committed revisions, but not that the chain connects to the subscriber's contiguity head. If the
+            // lowest `fromRevision` sits above `lastRevision + 1` there is an un-summarized gap below the chain;
+            // rebaselining would silently skip those revisions. The honest cohort never sends such a reply
+            // (`classifyResume` only picks `checkpoint_window` when the chain covers `lastRevision + 1`), so a
+            // non-abutting low edge is a forged/buggy reply — chain-read rather than advance past a gap.
+            if (summaries[0].fromRevision > deps.subscriber.lastRevision + 1) {
+                deps.onChainRead?.(reply.currentTailId, reply.currentRevision);
+                return "checkpoint_untrusted";
+            }
+            // Intra-chain contiguity (defense in depth: the codec already checks every *decoded* reply, but an
+            // in-process reply may bypass the codec). A gap/overlap between links would skip or double revisions.
+            for (let i = 1; i < summaries.length; i++) {
+                if (summaries[i].fromRevision !== summaries[i - 1].toRevision + 1) {
+                    deps.onChainRead?.(reply.currentTailId, reply.currentRevision);
+                    return "checkpoint_untrusted";
+                }
+            }
+            // Verify EVERY link's bracketing endpoints **before applying anything** — a single forged link kills
+            // the whole reply, so nothing is delivered and `lastRevision` is unchanged (no partial advance).
+            for (const summary of summaries) {
+                const verdict = await verifyCheckpointEndpoints(summary, deps.verifier);
+                if (verdict !== "verified") {
+                    deps.onChainRead?.(reply.currentTailId, reply.currentRevision);
+                    return "checkpoint_untrusted";
+                }
+            }
+            // Apply in order: the application sees each link's merged-digest hint, then the contiguity head
+            // advances past that link. `rebaseline` is monotone, so the head lands at the top link's
+            // `toRevision`; the recent entries (immediately above it) then replay gap-free — any recent entry
+            // at/below the head dedupes (`docs/reactivity.md` §Parent checkpoint summaries).
+            for (const summary of summaries) {
+                deps.onCheckpointDigest?.(summary);
+                deps.subscriber.rebaseline(summary.toRevision);
+            }
+            for (const n of reply.recentEntries ?? []) {
+                await deps.subscriber.onNotification(n);
+            }
+            return "checkpoint_applied";
+        }
+        case "out_of_window": {
+            deps.onChainRead?.(reply.currentTailId, reply.currentRevision);
+            return "out_of_window";
+        }
+        case "tail_rotated": {
+            deps.onTailRotated?.(reply.newTailId ?? "", reply.newRevisionAtRotation ?? 0);
+            return "tail_rotated";
+        }
+    }
+}
+class MapStickyCohortHintCache {
+    byCollection = new Map();
+    get(collectionId) {
+        return this.byCollection.get(collectionId);
+    }
+    set(collectionId, hint) {
+        this.byCollection.set(collectionId, hint);
+    }
+    invalidate(collectionId) {
+        this.byCollection.delete(collectionId);
+    }
+}
+/** Build a {@link StickyCohortHintCache} (a plain per-collection map; sticky across reconnects). */
+export function createStickyCohortHintCache() {
+    return new MapStickyCohortHintCache();
+}
+//# sourceMappingURL=resume.js.map

package/dist/src/reactivity/resume.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resume.js","sourceRoot":"","sources":["../../../src/reactivity/resume.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EACN,mBAAmB,EACnB,mBAAmB,EACnB,yBAAyB,GACzB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACN,QAAQ,EACR,WAAW,EACX,QAAQ,EACR,eAAe,EACf,aAAa,EACb,SAAS,EACT,SAAS,GACT,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,yBAAyB,EAAE,yBAAyB,EAAkD,MAAM,iBAAiB,CAAC;AACvI,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAIjD,OAAO,EAAE,yBAAyB,EAAuB,MAAM,WAAW,CAAC;AAmD3E,qBAAqB;AAErB,kFAAkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC9C,MAAM,IAAI,GAAG,UAAU,CAAC;IACxB,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,OAAO;QACN,CAAC,EAAE,CAAC;QACJ,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;QACrF,YAAY,EAAE,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,iBAAiB,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,mBAAmB,EAAE,IAAI,CAAC,EAAE,mBAAmB,EAAE,IAAI,CAAC;QACpG,eAAe,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC;QAC9F,SAAS,EAAE,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC;QAClD,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC;KAC5E,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CAAC,KAAc;IACnD,MAAM,IAAI,GAAG,eAAe,CAAC;IAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,mBAAmB,IAAI,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;QACxH,QAAQ,CAAC,GAAG,IAAI,uFAAuF,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,GAAG,GAAkB,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5C,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,GAAG,CAAC,OAAO,GAAG,yBAAyB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;YAC9D,GAAG,CAAC,eAAe,GAAG,aAAa,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACrE,MAAM;QACP,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YAC1B,GAAG,CAAC,WAAW,GAAG,uBAAuB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;YACrF,GAAG,CAAC,aAAa,GAAG,yBAAyB,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;YAC1E,IAAI,GAAG,CAAC,iBAAiB,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC1C,GAAG,CAAC,eAAe,GAAG,aAAa,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACtE,CAAC;YACD,MAAM;QACP,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACtB,GAAG,CAAC,aAAa,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YAC9F,GAAG,CAAC,eAAe,GAAG,aAAa,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACrE,MAAM;QACP,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACrB,GAAG,CAAC,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YAClF,GAAG,CAAC,qBAAqB,GAAG,aAAa,CAAC,GAAG,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACjF,MAAM;QACP,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,KAAc,EAAE,IAAY;IAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,QAAQ,CAAC,GAAG,IAAI,qDAAqD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,CAAE,CAAC,YAAY,EAAE,CAAC;YACvD,QAAQ,CAAC,GAAG,IAAI,+CAA+C,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;YACvE,QAAQ,CAAC,GAAG,IAAI,yDAAyD,CAAC,yCAAyC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAC9I,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,oCAAoC;AAEpC,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAK/B;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAoB;IACxD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;QACjC,UAAU;QACV,IAAI,CAAC,CAAC;QACN,IAAI,CAAC,YAAY;QACjB,IAAI,CAAC,YAAY;QACjB,IAAI,CAAC,iBAAiB;QACtB,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,SAAS;KACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wEAAwE;AAExE,uEAAuE;AACvE,MAAM,UAAU,cAAc,CAAC,GAAa,EAAE,kBAA0B,yBAAyB;IAChG,OAAO,mBAAmB,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;AACpE,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,cAAc,CAAC,KAAiB,EAAE,eAAwB;IACzE,OAAO,gBAAgB,CAAC,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,mBAAmB,CAAC,GAAkB,EAAE,kBAA0B,yBAAyB;IAC1G,OAAO,mBAAmB,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;AACzE,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,mBAAmB,CAAC,KAAiB,EAAE,eAAwB;IAC9E,OAAO,qBAAqB,CAAC,mBAAmB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,wCAAwC;AAExC,0HAA0H;AAC1H,SAAS,qBAAqB,CAAC,OAA0B;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,wGAAwG,CAAC,CAAC;IAC3H,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,qBAAqB,CAC7B,YAAoB,EACpB,OAA2B,EAC3B,OAAsC,EACtC,SAAwC;IAExC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,CAAC;IAE7B,oGAAoG;IACpG,4EAA4E;IAC5E,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9F,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,gGAAgG;IAChG,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,KAAK,QAAQ,IAAI,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;QAC/G,OAAO,CAAC,SAAS,CAAC,CAAC;IACpB,CAAC;IACD,yGAAyG;IACzG,qGAAqG;IACrG,uFAAuF;IACvF,IACC,SAAS,KAAK,SAAS;QACvB,OAAO,KAAK,SAAS;QACrB,OAAO,CAAC,UAAU,KAAK,QAAQ;QAC/B,SAAS,CAAC,UAAU,GAAG,CAAC,KAAK,OAAO,CAAC,YAAY;QACjD,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,EACxC,CAAC;QACF,OAAO,CAAC,SAAS,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAC7B,GAAa,EACb,MAAoB,EACpB,UAAyC,EACzC,aAAqB,EACrB,SAA6B;IAE7B,IAAI,GAAG,CAAC,iBAAiB,KAAK,aAAa,EAAE,CAAC;QAC7C,OAAO,cAAc,CAAC;IACvB,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC/B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,EAAE,CAAC;QAClD,OAAO,UAAU,CAAC;IACnB,CAAC;IACD,OAAO,qBAAqB,CAAC,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,SAAS,CAAC,KAAK,SAAS;QACvF,CAAC,CAAC,mBAAmB;QACrB,CAAC,CAAC,eAAe,CAAC;AACpB,CAAC;AA4BD;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,GAAa,EAAE,IAAuB;IACjE,IAAI,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACpD,QAAQ,CAAC,2EAA2E,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC/G,QAAQ,MAAM,EAAE,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,IAAI,IAAI,CAAC,eAAe,CAAC;YAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChF,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YAC1B,kGAAkG;YAClG,mGAAmG;YACnG,yDAAyD;YACzD,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAC1H,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,kGAAkG,CAAC,CAAC;YACrH,CAAC;YACD,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC;QACnG,CAAC;QACD,KAAK,eAAe;YACnB,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC;QACnG,KAAK,cAAc;YAClB,OAAO;gBACN,CAAC,EAAE,CAAC;gBACJ,MAAM;gBACN,SAAS,EAAE,IAAI,CAAC,aAAa;gBAC7B,qBAAqB,EAAE,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,eAAe;aACpE,CAAC;IACJ,CAAC;AACF,CAAC;AA+BD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAoB,EAAE,IAAqB;IACjF,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBACrC,MAAM,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,OAAO,YAAY,CAAC;QACrB,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC;YACpC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvD,QAAQ,CAAC,2EAA2E,CAAC,CAAC;YACvF,CAAC;YACD,oGAAoG;YACpG,mGAAmG;YACnG,qGAAqG;YACrG,+FAA+F;YAC/F,mGAAmG;YACnG,6FAA6F;YAC7F,IAAI,SAAS,CAAC,CAAC,CAAE,CAAC,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;gBACnE,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;gBAC/D,OAAO,sBAAsB,CAAC;YAC/B,CAAC;YACD,mGAAmG;YACnG,sGAAsG;YACtG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,IAAI,SAAS,CAAC,CAAC,CAAE,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;oBACrE,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,OAAO,sBAAsB,CAAC;gBAC/B,CAAC;YACF,CAAC;YACD,qGAAqG;YACrG,iGAAiG;YACjG,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,MAAM,yBAAyB,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACxE,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;oBAC5B,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;oBAC/D,OAAO,sBAAsB,CAAC;gBAC/B,CAAC;YACF,CAAC;YACD,gGAAgG;YAChG,yFAAyF;YACzF,kGAAkG;YAClG,iFAAiF;YACjF,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;gBACjC,IAAI,CAAC,kBAAkB,EAAE,CAAC,OAAO,CAAC,CAAC;gBACnC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAChD,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;gBAC3C,MAAM,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,OAAO,oBAAoB,CAAC;QAC7B,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;YAC/D,OAAO,eAAe,CAAC;QACxB,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACrB,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,EAAE,KAAK,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC;YAC9E,OAAO,cAAc,CAAC;QACvB,CAAC;IACF,CAAC;AACF,CAAC;AAkCD,MAAM,wBAAwB;IACZ,YAAY,GAAG,IAAI,GAAG,EAAgC,CAAC;IAExE,GAAG,CAAC,YAAoB;QACvB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC;IAED,GAAG,CAAC,YAAoB,EAAE,IAA0B;QACnD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,UAAU,CAAC,YAAoB;QAC9B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACxC,CAAC;CACD;AAED,oGAAoG;AACpG,MAAM,UAAU,2BAA2B;IAC1C,OAAO,IAAI,wBAAwB,EAAE,CAAC;AACvC,CAAC"}