FloatingPragma

Investigación abierta sobre la consistencia del observador finito en física: teoremas y lemas verificados en Lean, simulaciones reproducibles, contraejemplos explícitos y puentes físicos abiertos claramente rastreados.