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

ABI-FFI-README.md

@@ -374,7 +374,7 @@ When modifying the ABI/FFI:
 
 ## License
 
-{{LICENSE}}
+PMPL-1.0-or-later
 
 ## See Also
 

CODE_OF_CONDUCT.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: AGPL-3.0-or-later -->
+<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
 # Contributor Covenant Code of Conduct
 
 ## Our Pledge

CONTRIBUTING.md

@@ -1,13 +1,13 @@
 # Clone the repository
-git clone https://{{FORGE}}/{{OWNER}}/{{REPO}}.git
-cd {{REPO}}
+git clone https://github.com/hyperpolymath/conative-gating.git
+cd conative-gating
 
 # Using Nix (recommended for reproducibility)
 nix develop
 
 # Or using toolbox/distrobox
-toolbox create {{REPO}}-dev
-toolbox enter {{REPO}}-dev
+toolbox create conative-gating-dev
+toolbox enter conative-gating-dev
 # Install dependencies manually
 
 # Verify setup
@@ -17,7 +17,7 @@ just test    # Run test suite
 
 ### Repository Structure
 ```
-{{REPO}}/
+conative-gating/
 ├── src/                 # Source code (Perimeter 1-2)
 ├── lib/                 # Library code (Perimeter 1-2)
 ├── extensions/          # Extensions (Perimeter 2)
@@ -53,7 +53,7 @@ just test    # Run test suite
 
 **Before reporting**:
 1. Search existing issues
-2. Check if it's already fixed in `{{MAIN_BRANCH}}`
+2. Check if it's already fixed in `main`
 3. Determine which perimeter the bug affects
 
 **When reporting**:
@@ -86,10 +86,10 @@ Use the [feature request template](.github/ISSUE_TEMPLATE/feature_request.md) an
 
 Look for issues labelled:
 
-- [`good first issue`](https://{{FORGE}}/{{OWNER}}/{{REPO}}/labels/good%20first%20issue) — Simple Perimeter 3 tasks
-- [`help wanted`](https://{{FORGE}}/{{OWNER}}/{{REPO}}/labels/help%20wanted) — Community help needed
-- [`documentation`](https://{{FORGE}}/{{OWNER}}/{{REPO}}/labels/documentation) — Docs improvements
-- [`perimeter-3`](https://{{FORGE}}/{{OWNER}}/{{REPO}}/labels/perimeter-3) — Community sandbox scope
+- [`good first issue`](https://github.com/hyperpolymath/conative-gating/labels/good%20first%20issue) — Simple Perimeter 3 tasks
+- [`help wanted`](https://github.com/hyperpolymath/conative-gating/labels/help%20wanted) — Community help needed
+- [`documentation`](https://github.com/hyperpolymath/conative-gating/labels/documentation) — Docs improvements
+- [`perimeter-3`](https://github.com/hyperpolymath/conative-gating/labels/perimeter-3) — Community sandbox scope
 
 ---
 

SONNET-TASKS.md

@@ -44,7 +44,7 @@ Do NOT create new files unless a task explicitly says to. Do NOT add dependencie
 
 Everywhere you see author information, use:
 - **Name:** `Jonathan D.A. Jewell`
-- **Email:** `jonathan.jewell@open.ac.uk`
+- **Email:** `j.d.a.jewell@open.ac.uk`
 - NEVER use `jonathan@hyperpolymath.org`
 
 ### License
@@ -64,22 +64,22 @@ Every file listed below currently has `AGPL-3.0-or-later` somewhere in it and mu
 
 | File | Line | Current |
 |------|------|---------|
-| `src/contract/src/lib.rs` | 1 | `// SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `src/arbiter/mix.exs` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `src/arbiter/lib/conative_gating/consensus_arbiter.ex` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `src/arbiter/lib/conative_gating/application.ex` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `examples/SafeDOMExample.res` | 1 | `// SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `ffi/zig/build.zig` | 2 | `// SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `ffi/zig/src/main.zig` | 6 | `// SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `ffi/zig/test/integration_test.zig` | 2 | `// SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `hooks/validate-spdx.sh` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `hooks/validate-sha-pins.sh` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `hooks/validate-permissions.sh` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `hooks/validate-codeql.sh` | 2 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `Mustfile` | 1 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `.gitignore` | 1 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `.gitattributes` | 1 | `# SPDX-License-Identifier: AGPL-3.0-or-later` |
-| `CODE_OF_CONDUCT.md` | 1 | `<!-- SPDX-License-Identifier: AGPL-3.0-or-later -->` |
+| `src/contract/src/lib.rs` | 1 | `// SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `src/arbiter/mix.exs` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `src/arbiter/lib/conative_gating/consensus_arbiter.ex` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `src/arbiter/lib/conative_gating/application.ex` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `examples/SafeDOMExample.res` | 1 | `// SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `ffi/zig/build.zig` | 2 | `// SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `ffi/zig/src/main.zig` | 6 | `// SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `ffi/zig/test/integration_test.zig` | 2 | `// SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `hooks/validate-spdx.sh` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `hooks/validate-sha-pins.sh` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `hooks/validate-permissions.sh` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `hooks/validate-codeql.sh` | 2 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `Mustfile` | 1 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `.gitignore` | 1 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `.gitattributes` | 1 | `# SPDX-License-Identifier: PMPL-1.0-or-later` |
+| `CODE_OF_CONDUCT.md` | 1 | `<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->` |
 
 **Category B — Cargo.toml `license` fields:**
 
@@ -102,7 +102,7 @@ Change to: `licenses: ["PMPL-1.0-or-later"]`
 
 | File | Line | Current |
 |------|------|---------|
-| `hooks/validate-spdx.sh` | 16 | `echo "  First line should be: # SPDX-License-Identifier: AGPL-3.0-or-later"` |
+| `hooks/validate-spdx.sh` | 16 | `echo "  First line should be: # SPDX-License-Identifier: PMPL-1.0-or-later"` |
 
 Change the echoed string to: `# SPDX-License-Identifier: PMPL-1.0-or-later`
 
@@ -163,25 +163,25 @@ cargo test --workspace
 
 | File | Line | Current | Required |
 |------|------|---------|----------|
-| `Cargo.toml` (root) | 5 | `authors = ["Jonathan D.A. Jewell <jonathan@hyperpolymath.org>"]` | `authors = ["Jonathan D.A. Jewell <jonathan.jewell@open.ac.uk>"]` |
-| `src/contract/Cargo.toml` | 8 | `authors = ["Jonathan D.A. Jewell <jonathan@hyperpolymath.org>"]` | `authors = ["Jonathan D.A. Jewell <jonathan.jewell@open.ac.uk>"]` |
+| `Cargo.toml` (root) | 5 | `authors = ["Jonathan D.A. Jewell <jonathan@hyperpolymath.org>"]` | `authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]` |
+| `src/contract/Cargo.toml` | 8 | `authors = ["Jonathan D.A. Jewell <jonathan@hyperpolymath.org>"]` | `authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]` |
 
 Also check and fix if present:
-- `src/oracle/Cargo.toml` — currently has NO `authors` field. Add `authors = ["Jonathan D.A. Jewell <jonathan.jewell@open.ac.uk>"]` after line 5 (after `description`).
-- `src/slm/Cargo.toml` — currently has NO `authors` field. Add `authors = ["Jonathan D.A. Jewell <jonathan.jewell@open.ac.uk>"]` after line 5 (after `description`).
-- `src/arbiter/mix.exs` — line 1 says `jonathan@hyperpolymath.org`. Change to `jonathan.jewell@open.ac.uk`.
+- `src/oracle/Cargo.toml` — currently has NO `authors` field. Add `authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]` after line 5 (after `description`).
+- `src/slm/Cargo.toml` — currently has NO `authors` field. Add `authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]` after line 5 (after `description`).
+- `src/arbiter/mix.exs` — line 1 says `jonathan@hyperpolymath.org`. Change to `j.d.a.jewell@open.ac.uk`.
 
 ### Problem
 
-The author email `jonathan@hyperpolymath.org` is wrong. The correct email is `jonathan.jewell@open.ac.uk`.
+The author email `jonathan@hyperpolymath.org` is wrong. The correct email is `j.d.a.jewell@open.ac.uk`.
 
 ### What to Do
 
-1. In `Cargo.toml` (root), line 5: change `jonathan@hyperpolymath.org` to `jonathan.jewell@open.ac.uk`.
-2. In `src/contract/Cargo.toml`, line 8: change `jonathan@hyperpolymath.org` to `jonathan.jewell@open.ac.uk`.
+1. In `Cargo.toml` (root), line 5: change `jonathan@hyperpolymath.org` to `j.d.a.jewell@open.ac.uk`.
+2. In `src/contract/Cargo.toml`, line 8: change `jonathan@hyperpolymath.org` to `j.d.a.jewell@open.ac.uk`.
 3. Add `authors` field to `src/oracle/Cargo.toml` after `description`.
 4. Add `authors` field to `src/slm/Cargo.toml` after `description`.
-5. In `src/arbiter/mix.exs`, line 1: change `jonathan@hyperpolymath.org` to `jonathan.jewell@open.ac.uk`.
+5. In `src/arbiter/mix.exs`, line 1: change `jonathan@hyperpolymath.org` to `j.d.a.jewell@open.ac.uk`.
 
 ### Verification
 
@@ -190,7 +190,7 @@ The author email `jonathan@hyperpolymath.org` is wrong. The correct email is `jo
 grep -r "jonathan@hyperpolymath.org" . --include="*.toml" --include="*.exs"
 
 # Must find 4 Cargo.toml files with correct email:
-grep -r "jonathan.jewell@open.ac.uk" . --include="*.toml" --include="*.exs"
+grep -r "j.d.a.jewell@open.ac.uk" . --include="*.toml" --include="*.exs"
 
 cargo build --workspace
 ```
@@ -501,7 +501,7 @@ Rewrite `.machine_readable/STATE.scm` with accurate data. Keep the SPDX header (
   (critical-next-actions
     (immediate
       ("Fix all AGPL license headers to PMPL")
-      ("Fix author email to jonathan.jewell@open.ac.uk"))
+      ("Fix author email to j.d.a.jewell@open.ac.uk"))
     (this-week
       ("Implement SLM evaluator with llama.cpp bindings")
       ("Make fuzzer target real project code"))

docs/MAAF_INTEGRATION.adoc

@@ -333,7 +333,7 @@ IRC channels      → #rhodium, #rsr-commits, project channels
 ----
 # Send IRC notification on release
 notify-release version:
-    echo '{"to": ["irc://irc.libera.chat/#rhodium"], "privmsg": "Released {{PROJECT_NAME}} v{{version}}"}' | \
+    echo '{"to": ["irc://irc.libera.chat/#rhodium"], "privmsg": "Released Conative Gating v{{version}}"}' | \
     nc localhost 6659
 
 # Configure git hook
@@ -535,7 +535,7 @@ All RSR repos should include MAAF-compatible `.well-known/` files:
 {
   "aibdp_version": "0.2",
   "contact": "mailto:hyperpolymath@proton.me",
-  "manifest_url": "https://github.com/hyperpolymath/{{PROJECT_NAME}}/.well-known/aibdp.json",
+  "manifest_url": "https://github.com/hyperpolymath/Conative Gating/.well-known/aibdp.json",
   "expires": "2026-01-01T00:00:00Z",
   "policies": {
     "training": {

examples/SafeDOMExample.res

@@ -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

ffi/zig/build.zig

@@ -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");
 

ffi/zig/src/main.zig

@@ -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");
 

ffi/zig/test/integration_test.zig

@@ -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
 

hooks/validate-codeql.sh

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Pre-commit hook: Validate CodeQL language matrix matches repo
 set -euo pipefail