chore(license): replace 2 subdir LICENSEs + flip 69 SPDX (Phase 2 — verisim-core + verisim-modular-experiment) (#30)

See PR description for verification.

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

verisim-core/.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -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>
 #
 # ECOSYSTEM.a2ml — Verisim Core ecosystem position

verisim-core/.machine_readable/6a2/STATE.a2ml

@@ -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>
 #
 # STATE.a2ml — Verisim Core project state

verisim-core/0-AI-MANIFEST.a2ml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # STOP - CRITICAL READING REQUIRED
 
 **THIS FILE MUST BE READ FIRST BY ALL AI AGENTS**
@@ -38,7 +38,7 @@ For comprehensive 8-shape multimodal use, use main `verisimdb/` instead.
 2. `enrich!` writes to both Temporal AND Provenance atomically
    (def:enrichment from verisimdb's TeX data model).
 3. All signatures are real Ed25519 via libsodium. No placeholder crypto.
-4. All source files carry `SPDX-License-Identifier: PMPL-1.0-or-later`.
+4. All source files carry `SPDX-License-Identifier: MPL-2.0`.
 
 ## HOW TO RUN TESTS
 

verisim-core/EXPLAINME.adoc

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = EXPLAINME — VerisimCore.jl
 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 :toc: left

verisim-core/LICENSE

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = VerisimCore.jl
 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 :toc: left

verisim-core/README.adoc

@@ -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>
 #
 # verisim-core package manifest — OPSM native.

verisim-core/opsm.toml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # VerisimCore.jl — Julia implementation of the identity-core ABI.
 #

verisim-core/src/Core.jl

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # Crypto.jl — Ed25519 signing for VeriSimCore / federation peers.
 #

verisim-core/src/Crypto.jl

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # FederationManager.jl — Clauses 1 & 3 (shape-orthogonal) + peer
 # registration + aggregate-drift orchestration.