# License

The **Percival research artifacts** — this lane's public docs, receipts,
specs, probe scripts, and result artifacts enumerated in
[`MANIFEST.json`](MANIFEST.json) — are licensed under the **Apache License
2.0**. See [`LICENSE`](LICENSE) for the full text.

Copyright 2026 Stellar Aqua LLC.

**Scope.** This Apache-2.0 grant covers *only* the files listed in
[`MANIFEST.json`](MANIFEST.json). Everything else in the repository remains
`UNLICENSED` / all rights reserved under the root [`LICENSE`](../../LICENSE);
viewing the public repository or website does not grant rights to anything
outside this manifest. Work in flight at grant time is excluded until it
lands; the manifest is the authoritative covered-file list and may be
extended in later revisions. (The B2 γ-provenance artifacts, initially
excluded as private, were declassified by owner decision 2026-07-01 and are
included.)

The machine-checked Lean anchors referenced by these artifacts live in the
separate [`sundogcert`](https://github.com/humiliati/sundogcert) repository,
which is licensed **Apache-2.0 repo-wide** under its own `LICENSE`.

Release gate status: `LICENSED_APACHE_2_0`.