import type { CapabilityRegistry } from "../types/index.js";
import type { StateReader } from "./types.js";
export type SemanticAssertion = {
    id: string;
    text: string;
    invariant: string;
    status: "PASS" | "FAIL" | "WARN";
    detail: string;
};
export type SemanticVerificationResult = {
    passed: boolean;
    assertions: SemanticAssertion[];
};
export declare class SemanticVerifier {
    private reader;
    private capabilityRegistry;
    constructor(reader: StateReader, capabilityRegistry: CapabilityRegistry);
    verify(state: {
        workItems?: Record<string, unknown>;
        expeditions?: Record<string, unknown>;
        objectives?: Record<string, unknown>;
    }): Promise<SemanticVerificationResult>;
    private _checkCanonicalEntities;
    private _checkReplayable;
    private _checkLifecycles;
    private _checkPlanningIndependence;
    private _checkProjectionOrigin;
    private _checkLanguageAuthority;
    private _checkExecutionBelowPlanning;
}