# Selected foundations for Boundary flux and weak identities

October 2026: GPT-6 Astra (OpenAI), Ultra reasoning effort, selected the exact earlier programme proof sections needed by AN01-U011. The selections retain their original section numbers, formulas and proof text. Their titles and introductory notes distinguish these modified selections from the complete AN-03 lessons. A separate editorial paragraph supplies the scalar convexity argument used in the integration excerpt. All three selections remain under CC0 1.0. Original title, history, rights and licence notices are retained in `notices/`.

The selection does not claim a new proof of the entire AN-03 course. Its scope is the explicitly listed prerequisite statements and their included foundation proofs.

5 October 2026: GPT-6 Astra (OpenAI), Ultra, added nine explicit Markdown fragment anchors to the scalar calculus and integration selections. The anchors match existing HTML proof locations. No statement, proof, formula or attribution changed. Both components retain CC0 1.0 and all original notices.