Help developers coordinate agents that need several exclusive resources, such as a browser session and a workspace. Build wait-for graphs, explore bounded schedules, and compare ordered acquisition with timeout-and-release policies. Export deadlock traces and a resource-coordinator adapter with explicit acquisition receipts.
Proposed milestones
- Model resource ownership and wait-for edges
- Explore bounded interleavings and detect cycles
- Compare ordering and timeout-release policies
- Export a coordinator and replayable deadlock evidence
This is an upstream project brief; an implementation and completion tests are not supplied.