diff --git a/docs/GLOSSARY.md b/docs/GLOSSARY.md
index 9d4870c7..e1327d0b 100644
--- a/docs/GLOSSARY.md
+++ b/docs/GLOSSARY.md
@@ -141,3 +141,46 @@ SilverSight invents names only when necessary. When a concept already exists und
 ## Deep Wiki Integration
 
 All terms are indexed by term name, file path, tags, and cross-references for deep wiki compatibility.
+
+
+---
+
+## Spiral Packing & Layout
+
+| Term | Definition | File:Line | Tags | See Also |
+|------|------------|-----------|------|----------|
+| **Integer Spiral Packing** | Corpus-wide packing of signed coefficients using base 328,469 with offset 164,234. Unpack inverts exactly, round-trip verified over all 250 matrices. | python/spectral_codebook.py:L1 | #implementation #mathematical | [phi_corkscrew_index](#phi_corkscrew_index) |
+| **phi_corkscrew_index** | Index function for corkscrew packing. Previously not injective ((-1,1) and (1,0) both gave 1 in base 2). Fixed upstream. | python/phi_corkscrew.py:L1 | #mathematical | [Integer Spiral Packing](#integer-spiral-packing) |
+
+---
+
+## f(n) Layout (Decorative)
+
+| Term | Definition | File:Line | Tags | See Also |
+|------|------------|-----------|------|----------|
+| **f(n) layout** | Decorative layout where each entry gets radius_sq and angle_frac. Computed in decimal because indices reach ~10^44 where float64 keeps zero fractional bits. | python/f_layout.py:L1 | #implementation #mathematical | [radius_sq](#radius_sq), [angle_frac](#angle_frac) |
+| **radius_sq** | Spiral index value in f(n) layout, representing squared radius. | python/f_layout.py:L1 | #mathematical | [f(n) layout](#fn-layout) |
+| **angle_frac** | Angular fraction in f(n) layout, computed in decimal for precision. Min angular separation ≈ 4.6×10^-6 of a turn. | python/f_layout.py:L1 | #mathematical | [f(n) layout](#fn-layout) |
+
+---
+
+## Cartan Floor & Fingerprints
+
+| Term | Definition | File:Line | Tags | See Also |
+|------|------------|-----------|------|----------|
+| **Cartan Δ-floor** | Floor parameter Δ = 17/1792 exact (CartanConnection.lean:70). Used for Fisher version on Δ_7. | formal/SilverSight/PIST/CartanConnection.lean:L70 | #mathematical #core | [Fisher version](#fisher-version), [Δ_7](#δ_7) |
+| **Fisher version** | Fisher version on Δ_7 with Cartan Δ-floor. 13 fingerprint pairs fall below Δ, merging 196 fingerprints into 187 Δ-resolution codewords. | python/spectral_codebook.py:L1 | #implementation #mathematical | [Cartan Δ-floor](#cartan-Δ-floor) |
+| **Δ_7** | 7-dimensional simplex with Fisher-Rao metric. Cartan connection defined on J¹(Δ_7). | formal/SilverSight/PIST/CartanConnection.lean:L1 | #mathematical | [Cartan Δ-floor](#cartan-Δ-floor) |
+| **fingerprint** | Characteristic polynomial coefficients as unique identifier. 196 unique fingerprints across 250 matrices. | python/charpoly_codebook.py:L1 | #mathematical | [codeword](#codeword), [Cartan Δ-floor](#cartan-Δ-floor) |
+| **codeword** | Δ-resolution codeword after applying Cartan floor. 187 codewords from 196 fingerprints. | python/spectral_codebook.py:L1 | #mathematical | [fingerprint](#fingerprint) |
+
+---
+
+## Torus Winding
+
+| Term | Definition | File:Line | Tags | See Also |
+|------|------------|-----------|------|----------|
+| **TorusWinding** | Winding data structure carrying a_exact/b_exact (plain ℤ). Supersedes _safe variant which only detected saturation. | python/torus_winding.py:L1 | #implementation #mathematical | [a_exact](#a_exact), [torus_to_spiral_index](#torus_to_spiral_index) |
+| **a_exact** | Exact integer parameter in TorusWinding, enables lossless round trips. | python/torus_winding.py:L1 | #implementation | [TorusWinding](#toruswinding) |
+| **b_exact** | Exact integer parameter in TorusWinding, enables lossless round trips. | python/torus_winding.py:L1 | #implementation | [TorusWinding](#toruswinding) |
+| **torus_to_spiral_index** | Function mapping torus winding to spiral index. Prefers a_exact/b_exact for lossless round trips. Regression-tested at n = 10^9. | python/torus_winding.py:L1 | #implementation #mathematical | [TorusWinding](#toruswinding) |