An Exact Instrument for State Usage in Selective State-Space Models, and the Input-Driven Migration It Reveals