Criterios de cierre del frente final del lenguaje SV
1. Naturaleza
El cierre de este frente no exige perfección absoluta, pero sí una coherencia técnica suficiente, verificable y mantenible.
2. Condiciones mínimas de cierre
Para declarar cerrado este frente deberán concurrir, al menos, estas condiciones:
- contrato diagnóstico suficientemente reconciliado o, en su defecto, deuda perfectamente localizada y gobernada;
- cadena de implementación coherente con la IR y con la frontera normativa;
- suite y evidencia capaces de sostener el estado público declarado;
- documentación pública sincera y sin sobreatribuciones;
- ABI semántico-diagnóstico mínimo identificado para el salto posterior al backend.
3. Condiciones de no cierre
No podrá declararse cerrado el frente si:
- persisten contradicciones no gobernadas entre IR, errores y validator;
- la emisión observable del sistema contradice el contrato público sostenido;
- la documentación pública afirma más de lo que el código y la suite acreditan;
- se desplaza el trabajo vivo hacia backend sin haber fijado antes el núcleo que debe preservarse.
4. Cierre prudente
Si subsisten deudas menores no bloqueantes, el cierre deberá declararse como cierre de fase con deuda reconocida, nunca como clausura perfecta ficticia.