Recorded data and provenance for the associated calculation.
| timestamp | 20260914T042624_538609Z |
|---|---|
| scope | Nonuniform frame jets: exact principal separation on the timelike domain. |
| passed | true |
View complete data
{
"timestamp": "20260914T042624_538609Z",
"scope": "Nonuniform frame jets: exact principal separation on the timelike domain.",
"passed": true,
"checks": [
{
"name": "actual full timelike-density derivative d=2",
"error": 2.044795444078318e-09,
"tolerance": 2e-07,
"passed": true
},
{
"name": "complete nonuniform principal separation d=2,c_f=0.3",
"error": 8.396603707314438e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=2,c_f=0.3",
"error": 1.7939327635038595e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=2,c_f=0.3",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=2,c_f=0.3",
"error": 9.155133597044475e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=2,c_f=0.5",
"error": 1.0331789335535146e-15,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=2,c_f=0.5",
"error": 1.49377868528902e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=2,c_f=0.5",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=2,c_f=0.5",
"error": 8.881784197001252e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=2,c_f=0.9",
"error": 4.0218556501014264e-15,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=2,c_f=0.9",
"error": 1.9788111779078647e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=2,c_f=0.9",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=2,c_f=0.9",
"error": 9.930136612989092e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "actual full timelike-density derivative d=4",
"error": 4.418151622331834e-09,
"tolerance": 2e-07,
"passed": true
},
{
"name": "complete nonuniform principal separation d=4,c_f=0.3",
"error": 5.269238508966383e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=4,c_f=0.3",
"error": 2.3207948555513154e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=4,c_f=0.3",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=4,c_f=0.3",
"error": 6.280369834735101e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=4,c_f=0.5",
"error": 7.854431550385378e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=4,c_f=0.5",
"error": 2.416468415283069e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=4,c_f=0.5",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=4,c_f=0.5",
"error": 8.005932084973442e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=4,c_f=0.9",
"error": 4.364193517360351e-15,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=4,c_f=0.9",
"error": 2.5637369709051546e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=4,c_f=0.9",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=4,c_f=0.9",
"error": 6.280369834735101e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "actual full timelike-density derivative d=6",
"error": 6.387609108315928e-09,
"tolerance": 2e-07,
"passed": true
},
{
"name": "complete nonuniform principal separation d=6,c_f=0.3",
"error": 6.181012787129449e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=6,c_f=0.3",
"error": 2.5665856027892404e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=6,c_f=0.3",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=6,c_f=0.3",
"error": 1.2433018626278195e-15,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=6,c_f=0.5",
"error": 8.269790697083984e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=6,c_f=0.5",
"error": 2.6275206855989853e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=6,c_f=0.5",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=6,c_f=0.5",
"error": 7.529898907871222e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=6,c_f=0.9",
"error": 5.868722940604794e-15,
"tolerance": 3e-09,
"passed": true
},
{
"name": "actual symmetrizer at nonzero frame derivatives d=6,c_f=0.9",
"error": 2.401869944965341e-16,
"tolerance": 2e-09,
"passed": true
},
{
"name": "positive canonical principal metric d=6,c_f=0.9",
"error": 0.0,
"tolerance": 2e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=6,c_f=0.9",
"error": 1.7129935385950504e-15,
"tolerance": 2e-09,
"passed": true
},
{
"name": "actual full timelike-density derivative d=10",
"error": 1.0542897388443606e-08,
"tolerance": 2e-07,
"passed": true
},
{
"name": "complete nonuniform principal separation d=10,c_f=0.3",
"error": 7.540020850859328e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=10,c_f=0.3",
"error": 4.530063624369546e-15,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=10,c_f=0.5",
"error": 9.71887675565822e-16,
"tolerance": 3e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=10,c_f=0.5",
"error": 3.573900864766138e-15,
"tolerance": 2e-09,
"passed": true
},
{
"name": "complete nonuniform principal separation d=10,c_f=0.9",
"error": 7.396091524106525e-15,
"tolerance": 3e-09,
"passed": true
},
{
"name": "full mixed time-principal elimination d=10,c_f=0.9",
"error": 6.501517718227625e-15,
"tolerance": 2e-09,
"passed": true
}
],
"results": [
{
"depth": 2,
"frame_speed": 0.3,
"frame_transform_norm": 5.315846378578653,
"symmetrizer_condition_bound": 39.88991547780509
},
{
"depth": 2,
"frame_speed": 0.5,
"frame_transform_norm": 6.661266297880433,
"symmetrizer_condition_bound": 58.69500128703855
},
{
"depth": 2,
"frame_speed": 0.9,
"frame_transform_norm": 35.84774889934274,
"symmetrizer_condition_bound": 1357.756598949014
},
{
"depth": 4,
"frame_speed": 0.3,
"frame_transform_norm": 3.727499027851397,
"symmetrizer_condition_bound": 22.34924705833591
},
{
"depth": 4,
"frame_speed": 0.5,
"frame_transform_norm": 4.536773547026694,
"symmetrizer_condition_bound": 30.65586131105456
},
{
"depth": 4,
"frame_speed": 0.9,
"frame_transform_norm": 21.333038648694558,
"symmetrizer_condition_bound": 498.7646152840848
},
{
"depth": 6,
"frame_speed": 0.3,
"frame_transform_norm": 3.5203122184785927,
"symmetrizer_condition_bound": 20.433222552526853
},
{
"depth": 6,
"frame_speed": 0.5,
"frame_transform_norm": 4.3826642306329235,
"symmetrizer_condition_bound": 28.97307421973512
},
{
"depth": 6,
"frame_speed": 0.9,
"frame_transform_norm": 27.753284681456428,
"symmetrizer_condition_bound": 826.7513799728769
},
{
"depth": 10,
"frame_speed": 0.3,
"frame_transform_norm": 4.00740901020661,
"symmetrizer_condition_bound": 25.07414499549834
},
{
"depth": 10,
"frame_speed": 0.5,
"frame_transform_norm": 4.956726204945456,
"symmetrizer_condition_bound": 35.48258708068389
},
{
"depth": 10,
"frame_speed": 0.9,
"frame_transform_norm": 30.717954782788752,
"symmetrizer_condition_bound": 1006.0286556030319
}
],
"sources": {
"frame_principal_completion_checks.py": "3fa63e95a331cd5986afb439fc98c00e069d5a149f44ee31df3fc8a63a130338",
"localized_current_model.py": "bea8db856f55959328e92d99c089ed26db3b35e717533c67a14c9444d5f1a2e4"
}
}