How-to

How-to 是一组按问题组织的操作手册。你已经清楚自己要解决什么，下面这些条目给你一份具体的处置流程。

如果你想从零开始系统学一遍，参考 Tutorials。

已有条目

How-to	解决的问题
准入一个 Wave	"我想在一个进行中的 topic 下加一个新 wave"
写出 fail-closed 的验收不变式	"我想让 packet 的不变式真正能 fail-closed"
处理 pending acceptance	"wave 已按机器标准关闭，用户还没确认"
对齐分歧的审计结论	"同一个 wave 上两次审计给出了不同结论"
OVERFLOW 之后续接	"wave 返回 OVERFLOW，我想以续接形式继续"
准入一个外部宿主	"我想换一个 AI 宿主，准入它需要满足什么"