Skip to main content

Module lease

Module lease 

Source
Expand description

The seam through which the optional runtime is licensed.

A lease is opaque bytes signed by LeanCTX | Hive: this engine never parses a plan, a seat count or an expiry from it, it only hands the bytes to the runtime, which verifies them against its own Hive key. The Hive connector registers the one process-wide LeaseSource at start-up, before the first tool call; without a registered source there is no lease.

Structs§

RuntimeLeaseV1
One Hive-signed runtime lease, kept as the exact bytes Hive issued.

Traits§

LeaseSource
Where the current lease comes from.

Functions§

set_lease_source
Registers the process-wide lease source. A later call replaces it.