The MoSSAIC project introduces a formal framework to analyze how computational substrates impact AI safety. Current research lacks a clean method to reason about how DRAM topology or quantization formats influence model properties. This framework fills that gap. Practitioners can now better identify safety risks emerging from the specific hardware and software layers implementing a model.