Module agent_lease 

Bounded, payload-free ownership leases for multi-agent mutation planning.

Gives callers an idempotent path/symbol ownership primitive. Does not perform a mutation, resolve a path, or authorize an agent; policy and transport bind it later. Uses caller-provided time for deterministic expiry boundaries.

Structs

AgentLeaseRegistryV1

Local registry with caller-provided clock for deterministic tests.

AgentLeaseRequestV1

AgentLeaseV1

Enums

AgentLeaseAcquireV1

AgentLeaseError

AgentLeaseResourceKindV1

Constants

AGENT_LEASE_SCHEMA_VERSION

Functions

acquire_local

release_local