Recorded data and provenance for the associated calculation.

Download recorded JSON

titleIntegrated spatial-band, color and angular-geometry calculations
created_utc2026-10-09T07:41:18.361077+00:00
statuspassed
total_checks2529
scopeFinite exact algebra and bounded eigenvalue comparisons; no particle evolution, parameter fitting or empirical claim.
exact_tetrahedron_characteristic_polynomiallambda**3*(lambda - 3)**2*(lambda - 2)**3
exact_octahedron_characteristic_polynomiallambda**3*(lambda - 2)**3*(lambda - 1)**6
input_snapshot935
View complete data
{
  "title": "Integrated spatial-band, color and angular-geometry calculations",
  "created_utc": "2026-10-09T07:41:18.361077+00:00",
  "status": "passed",
  "checks": {
    "spatial_band_count": 154,
    "band_mean": 154,
    "band_variance": 154,
    "shell_weighted_tail": 154,
    "projective_reference_count": 84,
    "normalized_contact_projector": 33,
    "independent_kinetic_eigenvalue": 33,
    "kinetic_leakage_bound": 33,
    "determinant_partial_trace": 5,
    "normalized_determinant_trace": 5,
    "three_form_partial_trace": 7,
    "color_pair_fierz": 1,
    "color_fundamental_casimir": 1,
    "color_pair_weights": 1,
    "charge_linear_anomalies": 45,
    "charge_cubic_anomaly": 15,
    "middle_channel_parity": 15,
    "simplex_zero_energy": 363,
    "simplex_shape_spectrum": 11,
    "cross_polytope_zero_energy": 1221,
    "cross_polytope_shape_spectrum": 11,
    "exact_tetrahedral_shape_spectrum": 1,
    "octahedral_zero_energy": 15,
    "exact_octahedral_shape_spectrum": 1,
    "mixing_projector_defect": 6,
    "positive_mixing_defect": 6
  },
  "total_checks": 2529,
  "scope": "Finite exact algebra and bounded eigenvalue comparisons; no particle evolution, parameter fitting or empirical claim.",
  "spectral_dressing": [
    {
      "depth": 2,
      "cutoff": 2,
      "count": 6,
      "mean_kinetic": "7/3",
      "variance": "5/9",
      "correction": "0.08549934263670889",
      "upper_bound": "5/36"
    },
    {
      "depth": 2,
      "cutoff": 5,
      "count": 21,
      "mean_kinetic": "13/3",
      "variance": "20/9",
      "correction": "0.1016099027792822",
      "upper_bound": "5/36"
    },
    {
      "depth": 2,
      "cutoff": 12,
      "count": 91,
      "mean_kinetic": "9",
      "variance": "10",
      "correction": "0.1077652610872409",
      "upper_bound": "10/79"
    },
    {
      "depth": 3,
      "cutoff": 2,
      "count": 10,
      "mean_kinetic": "3",
      "variance": "9/20",
      "correction": "0.04215013066742176",
      "upper_bound": "9/160"
    },
    {
      "depth": 3,
      "cutoff": 5,
      "count": 56,
      "mean_kinetic": "21/4",
      "variance": "27/16",
      "correction": "0.02952196626604938",
      "upper_bound": "9/272"
    },
    {
      "depth": 3,
      "cutoff": 12,
      "count": 455,
      "mean_kinetic": "21/2",
      "variance": "36/5",
      "correction": "0.01574361233435596",
      "upper_bound": "36/2215"
    },
    {
      "depth": 4,
      "cutoff": 2,
      "count": 15,
      "mean_kinetic": "18/5",
      "variance": "28/75",
      "correction": "0.02366777822784294",
      "upper_bound": "28/975"
    },
    {
      "depth": 4,
      "cutoff": 5,
      "count": 126,
      "mean_kinetic": "6",
      "variance": "4/3",
      "correction": "0.01047546500811979",
      "upper_bound": "4/363"
    },
    {
      "depth": 4,
      "cutoff": 12,
      "count": 1820,
      "mean_kinetic": "58/5",
      "variance": "136/25",
      "correction": "0.002984936907425572",
      "upper_bound": "17/5650"
    },
    {
      "depth": 5,
      "cutoff": 2,
      "count": 21,
      "mean_kinetic": "25/6",
      "variance": "20/63",
      "correction": "0.01454013451141287",
      "upper_bound": "20/1197"
    },
    {
      "depth": 5,
      "cutoff": 5,
      "count": 252,
      "mean_kinetic": "20/3",
      "variance": "275/252",
      "correction": "0.004307685686515935",
      "upper_bound": "275/62244"
    },
    {
      "depth": 5,
      "cutoff": 12,
      "count": 6188,
      "mean_kinetic": "25/2",
      "variance": "30/7",
      "correction": "0.0006923050869962348",
      "upper_bound": "15/21616"
    },
    {
      "depth": 6,
      "cutoff": 2,
      "count": 28,
      "mean_kinetic": "33/7",
      "variance": "27/98",
      "correction": "0.009542395058455128",
      "upper_bound": "27/2548"
    },
    {
      "depth": 6,
      "cutoff": 5,
      "count": 462,
      "mean_kinetic": "51/7",
      "variance": "45/49",
      "correction": "0.001982025921373035",
      "upper_bound": "45/22393"
    },
    {
      "depth": 6,
      "cutoff": 12,
      "count": 18564,
      "mean_kinetic": "93/7",
      "variance": "171/49",
      "correction": "0.0001879623735881576",
      "upper_bound": "57/303016"
    },
    {
      "depth": 7,
      "cutoff": 2,
      "count": 36,
      "mean_kinetic": "21/4",
      "variance": "35/144",
      "correction": "0.006587054799684624",
      "upper_bound": "35/4896"
    },
    {
      "depth": 7,
      "cutoff": 5,
      "count": 792,
      "mean_kinetic": "63/8",
      "variance": "455/576",
      "correction": "0.0009956909056794964",
      "upper_bound": "455/453312"
    },
    {
      "depth": 7,
      "cutoff": 12,
      "count": 50388,
      "mean_kinetic": "14",
      "variance": "35/12",
      "correction": "5.788139546773932e-5",
      "upper_bound": "35/604512"
    },
    {
      "depth": 8,
      "cutoff": 2,
      "count": 45,
      "mean_kinetic": "52/9",
      "variance": "88/405",
      "correction": "0.004731983435462773",
      "upper_bound": "88/17415"
    },
    {
      "depth": 8,
      "cutoff": 5,
      "count": 1287,
      "mean_kinetic": "76/9",
      "variance": "56/81",
      "correction": "0.0005366257751170512",
      "upper_bound": "28/51921"
    },
    {
      "depth": 8,
      "cutoff": 12,
      "count": 125970,
      "mean_kinetic": "44/3",
      "variance": "112/45",
      "correction": "1.975742469387821e-5",
      "upper_bound": "8/404865"
    },
    {
      "depth": 9,
      "cutoff": 2,
      "count": 55,
      "mean_kinetic": "63/10",
      "variance": "54/275",
      "correction": "0.00351073320378475",
      "upper_bound": "54/14575"
    },
    {
      "depth": 9,
      "cutoff": 5,
      "count": 2002,
      "mean_kinetic": "9",
      "variance": "27/44",
      "correction": "0.0003063077170502401",
      "upper_bound": "27/87868"
    },
    {
      "depth": 9,
      "cutoff": 12,
      "count": 293930,
      "mean_kinetic": "153/10",
      "variance": "54/25",
      "correction": "7.348631793862937e-6",
      "upper_bound": "27/3673975"
    },
    {
      "depth": 10,
      "cutoff": 2,
      "count": 66,
      "mean_kinetic": "75/11",
      "variance": "65/363",
      "correction": "0.002674855281902389",
      "upper_bound": "65/23232"
    },
    {
      "depth": 10,
      "cutoff": 5,
      "count": 3003,
      "mean_kinetic": "105/11",
      "variance": "200/363",
      "correction": "0.0001833905564816258",
      "upper_bound": "100/544137"
    },
    {
      "depth": 10,
      "cutoff": 12,
      "count": 646646,
      "mean_kinetic": "175/11",
      "variance": "230/121",
      "correction": "2.939506269514728e-6",
      "upper_bound": "115/39121357"
    },
    {
      "depth": 11,
      "cutoff": 2,
      "count": 78,
      "mean_kinetic": "22/3",
      "variance": "77/468",
      "correction": "0.002083933274285172",
      "upper_bound": "77/35568"
    },
    {
      "depth": 11,
      "cutoff": 5,
      "count": 4368,
      "mean_kinetic": "121/12",
      "variance": "935/1872",
      "correction": "0.0001143123014197333",
      "upper_bound": "935/8167536"
    },
    {
      "depth": 11,
      "cutoff": 12,
      "count": 1352078,
      "mean_kinetic": "33/2",
      "variance": "22/13",
      "correction": "1.251632679653048e-6",
      "upper_bound": "11/8788429"
    },
    {
      "depth": 12,
      "cutoff": 2,
      "count": 91,
      "mean_kinetic": "102/13",
      "variance": "180/1183",
      "correction": "0.00165461430470059",
      "upper_bound": "180/105287"
    },
    {
      "depth": 12,
      "cutoff": 5,
      "count": 6188,
      "mean_kinetic": "138/13",
      "variance": "540/1183",
      "correction": "7.375095828665145e-5",
      "upper_bound": "20/270907"
    },
    {
      "depth": 12,
      "cutoff": 12,
      "count": 2704156,
      "mean_kinetic": "222/13",
      "variance": "1800/1183",
      "correction": "5.626724912731417e-7",
      "upper_bound": "225/399875294"
    }
  ],
  "color_comparison": [
    {
      "depth": 2,
      "channel_rank": 1,
      "adjoint_rank": 0,
      "fundamental_casimir": "0",
      "up_charge": "1",
      "down_charge": "0",
      "weak_doublets_with_one_lepton": 2,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": true,
      "isotropic_three_form_pair_factor": 0
    },
    {
      "depth": 3,
      "channel_rank": 3,
      "adjoint_rank": 8,
      "fundamental_casimir": "4/3",
      "up_charge": "2/3",
      "down_charge": "-1/3",
      "weak_doublets_with_one_lepton": 4,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": true,
      "isotropic_three_form_pair_factor": 1
    },
    {
      "depth": 4,
      "channel_rank": 3,
      "adjoint_rank": 8,
      "fundamental_casimir": "4/3",
      "up_charge": "2/3",
      "down_charge": "-1/3",
      "weak_doublets_with_one_lepton": 4,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": true,
      "isotropic_three_form_pair_factor": 1
    },
    {
      "depth": 5,
      "channel_rank": 10,
      "adjoint_rank": 99,
      "fundamental_casimir": "99/20",
      "up_charge": "11/20",
      "down_charge": "-9/20",
      "weak_doublets_with_one_lepton": 11,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 8
    },
    {
      "depth": 6,
      "channel_rank": 10,
      "adjoint_rank": 99,
      "fundamental_casimir": "99/20",
      "up_charge": "11/20",
      "down_charge": "-9/20",
      "weak_doublets_with_one_lepton": 11,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 8
    },
    {
      "depth": 7,
      "channel_rank": 35,
      "adjoint_rank": 1224,
      "fundamental_casimir": "612/35",
      "up_charge": "18/35",
      "down_charge": "-17/35",
      "weak_doublets_with_one_lepton": 36,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 33
    },
    {
      "depth": 8,
      "channel_rank": 35,
      "adjoint_rank": 1224,
      "fundamental_casimir": "612/35",
      "up_charge": "18/35",
      "down_charge": "-17/35",
      "weak_doublets_with_one_lepton": 36,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 33
    },
    {
      "depth": 9,
      "channel_rank": 126,
      "adjoint_rank": 15875,
      "fundamental_casimir": "15875/252",
      "up_charge": "127/252",
      "down_charge": "-125/252",
      "weak_doublets_with_one_lepton": 127,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 124
    },
    {
      "depth": 10,
      "channel_rank": 126,
      "adjoint_rank": 15875,
      "fundamental_casimir": "15875/252",
      "up_charge": "127/252",
      "down_charge": "-125/252",
      "weak_doublets_with_one_lepton": 127,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 124
    },
    {
      "depth": 11,
      "channel_rank": 462,
      "adjoint_rank": 213443,
      "fundamental_casimir": "213443/924",
      "up_charge": "463/924",
      "down_charge": "-461/924",
      "weak_doublets_with_one_lepton": 463,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 460
    },
    {
      "depth": 12,
      "channel_rank": 462,
      "adjoint_rank": 213443,
      "fundamental_casimir": "213443/924",
      "up_charge": "463/924",
      "down_charge": "-461/924",
      "weak_doublets_with_one_lepton": 463,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 460
    },
    {
      "depth": 13,
      "channel_rank": 1716,
      "adjoint_rank": 2944655,
      "fundamental_casimir": "2944655/3432",
      "up_charge": "1717/3432",
      "down_charge": "-1715/3432",
      "weak_doublets_with_one_lepton": 1717,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 1714
    },
    {
      "depth": 14,
      "channel_rank": 1716,
      "adjoint_rank": 2944655,
      "fundamental_casimir": "2944655/3432",
      "up_charge": "1717/3432",
      "down_charge": "-1715/3432",
      "weak_doublets_with_one_lepton": 1717,
      "even_weak_doublet_count": false,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 1714
    },
    {
      "depth": 15,
      "channel_rank": 6435,
      "adjoint_rank": 41409224,
      "fundamental_casimir": "20704612/6435",
      "up_charge": "3218/6435",
      "down_charge": "-3217/6435",
      "weak_doublets_with_one_lepton": 6436,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 6433
    },
    {
      "depth": 16,
      "channel_rank": 6435,
      "adjoint_rank": 41409224,
      "fundamental_casimir": "20704612/6435",
      "up_charge": "3218/6435",
      "down_charge": "-3217/6435",
      "weak_doublets_with_one_lepton": 6436,
      "even_weak_doublet_count": true,
      "scalar_trilinear_invariant": false,
      "isotropic_three_form_pair_factor": 6433
    }
  ],
  "angular_comparison": [
    {
      "resolved_directions": 2,
      "states": 3,
      "rotation_zero_modes": 1,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 2,
      "second_shape_eigenvalue": "8/3",
      "second_multiplicity": 0
    },
    {
      "resolved_directions": 3,
      "states": 4,
      "rotation_zero_modes": 3,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 3,
      "second_shape_eigenvalue": "3",
      "second_multiplicity": 2
    },
    {
      "resolved_directions": 4,
      "states": 5,
      "rotation_zero_modes": 6,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 4,
      "second_shape_eigenvalue": "16/5",
      "second_multiplicity": 5
    },
    {
      "resolved_directions": 5,
      "states": 6,
      "rotation_zero_modes": 10,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 5,
      "second_shape_eigenvalue": "10/3",
      "second_multiplicity": 9
    },
    {
      "resolved_directions": 6,
      "states": 7,
      "rotation_zero_modes": 15,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 6,
      "second_shape_eigenvalue": "24/7",
      "second_multiplicity": 14
    },
    {
      "resolved_directions": 7,
      "states": 8,
      "rotation_zero_modes": 21,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 7,
      "second_shape_eigenvalue": "7/2",
      "second_multiplicity": 20
    },
    {
      "resolved_directions": 8,
      "states": 9,
      "rotation_zero_modes": 28,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 8,
      "second_shape_eigenvalue": "32/9",
      "second_multiplicity": 27
    },
    {
      "resolved_directions": 9,
      "states": 10,
      "rotation_zero_modes": 36,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 9,
      "second_shape_eigenvalue": "18/5",
      "second_multiplicity": 35
    },
    {
      "resolved_directions": 10,
      "states": 11,
      "rotation_zero_modes": 45,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 10,
      "second_shape_eigenvalue": "40/11",
      "second_multiplicity": 44
    },
    {
      "resolved_directions": 11,
      "states": 12,
      "rotation_zero_modes": 55,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 11,
      "second_shape_eigenvalue": "11/3",
      "second_multiplicity": 54
    },
    {
      "resolved_directions": 12,
      "states": 13,
      "rotation_zero_modes": 66,
      "first_shape_eigenvalue": "2",
      "first_multiplicity": 12,
      "second_shape_eigenvalue": "48/13",
      "second_multiplicity": 65
    }
  ],
  "cross_polytope_comparison": [
    {
      "resolved_directions": 2,
      "states": 4,
      "rotation_zero_modes": 1,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 2,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 1
    },
    {
      "resolved_directions": 3,
      "states": 6,
      "rotation_zero_modes": 3,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 6,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 3
    },
    {
      "resolved_directions": 4,
      "states": 8,
      "rotation_zero_modes": 6,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 12,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 6
    },
    {
      "resolved_directions": 5,
      "states": 10,
      "rotation_zero_modes": 10,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 20,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 10
    },
    {
      "resolved_directions": 6,
      "states": 12,
      "rotation_zero_modes": 15,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 30,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 15
    },
    {
      "resolved_directions": 7,
      "states": 14,
      "rotation_zero_modes": 21,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 42,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 21
    },
    {
      "resolved_directions": 8,
      "states": 16,
      "rotation_zero_modes": 28,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 56,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 28
    },
    {
      "resolved_directions": 9,
      "states": 18,
      "rotation_zero_modes": 36,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 72,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 36
    },
    {
      "resolved_directions": 10,
      "states": 20,
      "rotation_zero_modes": 45,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 90,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 45
    },
    {
      "resolved_directions": 11,
      "states": 22,
      "rotation_zero_modes": 55,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 110,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 55
    },
    {
      "resolved_directions": 12,
      "states": 24,
      "rotation_zero_modes": 66,
      "first_shape_eigenvalue": "1",
      "first_multiplicity": 132,
      "second_shape_eigenvalue": "2",
      "second_multiplicity": 66
    }
  ],
  "exact_tetrahedron_characteristic_polynomial": "lambda**3*(lambda - 3)**2*(lambda - 2)**3",
  "exact_octahedron_characteristic_polynomial": "lambda**3*(lambda - 2)**3*(lambda - 1)**6",
  "sources": {
    "experiments/spatial-band-integration-checks.py": "4afe5a1c5df4a2e64bd765ef0119e36a2c46f33235201ff45eeb828823589d38"
  },
  "input_snapshot": 935
}