{
  "schema": "AN02-CF042-original-geometry/v1",
  "license": "CC0",
  "CF-A": {
    "K": [
      [
        -1,
        1
      ],
      [
        -0.5,
        0.5
      ]
    ],
    "eta": [
      1,
      0
    ],
    "test_carrier_center": [
      2,
      0
    ],
    "test_carrier_radius": "1/4",
    "support_indicator": "1",
    "minimum_projection": "7/4",
    "gap": "3/4",
    "proof": "CF9–CF13; Theorem CF2.1",
    "schematic_scope": "Test carrier only, not a distribution density."
  },
  "CF-B": {
    "roots": [
      -1,
      1,
      2
    ],
    "degree": 3,
    "leading_coefficient": 1,
    "epsilon": "1/12",
    "safe_radius": "3/2",
    "outer_radius": 2,
    "example_product_lower_bound": "1/8",
    "general_product_lower_bound": "1/1728",
    "Cauchy_example_constant": 8,
    "proof": "CF14–CF19; Lemma CF3.1 and Theorem CF3.2"
  },
  "CF-C": {
    "symbol": "z^2",
    "D": "-i partial",
    "transpose": "D^2",
    "first_data": {
      "mu": "D delta",
      "transform": "z",
      "constant_pairing": 0,
      "linear_pairing": "i",
      "F_prime_at_zero": 1,
      "quotient": "1/z",
      "compact_inverse": false
    },
    "second_data": {
      "mu": "D^2 delta",
      "transform": "z^2",
      "constant_pairing": 0,
      "linear_pairing": 0,
      "F_prime_at_zero": 0,
      "quotient": 1,
      "compact_inverse": "delta"
    },
    "proof": "CF22–CF26; Theorem CF5.1; Example CF7.2"
  }
}