4.13. AST reference🔗

The remaining subsections document the Laurel abstract syntax tree itself, generated from the implementation. They are the reference for a producer building the AST directly — through the Lean API or Ion — rather than emitting Laurel text.