In the corners, and near the edges, where the stretching is the strongest, it’s unavoidable that you lose resolution: the data from a (demosaicked) sensor pixel does not correspond 1:1 to an output pixel; what’s more, the data is spread over to cover a larger area.
Here, I disabled geometric distortion correction, and manually lowered the scale, so parts of the image that normally end up outside the frame become visible. You’ll notice the areas where darktable just uses the last valid pixel to fill in the left side of the image (I didn’t use top left corner, as the image is mostly a flat blue area there):
With distortion correction enabled:
And this is a close-up of correction on (top) vs off (bottom):
You’ll notice that darktable stretched the image outwards.
It will perform some stretching even if you disable the geometric correction; I assume that is to bring the image to the selected target geometry:
target geometry
In addition to correcting lens flaws, this module can change the projection type of your image. Set this combobox to the desired projection type (e.g. “rectilinear”, “fisheye”, “panoramic”, “equirectangular”, “orthographic”, “stereographic”, “equisolid angle”, “Thoby fisheye”).
(darktable 4.9 user manual - lens correction)
You can normally get away with not correcting geometric distortions (fixing vignetting and CA only) if there are no straight lines in the image and distortion is mild.
Even if correcting lens distortions (imperfections), the effect described in the articles linked above remains: geometric distortion correction fixes lens flaws, not the effects of linear perspective.