FloatingPragma

关于物理学中有限观察者一致性的开放研究：经 Lean 检验的定理与引理、可复现的模拟、明确的反例模型，以及清晰追踪的开放物理桥梁。