Research questionWhen does unique factorization under a fixed finite-monoid observation admit a finite-state canonical presentation?Unique exact factorization can coexist with infinitely many valid prime-return rules, so a finite quotient alone does not guarantee a finite canonical presentation. The central difficulty is determining when those rules can be represented by finite residual controllers.