import type { DeliveryContractV2 } from "./long-task-delivery-types.js";
import type { SemanticFactRevisionIdentityV1 } from "./semantic-fact-compact-carrier.js";
export declare function compactClaimProjection(outcomeRef: string, kind: "requirement" | "obligation" | "forbidden_shortcut" | "non_completing_outcome", row: {
    key: string;
    statement: string;
    applicability_refs: string[];
    required_proof_surfaces?: string[];
}, claimsByStatement: Map<string, string>): Record<string, unknown>;
export declare function compactAssertionProjection(outcomeRef: string, checkRef: string, position: number, assertion: Record<string, unknown>, claimsByStatement: Map<string, string>, facts: Map<string, string>): Record<string, unknown> | null;
export declare function compactRevisionMap(rows: SemanticFactRevisionIdentityV1[], label: string): Map<string, string>;
export declare function compactUniqueClaimStatements(claims: DeliveryContractV2["source_claims"]): Map<string, string>;
export declare function assertSameCompactKeys(left: string[], right: string[], label: string): void;