U20 SUBMISSION COMPENDIUM: LICENSE SCOPE
Copyright (c) 2026 Michael Schroeder

PAPER AND TECHNICAL SUPPLEMENT -- CC BY 4.0
The paper "A Universal Turing Machine with 20 Instructions" and its technical
supplement, including their LaTeX sources and original figures, are licensed
under the Creative Commons Attribution 4.0 International Public License
(SPDX-License-Identifier: CC-BY-4.0).

This grant covers:
  publication/u20_paper_draft/main.tex
  publication/u20_paper_draft/supplement.tex
  output/pdf/u20_submission_1.0/U20_Paper.pdf
  output/pdf/u20_submission_1.0/U20_Technical_Supplement.pdf

The full license is in LICENSES/CC-BY-4.0.txt.
License information: https://creativecommons.org/licenses/by/4.0/
Attribution: Michael Schroeder, "A Universal Turing Machine with 20
Instructions" (2026), https://doi.org/10.5281/zenodo.23095173, and, for the
supplement, "Technical Supplement to A Universal Turing Machine with 20
Instructions". Retain the supplied attribution and license notice and
indicate changes as required by the license.

SOFTWARE AND ASSOCIATED MATERIAL -- MIT
The original Lean and Python code in this compendium, including the formal
library, paper-facing proofs, exporters, simulators, replay scripts, tests,
verification and packaging tools, is licensed under the MIT License
(SPDX-License-Identifier: MIT). The grant also covers the accompanying
original software documentation, configuration, examples, generated data,
verification records and package inventories. The full license, including
the copyright and permission notices, is in LICENSES/MIT.txt.

This grant includes the original code and associated material inside the
unchanged archive output/U20_Lean_Finalized_2026-09-29.zip, whose SHA-256 is:
2eff990c1bb52832cc13fddd9b019fa47f1e73cf59a7319f32ecf4161f8be270
It also covers those same files extracted in this compendium, including the
U21/research dependencies needed for reproduction. Applying the license does
not modify the frozen files or their established checksums. If redistributing
the standalone archive, accompany it with this scope notice and LICENSES/MIT.txt.

SEPARATE SCOPES AND THIRD-PARTY MATERIAL
CC BY 4.0 applies to the documents identified above; MIT applies to the
software and associated material. This is not an offer to choose either
license for every file. LICENSE_SCOPE.json records these scopes.

These grants cover rights held by Michael Schroeder. Separately attributed
third-party material and existing third-party copyright/license notices
retain their respective terms. Cited publications and external dependencies,
including the Lean/Std toolchain and Python libraries, are not relicensed by
this notice. The license texts retain their own status and notices.
