{
  "scope": "Exact checks of displayed identities only, not verification of the full theory",
  "radial_identity": "Laplacian(exp(s*r)/r)=s^2 exp(s*r)/r for r>0",
  "formal_pure_gauge_riemann_components_checked": 256,
  "nonzero_pure_gauge_riemann_components": 0,
  "constant_particular_substitution_checks": [
    {
      "mu_squared": "2",
      "Lambda": "1",
      "a": "2",
      "original_residual": "12",
      "corrected_particular": "2",
      "corrected_residual": "0"
    },
    {
      "mu_squared": "1/4",
      "Lambda": "1",
      "a": "-5/8",
      "original_residual": "3/2",
      "corrected_particular": "-32/5",
      "corrected_residual": "0"
    },
    {
      "mu_squared": "0",
      "Lambda": "1",
      "a": "-1",
      "original_residual": "0",
      "corrected_particular": "-4",
      "corrected_residual": "0"
    }
  ],
  "a_zero_r_squared_particular_residual": "0",
  "source_pdf_sha256": "99519795c55879827c7991a9e174a6d4317ea8f5c2df68417a3c4f6901e87033"
}