智能体:理论 ↔ 代码 对照卡

每张卡三栏对照:教科书概念 │ 平台源码落点(实时读仓库) │ 形式化对象。 共 4 张卡。
A · 智能体即解释器
第 2 周工具调用范式③:claude-code 原生车道(把工具调用外包给运行时)
单体工作区助手套进 react-over-text 全是成本没收益(实测 76 调用 0 执行); 正解是开第二条车道:直接原生跑 claude-code,native 工具开、流式事件映射回平台 SSE。
第 2 周工具调用范式②:原生 function-calling(结构化 tool_calls)
原生 FC 把工具调用从"文本 + 正则"提升为"结构化 + schema 校验",从根上消除了 格式飘移与 path/file_path 不一致。它应当作主车道,react-over-text 退为 fallback。
第 2 周工具调用范式①:react-over-text(把工具调用当散文手写 JSON)
react-over-text 把工具调用降格成"生成文本 → 正则解析 JSON",是 0 执行 / 格式飘移 / path-vs-file_path 不一致的总根源。它适合做 fallback,不该当主车道。
C · 安全、编排与产物
第 8 周硬沙箱:把'写文件'这一 effect 限制在能力边界内
prompt 约束挡不住模型(实测它把 5 次 WriteFile 全写到 F 之外、还跑偏续跑别人的研究); 必须工具层硬拦。只拦写不拦读;Bash 靠 CWD + dangerousCommandBlock(shell 无法工具层硬沙箱)。