{
  "schema": "decreasing-cone-geometry/v1",
  "coordinates": {
    "horizontal": "t",
    "vertical": "y",
    "unrestricted": "x"
  },
  "closed_cone": "y>=j*abs(t)",
  "edge": "{(x,0,0):x real}",
  "intersection": "{(x,y,0):y>=0}",
  "sections": [
    {
      "j": 1,
      "clip_y": 4,
      "vertices": [
        [
          0,
          0
        ],
        [
          -4.0,
          4
        ],
        [
          4.0,
          4
        ]
      ]
    },
    {
      "j": 2,
      "clip_y": 4,
      "vertices": [
        [
          0,
          0
        ],
        [
          -2.0,
          4
        ],
        [
          2.0,
          4
        ]
      ]
    },
    {
      "j": 4,
      "clip_y": 4,
      "vertices": [
        [
          0,
          0
        ],
        [
          -1.0,
          4
        ],
        [
          1.0,
          4
        ]
      ]
    },
    {
      "j": 8,
      "clip_y": 4,
      "vertices": [
        [
          0,
          0
        ],
        [
          -0.5,
          4
        ],
        [
          0.5,
          4
        ]
      ]
    }
  ],
  "transport": {
    "operator": "Q=P(-D)",
    "j": 2,
    "start": [
      0,
      0.8
    ],
    "parameter_end": 2.4,
    "allowed_xi": [
      2,
      -2,
      4,
      -4
    ],
    "rays": [
      {
        "xi": 2,
        "displacement": [
          "-s/xi",
          "s"
        ],
        "end": [
          -1.2,
          3.2
        ]
      },
      {
        "xi": -2,
        "displacement": [
          "-s/xi",
          "s"
        ],
        "end": [
          1.2,
          3.2
        ]
      },
      {
        "xi": 4,
        "displacement": [
          "-s/xi",
          "s"
        ],
        "end": [
          -0.6,
          3.2
        ]
      },
      {
        "xi": -4,
        "displacement": [
          "-s/xi",
          "s"
        ],
        "end": [
          0.6,
          3.2
        ]
      }
    ],
    "excluded_xi": 1,
    "excluded_first_contact": [
      -0.8,
      1.6
    ]
  },
  "scope": "support enclosures and exact inverse directions, not exact support or a numerical PDE solution",
  "proof_locators": [
    "DC2",
    "DC3",
    "DC9",
    "DC10"
  ]
}