Expand description
The residue classifier (§11, owner decision Q5; U3 in docs/assumptions.md):
which unit endings Planarian did not cause are a person’s stop, taken as
intended until the next boot, and which are faults or alarms. Pure, so
its rules are checked by Kani (kani.rs) in Phase A and by Verus in C.
Structs§
- Ending
Facts - What the daemon observed about one unit between two ticks.