Smallest real 720p or 1080p P&S camera?

[kye]

I'm wondering what the smallest P&S camera is that shoots real 720p or 1080p (not line-skipped or pixel-binned and then upscaled).  If it has a zoom that would be even better.

My recent adventures with emulating 16mm film on my GX85 and the fun of shooting on the almost microscopic Kodak Charmera have made me start thinking about what the smallest 720p or 1080p camera (that isn't an action camera) might be, which I suspect will be a P&S.  During the P&S arms race I'm sure someone pushed the boundaries...

The Super-16 emulations I did with the GX85 made me realise that the DR of a rec709 camera is more than enough and that S16 is far lower than 1080p, and perhaps lower than 720p even.  The Charmeras is probably one of the smallest cameras around but isn't a P&S and its real resolution is only 720x540 so not real 720/1080p. 

The LX10/LX15 comes to mind of course and seems like a great camera but it's still quite pricey and I'd like to go significantly smaller again if I can.

Unfortunately camerasize.com isn't exhaustive with the hundreds (thousands?) of P&S cameras that got released, so some brands are missing (and you can't search by size).

My initial research shows turned up the below, but maybe there are some hidden gems?

It looks like the industry decided that 90-110mm wide and 55-60mm tall was perfectly fine and just pushed to go thinner?

Which, if any, of these are worth looking at?

[fuzzynormal]

My user icon on EOSHD is a GM1 with a tiny Pentax A110 25mm prime lens on it.  Aside from using one of those flat-f8-body-cam-lenses, this was as about as small as I ever got things.  Which was pretty small, honestly. 10+ years ago!  Ah, those were the days.