Recorded data and provenance for the associated calculation.
| status | passed |
|---|---|
| source_sha256 | 77de48f5949989f2bfa483efac88efae3f82b3c89e2593fce46ee21b89dec40d |
| scope | Complete nonlinear radial-map operator identity with symbolic depth, and distinct determinant-only source identities. Does not verify stability or exterior support. |
View complete data
{
"status": "passed",
"checks": [
{
"kind": "homogeneous_harmonic",
"degree": 0,
"identity": true
},
{
"kind": "homogeneous_harmonic",
"degree": 1,
"identity": true
},
{
"kind": "homogeneous_harmonic",
"degree": 2,
"identity": true
},
{
"kind": "homogeneous_harmonic",
"degree": 3,
"identity": true
},
{
"kind": "radial_degree_two",
"identity": true
},
{
"kind": "complete_polynomial_stationary_variation",
"depth": 2,
"degrees": [
1,
2,
3
],
"identity": true
},
{
"kind": "determinant_only_source_and_dilation",
"depth": 2,
"identity": true
},
{
"kind": "complete_polynomial_stationary_variation",
"depth": 3,
"degrees": [
1,
2,
3
],
"identity": true
},
{
"kind": "determinant_only_source_and_dilation",
"depth": 3,
"identity": true
},
{
"kind": "complete_polynomial_stationary_variation",
"depth": 4,
"degrees": [
1,
2,
3
],
"identity": true
},
{
"kind": "determinant_only_source_and_dilation",
"depth": 4,
"identity": true
},
{
"kind": "complete_polynomial_stationary_variation",
"depth": 5,
"degrees": [
1,
2,
3
],
"identity": true
},
{
"kind": "determinant_only_source_and_dilation",
"depth": 5,
"identity": true
},
{
"kind": "complete_polynomial_stationary_variation",
"depth": 6,
"degrees": [
1,
2,
3
],
"identity": true
},
{
"kind": "determinant_only_source_and_dilation",
"depth": 6,
"identity": true
},
{
"kind": "complete_polynomial_stationary_variation",
"depth": 10,
"degrees": [
1,
2,
3
],
"identity": true
},
{
"kind": "determinant_only_source_and_dilation",
"depth": 10,
"identity": true
},
{
"kind": "positive_charge_energy_square",
"identity": true
},
{
"kind": "ground_spectral_gap",
"depth": 2,
"gap": 8
},
{
"kind": "ground_spectral_gap",
"depth": 3,
"gap": 15
},
{
"kind": "ground_spectral_gap",
"depth": 4,
"gap": 24
},
{
"kind": "ground_spectral_gap",
"depth": 5,
"gap": 35
},
{
"kind": "ground_spectral_gap",
"depth": 6,
"gap": 48
},
{
"kind": "ground_spectral_gap",
"depth": 10,
"gap": 120
}
],
"source_sha256": "77de48f5949989f2bfa483efac88efae3f82b3c89e2593fce46ee21b89dec40d",
"scope": "Complete nonlinear radial-map operator identity with symbolic depth, and distinct determinant-only source identities. Does not verify stability or exterior support."
}