pub const HALT_LIFTED_OUTCOME: &str = "halt-lifted";
How a run recording an operator lifting a halt ends.