FloatingPragma

Pesquisa aberta sobre consistência de observadores finitos na física: teoremas e lemas verificados em Lean, simulações reprodutíveis, contra-modelos explícitos e pontes físicas abertas claramente rastreadas.