//! The exit contract in ONE place: an error kind, its exit code, one
//! bail. stderr text stays plain (agents grep it), but "which code and
//! why" is now type-checked instead of scattered `exit(N)` calls.
pub
/// Print and exit with the kind's code — the single exit door for
/// hard failures (broken-pipe quits stay in pipeline's write path).
pub !