CoChat
Sign Up
PreprintCited by 1Software Engineering Techniques and PracticesDistributed systems and fault toleranceSoftware Engineering Research

ATM: CID-Brokered Pre-Write Admission for Multi-Agent Code Co-Synthesis

Open access
Huang, Eagl·2026·arXiv
DOI 10.48550/arxiv.2607.00041arXiv 2607.00041
Open this paper in CoChat — free accountOpen PDF

Abstract

Multi-agent LLM systems can decompose software-engineering work into planning, generation, validation, and repair, but a narrower systems problem remains: before any governed shared mutation is applied, a system must decide which concurrently formed write intents may proceed in parallel, which require deterministic composition or serialization, and which must take a fail-closed path. We address this problem with the AI-Atomic-Framework (ATM), a specification-grounded governance substrate for software agents operating within a single governance domain. ATM binds task intent, repository scope, write admission, validation, and evidence obligations into one governance chain. A Content Identifier (CID) broker serves as the shared-mutation admission subsystem. Adapter-guided atomization maps write intents to semantic atoms and bounded regions; when persistent atom-map coverage is incomplete, virtual atoms provide temporary auditable governance units for conservative comparison and routing. Governed shared writes are ultimately applied by a neutral steward rather than directly by proposing agents. Evaluation combines controlled, field, adoption, and extension evidence, including a 12-scenario deterministic design matrix, three archived runner cases, ATM-AdmissionBench, three archived same-file boundary cases, a three-week external-adopter study, and an operational recovery-routing benchmark. The results support feasibility, auditability, and bounded recoverability within the observed single-domain settings, but do not claim broad comparative superiority or cross-clone governance.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.2607.00041

Cites

4 of 4 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • A particularly close line of work treats shared mutation as a pre-write admission problem.

    “A particularly close line of work treats shared mutation as a pre-write admission problem [7].”

    From Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents (2026) · cites this paper as [7]

  • ATM explicitly formulates governed shared mutation as a pre-write admission problem and uses semantic atoms, bounded regions, a CID broker, fail-closed routing, and a neutral steward.

    “ATM [7] is the closest contemporaneous work. It explicitly formulates governed shared mutation as a pre-write admission problem and uses semantic atoms, bounded regions, a CID broker, fail-closed routing, and a neutral steward.”

    From Claim Plane: Enforceable Change Intents and Dynamic Scope for Parallel Coding Agents (2026) · cites this paper as [7]

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Research works printed but not linked: 40

  1. Acharya, Vivek. 2026. "Semantic Consensus: Process-Aware Conflict Detection and Resolution for Enterprise Multi-Agent LLM Systems. " arXiv:2604.16339 [cs.AI]. https://doi.org/10.48550/arXiv.2604.16339. · DOI
  2. Qian, Kaiyang, Xinmin Fang, and Zhengxiong Li. 2026. "MPAC: A Multi-Principal Agent Coordination Protocol for Interoperable Multi-Agent Collaboration. " arXiv:2604.09744 [cs.MA]. https://doi.org/10.48550/arXiv.2604.09744. · DOI
  3. Zhou, Weixing, Zhiyou Wang, Zeshun Peng, Hetian Chen, Yanfeng Zhang, and Ge Yu. 2026. "ATCC: Adaptive Concurrency Control for Unforeseen Agentic Transactions. " arXiv:2603.13906 [cs.DB]. https://doi.org/10.48550/arXiv.2603.13906. · DOI
  4. Pan, Melissa Z., Mert Cemri, Lakshya A. Agrawal, Shuyi Yang, Bhavya Chopra, Rishabh Tiwari, Kurt Keutzer, Aditya Parameswaran, Kannan Ramchandran, Dan Klein, Joseph E. Gonzalez, Matei Zaharia, and Ion Stoica. 2025. "Why Do Multiagent Systems Fail?" In *ICLR 2025 Workshop on Building Trust in Language Models and Applications*. https://openreview.net/forum?id=wM 521FqPvI.
  5. Sartori, Camilo Chacon. 2026. "The Specification Gap: Coordination Failure Under Partial Knowledge in Code Agents. " arXiv:2603.24284 [cs.SE]. https://doi.org/10.48550/arXiv.2603.24284. · DOI
  6. Ellis, Clarence A., and Simon J. Gibbs. 1989. "Concurrency Control in Groupware Systems. " In *Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data*, 399-407. New York: ACM Press. https://doi.org/10.1145/ 67544.66963. · DOI
  7. Shapiro, Marc, Nuno Preguica, Carlos Baquero, and Marek Zawirski. 2011. "Conflict-Free Replicated Data Types. " In *Stabilization, Safety, and Security of Distributed Systems: 13th International Symposium, SSS 2011*, Lecture Notes in Computer Science 6976, 386-400. Berlin: Springer. https://doi.org/10.1007/978-3-642-24550-3_29. · DOI · Paper page
  8. Kung, H. T., and John T. Robinson. 1981. "On Optimistic Methods for Concurrency Control. " *ACM Transactions on Database Systems* 6 (2): 213-226. https://doi.org/10.1145/319566.319567. · DOI
  9. Lyu, Hongtao, Dingyan Zhang, Mingyu Wu, Xingda Wei, and Haibo Chen. 2026. "CoAgent: Concurrency Control for Multi-Agent Systems. " arXiv:2606.15376 [cs.DC]. https://doi.org/10.48550/arXiv.2606.15376. · DOI · Paper page
  10. Zhang, Qingyu, Junzhe Li, Jiayi Lin, Changhua Luo, and Chenxiong Qian. 2026. "Rover: Context-aware Conflict Resolution with LLM. " arXiv:2605.17279 [cs.SE]. https://doi.org/10.48550/arXiv.2605.17279. · DOI
  11. Wang, Yifei, Ruiyin Li, Peng Liang, Qiong Feng, Zengyang Li, Mojtaba Shahin, and Arif Ali Khan. 2026. "CodeTeam: An LLM- Powered Multi-Agent Framework for Repository-Level Code Generation. " arXiv:2606.22082 [cs.SE]. https://doi.org/10.485 50/arXiv.2606.22082. · DOI
  12. Khan, Sajjad. 2026. "S-Bus: Automatic Read-Set Reconstruction for Multi-Agent LLM State Coordination. " arXiv:2605.17076 [cs.LG]. https://doi.org/10.48550/arXiv.2605.17076. · DOI
  13. Huang, Beichen, Ran Cheng, and Kay Chen Tan. 2025. "EvoGit: Decentralized Code Evolution via Git-Based Multi-Agent Collabo- ration. " arXiv:2506.02049 [cs.SE]. https://doi.org/10.48550/arXiv.2506.02049. · DOI
  14. Li, Yang, Siqi Ping, Xiyu Chen, Xiaojian Qi, Zigan Wang, Ye Luo, and Xiaowei Zhang. 2025. "AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems. " arXiv:2511.00628 [cs.SE]. https://doi.org/10.48550/arXiv .2511.00628. · DOI · Paper page
  15. Jimenez, Carlos E., John Yang, Alexander Wettig, Shunyu Yao, Kexin Pei, Ofir Press, and Karthik Narasimhan. 2023. "SWE-bench: Can Language Models Resolve Real-World GitHub Issues?" arXiv:2310.06770 [cs.CL]. https://doi.org/10.48550/arXiv.2 310.06770. · DOI · Paper page
  16. Wu, Qingyun, Gagan Bansal, Jieyu Zhang, Yiran Wu, Beibin Li, Erkang Zhu, Li Jiang, Xiaoyun Zhang, Shaokun Zhang, Jiale Liu, Ahmed Hassan Awadallah, Ryen W. White, Doug Burger, and Chi Wang. 2023. "AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation. " arXiv:2308.08155 [cs.AI]. https://doi.org/10.48550/arXiv.2308.08155. · DOI · Paper page
  17. Adya, Atul. 1999. "Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. " PhD thesis, Massachusetts Institute of Technology. https://hdl.handle.net/1721.1/149899.
  18. Lloyd, Wyatt, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2011. "Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS. " In *Proceedings of the 23rd ACM Symposium on Operating Systems Principles*, 401-416. https://doi.org/10.1145/2043556.2043593. · DOI
  19. Liu, Tianyang, Canwen Xu, and Julian McAuley. 2024. "RepoBench: Benchmarking Repository-Level Code Auto-Completion Sys- tems. " In *Proceedings of the 12th International Conference on Learning Representations (ICLR 2024)*. https://doi.org/10 .48550/arXiv.2306.03091. · DOI
  20. Ding, Yangruibo, Zijian Wang, Wasi Uddin Ahmad, Hantian Ding, Ming Tan, Nihal Jain, Murali Krishna Ramanathan, Ramesh Nallapati, Parminder Bhatia, Dan Roth, and Bing Xiang. 2023. "CrossCodeEval: A Diverse and Multilingual Benchmark for Cross- File Code Completion. " In *Advances in Neural Information Processing Systems 36*. arXiv:2310.11248. https://doi.org/10.4 8550/arXiv.2310.11248. · DOI · Paper page
  21. Li, Wei, Xin Zhang, Zhongxin Guo, Shaoguang Mao, Wen Luo, Guangyue Peng, Yangyu Huang, Houfeng Wang, and Scarlett Li. 2025. "FEA-Bench: A Benchmark for Evaluating Repository-Level Code Generation for Feature Implementation. " In *Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics*, 17160-17176. https://doi.org/10.48550/a rXiv.2503.06680. · DOI
  22. Zan, Daoguang, Ailun Yu, Wei Liu, Dong Chen, Bo Shen, Wei Li, Yafen Yao, Yongshun Gong, Xiaolin Chen, Bei Guan, Zhiguang Yang, Yongji Wang, Qianxiang Wang, and Lizhen Cui. 2024. "CodeS: Natural Language to Code Repository via Multi-Layer Sketch. " arXiv:2403.16443 [cs.LG]. https://doi.org/10.48550/arXiv.2403.16443. · DOI · Paper page
  23. Ding, Jingzhe, Shengda Long, Changxin Pu, Huan Zhou, Hongwan Gao, Xiang Gao, Chao He, Yue Hou, Fei Hu, Zhaojian Li, Weiran Shi, Zaiyuan Wang, Daoguang Zan, Chenchen Zhang, Xiaoxu Zhang, Qizhi Chen, Xianfu Cheng, Bo Deng, Qingshui Gu, Kai Hua, Juntao Lin, Pai Liu, Mingchen Li, Xuanguang Pan, Zifan Peng, Yujia Qin, Yong Shan, Zhewen Tan, Weihao Xie, Zihan Wang, Yishuo Yuan, Jiayu Zhang, Enduo Zhao, Yunfei Zhao, He Zhu, Chenyang Zou, Ming Ding, Jianpeng Jiao, Jiaheng Liu, Minghao Liu, Qian Liu, Chongyao Tao, Jian Yang, Tong Yang, Zhaoxiang Zhang, Xinjie Chen, Wenhao Huang, and Ge Zhang. 2025. "NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents. " arXiv:2512.12730 [cs.SE]. https://doi.org/10 .48550/arXiv.2512.12730. · DOI · Paper page
  24. Sun, Chengzheng, Xiaohua Jia, Yanchun Zhang, Yun Yang, and David Chen. 1998. "Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems. " *ACM Transactions on Computer-Human Interaction* 5 (1): 63-108. https://doi.org/10.1145/274444.274447. · DOI
  25. Bernstein, Philip A., Vassos Hadzilacos, and Nathan Goodman. 1987. *Concurrency Control and Recovery in Database Systems*. Reading, MA: Addison-Wesley. https://www.microsoft.com/en-us/research/people/philbe/book/.
  26. Hou, Xinyi, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John Grundy, and Haoyu Wang. 2024. "Large Language Models for Software Engineering: A Systematic Literature Review. " *ACM Transactions on Software Engineering and Methodology* 33 (8): 1-79. https://doi.org/10.1145/3695988. · DOI · Paper page
  27. Zhao, Wenting, Nan Jiang, Celine Lee, Justin T. Chiu, Claire Cardie, Matthias Gallé, and Alexander M. Rush. 2025. "Commit0: Library Generation from Scratch. " In *Proceedings of the 13th International Conference on Learning Representations (ICLR)*. arXiv:2412.01769 [cs.SE]. https://doi.org/10.48550/arXiv.2412.01769. · DOI · Paper page
  28. Zhou, Qixing, Jiacheng Zhang, Haiyang Wang, Rui Hao, Jiahe Wang, Minghao Han, Yuxue Yang, Shuzhe Wu, Feiyang Pan, Lue Fan, Dandan Tu, and Zhaoxiang Zhang. 2026. "FeatureBench: Benchmarking Agentic Coding for Complex Feature Development. " arXiv:2602.10975 [cs.SE]. https://doi.org/10.48550/arXiv.2602.10975. · DOI
  29. Ni, Ziyi, Huacan Wang, Shuo Zhang, Shuo Lu, Ziyang He, Wang You, Zhenheng Tang, Yuntao Du, Bill Sun, Hongzhang Liu, Sen Hu, Ronghao Chen, Bo Li, Xin Li, Chen Hu, Binxing Jiao, Daxin Jiang, and Pin Lyu. 2025. "GitTaskBench: A Benchmark for Code Agents Solving Real-World Tasks Through Code Repository Leveraging. " arXiv:2508.18993 [cs.SE]. https://doi.org/10.485 50/arXiv.2508.18993. · DOI
  30. Yang, John, Carlos E. Jimenez, Alexander Wettig, Kilian Lieret, Shunyu Yao, Karthik Narasimhan, and Ofir Press. 2024. "SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering. " In *Advances in Neural Information Processing Systems 37*. arXiv:2405.15793. https://doi.org/10.48550/arXiv.2405.15793. · DOI · Paper page
  31. Wang, Haoyu, Christopher M. Poskitt, and Jun Sun. 2025. "AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents. " arXiv:2503.18666 [cs.AI]. https://doi.org/10.48550/arXiv.2503.18666. · DOI
  32. Zhao, Wei, Zhe Li, Peixin Zhang, and Jun Sun. 2026. "ClawGuard: A Runtime Security Framework for Tool-Augmented LLM Agents Against Indirect Prompt Injection. " arXiv:2604.11790 [cs.CR]. https://doi.org/10.48550/arXiv.2604.11790. · DOI
  33. Winston, Cailin, Claris Winston, and René Just. 2026. "Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents. " arXiv:2603.20449 [cs.SE]. https://doi.org/10.48550/arXiv.2603.20449. · DOI
  34. Sousa, Marcelo, Isil Dillig, and Shuvendu K. Lahiri. 2018. "Verifying Semantic Conflict-Freedom in Three-Way Program Merges. " arXiv:1802.06551 [cs.PL]. https://doi.org/10.48550/arXiv.1802.06551. · DOI
  35. Cavalcanti, Guilherme, Paulo Borba, Leonardo dos Anjos, and Jonatas Clementino. 2024. "Semistructured Merge with Language- Specific Syntactic Separators. " arXiv:2407.18888 [cs.SE]. https://doi.org/10.48550/arXiv.2407.18888. · DOI
  36. Mohammadi, Bardia, Nearchos Potamitis, Lars Klein, Akhil Arora, and Laurent Bindschaedler. 2026. "Atomix: Timely, Transactional Tool Use for Reliable Agentic Workflows. " arXiv:2602.14849 [cs.LG]. https://doi.org/10.48550/arXiv.2602.14849. · DOI
  37. Chen, Zheng, Hanqing Liu, Duling Xu, Dong Dong, Jialin Li, Bangzheng Pu, and Jidong Zhai. 2026. "Cordon: Semantic Transactions for Tool-Using LLM Agents. " arXiv:2606.17573 [cs.OS]. https://doi.org/10.48550/arXiv.2606.17573. · DOI · Paper page
  38. Guo, Xuehang, Xingyao Wang, Yangyi Chen, Sha Li, Chi Han, Manling Li, and Heng Ji. 2025. "SyncMind: Measuring Agent Out- of-Sync Recovery in Collaborative Software Engineering. " arXiv:2502.06994 [cs.SE]. https://doi.org/10.48550/arXiv.2 502.06994. · DOI
  39. Mao, Zhenyu, Jacky Keung, Fengji Zhang, Shuo Liu, Yifei Wang, and Jialong Li. 2025. "Towards Engineering Multi-Agent LLMs: A Protocol-Driven Approach. " arXiv:2510.12120 [cs.SE]. https://doi.org/10.48550/arXiv.2510.12120. · DOI
  40. Hou, Bo, Xin Tan, Kai Zheng, Fang Liu, Yinghao Zhu, and Li Zhang. 2025. "LLM-Driven Collaborative Model for Untangling Commits via Explicit and Implicit Dependency Reasoning. " arXiv:2507.16395 [cs.AI]. https://doi.org/10.48550/arXiv.2 507.16395. · DOI

Cited by

Sorted by citations

Authors
Huang, E.
Corresponding author
Huang, Eagl
Venue
arXiv
Publisher
arXiv
Published
2026
ISSN
2331-8422 (ISSN-L)
DOI
10.48550/arxiv.2607.00041
arXiv
2607.00041
OpenAlex
W7167092161
Cited by
0
References
4
Type
posted content
Language
en
Open access
Licence
Locations
  • arXiv (Cornell University) (submittedVersion, cc-by)
  • arXiv (Cornell University) (cc-by)
Topics
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Techniques and Practices
  • Physical Sciences › Computer Science › Computer Networks and Communications › Distributed systems and fault tolerance
  • Physical Sciences › Computer Science › Information Systems › Software Engineering Research
Keywords
multi-agent LLM systems, fail-closed systems, code validation, code repair, auditability

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review