State Management
State diagrams for the database-backed lifecycle boundaries in Agent Vigilo.
These views focus on:
- lifecycle states stored in the DB
- guarded transitions owned by CLI, coordinator, and worker processes
- leases, compatible row locks, idempotent events, and no-op branches
- terminal outcomes that feed run status, gate status, and exportable evidence