Recorded data and provenance for the associated calculation.
| created_utc | 20261013T173917Z |
|---|---|
| passed | 91 |
| scope | Exact scalar band, center metric and conormal arithmetic. Tangential connection inheritance requires the accompanying geometric proof. No ambient dynamical selection, odd-depth spectrum or stationary particle is tested. |
View complete data
{
"created_utc": "20261013T173917Z",
"passed": 91,
"checks": [
"m=1: induced holomorphic line",
"m=1: conjugate normal sign",
"m=1: normal determinant multiplicity",
"m=1: ambient exterior rank",
"m=1, N=0: cumulative simplex count",
"m=1, N=0: moving-center metric",
"m=1, N=0: positive horizontal metric",
"m=1, N=1: cumulative simplex count",
"m=1, N=1: moving-center metric",
"m=1, N=1: positive horizontal metric",
"m=1, N=2: cumulative simplex count",
"m=1, N=2: moving-center metric",
"m=1, N=2: positive horizontal metric",
"m=1, N=12: cumulative simplex count",
"m=1, N=12: moving-center metric",
"m=1, N=12: positive horizontal metric",
"m=1, N=22: cumulative simplex count",
"m=1, N=22: moving-center metric",
"m=1, N=22: positive horizontal metric",
"m=1, N=34: cumulative simplex count",
"m=1, N=34: moving-center metric",
"m=1, N=34: positive horizontal metric",
"m=2: induced holomorphic line",
"m=2: conjugate normal sign",
"m=2: normal determinant multiplicity",
"m=2: ambient exterior rank",
"m=2, N=0: cumulative simplex count",
"m=2, N=0: moving-center metric",
"m=2, N=0: positive horizontal metric",
"m=2, N=1: cumulative simplex count",
"m=2, N=1: moving-center metric",
"m=2, N=1: positive horizontal metric",
"m=2, N=2: cumulative simplex count",
"m=2, N=2: moving-center metric",
"m=2, N=2: positive horizontal metric",
"m=2, N=12: cumulative simplex count",
"m=2, N=12: moving-center metric",
"m=2, N=12: positive horizontal metric",
"m=2, N=22: cumulative simplex count",
"m=2, N=22: moving-center metric",
"m=2, N=22: positive horizontal metric",
"m=2, N=34: cumulative simplex count",
"m=2, N=34: moving-center metric",
"m=2, N=34: positive horizontal metric",
"m=3: induced holomorphic line",
"m=3: conjugate normal sign",
"m=3: normal determinant multiplicity",
"m=3: ambient exterior rank",
"m=3, N=0: cumulative simplex count",
"m=3, N=0: moving-center metric",
"m=3, N=0: positive horizontal metric",
"m=3, N=1: cumulative simplex count",
"m=3, N=1: moving-center metric",
"m=3, N=1: positive horizontal metric",
"m=3, N=2: cumulative simplex count",
"m=3, N=2: moving-center metric",
"m=3, N=2: positive horizontal metric",
"m=3, N=12: cumulative simplex count",
"m=3, N=12: moving-center metric",
"m=3, N=12: positive horizontal metric",
"m=3, N=22: cumulative simplex count",
"m=3, N=22: moving-center metric",
"m=3, N=22: positive horizontal metric",
"m=3, N=34: cumulative simplex count",
"m=3, N=34: moving-center metric",
"m=3, N=34: positive horizontal metric",
"m=5: induced holomorphic line",
"m=5: conjugate normal sign",
"m=5: normal determinant multiplicity",
"m=5: ambient exterior rank",
"m=5, N=0: cumulative simplex count",
"m=5, N=0: moving-center metric",
"m=5, N=0: positive horizontal metric",
"m=5, N=1: cumulative simplex count",
"m=5, N=1: moving-center metric",
"m=5, N=1: positive horizontal metric",
"m=5, N=2: cumulative simplex count",
"m=5, N=2: moving-center metric",
"m=5, N=2: positive horizontal metric",
"m=5, N=12: cumulative simplex count",
"m=5, N=12: moving-center metric",
"m=5, N=12: positive horizontal metric",
"m=5, N=22: cumulative simplex count",
"m=5, N=22: moving-center metric",
"m=5, N=22: positive horizontal metric",
"m=5, N=34: cumulative simplex count",
"m=5, N=34: moving-center metric",
"m=5, N=34: positive horizontal metric",
"electron cutoff metric",
"muon cutoff metric",
"expanded ambient carrier rank"
],
"rows": [
{
"physical_depth": 2,
"cutoff": 0,
"induced_line_degree": 1,
"spatial_band_count": 2,
"horizontal_metric": "1",
"lift_vertical_metric": 1
},
{
"physical_depth": 2,
"cutoff": 1,
"induced_line_degree": 1,
"spatial_band_count": 6,
"horizontal_metric": "5",
"lift_vertical_metric": 1
},
{
"physical_depth": 2,
"cutoff": 2,
"induced_line_degree": 1,
"spatial_band_count": 12,
"horizontal_metric": "11",
"lift_vertical_metric": 1
},
{
"physical_depth": 2,
"cutoff": 12,
"induced_line_degree": 1,
"spatial_band_count": 182,
"horizontal_metric": "181",
"lift_vertical_metric": 1
},
{
"physical_depth": 2,
"cutoff": 22,
"induced_line_degree": 1,
"spatial_band_count": 552,
"horizontal_metric": "551",
"lift_vertical_metric": 1
},
{
"physical_depth": 2,
"cutoff": 34,
"induced_line_degree": 1,
"spatial_band_count": 1260,
"horizontal_metric": "1259",
"lift_vertical_metric": 1
},
{
"physical_depth": 4,
"cutoff": 0,
"induced_line_degree": 2,
"spatial_band_count": 6,
"horizontal_metric": "2",
"lift_vertical_metric": 4
},
{
"physical_depth": 4,
"cutoff": 1,
"induced_line_degree": 2,
"spatial_band_count": 30,
"horizontal_metric": "6",
"lift_vertical_metric": 4
},
{
"physical_depth": 4,
"cutoff": 2,
"induced_line_degree": 2,
"spatial_band_count": 90,
"horizontal_metric": "34/3",
"lift_vertical_metric": 4
},
{
"physical_depth": 4,
"cutoff": 12,
"induced_line_degree": 2,
"spatial_band_count": 10920,
"horizontal_metric": "138",
"lift_vertical_metric": 4
},
{
"physical_depth": 4,
"cutoff": 22,
"induced_line_degree": 2,
"spatial_band_count": 89700,
"horizontal_metric": "398",
"lift_vertical_metric": 4
},
{
"physical_depth": 4,
"cutoff": 34,
"induced_line_degree": 2,
"spatial_band_count": 442890,
"horizontal_metric": "886",
"lift_vertical_metric": 4
},
{
"physical_depth": 6,
"cutoff": 0,
"induced_line_degree": 3,
"spatial_band_count": 20,
"horizontal_metric": "3",
"lift_vertical_metric": 9
},
{
"physical_depth": 6,
"cutoff": 1,
"induced_line_degree": 3,
"spatial_band_count": 140,
"horizontal_metric": "7",
"lift_vertical_metric": 9
},
{
"physical_depth": 6,
"cutoff": 2,
"induced_line_degree": 3,
"spatial_band_count": 560,
"horizontal_metric": "12",
"lift_vertical_metric": 9
},
{
"physical_depth": 6,
"cutoff": 12,
"induced_line_degree": 3,
"spatial_band_count": 371280,
"horizontal_metric": "117",
"lift_vertical_metric": 9
},
{
"physical_depth": 6,
"cutoff": 22,
"induced_line_degree": 3,
"spatial_band_count": 7534800,
"horizontal_metric": "322",
"lift_vertical_metric": 9
},
{
"physical_depth": 6,
"cutoff": 34,
"induced_line_degree": 3,
"spatial_band_count": 76767600,
"horizontal_metric": "700",
"lift_vertical_metric": 9
},
{
"physical_depth": 10,
"cutoff": 0,
"induced_line_degree": 5,
"spatial_band_count": 252,
"horizontal_metric": "5",
"lift_vertical_metric": 25
},
{
"physical_depth": 10,
"cutoff": 1,
"induced_line_degree": 5,
"spatial_band_count": 2772,
"horizontal_metric": "9",
"lift_vertical_metric": 25
},
{
"physical_depth": 10,
"cutoff": 2,
"induced_line_degree": 5,
"spatial_band_count": 16632,
"horizontal_metric": "41/3",
"lift_vertical_metric": 25
},
{
"physical_depth": 10,
"cutoff": 12,
"induced_line_degree": 5,
"spatial_band_count": 162954792,
"horizontal_metric": "97",
"lift_vertical_metric": 25
},
{
"physical_depth": 10,
"cutoff": 22,
"induced_line_degree": 5,
"spatial_band_count": 16257084480,
"horizontal_metric": "247",
"lift_vertical_metric": 25
},
{
"physical_depth": 10,
"cutoff": 34,
"induced_line_degree": 5,
"spatial_band_count": 625276708056,
"horizontal_metric": "515",
"lift_vertical_metric": 25
}
],
"sources": {
"experiments/projective-common-geometry.py": "3f5b0cd83e2d0572a8560cc89e9d3046f73dccfc2bbc853f0e4cf3fefe7227f9"
},
"scope": "Exact scalar band, center metric and conormal arithmetic. Tangential connection inheritance requires the accompanying geometric proof. No ambient dynamical selection, odd-depth spectrum or stationary particle is tested."
}