import { z } from "zod";
import type { Cli } from "../internals/clis.js";
import type { EccComponentId, EccComponentSelection, EccMcpComponentId } from "./components.js";
import { type EccManifestOperation } from "./materialize.js";
import { type RegistrationLedger, type RegistrationUnion } from "./registration.js";
export type EccProjectStatus = "live" | "missing";
export interface EccLedgerReconciliation {
    prior: RegistrationLedger;
    ledger: RegistrationLedger;
    desired: RegistrationUnion;
    retiredProjects: string[];
    full: boolean;
    removedComponents: EccComponentId[];
    removedMcps: EccMcpComponentId[];
}
export interface EccReconciliationOptions {
    projectStatus?: (root: string) => EccProjectStatus;
    droppedTargets?: readonly Cli[];
}
export interface EccInstallStateCandidate {
    target: Cli;
    scope: "home" | "project";
    root: string;
    statePath: string;
    projectRoot?: string;
}
declare const EccInstallOperationSchema: z.ZodObject<{
    kind: z.ZodString;
    moduleId: z.ZodString;
    sourceRelativePath: z.ZodString;
    destinationPath: z.ZodString;
    strategy: z.ZodString;
    ownership: z.ZodString;
    scaffoldOnly: z.ZodBoolean;
}, z.core.$loose>;
declare const EccInstallStateSchema: z.ZodObject<{
    schemaVersion: z.ZodLiteral<"ecc.install.v1">;
    installedAt: z.ZodString;
    lastValidatedAt: z.ZodOptional<z.ZodString>;
    target: z.ZodObject<{
        id: z.ZodString;
        target: z.ZodOptional<z.ZodString>;
        kind: z.ZodOptional<z.ZodEnum<{
            home: "home";
            project: "project";
        }>>;
        root: z.ZodString;
        installStatePath: z.ZodString;
    }, z.core.$strict>;
    request: z.ZodObject<{
        profile: z.ZodNullable<z.ZodString>;
        modules: z.ZodArray<z.ZodString>;
        includeComponents: z.ZodArray<z.ZodString>;
        excludeComponents: z.ZodArray<z.ZodString>;
        legacyLanguages: z.ZodArray<z.ZodString>;
        legacyMode: z.ZodBoolean;
    }, z.core.$strict>;
    resolution: z.ZodObject<{
        selectedModules: z.ZodArray<z.ZodString>;
        skippedModules: z.ZodArray<z.ZodString>;
    }, z.core.$strict>;
    source: z.ZodObject<{
        repoVersion: z.ZodNullable<z.ZodString>;
        repoCommit: z.ZodNullable<z.ZodString>;
        manifestVersion: z.ZodNumber;
    }, z.core.$strict>;
    operations: z.ZodArray<z.ZodObject<{
        kind: z.ZodString;
        moduleId: z.ZodString;
        sourceRelativePath: z.ZodString;
        destinationPath: z.ZodString;
        strategy: z.ZodString;
        ownership: z.ZodString;
        scaffoldOnly: z.ZodBoolean;
    }, z.core.$loose>>;
}, z.core.$strict>;
export type EccInstallOperation = z.infer<typeof EccInstallOperationSchema> & EccManifestOperation;
export type EccInstallState = z.infer<typeof EccInstallStateSchema> & {
    operations: EccInstallOperation[];
};
export interface EccInstallStateReconciliation {
    state: EccInstallState;
    kept: EccInstallOperation[];
    removed: EccInstallOperation[];
    nextText: string;
}
export declare function reconcileEccRegistrationLedger(ledger: RegistrationLedger, options?: EccReconciliationOptions): EccLedgerReconciliation;
export declare function eccInstallStateCandidates(home: string, reconciliation: EccLedgerReconciliation): EccInstallStateCandidate[];
export declare function parseEccInstallState(text: string, statePath: string): EccInstallState;
export declare function reconcileEccInstallState(state: EccInstallState, selection: EccComponentSelection): EccInstallStateReconciliation;
export {};