Tangent zoom and intrinsic Gaussian symbols

This lesson proves the ordinary-symbol tangent comparison, singular Gaussian formula, nonlinear coordinate law and intrinsic Maslov half-density identification. It includes six solved exercises and an exact nonlinear chart example.

• Tangent zoom and quadratic models · editable proof
• Intrinsic symbol as a family of tangent Gaussians · editable proof
• Complete fixed-support test spaces · editable proof
• Uniform distribution bounds · editable proof

Earlier intrinsic symbol proofs · Earlier stationary and foundational proofs

Exact proof dependencies · Free-source and component rights record

The full course remains unfinished.