{
  "operator_model": {
    "M": "L-infinity([0,1],dx)",
    "H": "L2([0,1],dx)",
    "a": "a(t)(x)=1_[0,t](x) for 0<t<1, and zero otherwise",
    "norm_integral": 1,
    "pairwise_norm_distance_on_open_interval": 1,
    "vector_orbit_continuity": "R except t=1; left limit at 1 is xi, value is zero",
    "not_essentially_norm_separable": true
  },
  "region": {
    "horizontal_axis": "t",
    "vertical_axis": "x",
    "vertices": [
      [
        0,
        0
      ],
      [
        1,
        0
      ],
      [
        1,
        1
      ]
    ],
    "horizontal_test_x": "1/3",
    "horizontal_interval": [
      "1/3",
      "1"
    ],
    "horizontal_length": "2/3",
    "vertical_test_t": "2/3",
    "vertical_interval": [
      "0",
      "2/3"
    ],
    "area": "1/2"
  },
  "weakstar_integral": {
    "h": "h(x)=1-x a.e.",
    "predual": "L1([0,1])",
    "pairing": "integral (1-x)*g(x) dx",
    "norm": 1,
    "pairing_with_one": "1/2"
  },
  "vector_test_xi_one": {
    "integral_vector_norm": "2/3",
    "norm_vector_integral": "1/sqrt(3)"
  },
  "scalar_model": {
    "f": "1_[0,1]",
    "convolution_vertices": [
      [
        0,
        0
      ],
      [
        1,
        1
      ],
      [
        2,
        0
      ]
    ],
    "convolution": "t on [0,1], 2-t on [1,2], zero elsewhere",
    "norm": 1,
    "involution": "conjugate reflection"
  },
  "matrix_diagnostic": {
    "D": [
      [
        4,
        0
      ],
      [
        0,
        1
      ]
    ],
    "omega": "log(4)",
    "L": "pi/log(4)",
    "c_at_L": "(-2i/log(4))*e11",
    "convolution_norm": "8/log(4)^2",
    "young_upper_bound": "pi^2/log(4)^2"
  },
  "point_support": "Zero in the a.e. L1 quotient, not a Dirac measure",
  "exact_rational_area_checks": "passed",
  "proof_locators": [
    "SEC7.c",
    "SEC7.d",
    "SEC7.e",
    "SEC7.f",
    "SEC7.g",
    "SEC7.h",
    "SEC7.j",
    "SEC7.k",
    "SEC7.l"
  ]
}