mppx 0.6.30 → 0.7.0

package/dist/tempo/session/server/ChannelStore.js

@@ -0,0 +1,404 @@
+import { AmountExceedsDepositError, ChannelClosedError, ChannelNotFoundError, DeltaTooSmallError, InvalidSignatureError, VerificationFailedError, } from '../../../Errors.js';
+import { createSessionReceipt } from '../precompile/Protocol.js';
+import { uint96 } from '../precompile/Protocol.js';
+import * as Voucher from '../precompile/Voucher.js';
+import { assertSameDescriptor, validateChannelDescriptor, validateChannelState, } from './CredentialVerification.js';
+/** Returns whether a channel is backed by the TIP20EscrowChannel precompile. */
+export function isPrecompileState(state) {
+    return state.backend === 'precompile';
+}
+/** Returns the greater bigint value without decreasing persisted monotonic state. */
+export function keepGreater(current, next) {
+    return current > next ? current : next;
+}
+/** Returns the greater close-request timestamp as a bigint. */
+export function keepGreaterTimestamp(current, next) {
+    return keepGreater(current, BigInt(next));
+}
+/** Keeps local active-channel state in sync with authoritative on-chain reads. */
+export function mergeActiveOnChainState(current, state) {
+    return {
+        closeRequestedAt: keepGreaterTimestamp(current?.closeRequestedAt ?? 0n, state.closeRequestedAt),
+        deposit: keepGreater(current?.deposit ?? 0n, state.deposit),
+        settledOnChain: keepGreater(current?.settledOnChain ?? 0n, state.settled),
+    };
+}
+/** Keeps the existing higher voucher, otherwise stores the supplied candidate voucher. */
+export function resolveHighestVoucher(parameters) {
+    const { channelId, current, cumulativeAmount, signature } = parameters;
+    if (current?.highestVoucherAmount && current.highestVoucherAmount > cumulativeAmount) {
+        return {
+            highestVoucherAmount: current.highestVoucherAmount,
+            highestVoucher: current.highestVoucher,
+        };
+    }
+    return {
+        highestVoucherAmount: cumulativeAmount,
+        highestVoucher: { channelId, cumulativeAmount, signature },
+    };
+}
+/** Derives persisted identity fields from a verified precompile channel descriptor. */
+export function resolvePrecompileChannelIdentity(parameters) {
+    const { authorizedSigner, chainId, channelId, descriptor, escrow, expiringNonceHash } = parameters;
+    return {
+        authorizedSigner,
+        backend: 'precompile',
+        chainId,
+        channelId,
+        descriptor,
+        escrowContract: escrow,
+        expiringNonceHash,
+        operator: descriptor.operator,
+        payee: descriptor.payee,
+        payer: descriptor.payer,
+        salt: descriptor.salt,
+        token: descriptor.token,
+    };
+}
+/** Builds the persisted state for a verified precompile channel open. */
+export function openChannelState(parameters) {
+    const { authorizedSigner, chainId, channelId, current, descriptor, escrow, expiringNonceHash } = parameters;
+    const { state } = parameters;
+    const { cumulativeAmount, signature } = parameters;
+    const highestVoucher = resolveHighestVoucher({
+        channelId,
+        current,
+        cumulativeAmount,
+        signature,
+    });
+    const onChain = mergeActiveOnChainState(current, state);
+    return {
+        ...(current ?? {}),
+        ...resolvePrecompileChannelIdentity({
+            authorizedSigner,
+            chainId,
+            channelId,
+            descriptor,
+            escrow,
+            expiringNonceHash,
+        }),
+        closeRequestedAt: onChain.closeRequestedAt,
+        deposit: onChain.deposit,
+        settledOnChain: onChain.settledOnChain,
+        highestVoucherAmount: highestVoucher.highestVoucherAmount,
+        highestVoucher: highestVoucher.highestVoucher,
+        spent: keepGreater(current?.spent ?? 0n, state.settled),
+        units: current?.units ?? 0,
+        finalized: current?.finalized ?? false,
+        createdAt: current?.createdAt ?? new Date().toISOString(),
+    };
+}
+/** Merges top-up on-chain state into persisted channel state without decreasing monotonic fields. */
+export function topUpChannelState(parameters) {
+    const { current, state } = parameters;
+    if (!current)
+        return current;
+    return {
+        ...current,
+        ...mergeActiveOnChainState(current, state),
+    };
+}
+/** Merges an accepted voucher into persisted channel state after signature and on-chain checks pass. */
+export function acceptVoucherStateUpdate(parameters) {
+    const { channelState, current, voucher } = parameters;
+    if (!current)
+        throw new ChannelNotFoundError({ reason: 'channel not found' });
+    if (current.finalized)
+        throw new ChannelClosedError({ reason: 'channel is finalized' });
+    if (current.closeRequestedAt !== 0n)
+        throw new ChannelClosedError({ reason: 'channel has a pending close request' });
+    const onChain = mergeActiveOnChainState(current, channelState);
+    if (voucher.cumulativeAmount <= current.highestVoucherAmount) {
+        return { ...current, ...onChain };
+    }
+    return {
+        ...current,
+        ...onChain,
+        highestVoucherAmount: voucher.cumulativeAmount,
+        highestVoucher: voucher,
+    };
+}
+/**
+ * Resolves the close capture amount and validates it is covered by both the
+ * close voucher and current on-chain deposit.
+ */
+export function resolveCloseCaptureAmount(parameters) {
+    const { cumulativeAmount, onChainDeposit, onChainSettled, spent } = parameters;
+    if (cumulativeAmount < spent) {
+        throw new VerificationFailedError({
+            reason: `close voucher amount must be >= ${spent} (spent)`,
+        });
+    }
+    const captureAmount = uint96(spent > onChainSettled ? spent : onChainSettled);
+    if (captureAmount > cumulativeAmount) {
+        throw new VerificationFailedError({
+            reason: `close voucher amount must be >= ${captureAmount} (capture amount)`,
+        });
+    }
+    if (captureAmount > onChainDeposit) {
+        throw new AmountExceedsDepositError({
+            reason: 'close capture amount exceeds on-chain deposit',
+        });
+    }
+    return captureAmount;
+}
+/** Marks local channel state as pending close and returns the bounded capture amount. */
+export function markPendingClose(parameters) {
+    const { closeRequestedAt, cumulativeAmount, current, onChainSettled, onChainDeposit } = parameters;
+    if (!current)
+        return { captureAmount: 0n, state: null };
+    if (current.finalized)
+        throw new ChannelClosedError({ reason: 'channel is already finalized' });
+    if (current.closeRequestedAt !== 0n)
+        throw new ChannelClosedError({ reason: 'channel has a pending close request' });
+    const captureAmount = resolveCloseCaptureAmount({
+        cumulativeAmount,
+        onChainDeposit,
+        onChainSettled,
+        spent: current.spent,
+    });
+    return {
+        captureAmount,
+        state: { ...current, closeRequestedAt },
+    };
+}
+/** Finalizes local channel state after a successful close transaction. */
+export function finalizeClosedChannelState(parameters) {
+    const { captureAmount, channelId, cumulativeAmount, current, signature } = parameters;
+    if (!current)
+        return current;
+    const highestVoucher = resolveHighestVoucher({
+        channelId,
+        current,
+        cumulativeAmount,
+        signature,
+    });
+    return {
+        ...current,
+        finalized: true,
+        closeRequestedAt: 0n,
+        deposit: 0n,
+        settledOnChain: keepGreater(current.settledOnChain, captureAmount),
+        highestVoucherAmount: highestVoucher.highestVoucherAmount,
+        highestVoucher: highestVoucher.highestVoucher,
+    };
+}
+/** Loads a precompile-backed channel or throws a verification error. */
+export async function loadPrecompileChannel(parameters) {
+    const { channelId, chainId, descriptor, escrow, store } = parameters;
+    const channel = await store.getChannel(channelId);
+    if (!channel)
+        throw new ChannelNotFoundError({ reason: 'channel not found' });
+    if (!isPrecompileState(channel))
+        throw new VerificationFailedError({ reason: 'channel is not precompile-backed' });
+    assertSameDescriptor(descriptor, channel.descriptor);
+    if (parameters.validateDescriptor)
+        validateChannelDescriptor(descriptor, channelId, chainId, escrow, channel.payee, channel.token);
+    return channel;
+}
+/** Verifies a cumulative voucher and returns a session receipt after store reconciliation. */
+export async function verifyAndAcceptVoucher(parameters) {
+    const { store, minVoucherDelta, challenge, channel, voucher, channelState, methodDetails } = parameters;
+    validateChannelState(channelState);
+    if (voucher.cumulativeAmount > channelState.deposit)
+        throw new AmountExceedsDepositError({ reason: 'voucher amount exceeds on-chain deposit' });
+    if (voucher.cumulativeAmount < channel.highestVoucherAmount)
+        throw new VerificationFailedError({
+            reason: 'voucher cumulativeAmount must be strictly greater than highest accepted voucher',
+        });
+    const valid = await Voucher.verifyVoucher(methodDetails.escrowContract, methodDetails.chainId, voucher, channel.authorizedSigner);
+    if (!valid)
+        throw new InvalidSignatureError({ reason: 'invalid voucher signature' });
+    if (voucher.cumulativeAmount === channel.highestVoucherAmount)
+        return createSessionReceipt({
+            challengeId: challenge.id,
+            channelId: voucher.channelId,
+            acceptedCumulative: channel.highestVoucherAmount,
+            spent: channel.spent,
+            units: channel.units,
+        });
+    if (voucher.cumulativeAmount <= channelState.settled)
+        throw new VerificationFailedError({
+            reason: 'voucher cumulativeAmount is below on-chain settled amount',
+        });
+    const delta = voucher.cumulativeAmount - channel.highestVoucherAmount;
+    if (delta < minVoucherDelta)
+        throw new DeltaTooSmallError({
+            reason: `voucher delta ${delta} below minimum ${minVoucherDelta}`,
+        });
+    const updated = await store.updateChannel(voucher.channelId, (current) => acceptVoucherStateUpdate({ channelState, current, voucher }));
+    if (!updated)
+        throw new ChannelNotFoundError({ reason: 'channel not found' });
+    return createSessionReceipt({
+        challengeId: challenge.id,
+        channelId: voucher.channelId,
+        acceptedCumulative: updated.highestVoucherAmount,
+        spent: updated.spent,
+        units: updated.units,
+    });
+}
+/** Normalizes and validates 32-byte channel IDs before store lookup or persistence. */
+export function normalizeChannelId(channelId) {
+    if (!/^0x[0-9a-fA-F]{64}$/.test(channelId))
+        throw new Error('Invalid session channel ID.');
+    return channelId.toLowerCase();
+}
+function normalizeState(channelId, state) {
+    return state.channelId === channelId ? state : { ...state, channelId };
+}
+function normalizeMaybeState(channelId, state) {
+    return state ? normalizeState(channelId, state) : null;
+}
+/** Normalizes any stored channel value inside a store change. */
+function normalizeChange(channelId, change) {
+    if (change.op !== 'set')
+        return change;
+    return {
+        ...change,
+        value: normalizeState(channelId, change.value),
+    };
+}
+/**
+ * Wraps a generic {@link Store} into the internal {@link Store}
+ * interface used by server handlers and the SSE metering loop.
+ *
+ * Provides `waitForUpdate` notifications so the SSE `chargeOrWait` loop
+ * can wake up without polling.
+ *
+ * ## Atomicity
+ *
+ * Mutations use `get` → `fn` → `set` guarded by a per-key in-process
+ * mutex. This serializes concurrent `updateChannel` calls within a
+ * single JS runtime but does **not** protect against races across
+ * multiple processes or instances.
+ *
+ * Backends that need true atomicity (e.g., Durable Objects, D1)
+ * should implement {@link Store} directly.
+ */
+const storeCache = new WeakMap();
+/** Wraps a generic mppx store in the shared session channel-store interface. */
+export function fromStore(store) {
+    const cached = storeCache.get(store);
+    if (cached)
+        return cached;
+    const stateStore = store;
+    const atomicUpdate = stateStore.update;
+    const runtime = {
+        locks: new Map(),
+        waiters: new Map(),
+    };
+    function notify(channelId) {
+        const set = runtime.waiters.get(channelId);
+        if (!set)
+            return;
+        for (const resolve of set)
+            resolve();
+        runtime.waiters.delete(channelId);
+    }
+    async function update(channelId, fn) {
+        return updateResult(channelId, (current) => {
+            const next = fn(current);
+            if (next)
+                return { op: 'set', value: next, result: next };
+            return { op: 'delete', result: null };
+        });
+    }
+    async function updateResult(channelId, fn) {
+        const normalizedChannelId = normalizeChannelId(channelId);
+        let change;
+        if (atomicUpdate) {
+            const result = await atomicUpdate(normalizedChannelId, (current) => {
+                const normalizedCurrent = normalizeMaybeState(normalizedChannelId, current);
+                change = normalizeChange(normalizedChannelId, fn(normalizedCurrent));
+                return change;
+            });
+            if (change?.op !== 'noop')
+                notify(normalizedChannelId);
+            return result;
+        }
+        while (runtime.locks.has(normalizedChannelId))
+            await runtime.locks.get(normalizedChannelId);
+        let release;
+        runtime.locks.set(normalizedChannelId, new Promise((r) => {
+            release = r;
+        }));
+        try {
+            const current = normalizeMaybeState(normalizedChannelId, await stateStore.get(normalizedChannelId));
+            change = normalizeChange(normalizedChannelId, fn(current));
+            if (change.op === 'set') {
+                await stateStore.put(normalizedChannelId, change.value);
+            }
+            if (change.op === 'delete')
+                await stateStore.delete(normalizedChannelId);
+            if (change.op !== 'noop')
+                notify(normalizedChannelId);
+            return change.result;
+        }
+        finally {
+            runtime.locks.delete(normalizedChannelId);
+            release();
+        }
+    }
+    const cs = {
+        async getChannel(channelId) {
+            const normalizedChannelId = normalizeChannelId(channelId);
+            return normalizeMaybeState(normalizedChannelId, await stateStore.get(normalizedChannelId));
+        },
+        async updateChannel(channelId, fn) {
+            return update(channelId, fn);
+        },
+        waitForUpdate(channelId) {
+            return new Promise((resolve) => {
+                const normalizedChannelId = normalizeChannelId(channelId);
+                let set = runtime.waiters.get(normalizedChannelId);
+                if (!set) {
+                    set = new Set();
+                    runtime.waiters.set(normalizedChannelId, set);
+                }
+                set.add(resolve);
+            });
+        },
+    };
+    cs.updateChannelResult = updateResult;
+    storeCache.set(store, cs);
+    return cs;
+}
+/**
+ * Atomically deducts `amount` from a channel's available voucher balance.
+ *
+ * Returns `{ ok: true, channel }` with updated spend/unit counters when the
+ * deduction succeeds. Returns `{ ok: false, channel }` without mutating state
+ * when the channel exists but cannot currently be charged.
+ */
+export async function deductFromChannel(store, channelId, amount) {
+    if (store.updateChannelResult) {
+        const result = await store.updateChannelResult(channelId, (current) => planDeduction(current, amount));
+        if (!result)
+            throw new Error('channel not found');
+        return result;
+    }
+    let result = null;
+    const channel = await store.updateChannel(channelId, (current) => {
+        const change = planDeduction(current, amount);
+        result = change.result;
+        if (change.op === 'set')
+            return change.value;
+        return current;
+    });
+    if (!channel)
+        throw new Error('channel not found');
+    return result ?? { ok: false, channel };
+}
+function planDeduction(current, amount) {
+    if (!current)
+        return { op: 'noop', result: null };
+    if (current.finalized)
+        return { op: 'noop', result: { ok: false, channel: current } };
+    if (current.closeRequestedAt !== 0n)
+        return { op: 'noop', result: { ok: false, channel: current } };
+    if (current.highestVoucherAmount - current.spent < amount)
+        return { op: 'noop', result: { ok: false, channel: current } };
+    const next = { ...current, spent: current.spent + amount, units: current.units + 1 };
+    return { op: 'set', value: next, result: { ok: true, channel: next } };
+}
+//# sourceMappingURL=ChannelStore.js.map

package/dist/tempo/session/server/ChannelStore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ChannelStore.js","sourceRoot":"","sources":["../../../../src/tempo/session/server/ChannelStore.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,oBAAoB,CAAA;AAI3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAEhE,OAAO,EAAE,MAAM,EAAsB,MAAM,2BAA2B,CAAA;AACtE,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,6BAA6B,CAAA;AA6RpC,gFAAgF;AAChF,MAAM,UAAU,iBAAiB,CAAC,KAAY;IAC5C,OAAO,KAAK,CAAC,OAAO,KAAK,YAAY,CAAA;AACvC,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,IAAY;IACvD,OAAO,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAA;AACxC,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,oBAAoB,CAAC,OAAe,EAAE,IAAqB;IACzE,OAAO,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;AAC3C,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,uBAAuB,CACrC,OAA6D,EAC7D,KAA0B;IAE1B,OAAO;QACL,gBAAgB,EAAE,oBAAoB,CAAC,OAAO,EAAE,gBAAgB,IAAI,EAAE,EAAE,KAAK,CAAC,gBAAgB,CAAC;QAC/F,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC;QAC3D,cAAc,EAAE,WAAW,CAAC,OAAO,EAAE,cAAc,IAAI,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC;KAC1E,CAAA;AACH,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,qBAAqB,CAAC,UAAoC;IACxE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,UAAU,CAAA;IACtE,IAAI,OAAO,EAAE,oBAAoB,IAAI,OAAO,CAAC,oBAAoB,GAAG,gBAAgB,EAAE,CAAC;QACrF,OAAO;YACL,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;YAClD,cAAc,EAAE,OAAO,CAAC,cAAc;SACvC,CAAA;IACH,CAAC;IAED,OAAO;QACL,oBAAoB,EAAE,gBAAgB;QACtC,cAAc,EAAE,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE;KAC3D,CAAA;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,gCAAgC,CAC9C,UAAsD;IAEtD,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAAG,UAAU,CAAA;IAClG,OAAO;QACL,gBAAgB;QAChB,OAAO,EAAE,YAAY;QACrB,OAAO;QACP,SAAS;QACT,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,iBAAiB;QACjB,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAA;AACH,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,gBAAgB,CAAC,UAAsC;IACrE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE,GAC5F,UAAU,CAAA;IACZ,MAAM,EAAE,KAAK,EAAE,GAAG,UAAU,CAAA;IAC5B,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,UAAU,CAAA;IAClD,MAAM,cAAc,GAAG,qBAAqB,CAAC;QAC3C,SAAS;QACT,OAAO;QACP,gBAAgB;QAChB,SAAS;KACV,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACvD,OAAO;QACL,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;QAClB,GAAG,gCAAgC,CAAC;YAClC,gBAAgB;YAChB,OAAO;YACP,SAAS;YACT,UAAU;YACV,MAAM;YACN,iBAAiB;SAClB,CAAC;QACF,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,oBAAoB,EAAE,cAAc,CAAC,oBAAoB;QACzD,cAAc,EAAE,cAAc,CAAC,cAAc;QAC7C,KAAK,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC;QACvD,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC;QAC1B,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,KAAK;QACtC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAC1D,CAAA;AACH,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,iBAAiB,CAAC,UAAgC;IAChE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,UAAU,CAAA;IACrC,IAAI,CAAC,OAAO;QAAE,OAAO,OAAO,CAAA;IAC5B,OAAO;QACL,GAAG,OAAO;QACV,GAAG,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC;KAC3C,CAAA;AACH,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,wBAAwB,CAAC,UAA8C;IACrF,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,UAAU,CAAA;IACrD,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,oBAAoB,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAA;IAC7E,IAAI,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,kBAAkB,CAAC,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC,CAAA;IACvF,IAAI,OAAO,CAAC,gBAAgB,KAAK,EAAE;QACjC,MAAM,IAAI,kBAAkB,CAAC,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC,CAAA;IAEjF,MAAM,OAAO,GAAG,uBAAuB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IAE9D,IAAI,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;QAC7D,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,OAAO,EAAE,CAAA;IACnC,CAAC;IAED,OAAO;QACL,GAAG,OAAO;QACV,GAAG,OAAO;QACV,oBAAoB,EAAE,OAAO,CAAC,gBAAgB;QAC9C,cAAc,EAAE,OAAO;KACxB,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,UAA+C;IACvF,MAAM,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,UAAU,CAAA;IAC9E,IAAI,gBAAgB,GAAG,KAAK,EAAE,CAAC;QAC7B,MAAM,IAAI,uBAAuB,CAAC;YAChC,MAAM,EAAE,mCAAmC,KAAK,UAAU;SAC3D,CAAC,CAAA;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,CAAA;IAC7E,IAAI,aAAa,GAAG,gBAAgB,EAAE,CAAC;QACrC,MAAM,IAAI,uBAAuB,CAAC;YAChC,MAAM,EAAE,mCAAmC,aAAa,mBAAmB;SAC5E,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,aAAa,GAAG,cAAc,EAAE,CAAC;QACnC,MAAM,IAAI,yBAAyB,CAAC;YAClC,MAAM,EAAE,+CAA+C;SACxD,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,aAAa,CAAA;AACtB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,gBAAgB,CAAC,UAAsC;IACrE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,GAAG,UAAU,CAAA;IAClG,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,aAAa,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IACvD,IAAI,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,kBAAkB,CAAC,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC,CAAA;IAC/F,IAAI,OAAO,CAAC,gBAAgB,KAAK,EAAE;QACjC,MAAM,IAAI,kBAAkB,CAAC,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC,CAAA;IACjF,MAAM,aAAa,GAAG,yBAAyB,CAAC;QAC9C,gBAAgB;QAChB,cAAc;QACd,cAAc;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC,CAAA;IAEF,OAAO;QACL,aAAa;QACb,KAAK,EAAE,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE;KACxC,CAAA;AACH,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,0BAA0B,CACxC,UAA2C;IAE3C,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,UAAU,CAAA;IACrF,IAAI,CAAC,OAAO;QAAE,OAAO,OAAO,CAAA;IAC5B,MAAM,cAAc,GAAG,qBAAqB,CAAC;QAC3C,SAAS;QACT,OAAO;QACP,gBAAgB;QAChB,SAAS;KACV,CAAC,CAAA;IACF,OAAO;QACL,GAAG,OAAO;QACV,SAAS,EAAE,IAAI;QACf,gBAAgB,EAAE,EAAE;QACpB,OAAO,EAAE,EAAE;QACX,cAAc,EAAE,WAAW,CAAC,OAAO,CAAC,cAAc,EAAE,aAAa,CAAC;QAClE,oBAAoB,EAAE,cAAc,CAAC,oBAAoB;QACzD,cAAc,EAAE,cAAc,CAAC,cAAc;KAC9C,CAAA;AACH,CAAC;AAED,wEAAwE;AACxE,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,UAA2C;IAE3C,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,UAAU,CAAA;IACpE,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACjD,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,oBAAoB,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAA;IAC7E,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC7B,MAAM,IAAI,uBAAuB,CAAC,EAAE,MAAM,EAAE,kCAAkC,EAAE,CAAC,CAAA;IACnF,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;IACpD,IAAI,UAAU,CAAC,kBAAkB;QAC/B,yBAAyB,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IACjG,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,UAA4C;IAE5C,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,GACxF,UAAU,CAAA;IAEZ,oBAAoB,CAAC,YAAY,CAAC,CAAA;IAClC,IAAI,OAAO,CAAC,gBAAgB,GAAG,YAAY,CAAC,OAAO;QACjD,MAAM,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC,CAAA;IAC5F,IAAI,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,oBAAoB;QACzD,MAAM,IAAI,uBAAuB,CAAC;YAChC,MAAM,EAAE,iFAAiF;SAC1F,CAAC,CAAA;IACJ,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,aAAa,CACvC,aAAa,CAAC,cAAc,EAC5B,aAAa,CAAC,OAAO,EACrB,OAAO,EACP,OAAO,CAAC,gBAAgB,CACzB,CAAA;IACD,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,qBAAqB,CAAC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAA;IAEpF,IAAI,OAAO,CAAC,gBAAgB,KAAK,OAAO,CAAC,oBAAoB;QAC3D,OAAO,oBAAoB,CAAC;YAC1B,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,kBAAkB,EAAE,OAAO,CAAC,oBAAoB;YAChD,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC,CAAA;IACJ,IAAI,OAAO,CAAC,gBAAgB,IAAI,YAAY,CAAC,OAAO;QAClD,MAAM,IAAI,uBAAuB,CAAC;YAChC,MAAM,EAAE,2DAA2D;SACpE,CAAC,CAAA;IACJ,MAAM,KAAK,GAAG,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,oBAAoB,CAAA;IACrE,IAAI,KAAK,GAAG,eAAe;QACzB,MAAM,IAAI,kBAAkB,CAAC;YAC3B,MAAM,EAAE,iBAAiB,KAAK,kBAAkB,eAAe,EAAE;SAClE,CAAC,CAAA;IACJ,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CACvE,wBAAwB,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAC7D,CAAA;IACD,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,oBAAoB,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC,CAAA;IAC7E,OAAO,oBAAoB,CAAC;QAC1B,WAAW,EAAE,SAAS,CAAC,EAAE;QACzB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,kBAAkB,EAAE,OAAO,CAAC,oBAAoB;QAChD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC,CAAA;AACJ,CAAC;AAuDD,uFAAuF;AACvF,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAA;IAC1F,OAAO,SAAS,CAAC,WAAW,EAAS,CAAA;AACvC,CAAC;AAmBD,SAAS,cAAc,CAAC,SAAc,EAAE,KAAY;IAClD,OAAO,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,CAAA;AACxE,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAc,EAAE,KAAmB;IAC9D,OAAO,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AACxD,CAAC;AAED,iEAAiE;AACjE,SAAS,eAAe,CACtB,SAAc,EACd,MAAkC;IAElC,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK;QAAE,OAAO,MAAM,CAAA;IACtC,OAAO;QACL,GAAG,MAAM;QACT,KAAK,EAAE,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;KAC/C,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,GAAG,IAAI,OAAO,EAA6B,CAAA;AAE3D,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,KAAsC;IAC9D,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IAEzB,MAAM,UAAU,GAAG,KAAmB,CAAA;IACtC,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAA;IAEtC,MAAM,OAAO,GAAwB;QACnC,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,OAAO,EAAE,IAAI,GAAG,EAAE;KACnB,CAAA;IAED,SAAS,MAAM,CAAC,SAAiB;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC1C,IAAI,CAAC,GAAG;YAAE,OAAM;QAChB,KAAK,MAAM,OAAO,IAAI,GAAG;YAAE,OAAO,EAAE,CAAA;QACpC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACnC,CAAC;IAED,KAAK,UAAU,MAAM,CACnB,SAAc,EACd,EAA2C;QAE3C,OAAO,YAAY,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE;YACzC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAA;YACxB,IAAI,IAAI;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;YACzD,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;QACvC,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,UAAU,YAAY,CACzB,SAAc,EACd,EAA0D;QAE1D,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAA;QACzD,IAAI,MAA+C,CAAA;QAEnD,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,mBAAmB,EAAE,CAAC,OAAO,EAAE,EAAE;gBACjE,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,mBAAmB,EAAE,OAAO,CAAC,CAAA;gBAC3E,MAAM,GAAG,eAAe,CAAC,mBAAmB,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAA;gBACpE,OAAO,MAAM,CAAA;YACf,CAAC,CAAC,CAAA;YACF,IAAI,MAAM,EAAE,EAAE,KAAK,MAAM;gBAAE,MAAM,CAAC,mBAAmB,CAAC,CAAA;YACtD,OAAO,MAAM,CAAA;QACf,CAAC;QAED,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC;YAAE,MAAM,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;QAE3F,IAAI,OAAoB,CAAA;QACxB,OAAO,CAAC,KAAK,CAAC,GAAG,CACf,mBAAmB,EACnB,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE;YACtB,OAAO,GAAG,CAAC,CAAA;QACb,CAAC,CAAC,CACH,CAAA;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,mBAAmB,CACjC,mBAAmB,EACnB,MAAM,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAC1C,CAAA;YACD,MAAM,GAAG,eAAe,CAAC,mBAAmB,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAA;YAC1D,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBACxB,MAAM,UAAU,CAAC,GAAG,CAAC,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;YACzD,CAAC;YACD,IAAI,MAAM,CAAC,EAAE,KAAK,QAAQ;gBAAE,MAAM,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAA;YACxE,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM;gBAAE,MAAM,CAAC,mBAAmB,CAAC,CAAA;YACrD,OAAO,MAAM,CAAC,MAAM,CAAA;QACtB,CAAC;gBAAS,CAAC;YACT,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAA;YACzC,OAAO,EAAE,CAAA;QACX,CAAC;IACH,CAAC;IAED,MAAM,EAAE,GAAiB;QACvB,KAAK,CAAC,UAAU,CAAC,SAAS;YACxB,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAA;YACzD,OAAO,mBAAmB,CAAC,mBAAmB,EAAE,MAAM,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAA;QAC5F,CAAC;QACD,KAAK,CAAC,aAAa,CAAC,SAAS,EAAE,EAAE;YAC/B,OAAO,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;QAC9B,CAAC;QACD,aAAa,CAAC,SAAS;YACrB,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;gBACnC,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAA;gBACzD,IAAI,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;gBAClD,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,GAAG,GAAG,IAAI,GAAG,EAAE,CAAA;oBACf,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAA;gBAC/C,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAClB,CAAC,CAAC,CAAA;QACJ,CAAC;KACF,CAAA;IAED,EAAE,CAAC,mBAAmB,GAAG,YAAY,CAAA;IAErC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACzB,OAAO,EAAE,CAAA;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,KAAmB,EACnB,SAA6B,EAC7B,MAAc;IAEd,IAAI,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,mBAAmB,CAC5C,SAAS,EACT,CAAC,OAAO,EAAmB,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAC7D,CAAA;QACD,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAA;QACjD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,IAAI,MAAM,GAAwB,IAAI,CAAA;IACtC,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,aAAa,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE;QAC/D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QAC7C,MAAM,GAAG,MAAM,CAAC,MAAM,CAAA;QACtB,IAAI,MAAM,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,MAAM,CAAC,KAAK,CAAA;QAC5C,OAAO,OAAO,CAAA;IAChB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAA;IAClD,OAAO,MAAM,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;AACzC,CAAC;AAED,SAAS,aAAa,CAAC,OAAqB,EAAE,MAAc;IAC1D,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACjD,IAAI,OAAO,CAAC,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAA;IACrF,IAAI,OAAO,CAAC,gBAAgB,KAAK,EAAE;QACjC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAA;IAChE,IAAI,OAAO,CAAC,oBAAoB,GAAG,OAAO,CAAC,KAAK,GAAG,MAAM;QACvD,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAA;IAEhE,MAAM,IAAI,GAAG,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAA;IACpF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAA;AACxE,CAAC"}

package/dist/tempo/session/server/CredentialVerification.d.ts

@@ -0,0 +1,85 @@
+import { type Account as viem_Account, type Address, type Hex } from 'viem';
+import type * as Challenge from '../../../Challenge.js';
+import type * as FeePayer from '../../internal/fee-payer.js';
+import * as Chain from '../precompile/Chain.js';
+import * as Channel from '../precompile/Channel.js';
+import { type SessionCredentialPayload, type SessionReceipt } from '../precompile/Protocol.js';
+import * as ChannelStore from './ChannelStore.js';
+/** Returns the effective voucher signer for a TIP-1034 descriptor. */
+export declare function authorizedSigner(descriptor: Channel.ChannelDescriptor): Address;
+/** Asserts that a credential payload includes a TIP-1034 descriptor. */
+export declare function assertDescriptor(payload: {
+    descriptor?: Channel.ChannelDescriptor | undefined;
+}): asserts payload is {
+    descriptor: Channel.ChannelDescriptor;
+};
+/** Asserts that two TIP-1034 descriptors identify the same channel. */
+export declare function assertSameDescriptor(a: Channel.ChannelDescriptor, b: Channel.ChannelDescriptor): void;
+/**
+ * Validates a TIP-1034 descriptor against channel ID, server destination, and token.
+ */
+export declare function validateChannelDescriptor(descriptor: Channel.ChannelDescriptor, channelId: Address | `0x${string}`, chainId: number, escrow: Address, recipient: Address, currency: Address, expectedOperator?: Address | undefined): void;
+/** Validates on-chain channel state before accepting or charging a credential. */
+export declare function validateChannelState(state: Chain.ChannelState, amount?: bigint): void;
+/** Shared action and channel fields required on every session credential payload. */
+export type SessionCredentialPayloadHeader = {
+    /** Credential action discriminator. */
+    action: SessionCredentialPayload['action'];
+    /** Channel ID the credential acts on. */
+    channelId: Hex;
+};
+/** Validates the action discriminator for a TIP-1034 session credential payload. */
+export declare function requireSessionCredentialAction(payload: unknown): SessionCredentialPayload['action'];
+/** Validates the shared action and channel fields for a TIP-1034 session credential payload. */
+export declare function requireSessionCredentialPayloadHeader(payload: unknown): SessionCredentialPayloadHeader;
+/** Validates action-specific fields for a TIP-1034 session credential payload. */
+export declare function requireSessionCredentialPayload(payload: unknown): SessionCredentialPayload;
+/** Shared inputs required to verify a single precompile session credential payload. */
+export type VerifyCredentialPayloadParameters = {
+    /** Optional account override used for payee-side close settlement. */
+    account?: viem_Account | undefined;
+    /** Challenge echoed by the credential. */
+    challenge: Challenge.Challenge;
+    /** Milliseconds before voucher verification refreshes on-chain channel state. */
+    channelStateTtl: number;
+    /** Chain ID used for channel ID derivation and voucher domain separation. */
+    chainId: number;
+    /** viem client used for precompile reads and transaction broadcasts. */
+    client: Chain.TransactionClient;
+    /** TIP20EscrowChannel precompile address for this session method. */
+    escrow: Address;
+    /** Operator address advertised in the HMAC-bound challenge details. */
+    expectedOperator?: Address | undefined;
+    /** Optional fee-payer account for fee-sponsored management transactions. */
+    feePayer?: viem_Account | undefined;
+    /** Optional policy for fee-sponsored close/open/top-up transactions. */
+    feePayerPolicy?: Partial<FeePayer.Policy> | undefined;
+    /** Optional fee token override for close transactions. */
+    feeToken?: Address | undefined;
+    /** Last successful on-chain refresh timestamp per channel ID. */
+    lastOnChainVerified: Map<Hex, number>;
+    /** Minimum allowed voucher delta in raw units. */
+    minVoucherDelta: bigint;
+    /** Discriminated session credential payload to verify. */
+    payload: SessionCredentialPayload;
+    /** Server-side channel store. */
+    store: ChannelStore.ChannelStore;
+};
+/** Narrows shared credential verification inputs to one payload action. */
+export type VerifyCredentialActionParameters<action extends SessionCredentialPayload['action']> = Omit<VerifyCredentialPayloadParameters, 'payload'> & {
+    /** Credential payload for the selected action. */
+    payload: Extract<SessionCredentialPayload, {
+        action: action;
+    }>;
+};
+/** Inputs for verifying an open transaction credential and initial voucher. */
+export type OpenCredentialActionParameters = VerifyCredentialActionParameters<'open'>;
+/** Inputs for verifying a top-up transaction credential. */
+export type TopUpCredentialActionParameters = VerifyCredentialActionParameters<'topUp'>;
+/** Inputs for verifying and accepting an incremental voucher credential. */
+export type VoucherCredentialActionParameters = VerifyCredentialActionParameters<'voucher'>;
+/** Inputs for verifying and settling a cooperative close credential. */
+export type CloseCredentialActionParameters = VerifyCredentialActionParameters<'close'>;
+/** Verifies a session credential payload and applies the action-specific state transition. */
+export declare function verifyCredentialPayload(context: VerifyCredentialPayloadParameters): Promise<SessionReceipt>;
+//# sourceMappingURL=CredentialVerification.d.ts.map

package/dist/tempo/session/server/CredentialVerification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CredentialVerification.d.ts","sourceRoot":"","sources":["../../../../src/tempo/session/server/CredentialVerification.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,OAAO,IAAI,YAAY,EAC5B,KAAK,OAAO,EACZ,KAAK,GAAG,EACT,MAAM,MAAM,CAAA;AAEb,OAAO,KAAK,KAAK,SAAS,MAAM,uBAAuB,CAAA;AASvD,OAAO,KAAK,KAAK,QAAQ,MAAM,6BAA6B,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,wBAAwB,CAAA;AAE/C,OAAO,KAAK,OAAO,MAAM,0BAA0B,CAAA;AACnD,OAAO,EAIL,KAAK,wBAAwB,EAC7B,KAAK,cAAc,EACpB,MAAM,2BAA2B,CAAA;AAElC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AAIjD,sEAAsE;AACtE,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,iBAAiB,GAAG,OAAO,CAI/E;AAED,wEAAwE;AACxE,wBAAgB,gBAAgB,CAAC,OAAO,EAAE;IACxC,UAAU,CAAC,EAAE,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAA;CACnD,GAAG,OAAO,CAAC,OAAO,IAAI;IAAE,UAAU,EAAE,OAAO,CAAC,iBAAiB,CAAA;CAAE,CAK/D;AAED,uEAAuE;AACvE,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC,EAAE,OAAO,CAAC,iBAAiB,QAa9F;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,UAAU,EAAE,OAAO,CAAC,iBAAiB,EACrC,SAAS,EAAE,OAAO,GAAG,KAAK,MAAM,EAAE,EAClC,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,OAAO,EACf,SAAS,EAAE,OAAO,EAClB,QAAQ,EAAE,OAAO,EACjB,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,GACrC,IAAI,CAoBN;AAED,kFAAkF;AAClF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAYrF;AAUD,qFAAqF;AACrF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,uCAAuC;IACvC,MAAM,EAAE,wBAAwB,CAAC,QAAQ,CAAC,CAAA;IAC1C,yCAAyC;IACzC,SAAS,EAAE,GAAG,CAAA;CACf,CAAA;AAgFD,oFAAoF;AACpF,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,OAAO,GACf,wBAAwB,CAAC,QAAQ,CAAC,CAMpC;AAED,gGAAgG;AAChG,wBAAgB,qCAAqC,CACnD,OAAO,EAAE,OAAO,GACf,8BAA8B,CAEhC;AAED,kFAAkF;AAClF,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,OAAO,GAAG,wBAAwB,CA4C1F;AAOD,uFAAuF;AACvF,MAAM,MAAM,iCAAiC,GAAG;IAC9C,sEAAsE;IACtE,OAAO,CAAC,EAAE,YAAY,GAAG,SAAS,CAAA;IAClC,0CAA0C;IAC1C,SAAS,EAAE,SAAS,CAAC,SAAS,CAAA;IAC9B,iFAAiF;IACjF,eAAe,EAAE,MAAM,CAAA;IACvB,6EAA6E;IAC7E,OAAO,EAAE,MAAM,CAAA;IACf,wEAAwE;IACxE,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAA;IAC/B,qEAAqE;IACrE,MAAM,EAAE,OAAO,CAAA;IACf,uEAAuE;IACvE,gBAAgB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IACtC,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,YAAY,GAAG,SAAS,CAAA;IACnC,wEAAwE;IACxE,cAAc,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACrD,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAC9B,iEAAiE;IACjE,mBAAmB,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACrC,kDAAkD;IAClD,eAAe,EAAE,MAAM,CAAA;IACvB,0DAA0D;IAC1D,OAAO,EAAE,wBAAwB,CAAA;IACjC,iCAAiC;IACjC,KAAK,EAAE,YAAY,CAAC,YAAY,CAAA;CACjC,CAAA;AAED,2EAA2E;AAC3E,MAAM,MAAM,gCAAgC,CAAC,MAAM,SAAS,wBAAwB,CAAC,QAAQ,CAAC,IAC5F,IAAI,CAAC,iCAAiC,EAAE,SAAS,CAAC,GAAG;IACnD,kDAAkD;IAClD,OAAO,EAAE,OAAO,CAAC,wBAAwB,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAC/D,CAAA;AAEH,+EAA+E;AAC/E,MAAM,MAAM,8BAA8B,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAA;AAErF,4DAA4D;AAC5D,MAAM,MAAM,+BAA+B,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAA;AAEvF,4EAA4E;AAC5E,MAAM,MAAM,iCAAiC,GAAG,gCAAgC,CAAC,SAAS,CAAC,CAAA;AAE3F,wEAAwE;AACxE,MAAM,MAAM,+BAA+B,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAA;AASvF,8FAA8F;AAC9F,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,iCAAiC,GACzC,OAAO,CAAC,cAAc,CAAC,CAKzB"}