Fixed stratifications and derived realization — component reuse terms

ORIGINAL AI CONTRIBUTION: CC0 1.0 Universal
The original AI teaching expression, expanded checks, exercises and solutions,
and the original reader implementation (code, template and styles) are dedicated
under CC0. Generated Markdown/HTML carries the same component distinctions as
its contents; generation does not remove human-source terms.
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. Original AI expression in these notes is also CC0.

HUMAN SOURCE AND PROTECTED ADAPTATIONS: CC BY 4.0
Valery A. Lunts and Olaf M. Schnürer, Categories of constructible sheaves,
arXiv:2601.05477v1, 9 January 2026.
https://arxiv.org/abs/2601.05477v1
https://creativecommons.org/licenses/by/4.0/

The source's realization theorems, proof route and projective-line failure
example are expressly attributed. The presentation has been rewritten and
condensed, with checks, resolutions and solutions expanded. No verbatim source
prose is included, but the proof structure is source-derived. Any protected
source material or adaptation retains CC BY 4.0; this CC0 dedication does not
relicense it. Attribution does not imply the source authors' endorsement.
The source PDF is not included in this bundle.

SOURCE-NOTES.md identifies the exact passages, modifications and prerequisites.
Programme prerequisites are separate works governed by their own terms;
their text is not included or relicensed in this bundle. The source notes
distinguish the attributed Lunts–Schnürer results from the additional
sheaf-theoretic and topological prerequisites.