import type { GuardContext, GuardRunResult } from '../types.js';
/**
 * Behavioural probe of the "no silent-catch / fake-green reintroduced"
 * invariant.
 *
 * The previous version read `final-review-types.ts` and asserted it contained
 * four dimension strings — a file whose own name is `final-review`, so the
 * check restated its filename.
 *
 * Here the repository's own AST guard (`scripts/lint/silent-warning-detector.mjs`)
 * is executed and its per-rule violation counts are compared against the frozen
 * ceilings. A newly swallowed `catch` in `src/**` raises a count and reddens the
 * journey.
 */
export declare function runJ03Contract(ctx: GuardContext): Promise<GuardRunResult>;