diff --git a/AUDIT.adoc b/AUDIT.adoc index 34fdd69..5fb82ba 100644 --- a/AUDIT.adoc +++ b/AUDIT.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Absolute Zero — Audit Trail Jonathan D. A. Jewell :toc: diff --git a/ROADMAP.adoc b/ROADMAP.adoc index 7c77273..715b085 100644 --- a/ROADMAP.adoc +++ b/ROADMAP.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Absolute Zero: Roadmap to v12.0 Jonathan D. A. Jewell :toc: left diff --git a/RSR_COMPLIANCE.adoc b/RSR_COMPLIANCE.adoc index fbfd715..f07505a 100644 --- a/RSR_COMPLIANCE.adoc +++ b/RSR_COMPLIANCE.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Absolute Zero — Rhodium Standard Repository (RSR) Compliance Jonathan D. A. Jewell :toc: diff --git a/docs/archive/ROADMAP-2026-02-05.adoc b/docs/archive/ROADMAP-2026-02-05.adoc index 7f8fb45..2043e4d 100644 --- a/docs/archive/ROADMAP-2026-02-05.adoc +++ b/docs/archive/ROADMAP-2026-02-05.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Absolute Zero Roadmap Jonathan D. A. Jewell :toc: diff --git a/docs/archive/SESSION-2026-05-25-HANDOFF.adoc b/docs/archive/SESSION-2026-05-25-HANDOFF.adoc index fed131f..76d9429 100644 --- a/docs/archive/SESSION-2026-05-25-HANDOFF.adoc +++ b/docs/archive/SESSION-2026-05-25-HANDOFF.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Session Handoff — 2026-05-25 Repo Tidy Claude (session 7927557c-2938-4d53-b987-a6f8ebc44611) :toc: diff --git a/docs/wiki/ABI.md b/docs/wiki/ABI.md index f3937ae..f88a7b7 100644 --- a/docs/wiki/ABI.md +++ b/docs/wiki/ABI.md @@ -1,4 +1,4 @@ - + # ABI The Idris2 ABI surface at `src/abi/` declares the FFI boundary that the diff --git a/docs/wiki/Architecture.md b/docs/wiki/Architecture.md index e71cfc7..d1f84c5 100644 --- a/docs/wiki/Architecture.md +++ b/docs/wiki/Architecture.md @@ -1,4 +1,4 @@ - + # Architecture Three layers, loosely coupled. diff --git a/docs/wiki/Audit-Trail.md b/docs/wiki/Audit-Trail.md index 7704294..248b29b 100644 --- a/docs/wiki/Audit-Trail.md +++ b/docs/wiki/Audit-Trail.md @@ -1,4 +1,4 @@ - + # Audit Trail Short summary; the authoritative ledger is [`AUDIT.adoc`](../../AUDIT.adoc). diff --git a/docs/wiki/Contributing.md b/docs/wiki/Contributing.md index 3af6a89..3502f01 100644 --- a/docs/wiki/Contributing.md +++ b/docs/wiki/Contributing.md @@ -1,4 +1,4 @@ - + # Contributing Short summary; the authoritative version is [`CONTRIBUTING.adoc`](../../CONTRIBUTING.adoc) at the root. diff --git a/docs/wiki/FAQ.md b/docs/wiki/FAQ.md index ed384da..3110eea 100644 --- a/docs/wiki/FAQ.md +++ b/docs/wiki/FAQ.md @@ -1,4 +1,4 @@ - + # FAQ ### Why prove that a program does nothing? diff --git a/docs/wiki/Glossary.md b/docs/wiki/Glossary.md index 080f99f..4291bb9 100644 --- a/docs/wiki/Glossary.md +++ b/docs/wiki/Glossary.md @@ -1,4 +1,4 @@ - + # Glossary | Term | Definition | diff --git a/docs/wiki/Home.md b/docs/wiki/Home.md index 4b90364..98f98d1 100644 --- a/docs/wiki/Home.md +++ b/docs/wiki/Home.md @@ -1,4 +1,4 @@ - + # Absolute Zero — Wiki > **Formal Verification of Certified Null Operations: When Doing Nothing Is Everything.** diff --git a/docs/wiki/Proof-Systems.md b/docs/wiki/Proof-Systems.md index 5272e6e..52f427a 100644 --- a/docs/wiki/Proof-Systems.md +++ b/docs/wiki/Proof-Systems.md @@ -1,4 +1,4 @@ - + # Proof Systems ## Why six? diff --git a/docs/wiki/README.md b/docs/wiki/README.md index a447939..8cd7028 100644 --- a/docs/wiki/README.md +++ b/docs/wiki/README.md @@ -1,4 +1,4 @@ - + # docs/wiki — In-repo source for the GitHub Wiki These markdown pages are the canonical source for diff --git a/docs/wiki/Roadmap.md b/docs/wiki/Roadmap.md index 1f9dbff..d2dd47a 100644 --- a/docs/wiki/Roadmap.md +++ b/docs/wiki/Roadmap.md @@ -1,4 +1,4 @@ - + # Roadmap Short summary; the authoritative version is [`ROADMAP.adoc`](../../ROADMAP.adoc) at the root. diff --git a/docs/wiki/Verification.md b/docs/wiki/Verification.md index a528848..8c9a0d2 100644 --- a/docs/wiki/Verification.md +++ b/docs/wiki/Verification.md @@ -1,4 +1,4 @@ - + # Verification How to verify locally and what CI does. diff --git a/docs/wiki/_Sidebar.md b/docs/wiki/_Sidebar.md index a357310..addbd51 100644 --- a/docs/wiki/_Sidebar.md +++ b/docs/wiki/_Sidebar.md @@ -1,4 +1,4 @@ - + **[Home](Home)** **Project** diff --git a/tests/README.adoc b/tests/README.adoc index 3367042..7038039 100644 --- a/tests/README.adoc +++ b/tests/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = tests/ — Test suite root This directory is the conventional RSR location for tests. For diff --git a/tools/README.adoc b/tools/README.adoc index 5350748..6bce419 100644 --- a/tools/README.adoc +++ b/tools/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = tools/ — Developer tools RSR-conventional location for developer utilities (scripts that build, diff --git a/verification/README.adoc b/verification/README.adoc index d09cfb4..ba5d043 100644 --- a/verification/README.adoc +++ b/verification/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = verification/ — Formal verification entry points RSR-conventional location for verification scripts. These wrap the