/** Execution phase — each step in the contract pipeline */
export type ExecutionPhase = "VALIDATE" | "POLICY_CHECK" | "RESOLVE_CAPABILITY" | "EXECUTE_DOMAIN" | "MUTATE_EXTERNAL" | "EMIT_EVENTS" | "PERSIST_EVENTS" | "REBUILD_STATE" | "COMMIT_TRANSACTION" | "LIFECYCLE_CONTINUATION";
/** Phase result — output of a single contract step */
export type PhaseResult<T = unknown> = {
    phase: ExecutionPhase;
    passed: boolean;
    output?: T;
    error?: string;
    durationMs: number;
};
/** Full execution contract record */
export type ExecutionContract = {
    transactionId: string;
    startedAt: number;
    phases: PhaseResult[];
    finalState: "COMMITTED" | "ROLLEDBACK" | "REJECTED";
};
/** Contract violation — when a step fails */
export declare class ContractViolation extends Error {
    readonly phase: ExecutionPhase;
    readonly contract: ExecutionContract;
    constructor(phase: ExecutionPhase, message: string, contract: ExecutionContract);
}
/** The deterministic contract steps, in strict order */
export declare const CONTRACT_STEPS: ExecutionPhase[];
/** Validate that all required steps are present and in order */
export declare function validateContract(contract: ExecutionContract): boolean;
/** Check if a contract was fully satisfied */
export declare function isContractSatisfied(contract: ExecutionContract): boolean;