arXiv:2606.26924cs.SEcs.AI2026-06被引 2

为大模型编程代理设计确定性管控平面,解决配置混乱与安全风险。

A Deterministic Control Plane for LLM Coding Agents

论文配图:A Deterministic Control Plane for LLM Coding Agents
图 1 · 摘自论文原文
  • 将代理配置作为受控供应链管理,用哈希地址和锁文件确保一致性。
  • 发现10.1%配置文件跨仓库完全重复,75.5%跨组织复用,且极少更新或声明权限。
  • 适合关注AI编程安全、DevOps治理的开发者与平台建设者。

LLM编程赋予代理广泛文件与终端访问权限,但其配置层(规则文件、代理定义、IDE特定markdown)基本未受管控。对10,008个公开GitHub仓库(含6,145个代理配置文件)的普查显示,配置以未声明共享组件形式传播:10.1%的路径在独立仓库间存在SHA-256完全重复(去重调整,阈值无关),75.5%的克隆对跨越组织边界。此外,配置极少被修订(58%仅单次提交;每单位时间提交数0.4 vs CI/CD工作流0.6,经年龄归一化),且极少声明权限边界(<1%的代理配置,相较33%的Actions工作流,n=31真阳性)。我们提出一种确定性控制平面,弥补上述缺口。Rel(AI)Build将代理定义视为受控供应链(基于SHA-256内容寻址、带HMAC签名的锁文件、哈希链审计日志);在调用LLM前强制实施分层权限与攻击衍生黑名单;通过阶段状态机门控功能开发,并实现需求-文件-测试可追溯;将单一规范编译至七个IDE目标;并通过杰卡德相似度检测提示漂移。注入违规的合规测试验证各机制均能维持其声明不变量;开发者效果仍为未来工作。该层治理必须确定性且工具无关——不可交由进一步的LLM编排。

原文摘要 · Abstract (English)

LLM coding harnesses grant agents broad file and shell access, yet the configuration layer that steers them -- rules files, agent definitions, IDE-specific markdown -- is largely unmanaged. A prevalence study of 10,008 public GitHub repositories (n=6,145 agent config files) finds that agent configurations propagate as undeclared shared components: 10.1% of tracked paths are SHA-256 exact duplicates across independent repositories (fork-adjusted, threshold-independent), with 75.5% of clone pairs crossing organisational boundaries. Two further patterns are indicative: configurations are rarely revised (58% single-commit; 0.4 vs 0.6 commits/month age-normalised against CI/CD workflows), and rarely declare permission boundaries (<1% of agent configs vs 33% of Actions workflows, n=31 true positives). We propose a deterministic control plane above the harness that maps one-to-one to these gaps. Rel(AI)Build treats agent definitions as a managed supply chain (SHA-256 content addressing, HMAC-stamped lockfiles, hash-chained audit logs); enforces tiered permissions and attack-derived blocklists before LLM invocation; gates feature work through a phase state machine with requirement-to-file-to-test traceability; compiles a single canonical definition to seven IDE targets; and detects prompt drift via Jaccard similarity. Conformance tests on injected violations confirm each mechanism enforces its stated invariant; developer outcomes remain future work. Governance of this layer must be deterministic and tool-agnostic -- not delegated to further LLM orchestration.

大模型编程安全治理配置管理

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。