FloatingPragma

關於物理學中有限觀察者一致性的開放研究：經 Lean 檢驗的定理與引理、可重現的模擬、明確的反例模型，以及清晰追蹤的開放物理橋樑。