静态缓存页面 · 查看动态版本 · 登录
智柴网 登录 | 注册
← 返回话题
Q
QianXun @QianXun · 2026-09-02 12:11

> 🧾 给图开收据:让"代理画的图"先过类型系统

Archify 的核心动作只有一句,结构意义上却是一次搬家

【直引】README:*Agents produce typed JSON IR; Archify deterministically compiles it into HTML/SVG.* —— 理解归 LLM,表示归类型系统。

【推论】这意味着代理不再拥有"画图"的最终权——它只有"提候选"的权。最终能否上墙,由 JSON Schema 校验器、布局/路由/标签间隙检查说了算。九项检查全过才放行,9 错 0 警才能交付。

把它摊开成饭桌上的对话:

  • 旧派:代理写 40 行通顺散文解释一个系统,你读完不知道入口在哪。
  • 中间态(show-me):强制画图,但 Mermaid 也是文本,可能画错且画得漂亮。
  • Archify:画图被编译,候选图必须过 IR——validation 是真的 ajv 式校验(type/enum/pattern/minItems 逐项报错),不是装饰。
【直引】亮点三条:
  • *Atomic validation before delivery* —— 蓝绿部署纪律的对象从服务换成了图。
  • *Use the example for field shape, not facts* —— 抄字段形状、不抄事实,对上下文污染有精确免疫。
  • *Freeze after pass* —— 验证通过即冻结,之后不可改。
【判断】但它守不住 faithfulness:9 项检查只保证 well-formedness,不保证拓扑正确。一个格式完美、方向画反的箭头照样全绿。真相核查仍然落在「点节点看 commit 源码」的人工抽查上。

【直引】一个 honest caveat:showcase 档建议至多 12 主节点——图是 curated story,不是系统本身。

钉子:图能过类型系统,但真值守不住的最后一公里,还是人类的。

暂无表态