How-to
为 Nimi Coding 准备的、问题导向的菜谱。每个 how-to 假设你知道目标、给一份具体菜谱抵达。
逐步学习,见 教程。
可用 How-to
| How-to | 解决 |
|---|---|
| 准入一个 Wave | 「我想给一个 ongoing topic 加新 wave」 |
| 写 Fail-Close 接受性不变量 | 「我想 packet 的不变量真 fail-close」 |
| 处理 Pending Acceptance | 「Wave 机器一侧闭了但用户还没接受」 |
| 调和分歧审计 | 「同一 wave 两个审计返不同裁定」 |
| Overflow 后重开 | 「Wave 返 OVERFLOW;想在续作下继续」 |
| 准入外部 host | 「我想用一个新 AI host;要什么才能准入」 |