RACE: Semantic-linker approach to stable cross-crate ABI without runtime overhead

Good point. The concern is valid for cases where field offsets feed into constant expressions that influence control flow or type decisions. RACE would need to either restrict Symbolic Layout Offsets to non-const contexts, or define a subset of const expressions where layout independence is guaranteed. This is a real constraint worth scoping carefully - it doesn’t invalidate the approach but does narrow where SLO can safely apply