Likelihood-based identification of logical operations from syndrome histories in qLDPC codes, with exact inference, scalable approximations, and analysis of identification limits.