The reference

This is docs/reference.md, rendered: the text that defines sysi (its values, instructions, layout and ABI, and what each of the two checks checks and assumes). When it and another page disagree, it wins. It is 217 lines, read from the file when the docs were last built.