pub const MAX_ABDUCTION_DEPTH: usize = 64;
Max backward-chaining depth for abductive explanation (bounded, zero-heap).