---
格式版本: 2
标题: "Executable Code Knowledge: Code as a Native, Validation-Carrying Knowledge Representation for AI Coding Agents"
原文链接: "https://arxiv.org/abs/2608.16295"
发布日期: "2026-08-17"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Mon, 17 Aug 2026 09:07:45 UTC (23 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-20T15:19:19+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-20T15:12:40+08:00"
入库时间: "2026-08-20T07:19:19.178Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=delivery&searchtype=all"
匹配关键词:
  - "delivery"
  - "AI"
相关厂家:
  []
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 10
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "该资料为arXiv论文，主题是AI编程代理的可执行代码知识表示，与超节点/AI Rack/机柜级AI基础设施、供电散热互连等完全无关，仅搜索词命中delivery，无任何项目相关内容。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-20T15:21:12+08:00"
AI主题相关性: 0
AI来源权威性: 5
AI新颖性: 0
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 5
AI摘要: "研究者提出可执行代码知识（ECK）表示，让代码单元直接携带语义、契约、验证状态等知识。在3个Python仓库和26个补丁任务中，ECK恢复了全部11个证据任务的测试覆盖，而隐藏证据后仅恢复1个；"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T03:25:23.670Z"
采集批次: "2026年8月20日14点19分32秒"
采集批次ID: "20260820-141932-079"
去重键: "https://arxiv.org/abs/2608.16295"
---

## Computer Science > Computation and Language

## Title:Executable Code Knowledge: Code as a Native, Validation-Carrying Knowledge Representation for AI Coding Agents

Authors:[Xueping Gao](https://arxiv.org/search/cs?searchtype=author&query=Gao,+X)

[View PDF](https://arxiv.org/pdf/2608.16295) [HTML (experimental)](https://arxiv.org/html/2608.16295v1)

> Abstract:AI coding agents need more than relevant snippets: they need business semantics, validation evidence, relations, and assurance that their context is current. Existing systems usually infer or externalize this knowledge through retrieval, summaries, graphs, rules, or reverse specifications. We investigate a complementary representation in which selected code units directly carry agent-usable knowledge. We introduce Executable Code Knowledge (ECK) and define an Executable Code Knowledge Unit (ECKU) as a source-bound object combining stable identity, semantics, executable behavior, contracts, evidence, relations, provenance, validation state, and a query interface. Our Python prototype supports code-local authoring, manifest export, evidence execution, exact changed-line impact, freshness checking, and agent-facing projections. Across three real Python repositories and 26 controlled patch tasks, direct ECK provides executable test coverage for 11/11 evidence-bearing tasks and exact selectors for 9/11; hiding declared evidence reduces exact recovery to 1/11 (paired exact McNemar p=0.0078). ECK-derived rules recover 11/11 exact selectors, showing that rules are effective delivery artifacts while ECK supplies source binding, validation state, impact, and freshness. Exact changed-line impact matches independently authored labels on all 26 patches (12 unit links; precision, recall, and F1 all 1.000). AST-bounded fingerprints classify 50 positive changes and 17 unrelated same-file controls correctly, whereas static rules snapshots detect none of the 50 stale cases. Model-backed patch-review and cross-layer studies measure projection fidelity rather than independent impact discovery. These results support a hybrid architecture: retrieval for coverage, ECK for source and evidence governance, and projections for delivery.

| Comments: |  |
| --- | --- |
| Subjects: | Computation and Language (cs.CL) |
| Cite as: | [arXiv:2608.16295](https://arxiv.org/abs/2608.16295) \[cs.CL\] |
|  | (or [arXiv:2608.16295v1](https://arxiv.org/abs/2608.16295v1) \[cs.CL\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.16295](https://doi.org/10.48550/arXiv.2608.16295) |

## Submission history

From: Xueping Gao \[[view email](https://arxiv.org/show-email/010e3dc7/2608.16295)\]  
**\[v1\]** Mon, 17 Aug 2026 09:07:45 UTC (23 KB)

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.16295) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))