Fase 03 — Correctitud e ingeniería adversarial

Usá testing y métodos formales para decir qué debe sostenerse, y exploit labs para atacar los supuestos.

Salida: cada módulo tiene invariantes útiles, secuencias adversariales, fallas inyectadas, regresiones y una declaración honesta de lo que no quedó probado.