Invariance of Factorization-Level Identifying Formulas Under the Induced Observational Law