Fair point! Updated. I’m definitely coming at this more from a Lean 4/formal methods perspective than a POSIX one.