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

Comprehensive replacement in all file types (SPDX headers, dual-license,
workflow checks, package metadata).

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

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

Author: hyperpolymath

container/Dockerfile.wolfi

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Formatrix Docs - Wolfi Container Image
 # Copyright (C) 2025 Jonathan D.A. Jewell
 
@@ -70,5 +70,5 @@ ENTRYPOINT ["/usr/local/bin/formatrix-gui"]
 LABEL org.opencontainers.image.title="Formatrix Docs"
 LABEL org.opencontainers.image.description="Cross-platform document editor with format tabs"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/formatrix-docs"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="PMPL-1.0-or-later"
 LABEL org.opencontainers.image.vendor="Hyperpolymath"

tui/formatrix_tui.gpr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Formatrix TUI - Terminal interface for Formatrix Docs
 -- Ada GNAT Project File

tui/src/editor/editor.ads

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Editor - Root package for editor components
 --

tui/src/editor/safe_buffer.adb

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Safe_Buffer - SPARK-verified bounded text buffer (body)
 

tui/src/editor/safe_buffer.ads

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Safe_Buffer - SPARK-verified bounded text buffer
 --

tui/src/editor/safe_cursor.adb

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Safe_Cursor - SPARK-verified cursor management (body)
 

tui/src/editor/safe_cursor.ads

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Safe_Cursor - SPARK-verified cursor management
 --

tui/src/formatrix_tui-app.adb

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Formatrix TUI - Application state and logic (body)
 

tui/src/formatrix_tui-app.ads

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Formatrix TUI - Application state and logic
 

tui/src/formatrix_tui-ui.adb

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: AGPL-3.0-or-later
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 --
 -- Formatrix TUI - UI rendering (body)