B-17 · Low

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

guarantees.md says Kani runs by hand; CI runs it

Breaks	Status	Mitigation	Closes in
—	Closed (8bf52c9)	Corrected in `guarantees.md` and `verification.md`	A

The guarantees it narrows

None: a process or availability row.