AlphaGeometry DSL Guide: Google Geometry DSL, defs.txt Actions, and Predicates

This article focuses only on AlphaGeometry DSL itself. It does not cover model training, search strategy, or paper results. The goal is to treat the DSL as an engineering-facing protocol document and