Recorded data and provenance for the associated calculation.

Download recorded JSON

timestamp2026-09-12T15:16:45.698038+00:00
execution_modenormal
scopeExact normal coherent-source contact limit, its self-energy cost and population selection.
checks203
maximum_scaled_error1.451770686702652e-14
View complete data
{
  "timestamp": "2026-09-12T15:16:45.698038+00:00",
  "execution_mode": "normal",
  "scope": "Exact normal coherent-source contact limit, its self-energy cost and population selection.",
  "checks": 203,
  "maximum_scaled_error": 1.451770686702652e-14,
  "results": [
    {
      "normal_degree": 100,
      "depth": 6,
      "first_target": 12,
      "second_target": 34,
      "family_ratio": 72.62200500360092,
      "relative_family_deficit": 0.648769819328246,
      "complete_equal_norm_source_ratio": 76.2901050129265,
      "relative_full_operator_error_at_second": 0.8181672497609656,
      "source_canonical_norm": 1,
      "source_scalar_self_energy_over_g": 14754256.932252113
    },
    {
      "normal_degree": 1000,
      "depth": 6,
      "first_target": 12,
      "second_target": 34,
      "family_ratio": 181.813943851044,
      "relative_family_deficit": 0.12067224880007164,
      "complete_equal_norm_source_ratio": 180.35912764397295,
      "relative_full_operator_error_at_second": 0.1812046165348294,
      "source_canonical_norm": 1,
      "source_scalar_self_energy_over_g": 11197043066928.41
    },
    {
      "normal_degree": 10000,
      "depth": 6,
      "first_target": 12,
      "second_target": 34,
      "family_ratio": 204.06046399736522,
      "relative_family_deficit": 0.013078836997095658,
      "complete_equal_norm_source_ratio": 202.01410036601834,
      "relative_full_operator_error_at_second": 0.020152454934244165,
      "source_canonical_norm": 1,
      "source_scalar_self_energy_over_g": 1.0884919357399927e+19
    },
    {
      "normal_degree": 100000,
      "depth": 6,
      "first_target": 12,
      "second_target": 34,
      "family_ratio": 206.49202873535242,
      "relative_family_deficit": 0.0013187799428189923,
      "complete_equal_norm_source_ratio": 204.384700233473,
      "relative_full_operator_error_at_second": 0.0020375033721259195,
      "source_canonical_norm": 1,
      "source_scalar_self_energy_over_g": 1.0854112865158169e+25
    },
    {
      "normal_degree": 1000000,
      "depth": 6,
      "first_target": 12,
      "second_target": 34,
      "family_ratio": 206.73741546557847,
      "relative_family_deficit": 0.00013198779094340487,
      "complete_equal_norm_source_ratio": 204.62397074765124,
      "relative_full_operator_error_at_second": 0.00020397501237385746,
      "source_canonical_norm": 1,
      "source_scalar_self_energy_over_g": 1.085103624583879e+31
    },
    {
      "family_deficit_tolerance": 0.01,
      "minimum_normal_degree": 13108,
      "source_scalar_self_energy_over_g": 5.517210925058931e+19,
      "log10_source_self_energy": 19.74171958751731
    },
    {
      "family_deficit_tolerance": 0.001,
      "minimum_normal_degree": 131908,
      "source_scalar_self_energy_over_g": 5.717261492496496e+25,
      "log10_source_self_energy": 25.757188056155357
    },
    {
      "family_deficit_tolerance": 0.0001,
      "minimum_normal_degree": 1319908,
      "source_scalar_self_energy_over_g": 5.737594681612444e+31,
      "log10_source_self_energy": 31.758729865318745
    },
    {
      "depth": 5,
      "normal_degree": 1000,
      "general_positive_source_energy_bound": true,
      "family_deficit": 0.10166909504133055,
      "first_normalized_source": 0.9422679146409688,
      "cap_parameter": 0.0102797538298798,
      "scalar_self_energy_lower_bound_over_g": 966819153.9409331,
      "actual_scalar_self_energy_over_g": 133164838359.06068
    },
    {
      "depth": 5,
      "normal_degree": 10000,
      "general_positive_source_energy_bound": true,
      "family_deficit": 0.010911511624160552,
      "first_normalized_source": 0.9940233261060951,
      "cap_parameter": 0.0010024366559109195,
      "scalar_self_energy_lower_bound_over_g": 122016473648481.3,
      "actual_scalar_self_energy_over_g": 1.3050156913495892e+16
    },
    {
      "depth": 6,
      "normal_degree": 1000,
      "general_positive_source_energy_bound": true,
      "family_deficit": 0.12067224880007164,
      "first_normalized_source": 0.931160630774867,
      "cap_parameter": 0.012476402041139381,
      "scalar_self_energy_lower_bound_over_g": 28735784512.83908,
      "actual_scalar_self_energy_over_g": 11197043066928.41
    },
    {
      "depth": 6,
      "normal_degree": 10000,
      "general_positive_source_energy_bound": true,
      "family_deficit": 0.013078836997095658,
      "first_normalized_source": 0.9928326413473335,
      "cap_parameter": 0.0012040868411436541,
      "scalar_self_energy_lower_bound_over_g": 4.0431070990175784e+16,
      "actual_scalar_self_energy_over_g": 1.0884919357399927e+19
    },
    {
      "depth": 10,
      "normal_degree": 1000,
      "general_positive_source_energy_bound": true,
      "family_deficit": 0.19258183161194384,
      "first_normalized_source": 0.8881292118482604,
      "cap_parameter": 0.021866439149118403,
      "scalar_self_energy_lower_bound_over_g": 3945314818983945.0,
      "actual_scalar_self_energy_over_g": 1.4608002093145483e+20
    },
    {
      "depth": 10,
      "normal_degree": 10000,
      "general_positive_source_energy_bound": true,
      "family_deficit": 0.021698612051435744,
      "first_normalized_source": 0.9880853302899667,
      "cap_parameter": 0.0020146517640012244,
      "scalar_self_energy_lower_bound_over_g": 1.1078960956885387e+26,
      "actual_scalar_self_energy_over_g": 1.3567145484277055e+30
    },
    {
      "optimal_positive_moment_source": true,
      "comparison_normal_degree": 13108,
      "depth": 6,
      "first_moment": 0.9945261849732053,
      "relative_family_deficit": 0.009999539979086022,
      "cap_width": 0.0006094091535904544,
      "optimized_source_canonical_norm": 0.9999944800423174,
      "minimum_scalar_self_energy_over_g": 1.7121609439644963e+19,
      "coherent_scalar_self_energy_over_g": 5.517210925058931e+19,
      "coherent_to_minimum_energy_ratio": 3.222367000314742
    },
    {
      "optimal_positive_moment_source": true,
      "comparison_normal_degree": 131908,
      "depth": 6,
      "first_moment": 0.9994543532511466,
      "relative_family_deficit": 0.0009999961312449166,
      "cap_width": 6.063936771700815e-05,
      "optimized_source_canonical_norm": 0.9999999453068538,
      "minimum_scalar_self_energy_over_g": 1.7602680399369777e+25,
      "coherent_scalar_self_energy_over_g": 5.717261492496496e+25,
      "coherent_to_minimum_energy_ratio": 3.2479493820163827
    },
    {
      "optimal_positive_moment_source": true,
      "comparison_normal_degree": 1319908,
      "depth": 6,
      "first_moment": 0.9999454526239123,
      "relative_family_deficit": 9.99999620403714e-05,
      "cap_width": 6.060938954482521e-06,
      "optimized_source_canonical_norm": 0.9999999994535711,
      "minimum_scalar_self_energy_over_g": 1.7651371875238517e+31,
      "coherent_scalar_self_energy_over_g": 5.737594681612444e+31,
      "coherent_to_minimum_energy_ratio": 3.2505092081036415
    }
  ],
  "source_sha256": {
    "experiments/coherent_normal_contact_checks.py": "bf813d60338ed6d2f8d8d31c1f85337ab6be972d0b4a3449804df7fb1b9f0450",
    "experiments/dirac_current_reduction_checks.py": "b26dd1108f49c5b7254d56966739b9f67bf04d521def9d289d8b183636b36c7a",
    "experiments/dirac_current_reduction.py": "e9a907c42f83662ade7a9ce8baba55a3c0e880c99ac5480b578beb6e381738e9",
    "experiments/graded_current_tower.py": "cf0f72cb6d078df086ec594550155d6518b00255ed46a16d669790edb093a602",
    "experiments/coherent_mode_algebra.py": "4fbcbb6a1fbaa5a1a7de387746eda4d00f69fe22bbdb1e906c8795f8bb786dff",
    "experiments/spatial_dirac_mode_checks.py": "116a9f6d0f3cbcf9ee2fbe7a762e09c113194a07591191dd6663f5bcb8364552"
  }
}