import type { BaselineAuthorization } from "../baseline-evidence/verify.js";
import { type EccComponentProvenance } from "./materialization-receipt.js";
import type { EccEffectiveSelectionComponent } from "./materialization-selection.js";
export interface EccVerifiedKiroFile {
    path: string;
    kind: "copy-file";
    contents: Buffer;
    contentAuthorization: BaselineAuthorization;
    contentSourcePath: string;
}
export interface EccVerifiedKiroComponent extends EccEffectiveSelectionComponent {
    files: EccVerifiedKiroFile[];
}
export interface EccVerifiedKiroMaterialization {
    components: EccVerifiedKiroComponent[];
}
export interface VerifiedKiroMaterializationProof {
    state: "valid";
    path: string;
    kind: "copy-file";
    contents: Buffer;
    contentAuthorization: BaselineAuthorization;
    contentSourcePath: string;
    componentId: string;
    selectedAuthorization: BaselineAuthorization;
    provenance: EccComponentProvenance;
}
export interface InvalidKiroMaterializationProof {
    state: "invalid";
}
/**
 * Runtime capability check for the generic engine boundary. It invokes no file
 * getters and returns fresh trusted copies from the private snapshot, so the
 * planner never consumes mutable caller fields after admission.
 */
export declare function verifiedKiroMaterializationProof(file: unknown, component: Pick<EccEffectiveSelectionComponent, "id" | "authorization" | "provenance">): VerifiedKiroMaterializationProof | InvalidKiroMaterializationProof | undefined;
export declare function kiroAgentMappingState(sourceRoot: string, id: string): "present" | "absent" | "unsafe";
/**
 * The semantic name Kiro assigns to a direct workspace agent definition.
 * JSON and Markdown are the two evidenced representations of that one name.
 * The lifecycle admits its exact owned pair and refuses any other sibling.
 */
export declare function kiroAgentSemanticIdentity(path: string): string | undefined;
export declare function foldedKiroProjectionCollision(paths: readonly string[]): {
    first: string;
    second: string;
} | undefined;
export declare function resolveVerifiedKiroMaterialization(request: unknown): EccVerifiedKiroMaterialization;