> ultra-small laptop (typically 12--13")

Gpd makes smaller machines than that.

https://gpdstore.net/gpd-pocket-4/