Linear halving generalization of Lazard correspondence

Definition
This is a generalization of the Lazard correspondence, intended to tackle a situation where the Lie bracket/group commutator has a linear half but it is not unique.