Read and reproduce the restored Green provider
The current complete proof constructs boundary graphs, a locally finite partition, compatible surface measure, signed indicator and product identities, finite planar corners, inside-only weak divergence and finite tagged partitions. The earlier complete alternative retains the inside-layer and nested-defect arguments. Each has all six complete exercise solutions.
Complete selected prerequisites and full alternatives
- Scalar calculus and Euclidean topology: complete selected component. Existing complete foundation alternative.
- Complex scalars and finite algebra: complete selected component. Existing complete foundation alternative.
- Lebesgue integration and smoothing: complete selected component. Existing complete foundation alternative.
The selected measure component includes the full angular inverse and its endpoints, the complete disk/sector argument through PC5 and the separate scalar-convexity paragraph. The existing full measure provider retains its later PC6–PC7 general polar proof. All three full baseline foundation alternatives are preserved unchanged. The selections retain natural-number arithmetic with induction, ordinary set theory, countable choice, the real-field construction and their stated lower inputs. The earlier Green alternative also retains its implicit-function, ordinary change-of-variables and localization entries. No recursive foundation, entire Cauchy or weak-elliptic, general topology, component-constancy or course closure is inferred.
Exact original downloads
- prerequisites/src/boundary-flux-and-weak-identities.md — 41367 bytes; SHA256
83E8C24E703F6FA71A04282133189498683565C1FAE55E0FCC1BB6FEF64C12CE. - prerequisites/src/boundary-flux-and-weak-identities-earlier.md — 24369 bytes; SHA256
E228A967B85E300958C4E30E91F35DFAE29E019A2CA62CB2B5D58CF1C1B6C12A. - prerequisites/prerequisites/U011-free-foundations/metric-foundation-bridges.md — 81011 bytes; SHA256
B5E1A5E95A8513AAD72E3FF8369740E0058A20B7B1B364131503D33C4B27D4E2. - prerequisites/prerequisites/U011-free-foundations/stable-prerequisite-bridges.md — 27874 bytes; SHA256
E0D704B23B179BD2FD5A61618DB46E0C68D9F782C85F1904006FF16C55130D14. - prerequisites/prerequisites/U011-free-foundations/banach-foundation-bridges.md — 49735 bytes; SHA256
2144A8AED8B927C2FFD5A9B5873781A1E0264F042499E2959B961A9B218B886A. - prerequisites/prerequisites/U011-free-foundations/SELECTION_HISTORY.md — 779 bytes; SHA256
DE483AFC6DBD70F8C7BA440E229EC9AB21553C45EB92FBA9A52FFB4761C5BE3D. - prerequisites/prerequisites/U011-free-foundations/notices/TITLE_PAGE.md — 698 bytes; SHA256
CD73C6A6ACF7913C65BF21119D40CF4B0990667DEBE9CAAB3D42A9032EE4DE93. - prerequisites/prerequisites/U011-free-foundations/notices/RIGHTS.md — 1907 bytes; SHA256
7ECD7328ECEFDEB21222C4933C66DD1B09DEFFD7A5CDD0D3656A3180A1FF12B5. - prerequisites/prerequisites/U011-free-foundations/notices/HISTORY.md — 787 bytes; SHA256
18BD10E91023FA07DA1AD5D829B2E61844A8FFBC999104DE7E8C2A57E6D327BF. - prerequisites/prerequisites/U011-free-foundations/notices/COPYING — 20801 bytes; SHA256
2AADEE1635EAB0C9E08A90EF7579A5D64AE4B52BA33475945A4F0DD4CA24ACD1. - prerequisites/prerequisites/U011-free-foundations/notices/MathJax-LICENSE.txt — 11358 bytes; SHA256
CFC7749B96F63BD31C3C42B5C471BF756814053E847C10F3EB003417BC523D30.
Preserve the source context
The current original Markdown lives in prerequisites/src/. Its original links begin ../prerequisites/U011-free-foundations/, so the exact selected sources and notices also live under prerequisites/prerequisites/U011-free-foundations/. This repeated directory name preserves the source’s actual original relative context. The HTML reader maps those references to the complete readable selections, retaining both numbered and unprefixed heading aliases. The earlier original source links to three already included complete source/readers beside it. Download the whole course archive to retain this complete relative tree; downloading one Markdown file alone is not a self-contained package.
The original rights notice’s three historical parent-edition supplement references resolve to explicit context notes reporting that those separate complete proofs are not part of the supplied Green selection. They are not Green prerequisites or supplied proofs.
Reproduce the presentation
The original sources contain no figure assets. There is no new figure-replay or native-figure claim. The course includes its local MathJax renderer and licence. Opening the HTML readers in the complete course tree renders the exact original mathematical expressions. Wide expressions have focusable horizontal controls: focus the expression and use either arrow key to read its full width. Writer checks at widths 1100 and 390 compare every ordered expression and complete prose, keyboard movement in both directions, actual reader routes, source downloads and exact payload bytes.
Credits and terms
The current main is reconstructed by GPT-6 Astra (OpenAI), Ultra, October 2026; the earlier main is by GPT-6.1 Sol (OpenAI), Ultra, September 2026. Their original exposition and solved exercises are CC0-1.0. Current main human-source credits remain Michael Kunzinger, Yury Kudryashov, Gui-Qiang G. Chen and Monica Torres, with their precise titles, proof locators, free-primary URLs and use descriptions retained in full. The earlier main retains Semyon Dyatlov and Juha Heinonen. Citation does not relicense those external publications.
The three selected foundation texts are CC0 1.0. The original author entity is AN-03 course-writing task; the renewed modifications credit AN-03 course-writing task and OpenAI Codex; the selection and its added convexity argument credit GPT-6 Astra (OpenAI), Ultra. The full original title page, History, rights, selection history and CC0 dedication remain available. MathJax retains Apache 2.0; its exact original notice is included.
History
October 2026: Green prerequisite selections: AN-02 reader presentation. GPT-6.1 Sol (OpenAI), Ultra, prepared this complete HTML presentation and reader-link aliases; publisher: AN-02 local course project. The selected proof bodies are retained; the source downloads and selection records identify this edition. This selected reader presentation remains CC0 1.0; the two separate Green main works and this independently authored guide are CC0. The earlier and current Green proofs remain separate complete alternatives. No original author or parent publisher endorsement is implied.