The aerodynamic forces are proportional to the dynamic pressure, which is the native reading on the sensor. But when you relate dynamic pressure to indicated airspeed, the do-not-exceed airspeed doesn't change, so you can stick a single red line on the IAS gauge that's always valid.
Uh, I think they have a red line on the gauge, anyway. I just saw an unmanned prototype break up in flight partially because of the lack of said red line, so I'm kinda just assuming that passenger aircraft have one.
The 143kts figure is marked on my airspeed indicator, but above 10,000ft I have to remember to refer to it elsewhere if I want to go fast.
dynamic_pressure = 0.5 * ref_density * equivalent_airspeed^2
Its not a function of indicated airspeed. Indicated airspeed needs to be corrected for the compressibility of air to obtain the equivalent airspeed. At low airspeeds/altitudes, the indicated airspeed and equivalent airspeed are very close, so your equation would hold up just fine.As a result at higher altitudes and faster speeds, the red line on an indicated airspeed gauge would be variable to account for the effects of compressibility.