Recorded data and provenance for the associated calculation.
| created | 2026-11-04T07:20:23.626926+00:00 |
|---|---|
| status | author-checked; independent review pending |
| code_sha256 | 381639dfc291a06c996772a69883a2b86d02357f30d4ab0c1d302b56c0d13c17 |
| check_count | 62 |
| scope | Exact sampled Pfaffians plus analytic formulas and representative symbolic derivatives; no physical charge identification. |
View complete data
{
"created": "2026-11-04T07:20:23.626926+00:00",
"status": "author-checked; independent review pending",
"code_sha256": "381639dfc291a06c996772a69883a2b86d02357f30d4ab0c1d302b56c0d13c17",
"checks": [
"curvature Pfaffian d=2",
"conjugation parity d=2",
"whole-space integral d=2",
"finite-ball derivative d=2",
"curvature Pfaffian d=4",
"conjugation parity d=4",
"whole-space integral d=4",
"finite-ball derivative d=4",
"curvature Pfaffian d=6",
"conjugation parity d=6",
"whole-space integral d=6",
"finite-ball derivative d=6",
"curvature Pfaffian d=10",
"conjugation parity d=10",
"whole-space integral d=10",
"finite-ball derivative d=10",
"connection differentiation",
"Bianchi identity representative",
"normalized spinor",
"spinor connection component 0",
"spinor connection component 1",
"spinor connection component 2",
"spinor connection component 3",
"exterior rank d=2 k=1",
"exterior rank d=2 k=2",
"exterior rank d=2 k=3",
"exterior rank d=2 k=4",
"exterior rank d=2 k=5",
"exterior rank d=2 k=6",
"exterior rank d=3 k=1",
"exterior rank d=3 k=2",
"exterior rank d=3 k=3",
"exterior rank d=3 k=4",
"exterior rank d=3 k=5",
"exterior rank d=3 k=6",
"exterior rank d=4 k=1",
"exterior rank d=4 k=2",
"exterior rank d=4 k=3",
"exterior rank d=4 k=4",
"exterior rank d=4 k=5",
"exterior rank d=4 k=6",
"exterior rank d=5 k=1",
"exterior rank d=5 k=2",
"exterior rank d=5 k=3",
"exterior rank d=5 k=4",
"exterior rank d=5 k=5",
"exterior rank d=5 k=6",
"exterior rank d=6 k=1",
"exterior rank d=6 k=2",
"exterior rank d=6 k=3",
"exterior rank d=6 k=4",
"exterior rank d=6 k=5",
"exterior rank d=6 k=6",
"exterior rank d=10 k=1",
"exterior rank d=10 k=2",
"exterior rank d=10 k=3",
"exterior rank d=10 k=4",
"exterior rank d=10 k=5",
"exterior rank d=10 k=6",
"shear symplectic",
"full covariance volume preserved",
"observed covariance increases"
],
"check_count": 62,
"curvature_integrals": [
{
"depth": 2,
"normalized_integral": "1",
"conjugation_sign": -1,
"finite_norm_profile": false
},
{
"depth": 4,
"normalized_integral": "1",
"conjugation_sign": 1,
"finite_norm_profile": true
},
{
"depth": 6,
"normalized_integral": "1",
"conjugation_sign": -1,
"finite_norm_profile": true
},
{
"depth": 10,
"normalized_integral": "1",
"conjugation_sign": -1,
"finite_norm_profile": true
}
],
"scope": "Exact sampled Pfaffians plus analytic formulas and representative symbolic derivatives; no physical charge identification."
}