import type { GuardContext, GuardRunResult } from '../types.js';
/**
 * Behavioural probe of "doctor checks live under a code-driven fixed-registry
 * tree, and each openspec change is generated from a real doctor finding".
 *
 * The previous version listed doctor/audit/openspec files and passed if any of
 * them mentioned "doctor", "audit", "openspec" or "health" — `doctor-service.ts`
 * satisfies that from its own filename.
 *
 * The `checks/` directory is counted, not merely read: it must contain ONLY
 * check modules, because `PLUGINS.length === <its file count>` is the
 * invariant — a helper placed there reads as a check with no registered
 * plugin, which is how a pure hoist silently broke this gate.
 */
export declare function runJ11Contract(ctx: GuardContext): Promise<GuardRunResult>;