import type { DB } from '../db/namespace.js';
import type { CrossingResult, GateCrossingResult, GateDefinition, SupplyDefinition } from './types.js';
/**
 * Execute a handoff crossing with idempotency and provenance, on the caller's
 * transaction. If the supply declares an idempotency key and a `crossed` row
 * already exists for it, the crossing is skipped — its effect already landed.
 * Otherwise the crossing runs and its outcome is appended to the ledger
 * atomically with it.
 */
export declare function executeSupplyCrossing<TSource, TPayload>(definition: SupplyDefinition<TSource, TPayload>, source: TSource, tx: DB): Promise<CrossingResult>;
/**
 * Execute a transition-gate crossing with provenance. Each fanned-out crossing
 * — crossed, held, or failed — is appended to the ledger as its own row, on the
 * caller's transaction.
 */
export declare function executeGateCrossing<TEvent>(definition: GateDefinition<TEvent>, event: TEvent, context: Readonly<Record<string, unknown>>, tx: DB): Promise<readonly GateCrossingResult[]>;
//# sourceMappingURL=execute-crossing.d.ts.map