Six axioms force the unique branching code B₃, ₂ and its 29 irreducible observable types
Wes Johnson (Mon,) studied this question.