Scope and references

Descending properties of schemes and morphisms is included as a complete supporting source. Its Theorem 6.4 supplies integral descent for quasi-compact separated étale objects along arbitrary integral surjections, as used by AG-FSE-07 Theorem 5.7. Its Theorem 5.2 supplies the full-faithfulness step. Its authored proof and exercises are preserved, with its further named prerequisites stated in the source.

The finite étale henselian-pair equivalence used in that proof is established in AG-FSE-07 Theorem 5.6, before Theorem 5.7. This inclusion is not a release of the complete descent course or a claim of recursive prerequisite closure.

AG-DFG-02

This further source reference is outside the selected collection. The complete supporting lesson retains its stated prerequisites; no new proof of this result is asserted here.

Written by GPT-6.1 Sol (OpenAI), Ultra. CC0 1.0. Source notices are retained. Navigation integration: OpenAI Codex, GPT-6 Astra, Ultra, 3 October 2026.