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

hyperpolymath · hyperpolymath · commit 7eef3e297ed6 · 2026-05-22T14:46:29.000+01:00
diff --git a/.gitattributes b/.gitattributes
@@ -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
diff --git a/.github/FUNDING.yml b/.github/FUNDING.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Funding platforms for hyperpolymath projects
 # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository
 
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Dependabot configuration for RSR-compliant repositories
 # Covers common ecosystems - remove unused ones for your project
 
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant CodeQL workflow with SHA-pinned actions
 
 name: "CodeQL"
diff --git a/.github/workflows/dependabot-automerge.yml b/.github/workflows/dependabot-automerge.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # dependabot-automerge.yml — enable GitHub's native auto-merge on
 # Dependabot pull requests that match a declared severity / ecosystem
diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # governance.yml — single wrapper calling the shared estate governance bundle
 # in hyperpolymath/standards instead of carrying per-repo copies.
 #
diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Hypatia Neurosymbolic CI/CD Security Scan
 name: Hypatia Security Scan
 
diff --git a/.github/workflows/instant-sync.yml b/.github/workflows/instant-sync.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Instant Forge Sync - Triggers propagation to all forges on push/release
 name: Instant Sync
 
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitignore
 
 # OS & Editor
diff --git a/.machine_readable/ADJUST.contractile b/.machine_readable/ADJUST.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; ADJUST.contractile — Accessibility invariants for anvomidav
 ; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology
 ;
diff --git a/.machine_readable/INTENT.contractile b/.machine_readable/INTENT.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; INTENT.contractile — Purpose and scope for anvomidav
 ; Helps LLM/SLM agents understand what this repo IS and IS NOT.
 ;
diff --git a/.machine_readable/MUST.contractile b/.machine_readable/MUST.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; MUST.contractile — Baseline invariants for anvomidav
 ; These constraints MUST NOT be violated. K9 validators enforce them.
 ;
diff --git a/.machine_readable/TRUST.contractile b/.machine_readable/TRUST.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; TRUST.contractile — Trust boundaries for anvomidav
 ; Defines what LLM/SLM agents are trusted to do without asking.
 ;
diff --git a/.machine_readable/agent_instructions/README.adoc b/.machine_readable/agent_instructions/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>
 = Agent Instructions
 :toc: preamble
diff --git a/.machine_readable/agent_instructions/coverage.a2ml b/.machine_readable/agent_instructions/coverage.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>
 #
 # coverage.a2ml — Session coverage tracking
diff --git a/.machine_readable/agent_instructions/debt.a2ml b/.machine_readable/agent_instructions/debt.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>
 #
 # debt.a2ml — Meander debt list
diff --git a/.machine_readable/agent_instructions/methodology.a2ml b/.machine_readable/agent_instructions/methodology.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>
 #
 # methodology.a2ml — AI agent methodology configuration
diff --git a/.well-known/ai.txt b/.well-known/ai.txt
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # ai.txt - AI interaction policy
 # See: https://site.spawning.ai/spawning-ai-txt
 
@@ -7,7 +7,7 @@ Disallow-Training: yes
 Disallow-Summarization: no
 Disallow-Generation: yes
 
-# This project's code is licensed under PMPL-1.0-or-later.
+# This project's code is licensed under MPL-2.0.
 # AI agents may read and analyze this code for assisting contributors.
 # AI agents must NOT use this code for model training without explicit consent.
 # AI agents must preserve Emotional Lineage per PMPL Section 3.
diff --git a/.well-known/humans.txt b/.well-known/humans.txt
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # humanstxt.org
 
 /* TEAM */
@@ -9,6 +9,6 @@ From: United Kingdom
 /* SITE */
 Last update: 2026-03-28
 Standards: RSR (Rhodium Standard Repository)
-License: PMPL-1.0-or-later (Palimpsest MPL)
+License: MPL-2.0 (Palimpsest MPL)
 Components: Idris2 ABI, Zig FFI
 Tools: just, Podman, Guix
diff --git a/.well-known/security.txt b/.well-known/security.txt
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RFC 9116 - security.txt
 # https://securitytxt.org/
 
diff --git a/0-AI-MANIFEST.a2ml b/0-AI-MANIFEST.a2ml
@@ -81,7 +81,7 @@ Entry points:
 1. **No state file duplication** - Root must NOT contain STATE.a2ml, META.a2ml, etc.
 2. **Single source of truth** - `.machine_readable/` is authoritative
 3. **No stale metadata** - If root state files exist, they are OUT OF DATE
-4. **License consistency** - All code PMPL-1.0-or-later unless platform requires MPL-2.0
+4. **License consistency** - All code MPL-2.0 unless platform requires MPL-2.0
 5. **Author attribution** - Always "{{AUTHOR}} <{{AUTHOR_EMAIL}}>"
 6. **Container images** - MUST use Chainguard base (`cgr.dev/chainguard/wolfi-base:latest` or `cgr.dev/chainguard/static:latest`)
 7. **Container runtime** - Podman, never Docker. Files are `Containerfile`, never `Dockerfile`
diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = Anvomidav — Show Me The Receipts
 :toc:
 :icons: font
diff --git a/Justfile b/Justfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Justfile for anvomidav
 
 # Default recipe — list available commands
@@ -50,7 +50,7 @@ assail:
 # LLM context dump
 llm-context:
     @echo "Project: anvomidav"
-    @echo "License: PMPL-1.0-or-later"
+    @echo "License: MPL-2.0"
     @test -f README.adoc && head -30 README.adoc || test -f README.md && head -30 README.md || echo "No README found"
 
 
diff --git a/LICENSE b/LICENSE
@@ -1,12 +1,12 @@
-SPDX-License-Identifier: PMPL-1.0-or-later
+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.
 
diff --git a/LICENSE.txt b/LICENSE.txt
@@ -1,8 +1,8 @@
-SPDX-License-Identifier: MIT OR PMPL-1.0-or-later
+SPDX-License-Identifier: MIT OR MPL-2.0
 SPDX-FileCopyrightText: 2024-2025 hyperpolymath
 
 ================================================================================
-DUAL LICENSE: MIT OR PMPL-1.0-or-later
+DUAL LICENSE: MIT OR MPL-2.0
 ================================================================================
 
 This project is dual-licensed under the MIT License OR the GNU Affero General
@@ -59,12 +59,12 @@ CHOOSING YOUR LICENSE
 
 You may choose to use this work under:
   1. MIT License - Standard permissive open source license
-  2. PMPL-1.0-or-later - Copyleft license requiring source disclosure for
+  2. MPL-2.0 - Copyleft license requiring source disclosure for
      network services
 
 For most uses, MIT License provides maximum flexibility.
 For ensuring open source remains open (especially for SaaS/network services),
-PMPL-1.0-or-later provides stronger protections.
+MPL-2.0 provides stronger protections.
 
 ================================================================================
 PALIMPSEST PHILOSOPHICAL OVERLAY (NON-BINDING)
diff --git a/README.adoc b/README.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT OR PMPL-1.0-or-later
+// SPDX-License-Identifier: MIT OR MPL-2.0
 // SPDX-FileCopyrightText: 2024-2025 hyperpolymath
 
 = Anvomidav
@@ -75,7 +75,7 @@ guix shell         # Guix users
 
 == License
 
-Dual-licensed under link:LICENSE.txt[MIT OR PMPL-1.0-or-later]. Choose the license that best fits your use case.
+Dual-licensed under link:LICENSE.txt[MIT OR MPL-2.0]. Choose the license that best fits your use case.
 
 == Contributing
 
diff --git a/ROADMAP.adoc b/ROADMAP.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT OR PMPL-1.0-or-later
+// SPDX-License-Identifier: MIT OR MPL-2.0
 // SPDX-FileCopyrightText: 2024-2025 hyperpolymath
 
 = Anvomidav Roadmap
diff --git a/TOPOLOGY.md b/TOPOLOGY.md
@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: MIT OR PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MIT OR MPL-2.0 -->
 <!-- Copyright (c) 2024-2025 hyperpolymath -->
 
 # TOPOLOGY.md — Anvomidav
diff --git a/contractile.just b/contractile.just
@@ -2,7 +2,7 @@
 # Source directory: contractiles
 # Re-generate with: contractile gen-just --dir contractiles
 #
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 
 # === DUST (Recovery & Rollback) ===
 # Source: Dustfile.a2ml
diff --git a/contractiles/intend/Intentfile.a2ml b/contractiles/intend/Intentfile.a2ml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Intentfile (A2ML Canonical)
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
@@ -8,7 +8,7 @@ Declared intent and purpose for Anvomidav.
 
 ## Purpose
 
-Anvomidav — // SPDX-License-Identifier: MIT OR PMPL-1.0-or-later
+Anvomidav — // SPDX-License-Identifier: MIT OR MPL-2.0
 
 ## Anti-Purpose
 
diff --git a/contractiles/must/Mustfile.a2ml b/contractiles/must/Mustfile.a2ml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Mustfile (A2ML Canonical)
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
diff --git a/contractiles/trust/Trustfile.a2ml b/contractiles/trust/Trustfile.a2ml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Trustfile (A2ML Canonical)
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
diff --git a/guix.scm b/guix.scm
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ;; guix.scm — GNU Guix package definition for anvomidav
 ;; Usage: guix shell -f guix.scm
 
@@ -14,5 +14,5 @@
   (synopsis "anvomidav")
   (description "anvomidav — part of the hyperpolymath ecosystem.")
   (home-page "https://github.com/hyperpolymath/anvomidav")
-  (license ((@@ (guix licenses) license) "PMPL-1.0-or-later"
+  (license ((@@ (guix licenses) license) "MPL-2.0"
              "https://github.com/hyperpolymath/palimpsest-license")))
diff --git a/llm-warmup-dev.md b/llm-warmup-dev.md
@@ -11,6 +11,6 @@ See README.adoc for overview.
 - `just heal` — attempt auto-repair
 
 ## Quick Context
-- License: PMPL-1.0-or-later
+- License: MPL-2.0
 - Part of hyperpolymath ecosystem
 - See EXPLAINME.adoc for architecture
diff --git a/llm-warmup-user.md b/llm-warmup-user.md
@@ -11,6 +11,6 @@ See README.adoc for overview.
 - `just heal` — attempt auto-repair
 
 ## Quick Context
-- License: PMPL-1.0-or-later
+- License: MPL-2.0
 - Part of hyperpolymath ecosystem
 - See EXPLAINME.adoc for architecture
diff --git a/setup.sh b/setup.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 #
 # Anvomidav — Universal Setup Script
diff --git a/stapeln.toml b/stapeln.toml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 
 [project]
 name = "anvomidav"
diff --git a/test/anvomidav_spec_test.exs b/test/anvomidav_spec_test.exs
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: MIT OR PMPL-1.0-or-later
+# SPDX-License-Identifier: MIT OR MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
 # Anvomidav — Figure Skating Choreography DSL

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# SPDX-License-Identifier: PMPL-1.0-or-later`
	`1`	`+# SPDX-License-Identifier: MPL-2.0`
`2`	`2`	`# RSR-compliant .gitattributes`
`3`	`3`
`4`	`4`	`* text=auto eol=lf`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-; SPDX-License-Identifier: PMPL-1.0-or-later`
	`1`	`+; SPDX-License-Identifier: MPL-2.0`
`2`	`2`	`; ADJUST.contractile — Accessibility invariants for anvomidav`
`3`	`3`	`; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology`
`4`	`4`	`;`