Recorded data and provenance for the associated calculation.
| created_utc | 2026-09-13T07:43:48.722526+00:00 |
|---|---|
| checks_total | 75 |
| checks_passed | 75 |
View complete data
{
"created_utc": "2026-09-13T07:43:48.722526+00:00",
"checks_total": 75,
"checks_passed": 75,
"checks": [
{
"label": "noncommuting exact slow elimination n2 omega0.7 z0.17",
"residual": 1.6683592854988774e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n2 omega0.7 z0.17",
"residual": 1.5159384956135262e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n2 omega0.7 z(-0.31+0.23j)",
"residual": 7.687290108873965e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n2 omega0.7 z(-0.31+0.23j)",
"residual": 6.753223014464259e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n2 omega3.0 z0.17",
"residual": 1.3875791016223473e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n2 omega3.0 z0.17",
"residual": 1.48985382432038e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n2 omega3.0 z(-0.31+0.23j)",
"residual": 2.517441801362893e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n2 omega3.0 z(-0.31+0.23j)",
"residual": 7.943570804474389e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n2 omega1000.0 z0.17",
"residual": 2.296893603525322e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n2 omega1000.0 z0.17",
"residual": 2.3893261359637837e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n2 omega1000.0 z(-0.31+0.23j)",
"residual": 3.1798006553922763e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n2 omega1000.0 z(-0.31+0.23j)",
"residual": 2.976396566406555e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n4 omega0.7 z0.17",
"residual": 1.7357531047379492e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n4 omega0.7 z0.17",
"residual": 2.1879483235454907e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n4 omega0.7 z(-0.31+0.23j)",
"residual": 3.0891229731773705e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n4 omega0.7 z(-0.31+0.23j)",
"residual": 5.88736325818171e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n4 omega3.0 z0.17",
"residual": 8.775406419102697e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n4 omega3.0 z0.17",
"residual": 3.226318873211756e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n4 omega3.0 z(-0.31+0.23j)",
"residual": 9.641973725492571e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n4 omega3.0 z(-0.31+0.23j)",
"residual": 1.2851476239900397e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n4 omega1000.0 z0.17",
"residual": 1.9319653496602208e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n4 omega1000.0 z0.17",
"residual": 1.2176711299255544e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n4 omega1000.0 z(-0.31+0.23j)",
"residual": 5.431953410130145e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n4 omega1000.0 z(-0.31+0.23j)",
"residual": 3.166722574359634e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n7 omega0.7 z0.17",
"residual": 3.0867662245898055e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n7 omega0.7 z0.17",
"residual": 2.641272484501586e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n7 omega0.7 z(-0.31+0.23j)",
"residual": 4.925824088291533e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n7 omega0.7 z(-0.31+0.23j)",
"residual": 3.638697800636304e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n7 omega3.0 z0.17",
"residual": 1.7169821683420468e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n7 omega3.0 z0.17",
"residual": 9.580511724524826e-16,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n7 omega3.0 z(-0.31+0.23j)",
"residual": 1.8086810140784623e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n7 omega3.0 z(-0.31+0.23j)",
"residual": 3.699920649401596e-15,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n7 omega1000.0 z0.17",
"residual": 1.6613117055422356e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n7 omega1000.0 z0.17",
"residual": 3.1210683434588506e-14,
"tolerance": 2e-11,
"passed": true
},
{
"label": "noncommuting exact slow elimination n7 omega1000.0 z(-0.31+0.23j)",
"residual": 1.700657327713207e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "full characteristic determinant n7 omega1000.0 z(-0.31+0.23j)",
"residual": 1.2740307957561193e-14,
"tolerance": 2e-11,
"passed": true
},
{
"label": "complete potential mixed second variation point0 case0",
"residual": 8.471864636766876e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point0 case1",
"residual": 2.054601630919658e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point0 case2",
"residual": 3.7849956131252087e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point1 case0",
"residual": 6.51444189710847e-11,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point1 case1",
"residual": 2.356830130412527e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point1 case2",
"residual": 5.00309063397965e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point2 case0",
"residual": 3.044956981596329e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point2 case1",
"residual": 7.793505782755279e-11,
"tolerance": 2e-07,
"passed": true
},
{
"label": "complete potential mixed second variation point2 case2",
"residual": 4.0134748118690575e-10,
"tolerance": 2e-07,
"passed": true
},
{
"label": "arbitrary positive shell weights grade1 source",
"residual": 1.5481563157235994e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "arbitrary positive shell weights grade1 energy",
"residual": 0.0,
"tolerance": 2e-12,
"passed": true
},
{
"label": "arbitrary positive shell weights grade2 source",
"residual": 3.518018531530355e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "arbitrary positive shell weights grade2 energy",
"residual": 0.0,
"tolerance": 2e-12,
"passed": true
},
{
"label": "arbitrary positive shell weights grade3 source",
"residual": 3.5992720538555323e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "arbitrary positive shell weights grade3 energy",
"residual": 6.661338147750939e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family canonical norm s0.2",
"residual": 2.220446049250313e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family positive mass current s0.2",
"residual": 3.925231146709438e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family invertible binding current s0.2",
"residual": 3.925231146709438e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family zero binding energy s0.2",
"residual": 9.344577987524008e-18,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family strictly timelike current s0.2",
"residual": 4.163336342344337e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.2 k0.0",
"residual": 6.124048573670331e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.2 k18564.0",
"residual": 1.2565438923371544e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.2 k185640.0",
"residual": 0.0,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family canonical norm s0.6",
"residual": 6.661338147750939e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family positive mass current s0.6",
"residual": 7.850462293418876e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family invertible binding current s0.6",
"residual": 7.850462293418876e-17,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family zero binding energy s0.6",
"residual": 8.511797900007715e-18,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family strictly timelike current s0.6",
"residual": 8.881784197001252e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.6 k0.0",
"residual": 3.2661592392908436e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.6 k18564.0",
"residual": 4.899238858936263e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.6 k185640.0",
"residual": 4.2371795536746076e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family canonical norm s0.9",
"residual": 6.661338147750939e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family positive mass current s0.9",
"residual": 1.1775693440128312e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family invertible binding current s0.9",
"residual": 1.1775693440128312e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family zero binding energy s0.9",
"residual": 2.106329828295514e-18,
"tolerance": 2e-12,
"passed": true
},
{
"label": "energy-family strictly timelike current s0.9",
"residual": 1.1102230246251565e-15,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.9 k0.0",
"residual": 4.354878985721124e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.9 k18564.0",
"residual": 6.333719691948102e-16,
"tolerance": 2e-12,
"passed": true
},
{
"label": "exact fixed-norm energy s0.9 k185640.0",
"residual": 2.266265161905517e-16,
"tolerance": 2e-12,
"passed": true
}
],
"evidence": {
"shell_weight_freedom": [
{
"degree": 1,
"weights": [
1.125,
4.125
],
"partial_sum": 5.25
},
{
"degree": 2,
"weights": [
1.125,
4.125,
9.125
],
"partial_sum": 14.375
},
{
"degree": 3,
"weights": [
1.125,
4.125,
9.125,
16.125
],
"partial_sum": 30.5
}
],
"regular_fixed_norm_energy_family": [
{
"scalar": 0.2,
"spatial_current": -0.9797958971132712,
"values": [
{
"wave_number": 0.0,
"energy": 3712.799999999998
},
{
"wave_number": 18564.0,
"energy": -14476.131034010768
},
{
"wave_number": 185640.0,
"energy": -178176.51034010766
}
]
},
{
"scalar": 0.6,
"spatial_current": -0.7999999999999997,
"values": [
{
"wave_number": 0.0,
"energy": 11138.399999999996
},
{
"wave_number": 18564.0,
"energy": -3712.7999999999993
},
{
"wave_number": 185640.0,
"energy": -137373.59999999995
}
]
},
{
"scalar": 0.9,
"spatial_current": -0.4358898943540671,
"values": [
{
"wave_number": 0.0,
"energy": 16707.599999999995
},
{
"wave_number": 18564.0,
"energy": 8615.740001211092
},
{
"wave_number": 185640.0,
"energy": -64210.99998788902
}
]
}
],
"scope": "Audit of existing inverse identities and their assumptions. Spatial existence and Lorentz inertia do not select the shell weights. No new physical assignments or stability theorem."
},
"source_sha256": {
"localized_action_audit_checks.py": "37d063bd41c7d89ff14d7503a76f67d1a694d493bd0a91d9199d314735eaee73",
"localized_current_model.py": "bea8db856f55959328e92d99c089ed26db3b35e717533c67a14c9444d5f1a2e4",
"localized_partner_tower.py": "a1cf1d13c2ad2ca58edce0f56109cb73ae2fcaff6f4ff25680bee116bbb6b963",
"graded_current_tower.py": "cf0f72cb6d078df086ec594550155d6518b00255ed46a16d669790edb093a602",
"coherent_mode_algebra.py": "4fbcbb6a1fbaa5a1a7de387746eda4d00f69fe22bbdb1e906c8795f8bb786dff",
"smooth_current_core.py": "f5d4f787f3f7e296adb4096f398896b9f8e07df8bc1e6b9b952934cc040157ef",
"scaled_gap_core.py": "1a4462a66671fab84f648670fb4f550556d1402d9f1ab6af8410cefa2ca887c9"
}
}