This paper presents a possible path which starts from the extended BRST Hamiltonian formalism and ends with a covariant Lagrangian action, using the equivalence between the two formalisms. The approach allows a simple account of the form of the master equation and offers a natural identification of some ‘non-canonical’ operators and variables. These are the main items which solve the major difficulty of the extended BRST Lagrangian formalism, i.e., the gauge-fixing problem. The algorithm we propose applies to a non-Abelian Chern–Simons model coupled with Dirac fields.