前沿术语手册
每个词三行:它是什么(大白话)、它在我们这对应什么或我们还没有什么。分九块:前七块和课程的七件事一一对应,第八块是开源消化板块的词,最后一块是这些词背后的老手艺。碰到生词先来这查,查不到就发我,我加。
共 144 个词。第 3 版新增“开源消化”一节 24 词、第 5 课 10 词、第 6 课 9 词、第 7 课 4 词、第 8 课 4 词、第 9 课 6 词、第 10 课 3 词、第 11 课 3 词、第 12 课 3 词、第 13 课 3 词、第 14 课 3 词、随问加 1 词,来自克老师 9 月 11 日送来的集团开源档案。标“我们还没有”的,就是路线图里的候选项。
- actoractor
- 一个 agent 的稳定身份,像工号。换机器、换账号、换模型都不变。
- actor_id,人只用
actor://找人。 - Agent CardA2A Agent Card
- 放在约定网址的一张机器名片,写着我是谁、会什么、怎么连我,可以签名防篡改。签名不等于授权。
- 对内有 Current,对外没有名片。
- 工作负载身份SPIFFE / SVID
- 给“程序”而不是“人”发的身份证,短期、自动续、可验证。云原生世界的标准做法。
- 每席一张 mTLS 证书,思路相同,只是手工发。
- 双向证书校验mTLS
- 连接的两边都要出示证书,指纹对不上就断。防冒充也防中间人。
- 站内信的对等连接全部走它,指纹钉在每席配置里。
- 能力令牌capability token(macaroon、Biscuit)
- 一张“能做什么”的票,可以层层收窄后转交,拿票即可办事,不用查谁是谁。适合 agent 之间委托。
- 授权还是靠文字清单和人判断。
- 了解你的 agentKYA, Know Your Agent
- 支付网络给代客下单的 agent 做身份核验,像给人做的 KYC。Visa、Mastercard、蚂蚁 2026 年 9 月同推。
- 一碰支付就要。
- MCPModel Context Protocol
- agent 连工具和数据的标准接口。2026 年 7 月起无会话、可走普通负载均衡;归 Linux 基金会。
- Claude Code 插件全走它,Telegram 桥、站内信桥都是 MCP 服务器。
- A2AAgent-to-Agent
- agent 之间互调的标准:任务有编号、有状态、能流式推送、带产物。1.0 于 2026 年 3 月,8 月进 AAIF。
- 站内信是自家协议,回执比 A2A 严,但外部接不进。
- WebMCPWebMCP
- 网页主动向浏览器里的 agent 暴露“可调用的功能”,而不是让它点屏幕。W3C 草案。
- 做客户网站时要考虑。
- 至少一次at-least-once
- 投递保证:宁可重发不可漏发。跨网络的“恰好一次”不存在,只能靠收件方去重。
- 站内信是这个模型,重发正常。
- 幂等键idempotency key
- 每条消息或请求带唯一编号,收到第二次直接忽略。去重的标准做法。
- 去重靠 agent 自己认,系统没有去重表。
- 发件箱模式outbox pattern
- 先把要发的消息写进本地数据库,再由后台送出。进程死了消息还在。
- 站内信有 outbox 表。
- 死信队列dead-letter queue
- 反复送不出去的消息单独放一个队列,等人看,不无限重试也不丢。
- 送不出去的消息目前没有专门去处。
- 回执receipt
- 收件方本人签的字:读了、做了、复核了,分开回传。机器签的“送达”不算。
- READ / CONSUMED / AUDITED 三个动词。
- 义务obligation
- 一次投递的账目:发出即欠,回执推进,完成才销。
- 每条 notify 返回一个 obligation 编号。
- 背压backpressure
- 下游处理不过来时让上游慢下来,而不是堆积到崩。
- 看门狗曾每几分钟重发求助,就是缺这个。
- 按名取回fetch by name
- 回传文件名在打包时写死,写包的一方自己去各处认领,不靠人转交。
- 咨询回传「回给-机器-席名-主题-日期-版本」,写包的席六台只读找,5 分钟一轮、48 小时封顶。第 19 课。
- 约定优于配置convention over configuration
- 照固定格式起名,程序就自动找得到,不用另写配置。
- 回传命名约定让取回工具不用问任何人。第 19 课。
- 载体carrier
- agent 跑在里面的壳,一个具体进程。可换,身份不随它换。
- Claude Code、Codex 进程,跑在 tmux 里。
- wake 元组wake tuple
- 通信服务手里的一组坐标:载体类型、窗格编号、会话名、工作目录。靠它叫醒 agent。
- 重拉验收八个事实之一
wake_tuple_current。 - 监督者supervisor:launchd / systemd
- 系统级管家,负责拉起、看护、重启常驻进程。配错会变崩溃循环。
- 通信服务由 launchd 托着;OpenClaw 僵尸就是它拉错了五个月。
- 持久执行durable execution
- 任务每一步的状态存在引擎里,进程死了从断点续,步骤不重复。Temporal、Restate、DBOS 是代表。
- 只有进程级续跑(
--resume),没有任务级断点。 - 检查点checkpoint
- 把当前进度存一份,出事从这里接着来。持久执行的基本动作。
- Task Plan 的“每完成一步当场打勾”是手工检查点。
- 长事务补偿saga
- 跨多步的任务失败时,按相反顺序执行“撤销动作”,而不是回滚数据库。
- 迁席失败没有标准撤销序列。
- 沙箱sandbox
- 隔离的执行环境,出不来进不去,出事只坏里面。
- 隔离靠 macOS 用户和权限清单。
- 微虚拟机microVM(Firecracker)
- 毫秒级启动的超轻虚拟机,每个任务一台,比容器隔离强。Rivet、E2B 这类运行时的底座。
- 无。
- WebAssemblyWASM / WASI
- 一种可移植的程序格式,任何语言编译后都能在隔离环境里跑。Rivet agentOS 用它装载 agent。
- 无。
- 十二要素12-factor app
- 老而有效的服务规范:配置进环境变量、进程无状态、日志当事件流、用后即弃。
- 载体契约就是它的 agent 版。
- 不可变镜像immutable image
- 运行环境打成一份只读镜像,换机器整份搬,不逐个装。
- 环境靠工具一把把带。
- 任务书编译taskbook compile
- 开工前把编队要做的事写成消费者结果、欠交、依赖图、写域、什么算完五个字段,用编译器检查;过了才开工,编译过不等于任务书写完。
- 编队 v2.1 的 taskbook-compiler;阿匠 9 月 21 日给知识中心编了七张卡。第 15 课。
- 收轮close_round
- 每轮结束交五样:判了什么、有没有退件、用的哪一版、派了什么、派完各席实况;一个 DONE 标记单独不算结果。
- formation-coordinator 的 close_round;线 B 首轮已人工交五输出。第 15 课。
- 规格驱动开发spec-driven development
- 先写规格再出计划再拆任务,规格是真源,代码从规格长出来。
- 任务书编译器是同一个形状;GitHub spec-kit 十三万八千星。第 15 课。
- 六块计划six-block plan
- 消费者结果、起点、交付单元、赋能包、接口差异、什么算完与集成;每单元四栏加领活人、验收席、消费者、依赖;编译可复算。
- GP 第 2 环节 gp-plan;与编队 v2.1 任务书编译同思路,两套待合。第 16 课。
- 回退入口rollback entry
- 装完必须留的一条命令:退回上一个好版本,只撤本包受管的东西。
- GP 装机每台一条 rollback.sh;升级那件交接必须写它。第 16 课。
- 钉版version pin
- 把工具钉在确定版本上,升级是一个有记录的动作;新版钉上,旧版留着能退。
- 六机 claude 从 2.1.278 钉到 2.1.280,每机留换钉记录。第 17 课。
- 自然边界natural boundary
- 一席手上的活做到能停的地方:空闲、交完件、草稿保得住;换载体换模型只在这里换。
- 克老师连续三次空闲才拉;编队“在跑单元到自然边界再切”。第 17 课。
- 上下文窗context window
- 模型一次能看在眼里的 token 上限,满了要压缩或忘掉一部分;不是记忆。
- Opus 5.5 默认一百万;状态行 ctx 百分比就是它。第 17 课。
- 用力档effort level
- 同一模型回答前想多深:low 到 max;档越高越慢越费额度。
- 编队换 Opus 5.5 定 high;Codex 屏上 xhigh。第 17 课。
- 共享池shared pool
- 很多席共用的一份资源:一台机的内存和登录名额、一个号的周额度、一份全机共用的记录;一个用多了,别人跟着少或一起倒。
- OC2 16 GB 上放着 9 个 Claude 席;一个号的周额度所有模型共用。第 18 课。
- 资源上限resource requests / limits
- 每个东西写明要多少、最多多少;超了只杀它自己,调度器按“要多少”算一台机还放得下几个。
- 席位和测试都没写上限;node 测试可设
--test-concurrency和--max-old-space-size。第 18 课。 - 做完归零teardown
- 编队做完,载体一律收场:退进程、关窗格,家目录和证据留着,要用能再起。
- 09-25 收场令收掉 32 个做完的载体,在跑载体目标 35 个以内。第 18 课。
- 吵闹邻居noisy neighbor
- 同一台机上一个用得太猛的东西,拖慢或拖倒旁边的。
- 旅行编队两套并行测试拖倒整台 OC2。第 18 课。
真源、状态与记忆
Section titled “真源、状态与记忆”- 真源source of truth
- 一个事实只有一个权威出处,别处都是它的副本或推导。两个出处就是两套事实。
- 位置真源是 runtime 的 Current。
- 事件溯源event sourcing
- 不存“当前状态”,只存“发生过的事”,状态随时从事件推导。可回放、可审计。
- 站内信“状态从回执推导”就是它。
- 命令查询分离CQRS
- 写走一条路(记事件),读走另一条路(预先算好的视图),互不拖累。
- Current 还是直接写的。
- 投影projection
- 从事件流算出来的一张“现在的样子”的表。事件是原件,投影是复印件,可重算。
- 候选:Current 改成投影。
- 单写者single writer
- 每个事实只允许一个 owner 改,别人只能提议。最便宜的一致性。
- 管管定的“位置只读 Current”就是单写者。
- 乐观并发optimistic concurrency / 版本号
- 改之前看版本号,版本号变了就说明有人先改了,重来。不用锁。
- JSON 文件手改,没有版本号。
- 无冲突复制数据CRDT
- 一种数据结构,多方各改各的,合并时数学上保证不冲突。协同编辑用它。
- 多席同改一份事实时目前靠人协调。
- 预写日志WAL
- 先把要做的事写进日志再真正做,崩溃后按日志补齐。数据库的保命机制。
- SQLite 自带。
- 双时态bitemporal
- 每条事实记两个时间:什么时候为真、什么时候被记下。能回答“上周三我们以为是什么”。Zep 的 Graphiti 用它。
- 记忆没有时间维度。
- 知识图knowledge graph
- 把事实存成“谁-关系-谁”的网,查关系比查文本准。
- 记忆是文件。
- 记忆块memory blocks(Letta)
- agent 自己维护的几段常驻记忆,能改、有版本、可审计,其余归档可检索。
- 本席的 memory 目录是手工版。
- 休眠期计算sleep-time compute
- agent 空闲时后台整理记忆、预先推理,忙时直接用。Letta 提出。
- 无。
- 检索增强RAG
- 回答前先从资料库检索相关片段塞进上下文。便宜但会“相似不等于相关”。
- Group OS 的文档读取是简化版。
- 上下文工程context engineering
- 决定每次给模型看什么、不看什么、以什么顺序。比提示词工程更上一层。
- 恢复锚、只读记忆、Skill 按需加载都是它。
- 意图intent(ESAA)
- agent 想做什么的结构化声明。agent 只发意图,落盘由编排器校验后做,说过的才等于做过的。
- Goal、Task Plan 还是 agent 直接改。
- 流水journal
- 持久执行引擎记录每一步结果的账本,崩溃后从已完成的一步接着来。
- 无。
- 持久承诺durable promise / awakeable
- “等某人某事”的占位符存在引擎里,进程可以先退出,事来了再续。审批等待的标准做法。
- 等人审批时 agent 只能干等。
- 物化视图materialized view
- 预先从原件算好并存起来的“现在的样子”。投影在数据库里的叫法。
- 候选:Current 改成它。
- 期望版本expected version
- 写入时声明“我以为现在是第几版”,对不上就拒绝。乐观并发的具体做法。
- 无版本号。
- 文件级认领file claim(AgentRoom)
- 并行 agent 改代码前先认领文件,避免同时改一处。
- 多席改同一仓库时靠 worktree 隔离,接近。
- PlanFencePlanFence
- 计划引用它依赖的记录版本,执行前校验依赖没变,变了就重规划。防“记忆已新、计划仍旧”。
- Task Plan 不引用依赖。
- 遗忘策略forgetting policy
- 记忆按类型衰减、替换,或在使用时压住过期项,档案不删。记与用分开。
- 记忆只增不减。
- 轨迹回放trajectory replay
- 钉住已捕获的每个节点输入,只重跑被改的节点再打分。多 agent 调试的省钱做法。
- 无。
- SkillAgent Skill / SKILL.md
- 一份“何时用、怎么用”的方法说明,agent 按需加载。跨 Claude、Codex、Cursor 通用。
- 中文 Skill 是集团主要能力资产形态。
- MCP 注册表MCP registry
- 可发现的工具服务器目录,agent 按需要查、按权限连。
- 集团资产目录是它的雏形,登记率低。
- 软件物料清单SBOM
- 一份“这个东西由哪些部件组成”的清单,供应链出事时能查到。
- 装 Skill 前没有清单。
- 供应链攻击supply-chain attack
- 在你依赖的工具、插件、技能里下毒。技能市场是新的攻击面。
- 今天拒装 Impeccable 的自动下载 hook,就是防这个。
- 白名单allowlist
- 只允许清单上的,其余默认拒绝。比黑名单安全。
- Telegram 的发件人、Skill 的来源都该走它。
- 渐进加载progressive disclosure
- Skill 先只暴露名字和一句描述,命中后才载入正文与资源;省上下文,也是 Agent Skills 规范的核心。
- 每席能力清单就是这么发现的。
- 三层合成
- 每席启动能力等于一个公共包加所属团队包加恰好一个逐席 overlay,编译成正文复制给每个壳。
- 阿匠 07-27 的编译器做的事。
- 插件合同plugin contract
- 每个插件必须声明:提供什么、需要什么、发哪些事件、是否常驻、副作用可逆、provenance、档位。
- 46 号的 plugin.yaml;我们还没有。
- Skill 三态门SAFE / CAUTION / DO_NOT_INSTALL
- 扫描器对一个 Skill 的判定三态,fail-closed,基线抑制只报新发现。
- SkillSpector、aig-skill-scan 排进了戊席首票;我们还没上。
- 供应链投毒supply-chain poisoning
- 把恶意指令藏在技能、插件或其前置条件里让 agent 或人自己执行;技能市场是主要攻击面。
- ClawHub 事件、Hermes 09-08 误删事故都是它。
- 顾问不施工advisor, not builder
- 外脑只出方案、挑毛病、写骨架;落库、测试、上线归执行方。
- GPT Pro 管想,席位管做;oracle、APR 同样分工。第 19 课。
- 续问稿follow-up draft
- 回答没答全时,只把缺口和必要旧结论打成新包再问,不从头问。
- 接回工具对 PARTIAL/MISSING 生成 FOLLOW-UP-DRAFT。第 19 课。
控制面与边界
Section titled “控制面与边界”- 失败即关fail-closed
- 缺证据时拦住。反义 fail-open:缺证据时放行。
- 文化上有,代码上不全(重拉工具那条校验)。
- 策略即代码policy-as-code(OPA、Cedar)
- 把“谁在什么条件下能做什么”写成可测试的规则文件,程序执行,不靠人记。
- 权限边界是文字。
- 最小权限least privilege
- 只给做这件事必需的权限,多一分不给。
- Cloudflare token 只有 Pages:Edit 是范例;但它不按项目隔离。
- 四眼原则four-eyes principle
- 高风险动作要两个人(或两席)确认。
- 跨机删除、生产写目前靠 Ling 一人授权。
- 变更窗口change window
- 只在约定时段做有风险的改动,出事有人在。
- 重拉席位挑“安静窗口”就是它。
- 安全监控暂停safety monitor pause
- 模型侧的看门人发现任务可疑,把它暂停等人审。GPT-6 Astra 公开版自带。
- 看门狗不认识这个状态。
- PreToolUse
- Claude Code 在工具调用前触发的 hook 点,在应用进程里跑,能拦、能补上下文,不占模型上下文。
- 本席删除守卫住在这里。
- 规则快路径rule fast path
- 不是每一步都让模型推理:查询、计算、格式转换这类标准动作直接走本地代码,只有真要判断的地方才调模型;省时省钱,简单操作让模型做反而容易错。
- 脚本、探针、删除守卫 hook 都是快路径;缺一张“哪些动作永远不进模型”的清单。和第 5 课的门、第 9 课的权威边界、第 13 课的账单是同一件事的三面。Ling 9 月 14 日问的。
- 偏航指标drift indicator
- 带红线的几个数,越线说明计划没被执行而不是执行慢。
- 未登记常驻持续七天大于 0;野会话持续三天大于 0;借用件超过 6。
- 可验收的命令
- 动作、对象与作用域、证据(哪一层、谁出)、解除条件四样齐的命令。
- 站内信给证据、Goal 给对象,解除条件最常缺。第 7 课。
- 解除条件exit condition
- 写在命令里的“什么算完、什么算坏”;满足就结束,不满足就止损。
- 多数票没写,任务挂着不结。第 7 课。
- 偏航五信号
- 克老师 136 号 v2 第 8 节的五条对号表:双写、等同意、在途涨接受不涨、只多身份文档、显示成功续不上;每条配一个止损动作。
- 已定,由观测核心实测后生效。第 7 课。
- 对象级止损circuit breaker
- 谁出信号停谁,退到上一个有证据的档,其余照跑;工程里叫断路器,三态闭合、断开、半开。
- 规矩已定,断路器没有代码。第 7 课。
- 共模失效common-mode failure
- 一群一样的东西在同一个地方同时坏;同构 agent 同步犯错、会串通。防法是加不一样:换模型、换角色、用探针。
- 多数席同一模型互相评审。第 8 课,来自 Anthropic 2026-08-13。
- 冲突法
- 共享资源谁可写、冲突谁停、少数意见怎么进真源,三句写在加人之前。
- 写域租约和 fencing token 是前两句,第三句没有。第 8 课。
- 内部人模型insider model
- 把 agent 当可能错位的内部人:监视看动作与权限不看独白,权限随已验证行为递增,高风险同步拦截。
- 门认退出码有;权限递增没有。第 8 课,来自 DeepMind 2026-06-18。
- 静默失败silent failure
- 不报错的失败:循环、预算耗尽、状态腐烂;没有仪表就等于成功。
- 看门狗只看进程在不在;OC2 网关五个月是它。第 8 课。
- 验证梯子verifier ladder
- 五级:可执行测试与精确匹配、模拟、复现已报告结果、仪器跟协议、专家评分无标准答案;级数越高机器越难免费判对错。自改进只在一到三级闭过环。
- 评测集十条是一级;多数文档类票在五级。第 9 课,来自 MetaRSI-v1。
- 三个可写面
- 被改进的系统是数据、模型参数、Harness 三元组;每次改动只写一个面,裁决在面外。Harness 五槽位:系统提示、记忆、内置工具、Skill、MCP。
- 能写数据和 Harness;不训模型。第 9 课。
- 权威边界authority boundary
- 循环七段里模型只做诊断和提案,其余五段是确定性代码;算子进框架的唯一条件是交出裁决权。
- 门认退出码不认模型文本,同一条边界;七段没成文。第 9 课。
- 密封评测器sealed evaluator
- 评测器、留出题集、发布规则、账本都在系统外,任何改进程序不能写;否则被最大化的数可以靠改测量涨。
- 评测集作者自己能改。第 9 课。
- 二阶改进meta-RSI
- 改“怎么改”:调度者改算子组合(横轴选谁、纵轴改策略),元层每期一次改调度规则;每层只写自己一格,人可以占任何一格。
- 这门课有方法页;集团没有调度者对象。第 9 课。
- GenomeRSIH
- 把一个 agent 的整套 harness 配置(提示、工具、Skill、命令、模型、运行时、策略、集成、外观、设置、快捷键、资源范围)收成一个可校验、可 diff、可分享的目录对象;字段所有权互斥,配置是补丁不是替换。
- 一席的 CLAUDE.md、settings、Skill、MCP、记忆散着,没有校验。第 9 课,来自 CosmosMind RSI-Harness。
- 最短链loop shortening
- 目标、执行者、能力、证据、状态、下一任务;任何新组件、新席、新流程只问它缩短了哪一段,只加汇报协调审批转述等待的不要。
- 回执线是短的;编制讨论要防拉长。第 10 课。
- 状态即总线shared-state coordination
- 每轮结果回写对象和事件日志,下一个从那里读;不两两聊天,避免通信爆炸。
- 事件日志路线已冻结;回写对象没规范。第 10 课。
- 能力闭环validated capability loop
- 任务类型、怎样识别、怎样拆、调什么能力、什么证据算成功、哪里易败、失败怎么修、生成什么资产,八字段一起存;比单存 Skill 值钱。
- capabilities 清单只有“调什么能力”一个字段。第 10 课。
- 假设树hypothesis tree
- 问题、假设、产物、证据、洞见组成的持久对象;短寿命执行者往上挂节点,长寿命协调者只看树;人审树不审嘴。
- Task Plan 是清单不是树。第 11 课,来自微软 Arbor。
- 证据闸门artifact-to-evidence gate
- 产物必须引用它依据的证据,对不上不交;长程任务最常见的死法是产出与检索证据对不上还自信交差。
- 五层证据有验证层,没有引用检查。第 11 课,来自 AutoResearch 失败诊断。
- 持久沙箱状态persistent sandbox state
- 工作区里的半成品和环境跨会话保留,重拉后从中断处续跑;长程 agent 的硬约束。
- 载体契约管钥匙不管状态。第 11 课,来自 Kimi K3。
- 按信号爬坡signal-gated ramp
- 并发分档,每档由实测信号解锁(在途对接受、等待与重试、各池额度余量),坏了退一档;不写死数字。
- 136 号 v2 第 4 节 S0 到 S3 已定,观测核心实测后生效。第 12 课。
- 候选队列candidate queue
- 要跑的实验或任务先排序,只答先跑谁不答绝对分数;算力瓶颈是选实验不是写代码。
- 工作图有关键路径,没有队列与排序依据。第 12 课,来自 Meta RPM。
- 人日human-days
- 一票对人要几天;验收看 agent 替掉多少人日,不看单轮准确率或完成件数。
- 票没有人日字段。第 12 课,来自 EdgeBench(134 个日级任务,专家平均约 57 小时)。
- 输入极重input-heavy
- 长程 agent 每轮重读大量上下文,工具调用越多越重,成本从生成转到读入;模型侧对策是压 KV 缓存与预填充成本。
- 一席每轮重读多少字没人量过。第 13 课,来自 DeepSeek-V4.1-Flash。
- 缓存价prompt caching
- 读过且没变的上下文按折扣价算;长跑任务账单看重读量和命中率,标价只管没命中的部分。厂商自述 agent 负载最多省近一半。
- 订阅额度是否按缓存折算,待核。第 13 课。
- 额度余量
- 各池剩余减预计消耗、已承诺维护、恢复余量后的数;不同模型、不同产品的百分比不相加;token、墙钟、算力、验证器查询四种预算不互换。
- 136 号 v2 第 4 节已定;读数靠派活前查额度脚本。第 13 课。
- 并列不覆盖non-overwriting revisions
- 每次变化记一条新修订,不同主语、条件、时间、观点的说法并排放,引用指回精确版本;不凭日期新自动赢。
- 阿匠知识中心验收第 3、6 条;本站 records 有校验和没有修订链。第 14 课。
- 分层精炼layered refinement
- 原文之上分摘要、事实、分析、建议、未知、条件六层;缺证据写未知,不强生分析,原材料里的提示词只当数据。
- 任务书 K 组七类精炼方法,尚未装载。第 14 课。
- 真实旅程验收journey-based acceptance
- 按一条真材料从来源到消费者的全程验收,再加一次更正和一条反馈才算首轮成品;组件绿、接口 200、文档数达标都不算。
- 任务书验收矩阵 E01 到 E18。第 14 课。
- 结果合同result contract
- 项目第一份文件:消费者是谁、怎么用一次、何时有价值、不做什么;两位负责人;HARD / PREFERENCE / ASSUMPTION 分开。
- GP 第 0 环节的 RESULT-CONTRACT。第 16 课。
- 逻辑环节stage, not gate
- 工序按顺序分段,但段与段之间不设签字门;只在决定生死的地方设门。
- GP 七个环节两道门:审核与赋能、验收与发布;Ling 9 月 22 日“不是七层批准”。第 16 课。
- 决策对象decision object
- 要人拍板的事做成对象:选项、过期时间、幂等键、不决定就怎么继续;到期按默认走,全队不挂在等待上。
- 克老师从 Paperclip 只借这四个字段;汇报线、董事会闸门不采。第 16 课。
- 四件交接four handoff files
- 交付、维护、升级、经验;README 第一屏给消费者;接手人演练一次恢复;未完成范围留名。
- GP 第 6 环节 gp-delivery。第 16 课。
- 无人值守结束 turnunattended end of turn
- 没人盯着的 agent,一条不带工具调用的消息就会让活停在那里;活没交齐前不总结收工、不等不会来的回答、不列一串其实不挡路的决定。
- Anthropic Opus 5.5 提示指南;培培 9 月 23 日写进十七席 CLAUDE.md。第 17 课。
- 爆炸半径blast radius
- 一个东西坏了能波及多远;能切开的池子切开,切不开的给每个用户写上限。
- 一个测试文件的半径是整台 OC2 加阿麦的 Telegram。第 18 课。
- 单元化cell-based architecture
- 把大系统切成互不相干的小单元,每格自带一份资源,出事只影响一格。AWS Well-Architected 有专题。
- 驭驭给 LG01、LX01、LT01 另开 herdr 专用 sshd,不占系统每机 42 个名额。第 18 课。
- 人发人下human send, human download
- 碰外部网页的发送、下载由人亲手做;程序只碰本地文件。
- Ling 拖包、点下载;不用程序操控 ChatGPT 网页。第 19 课。
- 外部候选external advisory candidate
- 外部回答的固定身份:可以明确推荐,但不是内部事实,也不是批准。
- 咨询回传标 EXTERNAL_ADVISORY_CANDIDATE / NOT_CURRENT / NOT_APPROVAL。第 19 课。
- 追踪trace / span(OpenTelemetry)
- 一次任务从头到尾每一步的时间线,每步一个 span。出事能看到卡在哪。
- 没有全链路追踪。
- GenAI 语义约定OTel GenAI semantic conventions
- 给模型调用、工具调用统一的字段名。截至 2026 年 7 月全部还是草案。
- 先做“一任务一条 trace”,别把字段名当合同。
- 评测eval
- 用固定题库反复测 agent,改动前后对比分数。没有评测的改动是猜。
- 路由、Skill 效果没有题库。
- 模型当裁判LLM-as-judge
- 让另一个模型打分。便宜但不稳,MAS-ProVe(ICML 2026)实测过程级裁判并不可靠提升。
- 纠偏原典反对判官链,方向一致。
- 规范驱动验证spec-driven validation(MAS-Lab)
- 先写清系统该怎么表现,再用同一份规范回放、注入故障来验。
- 验收靠人跑真实路径。
- 回放replay
- 把当时的输入原样再喂一遍,看是否得到同样结果。可复现是可修的前提。
- 事故靠取证记录复原,不能回放。
- 故障注入fault injection / chaos
- 故意断网、杀进程、延迟,看系统会不会按设计失败。
- 无。
- 形式化验证formal verification(Lean、TLA+)
- 把证明或协议写成机器能逐行检查的语言,通过就不用信作者。OpenAI 纳维-斯托克斯用 Lean;分布式协议常用 TLA+。
- 无。适合站内信状态机。
- 属性测试property-based testing
- 不写具体用例,写“对任何输入都该成立的性质”,让工具随机生成上千个输入去试。
- 无。
- 服务目标与错误预算SLO / error budget
- 先定“多少失败可以接受”,预算没花完就允许冒险,花完就只修不发。SRE 的核心。
- 无。
- 复盘blameless postmortem
- 事故后写清时间线、根因、改进项,不追究人。
- 取证记录接近,缺固定节奏。
- 金丝雀canary
- 先放一小部分试,绿了再全量。
- “canary 未绿前其余主机不动”是集团常用话。
- 关键路径critical path
- 依赖链上最长的那条路,它的长度就是计划最短工期;上面任何一项晚一天整体晚一天。
- 46 号工作图 19 天,八个节点。
- 写域write domain
- 一个工作项允许改动的文件范围,按路径前缀判重;并行项写域不得重叠。
- 第 4 课单写者在计划层的样子。
- 八条判据探针
- 把验收判据写成脚本能跑的探针:空日志判 0 对 8,绿色样本判 8 对 8;文档不算证据。
- 克老师 46 号 v1.3 的 acceptance_probe。
- 五层证据
- 产出、验证、送达、接受、结果,每层由不同的人或程序出证据;作者只能证明第一层。
- 送达最强(三级回执),结果最弱。第 6 课。
- 探针probe
- 一段脚本对系统问一个是非题,只认退出码,能重跑;空日志判零、绿样本判满两个方向都测。
- 八条判据探针骨架在,多数票没接。第 6 课。
- 评测集eval set
- 固定一组输入与期望,每次改动后重跑出分数。
- 还没有;建议核心流程十条每夜跑。第 6 课。
- pass^k
- 同一任务跑 k 次全部通过才算过;agent 不稳定,一次通过可能是运气。
- 建议核心流程 pass^3。第 6 课,来自 τ-bench。
- 消费者不是作者
- 接受层的证据必须由非作者产生。
- 验收三级写了规矩,对象还没有。第 6 课。
- trace
- 一个任务从头到尾的结构化记录,字段名有标准(OpenTelemetry GenAI)。
- 路线图第一优先级,还没有。第 4、6 课。
- 哈希链hash chain
- 每条记录带上一条的校验和,改一条后面全对不上。
- records 有 sha256 没有链。第 6 课,halo-record。
- 失败码failure code
- 给失败分类编码,才能统计和比较。
- 克老师用 MAST 的 14 种当码表。第 6 课。
- 偏航信号
- 带动作的观测指标,红了停那个对象,不停全队。
- 136 号 v2 的五条。第 5 课引入,第 7 课讲动作。
- 活性探针liveness probe
- 从外面定期看一个部件活没活;连着几次失败才算数。容器平台挂了就重启。
- 我们不重启席位,卡了四十五分钟升级到人。第 15 课。
- 就绪探针readiness probe
- 活着但还不能接活,先别给它派;和活性分开判。
- 停了二十分钟先提醒协调席;按批召唤的席位不设这道门。第 15 课。
- 进度账本progress ledger
- 编排者每轮问四句:做完了吗、在打转吗、有进展吗、下一个谁;连续几轮没进展就回去重规划。
- 收轮五输出是它的样子;升级链“连续三轮”是同一个计数。微软 Magentic-One。第 15 课。
- 升级链escalation chain
- 报警按级往上:先协调席,再 owner,全停才叫人;每级只投一次,已投不写成已读。
- formation-liveness 的 L1 到 L3;克老师线 A 四编队路由。第 15 课。
- 权威读数authoritative reading
- 正在跑的那个东西刚刚自己写下的数才算;启动命令、旧进程留的戳、屏幕状态行都只是线索。
- 驭驭换版三次错读后改读每条会话的运行记录。第 17 课。
- 渐进发布progressive delivery
- 新版分台阶放出去,每一级按写好的判据自动分析,过线才进下一级,不过线自动退回。
- Argo Rollouts;我们有金丝雀和终扫,判据还是人读的。第 17 课。
- 看门狗watchdog
- 定时看一个东西活不活,超时没动静就动手:重启、杀或报警。只看不动手的叫监控。
- OC2 09-24 07:28,画屏幕的进程 133 秒没响应,系统看门狗重启整机。第 18 课。
- 内存溢出OOM / OOM killer
- 内存用光。Linux 自带的内存杀手出手太晚;earlyoom 在可用内存和交换区都低于 10% 时提早杀最大的进程。
- 盘点席清单定“越线点名、不自动杀”;可重跑的测试才适合直接杀。第 18 课。
- 交换区swap
- 内存不够时系统把暂时不用的内容挪到磁盘;一直涨说明机器在硬撑。
- 09-25 实读 LN01 交换区 96%。第 18 课。
- 分组对冲direction hedging
- 把 agent 分成几组去证相反的方向,避免全军押一边。OpenAI 万 agent 的组织法。
- 异构复核 Skill 是小规模版。
- 脚手架问题scaffold problem
- 先攻一个更容易的相关问题,拿它的结论当梯子。
- 先修单机再推全队,同理。
- 交叉授粉cross-pollination
- 不同组之间定期交换中间结果,让一组的发现帮另一组。
- 席位之间靠站内信点对点,没有定期汇流。
- 形式化门闩formal gate
- 结果必须过机器检查才算成果,模型自称完成不算。
- done_when 必须有产物是文字版,机器版待建。
- 借用三律borrow-three-laws
- 集团对开源的宪法:借用不借常驻;钉版本、锁来源、不自动更新;每件有替身与退出日。2026-08-29 成文。
- 三律每条配一栏“违反的样子”,doctor 命令能查。
- 取用律
- 语义自建、管道借用:有我们自己判断的东西自己写,没有的直接用上游钉版本;许可只认 MIT、Apache-2.0、BSD,AGPL 只作外部服务。
- 写在 08-26 给外部模型的扫法 README 里。
- 产品形product-shaped
- 把几层整合成可用产品的项目,对应只做一件事的“零件”。08-28 扫法教训:按层找零件会漏掉横跨多层的产品。
- OpenWork、teamai-cli、OpenRath 是你自己找到的产品形。
- 空地greenfield
- 市面上没有产品形先例的槽位。写明空地之后,自建就不算重复造轮子。
- R4 空地清单:对象库、义务原语、放置、编队、灵魂谱系、组织计分等。
- 订阅原生subscription-native
- 项目通过我们已登录的 claude、codex、opencode 命令行干活;靠 API key 或代理的只能参照。
- R4 发现它已是这一代工具的默认形态。
- 替身stand-in
- 接进一个外来件时同时写好“不用它怎么办”,往往就是几条原生命令。
- 借用台账里替身栏为空就是违反三律。
- 退出日exit date
- 接进来时就定的决定日:二轮末收编、替换还是保留;改动超两成立即收编或替换。
- B0 六件全部写了退出日。
- 钉版本pin
- 每件版本钉死,安装包连同校验和存专仓,禁止 latest 与自动更新;升级是一张票。
- wemux 的裁决要求钉完整 40 位 commit,不写 tag。
- 三档接入adapter / rewrite / core
- 一个项目怎么进来:一档适配(原样装在接口缝后)、二档转写(抄机制用我们的语言重写)、三档内化(转写件被两个以上插件依赖后升为脊柱级)。
- 46 号 §四;一档件数上限 6,现 3。
- 三分标记provenance
- 登记件上必须标明来源:完全自研、借用(版本、退出日)、改写(来源、差异)。
- 你 09-02 追加;自研件将来是开源候选。
- seam 三角capability seam
- 能力缝等于定义加提供方加消费方三角;扩展只依赖定义,绝不依赖具体提供方。
- 借用件只能当提供方,换提供方不改消费者。来自 DSH 的 Cordis。
- 事件五模式emit / waterfall / parallel / serial / bail
- 类型化事件的五种分发方式。派工前用 waterfall(策略可改写或拒绝),评审用 bail(第一个拦住的说话),关单用 serial。
- 来自 DSH,转写进内核容器。
- 发行版profile
- 同一脊柱加不同插件组合打成一个可安装的配置;每台机的运行表是 host 级 patch。
- 五个 profile:control-plane、builder-node、runtime-only、founder-control、spike-lab。
- 借用台账borrow ledger
- 每个借来的件一行:版本、来源校验和、装在哪几台、适配层、替身、退出日、契约测试、卸载命令、从它学什么。
- 由锁文件生成,doctor 顺手核。
- 常驻resident
- 开机自启或长期运行的进程。三律第一条:外来件不许常驻,常驻只允许我们自己的且必须登记。
- NexusCrew 的争议点就是它带常驻控制面。
- 确定性门deterministic gate
- 只认退出码、校验和、结构化 JSON 判过不过;LLM 文本永不作通过信号。
- R4 规律、OpenWork 造手三件、anneal 三条,三个来源收敛到同一句。
- 门无声silent gate
- 只有非幂等外部效应才叫人,其余自动过;拦住时才说话。
- 评审门用 bail 模式实现。
- 效应分级EffectClass
- 每个动作标 none、read_only、idempotent、non_idempotent 四级,决定门要不要叫人。
- 来自 OpenRath,转写进票状态机。
- 围栏令牌fencing token
- 写域租约带的令牌;旧写者拿旧令牌写入被拒,防两条 lane 同写域。
- 来自 OpenRath;136 号 v2 里“接收写入的一端必须核 generation 拒旧写者”是同一件事。
- 外部建议候选EXTERNAL_ADVISORY_CANDIDATE
- 外部模型(GPT Pro、Grok、Kimi)回传的固定身份:只当证据,不是 Current,不是审批;采用后另出内部采用稿。
- 13 号 GPT Pro 裁决、wemux 回传都是这个身份。
- 裁决词LEARN_ONLY / ADAPT_LIMITED / NO_INTAKE
- 对一个候选的三种处置:只学它的对象与合同、有限适配一小块、本轮不接入。
- CrewAI 与 LangGraph 是 LEARN_ONLY,NexusCrew 是 ADAPT_LIMITED。
- 拔除演练removal drill
- 退出验收不是“写了替代计划”,是真把外部组件移除后,核心场景仍通、不需数据迁移。
- wemux 卡的退出验收;三律第三条的落地检验。
- 决策件数decision count
- 一份文件真正需要 Founder 拍板的事项数,写在文末。0 表示全在授权内可自行推进。
- 克老师的 44、46 号都标了;这是给你省时间的字段。
- 复审日review date
- 新增候选的退出或复审日期,不是后台计划或自动卸载指令。
- 本轮组织级框架的复审日是 2026-09-25。
老手艺:传统但有效,前沿也在用
Section titled “老手艺:传统但有效,前沿也在用”- Unix 哲学
- 小工具,各做一件事,用文本流拼起来。agent 时代反而更适用:模型读得懂文本。
- bin/group、aios-comm 都是这一路。
- SQLite
- 单文件数据库,零运维,事务可靠。多数“要不要上 Postgres”的问题答案是不用。
- 站内信、回执都在它里面。
- 追加式日志append-only log
- 只加不改的记录。事件溯源、审计、回放的地基。
- records 目录接近,缺统一格式。
- 清单checklist
- 外科和航空验证过的东西:把“必须做”写成可勾的项,按项勾。
- 重拉八个事实、迁席十条完成门。
- 运行手册runbook
- 故障发生时照着做的步骤书,写给凌晨三点的人。
- 稳稳的 rb 系列。
- 无聊技术boring technology
- 每个项目只允许有限的“新玩具”,其余用已证明的东西。前沿要用,但一次只押一处。
- 路线图的选型原则。
来源:课程各课的来源清单,加 Grok Build 2026-09-11 核证的调研;经典术语来自分布式系统与 SRE 常识,不逐条列。发现错漏请直接告诉我。