pub fn address_fits( spec: &PmuSpec, dims: usize, vectorized: bool, ) -> Result<usize, String>
Gate an address pattern against the PMU’s datapath depth — typed refusal.