Prerequisites

Written source readers retain their actual licenses and review qualifications. Planned general proofs are identified separately.

Boundary flux and weak identities now has both complete Green proofs and their six solutions each, with the full selected scalar, algebra and measure prerequisites. Versions, exact downloads and terms. This restores the bounded Green provider at its declared entries; lower foundations, entire Cauchy/weak providers and course closure remain separate.

• Airy functions and fold model operators — CC0-1.0
• Banach estimates, quotient spaces and compact parameter arguments — CC0-1.0
• Boundary flux and weak identities — CC0-1.0
• Building a local inverse from radial singularities — CC0-1.0
• Cauchy kernels and distributional boundary limits — CC0-1.0
• Causal kernels, initial data, and short-time geometry — CC0-1.0
• Compatible jets on closed sets — CC0-1.0
• Convex supports and convolution cancellation — CC0-1.0
• Convolution as addition of supports — CC0-1.0
• Corank geometry and sufficient continuity — CC0-1.0
• Cubic scaling and necessary continuity — CC0-1.0
• Detecting regularity without choosing coordinates — CC0-1.0
• Folds, reflections and uniform smooth descent — CC0-1.0
• Fourier transforms, finite spectra and convex separation — CC0-1.0
• From Weyl symbols to operators and changes of coordinates — CC0-1.0
• From symbol estimates to operators on every Sobolev scale — CC0-1.0
• Gaussian lines, densities and invariant symbols — CC0-1.0
• Graph operators, continuity and Egorov — CC0-1.0
• Hamilton fields and subprincipal transport — CC0-1.0
• Holomorphic boundaries in convex cones — CC0-1.0
• Jets, supported distributions and local operators — CC0-1.0
• Kernels, adjoints and clean composition — CC0-1.0
• Local inverses and distance-weighted elliptic estimates — CC0-1.0
• Localizing symbols when the measuring scale moves — CC0-1.0
• Metric and topological foundations — CC0-1.0
• Oscillatory distributions and their order — CC0-1.0
• Phase space and generating families — CC0-1.0
• Polynomial and contour interfaces for stable boundary models — CC0-1.0
• Quadratic Fourier multipliers at a moving scale — CC0-1.0
• Recognizing a Lagrangian distribution intrinsically — CC0-1.0
• Reducing Gaussian symbols and composing linear relations — CC0-1.0
• Singularities along a submanifold and smooth boundary passage — CC0-1.0
• Stable modes and the algebra of boundary data — CC0-1.0
• Stationary phase and critical manifolds — CC0-1.0
• Tangent zooms and quadratic models — CC0-1.0
• Tensor products and parameter-dependent distributions — CC0-1.0
• Two measuring scales, one Weyl product — CC0-1.0
• Weak equations and classical functions — CC0-1.0

Planned foundation proofs · Referenced prerequisite statements