/**
 * 后端实现工程契约。
 *
 * 将 Controller 边界、DTO/校验、事务、幂等、安全、审计与契约对齐
 * 纳入编码前工作包和验证/交付阻断口径。
 */
export type BackendFindingCategory = "controller_boundary" | "dto_validation" | "model_lombok_contract" | "response_contract" | "pagination" | "transaction" | "idempotency" | "concurrency" | "security_tenant" | "audit" | "api_db_alignment";
export interface BackendImplementationFinding {
    category: BackendFindingCategory;
    severity: "hard_fail" | "warning" | "advisory";
    file: string;
    evidence: string;
    suggestion_zh: string;
}
export interface BackendImplementationWorkPackage {
    task_id: string;
    status: "required" | "satisfied" | "not_applicable";
    applicability_reason_zh: string;
    controller_contracts: string[];
    dto_and_validation: string[];
    transaction_and_consistency: string[];
    security_and_audit: string[];
    api_db_alignment: string[];
    tests_and_evidence: string[];
    not_applicable_reason?: string;
}
export interface BackendImplementationGateResult {
    applicable: boolean;
    allowed: boolean;
    status: "blocked" | "satisfied" | "not_applicable";
    reason_zh: string;
    work_package?: BackendImplementationWorkPackage;
}
export declare function requiresBackendImplementationContract(intent: string, route?: string, changedFiles?: string[]): boolean;
export declare function createBackendImplementationWorkPackage(taskId: string, intent: string): BackendImplementationWorkPackage;
export declare function evaluateBackendImplementationGate(input: {
    task_id: string;
    intent: string;
    route?: string;
    changed_files?: string[];
    work_package?: BackendImplementationWorkPackage;
}): BackendImplementationGateResult;
export declare function reviewBackendImplementationFiles(fileContents: Record<string, string>): BackendImplementationFinding[];
export declare function hasBlockingBackendFindings(findings: BackendImplementationFinding[]): boolean;
export declare function verifyBackendArtifactAlignment(input: {
    openapiText?: string;
    apiDocumentText?: string;
    migrationText?: string;
    sourceFiles?: Record<string, string>;
}): BackendImplementationFinding[];
//# sourceMappingURL=backend_implementation_contract.d.ts.map