{
  "schema": "AN02-nonconvex-localization-original-geometry192/v1",
  "physical": {
    "K1": {
      "x1": -2,
      "x2_interval": [
        -1,
        1
      ]
    },
    "K2": {
      "x1_interval": [
        -1,
        1
      ],
      "x2": 2
    },
    "convex_hull_vertices": [
      [
        -2,
        -1
      ],
      [
        1,
        2
      ],
      [
        -1,
        2
      ],
      [
        -2,
        1
      ]
    ],
    "x0": [
      -1.5,
      1
    ],
    "distance_to_K1": 0.5,
    "distance_to_K2": "sqrt(5)/2",
    "r": {
      "numerator": 2,
      "denominator": 5
    },
    "smooth_ball_radius": 0.2,
    "theta1": [
      1,
      0
    ],
    "theta2": [
      0,
      -1
    ],
    "translated_support_bounds": [
      -0.5,
      -1
    ],
    "mathematical_status": "Example3 proves singular support and closed profile-carrier union equal K1 union K2;individual proper carriers are contained in one component;no complete classification is asserted.",
    "proof_locators": [
      "Learner Worked example3",
      "Formal Lemmas1.3,2.2",
      "Formal Theorem1.1"
    ]
  },
  "frequency": {
    "n": 1,
    "N": 1,
    "derivative_budget": 2,
    "r": 2,
    "epsilon": {
      "numerator": 1,
      "denominator": 10000
    },
    "j": 26,
    "ell": 260000,
    "K": 26,
    "T": 260000,
    "lattice_index": 256,
    "center": 66560000,
    "R": 66560000,
    "real_support_bound_about_center": [
      -195000,
      195000
    ],
    "imaginary_transport_interval": [
      0,
      260000
    ],
    "m": 50495,
    "direction": [
      1
    ],
    "complex_coordinates": "Real and imaginary displacement from center,in units ell;the rectangle bounds the cutoff support and transport,not its exact pointwise values.",
    "sum_factor_power": 5,
    "correction_base": {
      "numerator": 13,
      "denominator": 2000
    },
    "top_exponential_rate": 5000,
    "shared_unspecified_estimate_constant_omitted": true,
    "proof_locators": [
      "Formal Proposition3.4",
      "Formal Lemma4.1",
      "Formal Proposition5.1",
      "Learner Worked example4"
    ]
  },
  "Blender_assessment": "Flat exact carrier geometry and one complex-coordinate slice are directly represented in vector plots;three-dimensional scenes would add no mathematical information."
}