SGA: Working Translation, Source-Repair, and Audit Drafts (SGA6 idx442 Source-Rescribe Checkpoint)

This is the reader-facing SGA working record for the Modern LaTeX Editions of Mathematics Manuscripts project. It retains the compact SGA5 and SGA6 reader-first surface and updates the front SGA6 French source-rescribe workpass to certification-ledger entry #439, scan idx442 / volume p429 / Exposé VII p14. The next unchecked page is idx443 / volume p430 / Exposé VII p15. Open first: the SGA5 French workpass PDF, 01_SGA6_French_SourceRescribe_Workpass_NotCertified_idx442_20260712.pdf, and the SGA6 English unsynchronized working-draft PDF. File 04_SGA6_TeX_SourceRescribe_Audit_NotCertified_idx442_20260712.zip contains editable French TeX, certification and errata ledgers, compile logs, source witnesses, rendered output checks, checksums, and a status README. What changed: since #437 / idx440, two page-local source passes cover Exposé VII pp13-14. They replace a fabricated one-line Proposition 1.9 proof with the printed statement, reference, and full proof; restore its page-boundary continuation; restore Proposition 1.10 and its omitted proof; and verify the opening of section 2 with formulas (2.1.1)-(2.1.3). Material after idx442 remains inherited scaffold. Output page 232 crosses that source boundary and does not certify idx443 merely because later text appears below it. Status: this is useful source-aware working material, not OCR-only, but it is not a critical edition, completed SGA6 release, whole-volume source-faithfulness certification, English synchronization, publication-grade proofreading, or diagram-by-diagram certification. SGA5 remains incomplete and contains known errors. SGA7 remains partial and caveat-heavy. The 388-page PDF has zero fatal errors, zero overfull boxes, and zero underfull boxes. A publication-only line break and zero-width guard prevent layout and text-rendering failures without changing mathematical content. Corrections can be proposed through the GitHub mirror: https://github.com/KokunoYumeto/modern-latex-manuscripts.