# Read and reproduce the restored Green provider The [current complete proof](../boundary-flux-and-weak-identities.html) 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](../boundary-flux-and-weak-identities-earlier.html) 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](../prerequisites/U011-free-foundations/metric-foundation-bridges.html). [Existing complete foundation alternative](../metric-foundation-bridges.html). - [Complex scalars and finite algebra: complete selected component](../prerequisites/U011-free-foundations/stable-prerequisite-bridges.html). [Existing complete foundation alternative](../stable-prerequisite-bridges.html). - [Lebesgue integration and smoothing: complete selected component](../prerequisites/U011-free-foundations/banach-foundation-bridges.html). [Existing complete foundation alternative](../banach-foundation-bridges.html). 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](../src/boundary-flux-and-weak-identities.md) — 41367 bytes; SHA256 `83E8C24E703F6FA71A04282133189498683565C1FAE55E0FCC1BB6FEF64C12CE`. - [prerequisites/src/boundary-flux-and-weak-identities-earlier.md](../src/boundary-flux-and-weak-identities-earlier.md) — 24369 bytes; SHA256 `E228A967B85E300958C4E30E91F35DFAE29E019A2CA62CB2B5D58CF1C1B6C12A`. - [prerequisites/prerequisites/U011-free-foundations/metric-foundation-bridges.md](../prerequisites/U011-free-foundations/metric-foundation-bridges.md) — 81011 bytes; SHA256 `B5E1A5E95A8513AAD72E3FF8369740E0058A20B7B1B364131503D33C4B27D4E2`. - [prerequisites/prerequisites/U011-free-foundations/stable-prerequisite-bridges.md](../prerequisites/U011-free-foundations/stable-prerequisite-bridges.md) — 27874 bytes; SHA256 `E0D704B23B179BD2FD5A61618DB46E0C68D9F782C85F1904006FF16C55130D14`. - [prerequisites/prerequisites/U011-free-foundations/banach-foundation-bridges.md](../prerequisites/U011-free-foundations/banach-foundation-bridges.md) — 49735 bytes; SHA256 `2144A8AED8B927C2FFD5A9B5873781A1E0264F042499E2959B961A9B218B886A`. - [prerequisites/prerequisites/U011-free-foundations/SELECTION_HISTORY.md](../prerequisites/U011-free-foundations/SELECTION_HISTORY.md) — 779 bytes; SHA256 `DE483AFC6DBD70F8C7BA440E229EC9AB21553C45EB92FBA9A52FFB4761C5BE3D`. - [prerequisites/prerequisites/U011-free-foundations/notices/TITLE_PAGE.md](../prerequisites/U011-free-foundations/notices/TITLE_PAGE.md) — 698 bytes; SHA256 `CD73C6A6ACF7913C65BF21119D40CF4B0990667DEBE9CAAB3D42A9032EE4DE93`. - [prerequisites/prerequisites/U011-free-foundations/notices/RIGHTS.md](../prerequisites/U011-free-foundations/notices/RIGHTS.md) — 1907 bytes; SHA256 `7ECD7328ECEFDEB21222C4933C66DD1B09DEFFD7A5CDD0D3656A3180A1FF12B5`. - [prerequisites/prerequisites/U011-free-foundations/notices/HISTORY.md](../prerequisites/U011-free-foundations/notices/HISTORY.md) — 787 bytes; SHA256 `18BD10E91023FA07DA1AD5D829B2E61844A8FFBC999104DE7E8C2A57E6D327BF`. - [prerequisites/prerequisites/U011-free-foundations/notices/COPYING](../prerequisites/U011-free-foundations/notices/COPYING) — 20801 bytes; SHA256 `2AADEE1635EAB0C9E08A90EF7579A5D64AE4B52BA33475945A4F0DD4CA24ACD1`. - [prerequisites/prerequisites/U011-free-foundations/notices/MathJax-LICENSE.txt](../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](../prerequisites/U011-free-foundations/notices/TITLE_PAGE.html), [History](../prerequisites/U011-free-foundations/notices/HISTORY.html), [rights](../prerequisites/U011-free-foundations/notices/RIGHTS.html), [selection history](../prerequisites/U011-free-foundations/SELECTION_HISTORY.html) and [CC0 dedication](https://creativecommons.org/publicdomain/zero/1.0/) 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.