The back of the book
R1–R11, the book’s reference sections. The same checked facts as the agent reference, ordered by what motivates rather than by what is load-bearing — GENERATOR.md’s two renderings of one source of truth.
The narrative chapters are hand-written and are not here. Only the back matter is generated, which is what makes it checkable: refgen --check regenerates these pages and fails on a diff.
The sections
| section | where | |
|---|---|---|
| R1 | The Nock specification | nock/ |
| R2 | Keyword reference, with lowerings | partial |
| R3 | Precedence table | reference/keywords/#precedence |
| R4 | The erasure table | reference/erasure/ |
| R5 | The guard set | guards/ |
| R6 | The operator table | reference/abi/ |
| R7 | Literal forms | reference/literals/ |
| R8 | The judgment table | reference/tags/ |
| R9 | Glossary | glossary/ |
| R10 | The examples as exercises | exercises/ |
| R11 | For Hoon programmers | hoon/ |
R3, R4, R6, R7 and R8 are linked, not copied. They are table-shaped facts projected verbatim from normative rules that say the table is the rule, so the agent rendering already carries them in the only form they have. Two renderings of one source of truth is the thesis; two copies of one rendering is a second place to go stale.
Where this back matter stops
One section cannot be generated as the outline describes it, and says so on its own page rather than looking finished.
- R2 wants railroad diagrams for all 30 keywords and has 14 productions. The diagrams exist now — see the surface grammar — and they are projected from the parser, which is the only place the grammar has ever been written down, and checked against it on every run. What is drawn so far is the precedence chain; the declarations, the statement forms, the patterns and the type grammar are not. This page carries the sugar rewrite index, which is the lowering half of what R2 asks for.
R1 was the other one, and is now complete. It wanted the Nock 4K reduction rules verbatim and this repo had no copy; the specification is vendored now, hashed in vendor/SNAPSHOT.txt, and emitted from that file — so verbatim is a claim the pins lane checks rather than one this page makes.
Two more are generated in a weaker form than the outline asks: the glossary is an index to defining rules rather than prose, because the specs use their terms without defining them; and the exercises carry the outline’s six named landmarks rather than a grading of all of them, because nothing grades the rest.