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

Author: hyperpolymath

.machine_readable/6a2/AGENTIC.a2ml

@@ -19,7 +19,7 @@ can-create-files = true
 # - Never commit secrets or credentials
 # - Never use banned languages (TypeScript, Python, Go, etc.)
 # - Never place state files in repository root (must be in .machine_readable/)
-# - Never use AGPL license (use PMPL-1.0-or-later)
+# - Never use AGPL license (use MPL-2.0)
 
 [maintenance-integrity]
 fail-closed = true

.machine_readable/6a2/STATE.a2ml

@@ -23,7 +23,7 @@ Consent Management: Consent-Aware HTTP (cookie-based)
 
 # === Transparency ===
 Open Source: Yes
-License: PMPL-1.0-or-later (https://palimpsest.spdx.dev)
+License: MPL-2.0 (https://palimpsest.spdx.dev)
 Source Code: https://github.com/hyperpolymath/affinescript
 Issue Tracker: https://github.com/hyperpolymath/affinescript/issues
 Changelog: https://github.com/hyperpolymath/affinescript/releases

.well-known/trust.txt

@@ -30,8 +30,8 @@
 - ✅ **Zero-Cost Abstractions**: Type safety erased at compile time
 
 ### Ecosystem Integration
-- ✅ **Gossamer**: Resource-safe desktop apps (PMPL-1.0-or-later)
-- ✅ **Burble**: Low-latency voice comms (PMPL-1.0-or-later)
+- ✅ **Gossamer**: Resource-safe desktop apps (MPL-2.0)
+- ✅ **Burble**: Low-latency voice comms (MPL-2.0)
 - ✅ **Tree-sitter Grammar**: Advanced syntax highlighting
 - ✅ **Language Server**: IDE integration
 
@@ -59,7 +59,7 @@
 
 ## 📦 What's Included
 
-### Core Technology (PMPL-1.0-or-later)
+### Core Technology (MPL-2.0)
 - AffineScript compiler (OCaml backend)
 - WebAssembly code generator
 - Tree-sitter grammar
@@ -114,7 +114,7 @@ dune exec affinescript -- compile examples/hello.affine -o hello.wasm
 ## 📝 Licensing
 
 ### Core Technology
-**PMPL-1.0-or-later** - Palimpsest Mutual Public License
+**MPL-2.0** - Palimpsest Mutual Public License
 - Covers: Compiler, tooling, standard library
 - Permissive with ethical use requirements
 - Quantum-safe provenance tracking
@@ -209,8 +209,8 @@ fn game_loop() -> () / IO {
 **Discussions**: https://github.com/hyperpolymath/affinescript/discussions
 
 **Related Projects:**
-- Gossamer: https://github.com/hyperpolymath/gossamer (PMPL-1.0-or-later)
-- Burble: https://github.com/hyperpolymath/burble (PMPL-1.0-or-later)
+- Gossamer: https://github.com/hyperpolymath/gossamer (MPL-2.0)
+- Burble: https://github.com/hyperpolymath/burble (MPL-2.0)
 
 ---
 

ALPHA-1-RELEASE-NOTES.md

@@ -364,7 +364,7 @@ let () =
 
 ## 🔒 License
 
-All backend code is licensed under **PMPL-1.0-or-later**.
+All backend code is licensed under **MPL-2.0**.
 
 SPDX-License-Identifier: MPL-2.0
 SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell and contributors

BACKEND-IMPLEMENTATION.md

@@ -21,16 +21,16 @@ Game Distribution
 │   ├── textures/          (AGPL-3.0-or-later)
 │   ├── sounds/            (AGPL-3.0-or-later)
 │   └── scripts/           (AGPL-3.0-or-later)
-├── affinescript/          (PMPL-1.0-or-later - Compiler)
-│   ├── compiler.wasm      (PMPL-1.0-or-later)
-│   ├── stdlib/            (PMPL-1.0-or-later)
-│   └── tools/             (PMPL-1.0-or-later)
-├── gossamer/             (PMPL-1.0-or-later - Runtime)
-│   └── runtime.wasm       (PMPL-1.0-or-later)
-├── burble/               (PMPL-1.0-or-later - Voice)
-│   └── client.wasm        (PMPL-1.0-or-later)
+├── affinescript/          (MPL-2.0 - Compiler)
+│   ├── compiler.wasm      (MPL-2.0)
+│   ├── stdlib/            (MPL-2.0)
+│   └── tools/             (MPL-2.0)
+├── gossamer/             (MPL-2.0 - Runtime)
+│   └── runtime.wasm       (MPL-2.0)
+├── burble/               (MPL-2.0 - Voice)
+│   └── client.wasm        (MPL-2.0)
 ├── LICENSE-GAME          (AGPL-3.0-or-later)
-├── LICENSE-TECH          (PMPL-1.0-or-later)
+├── LICENSE-TECH          (MPL-2.0)
 └── README.md             (Dual licensing explanation)
 ```
 
@@ -86,7 +86,7 @@ All game-specific content including:
 **Purpose:** Ensure game modifications remain open
 **File:** [LICENSE-AGPL-3.0](LICENSE-AGPL-3.0)
 
-### Core Technology (PMPL-1.0-or-later)
+### Core Technology (MPL-2.0)
 All compiler and runtime technology including:
 - AffineScript compiler
 - Gossamer runtime
@@ -142,15 +142,15 @@ Add proper license headers:
   "dependencies": {
     "affinescript-compiler": {
       "version": "0.1.0-alpha.1",
-      "license": "PMPL-1.0-or-later"
+      "license": "MPL-2.0"
     },
     "gossamer-runtime": {
       "version": "0.1.0-alpha.1",
-      "license": "PMPL-1.0-or-later"
+      "license": "MPL-2.0"
     },
     "burble-client": {
       "version": "0.1.0-alpha.1",
-      "license": "PMPL-1.0-or-later"
+      "license": "MPL-2.0"
     }
   }
 }
@@ -165,10 +165,10 @@ Add proper license headers:
 Game-Player-Package.zip
 ├── game.wasm              (AGPL-3.0-or-later)
 ├── assets/                (AGPL-3.0-or-later)
-├── gossamer.wasm          (PMPL-1.0-or-later - Runtime)
-├── burble.wasm            (PMPL-1.0-or-later - Voice)
+├── gossamer.wasm          (MPL-2.0 - Runtime)
+├── burble.wasm            (MPL-2.0 - Voice)
 ├── LICENSE-GAME          (AGPL-3.0-or-later)
-├── LICENSE-TECH          (PMPL-1.0-or-later)
+├── LICENSE-TECH          (MPL-2.0)
 └── README.md             (Licensing explanation)
 ```
 
@@ -178,20 +178,20 @@ Game-Developer-Package.zip
 ├── game/                  (AGPL-3.0-or-later)
 │   ├── game.wasm          (AGPL-3.0-or-later)
 │   └── assets/            (AGPL-3.0-or-later)
-├── tools/                 (PMPL-1.0-or-later)
-│   ├── affinescript/      (PMPL-1.0-or-later)
-│   │   ├── compiler.wasm  (PMPL-1.0-or-later)
-│   │   ├── stdlib/        (PMPL-1.0-or-later)
-│   │   └── tools/         (PMPL-1.0-or-later)
-│   ├── gossamer/         (PMPL-1.0-or-later)
-│   │   └── runtime.wasm   (PMPL-1.0-or-later)
-│   └── burble/           (PMPL-1.0-or-later)
-│       └── client.wasm    (PMPL-1.0-or-later)
+├── tools/                 (MPL-2.0)
+│   ├── affinescript/      (MPL-2.0)
+│   │   ├── compiler.wasm  (MPL-2.0)
+│   │   ├── stdlib/        (MPL-2.0)
+│   │   └── tools/         (MPL-2.0)
+│   ├── gossamer/         (MPL-2.0)
+│   │   └── runtime.wasm   (MPL-2.0)
+│   └── burble/           (MPL-2.0)
+│       └── client.wasm    (MPL-2.0)
 ├── docs/                  (Dual licensed)
 │   ├── game-docs/        (AGPL-3.0-or-later)
-│   └── tech-docs/        (PMPL-1.0-or-later)
+│   └── tech-docs/        (MPL-2.0)
 ├── LICENSE-GAME          (AGPL-3.0-or-later)
-├── LICENSE-TECH          (PMPL-1.0-or-later)
+├── LICENSE-TECH          (MPL-2.0)
 └── README.md             (Complete licensing guide)
 ```
 
@@ -227,7 +227,7 @@ Game-Developer-Package.zip
 
 ### For Game Distribution
 - [ ] ✅ Game content licensed AGPL-3.0-or-later
-- [ ] ✅ Technology licensed PMPL-1.0-or-later
+- [ ] ✅ Technology licensed MPL-2.0
 - [ ] ✅ Separate LICENSE files included
 - [ ] ✅ Source code available (AGPL requirement)
 - [ ] ✅ Modifications tracked (AGPL requirement)
@@ -262,7 +262,7 @@ This game uses a **dual licensing model**:
 - Ensures game modifications remain open source
 - Required for players and developers
 
-**Core Technology:** PMPL-1.0-or-later  
+**Core Technology:** MPL-2.0  
 - AffineScript compiler and runtime
 - Gossamer and Burble systems
 - Development tools and libraries
@@ -299,7 +299,7 @@ AffineScript uses a dual licensing approach to balance open game development wit
 - Network use must provide source
 - License and copyright notices preserved
 
-### PMPL-1.0-or-later (Core Technology)
+### MPL-2.0 (Core Technology)
 
 **Applies to:**
 - AffineScript compiler
@@ -397,7 +397,7 @@ When contributing to AffineScript, please note:
 - Modifications must be shared
 
 **Technology Contributions:**
-- Licensed under PMPL-1.0-or-later
+- Licensed under MPL-2.0
 - Permissive licensing
 - Can be used in proprietary software
 
@@ -439,13 +439,13 @@ game = {
 
 runtime = {
   path = "runtime",
-  license = "PMPL-1.0-or-later",
+  license = "MPL-2.0",
   components = ["gossamer", "burble"]
 }
 
 compiler = {
   path = "compiler",
-  license = "PMPL-1.0-or-later",
+  license = "MPL-2.0",
   optional = true,
   dev_only = true
 }
@@ -549,5 +549,5 @@ Runtime Distribution (PMPL):
 
 **Result:** Clear AGPL licensing for game content with PMPL licensing for core technology, enabling open game development while maintaining permissive tooling licenses.
 
-SPDX-License-Identifier: AGPL-3.0-or-later AND PMPL-1.0-or-later
+SPDX-License-Identifier: AGPL-3.0-or-later AND MPL-2.0
 SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell

GAME-BUNDLING-STRATEGY.md

@@ -2,11 +2,11 @@ SPDX-License-Identifier: MPL-2.0
 SPDX-FileCopyrightText: 2024-2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 
 ------------------------------------------------------------------------
-PREFERRED LICENCE: Palimpsest License (PMPL-1.0-or-later)
+PREFERRED LICENCE: Palimpsest License (MPL-2.0)
 ------------------------------------------------------------------------
 
-This work is governed by the Palimpsest License (PMPL-1.0-or-later) as
-its primary intended licence. PMPL-1.0-or-later extends the Mozilla
+This work is governed by the Palimpsest License (MPL-2.0) as
+its primary intended licence. MPL-2.0 extends the Mozilla
 Public License 2.0 (MPL-2.0) with additional provisions for ethical use,
 post-quantum cryptographic provenance, and emotional lineage protection.
 The canonical PMPL text and stewardship information are maintained at:
@@ -16,16 +16,16 @@ The canonical PMPL text and stewardship information are maintained at:
 FALLBACK LICENCE: Mozilla Public License 2.0 (MPL-2.0)
 ------------------------------------------------------------------------
 
-Because PMPL-1.0-or-later is not yet recognised by the Open Source
+Because MPL-2.0 is not yet recognised by the Open Source
 Initiative (OSI) or equivalent bodies, this work also carries MPL-2.0
 as its legally-recognised fallback licence.
 
-In any jurisdiction, platform, or context where PMPL-1.0-or-later is
+In any jurisdiction, platform, or context where MPL-2.0 is
 not accepted as a valid licence, or where an OSI-approved licence is
 required, this work is instead governed by the Mozilla Public License,
 Version 2.0.
 
-MPL-2.0 was chosen as the fallback because PMPL-1.0-or-later is
+MPL-2.0 was chosen as the fallback because MPL-2.0 is
 explicitly based on and extends MPL-2.0; it is therefore the closest
 recognised equivalent to the intended licence.
 

LICENSE

@@ -27,7 +27,7 @@ This document clarifies the licensing structure for the AffineScript ecosystem,
 
 ---
 
-### 2. **Core Technology (PMPL-1.0-or-later)**
+### 2. **Core Technology (MPL-2.0)**
 **Applies to:** AffineScript compiler, runtime, and development tools
 
 **Purpose:** Provide permissive licensing for language technology while maintaining ethical use requirements
@@ -69,7 +69,7 @@ This document clarifies the licensing structure for the AffineScript ecosystem,
 ```mermaid
 graph TD
     A[Game Content] -->|AGPL-3.0-or-later| B[Open Source Game]
-    C[Core Technology] -->|PMPL-1.0-or-later| D[AffineScript Compiler]
+    C[Core Technology] -->|MPL-2.0| D[AffineScript Compiler]
     E[Foundational Tech] -->|PMPL-1.0/MPL-2.0| F[Gossamer/Burble]
     
     B -->|Uses| D
@@ -108,7 +108,7 @@ graph TD
 
 ---
 
-### PMPL-1.0-or-later (Core Technology)
+### MPL-2.0 (Core Technology)
 
 **Full Name:** Palimpsest Mutual Public License 1.0 or later
 
@@ -138,7 +138,7 @@ graph TD
 (* SPDX-FileCopyrightText: 2026 Palimpsest Stewardship Council *)
 (*
  * This file is part of AffineScript Core Technology
- * Licensed under PMPL-1.0-or-later (based on MPL-2.0)
+ * Licensed under MPL-2.0 (based on MPL-2.0)
  *)
 ```
 
@@ -199,7 +199,7 @@ AffineScript: The game developer's secret weapon. AGPL-3.0 game content with PMP
 - Community-driven development
 - Ensured accessibility for all players
 
-💻 **Core Technology** (PMPL-1.0-or-later)
+💻 **Core Technology** (MPL-2.0)
 - Affine-type programming language
 - Compiler-proven correctness
 - WebAssembly compilation
@@ -423,7 +423,7 @@ fn is_terminal() -> bool {
 
 ### License Identification
 - **SPDX AGPL-3.0:** `AGPL-3.0-or-later`
-- **SPDX PMPL-1.0:** `PMPL-1.0-or-later`
+- **SPDX PMPL-1.0:** `MPL-2.0`
 - **SPDX MPL-2.0:** `MPL-2.0`
 
 ### Compliance Tools
@@ -462,5 +462,5 @@ Foundational Tech (PMPL/MPL-2.0) → Ethical infrastructure
 **Version:** Alpha-1
 **Status:** Complete licensing documentation
 
-SPDX-License-Identifier: AGPL-3.0-or-later AND PMPL-1.0-or-later AND MPL-2.0
+SPDX-License-Identifier: AGPL-3.0-or-later AND MPL-2.0 AND MPL-2.0
 SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell and contributors

LICENSING-GUIDE.md

@@ -12,7 +12,7 @@ This guide helps you navigate the AffineScript repository structure.
 |File/Directory |Purpose
 
 |**README.adoc** |Project overview and introduction
-|**LICENSE** |PMPL-1.0-or-later license text
+|**LICENSE** |MPL-2.0 license text
 |**STATE.scm** |Current project state and progress
 |===
 

NAVIGATION.adoc

@@ -15,7 +15,7 @@ language-agnostic target (`hyperpolymath/typed-wasm`), not an AffineScript
 subsystem — see link:docs/ECOSYSTEM.adoc[docs/ECOSYSTEM.adoc].
 ====
 
-License: PMPL-1.0-or-later +
+License: MPL-2.0 +
 Built alongside Gossamer, typed-wasm, and Burble
 
 Write software where the compiler helps enforce resource lifecycles, protocol states, and effect boundaries before bugs become runtime failures.