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

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

Mustfile.epx

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

QUICKSTART-MAINTAINER.adoc

@@ -106,7 +106,7 @@ Or via OPSM: `opsm update {{PACKAGE_NAME}}`
 
 == Security Notes
 
-* License: MPL-2.0 (Palimpsest License)
+* License: MPL-2.0 (code) · CC-BY-SA-4.0 (docs)
 * All dependencies SHA-pinned
 * `panic-attacker` scan results: link:INSTALL-SECURITY-REPORT.adoc[]
 * OpenSSF Scorecard: see badge in README

README.adoc

@@ -1,7 +1,7 @@
 = Nextgen Languages Evangeliser
 
 image:https://img.shields.io/badge/RSR-Bronze-CD7F32[RSR Bronze,link=docs/RSR_COMPLIANCE.adoc]
-image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[License: MPL-2.0,link="https://github.com/hyperpolymath/palimpsest-license"]
+image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[License: MPL-2.0,link="https://www.mozilla.org/en-US/MPL/2.0/"]
 // SPDX-License-Identifier: CC-BY-SA-4.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 
@@ -270,7 +270,7 @@ This is a *TPCF Perimeter 3* project - all contributions are welcome!
 
 // SPDX-License-Identifier: CC-BY-SA-4.0
 
-This project is licensed under the *Palimpsest License (MPL-2.0)*.
+This project's code is licensed under the *Mozilla Public License 2.0 (MPL-2.0)*; its documentation under *CC-BY-SA-4.0*. Full licence texts are in link:LICENSES/[LICENSES/], and the repository `LICENSE` is the MPL-2.0 text.
 
 See link:LICENSE[LICENSE] for the full license text.
 

config.ncl

@@ -1,5 +1,5 @@
 # config.ncl - Nickel configuration for Nextgen Languages Evangeliser
-# SPDX-License-Identifier: MPL-2.0 OR Palimpsest-0.8
+# SPDX-License-Identifier: MPL-2.0
 #
 # Type-safe configuration using Nickel
 # Renamed from rescript-evangeliser on 2026-04-16
@@ -10,7 +10,7 @@
     predecessor = "rescript-evangeliser",
     version = "0.6.0-alpha",
     description = "Learn next-generation type-safe languages (flagship: AffineScript) through progressive code transformation",
-    license = "MIT OR Palimpsest-0.8",
+    license = "MPL-2.0",
   },
 
   # Target languages (what we teach)

guix.scm

@@ -14,5 +14,4 @@
   (synopsis "nextgen-languages-evangeliser")
   (description "nextgen-languages-evangeliser — part of the hyperpolymath ecosystem.")
   (home-page "https://github.com/hyperpolymath/nextgen-languages-evangeliser")
-  (license ((@@ (guix licenses) license) "MPL-2.0"
-             "https://github.com/hyperpolymath/palimpsest-license")))
+  (license mpl2.0))