schimbarea de la "auto-formalizare" la "auto-formalizarea tuturor scuzelor din depozitele publice Lean4"