As asserções são impostas pela própria rede. Não por um serviço de monitoramento que pode cair. Não por um painel que pode perder alguma coisa. Não por um modelo de IA que pode adivinhar errado. Pelo mesmo mecanismo de consenso que valida todas as transações. Os mesmos validadores que garantem bilhões em valor. A mesma rede que nunca foi atacada com sucesso. Quando sua afirmação diz "este invariante deve ser válido", a rede a impõe. Período. Se uma transação violar sua propriedade de segurança, ela não receberá um aviso. Ele não é sinalizado para revisão. Ele não executa. A rede em si *é* sua camada de segurança.