chore(licence): de-PMPL — correct proven to MPL-2.0 throughout (38 files)

.machine_readable/self-validating/examples/setup-repo.k9.ncl

@@ -130,7 +130,7 @@ K9!
     },
 
     "add-license" = {
-      description = "Add PMPL-1.0 license",
+      description = "Add MPL-2.0 license",
       commands = [
         "curl -sL https://raw.githubusercontent.com/hyperpolymath/pmpl/main/LICENSE -o LICENSE",
         "echo '✓ License added'",

MAINTAINERS.adoc

@@ -74,4 +74,4 @@ The following bots operate on this repository under human oversight:
 
 == License
 
-This project is licensed under MPL-2.0 (Palimpsest License).
+This project is licensed under MPL-2.0.

NOTICE

@@ -2,21 +2,13 @@ Licensing Notice
 ================
 
 This project is authored by Jonathan D.A. Jewell (hyperpolymath) and
-is licensed under the Palimpsest License (MPL-2.0).
+is licensed under the Mozilla Public License 2.0 (MPL-2.0).
 
-The MPL-2.0 is a philosophical extension of the Mozilla Public
-License 2.0, adding provisions for cryptographic provenance, emotional
-lineage preservation, and quantum-safe signatures. The full PMPL text is
-available in LICENSES/MPL-2.0.txt.
+The full licence text is in the root LICENSE file and in
+LICENSES/MPL-2.0.txt. Source files carry SPDX-License-Identifier headers
+so that package registries, CI systems, and other tooling correctly
+identify the licence. Documentation is licensed under CC-BY-SA-4.0 (see
+LICENSES/CC-BY-SA-4.0.txt).
 
-For compatibility with automated license detection tools and platforms
-that require OSI-approved licenses, the root LICENSE file contains the
-standard Mozilla Public License 2.0 text. This ensures that package
-registries, CI systems, and other tooling correctly identify the license.
-
-The legally binding terms are:
-  - Source files: governed by MPL-2.0 (per SPDX headers)
-  - Combined works: compatible with MPL-2.0 (per PMPL Section 6)
-
-For more information about the Palimpsest License:
-  https://github.com/hyperpolymath/palimpsest-license
+For more information about MPL-2.0:
+  https://www.mozilla.org/MPL/2.0/

README.adoc

@@ -10,7 +10,7 @@
 
 image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/proven"]
 image:https://img.shields.io/badge/version-1.2.0-blue[Version 1.2.0]
-image:https://img.shields.io/badge/License-PMPL_1.0--or--later-blue.svg[MPL-2.0,link="https://github.com/hyperpolymath/proven/blob/main/LICENSE"]
+image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[MPL-2.0,link="https://github.com/hyperpolymath/proven/blob/main/LICENSE"]
 image:https://img.shields.io/badge/modules-104-blue[104 Modules]
 image:https://img.shields.io/badge/bindings-120+_targets-orange[120+ Binding Targets]
 image:https://img.shields.io/badge/verified-Idris_2-purple[Verified with Idris 2]

ROADMAP.adoc

@@ -660,4 +660,4 @@ See link:ECOSYSTEM.scm[] for detailed project relationships.
 
 _Last updated: 2026-01-30_ +
 _Maintained by: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>_ +
-_License: MPL-2.0-or-later (with Palimpsest philosophy)_
+_License: MPL-2.0_

bindings/clojure/README.adoc

@@ -225,4 +225,4 @@ Cryptographic operations:
 
 == License
 
-PMPL-1.0
+MPL-2.0

bindings/cobol/README.adoc

@@ -528,4 +528,4 @@ Note: Some intrinsic functions (LOWER-CASE, ORD, MOD) require COBOL-85 or later.
 
 == License
 
-PMPL-1.0
+MPL-2.0

bindings/common-lisp/README.adoc

@@ -316,4 +316,4 @@ Safe, validated operations library for Common Lisp.
 
 == License
 
-PMPL-1.0 (Polymath Public License)
+MPL-2.0

bindings/crystal/README.adoc

@@ -232,4 +232,4 @@ Proven::SafeCrypto.pbkdf2_default(password, salt)
 
 == License
 
-PMPL-1.0
+MPL-2.0

bindings/d/README.adoc

@@ -241,4 +241,4 @@ generatePasswordDefault();
 
 == License
 
-PMPL-1.0
+MPL-2.0