/**
 * Ledger Registrar (Task 4)
 *
 * Registers a compiled rule into the principle tree ledger:
 * 1. Creates a LedgerRule with type 'gate', enforcement 'block', status 'proposed'
 * 2. Creates an Implementation with type 'code', lifecycleState 'active'
 *
 * IDEMPOTENCY: If the rule already exists, returns existing registration.
 * ROLLBACK: If implementation creation fails after rule creation, attempts cleanup.
 */
export interface RegisterInput {
    principleId: string;
    codeContent: string;
    coversCondition: string;
}
export interface RegisterResult {
    success: boolean;
    ruleId: string;
    implementationId: string;
    codePath: string;
}
/**
 * Register a compiled rule for a principle in the ledger.
 *
 * Idempotent: if rule already exists, returns existing registration.
 * Atomic: if implementation creation fails, rolls back the rule.
 */
export declare function registerCompiledRule(stateDir: string, input: RegisterInput): RegisterResult;