跳到主要内容

图优先设计

源码是产物。图是工作面。​

源码文本对人类和代码审查很友好，但对程序理解来说是弱接口。

Agent 需要：

  • 无需阅读整个文件就能聚焦相关上下文
  • 知道调用解析到何处
  • 避免过时的编辑
  • 更改相关结构
  • 在写入源码之前获得验证

语义导航​

Agent 应该能从符号、诊断信息、调用、capability、模块或节点 ID 出发，收集相关的语义切片。

zero graph --json examples/hello.0

示例输出：

zero-graph v1
origin source-text
module "hello"
hash "graph:b8a019041020df03"

node #ea5ea1ca Function name:"main" type:"Void" public:true fallible:true
node #f9ce8b3e Param name:"world" type:"World"
node #421a4d4b MethodCall name:"write" type:"Void"
node #610c78bf Literal type:"String" value:"hello from zero\n"
edge #421a4d4b arg #610c78bf order:0

精确编辑​

图编辑目标指向编译器节点和字段，带有 graph-hash 和预期值检查，而非仅依赖行号范围或源码文本匹配。

zero graph patch examples/hello.0 \
  --expect-graph-hash graph:b8a019041020df03 \
  --op 'set node="#610c78bf" field="value" expect="hello from zero\n" value="hello graph\n"'

验证重构​

重构可以表示为对已解析程序结构的操作：重命名这个函数节点、替换这个已解析的被调用者、更新这些相关引用。

一个图 patch 可以通过编译器完成验证、降级、写入、格式化、重新解析和检查。