import { type Posture } from "../config/posture.js";
import type { CommandSpec } from "../internals/plan.js";
import type { Check } from "../internals/verify.js";
import { type ProjectContract } from "./schema.js";
/**
 * The portable-paths invariant as a verification {@link Check}: every path-like value
 * in the contract must be a portable repo-relative POSIX path. Clean contracts pass;
 * non-portable paths are posture-graded (`vibe` warning-only, `enterprise`
 * fail with `contract.path-unportable`).
 */
export declare function portablePathsCheck(contract: ProjectContract, posture: Posture): Check;
export declare const command: CommandSpec;