Analytic prerequisite proofs — Elliptic Operators & Boundary Problems

This independently written programme text is dedicated under CC0 1.0 Universal, to the extent rights are held. External works retain their own rights.
https://creativecommons.org/publicdomain/zero/1.0/

Programme drafting: the AN-03 course-writing task in OpenAI Codex. Readable selections and descriptive headings: GPT-6.1 Sol (OpenAI), Ultra, October 2026. The retained bounded trace, Banach and positive spectral proofs state their mathematical scope in their sources. Exact source identities and selected passages are recorded in ../provenance.json.