import type { FormalSpecVerificationResult } from './formalSpecVerifier.js';
export declare function loadFormalSpecVerifierConstraints(lang: 'en' | 'ja'): string;
/** System instruction for the provider that creates a fresh specification. */
export declare function buildFormalSpecGenerationSystemPrompt(lang: 'en' | 'ja'): string;
/** Prompt that asks the provider for a fresh, machine-readable specification. */
export declare function buildFormalSpecGenerationPrompt(lang: 'en' | 'ja', initialUserMessage?: string): string;
/** System instruction for the provider that explains deterministic results. */
export declare function buildFormalSpecInterpretationSystemPrompt(lang: 'en' | 'ja'): string;
/** Prompt that injects deterministic verifier output into the same provider session. */
export declare function buildFormalSpecInterpretationPrompt(result: FormalSpecVerificationResult, generatedResponse: string, lang: 'en' | 'ja'): string;
//# sourceMappingURL=formalSpecPrompts.d.ts.map