fix(licence): correct false PMPL-1.0 claim → MPL-2.0 (G24)

.well-known/ai.txt

@@ -7,10 +7,10 @@ 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 (documentation under CC-BY-SA-4.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.
+# AI agents must NOT use this code for model training without explicit consent
+# (see Disallow-Training above).
 #
 # For AI agent integration instructions, see:
 #   0-AI-MANIFEST.a2ml (universal AI entry point)

.well-known/humans.txt

@@ -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 (code), CC-BY-SA-4.0 (docs)
 Components: Idris2 ABI, Zig FFI
 Tools: just, Podman, Guix

NOTICE

@@ -1,22 +1,18 @@
 Licensing Notice
 ================
 
-This project is authored by Jonathan D.A. Jewell (hyperpolymath) and
-is licensed under the Palimpsest License (PMPL-1.0-or-later).
+This project is authored by Jonathan D.A. Jewell (hyperpolymath) and is
+licensed under the Mozilla Public License 2.0 (MPL-2.0). Documentation is
+licensed under the Creative Commons Attribution-ShareAlike 4.0 International
+Public License (CC-BY-SA-4.0).
 
-The PMPL-1.0-or-later 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/PMPL-1.0-or-later.txt.
+The full licence texts are in the LICENSES/ directory:
+  - LICENSES/MPL-2.0.txt       (source code)
+  - LICENSES/CC-BY-SA-4.0.txt  (documentation)
 
-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 SPDX-License-Identifier headers on individual files are authoritative:
+  - Source files:   MPL-2.0
+  - Documentation:  CC-BY-SA-4.0
 
-The legally binding terms are:
-  - Source files: governed by PMPL-1.0-or-later (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
+The root LICENSE file contains the Mozilla Public License 2.0 text, which
+package registries, CI systems, and other tooling use to identify the licence.