Align licensing: MPL-2.0 (code) / CC-BY-SA-4.0 (docs); retire MIT+Palimpsest

Per owner direction, make the repo's licensing consistent:
- Code SPDX is MPL-2.0; docs SPDX is CC-BY-SA-4.0. The dual remnants
  ("MPL-2.0 OR Palimpsest-0.8" headers, config.ncl "MIT OR Palimpsest-0.8") are gone.
- Root LICENSE stays the MPL-2.0 text, so GitHub labels the repo MPL-2.0.
- LICENSES/ already holds verbatim MPL-2.0.txt + CC-BY-SA-4.0.txt; the licence
  checks (ci.yml, .gitlab-ci.yml, Justfile validate-licenses) now point there.
- Removed the old dual-scheme files LICENSE-MIT.txt + LICENSE-PALIMPSEST.txt
  (MIT/Palimpsest are not this repo's licences; Palimpsest is reserved for the
  palimpsest repos per estate policy).

Touched: SPDX headers (Justfile, Mustfile.epx, config.ncl); config.ncl license
field; README label + badge link; QUICKSTART-MAINTAINER; .well-known/humans.txt
+ ai.txt; guix.scm -> (license mpl2.0); STATE.a2ml blocker cleared; HANDOFF.adoc
licensing note updated to resolved.

Verified: deno fmt/lint/test/build green; no tracked in-scope Palimpsest/MIT
licence-label drift remains (third-party node_modules left untouched per guardrail).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01A1BaAhqxUjkgVb1yg1sZap

Author: claude

.github/workflows/ci.yml

@@ -127,8 +127,8 @@ jobs:
         test -f CLAUDE.md || (echo "Missing CLAUDE.md" && exit 1)
 
         # Licenses
-        test -f LICENSE-MIT.txt || (echo "Missing LICENSE-MIT.txt" && exit 1)
-        test -f LICENSE-PALIMPSEST.txt || (echo "Missing LICENSE-PALIMPSEST.txt" && exit 1)
+        test -f LICENSES/MPL-2.0.txt || (echo "Missing LICENSES/MPL-2.0.txt" && exit 1)
+        test -f LICENSES/CC-BY-SA-4.0.txt || (echo "Missing LICENSES/CC-BY-SA-4.0.txt" && exit 1)
 
         # .well-known/
         test -f .well-known/security.txt || (echo "Missing security.txt" && exit 1)

.gitlab-ci.yml

@@ -106,8 +106,8 @@ rsr-compliance:
       test -f ../CHANGELOG.md || (echo "Missing CHANGELOG.md" && exit 1)
 
       # Licenses
-      test -f ../LICENSE-MIT.txt || (echo "Missing LICENSE-MIT.txt" && exit 1)
-      test -f ../LICENSE-PALIMPSEST.txt || (echo "Missing LICENSE-PALIMPSEST.txt" && exit 1)
+      test -f ../LICENSES/MPL-2.0.txt || (echo "Missing LICENSES/MPL-2.0.txt" && exit 1)
+      test -f ../LICENSES/CC-BY-SA-4.0.txt || (echo "Missing LICENSES/CC-BY-SA-4.0.txt" && exit 1)
 
       # .well-known/
       test -f ../.well-known/security.txt || (echo "Missing security.txt" && exit 1)

.machine_readable/STATE.a2ml

@@ -42,8 +42,7 @@
 
   (blockers-and-issues
     "AffineScript/Idris2/Zig/Deno toolchain absent in some environments — author now, verify in CI"
-    "JTV grammar-v2 worked example stubbed pending julia-the-viper repo access"
-    "Licence-label drift to flag to owner (PMPL badge / 'Palimpsest License (MPL-2.0)' / ROADMAP 'MPL-2.0-or-later') vs MPL-2.0 SPDX — FLAG-ONLY, manual")
+    "JTV grammar-v2 worked example stubbed pending julia-the-viper repo access")
 
   (critical-next-actions
     "Port the legacy pattern catalogue into cartridge facts (Concept/Form/Transition + CorrespondenceKind)"

.well-known/ai.txt

@@ -10,7 +10,7 @@ Disallow-Generation: yes
 # This project's code is licensed under MPL-2.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.
+# This project's documentation is licensed under CC-BY-SA-4.0.
 #
 # 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: MPL-2.0 (Palimpsest MPL)
+License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
 Components: Idris2 ABI, Zig FFI
 Tools: just, Podman, Guix

HANDOFF.adoc

@@ -49,11 +49,10 @@ deno run --allow-read bin/evangeliser.js --kind false-friend   # offline CLI
   (JTV is the canonical alien-realization / novel exemplar).
 . Begin the *AffineScript host application* against the Idris2 ABI / Zig FFI
   seams (needs the AffineScript compiler).
-. Owner-only follow-ups (flagged, not done — out of agent scope): the
-  `CONTRIBUTING.md` / `CHANGELOG.md` `.md`-vs-`.adoc` format choice (GitHub-required
-  files), and the licence-label drift (`config.ncl` `MIT OR Palimpsest`, the README
-  "Palimpsest License (MPL-2.0)" label, `LICENSE-MIT.txt` / `LICENSE-PALIMPSEST.txt`
-  vs the `MPL-2.0` classification). Both are owner-domain — flag, never sweep.
+. Owner-only follow-up (flagged, not done): the `CONTRIBUTING.md` / `CHANGELOG.md`
+  `.md`-vs-`.adoc` format choice (these GitHub-required files have clean `.adoc`
+  twins; pick one per file). The licence-label drift is *resolved* per owner
+  direction — see the Licensing note below.
 
 == Guardrails (non-negotiable)
 
@@ -65,11 +64,11 @@ deno run --allow-read bin/evangeliser.js --kind false-friend   # offline CLI
 * *Licence files and SPDX headers are owner-only.* Never relicense or
   bulk-sweep SPDX; licence-label drift is FLAG-ONLY to the owner.
 
-== Known open item (owner decision)
+== Licensing (resolved 2026-06)
 
-The `governance / Licence consistency` check fails because `LICENSE` has no
-`SPDX-License-Identifier:` header. This is *pre-existing* and *owner-domain* —
-left untouched on purpose. It is entangled with label drift (the `LICENSE` body
-is the Palimpsest text; `config.ncl` says `MIT OR Palimpsest-0.8`; the README
-says "Palimpsest License (MPL-2.0)"; the manifests say `MPL-2.0`). Resolve only
-with an explicit owner decision on the exact identifier.
+Per owner direction: *code is MPL-2.0, documentation is CC-BY-SA-4.0.* The root
+`LICENSE` is the MPL-2.0 text (so GitHub labels the repo MPL-2.0); `LICENSES/`
+holds verbatim `MPL-2.0.txt` + `CC-BY-SA-4.0.txt`. The old MIT + Palimpsest
+dual-licence artifacts (`LICENSE-MIT.txt`, `LICENSE-PALIMPSEST.txt`) have been
+removed. SPDX headers and licence files remain *owner-only* — never relicense or
+bulk-sweep.

Justfile

@@ -1,6 +1,6 @@
 # justfile for Nextgen Languages Evangeliser
 # https://github.com/casey/just
-# SPDX-License-Identifier: MPL-2.0 OR Palimpsest-0.8
+# SPDX-License-Identifier: MPL-2.0
 #
 # Per Hyperpolymath policy:
 # - Use Deno, not npm/bun
@@ -126,9 +126,10 @@ validate-security:
 # Validate licenses
 validate-licenses:
     @echo "⚖️ Checking licenses..."
-    @test -f LICENSE-MIT.txt || (echo "❌ Missing LICENSE-MIT.txt" && exit 1)
-    @test -f LICENSE-PALIMPSEST.txt || (echo "❌ Missing LICENSE-PALIMPSEST.txt" && exit 1)
-    @echo "✅ Dual licenses present"
+    @test -f LICENSE || (echo "❌ Missing LICENSE (MPL-2.0)" && exit 1)
+    @test -f LICENSES/MPL-2.0.txt || (echo "❌ Missing LICENSES/MPL-2.0.txt" && exit 1)
+    @test -f LICENSES/CC-BY-SA-4.0.txt || (echo "❌ Missing LICENSES/CC-BY-SA-4.0.txt" && exit 1)
+    @echo "✅ Licenses present (MPL-2.0 code · CC-BY-SA-4.0 docs)"
 
 # Validate language policy (no Makefile, no new TS)
 validate-policy:

LICENSE-MIT.txt

@@ -1,5 +1,5 @@
 # Mustfile.epx - Deployment Contract for Nextgen Languages Evangeliser
-# SPDX-License-Identifier: MPL-2.0 OR Palimpsest-0.8
+# SPDX-License-Identifier: MPL-2.0
 #
 # This file defines the physical state transitions for deployment.
 # Based on Ephapax Linear Logic - resources are consumed to produce outputs.