Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation cs.PL · 2026-03-17