New at

Per-statement validation for gemini.common.NewAt.

Registered against the lanes validation interpreter key (move.address.validation). The impl checks (1) const-foldability of the three SSA int args and (2) that the resulting LocationAddress is valid for the architecture (via the existing ArchSpec.check_location_group called by _ValidationAnalysis.report_location_errors).