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

package/build/licenseStore.js

@@ -1,5 +1,5 @@
 // Copyright (c) 2025-2026 zkLicensing project developers
-// All rights reserved.
+// SPDX-License-Identifier: BUSL-1.1
 /**
  * licenseStore.ts
  *
@@ -13,24 +13,27 @@
  * Used by:
  *   - interact.ts / buyLicense.ts (CLI) — reads/writes directly
  *   - keeperService.ts              — exposes the same logic over HTTP
- *   - proofServer.ts                — reads expirySlot for a given licenseHash
  */
-import fs from 'fs/promises';
 import { Bool, Field, MerkleMap, MerkleMapWitness, Poseidon, PublicKey, UInt32, UInt64 } from 'o1js';
-import { GRACE_PERIOD_N, REFUND_WINDOW_N } from './contractInterface.js';
+import { GRACE_PERIOD_N, REFUND_WINDOW_N, effectiveExpirySlot } from './contractInterface.js';
+import { computeDeviceSlotsRoot, DEVICE_SLOT_CAP_N, leafFromRecord, leafHash } from './licenseLeaf.js';
 import { PENDING_REAP_SLOTS as _PENDING_REAP_SLOTS } from './licenseRecord.js';
+import { readJsonOr, writeJsonAtomic } from './atomicJson.js';
 export const PENDING_REAP_SLOTS = _PENDING_REAP_SLOTS;
 export function licenseStorePath() {
     return process.env.LICENSE_STORE_PATH ?? 'licenses.json';
 }
+const fileBackend = {
+    // Missing file → empty store; a damaged file is an error (see atomicJson).
+    read: () => readJsonOr(licenseStorePath(), []),
+    write: records => writeJsonAtomic(licenseStorePath(), records),
+};
+let backend = fileBackend;
+export function setLicenseStoreBackend(b) {
+    backend = b ?? fileBackend;
+}
 export async function readRecords() {
-    let raw;
-    try {
-        raw = JSON.parse(await fs.readFile(licenseStorePath(), 'utf8'));
-    }
-    catch {
-        return [];
-    }
+    const raw = await backend.read();
     if (!Array.isArray(raw))
         return [];
     const records = raw;
@@ -44,7 +47,7 @@ export async function readRecords() {
     return filtered;
 }
 async function writeRecords(records) {
-    await fs.writeFile(licenseStorePath(), JSON.stringify(records, null, 2));
+    await backend.write(records);
 }
 // Serialize all read-modify-write operations against licenses.json. Each
 // mutating function does (readRecords → mutate → writeRecords); without a lock,
@@ -54,7 +57,8 @@ async function writeRecords(records) {
 // back-to-back) racing with /confirm/* writes from buyer flows.
 let writeChain = Promise.resolve();
 function withWriteLock(fn) {
-    const result = writeChain.then(fn, fn);
+    const locked = () => (backend.withLock ? backend.withLock(fn) : fn());
+    const result = writeChain.then(locked, locked);
     writeChain = result.then(() => { }, () => { });
     return result;
 }
@@ -64,29 +68,47 @@ function recordsForApp(records, zkAppAddress) {
     return records.filter(r => r.zkAppAddress === zkAppAddress);
 }
 // Rebuild the license MerkleMap for a single zkApp. Only inserts entries
-// with expirySlot > 0.
+// with expirySlot > 0. The value stored at each key is `leaf.hash()` — the
+// Poseidon commitment over (licenseHash, expirySlot, cap, deviceSlotsRoot,
+// deviceSlotsFilled) — matching what LicensingApp writes. Records that
+// predate device binding rebuild to a leaf with empty slots (see
+// leafFromRecord for the exact defaults); on those records the rebuilt
+// root matches what the old contract wrote, but any mutation call will
+// fail the in-circuit hash check until the missing fields are backfilled
+// from chain events.
 export function buildMap(records, zkAppAddress) {
     const map = new MerkleMap();
     for (const r of recordsForApp(records, zkAppAddress)) {
         if (r.expirySlot !== 0) {
-            map.set(Field(r.licenseHash), Field(r.expirySlot));
+            map.set(Field(r.licenseHash), leafHash(leafFromRecord(r)));
         }
     }
     return map;
 }
+// The license expiry the escrow commitment was made against — the expiry at
+// purchase time, before any renewal. `initialExpirySlot` is written at every
+// issue path (prove/buy staging, the licenseIssued event apply); the
+// `expirySlot` fallback only covers legacy records, which cannot have been
+// renewed without also receiving the backfill.
+export function escrowExpirySlot(r) {
+    return r.initialExpirySlot ?? r.expirySlot;
+}
 // Rebuild the escrow MerkleMap for a single zkApp:
-// licenseHash → escrowCommitment(amount, slot, buyerKey). Only includes
-// entries with live escrow (not released, not refunded) and a known buyer.
+// licenseHash → escrowCommitment(amount, slot, buyerKey, initialExpirySlot).
+// Only includes entries with live escrow (not released, not refunded, not an
+// escrowless purchase) and a known buyer. Must match LicensingApp.ts
+// escrowCommitment field-for-field.
 export function buildEscrowMap(records, zkAppAddress) {
     const map = new MerkleMap();
     for (const r of recordsForApp(records, zkAppAddress)) {
-        if (!r.released && !r.refunded && r.purchaseSlot > 0 && r.buyerAddress) {
+        if (!r.released && !r.refunded && !r.escrowless && r.purchaseSlot > 0 && r.buyerAddress) {
             const buyerKey = PublicKey.fromBase58(r.buyerAddress);
             const commitment = Poseidon.hash([
                 UInt64.from(BigInt(r.purchaseAmount)).value,
                 UInt32.from(r.purchaseSlot).value,
                 buyerKey.x,
                 buyerKey.isOdd.toField(),
+                UInt32.from(escrowExpirySlot(r)).value,
             ]);
             map.set(Field(r.licenseHash), commitment);
         }
@@ -124,20 +146,79 @@ export async function getLicense(zkAppAddress, licenseHash) {
 }
 // Determine the status of a license. A license in the 7-day grace window is
 // still considered 'active' so renewal is not urgently forced.
-export function licenseStatus(record, currentSlot) {
+export function licenseStatus(record, currentSlot, forkActivationSlot = 0) {
     if (!record)
         return 'unknown';
+    if (record.transferredTo)
+        return 'transferred';
     if (record.expirySlot === 0)
         return 'refunded';
-    if (record.expirySlot + GRACE_PERIOD_N < currentSlot)
+    if (effectiveExpirySlot(record.expirySlot, forkActivationSlot) + GRACE_PERIOD_N < currentSlot)
         return 'expired';
     return 'active';
 }
+/**
+ * A redeployed app's successor starts with every license of `from` (its
+ * frozen tree, checked on chain): copy them to `to`, marked carriedOverFrom
+ * (not new sales). Refunded and already-present licenses are skipped.
+ * Returns how many were copied.
+ */
+export async function carryOverRecords(from, to) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const present = new Set(records.filter(r => r.zkAppAddress === to).map(r => r.licenseHash));
+        const copies = records
+            .filter(r => r.zkAppAddress === from && r.expirySlot > 0 && !present.has(r.licenseHash))
+            .map((r) => ({
+            // License state only: the sale, its renewals and its escrow stay on
+            // the earlier deployment's record, so they're counted once.
+            zkAppAddress: to, carriedOverFrom: from,
+            licenseHash: r.licenseHash, expirySlot: r.expirySlot,
+            purchaseSlot: 0, purchaseAmount: '0', txHash: r.txHash, createdAt: r.createdAt,
+            buyerAddress: r.buyerAddress, deviceCap: r.deviceCap, deviceSlotsRoot: r.deviceSlotsRoot,
+            deviceSlotsFilled: r.deviceSlotsFilled, devices: r.devices,
+            initialExpirySlot: r.initialExpirySlot, tier: r.tier,
+            renewedAtLeastOnce: r.renewedAtLeastOnce || (r.renewals?.length ?? 0) > 0 || undefined,
+        }));
+        if (copies.length)
+            await writeRecords([...records, ...copies]);
+        return copies.length;
+    });
+}
+/**
+ * A forced retirement left `zkAppAddress`'s escrowed purchases on the
+ * retired contract: marks them stranded (no refund or release follows).
+ * Returns how many.
+ */
+export async function markEscrowStranded(zkAppAddress, txHash, at = new Date().toISOString()) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        let n = 0;
+        for (const r of records) {
+            if (r.zkAppAddress !== zkAppAddress || r.released || r.refunded || r.escrowless || r.escrowStranded || !(r.purchaseSlot > 0))
+                continue;
+            r.escrowStranded = { txHash, at };
+            n++;
+        }
+        if (n)
+            await writeRecords(records);
+        return n;
+    });
+}
 // Add or update a license record (upsert by composite key).
 export async function upsertLicense(record) {
     if (!record.zkAppAddress) {
         throw new Error('upsertLicense: record.zkAppAddress is required');
     }
+    // Populate the empty-slot mirror at insert time when the license is capped.
+    // Without this, /confirm/buy writes deviceCap:N but leaves deviceSlotsRoot
+    // and deviceSlotsFilled undefined until the first bind — leafFromRecord's
+    // fallbacks paper over it for hash reconstruction, but every consumer that
+    // reads the mirror directly (preflight logs, /license responses, offline
+    // verify) would see undefined and either misreport or need its own fallback.
+    if ((record.deviceCap ?? 0) > 0 && (record.deviceSlotsRoot === undefined || record.deviceSlotsFilled === undefined)) {
+        refreshSlotMirror(record);
+    }
     return withWriteLock(async () => {
         const records = await readRecords();
         const idx = records.findIndex(r => r.zkAppAddress === record.zkAppAddress && r.licenseHash === record.licenseHash);
@@ -176,17 +257,47 @@ export async function updateExpiry(zkAppAddress, licenseHash, expirySlot, opts =
         return true;
     });
 }
-// Clear license and escrow data after a confirmed refund. Also flips `refunded`.
-export async function recordRefund(zkAppAddress, licenseHash) {
+// Clear license and escrow data after a refund. Also flips `refunded`.
+//
+// Two modes:
+//   provisional=false (default, called from archive event-sync on a canonical
+//     refundIssued event): sets refunded=true, zeros expiry/purchase, clears
+//     pending. This is the authoritative confirm — includes upgrading a prior
+//     'fast' flip.
+//   provisional=true (called from the tx-land watcher on first bestchain
+//     observation): sets refunded='fast' and records provisionalFlipAtSlot,
+//     but does NOT zero expirySlot/purchaseSlot yet — those stay live until
+//     the event is canonical, so a reorg revert restores refunded=false
+//     without needing snapshots.
+export async function recordRefund(zkAppAddress, licenseHash, opts) {
     return withWriteLock(async () => {
         const records = await readRecords();
         const record = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
         if (!record)
             return false;
-        record.expirySlot = 0;
-        record.purchaseSlot = 0;
-        record.purchaseAmount = '0';
-        record.refunded = true;
+        if (opts?.provisional) {
+            // Preserve expirySlot/purchaseSlot for revertability. UI treats
+            // 'fast' as refunded (truthy); circuit ops see 409 via pre-flight
+            // guards if the local state diverges from chain during the window.
+            if (record.refunded !== true)
+                record.refunded = 'fast';
+            if (opts.nowSlot !== undefined)
+                record.provisionalFlipAtSlot = opts.nowSlot;
+        }
+        else {
+            record.expirySlot = 0;
+            record.purchaseSlot = 0;
+            record.purchaseAmount = '0';
+            record.refunded = true;
+            // /confirm/refund wrote pending:true optimistically; the on-chain event
+            // landing is what authorizes clearing it. Without this the SDK poller
+            // (which requires pending===false && status==='refunded') hangs forever.
+            delete record.pending;
+            delete record.pendingPrior;
+            delete record.provedAtSlot;
+            // Any prior 'fast' provisional flip is now confirmed — drop the marker.
+            delete record.provisionalFlipAtSlot;
+        }
         await writeRecords(records);
         return true;
     });
@@ -194,15 +305,63 @@ export async function recordRefund(zkAppAddress, licenseHash) {
 // Mark escrow as released. Preserves purchaseAmount/purchaseSlot so stats can
 // compute released revenue. The `released` flag is the truth signal —
 // buildEscrowMap and getReleasableRecords filter on it directly.
-export async function recordRelease(zkAppAddress, licenseHash, releaseSlot) {
+//
+// Two modes: same semantics as recordRefund above.
+//   provisional=true  → released='fast', provisionalFlipAtSlot=nowSlot
+//   provisional=false → released=true (upgrades any 'fast' state), clears
+//                       provisionalFlipAtSlot
+export async function recordRelease(zkAppAddress, licenseHash, releaseSlot, txHash, opts) {
     return withWriteLock(async () => {
         const records = await readRecords();
         const record = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
         if (!record)
             return false;
-        record.released = true;
+        if (opts?.provisional) {
+            if (record.released !== true)
+                record.released = 'fast';
+            if (opts.nowSlot !== undefined)
+                record.provisionalFlipAtSlot = opts.nowSlot;
+        }
+        else {
+            record.released = true;
+            delete record.provisionalFlipAtSlot;
+        }
         if (releaseSlot !== undefined)
             record.releaseSlot = releaseSlot;
+        if (txHash !== undefined)
+            record.releaseTxHash = txHash;
+        await writeRecords(records);
+        return true;
+    });
+}
+// Roll back a provisional 'fast' flip that never got confirmed by the archive.
+// Called by the reorg-revert reaper after REORG_REVERT_AFTER_SLOTS elapses
+// without a canonical event. Only reverts if the field is still 'fast' —
+// confirmed (true) flips are irreversible from this path.
+export async function revertProvisionalFlip(zkAppAddress, licenseHash, kind) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const record = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
+        if (!record)
+            return false;
+        if (kind === 'release') {
+            if (record.released !== 'fast')
+                return false;
+            record.released = false;
+            delete record.releaseSlot;
+            delete record.releaseTxHash;
+        }
+        else {
+            if (record.refunded !== 'fast')
+                return false;
+            record.refunded = false;
+            // expirySlot/purchaseSlot were never zeroed for provisional refunds, so
+            // nothing to restore there.
+        }
+        // Clear the marker only if no OTHER field is still provisional.
+        if (record.released !== 'fast' && record.refunded !== 'fast') {
+            delete record.provisionalFlipAtSlot;
+        }
         await writeRecords(records);
         return true;
     });
@@ -217,6 +376,7 @@ export async function confirmRecord(zkAppAddress, licenseHash) {
         if (!record.pending)
             return false;
         delete record.pending;
+        delete record.pendingPrior;
         delete record.provedAtSlot;
         await writeRecords(records);
         return true;
@@ -237,6 +397,7 @@ export async function applyLicenseIssued(zkAppAddress, licenseHash, fields) {
         if (record) {
             if (record.pending) {
                 delete record.pending;
+                delete record.pendingPrior;
                 delete record.provedAtSlot;
                 dirty = true;
             }
@@ -252,9 +413,29 @@ export async function applyLicenseIssued(zkAppAddress, licenseHash, fields) {
                 record.escrowless = true;
                 dirty = true;
             }
+            // Backfill leaf fields if the record was created before the event
+            // carried them, or if a prior partial rehydrate is still missing them.
+            if (fields.deviceCap !== undefined && record.deviceCap === undefined) {
+                record.deviceCap = fields.deviceCap;
+                dirty = true;
+            }
+            if (fields.deviceSlotsRoot !== undefined && record.deviceSlotsRoot === undefined) {
+                record.deviceSlotsRoot = fields.deviceSlotsRoot;
+                dirty = true;
+            }
+            if (fields.deviceSlotsFilled !== undefined && record.deviceSlotsFilled === undefined) {
+                record.deviceSlotsFilled = fields.deviceSlotsFilled;
+                dirty = true;
+            }
+            if (record.buyerAddress === undefined) {
+                // Legacy record predating the required-buyerAddress change — backfill
+                // from the fresh event so it becomes enumerable via /licenses?buyer=.
+                record.buyerAddress = fields.buyerAddress;
+                dirty = true;
+            }
         }
         else {
-            records.push({
+            const inserted = {
                 zkAppAddress,
                 licenseHash,
                 expirySlot: fields.expirySlot,
@@ -265,13 +446,200 @@ export async function applyLicenseIssued(zkAppAddress, licenseHash, fields) {
                 initialExpirySlot: fields.expirySlot,
                 ...(fields.tier ? { tier: fields.tier } : {}),
                 ...(fields.escrowless === true ? { escrowless: true } : {}),
-            });
+                ...(fields.deviceCap !== undefined ? { deviceCap: fields.deviceCap } : {}),
+                ...(fields.deviceSlotsRoot !== undefined ? { deviceSlotsRoot: fields.deviceSlotsRoot } : {}),
+                ...(fields.deviceSlotsFilled !== undefined ? { deviceSlotsFilled: fields.deviceSlotsFilled } : {}),
+                buyerAddress: fields.buyerAddress,
+            };
+            // Same rationale as upsertLicense: populate the empty-slot mirror on
+            // first insert so the record is immediately queryable without relying
+            // on leafFromRecord's undefined fallbacks.
+            if ((inserted.deviceCap ?? 0) > 0 && (inserted.deviceSlotsRoot === undefined || inserted.deviceSlotsFilled === undefined)) {
+                refreshSlotMirror(inserted);
+            }
+            records.push(inserted);
             dirty = true;
         }
         if (dirty)
             await writeRecords(records);
     });
 }
+// Apply a licenseRenewed event atomically: clear any pending /confirm/renew
+// write, align expirySlot with the event, and flip renewedAtLeastOnce.
+// Symmetric to applyLicenseIssued — the archive-events path is what closes
+// out a renew that the bestChain sweep missed (tx landed after the sweep's
+// BESTCHAIN_DEPTH window rolled past), and without a pending-clear step here
+// the flag on a landed record could be stuck forever.
+//
+// Does NOT append to renewals[] — that log is populated at /confirm/renew
+// time from the intent (which carries amount + txHash); the archive event
+// carries only newExpiry, so replaying it must not overwrite the richer
+// confirm-time entry.
+export async function applyLicenseRenewed(zkAppAddress, licenseHash, fields) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const record = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
+        if (!record)
+            return false;
+        let dirty = false;
+        if (record.pending) {
+            delete record.pending;
+            delete record.pendingPrior;
+            delete record.provedAtSlot;
+            dirty = true;
+        }
+        if (record.expirySlot !== fields.newExpiry) {
+            record.expirySlot = fields.newExpiry;
+            dirty = true;
+        }
+        if (!record.renewedAtLeastOnce) {
+            record.renewedAtLeastOnce = true;
+            dirty = true;
+        }
+        if (dirty)
+            await writeRecords(records);
+        return true;
+    });
+}
+/**
+ * A license moved to a new owner key (transferLicense): the license state
+ * (expiry, cap, bound devices) goes to a record under `to`, with no sale of
+ * its own (the sale and its receipt stay on the original record), listed
+ * under `wallet` (the transfer's sender, the new owner's wallet, which
+ * paid), and the original leaves the licenses tree (expirySlot 0) marked
+ * `transferredTo`.
+ */
+export async function applyLicenseTransferred(zkAppAddress, from, to, opts = {}) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const old = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === from);
+        if (!old)
+            return false;
+        if (old.transferredTo === to)
+            return true; // already applied
+        const moved = {
+            zkAppAddress, licenseHash: to, expirySlot: old.expirySlot, purchaseSlot: 0, purchaseAmount: '0',
+            txHash: opts.txHash ?? '', createdAt: new Date().toISOString(), buyerAddress: opts.wallet ?? '',
+            transferredFrom: from,
+            ...(old.deviceCap !== undefined ? { deviceCap: old.deviceCap } : {}),
+            ...(old.deviceSlotsRoot !== undefined ? { deviceSlotsRoot: old.deviceSlotsRoot } : {}),
+            ...(old.deviceSlotsFilled !== undefined ? { deviceSlotsFilled: old.deviceSlotsFilled } : {}),
+            ...(old.devices ? { devices: old.devices.map(d => ({ ...d })) } : {}),
+            ...(old.escrowless ? { escrowless: true } : {}),
+            ...(old.tier ? { tier: old.tier } : {}),
+        };
+        const existing = records.findIndex(r => r.zkAppAddress === zkAppAddress && r.licenseHash === to);
+        if (existing >= 0)
+            records[existing] = moved;
+        else
+            records.push(moved);
+        old.transferredTo = to;
+        old.expirySlot = 0;
+        delete old.devices;
+        delete old.pending;
+        delete old.pendingPrior;
+        delete old.provedAtSlot;
+        await writeRecords(records);
+        return true;
+    });
+}
+// Recompute deviceSlotsRoot + deviceSlotsFilled from the record's mirror after
+// a bind/unbind mutation. `leafFromRecord` uses those two persisted fields when
+// building the on-chain leaf hash; if they drift from the on-chain state the
+// next mutation call fails the in-circuit leaf-hash assert. Mirror the exact
+// packing the circuit uses (packSlotTimes: freedAt in low 32 bits, boundAt in
+// high 32) so the fold matches the on-chain deviceSlotsRoot bit-for-bit.
+function refreshSlotMirror(record) {
+    const devices = record.devices ?? [];
+    const occupied = [];
+    const freedAt = [];
+    for (let i = 0; i < DEVICE_SLOT_CAP_N; i++) {
+        const entry = devices.find(d => d.slotIndex === i);
+        const occ = entry?.deviceCommitment ?? '0';
+        occupied.push(Field(occ));
+        const boundAt = BigInt(entry?.boundAtSlot ?? 0);
+        const freed = BigInt(entry?.freedAtSlot ?? 0);
+        // packSlotTimes(boundAt, freedAt) in licenseLeaf.ts: freedAt low 32, boundAt high 32.
+        const packed = freed + (boundAt << 32n);
+        freedAt.push(Field(packed));
+    }
+    record.deviceSlotsRoot = computeDeviceSlotsRoot(occupied, freedAt).toString();
+    record.deviceSlotsFilled = devices.filter(d => d.deviceCommitment !== '0').length;
+}
+// Apply a deviceBound event atomically: mirrors the on-chain slot mutation
+// into the record.devices[] array and recomputes deviceSlotsRoot / filled so
+// leafFromRecord reconstructs the exact leaf hash the chain committed.
+//
+// `boundAtSlot` MUST be the circuit's proof-time `globalSlotSinceGenesis` (the
+// value emitted in `DeviceBoundEvent.boundAtSlot`). The block slot when the tx
+// landed is NOT interchangeable: TOLERANCE_WINDOW allows them to differ, and
+// any drift flips the packed `freedAt` field → wrong leaf → root divergence.
+export async function applyDeviceBound(zkAppAddress, licenseHash, fields) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const record = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
+        if (!record)
+            return false;
+        const devices = (record.devices ??= []);
+        // Ensure the array is long enough — pad with empty slots.
+        while (devices.length <= fields.slotIndex) {
+            devices.push({ slotIndex: devices.length, deviceCommitment: '0', boundAtSlot: 0, freedAtSlot: 0 });
+        }
+        devices[fields.slotIndex] = {
+            slotIndex: fields.slotIndex,
+            deviceCommitment: fields.deviceCommitment,
+            boundAtSlot: fields.boundAtSlot,
+            freedAtSlot: 0, // pristine → fresh bind resets freedAt
+        };
+        refreshSlotMirror(record);
+        await writeRecords(records);
+        return true;
+    });
+}
+// Apply a deviceUnbound event atomically. Preserves boundAtSlot for audit,
+// stamps freedAtSlot for the cooldown timer the circuit's next bind enforces.
+//
+// `freedAtSlot` MUST be the circuit's proof-time `globalSlotSinceGenesis` (the
+// value emitted in `DeviceUnboundEvent.freedAtSlot`). Same reason as
+// `applyDeviceBound.boundAtSlot`.
+export async function applyDeviceUnbound(zkAppAddress, licenseHash, fields) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const record = records.find(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
+        if (!record || !record.devices)
+            return false;
+        const slot = record.devices.find(d => d.slotIndex === fields.slotIndex);
+        if (!slot)
+            return false;
+        slot.deviceCommitment = '0';
+        slot.freedAtSlot = fields.freedAtSlot;
+        // boundAtSlot stays as the last bind time — historical / audit.
+        refreshSlotMirror(record);
+        await writeRecords(records);
+        return true;
+    });
+}
+// Undo a pending change whose transaction failed on chain or never landed:
+// restore the record it replaced (a renewal or refund), or remove it (a
+// purchase). With `txHash`, only if the pending change is that transaction's.
+export async function revertPending(zkAppAddress, licenseHash, txHash) {
+    return withWriteLock(async () => {
+        const records = await readRecords();
+        const idx = records.findIndex(r => r.zkAppAddress === zkAppAddress && r.licenseHash === licenseHash);
+        if (idx < 0)
+            return false;
+        const record = records[idx];
+        if (!record.pending || (txHash !== undefined && record.txHash !== txHash))
+            return false;
+        const outcome = record.pendingPrior ? 'restored' : 'removed';
+        if (record.pendingPrior)
+            records[idx] = record.pendingPrior;
+        else
+            records.splice(idx, 1);
+        await writeRecords(records);
+        return outcome;
+    });
+}
 // Delete a record entirely (used to reap stale pending entries the buyer never submitted).
 export async function deleteRecord(zkAppAddress, licenseHash) {
     return withWriteLock(async () => {
@@ -296,6 +664,8 @@ export async function getReleasableRecords(currentSlot) {
     const records = await readRecords();
     return records.filter((r) => !r.released &&
         !r.refunded &&
+        !r.escrowless &&
+        !r.escrowStranded &&
         r.purchaseSlot > 0 &&
         r.zkAppAddress &&
         currentSlot > r.purchaseSlot + REFUND_WINDOW_N);

package/build/licenseStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"licenseStore.js","sourceRoot":"","sources":["../src/licenseStore.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,oCAAoC;AAEpC;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACrG,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC9F,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACvG,OAAO,EAAE,kBAAkB,IAAI,mBAAmB,EAA8E,MAAM,oBAAoB,CAAC;AAC3J,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAS9D,MAAM,CAAC,MAAM,kBAAkB,GAAG,mBAAmB,CAAC;AAEtD,MAAM,UAAU,gBAAgB;IAC9B,OAAO,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,eAAe,CAAC;AAC3D,CAAC;AAcD,MAAM,WAAW,GAAwB;IACvC,2EAA2E;IAC3E,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU,CAAU,gBAAgB,EAAE,EAAE,EAAE,CAAC;IACvD,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,gBAAgB,EAAE,EAAE,OAAO,CAAC;CAC/D,CAAC;AACF,IAAI,OAAO,GAAwB,WAAW,CAAC;AAE/C,MAAM,UAAU,sBAAsB,CAAC,CAA6B;IAClE,OAAO,GAAG,CAAC,IAAI,WAAW,CAAC;AAC7B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW;IAC/B,MAAM,GAAG,GAAY,MAAM,OAAO,CAAC,IAAI,EAAE,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,GAAsB,CAAC;IACvC,wEAAwE;IACxE,yEAAyE;IACzE,sDAAsD;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACtG,IAAI,QAAQ,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC,0BAA0B,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,2DAA2D,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,OAAwB;IAClD,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,yEAAyE;AACzE,gFAAgF;AAChF,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,gEAAgE;AAChE,IAAI,UAAU,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;AAClD,SAAS,aAAa,CAAI,EAAoB;IAC5C,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,EAAE,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,wEAAwE;AACxE,+DAA+D;AAC/D,SAAS,aAAa,CAAC,OAAwB,EAAE,YAAoB;IACnE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC;AAC9D,CAAC;AAED,yEAAyE;AACzE,2EAA2E;AAC3E,2EAA2E;AAC3E,uEAAuE;AACvE,iEAAiE;AACjE,uEAAuE;AACvE,uEAAuE;AACvE,yEAAyE;AACzE,qBAAqB;AACrB,MAAM,UAAU,QAAQ,CAAC,OAAwB,EAAE,YAAoB;IACrE,MAAM,GAAG,GAAG,IAAI,SAAS,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAC5E,6EAA6E;AAC7E,qEAAqE;AACrE,2EAA2E;AAC3E,+CAA+C;AAC/C,MAAM,UAAU,gBAAgB,CAAC,CAAgB;IAC/C,OAAO,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,UAAU,CAAC;AAC7C,CAAC;AAED,mDAAmD;AACnD,6EAA6E;AAC7E,6EAA6E;AAC7E,qEAAqE;AACrE,oCAAoC;AACpC,MAAM,UAAU,cAAc,CAAC,OAAwB,EAAE,YAAoB;IAC3E,MAAM,GAAG,GAAG,IAAI,SAAS,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,YAAY,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;YACxF,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YACtD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK;gBAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK;gBACjC,QAAQ,CAAC,CAAC;gBACV,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE;gBACxB,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;aACvC,CAAC,CAAC;YACH,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,OAAyB;IAIxD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;QAClD,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,kBAAkB,CAAC,IAGlC;IACC,OAAO,IAAI,gBAAgB,CACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAC3C,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,YAAoB,EAAE,WAAmB;IAMxE,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;QAC9B,YAAY,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;QACrC,OAAO;QACP,UAAU,EAAE,gBAAgB,CAAC,OAAO,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,YAAoB,EAAE,WAAmB;IACxE,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;IACpC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,IAAI,IAAI,CAAC;AACrG,CAAC;AAED,4EAA4E;AAC5E,+DAA+D;AAC/D,MAAM,UAAU,aAAa,CAAC,MAA4B,EAAE,WAAmB,EAAE,kBAAkB,GAAG,CAAC;IACrG,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,IAAI,MAAM,CAAC,aAAa;QAAE,OAAO,aAAa,CAAC;IAC/C,IAAI,MAAM,CAAC,UAAU,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/C,IAAI,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,kBAAkB,CAAC,GAAG,cAAc,GAAG,WAAW;QAAE,OAAO,SAAS,CAAC;IAChH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,EAAU;IAC7D,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,OAAO;aACnB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;aACvF,GAAG,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC;YAC1B,oEAAoE;YACpE,4DAA4D;YAC5D,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI;YACvC,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU;YACpD,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS;YAC9E,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC,eAAe;YACxF,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO;YAC1D,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;YACpD,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,SAAS;SACvF,CAAC,CAAC,CAAC;QACN,IAAI,MAAM,CAAC,MAAM;YAAE,MAAM,YAAY,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,YAAoB,EAAE,MAAc,EAAE,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IAC1G,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC;gBAAE,SAAS;YACvI,CAAC,CAAC,cAAc,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;YAClC,CAAC,EAAE,CAAC;QACN,CAAC;QACD,IAAI,CAAC;YAAE,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QACnC,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4DAA4D;AAC5D,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAqB;IACvD,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,4EAA4E;IAC5E,2EAA2E;IAC3E,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,6EAA6E;IAC7E,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,CAAC,EAAE,CAAC;QACpH,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,CAAC;QACnH,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gEAAgE;AAChE,gFAAgF;AAChF,6EAA6E;AAC7E,0DAA0D;AAC1D,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,YAAoB,EACpB,WAAmB,EACnB,UAAkB,EAClB,OAAkH,EAAE;IAEpH,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,CAAC,UAAU,GAAG,UAAU,CAAC;QAC/B,IAAI,IAAI,CAAC,WAAW;YAAE,MAAM,CAAC,kBAAkB,GAAG,IAAI,CAAC;QACvD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC;YAC1C,uEAAuE;YACvE,sEAAsE;YACtE,+CAA+C;YAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,OAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uEAAuE;AACvE,EAAE;AACF,aAAa;AACb,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,mBAAmB;AACnB,yEAAyE;AACzE,4EAA4E;AAC5E,4EAA4E;AAC5E,wEAAwE;AACxE,iCAAiC;AACjC,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,YAAoB,EACpB,WAAmB,EACnB,IAAkD;IAElD,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,IAAI,IAAI,EAAE,WAAW,EAAE,CAAC;YACtB,gEAAgE;YAChE,kEAAkE;YAClE,mEAAmE;YACnE,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;gBAAE,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC;YACvD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,qBAAqB,GAAG,IAAI,CAAC,OAAO,CAAC;QAC9E,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC;YACtB,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;YACxB,MAAM,CAAC,cAAc,GAAG,GAAG,CAAC;YAC5B,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;YACvB,wEAAwE;YACxE,sEAAsE;YACtE,yEAAyE;YACzE,OAAO,MAAM,CAAC,OAAO,CAAC;YACtB,OAAO,MAAM,CAAC,YAAY,CAAC;YAC3B,OAAO,MAAM,CAAC,YAAY,CAAC;YAC3B,wEAAwE;YACxE,OAAO,MAAM,CAAC,qBAAqB,CAAC;QACtC,CAAC;QACD,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,sEAAsE;AACtE,iEAAiE;AACjE,EAAE;AACF,mDAAmD;AACnD,uEAAuE;AACvE,0EAA0E;AAC1E,8CAA8C;AAC9C,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,YAAoB,EACpB,WAAmB,EACnB,WAAoB,EACpB,MAAe,EACf,IAAkD;IAElD,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,IAAI,IAAI,EAAE,WAAW,EAAE,CAAC;YACtB,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;gBAAE,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC;YACvD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,qBAAqB,GAAG,IAAI,CAAC,OAAO,CAAC;QAC9E,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;YACvB,OAAO,MAAM,CAAC,qBAAqB,CAAC;QACtC,CAAC;QACD,IAAI,WAAW,KAAK,SAAS;YAAE,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC;QAChE,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC;QACxD,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,2EAA2E;AAC3E,yEAAyE;AACzE,0DAA0D;AAC1D,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,YAAoB,EACpB,WAAmB,EACnB,IAA0B;IAE1B,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC;YACxB,OAAO,MAAM,CAAC,WAAW,CAAC;YAC1B,OAAO,MAAM,CAAC,aAAa,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC;YACxB,wEAAwE;YACxE,4BAA4B;QAC9B,CAAC;QACD,gEAAgE;QAChE,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC7D,OAAO,MAAM,CAAC,qBAAqB,CAAC;QACtC,CAAC;QACD,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,YAAoB,EAAE,WAAmB;IAC3E,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAClC,OAAO,MAAM,CAAC,OAAO,CAAC;QACtB,OAAO,MAAM,CAAC,YAAY,CAAC;QAC3B,OAAO,MAAM,CAAC,YAAY,CAAC;QAC3B,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,+EAA+E;AAC/E,gFAAgF;AAChF,oEAAoE;AACpE,8EAA8E;AAC9E,qEAAqE;AACrE,wBAAwB;AACxB,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,YAAoB,EACpB,WAAmB,EACnB,MAyBC;IAED,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,OAAO,MAAM,CAAC,OAAO,CAAC;gBACtB,OAAO,MAAM,CAAC,YAAY,CAAC;gBAC3B,OAAO,MAAM,CAAC,YAAY,CAAC;gBAC3B,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBAC3C,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC;gBAC7C,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;gBAC1B,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;gBAC7D,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC;gBACzB,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,kEAAkE;YAClE,uEAAuE;YACvE,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACrE,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;gBACpC,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;gBACjF,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC;gBAChD,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACrF,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,CAAC;gBACpD,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;YACD,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACtC,sEAAsE;gBACtE,sEAAsE;gBACtE,MAAM,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;gBAC1C,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAkB;gBAC9B,YAAY;gBACZ,WAAW;gBACX,UAAU,EAAS,MAAM,CAAC,UAAU;gBACpC,YAAY,EAAO,MAAM,CAAC,YAAY;gBACtC,cAAc,EAAK,MAAM,CAAC,cAAc;gBACxC,MAAM,EAAa,EAAE;gBACrB,SAAS,EAAU,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBAC3C,iBAAiB,EAAE,MAAM,CAAC,UAAU;gBACpC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3D,GAAG,CAAC,MAAM,CAAC,SAAS,KAAa,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAU,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1F,GAAG,CAAC,MAAM,CAAC,eAAe,KAAO,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAI,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChG,GAAG,CAAC,MAAM,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClG,YAAY,EAAO,MAAM,CAAC,YAAY;aACvC,CAAC;YACF,qEAAqE;YACrE,sEAAsE;YACtE,2CAA2C;YAC3C,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,IAAI,QAAQ,CAAC,iBAAiB,KAAK,SAAS,CAAC,EAAE,CAAC;gBAC1H,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAC9B,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvB,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,IAAI,KAAK;YAAE,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4EAA4E;AAC5E,uEAAuE;AACvE,2EAA2E;AAC3E,2EAA2E;AAC3E,6EAA6E;AAC7E,sDAAsD;AACtD,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,sBAAsB;AACtB,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,YAAoB,EACpB,WAAmB,EACnB,MAA6B;IAE7B,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,OAAO,CAAC;YACtB,OAAO,MAAM,CAAC,YAAY,CAAC;YAC3B,OAAO,MAAM,CAAC,YAAY,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;YAC3C,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC;YACrC,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC/B,MAAM,CAAC,kBAAkB,GAAG,IAAI,CAAC;YACjC,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QACD,IAAI,KAAK;YAAE,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,YAAoB,EACpB,IAAY,EACZ,EAAU,EACV,OAA6C,EAAE;IAE/C,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;QACzF,IAAI,CAAC,GAAG;YAAE,OAAO,KAAK,CAAC;QACvB,IAAI,GAAG,CAAC,aAAa,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB;QAC7D,MAAM,KAAK,GAAkB;YAC3B,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE,cAAc,EAAE,GAAG;YAC/F,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;YAC/F,eAAe,EAAE,IAAI;YACrB,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,GAAG,CAAC,GAAG,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5F,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC,CAAC;QACF,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;QACjG,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;;YAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,GAAG,CAAC,aAAa,GAAG,EAAE,CAAC;QACvB,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;QACnB,OAAO,GAAG,CAAC,OAAO,CAAC;QACnB,OAAO,GAAG,CAAC,OAAO,CAAC;QACnB,OAAO,GAAG,CAAC,YAAY,CAAC;QACxB,OAAO,GAAG,CAAC,YAAY,CAAC;QACxB,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,gFAAgF;AAChF,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,yEAAyE;AACzE,SAAS,iBAAiB,CAAC,MAAqB;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAY,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,iBAAiB,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,KAAK,EAAE,gBAAgB,IAAI,GAAG,CAAC;QAC3C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC;QAChD,MAAM,KAAK,GAAK,MAAM,CAAC,KAAK,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC;QAChD,sFAAsF;QACtF,MAAM,MAAM,GAAI,KAAK,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,CAAC;QACzC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,CAAC,eAAe,GAAK,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChF,MAAM,CAAC,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;AACpF,CAAC;AAED,2EAA2E;AAC3E,6EAA6E;AAC7E,uEAAuE;AACvE,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,YAAoB,EACpB,WAAoB,EACpB,MAA4E;IAE5E,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;QACxC,0DAA0D;QAC1D,OAAO,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG;YAC1B,SAAS,EAAS,MAAM,CAAC,SAAS;YAClC,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;YACzC,WAAW,EAAO,MAAM,CAAC,WAAW;YACpC,WAAW,EAAO,CAAC,EAAG,uCAAuC;SAC9D,CAAC;QACF,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,+EAA+E;AAC/E,qEAAqE;AACrE,kCAAkC;AAClC,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,YAAoB,EACpB,WAAoB,EACpB,MAAkD;IAElD,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACnG,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC;QACxE,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,gBAAgB,GAAG,GAAG,CAAC;QAC5B,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;QACtC,gEAAgE;QAChE,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,wEAAwE;AACxE,8EAA8E;AAC9E,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,YAAoB,EAAE,WAAmB,EAAE,MAAe;IAC5F,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACrG,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,MAAM,CAAC,YAAY;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC;;YACvD,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,YAAoB,EAAE,WAAmB;IAC1E,OAAO,aAAa,CAAC,KAAK,IAAI,EAAE;QAC9B,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,IAAI,CAAC,CAAC,WAAW,KAAK,WAAW,CAAC,CAAC;QACrG,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1B,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,mFAAmF;AACnF,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,WAAmB,EAAE,WAAW,GAAG,kBAAkB;IAChG,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;IACpC,OAAO,OAAO,CAAC,MAAM,CACnB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,IAAI,WAAW,GAAG,CAAC,CAAC,YAAY,GAAG,WAAW,CACrG,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,WAAmB;IAC5D,MAAM,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;IACpC,OAAO,OAAO,CAAC,MAAM,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,QAAQ;QACX,CAAC,CAAC,CAAC,QAAQ;QACX,CAAC,CAAC,CAAC,UAAU;QACb,CAAC,CAAC,CAAC,cAAc;QACjB,CAAC,CAAC,YAAY,GAAG,CAAC;QAClB,CAAC,CAAC,YAAY;QACd,WAAW,GAAG,CAAC,CAAC,YAAY,GAAG,eAAe,CACjD,CAAC;AACJ,CAAC"}

package/build/licenseTrustless.d.ts

@@ -0,0 +1,43 @@
+export type TrustlessLicenseVerification = {
+    valid: boolean;
+    expiresAt: string | null;
+    expirySlot: number;
+    inGracePeriod: boolean;
+    remainingDays: number;
+    reason: string | null;
+    trustless: true;
+    /** The contract address the license was checked at (another generation of the app's contract, if that's where it is). */
+    resolvedAddress: string;
+    /** LicensingApp release (generation) of that contract, from its verification key. */
+    generation: number | null;
+    /** Current slot, as the Mina node reported it. */
+    slot: number;
+    /** Whether the app's generation list came signed by the platform ("verified") or only the given address and its on-chain successors were checked. */
+    generations: 'verified' | 'given-address-only';
+};
+type ContractHead = {
+    found: boolean;
+    root?: string;
+    forkSlot?: number;
+    vkHash?: string;
+    editState?: string;
+    setPermissions?: string;
+    setVerificationKey?: string;
+    slot: number;
+};
+/** Why a contract isn't a genuine, locked LicensingApp, or null. */
+export declare function contractProblem(c: ContractHead): string | null;
+export declare function verifyLicenseTrustless(opts: {
+    keeperUrl: string;
+    network: 'devnet' | 'mainnet';
+    zkAppAddress: string;
+    licenseHash: string;
+    /** Your own Mina node (default: a public one per network). */
+    graphqlUrl?: string;
+    fetcher?: typeof fetch;
+    pinnedPublicKeysBase64?: readonly string[];
+    /** Wait between the two witness reads when the keeper is behind the chain (ms). */
+    retryDelayMs?: number;
+}): Promise<TrustlessLicenseVerification>;
+export {};
+//# sourceMappingURL=licenseTrustless.d.ts.map