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

hyperpolymath · hyperpolymath · commit 3458b9fac7cf · 2026-05-22T15:02:54.000+01:00
diff --git a/.editorconfig b/.editorconfig
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 root = true
 
 [*]
diff --git a/.envrc b/.envrc
@@ -1,2 +1,2 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 use flake
diff --git a/.github/workflows/agda.yml b/.github/workflows/agda.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # (MPL-2.0 is automatic legal fallback until PMPL is formally recognised)
 
 name: Agda
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/mirror.yml b/.github/workflows/mirror.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 name: Mirror to Git Forges
 
diff --git a/.github/workflows/scorecard.yml b/.github/workflows/scorecard.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: OSSF Scorecard
 on:
   push:
diff --git a/.machine_readable/6a2/AGENTIC.a2ml b/.machine_readable/6a2/AGENTIC.a2ml
@@ -14,7 +14,7 @@
 ;;; closed questions, redo superseded work, or violate forbidden
 ;;; rebrandings.
 ;;;
-;;; SPDX-License-Identifier: PMPL-1.0-or-later
+;;; SPDX-License-Identifier: MPL-2.0
 ;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
 (define-module (echo-types agentic)
diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml
@@ -13,7 +13,7 @@
 ;;; session understands echo-types' position in the constellation
 ;;; without re-deriving it.
 ;;;
-;;; SPDX-License-Identifier: PMPL-1.0-or-later
+;;; SPDX-License-Identifier: MPL-2.0
 ;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
 (define-module (echo-types ecosystem)
@@ -101,7 +101,7 @@
      (source . "Standing decision sd-003 in STATE.scm")
      (artefacts . (".github/workflows/mirror.yml" "MIRROR_SETUP.adoc")))
 
-    ((convention . "License: PMPL-1.0-or-later for code and docs")
+    ((convention . "License: MPL-2.0 for code and docs")
      (source . "META.scm SPDX header pattern; constellation default")
      (artefacts . ("LICENSE-PMPL-1.0.txt" ; if present
                    "SPDX headers in all .scm files")))
diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/6a2/META.a2ml
@@ -6,7 +6,7 @@
 ;;; Schema reference:
 ;;;   github.com/hyperpolymath/standards/blob/main/meta-a2ml/spec/abnf/meta.abnf
 ;;;
-;;; SPDX-License-Identifier: PMPL-1.0-or-later
+;;; SPDX-License-Identifier: MPL-2.0
 ;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
 (define-module (echo-types meta)
diff --git a/.machine_readable/6a2/NEUROSYM.a2ml b/.machine_readable/6a2/NEUROSYM.a2ml
@@ -13,7 +13,7 @@
 ;;; it implies, and what was deliberately NOT proved (PATH B
 ;;; obligations).
 ;;;
-;;; SPDX-License-Identifier: PMPL-1.0-or-later
+;;; SPDX-License-Identifier: MPL-2.0
 ;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
 (define-module (echo-types neurosym)
diff --git a/.machine_readable/6a2/PLAYBOOK.a2ml b/.machine_readable/6a2/PLAYBOOK.a2ml
@@ -14,7 +14,7 @@
 ;;; (architectural decisions) and gated by AGENTIC.scm. PLAYBOOKs
 ;;; introduce no new authority; they execute permitted plans.
 ;;;
-;;; SPDX-License-Identifier: PMPL-1.0-or-later
+;;; SPDX-License-Identifier: MPL-2.0
 ;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
 (define-module (echo-types playbook)
diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml
@@ -12,7 +12,7 @@
 ;;; concluded; the verdict is negative; the documentation cascade has been
 ;;; applied; the recipe is no longer a candidate locus of distinctness.
 ;;;
-;;; SPDX-License-Identifier: PMPL-1.0-or-later
+;;; SPDX-License-Identifier: MPL-2.0
 ;;; SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
 (define-module (echo-types ei-2 state)
@@ -36,7 +36,7 @@
     (canonical-host . github)                ; per current forge workflow
     (mirrors        . (gitlab codeberg))
     (version-target . "0.1.1")
-    (license        . "PMPL-1.0-or-later")))
+    (license        . "MPL-2.0")))
 
 ;;; ============================================================
 ;;; Session header
diff --git a/0-AI-MANIFEST.a2ml b/0-AI-MANIFEST.a2ml
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; 0-AI-MANIFEST.a2ml — echo-types
 
 [ai-contract]
diff --git a/Containerfile b/Containerfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Containerfile — podman-build fallback when stapeln is unavailable.
 
 # TODO(scaffold): pin @sha256
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
 = echo-types: explain me
 :icons: font
 
diff --git a/QUICKSTART-DEV.adoc b/QUICKSTART-DEV.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = QUICKSTART-DEV: echo-types
 :toc:
 
diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = QUICKSTART-MAINTAINER: echo-types
 :toc:
 
diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = QUICKSTART-USER: echo-types
 :toc:
 
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 <!-- SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # echo-types
diff --git a/TOPOLOGY.adoc b/TOPOLOGY.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = echo-types: topology
 :toc:
 
diff --git a/arghda-core/Cargo.toml b/arghda-core/Cargo.toml
@@ -3,7 +3,7 @@ name = "arghda-core"
 version = "0.1.0"
 edition = "2021"
 description = "Lightweight proof-workspace manager for Agda"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/echo-types"
 
 [[bin]]
diff --git a/contractiles/Dustfile.a2ml b/contractiles/Dustfile.a2ml
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; Dustfile.a2ml — recovery & rollback for echo-types.
 
 (contractile :kind dust :version 1)
diff --git a/contractiles/Intentfile.a2ml b/contractiles/Intentfile.a2ml
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; Intentfile.a2ml — declared future intent for echo-types.
 
 (contractile :kind intent :version 1)
diff --git a/contractiles/Mustfile.a2ml b/contractiles/Mustfile.a2ml
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; Mustfile.a2ml — physical state invariants for echo-types.
 
 (contractile :kind must :version 1)
diff --git a/contractiles/Trustfile.a2ml b/contractiles/Trustfile.a2ml
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; Trustfile.a2ml — integrity & provenance for echo-types.
 
 (contractile :kind trust :version 1)
diff --git a/docs/echidna-design-search-2026-04-28.adoc b/docs/echidna-design-search-2026-04-28.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 = Echidna design-search findings — Phase 1.3 + unbudgeted wf-<ᵇʳᶠ_
 :date: 2026-04-28
 :toc:
diff --git a/docs/echo-types/MAP.adoc b/docs/echo-types/MAP.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = echo-types: Master Map
 :toc: macro
diff --git a/docs/echo-types/echo-kernel-note.adoc b/docs/echo-types/echo-kernel-note.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = echo-types: kernel vs derived (one-page note)
 :toc: macro
diff --git a/flake.nix b/flake.nix
@@ -1,5 +1,5 @@
 {
-  # SPDX-License-Identifier: PMPL-1.0-or-later
+  # SPDX-License-Identifier: MPL-2.0
   #
   # Development environment for echo-types. Consumed by .envrc (`use flake`).
   # Toolchain mirrors .tool-versions (cabal / rust / just) plus Agda, which
diff --git a/scripts/kernel-guard.sh b/scripts/kernel-guard.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # (MPL-2.0 is automatic legal fallback until PMPL is formally recognised)
 #
 # kernel-guard.sh — enforce the EchoKernel funext-free certificate and
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
 # stapeln.toml — layered Chainguard container build for echo-types.
 # Echo-types is a proof library, not a service. The container is an artefact carrier:
 # it bundles type-checked Agda artefacts (.agdai) for downstream consumers to mount.
@@ -8,7 +8,7 @@ name = "echo-types"
 version = "0.1.0-alpha"
 description = "Constructive Agda formalisation of echo types"
 author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 registry = "ghcr.io/hyperpolymath"
 
 [build]
diff --git a/tools/check-guardrails.sh b/tools/check-guardrails.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 #
 # Foundation guardrail (added 2026-05-18 — the long-documented
 # "CI-grep-enforced" check that did not previously exist).

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`	`root = true`
`3`	`3`
`4`	`4`	`[*]`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		`-# SPDX-License-Identifier: PMPL-1.0-or-later`
	`1`	`+# SPDX-License-Identifier: MPL-2.0`
`2`	`2`	`use flake`