@origintrail-official/dkg-agent 10.0.20 → 10.0.21

package/dist/vm-recovery-preparation.js

@@ -0,0 +1,433 @@
+// SPDX-License-Identifier: Apache-2.0
+import { withOwnedRpcRequestContext } from '@origintrail-official/dkg-chain';
+import { runBoundedOperation } from './bounded-operation.js';
+import { resolveBooleanSwitch } from './sync/backpressure.js';
+import { MAX_EXACT_SYNC_ASSETS } from './sync/exact-assets.js';
+import { VM_RECOVERY_FOOTPRINT_READ_TIMEOUT_MS, vmRecoveryFootprintFromUpdateContext, } from './vm-recovery-footprint.js';
+/**
+ * Advisory preparation of the NEXT recovery batch's sizing metadata.
+ *
+ * While one exact batch transfers and commits, this owner reads the update
+ * context of a bounded stable prefix of the still-pending candidates, so the
+ * next planning pass finds those hints ready instead of re-reading them (or
+ * losing them to the local RPC governor's queue and truncating the batch).
+ *
+ * What it is NOT. A hint is planning evidence of exactly the kind a live
+ * `latest-bounded` read yields: it can change how work is packed and nothing
+ * else. It earns no holder credit, consumes no peer attempt, records no
+ * admission, touches no negative cache and marks no ordinal handled, attempted,
+ * reconciled or materialized. The chain root count/version/binding and the
+ * guarded atomic write that follow authenticate every asset independently.
+ *
+ * Bounds. One prepared batch (at most {@link MAX_EXACT_SYNC_ASSETS} KAs) is
+ * retained at a time; at most `maxSpeculativeReads` speculative reads are in
+ * flight, each a single RPC in the BACKGROUND class bound to the owner's
+ * signal; descriptors hold a handful of scalars (no quads or payloads) and are
+ * byte-accounted. Hints are single-use and expire; a stale generation, a lost
+ * recovery ownership or an abort turns every hint into a miss, and the caller's
+ * live path runs unchanged.
+ */
+export const VM_RECOVERY_PREPARATION_LIMITS = Object.freeze({
+    /** One future batch, never more than the exact-asset hard selector limit. */
+    maxPreparedAssets: MAX_EXACT_SYNC_ASSETS,
+    /** Speculative KA-read tasks in flight at once (each is one RPC). */
+    maxSpeculativeReads: 2,
+    /**
+     * Per-read deadline of a speculative read. It runs off the critical path, so
+     * it may wait out a busy local RPC governor longer than a planning read could.
+     */
+    readTimeoutMs: 2 * VM_RECOVERY_FOOTPRINT_READ_TIMEOUT_MS,
+    /** A hint older than this at consumption is a miss. */
+    maxHintAgeMs: 60_000,
+    /** Explicit ceiling for retained descriptor memory. */
+    maxRetainedBytes: 16 * 1024,
+    /** Live planning reads in flight at once when preparation is enabled. */
+    planningReadConcurrency: 3,
+    /**
+     * Deadline of a live planning read when preparation is enabled. Admission
+     * wait in the local RPC governor counts inside it, and one unresolved first
+     * candidate truncates the whole batch to a single asset, so a busy lane is
+     * given longer than the unprepared path's limit before a read is abandoned.
+     */
+    planningReadTimeoutMs: 2 * VM_RECOVERY_FOOTPRINT_READ_TIMEOUT_MS,
+    /**
+     * Minimum spacing between reads of the registered-public observation that gates the
+     * stream wire when an earlier read in the same pass was unavailable.
+     */
+    authorityRetryMinIntervalMs: 5_000,
+});
+function entryBytes(kaId, footprint) {
+    // Fixed bookkeeping plus the string/bigint scalars the descriptor retains.
+    const scalars = footprint?.kind === 'public-v10'
+        ? footprint.assertionVersion.length + footprint.byteSize.toString().length
+            + footprint.merkleLeafCount.toString().length
+        : 0;
+    return 96 + 2 * kaId.length + 2 * scalars;
+}
+/** Typed opt-in switch: env `DKG_VM_RECOVERY_PREFETCH_ENABLED`, then config, default off. */
+export function resolveVmRecoveryPrefetchEnabled(configValue) {
+    return resolveBooleanSwitch(configValue, 'DKG_VM_RECOVERY_PREFETCH_ENABLED', false);
+}
+export class VmRecoveryPreparation {
+    #sizing;
+    #limits;
+    #now;
+    #batch;
+    #closed = false;
+    #activeReads = 0;
+    #retainedBytes = 0;
+    /** Underlying reads that have been issued and have not yet physically settled. */
+    #physical = new Set();
+    #counters = {
+        prepareCalls: 0, refused: 0, accepted: 0, readsStarted: 0, readsReady: 0, readsUnusable: 0,
+        hits: 0, misses: 0, staleMisses: 0, discardedUnused: 0, lateDropped: 0,
+        maxActiveReads: 0, maxRetainedBytes: 0,
+    };
+    constructor(sizing, limits = {}, now = () => performance.now()) {
+        this.#sizing = sizing;
+        this.#limits = { ...VM_RECOVERY_PREPARATION_LIMITS, ...limits };
+        this.#now = now;
+    }
+    get limits() {
+        return this.#limits;
+    }
+    /**
+     * Begin preparing hints for a stable prefix of future candidates. Never
+     * throws and never blocks; a refusal leaves the caller's live path intact.
+     * No second batch is accepted until the first is consumed or discarded.
+     */
+    prepare(scope, candidates) {
+        this.#counters.prepareCalls += 1;
+        const refuse = (refused) => {
+            this.#counters.refused += 1;
+            return { accepted: 0, refused };
+        };
+        if (this.#closed)
+            return refuse('closed');
+        if (this.#sizing === null)
+            return refuse('no-reader');
+        if (scope.signal?.aborted || !this.#scopeIsCurrent(scope))
+            return refuse('stale-scope');
+        const existing = this.#batch;
+        if (existing && !existing.released && this.#batchIsDead(existing))
+            this.#dropBatch(existing, true);
+        if (this.#batch && !this.#batch.released)
+            return refuse('busy');
+        const picked = [];
+        const seen = new Set();
+        for (const candidate of candidates) {
+            if (picked.length >= this.#limits.maxPreparedAssets)
+                break;
+            if (!/^[0-9]+$/.test(candidate.kaId) || seen.has(candidate.kaId))
+                continue;
+            seen.add(candidate.kaId);
+            picked.push(candidate);
+        }
+        if (picked.length === 0)
+            return refuse('no-candidates');
+        const controller = new AbortController();
+        const batch = {
+            scope,
+            createdAt: this.#now(),
+            controller,
+            entries: new Map(),
+            detachScopeSignal: () => undefined,
+            released: false,
+        };
+        if (scope.signal) {
+            const onAbort = () => controller.abort(scope.signal?.reason);
+            scope.signal.addEventListener('abort', onAbort, { once: true });
+            batch.detachScopeSignal = () => scope.signal?.removeEventListener('abort', onAbort);
+        }
+        let retained = 0;
+        for (const candidate of picked) {
+            const ready = candidate.footprint?.kind === 'public-v10' ? candidate.footprint : undefined;
+            const bytes = entryBytes(candidate.kaId, ready);
+            if (this.#retainedBytes + retained + bytes > this.#limits.maxRetainedBytes)
+                break;
+            retained += bytes;
+            batch.entries.set(candidate.kaId, {
+                kaId: candidate.kaId,
+                state: ready ? { kind: 'ready', footprint: ready } : { kind: 'queued' },
+                bytes,
+            });
+        }
+        if (batch.entries.size === 0) {
+            batch.detachScopeSignal();
+            return refuse('no-candidates');
+        }
+        this.#batch = batch;
+        this.#retainedBytes += retained;
+        this.#counters.accepted += batch.entries.size;
+        this.#counters.maxRetainedBytes = Math.max(this.#counters.maxRetainedBytes, this.#retainedBytes);
+        this.#pump(batch);
+        return { accepted: batch.entries.size };
+    }
+    /** Hints bound to `scope`, for the planner. Hints are single-use; see {@link release}. */
+    hintsFor(scope) {
+        return {
+            take: (kaId, options) => this.#take(scope, kaId, options),
+        };
+    }
+    /**
+     * The consumer is done with its prepared hints: whatever it did not take is
+     * discarded (and any read still in flight is cancelled), freeing the single
+     * batch slot for the next preparation.
+     */
+    release(scope) {
+        const batch = this.#batch;
+        if (!batch || batch.released)
+            return;
+        if (!this.#sameOperation(batch.scope, scope))
+            return;
+        this.#dropBatch(batch, true);
+    }
+    /**
+     * Drop the prepared batch (generation change, unsubscribe, binding change,
+     * shutdown). With a `localCgId` only that graph's batch is dropped.
+     */
+    discard(localCgId) {
+        const batch = this.#batch;
+        if (!batch || batch.released)
+            return;
+        if (localCgId !== undefined && batch.scope.localCgId !== localCgId)
+            return;
+        this.#dropBatch(batch, true);
+    }
+    get closed() {
+        return this.#closed;
+    }
+    /**
+     * Stop for good: cancel speculative reads, drop hints and wait for every
+     * physical read this owner started to settle. Late results are never applied.
+     */
+    async close() {
+        this.#closed = true;
+        this.discard();
+        await Promise.allSettled(this.#physical);
+    }
+    stats() {
+        return Object.freeze({
+            ...this.#counters,
+            retainedBytes: this.#retainedBytes,
+            activeReads: this.#activeReads,
+        });
+    }
+    /** An unconsumed batch whose operation ended, expired or lost ownership no longer holds the slot. */
+    #batchIsDead(batch) {
+        return batch.scope.signal?.aborted === true
+            || !this.#scopeIsCurrent(batch.scope)
+            || this.#now() - batch.createdAt > this.#limits.maxHintAgeMs;
+    }
+    #sameOperation(left, right) {
+        return left.localCgId === right.localCgId
+            && left.onChainCgId === right.onChainCgId
+            && left.generation === right.generation;
+    }
+    #scopeIsCurrent(scope) {
+        try {
+            return scope.isCurrent();
+        }
+        catch {
+            return false;
+        }
+    }
+    #dropBatch(batch, abortInflight) {
+        if (batch.released)
+            return;
+        batch.released = true;
+        if (this.#batch === batch)
+            this.#batch = undefined;
+        batch.detachScopeSignal();
+        for (const entry of batch.entries.values()) {
+            if (entry.state.kind !== 'taken')
+                this.#counters.discardedUnused += 1;
+            this.#retainedBytes = Math.max(0, this.#retainedBytes - entry.bytes);
+            entry.bytes = 0;
+            if (entry.state.kind === 'ready' || entry.state.kind === 'queued')
+                entry.state = { kind: 'unusable' };
+        }
+        if (abortInflight && !batch.controller.signal.aborted) {
+            batch.controller.abort(new Error('VM recovery preparation discarded'));
+        }
+    }
+    #pump(batch) {
+        while (!batch.released
+            && !batch.controller.signal.aborted
+            && this.#activeReads < this.#limits.maxSpeculativeReads) {
+            // Recovery ownership can end without the lifecycle signal aborting (a stale generation, a
+            // rebind). A read started now would spend shared background capacity on a result that is
+            // discarded, so a dead batch stops here; reads already issued stay tracked until they settle.
+            if (this.#batchIsDead(batch)) {
+                this.#dropBatch(batch, true);
+                return;
+            }
+            const next = [...batch.entries.values()].find((entry) => entry.state.kind === 'queued');
+            if (!next)
+                return;
+            this.#startRead(batch, next);
+        }
+    }
+    #startRead(batch, entry) {
+        const sizing = this.#sizing;
+        if (sizing === null)
+            return;
+        this.#activeReads += 1;
+        this.#counters.readsStarted += 1;
+        this.#counters.maxActiveReads = Math.max(this.#counters.maxActiveReads, this.#activeReads);
+        const finish = (footprint) => {
+            // A result for a batch that was released, closed or aborted is never applied.
+            if (batch.released || batch.controller.signal.aborted || !this.#scopeIsCurrent(batch.scope)) {
+                this.#counters.lateDropped += 1;
+                if (entry.state.kind === 'reading')
+                    entry.state = { kind: 'unusable' };
+                return;
+            }
+            if (footprint) {
+                const bytes = entryBytes(entry.kaId, footprint);
+                if (this.#retainedBytes - entry.bytes + bytes > this.#limits.maxRetainedBytes) {
+                    entry.state = { kind: 'unusable' };
+                    this.#counters.readsUnusable += 1;
+                    return;
+                }
+                this.#retainedBytes += bytes - entry.bytes;
+                entry.bytes = bytes;
+                entry.state = { kind: 'ready', footprint };
+                this.#counters.readsReady += 1;
+                this.#counters.maxRetainedBytes = Math.max(this.#counters.maxRetainedBytes, this.#retainedBytes);
+            }
+            else {
+                entry.state = { kind: 'unusable' };
+                this.#counters.readsUnusable += 1;
+            }
+        };
+        let issued = false;
+        const issue = (readSignal) => {
+            issued = true;
+            let read;
+            try {
+                read = sizing.readUpdateContext(BigInt(entry.kaId), { signal: readSignal });
+            }
+            catch (error) {
+                read = Promise.reject(error);
+            }
+            // Capacity is released when the underlying request really settles, not
+            // when the race below returns after an abort or a deadline.
+            const settled = Promise.resolve(read).then(() => undefined, () => undefined).finally(() => {
+                this.#physical.delete(settled);
+                this.#activeReads -= 1;
+                // Freed capacity serves whichever batch is current now, not the (possibly
+                // already released) batch that issued this read.
+                const current = this.#batch;
+                if (current && !current.released)
+                    this.#pump(current);
+            });
+            this.#physical.add(settled);
+            return read;
+        };
+        const settled = (async () => {
+            let footprint;
+            try {
+                const context = await withOwnedRpcRequestContext({ requestClass: 'background', signal: batch.controller.signal }, () => runBoundedOperation(issue, {
+                    label: 'VM recovery speculative sizing',
+                    signal: batch.controller.signal,
+                    timeoutMs: this.#limits.readTimeoutMs,
+                }));
+                const observed = vmRecoveryFootprintFromUpdateContext(context);
+                if (observed?.kind === 'public-v10')
+                    footprint = observed;
+            }
+            catch {
+                footprint = undefined;
+            }
+            // A pre-aborted boundary starts no physical read. Ordinary issued reads
+            // release capacity only in issue()'s physical-settlement callback.
+            if (!issued)
+                this.#activeReads -= 1;
+            finish(footprint);
+        })();
+        entry.state = { kind: 'reading', settled };
+    }
+    async #take(scope, kaId, options) {
+        const miss = (stale = false) => {
+            this.#counters.misses += 1;
+            if (stale)
+                this.#counters.staleMisses += 1;
+            return undefined;
+        };
+        const batch = this.#batch;
+        if (!batch || batch.released || this.#closed)
+            return miss();
+        if (!this.#sameOperation(batch.scope, scope))
+            return miss(true);
+        if (scope.signal?.aborted
+            || !this.#scopeIsCurrent(scope)
+            || this.#now() - batch.createdAt > this.#limits.maxHintAgeMs)
+            return miss(true);
+        const entry = batch.entries.get(kaId);
+        if (!entry || entry.state.kind === 'taken' || entry.state.kind === 'unusable')
+            return miss();
+        if (entry.state.kind === 'queued') {
+            // The consumer reads this candidate live now; never start a duplicate read.
+            entry.state = { kind: 'unusable' };
+            return miss();
+        }
+        if (entry.state.kind === 'reading') {
+            await this.#settleWithin(entry.state.settled, options);
+        }
+        // Re-check everything after any wait: ownership may have changed meanwhile.
+        if (batch.released || this.#closed || options.signal?.aborted || !this.#scopeIsCurrent(scope)) {
+            return miss(true);
+        }
+        const state = batch.entries.get(kaId)?.state;
+        if (state?.kind !== 'ready')
+            return miss();
+        entry.state = { kind: 'taken' };
+        this.#retainedBytes = Math.max(0, this.#retainedBytes - entry.bytes);
+        entry.bytes = 0;
+        this.#counters.hits += 1;
+        return state.footprint;
+    }
+    /**
+     * Wait for a speculative read to settle, never longer than the consumer's own bound. A
+     * timeout, a cancellation or a failed read is a plain hint miss; none of them cancels the
+     * physical read, which stays accounted for until it really settles.
+     */
+    async #settleWithin(settled, options) {
+        if (options.signal?.aborted || options.maxWaitMs <= 0)
+            return;
+        try {
+            await runBoundedOperation(() => settled, {
+                label: 'VM recovery prepared sizing hint',
+                timeoutMs: options.maxWaitMs,
+                ...(options.signal ? { signal: options.signal } : {}),
+            });
+        }
+        catch { /* a miss, not an error */ }
+    }
+}
+export { vmRecoveryRetryDelay } from './vm-recovery-pass-authority.js';
+const hostOwners = new WeakMap();
+/** The host's preparation owner, created on first use and replaced after a close. */
+export function vmRecoveryPreparationFor(host, sizing, limits = {}, now) {
+    const existing = hostOwners.get(host);
+    if (existing && !existing.closed)
+        return existing;
+    const created = new VmRecoveryPreparation(sizing, limits, now);
+    hostOwners.set(host, created);
+    return created;
+}
+/** The host's owner if one was ever created; never creates one. */
+export function existingVmRecoveryPreparation(host) {
+    const existing = hostOwners.get(host);
+    return existing && !existing.closed ? existing : undefined;
+}
+/** Cumulative preparation counters as one logfmt-style fragment (secret-free). */
+export function formatVmRecoveryPreparationStats(stats) {
+    return `prepAccepted=${stats.accepted} prepRefused=${stats.refused} prepReads=${stats.readsStarted} `
+        + `prepReady=${stats.readsReady} prepUnusable=${stats.readsUnusable} prepHits=${stats.hits} `
+        + `prepMisses=${stats.misses} prepStale=${stats.staleMisses} prepDiscarded=${stats.discardedUnused} `
+        + `prepLate=${stats.lateDropped} prepMaxActive=${stats.maxActiveReads} `
+        + `prepMaxBytes=${stats.maxRetainedBytes}`;
+}
+//# sourceMappingURL=vm-recovery-preparation.js.map

package/dist/vm-recovery-preparation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vm-recovery-preparation.js","sourceRoot":"","sources":["../src/vm-recovery-preparation.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EACL,qCAAqC,EACrC,oCAAoC,GAGrC,MAAM,4BAA4B,CAAC;AAGpC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1D,6EAA6E;IAC7E,iBAAiB,EAAE,qBAAqB;IACxC,qEAAqE;IACrE,mBAAmB,EAAE,CAAC;IACtB;;;OAGG;IACH,aAAa,EAAE,CAAC,GAAG,qCAAqC;IACxD,uDAAuD;IACvD,YAAY,EAAE,MAAM;IACpB,uDAAuD;IACvD,gBAAgB,EAAE,EAAE,GAAG,IAAI;IAC3B,yEAAyE;IACzE,uBAAuB,EAAE,CAAC;IAC1B;;;;;OAKG;IACH,qBAAqB,EAAE,CAAC,GAAG,qCAAqC;IAChE;;;OAGG;IACH,2BAA2B,EAAE,KAAK;CACnC,CAAC,CAAC;AA+EH,SAAS,UAAU,CAAC,IAAY,EAAE,SAA+C;IAC/E,2EAA2E;IAC3E,MAAM,OAAO,GAAG,SAAS,EAAE,IAAI,KAAK,YAAY;QAC9C,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM;cACtE,SAAS,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,MAAM;QAC/C,CAAC,CAAC,CAAC,CAAC;IACN,OAAO,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC;AAC5C,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,gCAAgC,CAAC,WAAqB;IACpE,OAAO,oBAAoB,CAAC,WAAW,EAAE,kCAAkC,EAAE,KAAK,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,OAAO,qBAAqB;IACvB,OAAO,CAAyC;IAChD,OAAO,CAA8B;IACrC,IAAI,CAAe;IAC5B,MAAM,CAA4B;IAClC,OAAO,GAAG,KAAK,CAAC;IAChB,YAAY,GAAG,CAAC,CAAC;IACjB,cAAc,GAAG,CAAC,CAAC;IACnB,kFAAkF;IACzE,SAAS,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC9C,SAAS,GAAG;QACV,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC;QAC1F,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;QACtE,cAAc,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC;KACvC,CAAC;IAEF,YACE,MAA8C,EAC9C,SAA+C,EAAE,EACjD,MAAoB,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE;QAE3C,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,EAAE,GAAG,8BAA8B,EAAE,GAAG,MAAM,EAAE,CAAC;QAChE,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;IAClB,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;;;OAIG;IACH,OAAO,CACL,KAAiC,EACjC,UAAqD;QAErD,IAAI,CAAC,SAAS,CAAC,YAAY,IAAI,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,CAAC,OAAiC,EAA2B,EAAE;YAC5E,IAAI,CAAC,SAAS,CAAC,OAAO,IAAI,CAAC,CAAC;YAC5B,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAClC,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,aAAa,CAAC,CAAC;QACxF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACnG,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;QAEhE,MAAM,MAAM,GAAqC,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,iBAAiB;gBAAE,MAAM;YAC3D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC3E,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,eAAe,CAAC,CAAC;QAExD,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;QACzC,MAAM,KAAK,GAAkB;YAC3B,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE;YACtB,UAAU;YACV,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,iBAAiB,EAAE,GAAG,EAAE,CAAC,SAAS;YAClC,QAAQ,EAAE,KAAK;SAChB,CAAC;QACF,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,GAAS,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACnE,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,KAAK,CAAC,iBAAiB,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3F,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAChD,IAAI,IAAI,CAAC,cAAc,GAAG,QAAQ,GAAG,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB;gBAAE,MAAM;YAClF,QAAQ,IAAI,KAAK,CAAC;YAClB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;gBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACvE,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,eAAe,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,cAAc,IAAI,QAAQ,CAAC;QAChC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QACjG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClB,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAC1C,CAAC;IAED,0FAA0F;IAC1F,QAAQ,CAAC,KAAiC;QACxC,OAAO;YACL,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,KAAiC;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO;QACrC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,OAAO;QACrD,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,SAAkB;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO;QACrC,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO;QAC3E,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK;QACH,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,IAAI,CAAC,SAAS;YACjB,aAAa,EAAE,IAAI,CAAC,cAAc;YAClC,WAAW,EAAE,IAAI,CAAC,YAAY;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,qGAAqG;IACrG,YAAY,CAAC,KAAoB;QAC/B,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI;eACtC,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;eAClC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IACjE,CAAC;IAED,cAAc,CAAC,IAAgC,EAAE,KAAiC;QAChF,OAAO,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;eACpC,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;eACtC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC;IAC5C,CAAC;IAED,eAAe,CAAC,KAAiC;QAC/C,IAAI,CAAC;YACH,OAAO,KAAK,CAAC,SAAS,EAAE,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,UAAU,CAAC,KAAoB,EAAE,aAAsB;QACrD,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO;QAC3B,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;QACtB,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;YAAE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;QACnD,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,SAAS,CAAC,eAAe,IAAI,CAAC,CAAC;YACtE,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACrE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;YAChB,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QACxG,CAAC;QACD,IAAI,aAAa,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACtD,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,KAAK,CAAC,KAAoB;QACxB,OACE,CAAC,KAAK,CAAC,QAAQ;eACZ,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO;eAChC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,EACvD,CAAC;YACD,0FAA0F;YAC1F,yFAAyF;YACzF,8FAA8F;YAC9F,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YACxF,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,UAAU,CAAC,KAAoB,EAAE,KAAoB;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO;QAC5B,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,YAAY,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3F,MAAM,MAAM,GAAG,CAAC,SAAsC,EAAQ,EAAE;YAC9D,8EAA8E;YAC9E,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5F,IAAI,CAAC,SAAS,CAAC,WAAW,IAAI,CAAC,CAAC;gBAChC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;oBAAE,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBACvE,OAAO;YACT,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAChD,IAAI,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,CAAC;oBAC9E,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,CAAC;oBAClC,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,cAAc,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBAC3C,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;gBACpB,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;gBAC3C,IAAI,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,SAAS,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;YACnG,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBACnC,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,CAAC;YACpC,CAAC;QACH,CAAC,CAAC;QACF,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,UAAuB,EACoB,EAAE;YAC1D,MAAM,GAAG,IAAI,CAAC;YACd,IAAI,IAAsE,CAAC;YAC3E,IAAI,CAAC;gBACH,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAC9E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;YACD,uEAAuE;YACvE,4DAA4D;YAC5D,MAAM,OAAO,GAAkB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE;gBACvG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC/B,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;gBACvB,0EAA0E;gBAC1E,iDAAiD;gBACjD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC5B,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ;oBAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,KAAK,IAAmB,EAAE;YACzC,IAAI,SAAsC,CAAC;YAC3C,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,0BAA0B,CAC9C,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAC/D,GAAG,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE;oBAC/B,KAAK,EAAE,gCAAgC;oBACvC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;oBAC/B,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa;iBACtC,CAAC,CACH,CAAC;gBACF,MAAM,QAAQ,GAAG,oCAAoC,CAAC,OAAO,CAAC,CAAC;gBAC/D,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY;oBAAE,SAAS,GAAG,QAAQ,CAAC;YAC5D,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,GAAG,SAAS,CAAC;YACxB,CAAC;YACD,wEAAwE;YACxE,mEAAmE;YACnE,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;YACpC,MAAM,CAAC,SAAS,CAAC,CAAC;QACpB,CAAC,CAAC,EAAE,CAAC;QACL,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,KAAK,CACT,KAAiC,EACjC,IAAY,EACZ,OAAsE;QAEtE,MAAM,IAAI,GAAG,CAAC,KAAK,GAAG,KAAK,EAAa,EAAE;YACxC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC;YAC3B,IAAI,KAAK;gBAAE,IAAI,CAAC,SAAS,CAAC,WAAW,IAAI,CAAC,CAAC;YAC3C,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,EAAE,CAAC;QAC5D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IACE,KAAK,CAAC,MAAM,EAAE,OAAO;eAClB,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;eAC5B,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY;YAC5D,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,EAAE,CAAC;QAC7F,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,4EAA4E;YAC5E,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACnC,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC;QACD,4EAA4E;QAC5E,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9F,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;QAC7C,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,EAAE,CAAC;QAC3C,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAChC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACrE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC;QACzB,OAAO,KAAK,CAAC,SAAS,CAAC;IACzB,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,aAAa,CACjB,OAAsB,EACtB,OAAsE;QAEtE,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC;YAAE,OAAO;QAC9D,IAAI,CAAC;YACH,MAAM,mBAAmB,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE;gBACvC,KAAK,EAAE,kCAAkC;gBACzC,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC,CAAC,0BAA0B,CAAC,CAAC;IACxC,CAAC;CACF;AAED,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvE,MAAM,UAAU,GAAG,IAAI,OAAO,EAAiC,CAAC;AAEhE,qFAAqF;AACrF,MAAM,UAAU,wBAAwB,CACtC,IAAY,EACZ,MAA8C,EAC9C,SAA+C,EAAE,EACjD,GAAkB;IAElB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/D,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,6BAA6B,CAAC,IAAY;IACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,gCAAgC,CAAC,KAAiC;IAChF,OAAO,gBAAgB,KAAK,CAAC,QAAQ,gBAAgB,KAAK,CAAC,OAAO,cAAc,KAAK,CAAC,YAAY,GAAG;UACjG,aAAa,KAAK,CAAC,UAAU,iBAAiB,KAAK,CAAC,aAAa,aAAa,KAAK,CAAC,IAAI,GAAG;UAC3F,cAAc,KAAK,CAAC,MAAM,cAAc,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,eAAe,GAAG;UACnG,YAAY,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,cAAc,GAAG;UACtE,gBAAgB,KAAK,CAAC,gBAAgB,EAAE,CAAC;AAC/C,CAAC"}

package/dist/vm-recovery-provider-policy.d.ts

@@ -7,10 +7,22 @@ export interface VmRecoveryProviderAttempt {
 /** One recovery slice's explicit provider-affinity state machine. */
 export declare class VmRecoveryProviderPolicy {
     #private;
-    selectNextCandidate(candidatePeerIds: readonly string[], maxPeers: number): string | undefined;
+    /**
+     * `deferredPeerIds` names candidates that cannot be attempted yet. They are
+     * passed over, and each keeps a place among the peers this slice may
+     * consider, so the peers tried meanwhile cannot crowd it out of the slice.
+     */
+    selectNextCandidate(candidatePeerIds: readonly string[], maxPeers: number, deferredPeerIds?: ReadonlySet<string>): string | undefined;
     markUnavailable(peerId: string): void;
+    /** The host must prove a current carried holder; one reuse still spends it. */
+    seedProvenHolder(peerId: string): void;
     beginAttempt(peerId: string): VmRecoveryProviderAttempt | undefined;
     finishAttempt(attempt: VmRecoveryProviderAttempt, aggregateDisposition: VmRecoveryUalDisposition, perUalDispositions: ReadonlyMap<string, VmRecoveryUalDisposition>): void;
+    /**
+     * The attempt ended without a verdict on the peer's data. The peer may be
+     * attempted again in this slice, and has to earn reuse again with a probe.
+     */
+    releaseAttempt(attempt: VmRecoveryProviderAttempt): void;
     unavailablePeerIds(): ReadonlySet<string>;
 }
 //# sourceMappingURL=vm-recovery-provider-policy.d.ts.map

package/dist/vm-recovery-provider-policy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vm-recovery-provider-policy.d.ts","sourceRoot":"","sources":["../src/vm-recovery-provider-policy.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,wBAAwB,GAAG,OAAO,GAAG,cAAc,GAAG,YAAY,CAAC;AAC/E,MAAM,MAAM,6BAA6B,GAAG,OAAO,GAAG,qBAAqB,CAAC;AAE5E,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;CAC9C;AAcD,qEAAqE;AACrE,qBAAa,wBAAwB;;IAkBnC,mBAAmB,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAgB9F,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIrC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,yBAAyB,GAAG,SAAS;IAanE,aAAa,CACX,OAAO,EAAE,yBAAyB,EAClC,oBAAoB,EAAE,wBAAwB,EAC9C,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAChE,IAAI;IAgBP,kBAAkB,IAAI,WAAW,CAAC,MAAM,CAAC;CAK1C"}
+{"version":3,"file":"vm-recovery-provider-policy.d.ts","sourceRoot":"","sources":["../src/vm-recovery-provider-policy.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,wBAAwB,GAAG,OAAO,GAAG,cAAc,GAAG,YAAY,CAAC;AAC/E,MAAM,MAAM,6BAA6B,GAAG,OAAO,GAAG,qBAAqB,CAAC;AAE5E,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;CAC9C;AAgBD,qEAAqE;AACrE,qBAAa,wBAAwB;;IAkBnC;;;;OAIG;IACH,mBAAmB,CACjB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,QAAQ,EAAE,MAAM,EAChB,eAAe,GAAE,WAAW,CAAC,MAAM,CAAqB,GACvD,MAAM,GAAG,SAAS;IAyBrB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIrC,+EAA+E;IAC/E,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAKtC,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,yBAAyB,GAAG,SAAS;IAyBnE,aAAa,CACX,OAAO,EAAE,yBAAyB,EAClC,oBAAoB,EAAE,wBAAwB,EAC9C,kBAAkB,EAAE,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,GAChE,IAAI;IASP;;;OAGG;IACH,cAAc,CAAC,OAAO,EAAE,yBAAyB,GAAG,IAAI;IAIxD,kBAAkB,IAAI,WAAW,CAAC,MAAM,CAAC;CAK1C"}

package/dist/vm-recovery-provider-policy.js

@@ -1,3 +1,4 @@
+const NO_DEFERRED_PEERS = new Set();
 /** One recovery slice's explicit provider-affinity state machine. */
 export class VmRecoveryProviderPolicy {
     #peers = new Map();
@@ -14,17 +15,31 @@ export class VmRecoveryProviderPolicy {
         const kind = this.#peers.get(peerId)?.phase.kind ?? 'fresh';
         return kind === 'fresh' || kind === 'holder-reusable';
     }
-    selectNextCandidate(candidatePeerIds, maxPeers) {
+    /**
+     * `deferredPeerIds` names candidates that cannot be attempted yet. They are
+     * passed over, and each keeps a place among the peers this slice may
+     * consider, so the peers tried meanwhile cannot crowd it out of the slice.
+     */
+    selectNextCandidate(candidatePeerIds, maxPeers, deferredPeerIds = NO_DEFERRED_PEERS) {
+        for (const peerId of candidatePeerIds) {
+            if (deferredPeerIds.has(peerId) && !this.#consideredPeerIds.has(peerId)
+                && this.#consideredPeerIds.size < maxPeers) {
+                this.#consideredPeerIds.add(peerId);
+            }
+        }
+        const attemptablePeerIds = candidatePeerIds.filter((peerId) => !deferredPeerIds.has(peerId));
         const ordered = [
-            ...candidatePeerIds.filter((peerId) => this.#peers.get(peerId)?.phase.kind === 'holder-reusable'),
-            ...candidatePeerIds.filter((peerId) => this.#peers.get(peerId)?.phase.kind !== 'holder-reusable'),
+            ...attemptablePeerIds.filter((peerId) => this.#peers.get(peerId)?.phase.kind === 'holder-reusable'),
+            ...attemptablePeerIds.filter((peerId) => this.#peers.get(peerId)?.phase.kind !== 'holder-reusable'),
         ];
         for (const peerId of ordered) {
             if (!this.#canAttempt(peerId))
                 continue;
             if (!this.#consideredPeerIds.has(peerId)) {
+                // The cap excludes this peer. One that already has a place (it kept
+                // one while deferred, or was released) may still follow it.
                 if (this.#consideredPeerIds.size >= maxPeers)
-                    return undefined;
+                    continue;
                 this.#consideredPeerIds.add(peerId);
             }
             return peerId;
@@ -34,6 +49,12 @@ export class VmRecoveryProviderPolicy {
     markUnavailable(peerId) {
         this.#state(peerId).phase = { kind: 'unavailable' };
     }
+    /** The host must prove a current carried holder; one reuse still spends it. */
+    seedProvenHolder(peerId) {
+        const state = this.#state(peerId);
+        if (state.phase.kind === 'fresh')
+            state.phase = { kind: 'holder-reusable' };
+    }
     beginAttempt(peerId) {
         const state = this.#state(peerId);
         if (!this.#canAttempt(peerId))
@@ -47,7 +68,7 @@ export class VmRecoveryProviderPolicy {
             : { kind: 'attempting-reuse', attempt };
         return attempt;
     }
-    finishAttempt(attempt, aggregateDisposition, perUalDispositions) {
+    #activeState(attempt) {
         const state = this.#state(attempt.peerId);
         const activeAttempt = state.phase.kind === 'attempting-probe'
             || state.phase.kind === 'attempting-reuse'
@@ -56,12 +77,23 @@ export class VmRecoveryProviderPolicy {
         if (activeAttempt !== attempt) {
             throw new Error(`VM recovery provider attempt is not active for ${attempt.peerId}`);
         }
+        return state;
+    }
+    finishAttempt(attempt, aggregateDisposition, perUalDispositions) {
+        const state = this.#activeState(attempt);
         const earnedReuse = state.phase.kind === 'attempting-probe'
             && aggregateDisposition === 'found'
             && perUalDispositions.size > 0
             && [...perUalDispositions.values()].every((disposition) => disposition === 'found');
         state.phase = earnedReuse ? { kind: 'holder-reusable' } : { kind: 'spent' };
     }
+    /**
+     * The attempt ended without a verdict on the peer's data. The peer may be
+     * attempted again in this slice, and has to earn reuse again with a probe.
+     */
+    releaseAttempt(attempt) {
+        this.#activeState(attempt).phase = { kind: 'fresh' };
+    }
     unavailablePeerIds() {
         return new Set([...this.#peers]
             .filter(([, state]) => state.phase.kind === 'unavailable')

package/dist/vm-recovery-provider-policy.js.map

@@ -1 +1 @@
-{"version":3,"file":"vm-recovery-provider-policy.js","sourceRoot":"","sources":["../src/vm-recovery-provider-policy.ts"],"names":[],"mappings":"AAoBA,qEAAqE;AACrE,MAAM,OAAO,wBAAwB;IAC1B,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IAChD,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhD,MAAM,CAAC,MAAc;QACnB,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,MAAc;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC;QAC5D,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,iBAAiB,CAAC;IACxD,CAAC;IAED,mBAAmB,CAAC,gBAAmC,EAAE,QAAgB;QACvE,MAAM,OAAO,GAAG;YACd,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,iBAAiB,CAAC;YACjG,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,iBAAiB,CAAC;SAClG,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,IAAI,QAAQ;oBAAE,OAAO,SAAS,CAAC;gBAC/D,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CAAC,MAAc;QAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACtD,CAAC;IAED,YAAY,CAAC,MAAc;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,MAAM,IAAI,GAAkC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChF,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,OAAO,CAAC;QACZ,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,IAAI,EAAsC,CAAC;QACrE,KAAK,CAAC,KAAK,GAAG,IAAI,KAAK,OAAO;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE;YACvC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,aAAa,CACX,OAAkC,EAClC,oBAA8C,EAC9C,kBAAiE;QAEjE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;eACxD,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;YAC1C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO;YACrB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,kDAAkD,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;eACtD,oBAAoB,KAAK,OAAO;eAChC,kBAAkB,CAAC,IAAI,GAAG,CAAC;eAC3B,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,KAAK,OAAO,CAAC,CAAC;QACtF,KAAK,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9E,CAAC;IAED,kBAAkB;QAChB,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;aACzD,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,CAAC;CACF"}
+{"version":3,"file":"vm-recovery-provider-policy.js","sourceRoot":"","sources":["../src/vm-recovery-provider-policy.ts"],"names":[],"mappings":"AAoBA,MAAM,iBAAiB,GAAwB,IAAI,GAAG,EAAE,CAAC;AAEzD,qEAAqE;AACrE,MAAM,OAAO,wBAAwB;IAC1B,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IAChD,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhD,MAAM,CAAC,MAAc;QACnB,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,KAAK,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,MAAc;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC;QAC5D,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,iBAAiB,CAAC;IACxD,CAAC;IAED;;;;OAIG;IACH,mBAAmB,CACjB,gBAAmC,EACnC,QAAgB,EAChB,kBAAuC,iBAAiB;QAExD,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;YACtC,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC;mBAClE,IAAI,CAAC,kBAAkB,CAAC,IAAI,GAAG,QAAQ,EAAE,CAAC;gBAC7C,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7F,MAAM,OAAO,GAAG;YACd,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,iBAAiB,CAAC;YACnG,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,iBAAiB,CAAC;SACpG,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzC,oEAAoE;gBACpE,4DAA4D;gBAC5D,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,IAAI,QAAQ;oBAAE,SAAS;gBACvD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,eAAe,CAAC,MAAc;QAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACtD,CAAC;IAED,+EAA+E;IAC/E,gBAAgB,CAAC,MAAc;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC9E,CAAC;IAED,YAAY,CAAC,MAAc;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,MAAM,IAAI,GAAkC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChF,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,OAAO,CAAC;QACZ,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,IAAI,EAAsC,CAAC;QACrE,KAAK,CAAC,KAAK,GAAG,IAAI,KAAK,OAAO;YAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE;YACvC,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC;QAC1C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,YAAY,CAAC,OAAkC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;eACxD,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;YAC1C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO;YACrB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,kDAAkD,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,aAAa,CACX,OAAkC,EAClC,oBAA8C,EAC9C,kBAAiE;QAEjE,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,kBAAkB;eACtD,oBAAoB,KAAK,OAAO;eAChC,kBAAkB,CAAC,IAAI,GAAG,CAAC;eAC3B,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,KAAK,OAAO,CAAC,CAAC;QACtF,KAAK,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9E,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,OAAkC;QAC/C,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACvD,CAAC;IAED,kBAAkB;QAChB,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;aACzD,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAChC,CAAC;CACF"}

package/dist/vm-recovery-stream-profile.d.ts

@@ -0,0 +1,15 @@
+import { type VmRecoveryMicrobatchLimits, type VmRecoveryMicrobatchPlan, type VmRecoveryTargetFootprint } from './vm-recovery-microbatch.js';
+export declare const VM_RECOVERY_STREAM_MAX_ASSET_ESTIMATED_BYTES: bigint;
+export declare const VM_RECOVERY_STREAM_MAX_ASSET_LEAVES = 16384n;
+/** The executor still checks the actual encoded, signed START request. */
+export declare const VM_RECOVERY_STREAM_MAX_START_BYTES: number;
+/** Fixed pilot profile; ordinary recovery configuration cannot widen it. */
+export declare const VM_RECOVERY_STREAM_MICROBATCH_LIMITS: Readonly<VmRecoveryMicrobatchLimits>;
+/**
+ * Select only a stable prefix with complete, nonzero public-v10 sizing hints.
+ * Unknown or oversize work stays on the existing legacy singleton path; it
+ * must never be skipped to stream a later asset. The caller separately proves
+ * opt-in, current Core capability and public authority. This is sizing only.
+ */
+export declare function planVmRecoveryStreamMicrobatch<T extends VmRecoveryTargetFootprint>(candidates: readonly T[], selectorBytesFor: (targets: readonly T[]) => number): VmRecoveryMicrobatchPlan<T> | undefined;
+//# sourceMappingURL=vm-recovery-stream-profile.d.ts.map

package/dist/vm-recovery-stream-profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vm-recovery-stream-profile.d.ts","sourceRoot":"","sources":["../src/vm-recovery-stream-profile.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,yBAAyB,EAC/B,MAAM,6BAA6B,CAAC;AAErC,eAAO,MAAM,4CAA4C,QAAqB,CAAC;AAC/E,eAAO,MAAM,mCAAmC,SAAU,CAAC;AAC3D,0EAA0E;AAC1E,eAAO,MAAM,kCAAkC,QAAW,CAAC;AAE3D,4EAA4E;AAC5E,eAAO,MAAM,oCAAoC,EAAE,QAAQ,CAAC,0BAA0B,CASpF,CAAC;AAuBH;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAAC,CAAC,SAAS,yBAAyB,EAChF,UAAU,EAAE,SAAS,CAAC,EAAE,EACxB,gBAAgB,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,KAAK,MAAM,GAClD,wBAAwB,CAAC,CAAC,CAAC,GAAG,SAAS,CAczC"}