The specs

The six normative documents, mirrored from the compiler repo. Every rule id is an anchor, so a citation anywhere on this site is a link into the rule that states it.

1. MIRRORED — do not edit. tools/refgen.py copies these from docs/spec/ in the compiler repo. The .md of each is the file byte for byte.

These are the authority. Where a generated page and a spec disagree, the spec is right and the page is a bug — the pages are projections of these rules, and refgen --check exists to keep them so.

spec	rules	lines	raw
`language.md`	184	1774	`language.md`
`types.md`	35	1181	`types.md`
`runtime.md`	102	1207	`runtime.md`
`nockasm.md`	25	248	`nockasm.md`
`nockasm-target.md`	22	512	`nockasm-target.md`
`chain.md`	80	672	`chain.md`

448 rule ids in all. A citation is linked only if its id is in that set, so a rule that is renumbered away stops being a link rather than becoming one that resolves to the right document and the wrong place.