Generated by scripts/generate_blueprint.py from blueprint/nodes.json. The mathematical exposition is curated; theorem proofs are unchanged.