pub const EXIT_REFUSED: u8 = 10;
The exit code of a refusal: the operation is well-formed and the state of the tree says no. The executable’s contract already spends 10 on “contract unmet”.
10