RFC-0003: Agent Leasing

Scope ownership for collision prevention between agents.

Abstract

This RFC defines the leasing mechanism that prevents multiple agents from working on the same scope simultaneously.

Lease Structure

{
  "id": "uuid",
  "intent_id": "uuid",
  "agent_id": "synthesis-agent",
  "scope": "writing",
  "acquired_at": "2024-01-15T14:00:00Z",
  "expires_at": "2024-01-15T14:30:00Z"
}

Lease Operations

• Acquire - POST /api/v1/intents/:id/leases
• Renew - PATCH /api/v1/intents/:id/leases/:lease_id
• Release - DELETE /api/v1/intents/:id/leases/:lease_id

Collision Prevention

Only one agent can hold a lease for a given scope at a time. Attempting to acquire an already-held lease returns 409 Conflict.