EPSG:9463 — GDA2020 + AHD height

COMPOUNDCRS[
    "GDA2020 + AHD height",
    GEOGCRS[
        "GDA2020",
        DATUM[
            "Geocentric Datum of Australia 2020",
            ELLIPSOID[
                "GRS 1980",
                6378137,
                298.257222101,
                LENGTHUNIT["metre",1,ID["EPSG",9001]],
                ID["EPSG",7019]
            ],
            ID["EPSG",1168]
        ],
        CS[ellipsoidal,2,ID["EPSG",6422]],
        AXIS["Geodetic latitude (Lat)",north],
        AXIS["Geodetic longitude (Lon)",east],
        ANGLEUNIT["degree",0.0174532925199433,ID["EPSG",9102]],
        ID["EPSG",7844]
    ],
    VERTCRS[
        "AHD height",
        VDATUM["Australian Height Datum",ID["EPSG",5111]],
        CS[vertical,1,ID["EPSG",6499]],
        AXIS["Gravity-related height (H)",up],
        LENGTHUNIT["metre",1,ID["EPSG",9001]],
        GEOIDMODEL["GDA94 to AHD height (49)",ID["EPSG",5656]],
        GEOIDMODEL["GDA2020 to AHD height (1)",ID["EPSG",8451]],
        ID["EPSG",5711]
    ],
    ID["EPSG",9463]
]

+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs

proj4.defs("EPSG:9463", "+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs");

{
  "type": "CoordinateReferenceSystem",
  "code": 9463,
  "name": "GDA2020 + AHD height",
  "kind": "compound",
  "area": "Australia Christmas and Cocos - onshore",
  "unit": null,
  "bbox": [
    -43.7,
    96.76,
    -9.86,
    153.69
  ],
  "proj4": "+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs"
}

INSERT INTO spatial_ref_sys (srid, auth_name, auth_srid, proj4text, srtext)
VALUES (9463, 'EPSG', 9463, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["GDA2020 + AHD height",GEOGCS["GDA2020",DATUM["Geocentric_Datum_of_Australia_2020",SPHEROID["GRS 1980",6378137,298.257222101,AUTHORITY["EPSG","7019"]],AUTHORITY["EPSG","1168"]],PRIMEM["Greenwich",0,AUTHORITY["EPSG","8901"]],UNIT["degree",0.0174532925199433,AUTHORITY["EPSG","9122"]],AUTHORITY["EPSG","7844"]],VERT_CS["AHD height",VERT_DATUM["Australian Height Datum",2005,AUTHORITY["EPSG","5111"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5711"]],AUTHORITY["EPSG","9463"]]');

PROJECTION
  "+proj=longlat"
  "+ellps=GRS80"
  "+vunits=m"
  "+no_defs"
  "+type=crs"
END

9463=COMPD_CS["GDA2020 + AHD height",GEOGCS["GDA2020",DATUM["Geocentric_Datum_of_Australia_2020",SPHEROID["GRS 1980",6378137,298.257222101,AUTHORITY["EPSG","7019"]],AUTHORITY["EPSG","1168"]],PRIMEM["Greenwich",0,AUTHORITY["EPSG","8901"]],UNIT["degree",0.0174532925199433,AUTHORITY["EPSG","9122"]],AUTHORITY["EPSG","7844"]],VERT_CS["AHD height",VERT_DATUM["Australian Height Datum",2005,AUTHORITY["EPSG","5111"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5711"]],AUTHORITY["EPSG","9463"]]