Macro assert_always 

macro_rules! assert_always {
    ($condition:expr, $message:expr) => { ... };
}

Assert that a condition is always true.

Tracks pass/fail in shared memory for cross-process visibility. Does not panic — records the violation via record_always_violation() and logs at ERROR level with the seed, following the Antithesis principle that assertions never crash the program.