FM-931 — Lease TTL extension

[Andreas-Froyland]

Epic: #121 · Depends on: FM-711

Context

Users need to extend a ready lease without re-provisioning.

Goal

An audited lab.extend mutation that pushes the ready TTL deadline, bounded by the lease's absolute max lifetime, via API and fleetctl lab extend.

Architecture reference

docs/architecture/lab.md deadlines; ADR-0008.

Dependencies

FM-711

Research required

None.

Acceptance criteria

• Refused beyond max lifetime or in non-ready states; compare-and-set against the sweeper
• Authz entry and audit event

Non-goals

• Extending max lifetime

Tests

State-machine tests, sweeper race test, API/CLI contract.

[Andreas-Froyland]

Implementation approach: add a fixed 30-day absolute lease deadline measured from creation, matching the existing 30-day template TTL ceiling, and persist it so extension requests remain bounded after restart. Add an authorized lab.extend use case that advances a ready lease by a requested duration only when its expiry has not passed and the new deadline stays within that cap. Make the expiry-sweeper claim compare the observed expiry so an extension/sweep race has one winner; expose the mutation through the API and fleetctl lab extend, with audit, state-machine, SQLite race/rollback, and contract coverage.