# Stale Lease Recovery and Single Flight

- id: stale-lease-recovery-and-single-flight
- type: skill
- category: agent-operations
- detail: https://agents.proofandstate.com/products/stale-lease-recovery-and-single-flight

## Summary
Recover proven stale, effect-free graph work through targeted lifecycle transitions and coalesce equivalent live attempts without suppressing future natural work.

## Problem
Dead parent runs can consume durable concurrency indefinitely, while time-bucket idempotency permits overlapping equivalent monitor jobs.

## Core outcomes
- Attempt and lease truth separated from raw parent status
- Effect-aware targeted recovery with intact event history
- Equivalence keys for live single-flight admission
- Natural cadence and unaffected-state verification

## Requirements
- Canonical run, attempt, lease, effect and receipt records
- Existing recovery and admission APIs
- Explicit scope for lifecycle changes
- Backups and meaningful restart/concurrency regressions

## Boundaries
- Expired time alone does not prove a side effect is absent
- Passive discovery does not mutate history
- Live or effect-ambiguous work cannot be terminalised blindly
- Historical acceptance does not prove current runtime health

## Tags
- leases
- single-flight
- concurrency
- graph
- recovery
- idempotency

## Canonical source
- repository: AyobamiH/agent-shop-products (main)
- payload path: products/stale-lease-recovery-and-single-flight/SKILL.md

## Not published
Price, ratings, reviews, sales figures and full PROMPT.md / SKILL.md payload bodies are not published.