| Entropy Duality and Smoothness | statement | lemma 9.9 | arxiv |
| Uniform Normalization and Tails | statement | lemma 9.10 | arxiv |
| Coincidence $s=0$: McShane Formula | statement | proposition 5.1 | arxiv |
| Uniform Fixed-Parameter Higher-Order Family | statement | proposition 9.22 | arxiv |
| Variational Extension Formula | statement | theorem 4.1 | arxiv |
| Taylor Remainders and Polarization | statement | lemma 9.3 | arxiv |
| RAM implementation of the emitter program | statement | lemma A.1 | arxiv |
| Taylor Coefficient Majorization | definition | definition 9.11 | arxiv |
| Finite-Jet seminorm | statement | lemma 9.4 | arxiv |
| Explicit finite-jet seminorm bound | statement | lemma 9.23 | arxiv |
| Quadratic Envelope as Variance | statement | lemma 9.6 | arxiv |
| Uniform Radius for Majorants | statement | lemma 9.16 | arxiv |
| Improved Scalability for Large Sample Sizes via Dual Program | statement | proposition 9.24 | arxiv |
| real-analyticity Away from the Measurement Sites | statement | lemma 9.25 | arxiv |
| Definability of the Reconstruction | statement | lemma 9.26 | arxiv |
| Highest Derivative Away from Sites | statement | lemma 9.19 | arxiv |
| Local Derivative Errors Off Sites | statement | lemma 9.17 | arxiv |
| First-Order Jet and Gradient Control | statement | lemma 9.7 | arxiv |
| Lipschitz Control Across Finite Sites | statement | lemma 9.20 | arxiv |
| Algebra of Taylor Majorants | statement | lemma 9.13 | arxiv |
| Full Norm Control on the Cube | statement | corollary 4.2 | arxiv |
| HZ6X0J2Z8G | unknown | unknown 4.1 | arxiv |
| Circuit Complexity of the Closed-Form Formula | statement | theorem 4.4 | arxiv |
| Finite depth obstructs analyticity | statement | proposition B.1 | arxiv |
| Closed Form of the Entropy-Only Variational Problem | statement | proposition 3.1 | arxiv |
| Circuit Assembly Complexity | statement | theorem 4.5 | arxiv |
| Gradients and Lipschitz Constants | statement | lemma 9.27 | arxiv |
| Differentiation Through the Finite Sites | statement | lemma 9.18 | arxiv |
| Nonanalyticity of the finite-set Parusi\'nski-Rainer extension | statement | proposition B.2 | arxiv |
| Coincidence $s=1$: Azagra-Le Gruyer-Mudarra Formula | statement | proposition 5.2 | arxiv |
| Majorants for Geometric Primitives | statement | lemma 9.14 | arxiv |
| Gibbs Quotient Taylor Majorants | statement | lemma 9.15 | arxiv |
| Distance Scale from Doubling | statement | lemma 9.8 | arxiv |
| Order-Zero Values and Lipschitz Bound | statement | lemma 9.5 | arxiv |
| Growth of the $C^{s,1}$-Constant | statement | lemma 9.21 | arxiv |
