license: canonicalize to MPL-2.0 (code) + CC-BY-SA-4.0 (docs), drop PMPL (#33)

Replaces the inconsistent, partially-migrated Palimpsest/PMPL licensing with one
canonical rule, wired up the REUSE way and CI-enforced against slippage.

- Root LICENSE: canonical MPL-2.0 text (so GitHub community-health detects MPL-2.0).
- LICENSES/MPL-2.0.txt + LICENSES/CC-BY-SA-4.0.txt (verbatim SPDX texts).
- Per-file SPDX by type: code/config/CI/.a2ml = MPL-2.0; docs (*.adoc/*.md, docs/**) = CC-BY-SA-4.0 (~120 files).
- REUSE dep5: placeholders substituted, docs->CC-BY-SA-4.0 stanza, rule documented.
- Killed PMPL reset vectors: removed k9 add-license curl-fetch of the PMPL LICENSE; Trustfile/Mustfile/contractile.just now affirm MPL-2.0 instead of requiring 'PMPL'; rhodibot text fixed.
- Anti-slippage CI rules: must-no-pmpl, must-licenses-present, must-docs-cc-by-sa.
- Rule declared in LICENSE, dep5, README, 0-AI-MANIFEST.a2ml, CLAUDE.md, and new ADR docs/decisions/0002-licensing-policy.adoc.
- Removed Palimpsest legal exhibits; moved main.zig SPDX header to top (SD009).


Claude-Session: https://claude.ai/code/session_01Y2MWTAqX2x7goVJzjFB4j5

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

.claude/CLAUDE.md

@@ -1,3 +1,4 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 # wokelangiser — Project Instructions
 
 ## Overview
@@ -27,7 +28,7 @@ cargo test
 ## Key Design Decisions
 
 - Follows hyperpolymath ABI-FFI standard (Idris2 ABI, Zig FFI)
-- MPL-2.0 license
+- Licensing: MPL-2.0 (code/config/CI) + CC-BY-SA-4.0 (documentation/prose); both texts in LICENSES/, mapped in .machine_readable/compliance/reuse/dep5
 - RSR (Rhodium Standard Repository) template
 - Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 

.devcontainer/README.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MPL-2.0
+// SPDX-License-Identifier: CC-BY-SA-4.0
 = Dev Container Usage
 :author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 

.github/CODE_OF_CONDUCT.md

@@ -1,3 +1,4 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 # Code of Conduct
 
 <!-- 

.github/CONTRIBUTING.md

@@ -1,3 +1,4 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 # Clone the repository
 git clone https://github.com/hyperpolymath/wokelangiser.git
 cd wokelangiser

.github/DIRECTORY.adoc

@@ -1 +1,2 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 = .github Pillar

.github/GOVERNANCE.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 
 # Project Governance
 

.github/SECURITY.md

@@ -1,3 +1,4 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 # Security Policy
 
 <!-- 

.github/copilot-instructions.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 <!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
 <!-- Authoritative source: docs/AI-CONVENTIONS.md -->
 

.github/pull_request_template.md

@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
 ## Summary
 
 <!-- Briefly describe what this PR does and why. Link to related issues with "Closes #N". -->

.github/workflows/rhodibot.yml

@@ -4,7 +4,7 @@
 # Reads root-hygiene rules and auto-fixes what it can:
 #   - Delete banned files (AI.djot, duplicate CONTRIBUTING.adoc, stale snapshots)
 #   - Rename misnamed files (AI.a2ml → 0-AI-MANIFEST.a2ml)
-#   - Fix SPDX headers (AGPL → PMPL in dotfiles)
+#   - Fix SPDX headers (AGPL → MPL-2.0 in dotfiles)
 #   - Create missing required files (SECURITY.md, CONTRIBUTING.md)
 #   - Report unfixable issues as PR comments
 #
@@ -88,15 +88,15 @@ jobs:
           for dotfile in .gitignore .gitattributes .editorconfig; do
             if [ -f "$dotfile" ] && grep -q "AGPL-3.0" "$dotfile" 2>/dev/null; then
               sed -i 's/AGPL-3.0-or-later/MPL-2.0/g; s/AGPL-3.0/MPL-2.0/g' "$dotfile"
-              FIXES="$FIXES\n- Fixed SPDX header in \`$dotfile\` (AGPL → PMPL)"
+              FIXES="$FIXES\n- Fixed SPDX header in \`$dotfile\` (AGPL → MPL-2.0)"
               CHANGED=true
             fi
           done
 
           # --- 5. Create missing required files ---
           if [ ! -f "SECURITY.md" ]; then
             cat > SECURITY.md << 'SECEOF'
-          <!-- SPDX-License-Identifier: MPL-2.0 -->
+          <!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
           # Security Policy
 
           ## Reporting a Vulnerability
@@ -116,7 +116,7 @@ jobs:
 
           if [ ! -f "CONTRIBUTING.md" ]; then
             cat > CONTRIBUTING.md << 'CONTEOF'
-          <!-- SPDX-License-Identifier: MPL-2.0 -->
+          <!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
           # Contributing
 
           1. Fork the repository