chore(licence): finish PMPL→MPL-2.0 migration + Quantum-Safe supplement (#86)

panll's SPDX headers were already migrated (0 PMPL SPDX headers remain;
code = MPL-2.0, docs = CC-BY-SA-4.0). This completes the residual and adds
the quantum supplement:

- Flip 59 body-text licence DECLARATIONS (humans.txt, manifests, REUSE
  dep5, CITATION.cff, agent-rules, GOVERNANCE/MAINTAINERS, llm-warmup,
  flake.nix/guix.scm, other clades) `PMPL-1.0-or-later` → `MPL-2.0`. Only
  the full-form identifier on declaration lines changed.
- Add `EXHIBIT-B-QUANTUM-SAFE.txt` (Quantum-Safe Provenance spec, MPL-2.0)
  at repo root + README badges (Docs CC-BY-SA-4.0, Quantum-Safe Provenance).
- Fix the README License badge alt-text (stale `PMPL-1.0-or-later`; image
  was already MPL-2.0) and rewrite the CLAUDE.md `## License` section.

DELIBERATELY PRESERVED (not swept): the **Palimpsest Plaza** panel
(`src/**/Plaza*`, `src-gossamer/src/plaza/`, `panel-clades/clades/plaza/`)
+ the licence-handling engines — they reference PMPL as a *feature subject*
(a PMPL-adoption/compliance hub), not this repo's licence. All Plaza
paths/content + source code were excluded; verified no `.res`/`.rs`/`.js`
or Plaza file changed.

GitHub already detects MPL-2.0 (root LICENSE); LICENSES/ holds MPL-2.0.txt
+ CC-BY-SA-4.0.txt.


Claude-Session: https://claude.ai/code/session_019awZjBD1qx61tvmEuEKNpn

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

Author: hyperpolymath

.claude/CLAUDE.generated.md

@@ -13,7 +13,7 @@
 Neurosymbolic IDE built on the Binary Star model — human (symbolic, Panel-L) and machine (neural, Panel-N) orbiting a shared world state (Panel-W). 106 panels, custom TEA runtime, Gossamer desktop backend.
 
 **Languages:** ReScript, Rust, Elixir, JavaScript
-**License:** PMPL-1.0-or-later
+**License:** MPL-2.0
 **Build system:** just
 **Runtime:** deno
 

.claude/CLAUDE.md

@@ -98,4 +98,14 @@ deno task test:coverage
 
 ## License
 
-PMPL-1.0-or-later on all original source files.
+- **Code** (all original source files): `MPL-2.0`
+- **Documentation** (prose `.adoc` / `.md`): `CC-BY-SA-4.0`
+- Licence texts live in `LICENSES/`; GitHub detects the repo as MPL-2.0 from the root `LICENSE`.
+- Quantum-Safe Provenance specification: `EXHIBIT-B-QUANTUM-SAFE.txt` (additive supplement, MPL-2.0).
+
+(Estate policy: sole-owner repos are MPL-2.0; the prior `PMPL-1.0-or-later`
+declaration is superseded. NOTE for agents: the **Palimpsest Plaza** panel
+(`panel-clades/clades/plaza/`, `src/**/Plaza*`, `src-gossamer/src/plaza/`)
+references PMPL as a *feature subject* — a PMPL-adoption/compliance hub. Those
+PMPL strings are intentional product content, NOT this repo's licence; do not
+sweep them.)

.clinerules

@@ -13,7 +13,7 @@
 Neurosymbolic IDE built on the Binary Star model — human (symbolic, Panel-L) and machine (neural, Panel-N) orbiting a shared world state (Panel-W). 106 panels, custom TEA runtime, Gossamer desktop backend.
 
 **Languages:** ReScript, Rust, Elixir, JavaScript
-**License:** PMPL-1.0-or-later
+**License:** MPL-2.0
 **Build system:** just
 **Runtime:** deno
 

.cursorrules

@@ -13,7 +13,7 @@
 Neurosymbolic IDE built on the Binary Star model — human (symbolic, Panel-L) and machine (neural, Panel-N) orbiting a shared world state (Panel-W). 106 panels, custom TEA runtime, Gossamer desktop backend.
 
 **Languages:** ReScript, Rust, Elixir, JavaScript
-**License:** PMPL-1.0-or-later
+**License:** MPL-2.0
 **Build system:** just
 **Runtime:** deno
 

.github/copilot-instructions.md

@@ -13,7 +13,7 @@
 Neurosymbolic IDE built on the Binary Star model — human (symbolic, Panel-L) and machine (neural, Panel-N) orbiting a shared world state (Panel-W). 106 panels, custom TEA runtime, Gossamer desktop backend.
 
 **Languages:** ReScript, Rust, Elixir, JavaScript
-**License:** PMPL-1.0-or-later
+**License:** MPL-2.0
 **Build system:** just
 **Runtime:** deno
 

.junie/guidelines.md

@@ -13,7 +13,7 @@
 Neurosymbolic IDE built on the Binary Star model — human (symbolic, Panel-L) and machine (neural, Panel-N) orbiting a shared world state (Panel-W). 106 panels, custom TEA runtime, Gossamer desktop backend.
 
 **Languages:** ReScript, Rust, Elixir, JavaScript
-**License:** PMPL-1.0-or-later
+**License:** MPL-2.0
 **Build system:** just
 **Runtime:** deno
 

.machine_readable/6a2/AGENTIC.a2ml

@@ -21,7 +21,7 @@ can-create-files = true
 # - Never commit secrets or credentials
 # - Never use banned languages (TypeScript, Python, Go, etc.)
 # - Never place state files in repository root (must be in .machine_readable/)
-# - Never use AGPL license (use PMPL-1.0-or-later)
+# - Never use AGPL license (use MPL-2.0)
 
 [automation-hooks]
 # - PanLL may integrate with gitbot-fleet automation:

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -138,11 +138,11 @@ nodejs = { version = "18.x+", purpose = "ReScript compiler runtime (temporary)",
 [dependencies.build-time]
 rescript = { version = "11.1.4", purpose = "Type-safe frontend compilation", license = "MIT", criticality = "critical" }
 tailwind = { version = "4.1.18", purpose = "Styling framework", license = "MIT", criticality = "medium" }
-gossamer = { version = "0.1.0", purpose = "Desktop webview shell (Zig + WebKitGTK)", license = "PMPL-1.0-or-later", criticality = "critical" }
+gossamer = { version = "0.1.0", purpose = "Desktop webview shell (Zig + WebKitGTK)", license = "MPL-2.0", criticality = "critical" }
 
 [dependencies.libraries]
 rescript-core = { version = "1.6.1", purpose = "ReScript standard library", license = "MIT" }
-custom-tea = { version = "internal", purpose = "Custom TEA — 18 modules, VDOM diffing, ARIA", license = "PMPL-1.0-or-later", criticality = "critical", note = "Permanent. rescript-tea@0.16.0 rejected." }
+custom-tea = { version = "internal", purpose = "Custom TEA — 18 modules, VDOM diffing, ARIA", license = "MPL-2.0", criticality = "critical", note = "Permanent. rescript-tea@0.16.0 rejected." }
 
 # --- Governance ---
 
@@ -151,7 +151,7 @@ maintainer = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 maintainer-github = "hyperpolymath"
 contribution-model = "open-source"
 decision-making = "BDFL with community input"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 
 # --- Roadmap ---
 

.machine_readable/6a2/META.a2ml

@@ -7,7 +7,7 @@ version = "1.0.0"
 last-updated = "2026-03-15"
 project = "panll"
 author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 standard = "RSR 2026"
 format-spec = "hyperpolymath/rsr-template-repo/spec/META-FORMAT-SPEC.adoc"
 
@@ -102,7 +102,7 @@ testing-strategy = """Test-driven development for core logic (Model, Update, Com
 Deno.test for JavaScript unit tests; cargo test for Rust backend tests.
 Integration tests for Gossamer backend commands. Manual testing for UI/UX flows."""
 versioning-scheme = "Semantic versioning. v0.x.y = pre-1.0 (breaking changes allowed)."
-license-policy = "All original code PMPL-1.0-or-later. Third-party dependencies respect original licenses."
+license-policy = "All original code MPL-2.0. Third-party dependencies respect original licenses."
 
 # --- Design Rationale ---
 

.machine_readable/svc/k9/examples/project-metadata.k9.ncl

@@ -40,7 +40,7 @@ K9!
       organization = "{{AUTHOR_ORG}}",
     },
 
-    license = "PMPL-1.0-or-later",
+    license = "MPL-2.0",
 
     keywords = [
       "rhodium-standard",