{
  "checks": [
    {
      "name": "ball_tube_transition",
      "passed": true
    },
    {
      "name": "tube_slab_transition",
      "passed": true
    },
    {
      "name": "complement_0",
      "passed": true
    },
    {
      "name": "area_scaling_0",
      "passed": true
    },
    {
      "name": "complement_0.04",
      "passed": true
    },
    {
      "name": "area_scaling_0.04",
      "passed": true
    },
    {
      "name": "complement_0.2",
      "passed": true
    },
    {
      "name": "area_scaling_0.2",
      "passed": true
    },
    {
      "name": "complement_0.4",
      "passed": true
    },
    {
      "name": "area_scaling_0.4",
      "passed": true
    },
    {
      "name": "complement_1",
      "passed": true
    },
    {
      "name": "area_scaling_1",
      "passed": true
    },
    {
      "name": "sphere_area_geometry",
      "passed": true
    },
    {
      "name": "tube_area_geometry",
      "passed": true
    },
    {
      "name": "two_slab_faces",
      "passed": true
    },
    {
      "name": "known_barker_13",
      "passed": true
    },
    {
      "name": "order_four_circulant",
      "passed": true
    },
    {
      "name": "all_ones_correlation",
      "passed": true
    },
    {
      "name": "all_ones_merit",
      "passed": true
    },
    {
      "name": "sampled_endpoint_peak",
      "passed": true
    },
    {
      "name": "objective_separation",
      "passed": true
    }
  ],
  "waveform_examples": {
    "barker13": {
      "length": 13,
      "aperiodic_offpeak_correlations": [
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1
      ],
      "periodic_offpeak_correlations": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "peak_aperiodic_magnitude": 1,
      "barker_peak_condition": true,
      "zero_periodic_offpeak": false,
      "merit_factor": 14.083333333333334,
      "merit_factor_infinite": false,
      "correlation_energy_integer": 6,
      "sampled_normalized_spectrum_min": 0.8376077599825835,
      "sampled_normalized_spectrum_max": 1.386750490563073,
      "frequency_samples": 512,
      "correlation_evidence": "exact_integer_finite_sequence",
      "spectrum_evidence": "floating_point_samples_only",
      "whole_circle_flatness_certified": false,
      "new_signing_algorithm": false,
      "family_ids": [
        "076",
        "179"
      ],
      "independent_theorem_verification": "not_run"
    },
    "circulant4": {
      "length": 4,
      "aperiodic_offpeak_correlations": [
        1,
        0,
        -1
      ],
      "periodic_offpeak_correlations": [
        0,
        0,
        0
      ],
      "peak_aperiodic_magnitude": 1,
      "barker_peak_condition": true,
      "zero_periodic_offpeak": true,
      "merit_factor": 4.0,
      "merit_factor_infinite": false,
      "correlation_energy_integer": 2,
      "sampled_normalized_spectrum_min": 0.47979982429483814,
      "sampled_normalized_spectrum_max": 1.3303353444175805,
      "frequency_samples": 256,
      "correlation_evidence": "exact_integer_finite_sequence",
      "spectrum_evidence": "floating_point_samples_only",
      "whole_circle_flatness_certified": false,
      "new_signing_algorithm": false,
      "family_ids": [
        "076",
        "179"
      ],
      "independent_theorem_verification": "not_run"
    },
    "all_ones4": {
      "length": 4,
      "aperiodic_offpeak_correlations": [
        3,
        2,
        1
      ],
      "periodic_offpeak_correlations": [
        4,
        4,
        4
      ],
      "peak_aperiodic_magnitude": 3,
      "barker_peak_condition": false,
      "zero_periodic_offpeak": false,
      "merit_factor": 0.5714285714285714,
      "merit_factor_infinite": false,
      "correlation_energy_integer": 14,
      "sampled_normalized_spectrum_min": 0.0,
      "sampled_normalized_spectrum_max": 2.0,
      "frequency_samples": 256,
      "correlation_evidence": "exact_integer_finite_sequence",
      "spectrum_evidence": "floating_point_samples_only",
      "whole_circle_flatness_certified": false,
      "new_signing_algorithm": false,
      "family_ids": [
        "076",
        "179"
      ],
      "independent_theorem_verification": "not_run"
    }
  },
  "geometry_examples": [
    {
      "volume_fraction": 0.04,
      "side_length": 1.0,
      "reduced_volume_fraction": 0.04,
      "complement": false,
      "model_minimum_area": 0.5656191680880691,
      "candidate_areas": {
        "ball": 0.5656191680880691,
        "tube": 0.7089815403622064,
        "slab": 2.0
      },
      "candidate_minimizer_types": [
        "ball"
      ],
      "transition_volume_fractions": [
        0.1551403779550515,
        0.3183098861837907
      ],
      "model": "flat cubic periodic cell with isotropic continuum perimeter and fixed volume",
      "numeric_evidence": "floating_point_formula_evaluation",
      "independent_theorem_verification": "not_run",
      "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026/article.pdf",
      "limitations": [
        "Not a rectangular-cell profile",
        "No anisotropic tension or elastic energy",
        "No diffuse-interface or voxel area certification"
      ]
    },
    {
      "volume_fraction": 0.1551403779550515,
      "side_length": 1.0,
      "reduced_volume_fraction": 0.1551403779550515,
      "complement": false,
      "model_minimum_area": 1.3962634015954634,
      "candidate_areas": {
        "ball": 1.3962634015954634,
        "tube": 1.3962634015954636,
        "slab": 2.0
      },
      "candidate_minimizer_types": [
        "ball",
        "tube"
      ],
      "transition_volume_fractions": [
        0.1551403779550515,
        0.3183098861837907
      ],
      "model": "flat cubic periodic cell with isotropic continuum perimeter and fixed volume",
      "numeric_evidence": "floating_point_formula_evaluation",
      "independent_theorem_verification": "not_run",
      "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026/article.pdf",
      "limitations": [
        "Not a rectangular-cell profile",
        "No anisotropic tension or elastic energy",
        "No diffuse-interface or voxel area certification"
      ]
    },
    {
      "volume_fraction": 0.2,
      "side_length": 1.0,
      "reduced_volume_fraction": 0.2,
      "complement": false,
      "model_minimum_area": 1.5853309190424043,
      "candidate_areas": {
        "ball": 1.6538804805627187,
        "tube": 1.5853309190424043,
        "slab": 2.0
      },
      "candidate_minimizer_types": [
        "tube"
      ],
      "transition_volume_fractions": [
        0.1551403779550515,
        0.3183098861837907
      ],
      "model": "flat cubic periodic cell with isotropic continuum perimeter and fixed volume",
      "numeric_evidence": "floating_point_formula_evaluation",
      "independent_theorem_verification": "not_run",
      "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026/article.pdf",
      "limitations": [
        "Not a rectangular-cell profile",
        "No anisotropic tension or elastic energy",
        "No diffuse-interface or voxel area certification"
      ]
    },
    {
      "volume_fraction": 0.3183098861837907,
      "side_length": 1.0,
      "reduced_volume_fraction": 0.3183098861837907,
      "complement": false,
      "model_minimum_area": 2.0,
      "candidate_areas": {
        "ball": 2.254503303573653,
        "tube": 2.0,
        "slab": 2.0
      },
      "candidate_minimizer_types": [
        "tube",
        "slab"
      ],
      "transition_volume_fractions": [
        0.1551403779550515,
        0.3183098861837907
      ],
      "model": "flat cubic periodic cell with isotropic continuum perimeter and fixed volume",
      "numeric_evidence": "floating_point_formula_evaluation",
      "independent_theorem_verification": "not_run",
      "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026/article.pdf",
      "limitations": [
        "Not a rectangular-cell profile",
        "No anisotropic tension or elastic energy",
        "No diffuse-interface or voxel area certification"
      ]
    },
    {
      "volume_fraction": 0.4,
      "side_length": 1.0,
      "reduced_volume_fraction": 0.4,
      "complement": false,
      "model_minimum_area": 2.0,
      "candidate_areas": {
        "ball": 2.625371614674931,
        "tube": 2.2419964865591715,
        "slab": 2.0
      },
      "candidate_minimizer_types": [
        "slab"
      ],
      "transition_volume_fractions": [
        0.1551403779550515,
        0.3183098861837907
      ],
      "model": "flat cubic periodic cell with isotropic continuum perimeter and fixed volume",
      "numeric_evidence": "floating_point_formula_evaluation",
      "independent_theorem_verification": "not_run",
      "source_url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-Isoperimetric-Conjecture-for-the-Cubic-Flat-Three-Torus-September-24-2026/article.pdf",
      "limitations": [
        "Not a rectangular-cell profile",
        "No anisotropic tension or elastic energy",
        "No diffuse-interface or voxel area certification"
      ]
    }
  ],
  "independent_theorem_verification": "not_run"
}