Is Health Insurance Noted in the Immigration Record for O-A Visa Holders Upon Re-entry to Thailand?

O-A visa with a retirement extension issued after the end of October?

Of course, it should be evident to immigration if someone with an extension issued after the end of October re-enters, that they have the mandatory health insurance or would not have been granted the extension. Also, if the extension granted is less than one year, it would be another indication of this since since the extensions go to the expiry of the extension. But that may be assuming too much...