import type { GuardContext, GuardRunResult } from '../types.js';
/**
 * Behavioural probe of the fixed coverage-summary discovery order.
 *
 * The previous version listed three openspec files and passed if any of them
 * mentioned "Capability Mapping" AND "coverage" — the string "coverage" appears
 * in `coverage-evidence-reader.ts` from its own filename.
 *
 * Here the real resolver is driven against a tmp project where BOTH candidate
 * files exist, then only the second, then neither. Only a resolver that honours
 * the documented order can produce `coverage/` → `openspec/` → missing.
 */
export declare function runJ15Contract(ctx: GuardContext): Promise<GuardRunResult>;