控制论工程(wiki)
上级:cybernetics
- self-reference-classics —— 规划与控制中的经典自指现象(元推理、良好调节器定理、哥德尔机、不动点、元学习)。
Agent-机器工程(2026-07-18 由 utter-manual 构建过程晋升而来)
- audit-the-artifact —— 审计契约:真实字节必须独立获取,绝不能只是断言或计划;非文本媒介要用硬工具核验
- fix-the-generator —— 修复生成机器本身,绝不手工修补它的产出
- audit-the-whole-corpus —— 覆盖率要对照从根目录枚举出的完整语料来审计;蒸馏验证是双向的
- package-load-gate —— 机器必须把自己的理论打包成可加载的 skills,在生成之前加载它们,并在审计时以此为门槛
- testing-software-3-0 —— evals 主流路线与信任基底栈的对比,外加八篇实践笔记(golden-set、scorer-panel、nondeterminism-statistics、trace-evals、regression-ci、online-evals、runtime-guardrails、automated-red-teaming)
- context-compaction —— harness 在窗口上限处做什么:摘要续行、为什么接受有损、为什么验证是个 eval 问题
交付表现度量
- dora-metrics —— DORA 交付指标:四个关键指标及其后续演变、数字的来源、局限(Goodhart、层级错误),以及我会怎么用
内部 agent 工具的评估与安全
- eval-for-internal-tools——给别的开发者用的工具怎么做 eval:ATDD 与可审计。
- agent-safety-layers——安全分层:一层一个机制,层间不替代。