The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Decipherable code
A Code is decipherable if Code Extension is injective,
i.e. every string from arises from at most one message