DERIVED CATEGORIES OF SHEAVES - PORTABLE SOURCE EDITION
3 October 2026

Scope: all ten lessons and the common reading in the publicly released
eleven-unit course. Complete proofs, examples, exercises, supplied solutions,
references, source notices and GNU Free Documentation License are retained.
Linked preceding programme texts, including Methods of Algebra, Volume 2,
remain external references; they are not represented as included in this book.

Public source repository: https://github.com/KokunoYumeto/open-math-courses
Commit: ab6355559cfe66ca43cc623f20c1df1d754bdc85
Online reading:
https://kokunoyumeto.github.io/open-math-courses/courses/derived-categories-and-sheaf-operations/
Programme: https://kokunoyumeto.github.io/program-matematika-indonesia/en/

Rights and provenance
The combined course uses GFDL-1.2-or-later, without Invariant Sections,
Front-Cover Texts or Back-Cover Texts. Independently dedicated CC0 contributions
retain their dedication; Stacks-derived material is not relicensed as CC0.
The unchanged full sources/authorship notice and COPYING are in licences/
and the reading appendices. The Stacks project authors and other human sources
retain their credits. The AI Integrated Stacks Project is an unofficial edition.
The course notice distinguishes GPT-6.1 Sol, Ultra; GPT-6 Astra, Ultra;
GPT-5.6 Sol, Ultra; Claude Opus 5.5 (effort unrecorded); and one unverified
K-flat-contribution model. Do not convert an unknown identity into a claim.
Source-preserving format conversion and layout checking:
OpenAI Codex - GPT-6 Astra, Ultra effort.
This is not an everyday-English rewrite. Original writing-AI self-checks are
not upgraded to independent mathematical, human or formal review.

The direct file output/01-derived-categories-of-sheaves.tex contains all
released reading text, not references to missing chapter bodies. The ZIP
also preserves unchanged native Markdown, public HTML witnesses, proof
dependency metadata, the native parser closure and every conversion script.
This selected course contains no figures or image files requiring conversion.

Reproduction environment
Python 3 with markdown-it-py, lxml, PyMuPDF and Pillow; Pandoc 3.9.0.2;
Node.js 22 with Playwright; headless Chromium; bundled MathJax 3.2.2;
XeTeX/MiKTeX 26.5; PowerShell 7; Libertinus Serif and DejaVu Sans Mono.
Required TeX packages include amsmath, amssymb, mathrsfs, newunicodechar,
fvextra and needspace. The wrapper disables shell escape and automatic package
installation and holds Global\InterlanguageTeXSlotV1 throughout all passes.
Do not launch overlapping TeX builds. An unavailable slot affects compilation
only; retain the pending build and continue non-TeX work.

Extract into a new directory; never overwrite an active source tree.
Set PYTHONUTF8=1. Put Pandoc, Node and PowerShell on PATH. If needed,
COURSE_PANDOC gives the Pandoc executable, COURSE_PLAYWRIGHT_MODULE gives the
installed Playwright module, and COURSE_CHROMIUM gives the Chromium executable.
The MathJax renderer is headless and blocks network requests.

Run from the extracted root in this order:
  python -B scripts/build_course_format_pilot_20261002.py --work .
  python -B scripts/seal_course_epub_20261002.py --work . --prepare
  node scripts/render_epub_fallback_math_20261002.mjs .
  python -B scripts/seal_course_epub_20261002.py --work .
  pwsh -NoProfile -File scripts/build_course_pdf_guarded_20261002.ps1 -Work . -Passes 3

Three TeX passes resolve contents and internal references. The exact source
epoch and deterministic EPUB timestamps are in SOURCE_MANIFEST.json.
Identical byte reproduction requires the recorded tool and font versions.

Format projections
Each full published main.lesson body is compared with the exact editable
Markdown. Only surrounding site navigation and the editable-source footer
are excluded; their reader functions are supplied by the edition navigation.
No lesson paragraphs, formula regions or references are removed. Ordered-list
labels participate in the content comparison. Only line endings and source-line
indentation may differ inside formula witnesses; the original native-parser
formulas remain in the formula index and MathML annotations.
The original licence.html and COPYING links lead to the complete included
appendices. Included lesson and fragment links work offline. External links
remain online references. MathML fallbacks preserve the original TeX annotations.

Publication order
00-derived-categories-of-sheaves.pdf - reading preview
01-derived-categories-of-sheaves.tex - complete directly editable LaTeX
02-derived-categories-of-sheaves-source.zip - exact source/build closure
03-derived-categories-of-sheaves.epub - reflowable offline reader

Local validation and delivery do not prove Zenodo publication. Preserve through
the existing publication owner and verify the anonymous public inventory and
every released file's bytes and SHA-256 before claiming public preservation.
