{
  "affine_box": {
    "affine_map": {
      "cols": 2,
      "rows": 1,
      "values": [
        1.0,
        1.0
      ]
    },
    "feasible_factor_witnesses": [
      [
        -1.0,
        -1.0
      ],
      [
        0.0,
        0.0
      ],
      [
        1.0,
        1.0
      ],
      [
        -1.0,
        1.0
      ]
    ],
    "inside_points": [
      [
        2.0
      ],
      [
        7.0
      ],
      [
        12.0
      ],
      [
        8.0
      ]
    ],
    "offset": [
      4.0
    ],
    "operation": "affine_image",
    "output_id": "port-box-image",
    "output_representation": "csl.zonotope",
    "outside_points": [
      [
        1.0
      ],
      [
        13.0
      ]
    ],
    "physical_h": {
      "equalities": {
        "cols": 1,
        "rows": 0,
        "values": []
      },
      "inequalities": {
        "cols": 1,
        "rows": 2,
        "values": [
          1.0,
          -1.0
        ]
      },
      "upper": [
        12.0,
        -2.0
      ],
      "values": []
    },
    "public_request": {
      "assurance": "numerical",
      "prepared_output_relation": "equivalent",
      "prepared_scalar": "binary64",
      "problem_id": "geo07-port",
      "request_id": "affine-box"
    },
    "registration": "csl.geometry.generators.operations",
    "rejection_controls": {
      "validated_assurance": true
    },
    "source": {
      "center": [
        1.0,
        2.0
      ],
      "coordinate_labels": [],
      "equalities": {
        "cols": 2,
        "rows": 0,
        "values": []
      },
      "equality_values": [],
      "factor_ids": [
        "horizontal",
        "vertical"
      ],
      "factor_interval": [
        -1.0,
        1.0
      ],
      "generators": {
        "cols": 2,
        "rows": 2,
        "values": [
          2.0,
          0.0,
          0.0,
          3.0
        ]
      },
      "id": "port-box"
    }
  },
  "constrained_disjoint_sum": {
    "feasible_factor_witnesses": [
      [
        -1.0,
        -1.0,
        1.0,
        -1.0
      ],
      [
        0.0,
        0.0,
        0.0,
        0.0
      ],
      [
        1.0,
        1.0,
        -1.0,
        1.0
      ]
    ],
    "inside_points": [
      [
        1.0
      ],
      [
        4.0
      ],
      [
        7.0
      ]
    ],
    "left": {
      "center": [
        1.0
      ],
      "coordinate_labels": [],
      "equalities": {
        "cols": 2,
        "rows": 1,
        "values": [
          1.0,
          -1.0
        ]
      },
      "equality_values": [
        0.0
      ],
      "factor_ids": [
        "u",
        "v"
      ],
      "factor_interval": [
        -1.0,
        1.0
      ],
      "generators": {
        "cols": 2,
        "rows": 1,
        "values": [
          1.0,
          0.0
        ]
      },
      "id": "port-sum-left"
    },
    "operation": "minkowski_sum",
    "output_id": "port-constrained-sum",
    "output_representation": "csl.constrained-zonotope",
    "outside_points": [
      [
        0.0
      ],
      [
        8.0
      ]
    ],
    "physical_h": {
      "equalities": {
        "cols": 1,
        "rows": 0,
        "values": []
      },
      "inequalities": {
        "cols": 1,
        "rows": 2,
        "values": [
          1.0,
          -1.0
        ]
      },
      "upper": [
        7.0,
        -1.0
      ],
      "values": []
    },
    "public_request": {
      "assurance": "numerical",
      "prepared_output_relation": "equivalent",
      "prepared_scalar": "binary64",
      "problem_id": "geo07-port",
      "request_id": "constrained-sum"
    },
    "registration": "csl.geometry.generators.operations",
    "rejection_controls": {
      "intersection": true,
      "shared_ids": "left used twice"
    },
    "right": {
      "center": [
        3.0
      ],
      "coordinate_labels": [],
      "equalities": {
        "cols": 2,
        "rows": 1,
        "values": [
          1.0,
          1.0
        ]
      },
      "equality_values": [
        0.0
      ],
      "factor_ids": [
        "p",
        "q"
      ],
      "factor_interval": [
        -1.0,
        1.0
      ],
      "generators": {
        "cols": 2,
        "rows": 1,
        "values": [
          0.0,
          2.0
        ]
      },
      "id": "port-sum-right"
    }
  },
  "finite_v": {
    "operation": "conversion",
    "output_id": "port-v",
    "output_representation": "csl.polyhedron.v",
    "outside_points": [
      [
        1.0
      ],
      [
        13.0
      ]
    ],
    "physical_h": {
      "equalities": {
        "cols": 1,
        "rows": 0,
        "values": []
      },
      "inequalities": {
        "cols": 1,
        "rows": 2,
        "values": [
          1.0,
          -1.0
        ]
      },
      "upper": [
        12.0,
        -2.0
      ],
      "values": []
    },
    "public_request": {
      "assurance": "numerical",
      "prepared_output_relation": "equivalent",
      "prepared_scalar": "binary64",
      "problem_id": "geo07-port",
      "request_id": "finite-v"
    },
    "registration": "csl.geometry.generators.v-conversion",
    "rejection_controls": {
      "cap": 3,
      "constrained": {
        "center": [
          0.0
        ],
        "coordinate_labels": [],
        "equalities": {
          "cols": 1,
          "rows": 1,
          "values": [
            1.0
          ]
        },
        "equality_values": [
          0.0
        ],
        "factor_ids": [
          "r"
        ],
        "factor_interval": [
          -1.0,
          1.0
        ],
        "generators": {
          "cols": 1,
          "rows": 1,
          "values": [
            1.0
          ]
        },
        "id": "port-constrained-control"
      },
      "h_output": "csl.polyhedron.h",
      "validated_assurance": true
    },
    "source": {
      "center": [
        7.0
      ],
      "coordinate_labels": [
        "x"
      ],
      "equalities": {
        "cols": 2,
        "rows": 0,
        "values": []
      },
      "equality_values": [],
      "factor_ids": [
        "a",
        "b"
      ],
      "factor_interval": [
        -1.0,
        1.0
      ],
      "generators": {
        "cols": 2,
        "rows": 1,
        "values": [
          2.0,
          3.0
        ]
      },
      "id": "port-v-source"
    },
    "vertex_cap": 4,
    "vertices": [
      [
        2.0
      ],
      [
        6.0
      ],
      [
        8.0
      ],
      [
        12.0
      ]
    ]
  }
}