# CAIN-A75-027 Agent Lease Review

**Verdict:** VERIFIED

> Recomputes an always-on agent lease: term, human-rooted delegation without escalation, renewal limits and independent approval, heartbeat health, runtime attestation and claim honesty. It does not contact the agent.

| Lease | Verdict | Duration (h) | Renewals | Missed beats | Failed checks |
|---|---|---|---|---|---|
| 0 lease-ops-1 | ACTIVE | 8.0 | 1 | 0 |  |

## What this proves and what it does not
- Proves: the lease term is current and bounded, authority reaches the agent through an unexpired human-rooted chain without widening, renewals and missed heartbeats are within policy, and the runtime version is attested.
- Does not prove: that the agent is behaving well, that the attestation is truthful, or that revocation would reach a partitioned agent. It is a record review.
- Verify offline: `python3 verify_offline.py run.json --pinned-key QrE17w4zjJ3MOuXj/0DWotUIWNjyO0VA782brXvXVDo=`