import type { TaskContext } from "../../types/index.js";
import type { TaskContextManager } from "../../engine/pipeline/task_context.js";
import { type SideEffect } from "../../engine/contracts/tool_invocation_contract_registry.js";
import type { ArchitectureProjectContext } from "../../engine/contracts/architecture_decision_workshop.js";
export declare function checkWriteToolPlanGate(params: {
    ctx: TaskContext | null;
    toolName: string;
    sideEffects: SideEffect[];
}): {
    allowed: boolean;
    diagnostic_code?: string;
    violation_type?: string;
    reason?: string;
};
/**
 * 施工指令契约门 — 写操作前检查施工指令完整性。
 * 通过引擎模块函数真实消费。
 * 调用链 1: registerInstructionIssueCandidate（无契约时创建候选 draft）
 * 调用链 2: enforceInstructionBeforeImplementation → checkInstructionCompleteness → validateInstructionContract
 */
export declare function checkInstructionContractGate(params: {
    ctx: TaskContext | null;
    toolName: string;
    sideEffects: SideEffect[];
    task_id?: string;
    taskContextMgr?: TaskContextManager;
}): Promise<{
    allowed: boolean;
    diagnostic_code?: string;
    violation_type?: string;
    reason?: string;
    findings?: string[];
}>;
/**
 * 设计产物编码门 — 依赖设计包的任务，在真实复验完成前不得写入业务实现。
 * 仅阻断文件/配置/外部交付写入；任务状态、设计文档复验和讨论本身仍可推进。
 */
export declare function checkDesignArtifactWriteGate(params: {
    ctx: TaskContext | null;
    toolName: string;
    sideEffects: SideEffect[];
}): {
    allowed: boolean;
    diagnostic_code?: string;
    reason?: string;
};
/**
 * 架构设计门 — 架构设计类任务膨胀前执行 reviewArchitectureDesign。
 * Architecture Design Contract enforcement。
 */
export declare function checkArchitectureDesignGate(params: {
    ctx: TaskContext | null;
    route?: string;
}): Promise<{
    allowed: boolean;
    reason_zh?: string;
    findings?: string[];
}>;
/**
 * 架构决策研讨门 — 正式架构设计前六域决策必须闭合。
 * 与是否存在施工指令契约无关，架构设计路由必经此门。
 */
export declare function checkArchitectureDecisionWorkshopGate(params: {
    ctx: TaskContext;
    workflowIntent?: string;
    projectContext?: ArchitectureProjectContext;
}): Promise<{
    allowed: boolean;
    findings?: string[];
    next_domain?: string;
    contract?: unknown;
}>;
/**
 * 现有系统分析门 — 现有项目编码前必须先做分析。
 * Existing System Analysis Contract enforcement。
 */
export declare function checkExistingSystemAnalysisGate(params: {
    hasExistingCode: boolean;
    hasPackageJson: boolean;
    hasSrcDir: boolean;
    hasAnalysis: boolean;
    hasGapAnalysis: boolean;
}): Promise<{
    allowed: boolean;
    reason_zh?: string;
    missing_analysis?: string[];
}>;
/**
 * 编码就绪门 — 编码前必须有测试计划 + 验收标准。
 * Coding Readiness / Test-First enforcement。
 */
export declare function checkCodingReadinessGate(params: {
    ctx: TaskContext | null;
}): Promise<{
    allowed: boolean;
    reason_zh?: string;
    missing_preconditions?: string[];
}>;
/**
 * 本地验收门 — 前端/全栈交付前必须有本地访问证据。
 * Local Docker / Browser Acceptance enforcement。
 */
export declare function checkLocalAcceptanceGate(params: {
    ctx: TaskContext | null;
    hasFrontend: boolean;
    hasBackend: boolean;
    hasDockerCompose: boolean;
    hasDockerfile: boolean;
}): Promise<{
    allowed: boolean;
    reason_zh?: string;
    required_but_missing?: string[];
}>;
//# sourceMappingURL=gate_checks.d.ts.map