/**
 * `weft.system.lease` operation + REST binding.
 *
 * Returns the serving engine process's last-known ownership-lease state. This
 * is deliberately separate from anonymous `GET /v1/health`: load balancers need
 * a stable liveness probe, while holder identifiers and fencing state are scoped
 * operator diagnostics that require `system:read`.
 *
 * @module server/operations/get-system-lease
 */
import { z } from 'zod';
import { type EngineLeaseHealth } from '../../core/engine.ts';
import type { UnknownRestBinding } from '../rest-bindings.ts';
declare const getSystemLeaseInput: z.ZodObject<{}, z.core.$strip>;
export type GetSystemLeaseInput = z.infer<typeof getSystemLeaseInput>;
export type GetSystemLeaseOutput = EngineLeaseHealth;
export declare const getSystemLeaseOperation: import("../operation-catalog.ts").OperationDefinition<Record<string, never>, EngineLeaseHealth, unknown>;
export declare const getSystemLeaseRestBinding: UnknownRestBinding;
export {};