ST_CollectionHomogenize forms invalid polygons

[robe]

SELECT     
    ST_IsValid(ST_CollectionHomogenize(ST_Split(g1.geom1, g1.geom2)))
    
FROM (SELECT 
  ST_GeomFromText('POLYGON((2 4.5,3 2.6,3 1.8,2 0,-1.5 2.2,
   0.056 3.222,-1.5 4.2,2 6.5,2 4.5))') As geom1, 
ST_GeomFromText('LINESTRING(-0.62 5.84,-0.8 0.59)') As geom2) AS g1;

For example the above geometry collection consisting of only polygons — ST_CollectionHomogenize converts to an invalid multipolygon. It's of course invalid because the polygons have shared edges.

[pramsey]

Without radically re-writing homogenize, this isn't going to change, since it involves radically re-shaping the inputs in order to get a "valid" output. Let's not pick this nit.