import type { MatrixCell } from "../../../schema/src/records/context.js";
import type { LayoutCellEvidence, LayoutViolationFact, TransitionCheckpointKind } from "./types.js";
export declare function performanceContractProofMet(cell: MatrixCell): boolean;
export declare function skeletonContractProofMet(cell: MatrixCell): boolean;
export declare function transitionContractProofMet(cell: MatrixCell): boolean;
export declare function detectAggregateCls(evidence: LayoutCellEvidence): LayoutViolationFact[];
export declare function detectSkeletonSettledDiff(evidence: LayoutCellEvidence): LayoutViolationFact[];
export declare function detectActionCheckpointViolations(evidence: LayoutCellEvidence): LayoutViolationFact[];
export declare function detectTransitionCheckpoint(evidence: LayoutCellEvidence, kind: TransitionCheckpointKind): LayoutViolationFact[];
//# sourceMappingURL=detect.d.ts.map