Especially when you have a predistortion image from the frontmost sensor, and I would imagine that the diffraction would remain constant between photos - manufacture differences would presumably mean each sensor would need to be calibrated, but with the multiple sensors, it seems quite possible that could be done by the consumer.

Generally speaking yes! That's what companies do that create masks for lithography so that the structures the manufacturers can create are smaller than the wavelength they use in the process. (See https://en.m.wikipedia.org/wiki/Computational_lithography). The article states that generally this is rather computationally expensive and I would wager that an analogous concept would be too. Perhaps a Neural Network could be trained to infer corrections and maybe that would be feasible then but maybe someone else with more experience in the field can elaborate on that.

They say the answer is "yes". It's even nominally offered as a feature in, e.g. Canon's RAW processing tool (called "DLO")

Unfortunately, in practice it seems to behave more like smart sharpening than a discrete reverse convolution math op.