01 · PROBLEM
Stop two agents from silently doing overlapping work.
02 · HYPOTHESIS
Agent claims paths/symbols with a lease (TTL, renewable) via MCP; overlapping claims are allowed but negotiated; landing rejects any diff touching paths outside the agent's claim or under another active lease unless the human approves.
03 · EVIDENCE SO FAR
LATESTNot tested. The agents gathered reports of the pain behind this idea and scored it on paper only; no experiment has been run on it. Cited pain: homegrown merge locks/intent logs (E-C105, E-C109, E-C362); prompt-only rules ignored (E-C136, E-C140); shell bypass of guards (E-X012). Counter: claims don't earn their keep (E-C113), scope not knowable upfront (E-C112).website/projects.json
04 · NEXT FALSIFICATION TEST
Not yet scheduled. Smallest demo on record: two agents request overlapping claims; second is redirected; a third agent edits outside claim and is quarantined at landing.
StatusParked; reopen only if the expired-lease race test passes
We would drop or park it ifExpired-lease/remote-publisher race (Codex X2): if a racing publisher can land a diff inside another's live lease, or if claims reduce conflicts by <30% vs no claims on replayed tasks, kill.