zklicensing 0.1.0-beta.2 → 0.1.0-beta.21

package/build/permitRegistryRebuild.js

@@ -0,0 +1,347 @@
+// Copyright (c) 2025-2026 zkLicensing project developers
+// SPDX-License-Identifier: BUSL-1.1
+/**
+ * permitRegistryRebuild.ts — `zklicensing/permits/rebuild`
+ *
+ * Rebuilds a PermitRegistry's permits tree from its events alone. Every
+ * event that changes a permit carries the full new leaf, so the tree is
+ * recoverable from the chain without the Keeper (PERMITS_PLAN.md §8.2).
+ * The Keeper's indexer uses this same code. Open applications (fees in
+ * escrow) are rebuilt the same way: filed minus settled.
+ */
+import { Field, PublicKey, UInt32, UInt64 } from 'o1js';
+import { CompactMerkleMap, encodeFields, decodeFields } from './compactMerkleMap.js';
+import { Application, PermitLeaf, applicationHash, permitLeafHash, unpackFees, unpackPolicy } from './permitMessages.js';
+import { PermitRegistryEvents } from './permitInterface.js';
+import { forkBumpedExpiry } from './contractInterface.js';
+export function leafToRecord(leaf) {
+    return {
+        subject: leaf.subject.toString(),
+        // The never-granted leaf's key is PublicKey.empty() (not a curve point): ''.
+        holderKey: leaf.holderKey.equals(PublicKey.empty()).toBoolean() ? '' : leaf.holderKey.toBase58(),
+        scope: leaf.scope.toString(),
+        validFrom: Number(leaf.validFrom.toString()),
+        expirySlot: Number(leaf.expirySlot.toString()),
+        status: Number(leaf.status.toString()),
+        seq: Number(leaf.seq.toString()),
+        docHash: leaf.docHash.toString(),
+    };
+}
+export function applicationToRecord(app) {
+    return {
+        subject: app.subject.toString(),
+        holderKey: app.holderKey.toBase58(),
+        payer: app.payer.toBase58(),
+        baseSeq: Number(app.baseSeq.toString()),
+        scope: app.scope.toString(),
+        validFrom: Number(app.validFrom.toString()),
+        expirySlot: Number(app.expirySlot.toString()),
+        docHash: app.docHash.toString(),
+        fee: app.fee.toString(),
+        processingFee: app.processingFee.toString(),
+        deadline: Number(app.deadline.toString()),
+        filing: Number(app.filing.toString()),
+    };
+}
+export function recordToApplication(r) {
+    return new Application({
+        subject: Field(r.subject),
+        holderKey: PublicKey.fromBase58(r.holderKey),
+        payer: PublicKey.fromBase58(r.payer),
+        baseSeq: UInt32.from(r.baseSeq),
+        scope: Field(r.scope),
+        validFrom: UInt32.from(r.validFrom),
+        expirySlot: UInt32.from(r.expirySlot),
+        docHash: Field(r.docHash),
+        fee: UInt64.from(r.fee),
+        processingFee: UInt64.from(r.processingFee),
+        deadline: UInt32.from(r.deadline),
+        filing: UInt32.from(r.filing),
+    });
+}
+export function recordToLeaf(r) {
+    return new PermitLeaf({
+        subject: Field(r.subject),
+        holderKey: r.holderKey === '' ? PublicKey.empty() : PublicKey.fromBase58(r.holderKey),
+        scope: Field(r.scope),
+        validFrom: UInt32.from(r.validFrom),
+        expirySlot: UInt32.from(r.expirySlot),
+        status: UInt32.from(r.status),
+        seq: UInt32.from(r.seq),
+        docHash: Field(r.docHash),
+    });
+}
+/**
+ * The view a redeployed registry starts with: a copy of its retired
+ * predecessor's permits and tree (the initialPermitsRoot its keys signed).
+ * Its own events then apply on top; `registryCreated` checks the root.
+ */
+export function seededRegistryView(predecessor) {
+    const view = registryViewFromStored({ ...registryViewToStored(predecessor), applications: [] });
+    view.start = { root: view.root, seqs: new Map([...view.permits.values()].map(p => [p.subject, p.seq])) };
+    return view;
+}
+/**
+ * The retired registry a registry continues, from its `registryCreated`
+ * event (base58), or null for a first generation. With it a registry's
+ * lineage can be walked back on chain events alone; the successor's start
+ * was checked against the predecessor's retired root when it was deployed.
+ */
+export function registryPredecessor(events) {
+    const created = events.find(e => e.type === 'registryCreated');
+    const p = created?.event.data.predecessor;
+    if (!p || p.equals(PublicKey.empty()).toBoolean())
+        return null;
+    return p.toBase58();
+}
+export function emptyRegistryView() {
+    const tree = new CompactMerkleMap();
+    return { tree, root: tree.getRoot().toString(), permits: new Map(), keysHash: null, epoch: 0, feesPacked: null, ...emptyEscrow(), eventsApplied: 0 };
+}
+function emptyEscrow() {
+    const escrow = new CompactMerkleMap();
+    return { escrow, escrowRoot: escrow.getRoot().toString(), applications: new Map(), settlements: new Map() };
+}
+/**
+ * Open applications from filed and settled events. A settled event names the
+ * application by hash; the same hash can be filed again after it settles, so
+ * filings and settlements are counted. Events of a transaction the chain
+ * refused can show up in some sources (the local test chain records them):
+ * a settlement with no filing is ignored, and of two open filings for one
+ * subject the later filing wins, since a subject can only be filed again
+ * once its previous application settled. The view's escrowRoot against the
+ * contract's is the check that the result is right.
+ */
+function openApplications(filed, settled) {
+    const closed = new Map();
+    for (const h of settled)
+        closed.set(h, (closed.get(h) ?? 0) + 1);
+    const open = new Map();
+    for (const app of filed) {
+        const h = applicationHash(app).toString();
+        const n = closed.get(h) ?? 0;
+        if (n > 0) {
+            closed.set(h, n - 1);
+            continue;
+        }
+        const rec = applicationToRecord(app);
+        const other = open.get(rec.subject);
+        if (!other || rec.filing > other.filing)
+            open.set(rec.subject, rec);
+    }
+    return open;
+}
+/** Replaces the view's open applications and rebuilds the (small) escrow tree. */
+function setApplications(view, open) {
+    const escrow = new CompactMerkleMap();
+    escrow.setMany([...open.values()].map(r => [Field(r.subject), applicationHash(recordToApplication(r))]));
+    view.escrow = escrow;
+    view.escrowRoot = escrow.getRoot().toString();
+    view.applications = open;
+}
+/**
+ * Applies events in any order. Archive nodes, local chains and paginated
+ * fetches don't agree on ordering, so none is assumed: each subject's leaves
+ * are ordered by `seq` (the contract advances it by exactly one per change),
+ * key rotations by `epoch` and fee changes by `actionNonce`. A gap in a
+ * subject's sequence means events are missing, and throws rather than build
+ * a wrong tree. Applying to a non-empty view continues from its state.
+ */
+export function applyRegistryEvents(view, events) {
+    const updates = [];
+    const esc = { filed: [...view.applications.values()].map(recordToApplication), settled: [] };
+    for (const [subject, last] of collectRegistryEvents(view, events, esc)) {
+        updates.push([last.leaf.subject, permitLeafHash(last.leaf)]);
+        view.permits.set(subject, last.rec);
+    }
+    view.tree.setMany(updates);
+    view.root = view.tree.getRoot().toString();
+    setApplications(view, openApplications(esc.filed, esc.settled));
+    return view;
+}
+/**
+ * Brings `view` up to date with a registry's full event list, re-hashing only
+ * the permits whose latest leaf changed: a full rebuild costs a 256-level tree
+ * path per permit, a refresh one per changed permit. Returns the subjects
+ * that changed (added or updated).
+ */
+export function refreshRegistryView(view, events) {
+    const fresh = { tree: view.tree, root: view.root, permits: new Map(), keysHash: null, epoch: 0, feesPacked: null, ...emptyEscrow(), eventsApplied: 0, ...(view.start ? { start: view.start } : {}) };
+    const esc = { filed: [], settled: [] };
+    const latest = collectRegistryEvents(fresh, events, esc);
+    const changed = [];
+    const updates = [];
+    for (const [subject, last] of latest) {
+        const cur = view.permits.get(subject);
+        if (cur && sameRecord(cur, last.rec))
+            continue;
+        updates.push([last.leaf.subject, permitLeafHash(last.leaf)]);
+        view.permits.set(subject, last.rec);
+        changed.push(subject);
+    }
+    view.tree.setMany(updates);
+    view.keysHash = fresh.keysHash;
+    view.epoch = fresh.epoch;
+    view.feesPacked = fresh.feesPacked;
+    view.eventsApplied = fresh.eventsApplied;
+    view.settlements = fresh.settlements;
+    view.root = view.tree.getRoot().toString();
+    setApplications(view, openApplications(esc.filed, esc.settled));
+    return changed;
+}
+/** Same permit leaf (field by field: cheaper than hashing both). */
+function sameRecord(a, b) {
+    return a.seq === b.seq && a.status === b.status && a.scope === b.scope && a.validFrom === b.validFrom
+        && a.expirySlot === b.expirySlot && a.holderKey === b.holderKey && a.docHash === b.docHash && a.subject === b.subject;
+}
+/**
+ * Validates the events and returns each subject's latest leaf; updates the
+ * view's keys, epoch and fees, and collects escrow events into `esc`.
+ */
+function collectRegistryEvents(view, events, esc) {
+    const bySubject = new Map();
+    let lastEpoch = view.epoch;
+    let lastFeeNonce = -1;
+    for (const e of events) {
+        const d = e.event.data;
+        switch (e.type) {
+            case 'registryCreated': {
+                if (view.keysHash === null)
+                    view.keysHash = d.keysHash.toString();
+                const startRoot = view.start?.root ?? emptyRegistryView().root;
+                if (d.permitsRoot !== undefined && d.permitsRoot.toString() !== startRoot) {
+                    throw new Error('the registry started from another permits tree: seed the view with its predecessor (seededRegistryView)');
+                }
+                break;
+            }
+            case 'authorityRotated': {
+                const epoch = Number(d.epoch.toString());
+                if (epoch > lastEpoch || view.keysHash === null) {
+                    lastEpoch = epoch;
+                    view.keysHash = d.keysHash.toString();
+                    view.epoch = epoch;
+                }
+                break;
+            }
+            case 'feesUpdated': {
+                const nonce = Number(d.actionNonce.toString());
+                if (nonce > lastFeeNonce) {
+                    lastFeeNonce = nonce;
+                    view.feesPacked = d.feesPacked.toString();
+                }
+                break;
+            }
+            // A permit moved to a new holder key: its new leaf (seq 1, a new subject);
+            // the old one closes as MOVED in a permitStatusChanged event.
+            case 'permitMoved':
+            case 'permitGranted':
+            case 'permitStatusChanged': {
+                const leaf = d.leaf;
+                const rec = leafToRecord(leaf);
+                const list = bySubject.get(rec.subject) ?? [];
+                list.push({ type: e.type, leaf, rec });
+                bySubject.set(rec.subject, list);
+                break;
+            }
+            case 'applicationFiled':
+                esc.filed.push(d.application);
+                break;
+            case 'applicationSettled': {
+                const hash = d.applicationHash.toString();
+                esc.settled.push(hash);
+                view.settlements.set(hash, { subject: d.subject.toString(), outcome: Number(d.outcome.toString()), kept: d.kept.toString(), refunded: d.refunded.toString() });
+                break;
+            }
+            // Payout and platform-key changes touch no permit (the account state has them).
+            case 'payoutProposed':
+            case 'payoutChanged':
+            case 'platformChanged':
+                break;
+            case 'registryRetired':
+                view.retiredRoot = d.permitsRoot.toString();
+                view.retiredByPlatform = d.byPlatform.toBoolean();
+                view.retiredForced = d.forced.toBoolean();
+                break;
+            default:
+                throw new Error(`unknown registry event type: ${e.type}`);
+        }
+        view.eventsApplied++;
+    }
+    // A rotation to epoch N implies the registryCreated keys were replaced.
+    const out = new Map();
+    for (const [subject, list] of bySubject) {
+        list.sort((a, b) => a.rec.seq - b.rec.seq);
+        // Each change is the previous seq + 1, from the start: 0, or the seq a
+        // carried-over permit had when the registry started.
+        let prevSeq = view.permits.get(subject)?.seq ?? view.start?.seqs.get(subject) ?? 0;
+        for (const item of list) {
+            if (item.rec.seq !== prevSeq + 1) {
+                throw new Error(`event out of order for ${subject}: seq ${item.rec.seq} after ${prevSeq || 'none'}`);
+            }
+            prevSeq = item.rec.seq;
+        }
+        out.set(subject, list[list.length - 1]);
+    }
+    return out;
+}
+/** Fetches a registry's events (active Mina instance) and rebuilds its tree. */
+export async function rebuildRegistry(address) {
+    const pk = typeof address === 'string' ? PublicKey.fromBase58(address) : address;
+    const events = await new PermitRegistryEvents(pk).fetchEvents();
+    return applyRegistryEvents(emptyRegistryView(), events);
+}
+/**
+ * Effective status of a permit at `slot`: revoked and suspended win, then the
+ * dates. `gracePeriod` comes from the registry policy.
+ */
+/**
+ * A permit's status at `slot`. With the registry's `forkActivationSlot`
+ * (a successor deployed after a Mina hard fork): a permit that lapsed
+ * shortly before the fork, while its registry was retired and couldn't
+ * renew it, counts as expiring at the fork slot, so its grace runs from the
+ * fork (as licensing's effectiveExpirySlot). Anonymous holder proofs check
+ * the expiry as granted.
+ */
+export function permitStatusAt(rec, slot, gracePeriod = 0, forkActivationSlot = 0) {
+    if (!rec)
+        return 'unknown';
+    if (rec.status === 2)
+        return 'revoked';
+    if (rec.status === 3)
+        return 'moved';
+    if (rec.status === 1)
+        return 'suspended';
+    if (slot < rec.validFrom)
+        return 'not-yet-valid';
+    const expiry = forkBumpedExpiry(rec.expirySlot, forkActivationSlot, gracePeriod);
+    if (slot <= expiry)
+        return 'active';
+    if (slot <= expiry + gracePeriod)
+        return 'in-grace';
+    return 'expired';
+}
+export { unpackFees, unpackPolicy };
+export function registryViewToStored(view) {
+    const d = view.tree.toCompact();
+    return {
+        root: view.root, permits: [...view.permits.values()], applications: [...view.applications.values()],
+        tree: { indices: encodeFields(d.indices), leaves: encodeFields(d.leaves), splits: encodeFields(d.splits) },
+        ...(view.start ? { start: { root: view.start.root, seqs: [...view.start.seqs] } } : {}),
+    };
+}
+/**
+ * Loads a saved view without re-hashing; its keys, epoch and fees come back
+ * with the next refreshRegistryView. Throws if the copy is inconsistent.
+ */
+export function registryViewFromStored(s) {
+    const tree = CompactMerkleMap.fromCompact({ indices: decodeFields(s.tree.indices), leaves: decodeFields(s.tree.leaves), splits: decodeFields(s.tree.splits) }, s.root);
+    if (tree.size !== s.permits.length)
+        throw new Error('saved registry view: the permits and the tree disagree');
+    const permits = new Map(s.permits.map(p => [p.subject, p]));
+    const view = { tree, root: s.root, permits, keysHash: null, epoch: 0, feesPacked: null, ...emptyEscrow(), eventsApplied: 0 };
+    setApplications(view, new Map((s.applications ?? []).map(a => [a.subject, a])));
+    if (s.start)
+        view.start = { root: s.start.root, seqs: new Map(s.start.seqs) };
+    return view;
+}
+//# sourceMappingURL=permitRegistryRebuild.js.map

package/build/permitRegistryRebuild.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"permitRegistryRebuild.js","sourceRoot":"","sources":["../src/permitRegistryRebuild.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,oCAAoC;AAEpC;;;;;;;;GAQG;AAEH,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACzH,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAuE1D,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;QAChC,6EAA6E;QAC7E,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;QAChG,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;QAC5B,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC5C,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC9C,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;KACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,GAAgB;IAClD,OAAO;QACL,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE;QAC/B,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE;QACnC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE;QAC3B,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE;QAC3B,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC3C,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC7C,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE;QAC/B,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE;QACvB,aAAa,EAAE,GAAG,CAAC,aAAa,CAAC,QAAQ,EAAE;QAC3C,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,CAAoB;IACtD,OAAO,IAAI,WAAW,CAAC;QACrB,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;QACzB,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5C,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;QACpC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACnC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;QACrC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;QACzB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QACvB,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;QAC3C,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAe;IAC1C,OAAO,IAAI,UAAU,CAAC;QACpB,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;QACzB,SAAS,EAAE,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QACrF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACnC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7B,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QACvB,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;KAC1B,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAyB;IAC1D,MAAM,IAAI,GAAG,sBAAsB,CAAC,EAAE,GAAG,oBAAoB,CAAC,WAAW,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;IAChG,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAU,CAAC,CAAC,EAAE,CAAC;IAClH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAuB;IACzD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;IAC/D,MAAM,CAAC,GAAG,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,WAAoC,CAAC;IACnE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,MAAM,IAAI,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,WAAW,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACvJ,CAAC;AAED,SAAS,WAAW;IAClB,MAAM,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACtC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,IAAI,GAAG,EAA6B,EAAE,WAAW,EAAE,IAAI,GAAG,EAAsB,EAAE,CAAC;AAC7J,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CAAC,KAAoB,EAAE,OAAiB;IAC/D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kFAAkF;AAClF,SAAS,eAAe,CAAC,IAAkB,EAAE,IAAoC;IAC/E,MAAM,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACtC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAmB,CAAC,CAAC,CAAC;IAC3H,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACrB,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC9C,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;AAC3B,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAkB,EAAE,MAAuB;IAC7E,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,OAAO,EAAE,EAAc,EAAE,CAAC;IACzG,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC3C,eAAe,CAAC,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAkB,EAAE,MAAuB;IAC7E,MAAM,KAAK,GAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,WAAW,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACnN,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,EAAmB,EAAE,OAAO,EAAE,EAAc,EAAE,CAAC;IACpE,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACzD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,GAAG,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAAC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IAAC,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC;IACvI,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IACrC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC3C,eAAe,CAAC,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAChE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,oEAAoE;AACpE,SAAS,UAAU,CAAC,CAAe,EAAE,CAAe;IAClD,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS;WAChG,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC;AAC1H,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,IAAkB,EAAE,MAAuB,EAAE,GAAgD;IAC1H,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwE,CAAC;IAClG,IAAI,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3B,IAAI,YAAY,GAAG,CAAC,CAAC,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACvB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;oBAAE,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAClE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,iBAAiB,EAAE,CAAC,IAAI,CAAC;gBAC/D,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,SAAS,EAAE,CAAC;oBAC1E,MAAM,IAAI,KAAK,CAAC,yGAAyG,CAAC,CAAC;gBAC7H,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACzC,IAAI,KAAK,GAAG,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBAAC,SAAS,GAAG,KAAK,CAAC;oBAAC,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;gBAAC,CAAC;gBAClI,MAAM;YACR,CAAC;YACD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC/C,IAAI,KAAK,GAAG,YAAY,EAAE,CAAC;oBAAC,YAAY,GAAG,KAAK,CAAC;oBAAC,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAAC,CAAC;gBAC9F,MAAM;YACR,CAAC;YACD,2EAA2E;YAC3E,8DAA8D;YAC9D,KAAK,aAAa,CAAC;YACnB,KAAK,eAAe,CAAC;YACrB,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAkB,CAAC;gBAClC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;gBAC9C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;gBACvC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACjC,MAAM;YACR,CAAC;YACD,KAAK,kBAAkB;gBACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,WAA0B,CAAC,CAAC;gBAC7C,MAAM;YACR,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC;gBAC1C,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC/J,MAAM;YACR,CAAC;YACD,gFAAgF;YAChF,KAAK,gBAAgB,CAAC;YACtB,KAAK,eAAe,CAAC;YACrB,KAAK,iBAAiB;gBACpB,MAAM;YACR,KAAK,iBAAiB;gBACpB,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAC5C,IAAI,CAAC,iBAAiB,GAAG,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;gBAClD,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC1C,MAAM;YACR;gBACE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC,aAAa,EAAE,CAAC;IACvB,CAAC;IACD,wEAAwE;IACxE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiE,CAAC;IACrF,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,SAAS,EAAE,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3C,uEAAuE;QACvE,qDAAqD;QACrD,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACnF,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,OAAO,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,SAAS,IAAI,CAAC,GAAG,CAAC,GAAG,UAAU,OAAO,IAAI,MAAM,EAAE,CAAC,CAAC;YACvG,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACzB,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAA2B;IAC/D,MAAM,EAAE,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACjF,MAAM,MAAM,GAAG,MAAM,IAAI,oBAAoB,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAChE,OAAO,mBAAmB,CAAC,iBAAiB,EAAE,EAAE,MAAyB,CAAC,CAAC;AAC7E,CAAC;AAKD;;;GAGG;AACH;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,GAA6B,EAAE,IAAY,EAAE,WAAW,GAAG,CAAC,EAAE,kBAAkB,GAAG,CAAC;IACjH,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACrC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IACzC,IAAI,IAAI,GAAG,GAAG,CAAC,SAAS;QAAE,OAAO,eAAe,CAAC;IACjD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC;IACjF,IAAI,IAAI,IAAI,MAAM;QAAE,OAAO,QAAQ,CAAC;IACpC,IAAI,IAAI,IAAI,MAAM,GAAG,WAAW;QAAE,OAAO,UAAU,CAAC;IACpD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC;AAapC,MAAM,UAAU,oBAAoB,CAAC,IAAkB;IACrD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;QACnG,IAAI,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE;QAC1G,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAqB;IAC1D,MAAM,IAAI,GAAG,gBAAgB,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACvK,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC9G,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,WAAW,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAC3I,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC,CAAC;IACzF,IAAI,CAAC,CAAC,KAAK;QAAE,IAAI,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9E,OAAO,IAAI,CAAC;AACd,CAAC"}

package/build/permitTree.d.ts

@@ -0,0 +1,88 @@
+/**
+ * permitTree.ts — `zklicensing/permits/tree`
+ *
+ * A compact copy of a registry's permits tree, for holders to build their
+ * Merkle witness without the keeper learning which permit is theirs, and
+ * without rebuilding the 256-level tree (one 256-hash path per permit,
+ * about 0.1 s each).
+ *
+ * The tree is sparse: permits sit at random-looking positions, so below the
+ * top few levels nearly every permit is alone in its subtree and everything
+ * beside it is empty — known constants. The only non-constant siblings any
+ * witness needs are the two children of each node where two permits' paths
+ * split: with the permits sorted by position, one such node per adjacent
+ * pair, N − 1 in all. The compact tree is every permit's record plus those
+ * 2(N − 1) node values. Everyone downloads the same thing; a wrong copy only
+ * makes the holder's proof fail against the chain's root, never pass.
+ *
+ * Updates: `applyTreeDiff` takes the records that changed since a root the
+ * holder has and recomputes only the nodes above them.
+ */
+import { MerkleMap } from 'o1js';
+import { type PermitRecord } from './permitRegistryRebuild.js';
+import { CompactMerkleMap } from './compactMerkleMap.js';
+export type CompactTree = {
+    registry: string;
+    root: string;
+    slot: number;
+    /** Every permit, sorted by tree position. */
+    permits: PermitRecord[];
+    /** The 2(N − 1) split-children values, 32 bytes each, big-endian, base64. */
+    nodes: string;
+};
+export type TreeDiff = {
+    registry: string;
+    root: string;
+    slot: number;
+    since: string;
+    changed: PermitRecord[];
+};
+/** A subject's leaf position (as MerkleMap places it). */
+export declare function subjectIndex(subject: string): bigint;
+/**
+ * The compact tree from a full permits tree (the keeper's MerkleMap). Reads
+ * node values; no hashing.
+ */
+export declare function compactTreeFrom(args: {
+    registry: string;
+    slot: number;
+    tree: MerkleMap | CompactMerkleMap;
+    permits: Iterable<PermitRecord>;
+}): CompactTree;
+/**
+ * The Merkle witness for `subject` from the compact tree, checked by folding
+ * it to the tree's root (one path of hashes).
+ */
+export declare function witnessFromCompactTree(ct: CompactTree, subject: string): {
+    root: string;
+    witness: {
+        isLefts: boolean[];
+        siblings: string[];
+    };
+    permit: PermitRecord;
+};
+/**
+ * Applies the records that changed since `old.root`, recomputing only the
+ * nodes above them, and checks the result against `diff.root`.
+ */
+export declare function applyTreeDiff(old: CompactTree, diff: TreeDiff): CompactTree;
+/** Where a holder keeps its registry copies (IndexedDB in a browser, memory or a file elsewhere). */
+export type TreeCache = {
+    get(registry: string): Promise<CompactTree | null>;
+    set(registry: string, tree: CompactTree): Promise<void>;
+};
+/**
+ * The registry's current compact tree: the cached copy brought up to date
+ * with a diff when the keeper has one, else a full download.
+ */
+export declare function syncRegistryTree(args: {
+    registry: string;
+    fetchTree: (since?: string) => Promise<CompactTree | TreeDiff | {
+        root: string;
+        slot: number;
+        unchanged: true;
+    }>;
+    cache?: TreeCache;
+    onProgress?: (what: 'cached' | 'diff' | 'full') => void;
+}): Promise<CompactTree>;
+//# sourceMappingURL=permitTree.d.ts.map

package/build/permitTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"permitTree.d.ts","sourceRoot":"","sources":["../src/permitTree.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAS,SAAS,EAAY,MAAM,MAAM,CAAC;AAElD,OAAO,EAAgB,KAAK,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAA8B,MAAM,uBAAuB,CAAC;AAIrF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,YAAY,EAAE,CAAA;CAAE,CAAC;AAiBhH,0DAA0D;AAC1D,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpD;AAyBD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,GAAG,gBAAgB,CAAC;IAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAA;CAAE,GAAG,WAAW,CAW1J;AAsBD;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CAmBpK;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAG,WAAW,CA6C3E;AAED,qGAAqG;AACrG,MAAM,MAAM,SAAS,GAAG;IACtB,GAAG,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC;IACnD,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACzD,CAAC;AAEF;;;GAGG;AACH,wBAAsB,gBAAgB,CAAC,IAAI,EAAE;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,GAAG,QAAQ,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAC,CAAC;IACjH,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,MAAM,KAAK,IAAI,CAAC;CACzD,GAAG,OAAO,CAAC,WAAW,CAAC,CAiBvB"}