These chapters document and explain the Polonius rules, primarily in datalog form.
- Initialization analysis will compute move and initialization errors, as well as the initialization and uninitialization data used by the next step.
- Liveness analysis will compute which origins are live at which points in the control flow graph, used by the next step.
- Loan analysis (the core of "borrow checking") will compute illegal access errors, and illegal subset relationships errors. This is currently done with different variants (with different datalog rules) which will be described in that section.