{
  "status": "passed",
  "rows": [
    {
      "depth": 2,
      "exact_spatial_entries_checked": 63,
      "nonzero_zonal_entries": [
        {
          "n": 0,
          "m": 1,
          "normalized_entry": "3*sqrt(5)/5"
        },
        {
          "n": 2,
          "m": 1,
          "normalized_entry": "-3*sqrt(70)/70"
        },
        {
          "n": 1,
          "m": 2,
          "normalized_entry": "3*sqrt(70)/14"
        },
        {
          "n": 3,
          "m": 2,
          "normalized_entry": "-sqrt(105)/14"
        },
        {
          "n": 2,
          "m": 3,
          "normalized_entry": "3*sqrt(105)/14"
        },
        {
          "n": 4,
          "m": 3,
          "normalized_entry": "-3*sqrt(66)/22"
        },
        {
          "n": 3,
          "m": 4,
          "normalized_entry": "7*sqrt(66)/22"
        },
        {
          "n": 5,
          "m": 4,
          "normalized_entry": "-3*sqrt(5005)/143"
        },
        {
          "n": 4,
          "m": 5,
          "normalized_entry": "6*sqrt(5005)/143"
        },
        {
          "n": 6,
          "m": 5,
          "normalized_entry": "-3*sqrt(65)/13"
        },
        {
          "n": 5,
          "m": 6,
          "normalized_entry": "27*sqrt(65)/65"
        },
        {
          "n": 7,
          "m": 6,
          "normalized_entry": "-9*sqrt(1785)/170"
        }
      ],
      "norm_ratio_checks": 8,
      "pascal_beat_checks": 40
    },
    {
      "depth": 3,
      "exact_spatial_entries_checked": 63,
      "nonzero_zonal_entries": [
        {
          "n": 0,
          "m": 1,
          "normalized_entry": "sqrt(6)/2"
        },
        {
          "n": 2,
          "m": 1,
          "normalized_entry": "-sqrt(30)/20"
        },
        {
          "n": 1,
          "m": 2,
          "normalized_entry": "3*sqrt(30)/10"
        },
        {
          "n": 3,
          "m": 2,
          "normalized_entry": "-9*sqrt(10)/50"
        },
        {
          "n": 2,
          "m": 3,
          "normalized_entry": "63*sqrt(10)/100"
        },
        {
          "n": 4,
          "m": 3,
          "normalized_entry": "-3*sqrt(210)/50"
        },
        {
          "n": 3,
          "m": 4,
          "normalized_entry": "4*sqrt(210)/25"
        },
        {
          "n": 5,
          "m": 4,
          "normalized_entry": "-4*sqrt(105)/35"
        },
        {
          "n": 4,
          "m": 5,
          "normalized_entry": "9*sqrt(105)/35"
        },
        {
          "n": 6,
          "m": 5,
          "normalized_entry": "-9*sqrt(21)/28"
        },
        {
          "n": 5,
          "m": 6,
          "normalized_entry": "9*sqrt(21)/14"
        },
        {
          "n": 7,
          "m": 6,
          "normalized_entry": "-3*sqrt(35)/10"
        }
      ],
      "norm_ratio_checks": 8,
      "pascal_beat_checks": 40
    },
    {
      "depth": 4,
      "exact_spatial_entries_checked": 63,
      "nonzero_zonal_entries": [
        {
          "n": 0,
          "m": 1,
          "normalized_entry": "3*sqrt(7)/7"
        },
        {
          "n": 2,
          "m": 1,
          "normalized_entry": "-sqrt(21)/21"
        },
        {
          "n": 1,
          "m": 2,
          "normalized_entry": "sqrt(21)/3"
        },
        {
          "n": 3,
          "m": 2,
          "normalized_entry": "-sqrt(231)/33"
        },
        {
          "n": 2,
          "m": 3,
          "normalized_entry": "4*sqrt(231)/33"
        },
        {
          "n": 4,
          "m": 3,
          "normalized_entry": "-6*sqrt(286)/143"
        },
        {
          "n": 3,
          "m": 4,
          "normalized_entry": "18*sqrt(286)/143"
        },
        {
          "n": 5,
          "m": 4,
          "normalized_entry": "-2*sqrt(39)/13"
        },
        {
          "n": 4,
          "m": 5,
          "normalized_entry": "5*sqrt(39)/13"
        },
        {
          "n": 6,
          "m": 5,
          "normalized_entry": "-5*sqrt(17)/17"
        },
        {
          "n": 5,
          "m": 6,
          "normalized_entry": "11*sqrt(17)/17"
        },
        {
          "n": 7,
          "m": 6,
          "normalized_entry": "-3*sqrt(24871)/323"
        }
      ],
      "norm_ratio_checks": 8,
      "pascal_beat_checks": 40
    },
    {
      "depth": 5,
      "exact_spatial_entries_checked": 63,
      "nonzero_zonal_entries": [
        {
          "n": 0,
          "m": 1,
          "normalized_entry": "3*sqrt(2)/4"
        },
        {
          "n": 2,
          "m": 1,
          "normalized_entry": "-3*sqrt(70)/140"
        },
        {
          "n": 1,
          "m": 2,
          "normalized_entry": "6*sqrt(70)/35"
        },
        {
          "n": 3,
          "m": 2,
          "normalized_entry": "-6*sqrt(5)/35"
        },
        {
          "n": 2,
          "m": 3,
          "normalized_entry": "27*sqrt(5)/35"
        },
        {
          "n": 4,
          "m": 3,
          "normalized_entry": "-9*sqrt(42)/98"
        },
        {
          "n": 3,
          "m": 4,
          "normalized_entry": "15*sqrt(42)/49"
        },
        {
          "n": 5,
          "m": 4,
          "normalized_entry": "-15*sqrt(7)/49"
        },
        {
          "n": 4,
          "m": 5,
          "normalized_entry": "165*sqrt(7)/196"
        },
        {
          "n": 6,
          "m": 5,
          "normalized_entry": "-5*sqrt(33)/28"
        },
        {
          "n": 5,
          "m": 6,
          "normalized_entry": "3*sqrt(33)/7"
        },
        {
          "n": 7,
          "m": 6,
          "normalized_entry": "-3*sqrt(210)/35"
        }
      ],
      "norm_ratio_checks": 8,
      "pascal_beat_checks": 40
    },
    {
      "depth": 6,
      "exact_spatial_entries_checked": 63,
      "nonzero_zonal_entries": [
        {
          "n": 0,
          "m": 1,
          "normalized_entry": "1"
        },
        {
          "n": 2,
          "m": 1,
          "normalized_entry": "-sqrt(11)/22"
        },
        {
          "n": 1,
          "m": 2,
          "normalized_entry": "9*sqrt(11)/22"
        },
        {
          "n": 3,
          "m": 2,
          "normalized_entry": "-9*sqrt(429)/572"
        },
        {
          "n": 2,
          "m": 3,
          "normalized_entry": "45*sqrt(429)/572"
        },
        {
          "n": 4,
          "m": 3,
          "normalized_entry": "-3*sqrt(78)/52"
        },
        {
          "n": 3,
          "m": 4,
          "normalized_entry": "11*sqrt(78)/52"
        },
        {
          "n": 5,
          "m": 4,
          "normalized_entry": "-sqrt(561)/34"
        },
        {
          "n": 4,
          "m": 5,
          "normalized_entry": "3*sqrt(561)/34"
        },
        {
          "n": 6,
          "m": 5,
          "normalized_entry": "-45*sqrt(646)/1292"
        },
        {
          "n": 5,
          "m": 6,
          "normalized_entry": "117*sqrt(646)/1292"
        },
        {
          "n": 7,
          "m": 6,
          "normalized_entry": "-3*sqrt(741)/76"
        }
      ],
      "norm_ratio_checks": 8,
      "pascal_beat_checks": 40
    },
    {
      "depth": 10,
      "exact_spatial_entries_checked": 63,
      "nonzero_zonal_entries": [
        {
          "n": 0,
          "m": 1,
          "normalized_entry": "3*sqrt(13)/13"
        },
        {
          "n": 2,
          "m": 1,
          "normalized_entry": "-sqrt(130)/130"
        },
        {
          "n": 1,
          "m": 2,
          "normalized_entry": "sqrt(130)/10"
        },
        {
          "n": 3,
          "m": 2,
          "normalized_entry": "-sqrt(1105)/170"
        },
        {
          "n": 2,
          "m": 3,
          "normalized_entry": "7*sqrt(1105)/170"
        },
        {
          "n": 4,
          "m": 3,
          "normalized_entry": "-3*sqrt(4522)/646"
        },
        {
          "n": 3,
          "m": 4,
          "normalized_entry": "15*sqrt(4522)/646"
        },
        {
          "n": 5,
          "m": 4,
          "normalized_entry": "-5*sqrt(133)/133"
        },
        {
          "n": 4,
          "m": 5,
          "normalized_entry": "20*sqrt(133)/133"
        },
        {
          "n": 6,
          "m": 5,
          "normalized_entry": "-5*sqrt(322)/161"
        },
        {
          "n": 5,
          "m": 6,
          "normalized_entry": "17*sqrt(322)/161"
        },
        {
          "n": 7,
          "m": 6,
          "normalized_entry": "-3*sqrt(2737)/230"
        }
      ],
      "norm_ratio_checks": 8,
      "pascal_beat_checks": 40
    }
  ],
  "source_sha256": "b00b567f28856313948e75983bc1af067943dc51e9c3343dd05bd6fdbd17345e",
  "scope": "Exact zonal matrix entries corroborate the full-space polynomial-degree proof. Beat/source sign and count identities do not establish observed interaction rates."
}