Myominaung Unified Theory (MUT) v4.1: Proof Package for Core Constants and Laws | Synapse