export type TrajectoryState = "planned" | "writable" | "written" | "passing" | "blocked" | "skipped" | "unknown";
export type TrajectoryKind = "example" | "property" | "contract" | "approval" | "formal";
export type TrajectoryScope = "unit" | "integration" | "e2e";
export interface TrajectoryRow {
    id: string;
    asserts: string;
    writableAt: number;
    passesAt: number;
    state: TrajectoryState;
    kind?: TrajectoryKind;
    scope?: TrajectoryScope;
}
export interface DeferredRow {
    name: string;
    reason: string;
    wouldRequire: string;
    mitigation: string;
}
export interface Trajectory {
    rows: TrajectoryRow[];
    deferred: DeferredRow[];
    present: boolean;
}
/**
 * Parse a Test Trajectory from an impl.md body (the content after the
 * frontmatter). Returns an empty trajectory with `present: false` when the
 * `## Test Trajectory` section is absent. Never throws — errors are surfaced
 * by the validator, not the parser.
 */
export declare function parseTrajectory(body: string): Trajectory;
