import type { CompiledDeliveryContractV2, DeliveryContractV2, NextAuthorityMaterialsV2, SourceClaimV2 } from "./long-task-delivery-types.js";
export interface AuthorityMaterialRevisionDiffV2 {
    product_semantics_changed: string[];
    global_semantics_changed: string[];
    source_files_added: string[];
    source_files_removed: string[];
    source_files_changed: string[];
    context_snapshot_mode_changed: boolean;
    context_topology_changed: boolean;
    context_files_added: string[];
    context_files_removed: string[];
    context_files_changed: string[];
    reduction_reasons: string[];
}
export declare function authorityMaterialRevisionDiff(previous: CompiledDeliveryContractV2, nextMaterials: NextAuthorityMaterialsV2): AuthorityMaterialRevisionDiffV2;
export declare function sourceClaimAdditions(beforeClaims: SourceClaimV2[], afterClaims: SourceClaimV2[]): string[];
export declare function changedProductClaimSemantics(previous: CompiledDeliveryContractV2, next: DeliveryContractV2): string[];