← Command reference · lean-pkg lease · CLI overview

lean-pkg lease renew

restart your own live lease from now (holder-only; refuses once it has lapsed: claim again).

Also spelled: lean-pkg renew (all aliases).

Usage

lean-pkg lease renew --agent AGENT [--ttl HOURS] [--workspace WORKSPACE]
                     [--reason REASON] [--contact TEXT] [--no-contact] [common flags]
                     NAME

[common flags]: --json, --commit, --push, --no-commit, also accepted before the command name; see the CLI overview.

Arguments and flags

Argument or flag	Description
NAME
--agent AGENT	Required.
--ttl HOURS	new TTL, 1..8760 (default: the lease’s current ttl_hours; above 8760: exit 2)
--workspace WORKSPACE	move the lease to this workspace
--reason REASON
--contact TEXT	set or replace the lease’s contact (address of the holding session; one line, at most 200 characters); without it the lease keeps its contact
--no-contact	clear the lease’s contact while renewing (not with –contact)

Details

Form	What it does	Key flags
renew NAME	restart your own live lease from now (event claim-refreshed); refuses when there is no lease, another agent holds it, or it has already lapsed (claim again; audit --fix sweeps it). --contact TEXT sets or replaces the lease’s contact (same rules as claim); without it the contact is kept; --no-contact clears it (the claim-refreshed event then records contact_cleared: true when a contact was removed; no contact: nothing to clear); --contact with --no-contact exits 2 with nothing written; --ttl is 1 to 8760 hours, a larger value exits 2 with nothing written	--agent A [--ttl HOURS] [--workspace W] [--reason] [--contact TEXT] [--no-contact]

JSON output

Top-level keys of --json, as recorded in the golden contract (tests/golden/json-keys.json):

• renew (exit 0): event, expires_at, lease, name, ok

Examples

Restart your own live lease from now; once it has lapsed, claim again.

lean-pkg lease renew my-proof --agent alice