Recorded data and provenance for the associated calculation.

Download recorded JSON

timestamp2026-09-12T12:27:16.133229+00:00
execution_modenormal
checks361
maximum_scaled_error1.5870832556884089e-10
scopeCheck the analytic localization boundaries of smooth and root self-mass. The nonexistence proofs concern the stated flat radial ansatz. Numerical initial-value tails are illustrations, not failed-shooting existence tests. All coordinates are ordinary spatial coordinates; no topology is selected.
View complete data
{
  "timestamp": "2026-09-12T12:27:16.133229+00:00",
  "execution_mode": "normal",
  "checks": 361,
  "maximum_scaled_error": 1.5870832556884089e-10,
  "scope": "Check the analytic localization boundaries of smooth and root self-mass.\n\nThe nonexistence proofs concern the stated flat radial ansatz. Numerical\ninitial-value tails are illustrations, not failed-shooting existence tests.\nAll coordinates are ordinary spatial coordinates; no topology is selected.\n",
  "results": {
    "power_bounds": [
      {
        "dimension": 2,
        "critical_exponent": 0.5,
        "example_norm": 2.0,
        "example_potential_logarithmic_power": 0.75
      },
      {
        "dimension": 3,
        "critical_exponent": 0.3333333333333333,
        "example_norm": 1.0,
        "example_potential_logarithmic_power": 0.6666666666666666
      },
      {
        "dimension": 5,
        "critical_exponent": 0.2,
        "example_norm": 0.5,
        "example_potential_logarithmic_power": 0.6
      },
      {
        "dimension": 6,
        "critical_exponent": 0.16666666666666666,
        "example_norm": 0.4,
        "example_potential_logarithmic_power": 0.5833333333333334
      },
      {
        "dimension": 10,
        "critical_exponent": 0.1,
        "example_norm": 0.2222222222222222,
        "example_potential_logarithmic_power": 0.55
      }
    ],
    "root_radial": [
      {
        "dimension": 1,
        "frequency_over_mass": 0.0,
        "last_upper": 448.9242027127829,
        "last_lower": -448.9230889376351,
        "maximum_lower_to_upper": 0.9999975190129178
      },
      {
        "dimension": 1,
        "frequency_over_mass": 0.1,
        "last_upper": 433.8803130887662,
        "last_lower": -392.458467376897,
        "maximum_lower_to_upper": 0.9045316312764003
      },
      {
        "dimension": 1,
        "frequency_over_mass": 0.8,
        "last_upper": 29.58118865776744,
        "last_lower": -9.85476039737158,
        "maximum_lower_to_upper": 0.3331428128661055
      },
      {
        "dimension": 1,
        "frequency_over_mass": 0.99,
        "last_upper": 1.4964682575691883,
        "last_lower": -0.07891911914354324,
        "maximum_lower_to_upper": 0.05273691489570033
      },
      {
        "dimension": 1,
        "frequency_over_mass": 0.9999,
        "last_upper": 1.0046273331048619,
        "last_lower": -0.0006810485389641181,
        "maximum_lower_to_upper": 0.0006779116161007646
      },
      {
        "dimension": 1,
        "frequency_over_mass": 1.0,
        "last_upper": 1.0,
        "last_lower": -0.0,
        "maximum_lower_to_upper": 0.0
      },
      {
        "dimension": 2,
        "frequency_over_mass": 0.0,
        "last_upper": 140.13615971568964,
        "last_lower": -129.37763914530368,
        "maximum_lower_to_upper": 0.9232280905070254
      },
      {
        "dimension": 2,
        "frequency_over_mass": 0.1,
        "last_upper": 135.79587260996362,
        "last_lower": -113.3519319250094,
        "maximum_lower_to_upper": 0.8347229539927308
      },
      {
        "dimension": 2,
        "frequency_over_mass": 0.8,
        "last_upper": 12.111746757588804,
        "last_lower": -3.4983951192940084,
        "maximum_lower_to_upper": 0.2888431527931373
      },
      {
        "dimension": 2,
        "frequency_over_mass": 0.99,
        "last_upper": 1.2436171338062854,
        "last_lower": -0.03806359641539707,
        "maximum_lower_to_upper": 0.0306071662899155
      },
      {
        "dimension": 2,
        "frequency_over_mass": 0.9999,
        "last_upper": 1.0023132209456567,
        "last_lower": -0.00034039317181345396,
        "maximum_lower_to_upper": 0.00033960758443583313
      },
      {
        "dimension": 2,
        "frequency_over_mass": 1.0,
        "last_upper": 1.0,
        "last_lower": -0.0,
        "maximum_lower_to_upper": 0.0
      },
      {
        "dimension": 3,
        "frequency_over_mass": 0.0,
        "last_upper": 66.0181013143581,
        "last_lower": -56.30972079388598,
        "maximum_lower_to_upper": 0.8529436574638254
      },
      {
        "dimension": 3,
        "frequency_over_mass": 0.1,
        "last_upper": 64.12720055178055,
        "last_lower": -49.4322342963885,
        "maximum_lower_to_upper": 0.7708465966243707
      },
      {
        "dimension": 3,
        "frequency_over_mass": 0.8,
        "last_upper": 7.246147351008517,
        "last_lower": -1.8247582766959913,
        "maximum_lower_to_upper": 0.251824616351753
      },
      {
        "dimension": 3,
        "frequency_over_mass": 0.99,
        "last_upper": 1.1605752815227013,
        "last_lower": -0.0248221235624068,
        "maximum_lower_to_upper": 0.021387775491685128
      },
      {
        "dimension": 3,
        "frequency_over_mass": 0.9999,
        "last_upper": 1.001541969064859,
        "last_lower": -0.00022687634675880292,
        "maximum_lower_to_upper": 0.00022652704905680354
      },
      {
        "dimension": 3,
        "frequency_over_mass": 1.0,
        "last_upper": 1.0,
        "last_lower": -0.0,
        "maximum_lower_to_upper": 0.0
      },
      {
        "dimension": 5,
        "frequency_over_mass": 0.0,
        "last_upper": 24.84252387965558,
        "last_lower": -18.16569592707463,
        "maximum_lower_to_upper": 0.7312339122657001
      },
      {
        "dimension": 5,
        "frequency_over_mass": 0.1,
        "last_upper": 24.231487400190442,
        "last_lower": -16.0009544725629,
        "maximum_lower_to_upper": 0.6603372796849913
      },
      {
        "dimension": 5,
        "frequency_over_mass": 0.8,
        "last_upper": 4.025202080947041,
        "last_lower": -0.7894473701131071,
        "maximum_lower_to_upper": 0.19612614577784565
      },
      {
        "dimension": 5,
        "frequency_over_mass": 0.99,
        "last_upper": 1.0950936865767766,
        "last_lower": -0.01451705474710131,
        "maximum_lower_to_upper": 0.013256450041713873
      },
      {
        "dimension": 5,
        "frequency_over_mass": 0.9999,
        "last_upper": 1.0009250592299923,
        "last_lower": -0.00013608985630163912,
        "maximum_lower_to_upper": 0.000135964081473125
      },
      {
        "dimension": 5,
        "frequency_over_mass": 1.0,
        "last_upper": 1.0,
        "last_lower": -0.0,
        "maximum_lower_to_upper": 0.0
      },
      {
        "dimension": 6,
        "frequency_over_mass": 0.0,
        "last_upper": 17.661576627724454,
        "last_lower": -11.994511870422237,
        "maximum_lower_to_upper": 0.6791303020815095
      },
      {
        "dimension": 6,
        "frequency_over_mass": 0.1,
        "last_upper": 17.2578304850915,
        "last_lower": -10.580366055123802,
        "maximum_lower_to_upper": 0.6130762533716999
      },
      {
        "dimension": 6,
        "frequency_over_mass": 0.8,
        "last_upper": 3.3482545428415387,
        "last_lower": -0.5870732555564037,
        "maximum_lower_to_upper": 0.175337104167169
      },
      {
        "dimension": 6,
        "frequency_over_mass": 0.99,
        "last_upper": 1.0789204863152677,
        "last_lower": -0.01200031194622073,
        "maximum_lower_to_upper": 0.011122517459283983
      },
      {
        "dimension": 6,
        "frequency_over_mass": 0.9999,
        "last_upper": 1.0007708508680548,
        "last_lower": -0.00011339885187024097,
        "maximum_lower_to_upper": 0.00011331150559779032
      },
      {
        "dimension": 6,
        "frequency_over_mass": 1.0,
        "last_upper": 1.0,
        "last_lower": -0.0,
        "maximum_lower_to_upper": 0.0
      },
      {
        "dimension": 10,
        "frequency_over_mass": 0.0,
        "last_upper": 7.34759564105326,
        "last_lower": -3.806820218576338,
        "maximum_lower_to_upper": 0.5181042077637575
      },
      {
        "dimension": 10,
        "frequency_over_mass": 0.1,
        "last_upper": 7.2191701666260935,
        "last_lower": -3.372981530004392,
        "maximum_lower_to_upper": 0.4672256578183373
      },
      {
        "dimension": 10,
        "frequency_over_mass": 0.8,
        "last_upper": 2.1863479648510564,
        "last_lower": -0.26384385867982824,
        "maximum_lower_to_upper": 0.12067788976024336
      },
      {
        "dimension": 10,
        "frequency_over_mass": 0.99,
        "last_upper": 1.0469005357390142,
        "last_lower": -0.007065041879569185,
        "maximum_lower_to_upper": 0.006748532108240755
      },
      {
        "dimension": 10,
        "frequency_over_mass": 0.9999,
        "last_upper": 1.0004624659699648,
        "last_lower": -6.802620568370192e-05,
        "maximum_lower_to_upper": 6.799476042087136e-05
      },
      {
        "dimension": 10,
        "frequency_over_mass": 1.0,
        "last_upper": 1.0,
        "last_lower": -0.0,
        "maximum_lower_to_upper": 0.0
      }
    ],
    "dilation": [
      {
        "dimension": 1,
        "canonical_norm": 0.5169920816426439,
        "kinetic": 0.06266570686577501,
        "root_energy": 0.4485214598262916,
        "smooth_dilation_derivative": 0.16923942818825033
      },
      {
        "dimension": 3,
        "canonical_norm": 0.17468065788834786,
        "kinetic": 0.04699928014933126,
        "root_energy": 0.07621858786338001,
        "smooth_dilation_derivative": 0.09402121808194107
      },
      {
        "dimension": 5,
        "canonical_norm": 0.165084971524526,
        "kinetic": 0.058749100186664065,
        "root_energy": 0.053169772030309176,
        "smooth_dilation_derivative": 0.08581081902478414
      },
      {
        "dimension": 6,
        "canonical_norm": 0.19375,
        "kinetic": 0.075,
        "root_energy": 0.06344086027714443,
        "smooth_dilation_derivative": 0.0979221813190989
      },
      {
        "dimension": 10,
        "canonical_norm": 0.7987499999999998,
        "kinetic": 0.37500000000000006,
        "root_energy": 0.3885571668404505,
        "smooth_dilation_derivative": 0.41312015908456784
      }
    ],
    "smooth_tail": [
      {
        "dimension": 3,
        "mass_coefficient": 0.2,
        "density_scale": 0.1,
        "tail_norm_density_mean": 0.20510221590830344,
        "relative_free_coordinate_drift": 0.00020544506352331536
      },
      {
        "dimension": 5,
        "mass_coefficient": 0.6,
        "density_scale": 0.2,
        "tail_norm_density_mean": 2.8933008757472063,
        "relative_free_coordinate_drift": 8.833273201713852e-08
      },
      {
        "dimension": 6,
        "mass_coefficient": 0.2,
        "density_scale": 0.1,
        "tail_norm_density_mean": 12.36005307971954,
        "relative_free_coordinate_drift": 1.1989441369242991e-09
      },
      {
        "dimension": 10,
        "mass_coefficient": 0.6,
        "density_scale": 0.2,
        "tail_norm_density_mean": 53022.39211897697,
        "relative_free_coordinate_drift": 6.605550933615961e-11
      }
    ]
  },
  "source_sha256": {
    "experiments/local_self_mass_localization_checks.py": "f20bc7ce3ceed998ea3133b5ee8d58a6f34987577c99f757dfecc98b68c1962b",
    "experiments/local_scalar_profile_checks.py": "c2ab774c9d8d5d2795cd0f4a68a2e5e96966040d58f94ce6ff6a4de27c3efea9",
    "experiments/spatial_dirac_mode_checks.py": "116a9f6d0f3cbcf9ee2fbe7a762e09c113194a07591191dd6663f5bcb8364552"
  }
}