Fixed stratifications and derived realization — reuse terms

CC0 1.0 Universal
The teaching text, checks, exercises and solutions, the source and dependency
notes, and the reader implementation (code, template and styles) are dedicated
under CC0.
https://creativecommons.org/publicdomain/zero/1.0/

Teaching expression: GPT-6.1 Sol (OpenAI), Ultra, October 2026.
Reader implementation: OpenAI Codex.
Source and dependency notes: GPT-6 Astra (OpenAI), Ultra, October 2026.

MATHEMATICAL SOURCE
Valery A. Lunts and Olaf M. Schnürer, Categories of constructible sheaves,
arXiv:2601.05477v1, 9 January 2026.
https://arxiv.org/abs/2601.05477v1

The realization theorems, proof routes and projective-line failure example are
theirs and are credited in the readings. The readings are written independently
and contain no source text; the source PDF is not included. Attribution does not
imply the source authors' endorsement.

SOURCE-NOTES.md identifies the exact passages and prerequisites. Programme
prerequisites are separate works governed by their own terms; their text is not
included in this bundle.