chore: migrate license from PMPL-1.0-or-later to MPL-2.0

Author: hyperpolymath

.claude/CLAUDE.md

@@ -1,5 +1,5 @@
 #!/bin/bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Build script for ClusterFuzzLite fuzzing
 
 cd "$SRC"/proven/fuzz/zig

.clusterfuzzlite/build.sh

@@ -1,3 +1,3 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # ClusterFuzzLite configuration for proven
 language: c  # Zig compiles to native, uses C ABI for fuzzing

.clusterfuzzlite/project.yaml

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Post-create script for devcontainer setup
 
 set -euo pipefail

.devcontainer/post-create.sh

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # echidnabot configuration for proven

.echidnabot.toml

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # EMERGENCY: Delete ALL reimplementation files from bindings
 #
 # This is a one-time nuclear cleanup. After this, proven-cleaner.sh will

.echidnabot/EMERGENCY-CLEANUP.sh

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # proven Architecture Enforcer - Auto-delete non-FFI code from bindings
 #
 # This script is run by echidnabot daily to ensure NO logic exists in language

.echidnabot/proven-cleaner.sh

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # EditorConfig helps maintain consistent coding styles
 # https://editorconfig.org
 

.editorconfig

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitattributes
 
 * text=auto eol=lf

.gitattributes

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # CODEOWNERS — proven formally verified safety library