{
  "proofs": [
    "GP.5",
    "GP.14--GP.29",
    "GP.30--GP.34"
  ],
  "specializations": {
    "h=1": "actual right D image",
    "h=0": "derived symbol candidate with exact analytic extension"
  },
  "symbol_relation": "quotient of a submodule; derived h-torsion is retained until both specializations",
  "general_segment": "s=3n+2m+2",
  "finite_interval_samples": [
    {
      "n": 0,
      "m": 0,
      "s": 2,
      "Rees_cone": [
        -3,
        -3
      ],
      "zero_Rees_cone": [
        -4,
        -3
      ],
      "analytic_cone": [
        -3,
        -3
      ],
      "lowest_comparison_degree": -1
    },
    {
      "n": 0,
      "m": 1,
      "s": 4,
      "Rees_cone": [
        -5,
        -5
      ],
      "zero_Rees_cone": [
        -6,
        -5
      ],
      "analytic_cone": [
        -5,
        -3
      ],
      "lowest_comparison_degree": -1
    },
    {
      "n": 0,
      "m": 2,
      "s": 6,
      "Rees_cone": [
        -7,
        -7
      ],
      "zero_Rees_cone": [
        -8,
        -7
      ],
      "analytic_cone": [
        -7,
        -3
      ],
      "lowest_comparison_degree": -1
    },
    {
      "n": 0,
      "m": 3,
      "s": 8,
      "Rees_cone": [
        -9,
        -9
      ],
      "zero_Rees_cone": [
        -10,
        -9
      ],
      "analytic_cone": [
        -9,
        -3
      ],
      "lowest_comparison_degree": -1
    },
    {
      "n": 1,
      "m": 0,
      "s": 5,
      "Rees_cone": [
        -7,
        -4
      ],
      "zero_Rees_cone": [
        -8,
        -4
      ],
      "analytic_cone": [
        -7,
        -4
      ],
      "lowest_comparison_degree": -2
    },
    {
      "n": 1,
      "m": 1,
      "s": 7,
      "Rees_cone": [
        -9,
        -6
      ],
      "zero_Rees_cone": [
        -10,
        -6
      ],
      "analytic_cone": [
        -9,
        -4
      ],
      "lowest_comparison_degree": -2
    },
    {
      "n": 1,
      "m": 2,
      "s": 9,
      "Rees_cone": [
        -11,
        -8
      ],
      "zero_Rees_cone": [
        -12,
        -8
      ],
      "analytic_cone": [
        -11,
        -4
      ],
      "lowest_comparison_degree": -2
    },
    {
      "n": 1,
      "m": 3,
      "s": 11,
      "Rees_cone": [
        -13,
        -10
      ],
      "zero_Rees_cone": [
        -14,
        -10
      ],
      "analytic_cone": [
        -13,
        -4
      ],
      "lowest_comparison_degree": -2
    },
    {
      "n": 2,
      "m": 0,
      "s": 8,
      "Rees_cone": [
        -11,
        -5
      ],
      "zero_Rees_cone": [
        -12,
        -5
      ],
      "analytic_cone": [
        -11,
        -5
      ],
      "lowest_comparison_degree": -3
    },
    {
      "n": 2,
      "m": 1,
      "s": 10,
      "Rees_cone": [
        -13,
        -7
      ],
      "zero_Rees_cone": [
        -14,
        -7
      ],
      "analytic_cone": [
        -13,
        -5
      ],
      "lowest_comparison_degree": -3
    },
    {
      "n": 2,
      "m": 2,
      "s": 12,
      "Rees_cone": [
        -15,
        -9
      ],
      "zero_Rees_cone": [
        -16,
        -9
      ],
      "analytic_cone": [
        -15,
        -5
      ],
      "lowest_comparison_degree": -3
    },
    {
      "n": 2,
      "m": 3,
      "s": 14,
      "Rees_cone": [
        -17,
        -11
      ],
      "zero_Rees_cone": [
        -18,
        -11
      ],
      "analytic_cone": [
        -17,
        -5
      ],
      "lowest_comparison_degree": -3
    },
    {
      "n": 3,
      "m": 0,
      "s": 11,
      "Rees_cone": [
        -15,
        -6
      ],
      "zero_Rees_cone": [
        -16,
        -6
      ],
      "analytic_cone": [
        -15,
        -6
      ],
      "lowest_comparison_degree": -4
    },
    {
      "n": 3,
      "m": 1,
      "s": 13,
      "Rees_cone": [
        -17,
        -8
      ],
      "zero_Rees_cone": [
        -18,
        -8
      ],
      "analytic_cone": [
        -17,
        -6
      ],
      "lowest_comparison_degree": -4
    },
    {
      "n": 3,
      "m": 2,
      "s": 15,
      "Rees_cone": [
        -19,
        -10
      ],
      "zero_Rees_cone": [
        -20,
        -10
      ],
      "analytic_cone": [
        -19,
        -6
      ],
      "lowest_comparison_degree": -4
    },
    {
      "n": 3,
      "m": 3,
      "s": 17,
      "Rees_cone": [
        -21,
        -12
      ],
      "zero_Rees_cone": [
        -22,
        -12
      ],
      "analytic_cone": [
        -21,
        -6
      ],
      "lowest_comparison_degree": -4
    }
  ],
  "curve_example": {
    "e": 2,
    "f": "y=x^2",
    "cotangent_map": "xi=2*x*eta",
    "reduced_image": "{eta=0} union {y=0}",
    "displayed_real_section": {
      "Im y": 0,
      "Im eta": 0,
      "Re y": [
        -2,
        2
      ],
      "Re eta": [
        -2,
        2
      ]
    },
    "complex_component_dimensions": [
      1,
      1
    ],
    "candidate_not_universal_equality": true
  },
  "finite_samples_are_general_proof": false
}