@cleocode/contracts 2026.6.12 → 2026.6.13

package/dist/lease-ipc/messages.d.ts

@@ -0,0 +1,754 @@
+/**
+ * `lease-ipc` v1.1 — PARALLEL message contract (Zod schemas) for the
+ * DbWriterLease IPC surface (T11627 ST-1).
+ *
+ * This is the byte-for-byte TypeScript mirror of the Rust serde types in
+ * `crates/cleo-supervisor/src/lease_ipc.rs`. The wire format is newline-delimited
+ * JSON (NDJSON): one {@link LeaseIpcEnvelope} per line — identical framing to the
+ * frozen `supervisor-ipc` v1.0 envelope, only the version string
+ * ({@link LEASE_IPC_PROTOCOL_VERSION}) and the inner union differ.
+ *
+ * Wire-shape contract (snake_case keys — matches serde defaults):
+ *
+ * ```jsonc
+ * // request
+ * { "protocol_version": "1.1.0", "id": "abc", "direction": "request",
+ *   "request": { "kind": "lease_acquire", "scope": "project", "lane": "tasks",
+ *                "holder_id": "pid-42:tasks", "priority": 0, "ttl_ms": 30000,
+ *                "reentrant": true } }
+ * // response
+ * { "protocol_version": "1.1.0", "id": "abc", "direction": "response",
+ *   "response": { "kind": "lease_granted", "scope": "project", "lane": "tasks",
+ *                 "holder_id": "pid-42:tasks", "epoch": 7, "ttl_ms": 30000,
+ *                 "expires_at_ms": 1000030000 } }
+ * ```
+ *
+ * Staged delivery: every kind is *declared* so the protocol freeze is stable,
+ * but `rate_check` / `tool_grant` handlers are deferred (return
+ * `E_LEASE_UNIMPLEMENTED`) until a follow-up task. This module (ST-1) ships the
+ * protocol surface with **no consumer** — zero behavior change.
+ *
+ * @task T11627
+ * @packageDocumentation
+ */
+import { z } from 'zod';
+/**
+ * The cleo.db scope a lease is arbitrated within. Mirrors `DbScope` in Rust.
+ *
+ * Under the dual-cleo.db split, a `project` lease lives inside the project's
+ * `cleo.db` and a `global` lease inside the global `cleo.db` — different files,
+ * so they never serialize against each other (AC2).
+ */
+export declare const LeaseScopeSchema: z.ZodEnum<{
+    project: "project";
+    global: "global";
+}>;
+/** The cleo.db scope a lease is arbitrated within (inferred). */
+export type LeaseScope = z.infer<typeof LeaseScopeSchema>;
+/**
+ * The write lane a lease arbitrates within a single scope file. Mirrors
+ * `LeaseLane` in Rust.
+ *
+ * - `tasks` — the primary task-chokepoint write lane.
+ * - `brain` — the BRAIN memory write lane (gated separately — AC4).
+ * - `bulk`  — the bulk / bypass-writer lane (conduit, telemetry, nexus graph).
+ */
+export declare const LeaseLaneSchema: z.ZodEnum<{
+    tasks: "tasks";
+    brain: "brain";
+    bulk: "bulk";
+}>;
+/** The write lane a lease arbitrates within a scope (inferred). */
+export type LeaseLane = z.infer<typeof LeaseLaneSchema>;
+/**
+ * Acquire (or re-enter) the writer lease for a (scope, lane). Mirrors
+ * `LeaseAcquireReq`. `[v1 core]`
+ */
+export declare const LeaseAcquireRequestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_acquire">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    priority: z.ZodNumber;
+    ttl_ms: z.ZodNumber;
+    reentrant: z.ZodBoolean;
+}, z.core.$strict>;
+/** Acquire request payload (inferred from {@link LeaseAcquireRequestSchema}). */
+export type LeaseAcquireRequest = z.infer<typeof LeaseAcquireRequestSchema>;
+/**
+ * Release the held writer lease. Mirrors `LeaseReleaseReq`. `[v1 core]`
+ */
+export declare const LeaseReleaseRequestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_release">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    epoch: z.ZodNumber;
+}, z.core.$strict>;
+/** Release request payload (inferred from {@link LeaseReleaseRequestSchema}). */
+export type LeaseReleaseRequest = z.infer<typeof LeaseReleaseRequestSchema>;
+/**
+ * Heartbeat / renew the held lease's TTL. Mirrors `LeaseRenewReq`. `[v1 core]`
+ */
+export declare const LeaseRenewRequestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_renew">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    epoch: z.ZodNumber;
+}, z.core.$strict>;
+/** Renew request payload (inferred from {@link LeaseRenewRequestSchema}). */
+export type LeaseRenewRequest = z.infer<typeof LeaseRenewRequestSchema>;
+/**
+ * Check the per-scope write rate budget. Mirrors `RateCheckReq`.
+ * `[declared; handler deferred — returns E_LEASE_UNIMPLEMENTED]`
+ */
+export declare const RateCheckRequestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"rate_check">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    est_bytes: z.ZodNumber;
+}, z.core.$strict>;
+/** Rate-check request payload (inferred from {@link RateCheckRequestSchema}). */
+export type RateCheckRequest = z.infer<typeof RateCheckRequestSchema>;
+/**
+ * Request a tool-use grant. Mirrors `ToolGrantReq`.
+ * `[declared; handler deferred — returns E_LEASE_UNIMPLEMENTED]`
+ */
+export declare const ToolGrantRequestSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"tool_grant">;
+    tool: z.ZodString;
+    holder_id: z.ZodString;
+}, z.core.$strict>;
+/** Tool-grant request payload (inferred from {@link ToolGrantRequestSchema}). */
+export type ToolGrantRequest = z.infer<typeof ToolGrantRequestSchema>;
+/**
+ * The discriminated union of all client → arbiter lease requests. The `kind`
+ * field selects the variant, matching the serde `#[serde(tag = "kind")]`
+ * tagging on the Rust `LeaseRequest` enum.
+ */
+export declare const LeaseIpcRequestSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"lease_acquire">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    priority: z.ZodNumber;
+    ttl_ms: z.ZodNumber;
+    reentrant: z.ZodBoolean;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"lease_release">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    epoch: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"lease_renew">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    epoch: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"rate_check">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    est_bytes: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tool_grant">;
+    tool: z.ZodString;
+    holder_id: z.ZodString;
+}, z.core.$strict>], "kind">;
+/** Any lease IPC request (inferred from {@link LeaseIpcRequestSchema}). */
+export type LeaseIpcRequest = z.infer<typeof LeaseIpcRequestSchema>;
+/**
+ * The lease was granted to the caller. Mirrors `LeaseGranted`.
+ */
+export declare const LeaseGrantedResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_granted">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    epoch: z.ZodNumber;
+    ttl_ms: z.ZodNumber;
+    expires_at_ms: z.ZodNumber;
+}, z.core.$strict>;
+/** Lease-granted response payload (inferred from {@link LeaseGrantedResponseSchema}). */
+export type LeaseGrantedResponse = z.infer<typeof LeaseGrantedResponseSchema>;
+/**
+ * The caller was placed in the per-scope FIFO+priority queue. Mirrors
+ * `LeaseQueued`.
+ */
+export declare const LeaseQueuedResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_queued">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    ticket: z.ZodNumber;
+    ahead: z.ZodNumber;
+}, z.core.$strict>;
+/** Lease-queued response payload (inferred from {@link LeaseQueuedResponseSchema}). */
+export type LeaseQueuedResponse = z.infer<typeof LeaseQueuedResponseSchema>;
+/**
+ * The acquire was denied. Mirrors `LeaseDenied`.
+ */
+export declare const LeaseDeniedResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_denied">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    code: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>;
+/** Lease-denied response payload (inferred from {@link LeaseDeniedResponseSchema}). */
+export type LeaseDeniedResponse = z.infer<typeof LeaseDeniedResponseSchema>;
+/**
+ * Reply to a deferred `rate_check`. Mirrors `RateResult`.
+ */
+export declare const RateResultResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"rate_result">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    ok: z.ZodBoolean;
+    retry_after_ms: z.ZodNumber;
+    tokens_remaining: z.ZodNumber;
+}, z.core.$strict>;
+/** Rate-result response payload (inferred from {@link RateResultResponseSchema}). */
+export type RateResultResponse = z.infer<typeof RateResultResponseSchema>;
+/**
+ * Reply to a deferred `tool_grant`. Mirrors `ToolGranted`.
+ */
+export declare const ToolGrantedResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"tool_granted">;
+    tool: z.ZodString;
+    holder_id: z.ZodString;
+}, z.core.$strict>;
+/** Tool-granted response payload (inferred from {@link ToolGrantedResponseSchema}). */
+export type ToolGrantedResponse = z.infer<typeof ToolGrantedResponseSchema>;
+/**
+ * Unsolicited event: a held lease was revoked. Mirrors `LeaseRevoked`.
+ */
+export declare const LeaseRevokedResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"lease_revoked">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>;
+/** Lease-revoked event payload (inferred from {@link LeaseRevokedResponseSchema}). */
+export type LeaseRevokedResponse = z.infer<typeof LeaseRevokedResponseSchema>;
+/**
+ * Unsolicited event: a lease holder was killed for being unresponsive. Mirrors
+ * `ChildKilled` carried by the `child_killed_unresponsive` response variant.
+ */
+export declare const ChildKilledUnresponsiveResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"child_killed_unresponsive">;
+    child_id: z.ZodString;
+    holder_id: z.ZodString;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strict>;
+/** Child-killed event payload (inferred from {@link ChildKilledUnresponsiveResponseSchema}). */
+export type ChildKilledUnresponsiveResponse = z.infer<typeof ChildKilledUnresponsiveResponseSchema>;
+/**
+ * An error response correlated to a request. Mirrors the v1.0
+ * `crate::ipc::ErrorResult` shape reused by the Rust `LeaseResponse::Error`
+ * variant — error framing is shared across protocol versions.
+ */
+export declare const LeaseErrorResponseSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"error">;
+    code: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>;
+/** Lease error response payload (inferred from {@link LeaseErrorResponseSchema}). */
+export type LeaseErrorResponse = z.infer<typeof LeaseErrorResponseSchema>;
+/**
+ * The discriminated union of all arbiter → client lease responses and events.
+ * The `kind` field selects the variant, matching the serde
+ * `#[serde(tag = "kind")]` tagging on the Rust `LeaseResponse` enum.
+ */
+export declare const LeaseIpcResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"lease_granted">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    epoch: z.ZodNumber;
+    ttl_ms: z.ZodNumber;
+    expires_at_ms: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"lease_queued">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    ticket: z.ZodNumber;
+    ahead: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"lease_denied">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    code: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"rate_result">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    ok: z.ZodBoolean;
+    retry_after_ms: z.ZodNumber;
+    tokens_remaining: z.ZodNumber;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"tool_granted">;
+    tool: z.ZodString;
+    holder_id: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"lease_revoked">;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    lane: z.ZodEnum<{
+        tasks: "tasks";
+        brain: "brain";
+        bulk: "bulk";
+    }>;
+    holder_id: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"child_killed_unresponsive">;
+    child_id: z.ZodString;
+    holder_id: z.ZodString;
+    scope: z.ZodEnum<{
+        project: "project";
+        global: "global";
+    }>;
+    reason: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"error">;
+    code: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>], "kind">;
+/** Any lease IPC response (inferred from {@link LeaseIpcResponseSchema}). */
+export type LeaseIpcResponse = z.infer<typeof LeaseIpcResponseSchema>;
+/**
+ * A client → arbiter lease request envelope.
+ *
+ * The `direction` discriminator + flattened `request` payload mirror the serde
+ * `#[serde(tag = "direction")]` `LeasePayload::Request { request }` variant.
+ */
+export declare const LeaseIpcRequestEnvelopeSchema: z.ZodObject<{
+    protocol_version: z.ZodString;
+    id: z.ZodString;
+    direction: z.ZodLiteral<"request">;
+    request: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"lease_acquire">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        priority: z.ZodNumber;
+        ttl_ms: z.ZodNumber;
+        reentrant: z.ZodBoolean;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_release">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        epoch: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_renew">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        epoch: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"rate_check">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        est_bytes: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tool_grant">;
+        tool: z.ZodString;
+        holder_id: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+/** Lease request envelope (inferred from {@link LeaseIpcRequestEnvelopeSchema}). */
+export type LeaseIpcRequestEnvelope = z.infer<typeof LeaseIpcRequestEnvelopeSchema>;
+/**
+ * An arbiter → client lease response/event envelope.
+ *
+ * The `direction` discriminator + flattened `response` payload mirror the serde
+ * `LeasePayload::Response { response }` variant.
+ */
+export declare const LeaseIpcResponseEnvelopeSchema: z.ZodObject<{
+    protocol_version: z.ZodString;
+    id: z.ZodString;
+    direction: z.ZodLiteral<"response">;
+    response: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"lease_granted">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        epoch: z.ZodNumber;
+        ttl_ms: z.ZodNumber;
+        expires_at_ms: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_queued">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        ticket: z.ZodNumber;
+        ahead: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_denied">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"rate_result">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        ok: z.ZodBoolean;
+        retry_after_ms: z.ZodNumber;
+        tokens_remaining: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tool_granted">;
+        tool: z.ZodString;
+        holder_id: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_revoked">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"child_killed_unresponsive">;
+        child_id: z.ZodString;
+        holder_id: z.ZodString;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"error">;
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>;
+/** Lease response envelope (inferred from {@link LeaseIpcResponseEnvelopeSchema}). */
+export type LeaseIpcResponseEnvelope = z.infer<typeof LeaseIpcResponseEnvelopeSchema>;
+/**
+ * The top-level lease IPC envelope: a versioned, correlated wrapper that is
+ * either a request or a response, discriminated by `direction`. One envelope per
+ * NDJSON line. Mirrors the Rust `LeaseEnvelope`.
+ */
+export declare const LeaseIpcEnvelopeSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    protocol_version: z.ZodString;
+    id: z.ZodString;
+    direction: z.ZodLiteral<"request">;
+    request: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"lease_acquire">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        priority: z.ZodNumber;
+        ttl_ms: z.ZodNumber;
+        reentrant: z.ZodBoolean;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_release">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        epoch: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_renew">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        epoch: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"rate_check">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        est_bytes: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tool_grant">;
+        tool: z.ZodString;
+        holder_id: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>, z.ZodObject<{
+    protocol_version: z.ZodString;
+    id: z.ZodString;
+    direction: z.ZodLiteral<"response">;
+    response: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"lease_granted">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        epoch: z.ZodNumber;
+        ttl_ms: z.ZodNumber;
+        expires_at_ms: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_queued">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        ticket: z.ZodNumber;
+        ahead: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_denied">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"rate_result">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        ok: z.ZodBoolean;
+        retry_after_ms: z.ZodNumber;
+        tokens_remaining: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"tool_granted">;
+        tool: z.ZodString;
+        holder_id: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"lease_revoked">;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        lane: z.ZodEnum<{
+            tasks: "tasks";
+            brain: "brain";
+            bulk: "bulk";
+        }>;
+        holder_id: z.ZodString;
+        reason: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"child_killed_unresponsive">;
+        child_id: z.ZodString;
+        holder_id: z.ZodString;
+        scope: z.ZodEnum<{
+            project: "project";
+            global: "global";
+        }>;
+        reason: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"error">;
+        code: z.ZodString;
+        message: z.ZodString;
+    }, z.core.$strict>], "kind">;
+}, z.core.$strict>], "direction">;
+/** Any lease IPC envelope (inferred from {@link LeaseIpcEnvelopeSchema}). */
+export type LeaseIpcEnvelope = z.infer<typeof LeaseIpcEnvelopeSchema>;
+/**
+ * The v1.1 request `kind` values, in declaration order. The schema-drift guard
+ * test pins this tuple; any addition/removal is a contract-breaking change
+ * requiring a coordinated dual (Rust + TS) edit.
+ */
+export declare const LEASE_IPC_REQUEST_KINDS: readonly ["lease_acquire", "lease_release", "lease_renew", "rate_check", "tool_grant"];
+/**
+ * The v1.1 response `kind` values, in declaration order. The schema-drift guard
+ * test pins this tuple.
+ */
+export declare const LEASE_IPC_RESPONSE_KINDS: readonly ["lease_granted", "lease_queued", "lease_denied", "rate_result", "tool_granted", "lease_revoked", "child_killed_unresponsive", "error"];
+/**
+ * The complete v1.1 message kind set (requests + responses), used by the drift
+ * guard on both the TS and Rust sides.
+ */
+export declare const LEASE_IPC_MESSAGE_KINDS: readonly ["lease_acquire", "lease_release", "lease_renew", "rate_check", "tool_grant", "lease_granted", "lease_queued", "lease_denied", "rate_result", "tool_granted", "lease_revoked", "child_killed_unresponsive", "error"];
+//# sourceMappingURL=messages.d.ts.map