import type { GuardContext, GuardRunResult } from '../types.js';
/**
 * Behavioural probe of the lease lifecycle.
 *
 * The previous version passed if one of four worktree/dispatch files mentioned
 * both "lease" and "release" — `worktree-lease.ts` satisfies that from its own
 * filename.
 *
 * Here the real pure module is driven: a fresh lease must be active, releasing
 * twice must be a no-op, a duplicate consumption must not append, an in-flight
 * lease must never be gc-eligible, and a persisted lease must survive a
 * serialize/deserialize round trip.
 */
export declare function runJ12Contract(ctx: GuardContext): Promise<GuardRunResult>;