Why not consider the Olympus M.Zuiko Digital ED 9-18mm? It has been around a long time so is available both at a slightly alarming new price and at great prices used. I didn't try the Panasonic 9mm or the 7-14mm but did just try the 7artisans 7.5mm. No AF. I found trying to rely on hyperfocal distance 100% unreliable, so possibly the scales engraved on the lens are not at all accurate. So I tried focus peaking. It's a complete nightmare trying to compose an image with all the peaking you get from a very wide angle lens. On top of this the lens was pretty awful, tending to be soft in the centre unless close up, and with a poor bayonet fit such that rotating the focus ring moved the lens laterally across the mount! I'm 58 so grew up on 35mm SLRs and there is nothing about focus peaking which matches the convenience or accuracy of an ancient SLR's split focus circle, or even fresnel screen. I'm using a Lumix G80/G85 btw. I returned this manual super wide (new, from amazon) and have instead ordered a Olympus M.Zuiko Digital ED 9-18mm from MPB. Price for a used one in good condition about 50% more than the 7artisans. But I find I am really sold on AF (yes, a few decades late to the party!) and to electronic communication between lens and camera. Camera viewfinders and 3 inch displays are not big enough to really assess sharpness, so we have to trust the hardware.
With this particular lens on a recent Olympus body you will even get the minor chromatic aberration corrected in jpeg and the metadata required for correction of raws recorded in the raw file. On a Panasonic body you get the distortion correction but not the CA. I read so many reviews. Then I downloaded real, full size jpeg review samples from this lens on an ancient Lumix, a GF1 (I have one of those too, lol) and they were not bad. Very, very easy to correct in software. So I ordered one. It's arriving Wednesday. I'll give it a good work out and post results and impressions.
