跳转到内容

前沿术语手册

每个词三行:它是什么(大白话)、它在我们这对应什么或我们还没有什么。分九块:前七块和课程的七件事一一对应,第八块是开源消化板块的词,最后一块是这些词背后的老手艺。碰到生词先来这查,查不到就发我,我加。

共 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 课。
真源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 课。
失败即关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 常识,不逐条列。发现错漏请直接告诉我。