FloatingPragma

Open research on finite observer-consistency in physics: Lean-checked theorems and lemmas, reproducible simulations, explicit countermodels, and clearly tracked open physical bridges.