Dictionary Index
Claim boundary definitions and guardrails proofs live in theorem ids terms do not prove claims
The dictionary fixes the meanings of Circle Calculus terms so papers, Lean declarations, Python reference models, and widgets do not drift. The generated index links each entry back to theorem, paper, widget, and glyph usage where the manifests expose those relationships.
Click an id to open a filtered, shareable view of the relevant dictionary, theorem, paper, target, or glyph index.
Dictionary entries are definitions and guardrails. They are not theorem proofs.
How To Use The Dictionary While Reading
When a lesson introduces a term, read the dictionary card before opening the theorem card. The dictionary tells you what the term means in this project, what it does not mean yet, and where the same term is reused across papers, widgets, and proofs.
For the first pass through S1, follow this vocabulary ladder:
circle -> node -> rotation -> coil -> period -> winding