STCT-FOUNDATION Formal Axiomatization of Rough Operator Algebra and the Seonggil Field Equations via von Neumann Algebras | Synapse