Abstract
When several heterogeneous AI code-generation agents write to one shared repository concurrently, branch isolation plus post-hoc merge does not bound per-agent scope and does not prevent reserved-file races on a small set of high-blast-radius files. This publication describes a method that addresses both failures with one coherent mechanism.
A planner classifies each natural-language change request into a kind (create, modify, debug, migrate, deploy, read-only) and a risk label, then emits one or more task envelopes. Each envelope carries a declarative capability budget — allow_paths, deny_paths, max_files_changed, max_lines_changed, and may_add_dependencies — plus an agent-role assignment, required reserved-file tokens, required CI checks, an optional feature flag, and dependency edges. The decisive property is dispatch≡merge identity: the same envelope object that scopes the agent at runtime is the exact contract re-verified against the pull-request diff at merge time by a CI envelope-gate.
A non-blocking reserved-file token broker serialises edits to enumerated high-blast-radius paths (dependency manifest/lockfile, migrations, container build file, deployment manifests, server entrypoint). A token is a TTL-bounded lease acquired by an atomic conditional insert (INSERT … ON CONFLICT DO NOTHING — success = own it, conflict = requeue) and auto-released by a reaper on expiry. The broker is deliberately advisory: it shapes dispatch ordering so collisions are rare, while the serialised merge queue remains the authoritative conflict catcher.
Finally, a request touching both migrations and code is automatically split into a token-gated schema envelope and a code envelope carrying a dependency edge that blocks dispatch until the schema envelope merges — encoding expand/contract migrate-before-code as a first-class scheduling constraint. The combination yields heterogeneous agents working concurrently with bounded, enforceable scope and without reserved-file races, where the dispatch-time scope equals the merge-time enforced contract. This document is published as prior art.
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.
Recommended Citation
Assuncao, gustavo matthew, "Capability-Scoped Task Envelopes with Reserved-File Token Broker for Concurrent AI Coding Agents", Technical Disclosure Commons, (June 29, 2026)
https://www.tdcommons.org/dpubs_series/10590