import type { MachineDef, MachineEstimate, ResolvedMachineDef } from "./dsl.js";
export declare const HARD_TS_STATE_CAP = 100000n;
export declare const HARD_TS_BRANCHING_CAP = 10000n;
export declare const estimateMachine: (machine: MachineDef, tierName?: string) => MachineEstimate;
export declare const resolveMachine: (machine: MachineDef, tierName?: string) => ResolvedMachineDef;
export declare const assertWithinBudgets: (estimate: MachineEstimate) => void;
export declare const assertSafeForGraphEquivalence: (machine: ResolvedMachineDef) => void;
export declare const formatEstimate: (estimate: MachineEstimate) => string;
export declare const NULL_VALUE = "__NULL__";