{
"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."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 db4c819bd9125ec535decf256a7bfcc34122276c5daff2c8e7ab896e4769a724
C01–C479/packets/C341/evidence/RESULTS.json