chore(spdx): migrate PMPL-1.0-or-later → MPL-2.0 (20 files)

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 <developer@joshuajewell.dev>
 :toc:

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 <jonathan.jewell@open.ac.uk>
 :toc: left

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 <developer@joshuajewell.dev>
 :toc:

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 <jonathan.jewell@open.ac.uk>
 :toc:

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:

docs/wiki/ABI.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # ABI
 
 The Idris2 ABI surface at `src/abi/` declares the FFI boundary that the

docs/wiki/Architecture.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Architecture
 
 Three layers, loosely coupled.

docs/wiki/Audit-Trail.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Audit Trail
 
 Short summary; the authoritative ledger is [`AUDIT.adoc`](../../AUDIT.adoc).

docs/wiki/Contributing.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Contributing
 
 Short summary; the authoritative version is [`CONTRIBUTING.adoc`](../../CONTRIBUTING.adoc) at the root.

docs/wiki/FAQ.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # FAQ
 
 ### Why prove that a program does nothing?

docs/wiki/Glossary.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Glossary
 
 | Term | Definition |

docs/wiki/Home.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Absolute Zero — Wiki
 
 > **Formal Verification of Certified Null Operations: When Doing Nothing Is Everything.**

docs/wiki/Proof-Systems.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Proof Systems
 
 ## Why six?

docs/wiki/README.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # docs/wiki — In-repo source for the GitHub Wiki
 
 These markdown pages are the canonical source for

docs/wiki/Roadmap.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Roadmap
 
 Short summary; the authoritative version is [`ROADMAP.adoc`](../../ROADMAP.adoc) at the root.

docs/wiki/Verification.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 # Verification
 
 How to verify locally and what CI does.

docs/wiki/_Sidebar.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 **[Home](Home)**
 
 **Project**

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

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,

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