Ingeniero de confiabilidad de ARIEL
Solo «VERIFICADO» cuenta como terminado: lo decide código determinista con datos reales del servidor, no el texto del modelo.