The GLSL writer currently uses group * 16 + binding to flatten WebGPU bindings to GL binding points. Rust naga accepts a BindingMap from the HAL which provides per-type sequential counters. This is more robust and matches the Rust wgpu ecosystem pattern. Depends on wgpu binding map refactor.