export type RuntimeHealthCheckBoundary = "input" | "contract" | "governance" | "runtime-state" | "surface" | "module" | "dependency" | "scope";
export type RuntimeHealthStatus = "healthy" | "degraded" | "unhealthy";
export type RuntimeHealthSeverity = "warning" | "critical";
export type RuntimeHealthCheckErrorCode = "MISSING_RUNTIME_ID" | "RUNTIME_NOT_READY" | "EMPTY_HEALTH_INPUT" | "UNSAFE_HEALTH_CHECK_REJECTED" | "CONTRACT_REJECTED" | "GOVERNANCE_REJECTED" | "SCOPE_DENIED";
export type RuntimeHealthCheckGate = {
    accepted: boolean;
    reason?: string;
};
export type RuntimeHealthSignal = {
    signalId?: string;
    healthy?: boolean;
    required?: boolean;
    severity?: RuntimeHealthSeverity;
    message?: string;
};
export type RuntimeHealthCheckRequest = {
    runtimeId?: string;
    runtimeReady?: boolean;
    dryRun?: boolean;
    surfaces?: readonly RuntimeHealthSignal[];
    modules?: readonly RuntimeHealthSignal[];
    dependencies?: readonly RuntimeHealthSignal[];
    requestedScopes?: readonly string[];
    allowedScopes?: readonly string[];
    contract?: RuntimeHealthCheckGate;
    governance?: RuntimeHealthCheckGate;
    checkedAt?: string;
};
export type RuntimeHealthIssue = {
    signalId: string;
    boundary: Extract<RuntimeHealthCheckBoundary, "surface" | "module" | "dependency">;
    severity: RuntimeHealthSeverity;
    required: boolean;
    message: string;
};
export type RuntimeHealthSnapshot = {
    runtimeId: string;
    status: RuntimeHealthStatus;
    healthy: boolean;
    healthSurface: "runtime.healthCheck";
    checkedSurfaces: readonly string[];
    checkedModules: readonly string[];
    checkedDependencies: readonly string[];
    issues: readonly RuntimeHealthIssue[];
    acceptedScopes: readonly string[];
    checkedAt: string;
    dryRun: true;
    auditOnly: true;
    contractChecked: true;
    governanceChecked: true;
    unsafeSideEffects: false;
};
export type RuntimeHealthCheckError = {
    code: RuntimeHealthCheckErrorCode;
    message: string;
    boundary: RuntimeHealthCheckBoundary;
    safeForRuntimeInspection: true;
    internalDetailExposed: false;
};
export type RuntimeHealthCheckResult = {
    ok: true;
    health: RuntimeHealthSnapshot;
    events: readonly string[];
} | {
    ok: false;
    error: RuntimeHealthCheckError;
    events: readonly string[];
};
export declare const runtimeHealthCheckDescriptor: {
    readonly surface: "runtime";
    readonly capability: "runtimeHealthCheck";
    readonly purpose: "aggregate readonly runtime health signals for applications, official modules, and inspection/debug surfaces";
    readonly unsafeSideEffects: false;
};
export declare function checkRuntimeHealth(request?: RuntimeHealthCheckRequest): RuntimeHealthCheckResult;
