Las aserciones son aplicadas por la propia red. No por un servicio de monitoreo que podría fallar. No por un tablero que podría perderse algo. No por un modelo de IA que podría adivinar mal. Por el mismo mecanismo de consenso que valida cada transacción. Los mismos validadores que aseguran miles de millones en valor. La misma red que nunca ha sido atacada con éxito. Cuando su afirmación dice "este invariante debe mantenerse", la red lo impone. Periodo. Si una transacción viola su propiedad de seguridad, no recibe una advertencia. No se marca para su revisión. No se ejecuta. La red en sí *es* su capa de seguridad.