Recorded data and provenance for the associated calculation.

Download recorded JSON

checks76
all_passedtrue
script_sha2562259687dd72621324d67053f4aec020c370e2ed92f9662b791af608bcbf1062d
scopeFinite exact Gaussian and changed-action identities; no full GC moving branch or stability claim.
View complete data
{
  "checks": 76,
  "all_passed": true,
  "cases": [
    {
      "depth": 2,
      "det_Q": "123659734649485321/1152921504606846976",
      "input_active_width": "48/61",
      "input_normal_width": "240/49",
      "mixture_active_width": "80/69",
      "mixture_normal_width": "272/81",
      "common_phase_repair_mu": "3",
      "h": "5",
      "velocity": [
        "12/25",
        "16/25",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "physical_inertia": "N*mu/c^2",
      "restricted_GC_inertia": "N*mu/(kappa*c^2)*Q^(-2)"
    },
    {
      "depth": 3,
      "det_Q": "153943751298338869/1152921504606846976",
      "input_active_width": "48/61",
      "input_normal_width": "240/49",
      "mixture_active_width": "80/69",
      "mixture_normal_width": "272/81",
      "common_phase_repair_mu": "3",
      "h": "5",
      "velocity": [
        "12/25",
        "16/25",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "physical_inertia": "N*mu/c^2",
      "restricted_GC_inertia": "N*mu/(kappa*c^2)*Q^(-2)"
    },
    {
      "depth": 4,
      "det_Q": "191644261820381041/1152921504606846976",
      "input_active_width": "48/61",
      "input_normal_width": "240/49",
      "mixture_active_width": "80/69",
      "mixture_normal_width": "272/81",
      "common_phase_repair_mu": "3",
      "h": "5",
      "velocity": [
        "12/25",
        "16/25",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "physical_inertia": "N*mu/c^2",
      "restricted_GC_inertia": "N*mu/(kappa*c^2)*Q^(-2)"
    },
    {
      "depth": 5,
      "det_Q": "238577550429453949/1152921504606846976",
      "input_active_width": "48/61",
      "input_normal_width": "240/49",
      "mixture_active_width": "80/69",
      "mixture_normal_width": "272/81",
      "common_phase_repair_mu": "3",
      "h": "5",
      "velocity": [
        "12/25",
        "16/25",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "physical_inertia": "N*mu/c^2",
      "restricted_GC_inertia": "N*mu/(kappa*c^2)*Q^(-2)"
    },
    {
      "depth": 6,
      "det_Q": "297004705636667161/1152921504606846976",
      "input_active_width": "48/61",
      "input_normal_width": "240/49",
      "mixture_active_width": "80/69",
      "mixture_normal_width": "272/81",
      "common_phase_repair_mu": "3",
      "h": "5",
      "velocity": [
        "12/25",
        "16/25",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "physical_inertia": "N*mu/c^2",
      "restricted_GC_inertia": "N*mu/(kappa*c^2)*Q^(-2)"
    },
    {
      "depth": 10,
      "det_Q": "713342911662882601/1152921504606846976",
      "input_active_width": "48/61",
      "input_normal_width": null,
      "mixture_active_width": "80/69",
      "mixture_normal_width": null,
      "common_phase_repair_mu": "3",
      "h": "5",
      "velocity": [
        "12/25",
        "16/25",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "physical_inertia": "N*mu/c^2",
      "restricted_GC_inertia": "N*mu/(kappa*c^2)*Q^(-2)"
    }
  ],
  "sources": {
    "experiments/shape-frequency-mobility-checks.py": "2259687dd72621324d67053f4aec020c370e2ed92f9662b791af608bcbf1062d"
  },
  "script_sha256": "2259687dd72621324d67053f4aec020c370e2ed92f9662b791af608bcbf1062d",
  "scope": "Finite exact Gaussian and changed-action identities; no full GC moving branch or stability claim."
}