DECIDED / VERIFIED / DEFINED settled by the author, recomputed by a script, or defined in a paper mixed part settled, part open OPEN the author's call
Operator chain
| Symbol | Definition | Status | Notes |
|---|---|---|---|
| dm³ | The contact 3-manifold (X, α) with α = dz − ρ²dθ (more generally α = dz − λ, dλ = ω) carrying a hyperbolic limit cycle Γ, with the operator chain G = U∘F∘K∘C acting on it; the same structure expressed across many domains and scales. It is the minimal case, generalized to contact (2n+1)-manifolds in the GCM framework (base M arbitrary, M̂ = M × ℝ; Theorem C on ℝ^(2n+1)). The toy ODE is one vector field on the 3-manifold. | DECIDED (author, 2026-09-30) | Vol I Fig. 3: "Dimension 3 is the minimum in which this structure is non-trivial (§16)." The GCM page's "dm³ system" (M, g, Γ, V, ξ) is the generalized setting; for n = 1 the base M is the 2-dimensional (r, θ) plane. |
| dm³ / dm3 (naming) | Write dm³ in prose and on grant and site pages; dm3 is the ASCII alias in code, filenames and Lean identifiers. Define it once here; other pages point to this row instead of restating it. | DECIDED (author, 2026-09-30) | A convention. If any paper uses "dm³ system" for a specific object beyond the name (the GCM quintuple does), that object's definition is the row above. |
Terms used but not defined (candidates)
"reduced system", "contact class of α", "multi-scale coherence" (GCM page); "Coherence Bridge" (Vol I figure). Define or remove.
Rows that do not occur anywhere in this book are left out: ε₀, B(Γ), r*, r_s, μ_max, τ, τ normalization, τ₁₂, κ*, κ chain, W(Γ), C, K, F, U, U family.
Generated 2026-10-01 from docs/definitions.md (sha1 8f178c3635) by tools/chapter_zero.py. Re-check the verified numbers with python3 tools/chapter_zero_verify.py. The Book 4 Student Edition and the Book 5 "How to Begin" chapter are orientation pages; this chapter is the reference.