import type { GuardContext, GuardRunResult } from '../types.js';
/**
 * Behavioural probe: drive `auditGoal()` with a complete and an incomplete
 * payload and assert it accepts exactly one of them. Counting `dimension`
 * occurrences in the source would have passed even if the six-element guard
 * were replaced by a comment.
 */
export declare function runJ04Contract(ctx: GuardContext): Promise<GuardRunResult>;