EPSG:9388 - AbInvA96_2020 Grid + ODN height

{
  "$schema": "https://proj.org/schemas/v0.7/projjson.schema.json",
  "type": "CompoundCRS",
  "name": "AbInvA96_2020 Grid + ODN height",
  "components": [
    {
      "type": "ProjectedCRS",
      "name": "AbInvA96_2020 Grid",
      "base_crs": {
        "name": "AbInvA96_2020-IRF",
        "datum": {
          "type": "GeodeticReferenceFrame",
          "name": "AbInvA96_2020 Intermediate Reference Frame",
          "ellipsoid": {
            "name": "GRS 1980",
            "semi_major_axis": 6378137,
            "inverse_flattening": 298.257222101
          }
        },
        "coordinate_system": {
          "subtype": "ellipsoidal",
          "axis": [
            {
              "name": "Geodetic latitude",
              "abbreviation": "Lat",
              "direction": "north",
              "unit": "degree"
            },
            {
              "name": "Geodetic longitude",
              "abbreviation": "Lon",
              "direction": "east",
              "unit": "degree"
            }
          ]
        },
        "id": {
          "authority": "EPSG",
          "code": 9384
        }
      },
      "conversion": {
        "name": "AbInvA96_2020-TM",
        "method": {
          "name": "Transverse Mercator",
          "id": {
            "authority": "EPSG",
            "code": 9807
          }
        },
        "parameters": [
          {
            "name": "Latitude of natural origin",
            "value": 57.4,
            "unit": "degree",
            "id": {
              "authority": "EPSG",
              "code": 8801
            }
          },
          {
            "name": "Longitude of natural origin",
            "value": -3.2,
            "unit": "degree",
            "id": {
              "authority": "EPSG",
              "code": 8802
            }
          },
          {
            "name": "Scale factor at natural origin",
            "value": 1,
            "unit": "unity",
            "id": {
              "authority": "EPSG",
              "code": 8805
            }
          },
          {
            "name": "False easting",
            "value": 155828.702,
            "unit": "metre",
            "id": {
              "authority": "EPSG",
              "code": 8806
            }
          },
          {
            "name": "False northing",
            "value": 115225.707,
            "unit": "metre",
            "id": {
              "authority": "EPSG",
              "code": 8807
            }
          }
        ]
      },
      "coordinate_system": {
        "subtype": "Cartesian",
        "axis": [
          {
            "name": "Easting",
            "abbreviation": "E",
            "direction": "east",
            "unit": "metre"
          },
          {
            "name": "Northing",
            "abbreviation": "N",
            "direction": "north",
            "unit": "metre"
          }
        ]
      }
    },
    {
      "type": "VerticalCRS",
      "name": "ODN height",
      "datum": {
        "type": "VerticalReferenceFrame",
        "name": "Ordnance Datum Newlyn"
      },
      "coordinate_system": {
        "subtype": "vertical",
        "axis": [
          {
            "name": "Gravity-related height",
            "abbreviation": "H",
            "direction": "up",
            "unit": "metre"
          }
        ]
      }
    }
  ],
  "scope": "Highway engineering.",
  "area": "United Kingdom (UK) - on or related to the A96 highway from Aberdeen to Inverness.",
  "bbox": {
    "south_latitude": 57.1,
    "west_longitude": -4.31,
    "north_latitude": 57.71,
    "east_longitude": -2.1
  },
  "id": {
    "authority": "EPSG",
    "code": 9388
  }
}

{'crs_wkt': 'COMPOUNDCRS["AbInvA96_2020 Grid + ODN '
            'height",PROJCRS["AbInvA96_2020 '
            'Grid",BASEGEOGCRS["AbInvA96_2020-IRF",DATUM["AbInvA96_2020 '
            'Intermediate Reference Frame",ELLIPSOID["GRS '
            '1980",6378137,298.257222101,LENGTHUNIT["metre",1]]],PRIMEM["Greenwich",0,ANGLEUNIT["degree",0.0174532925199433]],ID["EPSG",9384]],CONVERSION["AbInvA96_2020-TM",METHOD["Transverse '
            'Mercator",ID["EPSG",9807]],PARAMETER["Latitude of natural '
            'origin",57.4,ANGLEUNIT["degree",0.0174532925199433],ID["EPSG",8801]],PARAMETER["Longitude '
            'of natural '
            'origin",-3.2,ANGLEUNIT["degree",0.0174532925199433],ID["EPSG",8802]],PARAMETER["Scale '
            'factor at natural '
            'origin",1,SCALEUNIT["unity",1],ID["EPSG",8805]],PARAMETER["False '
            'easting",155828.702,LENGTHUNIT["metre",1],ID["EPSG",8806]],PARAMETER["False '
            'northing",115225.707,LENGTHUNIT["metre",1],ID["EPSG",8807]]],CS[Cartesian,2],AXIS["(E)",east,ORDER[1],LENGTHUNIT["metre",1]],AXIS["(N)",north,ORDER[2],LENGTHUNIT["metre",1]]],VERTCRS["ODN '
            'height",VDATUM["Ordnance Datum '
            'Newlyn"],CS[vertical,1],AXIS["gravity-related height '
            '(H)",up,LENGTHUNIT["metre",1]]],USAGE[SCOPE["Highway '
            'engineering."],AREA["United Kingdom (UK) - on or related to the '
            'A96 highway from Aberdeen to '
            'Inverness."],BBOX[57.1,-4.31,57.71,-2.1]],ID["EPSG",9388]]',
 'false_easting': 155828.702,
 'false_northing': 115225.707,
 'geographic_crs_name': 'AbInvA96_2020-IRF',
 'geopotential_datum_name': 'Ordnance Datum Newlyn',
 'grid_mapping_name': 'transverse_mercator',
 'horizontal_datum_name': 'AbInvA96_2020 Intermediate Reference Frame',
 'inverse_flattening': 298.257222101,
 'latitude_of_projection_origin': 57.4,
 'longitude_of_central_meridian': -3.2,
 'longitude_of_prime_meridian': 0.0,
 'prime_meridian_name': 'Greenwich',
 'projected_crs_name': 'AbInvA96_2020 Grid',
 'reference_ellipsoid_name': 'GRS 1980',
 'scale_factor_at_central_meridian': 1.0,
 'semi_major_axis': 6378137.0,
 'semi_minor_axis': 6356752.314140356}