Recorded data and provenance for the associated calculation.
| checks | 127 |
|---|---|
| passed | true |
| original_script_sha256 | 8178a58e24951dd7d91fc3e7700cb67bd975114ca4f68e1ec355a81f30f9e899 |
| timestamp_utc | 2026-10-13T23:52:37.761934+00:00 |
| parent_snapshot | 1096 |
View complete data
{
"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"
]
}
}