/**
 * Build a deterministic WiringContract from compiled IR.
 * Only emits metadata that is statically provable — never invents semantics.
 */
import type { IR, IRParameter } from '../../ir.js';
import type { WiringContract, WiringProjectionOptions } from './types.js';
export declare function buildWiringContract(ir: IR, options?: WiringProjectionOptions): WiringContract;
/** Exported for bindings generator — same TS mapping. */
export declare function parameterTsType(param: IRParameter, ir: IR, dateAsString?: boolean): string;
//# sourceMappingURL=contract-builder.d.ts.map