Intent-Code Divergence
Medium
- Confidence
- 93% confidence
- Finding
- The specification defines abandonment based on `last_progress` while explicitly saying `last_heartbeat` should not trigger archival, but later test expectations contradict that rule. In a task-locking/watchdog system, inconsistent liveness criteria can cause premature archival or takeover of active tasks, leading to integrity and availability issues in workflow coordination.
