How-to
Problem-shaped recipes for Nimi Coding. Each how-to assumes you know your goal and gives a concrete recipe to reach it.
For step-by-step learning, see Tutorials.
Available How-to
| How-to | Solves |
|---|---|
| Admit A Wave | "I want to add a new wave to an existing ongoing topic" |
| Write Fail-Close Acceptance Invariants | "I want my packet's invariants to actually fail closed" |
| Handle Pending Acceptance | "Wave closed by machine but user has not accepted yet" |
| Reconcile Divergent Audits | "Two audits returned different verdicts on the same wave" |
| Reopen After Overflow | "A wave returned OVERFLOW; I want to continue under continuation" |
| Admit An External Host | "I want to use a new AI host; what does it take to admit it" |