@optimystic/db-core 0.13.5 → 0.14.1

package/dist/src/cohort-topic/wire/validate.js

@@ -0,0 +1,427 @@
+/**
+ * Cohort-topic substrate — per-message structural validation.
+ *
+ * Each validator narrows an already-parsed `unknown` (the output of `JSON.parse` on a decoded
+ * frame) to a concrete V1 interface, throwing {@link CohortWireError} on any structural defect:
+ * missing required field, wrong `v`, out-of-enum discriminant, a byte field that does not decode
+ * as base64url, or an out-of-range numeric. Validators never return partial data — they either
+ * narrow cleanly or throw.
+ */
+import { b64urlToBytes } from "./codec.js";
+/** Thrown for any malformed, oversized, or structurally invalid cohort-topic frame. */
+export class CohortWireError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "CohortWireError";
+    }
+}
+function fail(message) {
+    throw new CohortWireError(message);
+}
+/** Set `obj[key]` only when `value` is defined — keeps absent optionals off the decoded object. */
+function assignDefined(obj, key, value) {
+    if (value !== undefined) {
+        obj[key] = value;
+    }
+}
+function asObject(value, what) {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        fail(`${what}: expected an object`);
+    }
+    return value;
+}
+function requireV1(obj, what) {
+    if (obj["v"] !== 1) {
+        fail(`${what}: expected v === 1, got ${JSON.stringify(obj["v"])}`);
+    }
+}
+function reqString(obj, key, what) {
+    const value = obj[key];
+    if (typeof value !== "string") {
+        fail(`${what}: field "${key}" must be a string`);
+    }
+    return value;
+}
+function optString(obj, key, what) {
+    const value = obj[key];
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value !== "string") {
+        fail(`${what}: field "${key}" must be a string when present`);
+    }
+    return value;
+}
+function reqFiniteNumber(obj, key, what) {
+    const value = obj[key];
+    if (typeof value !== "number" || !Number.isFinite(value)) {
+        fail(`${what}: field "${key}" must be a finite number`);
+    }
+    return value;
+}
+function optFiniteNumber(obj, key, what) {
+    const value = obj[key];
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value !== "number" || !Number.isFinite(value)) {
+        fail(`${what}: field "${key}" must be a finite number when present`);
+    }
+    return value;
+}
+function reqBool(obj, key, what) {
+    const value = obj[key];
+    if (typeof value !== "boolean") {
+        fail(`${what}: field "${key}" must be a boolean`);
+    }
+    return value;
+}
+function optBool(obj, key, what) {
+    const value = obj[key];
+    if (value === undefined) {
+        return undefined;
+    }
+    if (typeof value !== "boolean") {
+        fail(`${what}: field "${key}" must be a boolean when present`);
+    }
+    return value;
+}
+function reqStringArray(obj, key, what) {
+    const value = obj[key];
+    if (!Array.isArray(value) || value.some((entry) => typeof entry !== "string")) {
+        fail(`${what}: field "${key}" must be an array of strings`);
+    }
+    return value;
+}
+function optStringArray(obj, key, what) {
+    if (obj[key] === undefined) {
+        return undefined;
+    }
+    return reqStringArray(obj, key, what);
+}
+function tier(value, what) {
+    if (!Number.isInteger(value) || value < 0 || value > 3) {
+        fail(`${what}: tier must be an integer in 0..3, got ${value}`);
+    }
+    return value;
+}
+/** Assert a base64url string decodes cleanly; returns it unchanged. */
+function b64urlField(value, key, what) {
+    try {
+        b64urlToBytes(value);
+    }
+    catch {
+        fail(`${what}: field "${key}" is not valid base64url`);
+    }
+    return value;
+}
+function reqEnum(obj, key, allowed, what) {
+    const value = obj[key];
+    if (typeof value !== "string" || !allowed.includes(value)) {
+        fail(`${what}: field "${key}" must be one of ${allowed.join(" | ")}`);
+    }
+    return value;
+}
+const REGISTER_RESULTS = [
+    "accepted",
+    "no_state",
+    "promoted",
+    "unwilling_member",
+    "unwilling_cohort",
+];
+export function validateRegisterV1(value) {
+    const what = "RegisterV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const out = {
+        v: 1,
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        tier: tier(reqFiniteNumber(obj, "tier", what), what),
+        treeTier: reqFiniteNumber(obj, "treeTier", what),
+        participantCoord: b64urlField(reqString(obj, "participantCoord", what), "participantCoord", what),
+        ttl: reqFiniteNumber(obj, "ttl", what),
+        timestamp: reqFiniteNumber(obj, "timestamp", what),
+        correlationId: b64urlField(reqString(obj, "correlationId", what), "correlationId", what),
+        signature: b64urlField(reqString(obj, "signature", what), "signature", what),
+    };
+    const bootstrap = optBool(obj, "bootstrap", what);
+    if (bootstrap !== undefined) {
+        out.bootstrap = bootstrap;
+    }
+    const probe = optBool(obj, "probe", what);
+    if (probe !== undefined) {
+        out.probe = probe;
+    }
+    const appPayload = optString(obj, "appPayload", what);
+    if (appPayload !== undefined) {
+        out.appPayload = b64urlField(appPayload, "appPayload", what);
+    }
+    // Bootstrap-evidence envelope (base64url; present only on a `bootstrap: true` register). A non-string
+    // is rejected as malformed; an empty string is treated as absent so it normalizes to the same signed
+    // image placeholder as a missing field (see `registerSigningPayload`'s `normalizeEvidence`).
+    const bootstrapEvidence = optString(obj, "bootstrapEvidence", what);
+    if (bootstrapEvidence !== undefined && bootstrapEvidence !== "") {
+        out.bootstrapEvidence = b64urlField(bootstrapEvidence, "bootstrapEvidence", what);
+    }
+    return out;
+}
+function validateTopicTrafficV1(value) {
+    const what = "TopicTrafficV1";
+    const obj = asObject(value, what);
+    return {
+        windowSeconds: reqFiniteNumber(obj, "windowSeconds", what),
+        arrivalsPerMin: reqFiniteNumber(obj, "arrivalsPerMin", what),
+        queriesPerMin: reqFiniteNumber(obj, "queriesPerMin", what),
+        directParticipants: reqFiniteNumber(obj, "directParticipants", what),
+        childCohortCount: reqFiniteNumber(obj, "childCohortCount", what),
+    };
+}
+export function validateRegisterReplyV1(value) {
+    const what = "RegisterReplyV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const out = {
+        v: 1,
+        result: reqEnum(obj, "result", REGISTER_RESULTS, what),
+    };
+    assignDefined(out, "primary", optString(obj, "primary", what));
+    assignDefined(out, "backups", optStringArray(obj, "backups", what));
+    const cohortEpoch = optString(obj, "cohortEpoch", what);
+    if (cohortEpoch !== undefined) {
+        out.cohortEpoch = b64urlField(cohortEpoch, "cohortEpoch", what);
+    }
+    assignDefined(out, "cohortMembers", optStringArray(obj, "cohortMembers", what));
+    if (obj["topicTraffic"] !== undefined) {
+        out.topicTraffic = validateTopicTrafficV1(obj["topicTraffic"]);
+    }
+    assignDefined(out, "targetTier", optFiniteNumber(obj, "targetTier", what));
+    assignDefined(out, "candidateMembers", optStringArray(obj, "candidateMembers", what));
+    assignDefined(out, "retryAfterMs", optFiniteNumber(obj, "retryAfterMs", what));
+    assignDefined(out, "reason", optString(obj, "reason", what));
+    return out;
+}
+export function validateRenewV1(value) {
+    const what = "RenewV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const out = {
+        v: 1,
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        participantId: reqString(obj, "participantId", what),
+        correlationId: b64urlField(reqString(obj, "correlationId", what), "correlationId", what),
+        timestamp: reqFiniteNumber(obj, "timestamp", what),
+        signature: b64urlField(reqString(obj, "signature", what), "signature", what),
+    };
+    assignDefined(out, "reattach", optBool(obj, "reattach", what));
+    assignDefined(out, "withdraw", optBool(obj, "withdraw", what));
+    return out;
+}
+export function validateRenewReplyV1(value) {
+    const what = "RenewReplyV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const out = {
+        v: 1,
+        result: reqEnum(obj, "result", ["ok", "unknown_registration", "primary_moved", "withdrawn"], what),
+    };
+    assignDefined(out, "newPrimary", optString(obj, "newPrimary", what));
+    assignDefined(out, "newBackups", optStringArray(obj, "newBackups", what));
+    const cohortEpoch = optString(obj, "cohortEpoch", what);
+    if (cohortEpoch !== undefined) {
+        out.cohortEpoch = b64urlField(cohortEpoch, "cohortEpoch", what);
+    }
+    return out;
+}
+export function validatePromotionNoticeV1(value) {
+    const what = "PromotionNoticeV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    return {
+        v: 1,
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        fromTier: tier(reqFiniteNumber(obj, "fromTier", what), what),
+        toTier: tier(reqFiniteNumber(obj, "toTier", what), what),
+        effectiveAt: reqFiniteNumber(obj, "effectiveAt", what),
+        thresholdSig: b64urlField(reqString(obj, "thresholdSig", what), "thresholdSig", what),
+        signers: reqStringArray(obj, "signers", what),
+        cohortEpoch: b64urlField(reqString(obj, "cohortEpoch", what), "cohortEpoch", what),
+    };
+}
+export function validateDemotionNoticeV1(value) {
+    const what = "DemotionNoticeV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    return {
+        v: 1,
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        tier: tier(reqFiniteNumber(obj, "tier", what), what),
+        parentCohortCoord: b64urlField(reqString(obj, "parentCohortCoord", what), "parentCohortCoord", what),
+        effectiveAt: reqFiniteNumber(obj, "effectiveAt", what),
+        thresholdSig: b64urlField(reqString(obj, "thresholdSig", what), "thresholdSig", what),
+        signers: reqStringArray(obj, "signers", what),
+        cohortEpoch: b64urlField(reqString(obj, "cohortEpoch", what), "cohortEpoch", what),
+    };
+}
+function validateCohortTopicSummary(value) {
+    const what = "CohortTopicSummary";
+    const obj = asObject(value, what);
+    return {
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        tier: tier(reqFiniteNumber(obj, "tier", what), what),
+        directParticipants: reqFiniteNumber(obj, "directParticipants", what),
+        arrivalsPerMin: reqFiniteNumber(obj, "arrivalsPerMin", what),
+        queriesPerMin: reqFiniteNumber(obj, "queriesPerMin", what),
+        promoted: reqBool(obj, "promoted", what),
+        childCohortCount: reqFiniteNumber(obj, "childCohortCount", what),
+    };
+}
+function validateGossipRecordV1(value) {
+    const what = "GossipRecordV1";
+    const obj = asObject(value, what);
+    const out = {
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        participantId: b64urlField(reqString(obj, "participantId", what), "participantId", what),
+        tier: tier(reqFiniteNumber(obj, "tier", what), what),
+        primary: b64urlField(reqString(obj, "primary", what), "primary", what),
+        backups: reqStringArray(obj, "backups", what).map((b) => b64urlField(b, "backups", what)),
+        attachedAt: reqFiniteNumber(obj, "attachedAt", what),
+        lastPing: reqFiniteNumber(obj, "lastPing", what),
+        ttl: reqFiniteNumber(obj, "ttl", what),
+    };
+    const appState = optString(obj, "appState", what);
+    if (appState !== undefined) {
+        out.appState = b64urlField(appState, "appState", what);
+    }
+    return out;
+}
+function validateGossipRecordRefV1(value) {
+    const what = "GossipRecordRefV1";
+    const obj = asObject(value, what);
+    return {
+        topicId: b64urlField(reqString(obj, "topicId", what), "topicId", what),
+        participantId: b64urlField(reqString(obj, "participantId", what), "participantId", what),
+    };
+}
+/** `willingnessBits` carries exactly 4 bits (T0..T3) as a single hex nibble. */
+const WILLINGNESS_RE = /^[0-9a-fA-F]$/;
+export function validateCohortGossipV1(value) {
+    const what = "CohortGossipV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const willingnessBits = reqString(obj, "willingnessBits", what);
+    if (!WILLINGNESS_RE.test(willingnessBits)) {
+        fail(`${what}: field "willingnessBits" must be a single hex nibble (4 bits)`);
+    }
+    const loadBuckets = obj["loadBuckets"];
+    if (!Array.isArray(loadBuckets) || loadBuckets.length !== 4) {
+        fail(`${what}: field "loadBuckets" must be an array of length 4`);
+    }
+    for (const bucket of loadBuckets) {
+        if (typeof bucket !== "number" || !Number.isInteger(bucket) || bucket < 0 || bucket > 7) {
+            fail(`${what}: each loadBuckets entry must be an integer in 0..7`);
+        }
+    }
+    const summaries = obj["topicSummaries"];
+    if (!Array.isArray(summaries)) {
+        fail(`${what}: field "topicSummaries" must be an array`);
+    }
+    const out = {
+        v: 1,
+        fromMember: reqString(obj, "fromMember", what),
+        coord: b64urlField(reqString(obj, "coord", what), "coord", what),
+        cohortEpoch: b64urlField(reqString(obj, "cohortEpoch", what), "cohortEpoch", what),
+        willingnessBits,
+        loadBuckets: loadBuckets,
+        windowSeconds: reqFiniteNumber(obj, "windowSeconds", what),
+        topicSummaries: summaries.map(validateCohortTopicSummary),
+        timestamp: reqFiniteNumber(obj, "timestamp", what),
+        signature: b64urlField(reqString(obj, "signature", what), "signature", what),
+    };
+    const records = obj["records"];
+    if (records !== undefined) {
+        if (!Array.isArray(records)) {
+            fail(`${what}: field "records" must be an array when present`);
+        }
+        out.records = records.map(validateGossipRecordV1);
+    }
+    const evicted = obj["evicted"];
+    if (evicted !== undefined) {
+        if (!Array.isArray(evicted)) {
+            fail(`${what}: field "evicted" must be an array when present`);
+        }
+        out.evicted = evicted.map(validateGossipRecordRefV1);
+    }
+    return out;
+}
+const SIGN_KINDS = ["membership", "promotion", "demotion", "rotation"];
+export function validateSignRequestV1(value) {
+    const what = "SignRequestV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    return {
+        v: 1,
+        kind: reqEnum(obj, "kind", SIGN_KINDS, what),
+        coord: b64urlField(reqString(obj, "coord", what), "coord", what),
+        cohortEpoch: b64urlField(reqString(obj, "cohortEpoch", what), "cohortEpoch", what),
+        payload: b64urlField(reqString(obj, "payload", what), "payload", what),
+    };
+}
+export function validateSignReplyV1(value) {
+    const what = "SignReplyV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    // Discriminated by `refused`: a refusal carries a reason; an endorsement carries signer + signature.
+    if (obj["refused"] !== undefined) {
+        if (obj["refused"] !== true) {
+            fail(`${what}: field "refused" must be true when present`);
+        }
+        return { v: 1, refused: true, reason: reqString(obj, "reason", what) };
+    }
+    return {
+        v: 1,
+        signer: b64urlField(reqString(obj, "signer", what), "signer", what),
+        signature: b64urlField(reqString(obj, "signature", what), "signature", what),
+    };
+}
+export function validateMembershipCertV1(value) {
+    const what = "MembershipCertV1";
+    const obj = asObject(value, what);
+    requireV1(obj, what);
+    const out = {
+        v: 1,
+        cohortCoord: b64urlField(reqString(obj, "cohortCoord", what), "cohortCoord", what),
+        cohortEpoch: b64urlField(reqString(obj, "cohortEpoch", what), "cohortEpoch", what),
+        members: reqStringArray(obj, "members", what),
+        stabilizedAt: reqFiniteNumber(obj, "stabilizedAt", what),
+        thresholdSig: b64urlField(reqString(obj, "thresholdSig", what), "thresholdSig", what),
+        signers: reqStringArray(obj, "signers", what),
+    };
+    const attestation = optString(obj, "fretAttestation", what);
+    if (attestation !== undefined) {
+        out.fretAttestation = b64urlField(attestation, "fretAttestation", what);
+    }
+    validateRotationAttestation(obj, out, what);
+    return out;
+}
+/**
+ * Validate the optional rotation attestation as an all-or-nothing group: either all three of
+ * `prevEpoch`/`rotationSig`/`rotationSigners` are present (and well-formed) or all are absent. A
+ * partial set is a {@link CohortWireError}. `rotationSigners` is validated only as a string array (its
+ * elements are decoded per-element later, mirroring `signers`).
+ */
+function validateRotationAttestation(obj, out, what) {
+    const prevEpoch = optString(obj, "prevEpoch", what);
+    const rotationSig = optString(obj, "rotationSig", what);
+    const rotationSigners = optStringArray(obj, "rotationSigners", what);
+    const presentCount = [prevEpoch, rotationSig, rotationSigners].filter((v) => v !== undefined).length;
+    if (presentCount === 0) {
+        return;
+    }
+    if (presentCount !== 3) {
+        fail(`${what}: rotation attestation requires all of prevEpoch, rotationSig, rotationSigners — or none`);
+    }
+    out.prevEpoch = b64urlField(prevEpoch, "prevEpoch", what);
+    out.rotationSig = b64urlField(rotationSig, "rotationSig", what);
+    out.rotationSigners = rotationSigners;
+}
+//# sourceMappingURL=validate.js.map

package/dist/src/cohort-topic/wire/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../src/cohort-topic/wire/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAoB3C,uFAAuF;AACvF,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACzC,YAAY,OAAe;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAC/B,CAAC;CACD;AAED,SAAS,IAAI,CAAC,OAAe;IAC5B,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CAAsC,GAAM,EAAE,GAAM,EAAE,KAAuB;IAClG,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAClB,CAAC;AACF,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,IAAY;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,GAAG,IAAI,sBAAsB,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAgC,CAAC;AACzC,CAAC;AAED,SAAS,SAAS,CAAC,GAA4B,EAAE,IAAY;IAC5D,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,IAAI,CAAC,GAAG,IAAI,2BAA2B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IACzE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,oBAAoB,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IACzE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,iCAAiC,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IAC/E,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,2BAA2B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IAC/E,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,wCAAwC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IACvE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,qBAAqB,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IACvE,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,kCAAkC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IAC9E,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC/E,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,+BAA+B,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAiB,CAAC;AAC1B,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B,EAAE,GAAW,EAAE,IAAY;IAC9E,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,IAAI,CAAC,KAAa,EAAE,IAAY;IACxC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,GAAG,IAAI,0CAA0C,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,uEAAuE;AACvE,SAAS,WAAW,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY;IAC5D,IAAI,CAAC;QACJ,aAAa,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IAAC,MAAM,CAAC;QACR,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,0BAA0B,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAmB,GAA4B,EAAE,GAAW,EAAE,OAAqB,EAAE,IAAY;IAChH,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAE,OAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,IAAI,CAAC,GAAG,IAAI,YAAY,GAAG,oBAAoB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAU,CAAC;AACnB,CAAC;AAED,MAAM,gBAAgB,GAA8B;IACnD,UAAU;IACV,UAAU;IACV,UAAU;IACV,kBAAkB;IAClB,kBAAkB;CAClB,CAAC;AAEF,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAChD,MAAM,IAAI,GAAG,YAAY,CAAC;IAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,GAAG,GAAe;QACvB,CAAC,EAAE,CAAC;QACJ,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;QACpD,QAAQ,EAAE,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC;QAChD,gBAAgB,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,CAAC,EAAE,kBAAkB,EAAE,IAAI,CAAC;QACjG,GAAG,EAAE,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC;QACtC,SAAS,EAAE,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC;QAClD,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC;QACxF,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC;KAC5E,CAAC;IACF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC7B,GAAG,CAAC,SAAS,GAAG,SAAS,CAAC;IAC3B,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;IACnB,CAAC;IACD,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACtD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC9B,GAAG,CAAC,UAAU,GAAG,WAAW,CAAC,UAAU,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,sGAAsG;IACtG,qGAAqG;IACrG,6FAA6F;IAC7F,MAAM,iBAAiB,GAAG,SAAS,CAAC,GAAG,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,iBAAiB,KAAK,SAAS,IAAI,iBAAiB,KAAK,EAAE,EAAE,CAAC;QACjE,GAAG,CAAC,iBAAiB,GAAG,WAAW,CAAC,iBAAiB,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC7C,MAAM,IAAI,GAAG,gBAAgB,CAAC;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO;QACN,aAAa,EAAE,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC;QAC1D,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,CAAC;QAC5D,aAAa,EAAE,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC;QAC1D,kBAAkB,EAAE,eAAe,CAAC,GAAG,EAAE,oBAAoB,EAAE,IAAI,CAAC;QACpE,gBAAgB,EAAE,eAAe,CAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,CAAC;KAChE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACrD,MAAM,IAAI,GAAG,iBAAiB,CAAC;IAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,GAAG,GAAoB;QAC5B,CAAC,EAAE,CAAC;QACJ,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,CAAC;KACtD,CAAC;IACF,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,eAAe,EAAE,cAAc,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,SAAS,EAAE,CAAC;QACvC,GAAG,CAAC,YAAY,GAAG,sBAAsB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,aAAa,CAAC,GAAG,EAAE,YAAY,EAAE,eAAe,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,aAAa,CAAC,GAAG,EAAE,kBAAkB,EAAE,cAAc,CAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,CAAC,CAAC,CAAC;IACtF,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/E,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7D,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAc;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC;IACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,GAAG,GAAY;QACpB,CAAC,EAAE,CAAC;QACJ,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,aAAa,EAAE,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC;QACpD,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC;QACxF,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;IACF,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAc;IAClD,MAAM,IAAI,GAAG,cAAc,CAAC;IAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,GAAG,GAAiB;QACzB,CAAC,EAAE,CAAC;QACJ,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,eAAe,EAAE,WAAW,CAAU,EAAE,IAAI,CAAC;KAC3G,CAAC;IACF,aAAa,CAAC,GAAG,EAAE,YAAY,EAAE,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IACrE,aAAa,CAAC,GAAG,EAAE,YAAY,EAAE,cAAc,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAc;IACvD,MAAM,IAAI,GAAG,mBAAmB,CAAC;IACjC,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,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;QAC5D,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;QACxD,WAAW,EAAE,eAAe,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC;QACtD,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;QACrF,OAAO,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC;QAC7C,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC;KAClF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACtD,MAAM,IAAI,GAAG,kBAAkB,CAAC;IAChC,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,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;QACpD,iBAAiB,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,mBAAmB,EAAE,IAAI,CAAC,EAAE,mBAAmB,EAAE,IAAI,CAAC;QACpG,WAAW,EAAE,eAAe,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC;QACtD,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;QACrF,OAAO,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC;QAC7C,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC;KAClF,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,oBAAoB,CAAC;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO;QACN,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;QACpD,kBAAkB,EAAE,eAAe,CAAC,GAAG,EAAE,oBAAoB,EAAE,IAAI,CAAC;QACpE,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,CAAC;QAC5D,aAAa,EAAE,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC;QAC1D,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC;QACxC,gBAAgB,EAAE,eAAe,CAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,CAAC;KAChE,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC7C,MAAM,IAAI,GAAG,gBAAgB,CAAC;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAmB;QAC3B,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC;QACxF,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC;QACpD,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,OAAO,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QACzF,UAAU,EAAE,eAAe,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC;QACpD,QAAQ,EAAE,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC;QAChD,GAAG,EAAE,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC;KACtC,CAAC;IACF,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAClD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5B,GAAG,CAAC,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAChD,MAAM,IAAI,GAAG,mBAAmB,CAAC;IACjC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,OAAO;QACN,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;QACtE,aAAa,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC;KACxF,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,cAAc,GAAG,eAAe,CAAC;AAEvC,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACpD,MAAM,IAAI,GAAG,gBAAgB,CAAC;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;IAChE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,GAAG,IAAI,gEAAgE,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,GAAG,IAAI,oDAAoD,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;QAClC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;YACzF,IAAI,CAAC,GAAG,IAAI,qDAAqD,CAAC,CAAC;QACpE,CAAC;IACF,CAAC;IACD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,IAAI,2CAA2C,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,GAAG,GAAmB;QAC3B,CAAC,EAAE,CAAC;QACJ,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC;QAC9C,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;QAChE,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC;QAClF,eAAe;QACf,WAAW,EAAE,WAAuB;QACpC,aAAa,EAAE,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC;QAC1D,cAAc,EAAE,SAAS,CAAC,GAAG,CAAC,0BAA0B,CAAC;QACzD,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;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,IAAI,iDAAiD,CAAC,CAAC;QAChE,CAAC;QACD,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,IAAI,iDAAiD,CAAC,CAAC;QAChE,CAAC;QACD,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,GAAwB,CAAC,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAE5F,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,OAAO;QACN,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC;QAC5C,KAAK,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC;QAChE,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC;QAClF,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC;KACtE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IACjD,MAAM,IAAI,GAAG,aAAa,CAAC;IAC3B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,qGAAqG;IACrG,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,IAAI,CAAC,GAAG,IAAI,6CAA6C,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;IACxE,CAAC;IACD,OAAO;QACN,CAAC,EAAE,CAAC;QACJ,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC;QACnE,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC;KAC5E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACtD,MAAM,IAAI,GAAG,kBAAkB,CAAC;IAChC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,GAAG,GAAqB;QAC7B,CAAC,EAAE,CAAC;QACJ,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC;QAClF,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC;QAClF,OAAO,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC;QAC7C,YAAY,EAAE,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC;QACxD,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,cAAc,EAAE,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC;QACrF,OAAO,EAAE,cAAc,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC;KAC7C,CAAC;IACF,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;IAC5D,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,CAAC,eAAe,GAAG,WAAW,CAAC,WAAW,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;IACzE,CAAC;IACD,2BAA2B,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5C,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,SAAS,2BAA2B,CAAC,GAA4B,EAAE,GAAqB,EAAE,IAAY;IACrG,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,eAAe,GAAG,cAAc,CAAC,GAAG,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACrG,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO;IACR,CAAC;IACD,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,GAAG,IAAI,0FAA0F,CAAC,CAAC;IACzG,CAAC;IACD,GAAG,CAAC,SAAS,GAAG,WAAW,CAAC,SAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3D,GAAG,CAAC,WAAW,GAAG,WAAW,CAAC,WAAY,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACjE,GAAG,CAAC,eAAe,GAAG,eAAgB,CAAC;AACxC,CAAC"}

package/dist/src/collection/collection.d.ts

@@ -1,4 +1,4 @@
-import type { IBlock, Action, ActionType, ActionHandler, BlockId, ITransactor, BlockStore } from "../index.js";
+import type { IBlock, Action, ActionType, ActionHandler, BlockId, ITransactor, BlockStore, Transforms } from "../index.js";
 import { Tracker, CacheSource, TransactorSource } from "../index.js";
 import type { CollectionId, ICollection } from "./index.js";
 import type { ReadDependency } from "../transaction/transaction.js";
@@ -13,6 +13,14 @@ export type CollectionInitOptions<TAction> = {
      */
     filterConflict?: (action: Action<TAction>, potential: Action<TAction>[]) => Action<TAction> | undefined;
 };
+/** A point-in-time copy of a collection's staged (un-synced) state, produced by
+ * {@link Collection.snapshotPending} and consumed by {@link Collection.restorePending}. */
+export interface CollectionSnapshot<TAction> {
+    /** Deep-cloned tracker transforms at snapshot time. */
+    transforms: Transforms;
+    /** Pending actions queued at snapshot time. */
+    pending: Action<TAction>[];
+}
 export declare class Collection<TAction> implements ICollection<TAction> {
     readonly id: CollectionId;
     readonly transactor: ITransactor;
@@ -37,6 +45,55 @@ export declare class Collection<TAction> implements ICollection<TAction> {
     /** Load external changes and update our context to the latest log revision - resolve any conflicts with our pending actions. */
     update(): Promise<void>;
     private updateInternal;
+    /** Capture the current staged state — tracker transforms plus the pending
+     * action queue — so it can be restored later via {@link restorePending}.
+     *
+     * Use to bracket a unit of staged DML that may need to be rolled back. Unlike
+     * a blanket "reset to empty", restoring this snapshot preserves any structural
+     * baseline that predates the staged DML — most importantly a brand-new
+     * collection's header/root blocks, which live in the tracker (uncommitted)
+     * until the first sync. Resetting such a collection to empty would leave it
+     * unreadable; restoring the snapshot returns it to its prior (readable) state.
+     *
+     * The returned snapshot is deep-cloned and independent of subsequent mutations.
+     * Synchronous and latch-free: intended to bracket transaction-scoped staging,
+     * when no concurrent act/sync is in flight. */
+    snapshotPending(): CollectionSnapshot<TAction>;
+    /** Restore the staged state captured by {@link snapshotPending}, discarding any
+     * mutations staged since. Reads through the collection then observe exactly the
+     * snapshot state again; storage is untouched because nothing was ever synced. */
+    restorePending(snapshot: CollectionSnapshot<TAction>): void;
+    /** A read-only {@link Tracker} over this collection's committed source cache,
+     * seeded with a (deep-copied) set of pre-transaction transforms. Reads through it
+     * observe committed state plus exactly those transforms — and crucially NOT the
+     * mutations staged into this collection's live tracker afterward. Used to build a
+     * committed read view (see {@link Tree.readView}) that excludes a transaction's
+     * own in-flight rows. The returned tracker shares the source cache (committed
+     * blocks) but has its own independent transform set; it is never sync()'d. */
+    createReadTracker(transforms: Transforms): Tracker<IBlock>;
+    /** The staged (not-yet-synced) actions queued by {@link act}.
+     *
+     * Exposed so a {@link TransactionCoordinator} can append them to the log at
+     * commit time — mirroring what {@link sync} does internally — when the actions
+     * were staged directly into this collection (e.g. through a Tree's stage())
+     * rather than applied via the coordinator's own action path. */
+    getPendingActions(): Action<TAction>[];
+    /** Drop the staged actions after they have been committed through a
+     * coordinator. Counterpart to {@link getPendingActions}; {@link sync} clears
+     * its own pending inline, so this is only needed when commit was orchestrated
+     * externally. */
+    clearPendingActions(): void;
+    /** Fold a just-committed set of transforms into this collection's read cache
+     * so subsequent reads (and stages) through THIS instance observe the committed
+     * state, mirroring what {@link sync} does inline after a successful transact.
+     *
+     * Needed when commit was orchestrated externally (a coordinator): the tracker
+     * is reset to empty, but the cache still holds the pre-commit blocks. Without
+     * this, a collection that already had committed state (e.g. a pre-synced index
+     * tree, or any collection on its second commit) keeps serving the stale prior
+     * revision because {@link update} sees its rev is already current and refetches
+     * nothing. Call BEFORE resetting the tracker (the transforms are read live). */
+    applyCommittedToCache(transforms: Transforms): void;
     /** Push our pending actions to the transactor */
     sync(): Promise<void>;
     private syncInternal;

package/dist/src/collection/collection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../../../src/collection/collection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC/G,OAAO,EAAe,OAAO,EAAkB,WAAW,EAAqB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACrH,OAAO,KAAK,EAAyB,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACnF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAOpE,MAAM,MAAM,qBAAqB,CAAC,OAAO,IAAI;IAC5C,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC;IACtE;;;;;OAKG;IACH,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;CACvG,CAAA;AAED,qBAAa,UAAU,CAAC,OAAO,CAAE,YAAW,WAAW,CAAC,OAAO,CAAC;aAK9C,EAAE,EAAE,YAAY;aAChB,UAAU,EAAE,WAAW;IACvC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,iDAAiD;IACjD,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,sBAAsB;aACN,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC;IACxC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;IAZjC,OAAO,CAAC,OAAO,CAAyB;IACxC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IAEjC,SAAS,aACQ,EAAE,EAAE,YAAY,EAChB,UAAU,EAAE,WAAW,EACtB,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,EACpD,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC;IACjD,iDAAiD;IAChC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC;IACjD,sBAAsB;IACN,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EACvB,cAAc,CAAC,GAAE,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,aAAA;WAK5G,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC;IAwB5G,GAAG,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE;YASzB,WAAW;YAKX,gBAAgB;IAc9B,gIAAgI;IAC1H,MAAM;YASE,cAAc;IAoC5B,iDAAiD;IAC3C,IAAI;YASI,YAAY;IA2CpB,aAAa;IAUZ,SAAS,CAAC,OAAO,UAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAY1D,aAAa;IAQ3B,mBAAmB,IAAI,cAAc,EAAE;IAIvC,qBAAqB,IAAI,IAAI;IAI7B;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE;IAahF;;;;;OAKG;mBACkB,gBAAgB;CAiBrC"}
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../../../src/collection/collection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC3H,OAAO,EAAe,OAAO,EAAkB,WAAW,EAAqB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACrH,OAAO,KAAK,EAAyB,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACnF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAOpE,MAAM,MAAM,qBAAqB,CAAC,OAAO,IAAI;IAC5C,OAAO,EAAE,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,iBAAiB,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC;IACtE;;;;;OAKG;IACH,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;CACvG,CAAA;AAED;2FAC2F;AAC3F,MAAM,WAAW,kBAAkB,CAAC,OAAO;IAC1C,uDAAuD;IACvD,UAAU,EAAE,UAAU,CAAC;IACvB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;CAC3B;AAED,qBAAa,UAAU,CAAC,OAAO,CAAE,YAAW,WAAW,CAAC,OAAO,CAAC;aAK9C,EAAE,EAAE,YAAY;aAChB,UAAU,EAAE,WAAW;IACvC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,iDAAiD;IACjD,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,sBAAsB;aACN,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC;IACxC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;IAZjC,OAAO,CAAC,OAAO,CAAyB;IACxC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IAEjC,SAAS,aACQ,EAAE,EAAE,YAAY,EAChB,UAAU,EAAE,WAAW,EACtB,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,EACpD,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC;IACjD,iDAAiD;IAChC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC;IACjD,sBAAsB;IACN,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EACvB,cAAc,CAAC,GAAE,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,MAAM,CAAC,OAAO,CAAC,GAAG,SAAS,aAAA;WAK5G,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC;IAwB5G,GAAG,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE;YASzB,WAAW;YAKX,gBAAgB;IAc9B,gIAAgI;IAC1H,MAAM;YASE,cAAc;IAmD5B;;;;;;;;;;;;mDAY+C;IAC/C,eAAe,IAAI,kBAAkB,CAAC,OAAO,CAAC;IAI9C;;qFAEiF;IACjF,cAAc,CAAC,QAAQ,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,IAAI;IAK3D;;;;;;kFAM8E;IAC9E,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC;IAI1D;;;;;oEAKgE;IAChE,iBAAiB,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE;IAItC;;;qBAGiB;IACjB,mBAAmB,IAAI,IAAI;IAI3B;;;;;;;;;oFASgF;IAChF,qBAAqB,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;IAInD,iDAAiD;IAC3C,IAAI;YASI,YAAY;IA2CpB,aAAa;IAUZ,SAAS,CAAC,OAAO,UAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAY1D,aAAa;IAQ3B,mBAAmB,IAAI,cAAc,EAAE;IAIvC,qBAAqB,IAAI,IAAI;IAI7B;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE;IAahF;;;;;OAKG;mBACkB,gBAAgB;CAiBrC"}

package/dist/src/collection/collection.js

@@ -105,6 +105,20 @@ export class Collection {
             this.sourceCache.clear(entry.blockIds);
             anyConflicts = anyConflicts || this.tracker.conflicts(new Set(entry.blockIds)).length > 0;
         }
+        // React to durable invalidations that landed since we last synced. getFrom intentionally skips
+        // invalidation entries (they are not pending/committed actions), so surface them separately: an
+        // invalidation reverted committed content this client may have read, so treat it like a stale
+        // read — drop the reverted blocks from the read cache and replay pending work against the reverted
+        // base (docs/right-is-right.md §Client notification). De-duped across cascade children by reverted
+        // block; over-inclusive by design (over-invalidation just resubmits — it never wrongly retains).
+        const invalidations = log ? await log.getInvalidationsFrom(actionContext?.rev ?? 0) : [];
+        if (invalidations.length > 0) {
+            const revertedBlockIds = [...new Set(invalidations.flatMap(inv => inv.reverted.map(r => r.blockId)))];
+            this.sourceCache.clear(revertedBlockIds);
+            if (this.pending.length > 0) {
+                anyConflicts = true;
+            }
+        }
         // On conflicts, clear related caching and block-tracking and replay logical operations
         if (anyConflicts) {
             await this.replayActions();
@@ -112,6 +126,68 @@ export class Collection {
         // Update our context to the latest
         this.source.actionContext = latest?.context;
     }
+    /** Capture the current staged state — tracker transforms plus the pending
+     * action queue — so it can be restored later via {@link restorePending}.
+     *
+     * Use to bracket a unit of staged DML that may need to be rolled back. Unlike
+     * a blanket "reset to empty", restoring this snapshot preserves any structural
+     * baseline that predates the staged DML — most importantly a brand-new
+     * collection's header/root blocks, which live in the tracker (uncommitted)
+     * until the first sync. Resetting such a collection to empty would leave it
+     * unreadable; restoring the snapshot returns it to its prior (readable) state.
+     *
+     * The returned snapshot is deep-cloned and independent of subsequent mutations.
+     * Synchronous and latch-free: intended to bracket transaction-scoped staging,
+     * when no concurrent act/sync is in flight. */
+    snapshotPending() {
+        return { transforms: copyTransforms(this.tracker.transforms), pending: [...this.pending] };
+    }
+    /** Restore the staged state captured by {@link snapshotPending}, discarding any
+     * mutations staged since. Reads through the collection then observe exactly the
+     * snapshot state again; storage is untouched because nothing was ever synced. */
+    restorePending(snapshot) {
+        this.tracker.reset(copyTransforms(snapshot.transforms));
+        this.pending = [...snapshot.pending];
+    }
+    /** A read-only {@link Tracker} over this collection's committed source cache,
+     * seeded with a (deep-copied) set of pre-transaction transforms. Reads through it
+     * observe committed state plus exactly those transforms — and crucially NOT the
+     * mutations staged into this collection's live tracker afterward. Used to build a
+     * committed read view (see {@link Tree.readView}) that excludes a transaction's
+     * own in-flight rows. The returned tracker shares the source cache (committed
+     * blocks) but has its own independent transform set; it is never sync()'d. */
+    createReadTracker(transforms) {
+        return new Tracker(this.sourceCache, copyTransforms(transforms));
+    }
+    /** The staged (not-yet-synced) actions queued by {@link act}.
+     *
+     * Exposed so a {@link TransactionCoordinator} can append them to the log at
+     * commit time — mirroring what {@link sync} does internally — when the actions
+     * were staged directly into this collection (e.g. through a Tree's stage())
+     * rather than applied via the coordinator's own action path. */
+    getPendingActions() {
+        return this.pending;
+    }
+    /** Drop the staged actions after they have been committed through a
+     * coordinator. Counterpart to {@link getPendingActions}; {@link sync} clears
+     * its own pending inline, so this is only needed when commit was orchestrated
+     * externally. */
+    clearPendingActions() {
+        this.pending = [];
+    }
+    /** Fold a just-committed set of transforms into this collection's read cache
+     * so subsequent reads (and stages) through THIS instance observe the committed
+     * state, mirroring what {@link sync} does inline after a successful transact.
+     *
+     * Needed when commit was orchestrated externally (a coordinator): the tracker
+     * is reset to empty, but the cache still holds the pre-commit blocks. Without
+     * this, a collection that already had committed state (e.g. a pre-synced index
+     * tree, or any collection on its second commit) keeps serving the stale prior
+     * revision because {@link update} sees its rev is already current and refetches
+     * nothing. Call BEFORE resetting the tracker (the transforms are read live). */
+    applyCommittedToCache(transforms) {
+        this.sourceCache.transformCache(transforms);
+    }
     /** Push our pending actions to the transactor */
     async sync() {
         const release = await Latches.acquire(this.latchId);