The MoSSAIC project introduces a formal framework to analyze how computational layers influence AI safety. Current research lacks a clean method to reason about how DRAM topology or quantization formats affect model properties. This framework fills that gap. Practitioners can now better identify security risks embedded within the physical and logical implementation of AI systems.