fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement

Comprehensive replacement in all file types.

Part of global TODO cleanup (2026-03-16).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

SONNET-TASKS.md

@@ -34,7 +34,7 @@ STATE.scm claims 60%. STATUS.md claims "Phase 2 at 30%, Phase 3 at 0%". The 30%
 - `/var/mnt/eclipse/repos/stapeln/ffi/zig/test/integration_test.zig` (line 1)
 - `/var/mnt/eclipse/repos/stapeln/ffi/zig/build.zig` (line 1)
 
-**Problem:** All seven files use `AGPL-3.0-or-later` as their SPDX license identifier. Per hyperpolymath standards, all original code must use `PMPL-1.0-or-later`. AGPL-3.0-or-later is the old license and is explicitly banned.
+**Problem:** All seven files use `PMPL-1.0-or-later` as their SPDX license identifier. Per hyperpolymath standards, all original code must use `PMPL-1.0-or-later`. PMPL-1.0-or-later is the old license and is explicitly banned.
 
 **What to do:**
 In each file, change the first line from:
@@ -50,7 +50,7 @@ In each file, change the first line from:
 **Verification:**
 ```bash
 # Must return zero matches:
-grep -rn "AGPL-3.0-or-later" /var/mnt/eclipse/repos/stapeln/src/abi/ /var/mnt/eclipse/repos/stapeln/ffi/zig/
+grep -rn "PMPL-1.0-or-later" /var/mnt/eclipse/repos/stapeln/src/abi/ /var/mnt/eclipse/repos/stapeln/ffi/zig/
 # Must return 7 matches:
 grep -rn "PMPL-1.0-or-later" /var/mnt/eclipse/repos/stapeln/src/abi/ /var/mnt/eclipse/repos/stapeln/ffi/zig/
 ```
@@ -778,7 +778,7 @@ zig build test 2>&1
 echo "Zig exit code: $?"
 
 # 4. License check: no AGPL anywhere in source
-grep -rn "AGPL-3.0-or-later" \
+grep -rn "PMPL-1.0-or-later" \
   /var/mnt/eclipse/repos/stapeln/src/ \
   /var/mnt/eclipse/repos/stapeln/ffi/ \
   /var/mnt/eclipse/repos/stapeln/frontend/src/ \

container-stack/cerro-torre/governance/covenant.md

@@ -7,7 +7,7 @@
 
 A palimpsest is a manuscript page that has been written on, scraped off, and written on again — yet traces of earlier writing remain visible beneath. Software is similar: every contribution builds upon what came before, and the history of that evolution matters.
 
-The Palimpsest Covenant is not a license. It does not impose legal obligations beyond those of the accompanying software license (MIT or AGPL-3.0-or-later, at your choice). Instead, it is a statement of values that defines what it means to be part of the Cerro Torre community.
+The Palimpsest Covenant is not a license. It does not impose legal obligations beyond those of the accompanying software license (MIT or PMPL-1.0-or-later, at your choice). Instead, it is a statement of values that defines what it means to be part of the Cerro Torre community.
 
 We adopt this covenant because we believe:
 

container-stack/vordr/docs/CITATIONS.adoc

@@ -10,7 +10,7 @@
   title = {RSR-template-repo},
   year = {2025},
   url = {https://github.com/hyperpolymath/RSR-template-repo},
-  license = {AGPL-3.0-or-later}
+  license = {PMPL-1.0-or-later}
 }
 ----
 

container-stack/vordr/src/rust/build.rs

@@ -127,7 +127,7 @@ fn generate_stub_library() {
 
     let stub_code = r#"
 // Stub implementation of gatekeeper when GNAT is not available
-// SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+// SPDX-License-Identifier: MIT OR PMPL-1.0-or-later
 
 #include <string.h>
 

docs/CITATIONS.adoc

@@ -10,7 +10,7 @@
   title = {RSR-template-repo},
   year = {2025},
   url = {https://github.com/hyperpolymath/RSR-template-repo},
-  license = {AGPL-3.0-or-later}
+  license = {PMPL-1.0-or-later}
 }
 ----
 

verified-container-spec/docs/CITATIONS.adoc

@@ -10,7 +10,7 @@
   title = {RSR-template-repo},
   year = {2025},
   url = {https://github.com/hyperpolymath/RSR-template-repo},
-  license = {AGPL-3.0-or-later}
+  license = {PMPL-1.0-or-later}
 }
 ----