Docs do not specify for Lazer, what will the websocket API provide price updates even when an asset is not in an active trading session?
https://docs.pyth.network/lazer/subscribe-price-updates
The websocket API provides an update even when the market is closed but the price will be None.
Does this data have a proof?
All the updates are verifiable. You can proof that it is None for that given time.