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

<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
## Summary

**G24** — `NOTICE`, `.well-known/ai.txt`, and `.well-known/humans.txt`
falsely declared the repo's code as **PMPL-1.0-or-later**. Corrected to
the true licensing (**MPL-2.0** code + **CC-BY-SA-4.0** docs). Made with
**explicit owner approval (2026-07-01)** per the manual/owner-only
licence-edit guardrail.

## Why it was false (every count)

- Root `LICENSE` = Mozilla Public License 2.0.
- Every source SPDX header is `MPL-2.0` (docs `CC-BY-SA-4.0`) — **none**
is PMPL. The `NOTICE` even claimed the SPDX headers *were* PMPL,
contradicting reality *and* the files' own `MPL-2.0` SPDX lines.
- No `LICENSES/PMPL-*.txt` exists (only `MPL-2.0.txt` +
`CC-BY-SA-4.0.txt`).
- `julia-professional-registry` is not one of the three PMPL carve-out
repos (`palimpsest-license` / `palimpsest-plasma` /
`consent-aware-http`) to which estate policy confines PMPL.

## Changes

- `NOTICE`: rewritten to state MPL-2.0 (code) + CC-BY-SA-4.0 (docs),
pointing at the real `LICENSES/` texts and the authoritative SPDX
headers.
- `.well-known/ai.txt`: licence line → MPL-2.0; removed the
PMPL-Section-3 "Emotional Lineage" clause (training-consent policy
retained via `Disallow-Training`).
- `.well-known/humans.txt`: `License:` line → MPL-2.0 (code),
CC-BY-SA-4.0 (docs).

## Deliberately untouched

`.machine_readable/contractiles/Trustfile.a2ml:57` — a lenient check
(`grep -q 'PMPL\|MPL\|MIT\|...' LICENSE`) that accepts any of several
identifiers and passes correctly on MPL. It asserts nothing false, so
it's left as-is.

## Verification

`grep -rniE 'PMPL|Palimpsest'` now returns only that one Trustfile check
line; `NOTICE`/`ai.txt`/`humans.txt` assert MPL-2.0.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

---
_Generated by [Claude
Code](https://claude.ai/code/session_01UPFC9YQ7g9gc3VnRox42Q1)_

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

.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.