{
  "checks": 127,
  "passed": true,
  "sources": {
    "local-positive-branch-checks.py": "8939e2e680f923863daf3c2e22af57b70142f632f9d230bddbc6646536319e28"
  },
  "historical_sources": {
    "content/notes/topics/contact-operators/flat-space-count-action.md": "8050a51e5b95601798189747d25c426143ad1273b7ccf482842c987b9da1b832",
    "content/notes/topics/contact-operators/shape-frequency-mobility.md": "ed6e6806f8a5b6647d711c540e0ffb45ee7e0504edcd55bbe67bfe7706d1f09f"
  },
  "original_script_sha256": "8178a58e24951dd7d91fc3e7700cb67bd975114ca4f68e1ec355a81f30f9e899",
  "timestamp_utc": "2026-10-13T23:52:37.761934+00:00",
  "parent_snapshot": 1096,
  "gaussian_branches": [
    {
      "broad": 0,
      "midpoint": 0,
      "narrow": 10,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 0,
      "narrow": 9,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 0,
      "narrow": 8,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 0,
      "narrow": 7,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 0,
      "narrow": 6,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 5,
      "midpoint": 0,
      "narrow": 5,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 6,
      "midpoint": 0,
      "narrow": 4,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 7,
      "midpoint": 0,
      "narrow": 3,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 8,
      "midpoint": 0,
      "narrow": 2,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 9,
      "midpoint": 0,
      "narrow": 1,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 10,
      "midpoint": 0,
      "narrow": 0,
      "shape_clock": "0*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 1,
      "narrow": 9,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 1,
      "narrow": 8,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 1,
      "narrow": 7,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 1,
      "narrow": 6,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 1,
      "narrow": 5,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 5,
      "midpoint": 1,
      "narrow": 4,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 6,
      "midpoint": 1,
      "narrow": 3,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 7,
      "midpoint": 1,
      "narrow": 2,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 8,
      "midpoint": 1,
      "narrow": 1,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 9,
      "midpoint": 1,
      "narrow": 0,
      "shape_clock": "1*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 2,
      "narrow": 8,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 2,
      "narrow": 7,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 2,
      "narrow": 6,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 2,
      "narrow": 5,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 2,
      "narrow": 4,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 5,
      "midpoint": 2,
      "narrow": 3,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 6,
      "midpoint": 2,
      "narrow": 2,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 7,
      "midpoint": 2,
      "narrow": 1,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 8,
      "midpoint": 2,
      "narrow": 0,
      "shape_clock": "2*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 3,
      "narrow": 7,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 3,
      "narrow": 6,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 3,
      "narrow": 5,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 3,
      "narrow": 4,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 3,
      "narrow": 3,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 5,
      "midpoint": 3,
      "narrow": 2,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 6,
      "midpoint": 3,
      "narrow": 1,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 7,
      "midpoint": 3,
      "narrow": 0,
      "shape_clock": "3*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 4,
      "narrow": 6,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 4,
      "narrow": 5,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 4,
      "narrow": 4,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 4,
      "narrow": 3,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 4,
      "narrow": 2,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 5,
      "midpoint": 4,
      "narrow": 1,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 6,
      "midpoint": 4,
      "narrow": 0,
      "shape_clock": "4*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 5,
      "narrow": 5,
      "shape_clock": "5*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 5,
      "narrow": 4,
      "shape_clock": "5*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 5,
      "narrow": 3,
      "shape_clock": "5*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 5,
      "narrow": 2,
      "shape_clock": "5*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 5,
      "narrow": 1,
      "shape_clock": "5*gamma2*Delta^4"
    },
    {
      "broad": 5,
      "midpoint": 5,
      "narrow": 0,
      "shape_clock": "5*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 6,
      "narrow": 4,
      "shape_clock": "6*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 6,
      "narrow": 3,
      "shape_clock": "6*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 6,
      "narrow": 2,
      "shape_clock": "6*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 6,
      "narrow": 1,
      "shape_clock": "6*gamma2*Delta^4"
    },
    {
      "broad": 4,
      "midpoint": 6,
      "narrow": 0,
      "shape_clock": "6*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 7,
      "narrow": 3,
      "shape_clock": "7*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 7,
      "narrow": 2,
      "shape_clock": "7*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 7,
      "narrow": 1,
      "shape_clock": "7*gamma2*Delta^4"
    },
    {
      "broad": 3,
      "midpoint": 7,
      "narrow": 0,
      "shape_clock": "7*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 8,
      "narrow": 2,
      "shape_clock": "8*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 8,
      "narrow": 1,
      "shape_clock": "8*gamma2*Delta^4"
    },
    {
      "broad": 2,
      "midpoint": 8,
      "narrow": 0,
      "shape_clock": "8*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 9,
      "narrow": 1,
      "shape_clock": "9*gamma2*Delta^4"
    },
    {
      "broad": 1,
      "midpoint": 9,
      "narrow": 0,
      "shape_clock": "9*gamma2*Delta^4"
    },
    {
      "broad": 0,
      "midpoint": 10,
      "narrow": 0,
      "shape_clock": "10*gamma2*Delta^4"
    }
  ],
  "polynomial_rows": [
    {
      "degree_q": 3,
      "degree_W2": 7,
      "degree_W3": 6,
      "leading_W2": "-7776"
    },
    {
      "degree_q": 4,
      "degree_W2": 12,
      "degree_W3": 10,
      "leading_W2": "-110592"
    },
    {
      "degree_q": 5,
      "degree_W2": 17,
      "degree_W3": 14,
      "leading_W2": "-800000"
    },
    {
      "degree_q": 6,
      "degree_W2": 22,
      "degree_W3": 18,
      "leading_W2": "-3888000"
    },
    {
      "degree_q": 7,
      "degree_W2": 27,
      "degree_W3": 22,
      "leading_W2": "-14521248"
    },
    {
      "degree_q": 8,
      "degree_W2": 32,
      "degree_W3": 26,
      "leading_W2": "-44957696"
    }
  ],
  "radial_poles": {
    "pole8": "-256*a**4*m**3*(m - 8)*(4*m - 21)",
    "m8_pole7": "1048576*a**3*(2*a*b + d + 3)",
    "m21over4_pole7": "-27783*a**3*(16*a*b + 8*d + 13)/2"
  },
  "radial_tangents": [
    {
      "depth": 2,
      "f4": "s**2 - 4*s/b + 2/b**2",
      "critical_gamma3": "gamma2*Delta^2/(2*b_mid)"
    },
    {
      "depth": 3,
      "f4": "s**2 - 5*s/b + 15/(4*b**2)",
      "critical_gamma3": "gamma2*Delta^2/(2*b_mid)"
    },
    {
      "depth": 4,
      "f4": "s**2 - 6*s/b + 6/b**2",
      "critical_gamma3": "gamma2*Delta^2/(2*b_mid)"
    },
    {
      "depth": 5,
      "f4": "s**2 - 7*s/b + 35/(4*b**2)",
      "critical_gamma3": "gamma2*Delta^2/(2*b_mid)"
    },
    {
      "depth": 6,
      "f4": "s**2 - 8*s/b + 12/b**2",
      "critical_gamma3": "gamma2*Delta^2/(2*b_mid)"
    },
    {
      "depth": 10,
      "f4": "s**2 - 12*s/b + 30/b**2",
      "critical_gamma3": "gamma2*Delta^2/(2*b_mid)"
    }
  ],
  "publication": {
    "originalReportSHA256": "7a42b7bcf4a1435f0f1e16b612b2fdc8d7e491ec0fd0efdfc75b2b1451705ec7",
    "omittedPrivateSourceLocations": 5,
    "archivedSourceSHA256": [
      "8178a58e24951dd7d91fc3e7700cb67bd975114ca4f68e1ec355a81f30f9e899",
      "89255c65506677b1678043dba248c5e3048d04f4d8d50749ab22264157400fa3",
      "ae3c4fed81f514ac474565dd891ae099458ee679f26b7bb3f68d411130528abe",
      "b782a8d89367eefc9958c831500931de8e006bfeb6ba64b3516824c9b8f4fef4",
      "f3a38384153e357d72392882a8878ad195b187a00cea84c15ad795c041eb3101"
    ]
  }
}