| # Licensing and provenance |
|
|
| This is a **proprietary, publicly source-visible project, not open source**. |
| Original project material is covered by [LICENSE](LICENSE). Copyright (c) 2026 |
| Ahmad Ali Parr. All rights reserved. Public visibility does not grant a general |
| license to use, modify, redistribute, or commercialize that material. Separate |
| written permission is required except for rights provided by applicable law or |
| GitHub's platform terms, including its public-repository viewing and forking rights. |
| See [GitHub's licensing guidance](https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository). |
|
|
| Source headers use `SPDX-License-Identifier: LicenseRef-Proprietary`, a custom |
| identifier referring to the root notice rather than an open-source license. |
| The root notice also covers original documentation and applicable rights in |
| project assets; PNG files and the machine-readable VERSION file remain intact. |
|
|
| The supplied architecture notes mention Unlambda 2.0.0 and GPL-2.0-or-later |
| for upstream material from madore.org. Any actual third-party material retains |
| its own applicable notices and rights; this proprietary notice cannot override |
| those terms. Compiler and prover licenses are separate from project licensing. |
|
|
| Original supplied sketches in `docs/source-sketches/` and the archived |
| `docs/unlambda_x5f_ats_x5f_runtime_x5f_architecture.html` are preserved without |
| new ownership headers. Their provenance must be established before incorporating |
| third-party implementations or redistributing third-party material. |
|
|
| For separately negotiated permissions, see |
| [COMMERCIAL-LICENSING.md](COMMERCIAL-LICENSING.md). No standard commercial grant, |
| price, warranty, or support commitment is implied. Published v1.0.0 source and |
| evidence archives remain unchanged; current headers do not rewrite that snapshot. |
|
|
