Recorded data and provenance for the associated calculation.
| checks | 185 |
|---|---|
| all_passed | true |
| W3_simple | -16*(2*c**3 - 15*c**2 + 31*c - 22) |
| W4_simple | -16*(4*c**2 - 37*c + 72) |
| H3_cusp_radial | -210*pi |
| H4_cusp_radial | -959*pi/8 |
| original_script_sha256 | c87d9d2fd79bc76bc621d9c0db373229b9e7dac3cbdaa84c5f5bdae3f7db6ebf |
| timestamp_utc | 2026-10-13T23:52:26.922913+00:00 |
View complete data
{
"checks": 185,
"all_passed": true,
"assignments": [
{
"d": 2,
"k": 75,
"real_components": 4,
"total_density_nodes": "active origin",
"H3_finite": false,
"H4_finite": false,
"compact_variations": "energy divergent"
},
{
"d": 2,
"k": 80,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 2,
"k": 94,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 3,
"k": 0,
"real_components": 1,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 3,
"k": 3,
"real_components": 5,
"total_density_nodes": "active origin",
"H3_finite": false,
"H4_finite": false,
"compact_variations": "energy divergent"
},
{
"d": 4,
"k": 2,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 4,
"k": 19,
"real_components": 6,
"total_density_nodes": "active origin",
"H3_finite": false,
"H4_finite": false,
"compact_variations": "energy divergent"
},
{
"d": 4,
"k": 71,
"real_components": 6,
"total_density_nodes": "active origin",
"H3_finite": false,
"H4_finite": false,
"compact_variations": "energy divergent"
},
{
"d": 5,
"k": 9,
"real_components": 7,
"total_density_nodes": "active origin",
"H3_finite": true,
"H4_finite": false,
"compact_variations": "cusp counterexample"
},
{
"d": 5,
"k": 14,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 5,
"k": 21,
"real_components": 7,
"total_density_nodes": "active origin",
"H3_finite": true,
"H4_finite": false,
"compact_variations": "cusp counterexample"
},
{
"d": 6,
"k": 12,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 6,
"k": 34,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
},
{
"d": 10,
"k": 22,
"real_components": 3,
"total_density_nodes": "none",
"H3_finite": true,
"H4_finite": true,
"compact_variations": "smooth"
}
],
"W3_simple": "-16*(2*c**3 - 15*c**2 + 31*c - 22)",
"W4_simple": "-16*(4*c**2 - 37*c + 72)",
"H3_cusp_radial": "-210*pi",
"H4_cusp_radial": "-959*pi/8",
"sources": {
"local-nodal-domain-checks.py": "356dee44d9f1c808efa91586e6e24be6880119da24f9c9858225eb25c90ac512"
},
"historical_sources": {},
"original_script_sha256": "c87d9d2fd79bc76bc621d9c0db373229b9e7dac3cbdaa84c5f5bdae3f7db6ebf",
"timestamp_utc": "2026-10-13T23:52:26.922913+00:00",
"database_source": {
"snapshot": 1096,
"path": "content/notes/topics/contact-operators/flat-space-count-action.md",
"sha256": "8050a51e5b95601798189747d25c426143ad1273b7ccf482842c987b9da1b832"
},
"publication": {
"originalReportSHA256": "f331cf07ab8783c542f9d9b4b7778005f3eef3893a9af3ee29fd678bd3de80c8",
"omittedPrivateSourceLocations": 4,
"archivedSourceSHA256": [
"3356effa4bdc51038b42d666ac69df711078117f5b3962fd040fcc755a54ebae",
"3bb8dba781298116e7595b9159b6f8019fc6290ee86649d2d5c1dcb9ac966b59",
"c87d9d2fd79bc76bc621d9c0db373229b9e7dac3cbdaa84c5f5bdae3f7db6ebf",
"f3a38384153e357d72392882a8878ad195b187a00cea84c15ad795c041eb3101"
]
}
}