Constant LEASE_PATH 

pub const LEASE_PATH: &str = "state/mcp/server.json";

The lease file, relative to the checkout-local half (.ai/local/).