/**
 * 门禁检查模块 — Phase 16: 工作流导航契约行为验证（问题六十五）。
 */
import type { GateContext, HardFailCallback, InfoCallback } from "./types.js";
export declare function check(ctx: GateContext, hardFail: HardFailCallback, info?: InfoCallback): Promise<void>;
//# sourceMappingURL=checkWorkflowNavigation.d.ts.map