Las afirmaciones son impuestas por la red misma. No por un servicio de monitoreo que podría fallar. No por un panel de control que podría pasar algo por alto. 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 tu afirmación dice "esta invariante debe mantenerse", la red la impone. Punto. Si una transacción violaría tu propiedad de seguridad, no recibe una advertencia. No se marca para revisión. No se ejecuta. La red misma *es* tu capa de seguridad.