export declare const IMPLEMENTATION_CONTRACT_SECTION = "Implementation Contract";
export declare const IMPLEMENTATION_CONTRACT_SUBSECTIONS: readonly ["User Outcome", "Behavior Contract", "File-Level Work Plan", "Acceptance-To-Verification Map", "Edge Cases And Failure Modes", "Non-Goals And Forbidden Approaches", "Verification Commands"];
export declare function hasImplementationContract(specBody: string): boolean;
export declare function extractTopLevelSection(body: string, sectionName: string): string;
//# sourceMappingURL=common.d.ts.map