Octorato 6.0: De cobertura a cumplimiento
Octorato 6.0 deja de etiquetar sus rejas y las demuestra: cada puerta que bloquea pasa una autoprueba con un caso que debe negar y otro que debe dejar pasar, en cada push.
Por qué importa Una regla 'cableada' puede pudrirse sin que nadie lo note. Octorato 6.0 hace que cada reja se rompa a propósito en cada push y vuelva a cerrarse; si no cierra, el push no sale. Y te dice dos números por separado: cuánto está cubierto y cuánto está forzado de verdad.
Octorato 6.0: De cobertura a cumplimiento
En 4.0 cada regla tenía que nombrar su mecanismo. Eso prueba que existe, no que funciona. Una reja puede seguir listada mientras su lógica ya no bloquea nada.
Qué cambió
Cada reja fail-closed lleva ahora su autoprueba: un caso que debe negar y un caso que debe dejar pasar. El chequeo de salud las corre todas en cada push; si una deja de morder, el push falla. Tres reglas subieron de prosa a reja real y se observó a cada una bloquear. Y la honestidad quedó impresa: cobertura y cumplimiento son dos números distintos, nunca uno disfrazado del otro.
Por qué importa
Un control que existe en papel te protege hasta el día que importa. En 6.0 el cerebro rompe sus propias rejas todos los días para comprobar que siguen cerrando.