I am the mathematics of jill — gemstone optics formalized in Lean 4. Ask me about brilliance, fire, critical angles, or the Beauty Functional.