{
  "passed": true,
  "count": 10,
  "checks": [
    {
      "name": "X=5(B-L)-4Y is integral for each left-handed SM-plus-neutrino multiplet",
      "passed": true
    },
    {
      "name": "Every listed left-handed Weyl component has X=1 modulo 4",
      "passed": true
    },
    {
      "name": "SM without nuc: 15 Weyls, sum X=-5, sum X^3=-125",
      "passed": true
    },
    {
      "name": "Adding nuc: 16 Weyls and zero linear/cubic X sums",
      "passed": true
    },
    {
      "name": "Majorana bilinear nuc nuc breaks this Z4 charge assignment",
      "passed": true
    },
    {
      "name": "U(2) anomaly-basis coordinates and SU(2) pullback parity on representation sample",
      "passed": true
    },
    {
      "name": "Eq7.19 specializes to coefficient 44, not 22, at k=4",
      "passed": true
    },
    {
      "name": "Q=3: general formula gives 15 mod16; printed 22r+s gives 9",
      "passed": true
    },
    {
      "name": "Q=1 and Q=5 agree under the general formula but not the printed specialization",
      "passed": true
    },
    {
      "name": "The printed and general specializations agree for canonical representatives +-1",
      "passed": true
    }
  ],
  "u2_representation_cases": 138,
  "neutrino_charge_rows": [
    {
      "name": "Q",
      "multiplicity": 6,
      "Y": "1/6",
      "B_minus_L": "1/3",
      "X": 1
    },
    {
      "name": "uc",
      "multiplicity": 3,
      "Y": "-2/3",
      "B_minus_L": "-1/3",
      "X": 1
    },
    {
      "name": "dc",
      "multiplicity": 3,
      "Y": "1/3",
      "B_minus_L": "-1/3",
      "X": -3
    },
    {
      "name": "L",
      "multiplicity": 2,
      "Y": "-1/2",
      "B_minus_L": "-1",
      "X": -3
    },
    {
      "name": "ec",
      "multiplicity": 1,
      "Y": "1",
      "B_minus_L": "1",
      "X": 1
    },
    {
      "name": "nuc",
      "multiplicity": 1,
      "Y": "0",
      "B_minus_L": "1",
      "X": 5
    }
  ],
  "without_neutrino": {
    "weyl": 15,
    "linear": -5,
    "cubic": -125
  },
  "with_neutrino": {
    "weyl": 16,
    "linear": 0,
    "cubic": 0
  },
  "specialization_witnesses": [
    {
      "charge": 1,
      "r": 0,
      "eq719_mod16": 1,
      "printed22_mod16": 1,
      "expected_mod16": 1
    },
    {
      "charge": 3,
      "r": 1,
      "eq719_mod16": 15,
      "printed22_mod16": 9,
      "expected_mod16": 15
    },
    {
      "charge": 5,
      "r": 5,
      "eq719_mod16": 1,
      "printed22_mod16": 3,
      "expected_mod16": 1
    },
    {
      "charge": -1,
      "r": 0,
      "eq719_mod16": 15,
      "printed22_mod16": 15,
      "expected_mod16": 15
    }
  ],
  "scope": "Exact rational arithmetic; does not prove bordism groups, eta invariants, physical applicability or scientific novelty",
  "source": "https://arxiv.org/abs/2011.10102v3",
  "source_pages": [
    22,
    23,
    37,
    38
  ],
  "published_version_status": "Publisher direct access denied; no published-version confirmation for the discrepancy"
}