@misc{indiciaeb8ddba66b83d,
  title = {From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance},
  author = {Xinhao Zhang and Jingjie Lu and Kunpeng Liu and Fei Xie},
  year = {2026},
  url = {https://arxiv.org/abs/2609.06383},
  note = {Source identifier: 2609.06383}
}