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

hyperpolymath · claude · web-flow · commit 0d7b791b0392 · 2026-06-27T20:47:49.000+01:00
## Make the licensing consistent — per owner direction Applied the stated policy exactly: **code → `MPL-2.0`, docs → `CC-BY-SA-4.0`, `LICENSES/` holds each licence text, and GitHub labels the repo MPL-2.0.** This is explicit, specific owner authorization, so the licence guardrail (no-unauthorized-sweeps) is satisfied; texts used are verbatim, changes are surgical. ### Already correct (left as-is) - Root **`LICENSE` is the MPL-2.0 text** → GitHub labels the repo MPL-2.0. ✅ - **`LICENSES/`** already contains verbatim `MPL-2.0.txt` + `CC-BY-SA-4.0.txt`. ✅ ### Fixed (the dual-scheme remnants) - **Removed** `LICENSE-MIT.txt` and `LICENSE-PALIMPSEST.txt` — MIT/Palimpsest aren't this repo's licences (Palimpsest is reserved for the palimpsest repos per estate policy). - **SPDX headers** `MPL-2.0 OR Palimpsest-0.8` → `MPL-2.0` on `Justfile`, `Mustfile.epx`, `config.ncl`. - **`config.ncl`** `license = "MIT OR Palimpsest-0.8"` → `"MPL-2.0"`. - **README** licence line → "MPL-2.0 (code) / CC-BY-SA-4.0 (docs)" + badge link repointed from the palimpsest-license repo to the canonical MPL-2.0 URL. - **`guix.scm`** → `(license mpl2.0)` (was a custom record pointing at palimpsest-license). - **`.well-known/humans.txt` + `ai.txt`**, **`QUICKSTART-MAINTAINER.adoc`** — dropped "Palimpsest"/"PMPL" labels; state MPL-2.0 / CC-BY-SA-4.0. - **Licence-presence checks** (`ci.yml`, `.gitlab-ci.yml`, `Justfile validate-licenses`) now check `LICENSES/MPL-2.0.txt` + `LICENSES/CC-BY-SA-4.0.txt` instead of the removed files. - **`STATE.a2ml`** — cleared the now-resolved licence-drift blocker; **`HANDOFF.adoc`** licensing note marked resolved. ### Scope / safety - **−206 / +30 lines.** A full-repo grep confirms no remaining tracked, in-scope `Palimpsest`/`MIT`/dual-licence labels (the only residual hits are third-party `node_modules`, which is git-ignored and never touched per the guardrail, and two generic keyword-greps that just confirm `LICENSE` contains a licence word). - `deno fmt --check`, `deno lint`, `deno task test`, `deno task build` — all green. 🤖 Generated with [Claude Code](https://claude.com/claude-code) --- _Generated by [Claude Code](https://claude.ai/code/session_01A1BaAhqxUjkgVb1yg1sZap)_ --------- Co-authored-by: Claude <noreply@anthropic.com>
diff --git a/.github/workflows/ci.yml b/.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)
diff --git a/.gitlab-ci.yml b/.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)
diff --git a/.machine_readable/STATE.a2ml b/.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)"
diff --git a/.well-known/ai.txt b/.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)
diff --git a/.well-known/humans.txt b/.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
diff --git a/HANDOFF.adoc b/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.
diff --git a/Justfile b/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:
diff --git a/LICENSE-MIT.txt b/LICENSE-MIT.txt
diff --git a/LICENSE-PALIMPSEST.txt b/LICENSE-PALIMPSEST.txt
diff --git a/Mustfile.epx b/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.
diff --git a/QUICKSTART-MAINTAINER.adoc b/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
diff --git a/README.adoc b/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.
 
diff --git a/config.ncl b/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)
diff --git a/guix.scm b/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))

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ Disallow-Generation: yes`
`10`	`10`	`# This project's code is licensed under MPL-2.0.`
`11`	`11`	`# AI agents may read and analyze this code for assisting contributors.`
`12`	`12`	`# AI agents must NOT use this code for model training without explicit consent.`
`13`		`-# AI agents must preserve Emotional Lineage per PMPL Section 3.`
	`13`	`+# This project's documentation is licensed under CC-BY-SA-4.0.`
`14`	`14`	`#`
`15`	`15`	`# For AI agent integration instructions, see:`
`16`	`16`	`# 0-AI-MANIFEST.a2ml (universal AI entry point)`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`# Mustfile.epx - Deployment Contract for Nextgen Languages Evangeliser`
`2`		`-# SPDX-License-Identifier: MPL-2.0 OR Palimpsest-0.8`
	`2`	`+# SPDX-License-Identifier: MPL-2.0`
`3`	`3`	`#`
`4`	`4`	`# This file defines the physical state transitions for deployment.`
`5`	`5`	`# Based on Ephapax Linear Logic - resources are consumed to produce outputs.`