{
  "step": "C341",
  "status": "passed",
  "assertions_passed": 176,
  "checks": [
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i2/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i3/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i3/same-Gear MT Shem-1/4 componentwise map",
    "i3/same-Gear MT Shem-1/4 lifespan changes",
    "i3/same-Gear MT Shem-1/4 common center phase residual",
    "i3/same-Gear MT Shem1/4 componentwise map",
    "i3/same-Gear MT Shem1/4 lifespan changes",
    "i3/same-Gear MT Shem1/4 common center phase residual",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i4/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/same-Gear MT Shem(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/same-Gear MT Shem-1/4 componentwise map",
    "i5/same-Gear MT Shem-1/4 lifespan changes",
    "i5/same-Gear MT Shem-1/4 common center phase residual",
    "i5/same-Gear MT Shem1/4 componentwise map",
    "i5/same-Gear MT Shem1/4 lifespan changes",
    "i5/same-Gear MT Shem1/4 common center phase residual",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) doubleE phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) ladder phases",
    "i5/Arphaxad-bound502/98(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) doubleE phases",
    "80 phase controls",
    "four full component ladders",
    "twenty doubleE controls with H free",
    "no single E map preserves half-year spacing"
  ],
  "source_checks_passed": 16,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "frozen C340_DATA.json",
    "frozen C338_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}