fix: SPDX headers (AGPL→PMPL), email, author name

- AGPL-3.0-or-later → PMPL-1.0-or-later in SPDX-License-Identifier lines
- jonathan.jewell@open.ac.uk → j.d.a.jewell@open.ac.uk
- "hyperpolymath" → "Jonathan D.A. Jewell" in author fields

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

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

Author: hyperpolymath

CODE_OF_CONDUCT.md

@@ -36,7 +36,7 @@ jobs:
             fi
           done
           if [ $failed -eq 1 ]; then
-            echo "Add '# SPDX-License-Identifier: AGPL-3.0-or-later' as first line"
+            echo "Add '# SPDX-License-Identifier: PMPL-1.0-or-later' as first line"
             exit 1
           fi
           echo "All workflows have SPDX headers"

README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // Example: Using SafeDOM for formally verified DOM mounting
 
 open SafeDOM

SECURITY.md

@@ -1,5 +1,5 @@
 // {{PROJECT}} FFI Build Configuration
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: PMPL-1.0-or-later
 
 const std = @import("std");
 

asdf-acceleration-middleware/.github/workflows/workflow-linter.yml

@@ -3,7 +3,7 @@
 // This module implements the C-compatible FFI declared in src/abi/Foreign.idr
 // All types and layouts must match the Idris2 ABI definitions.
 //
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: PMPL-1.0-or-later
 
 const std = @import("std");
 

asdf-acceleration-middleware/examples/SafeDOMExample.res

@@ -1,5 +1,5 @@
 // {{PROJECT}} Integration Tests
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: PMPL-1.0-or-later
 //
 // These tests verify that the Zig FFI correctly implements the Idris2 ABI
 

asdf-acceleration-middleware/ffi/zig/build.zig

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 set -euo pipefail
 
 TOOL_NAME="asdf-accelerate"