Bi metal strip shuoffs are routine in the USA. Over the years, i have experienced several interruptions in gas service and flowing gas has not been a problem, although it can sometimes be tricky to get those pilot lights going again.

I think I would use my seven seconds to drop and cover or take other preventive actions (stop operating power tools, etc). If it should be false alarm in that I didn't experience a severe jolt, that's OK - preferable to a complete surprise...

There is an automatic gas shut off valve which is installed at the service box. That should be serviced, after actuation, by a gas company representative.