Constant HALT 

pub const HALT: u32 = 0x0000_200B;

ecalli 0 — HostCall(0), the clean trampoline halt both engines surface as exit_reason = 4. Appended by the replay harness, not stored in vectors.