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

docs/CITATIONS.adoc

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

packaging/aur/PKGBUILD

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Maintainer: hyperpolymath <packages@hyperpolymath.dev>
 
 pkgname=proof-of-work-bin
@@ -8,7 +8,7 @@ pkgrel=1
 pkgdesc="A puzzle game about formal verification and theorem proving"
 arch=('x86_64' 'aarch64')
 url="https://github.com/hyperpolymath/proof-of-work"
-license=('AGPL-3.0-or-later')
+license=('PMPL-1.0-or-later')
 provides=('proof-of-work')
 conflicts=('proof-of-work')
 depends=('alsa-lib' 'libxkbcommon')