The MoSSAIC project introduces a formal framework to analyze how computational layers impact AI safety. Current research lacks a clean method to reason about substrate choices like DRAM topology or quantization. This framework fills that gap. Practitioners can now better identify how specific hardware and software implementations introduce hidden safety-relevant model properties.