Update licensing to MPL-2.0 + Palimpsest

Jonathan D.A. Jewell · Jonathan D.A. Jewell · commit fd76d72d97c4 · 2026-01-03T03:36:59.000Z
- LICENSE: MPL-2.0 with Palimpsest notice
- Added PALIMPSEST.adoc philosophy document
- Updated README badges
- Updated workflow SPDX headers to MPL-2.0

Legal license: MPL-2.0
Philosophical framework: Palimpsest (not yet legally binding)
Future: Palimpsest v0.5+ will integrate MPL-2.0

🤖 Generated with Claude Code
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: CodeQL
 on:
   push:
diff --git a/.github/workflows/ghcr-publish.yml b/.github/workflows/ghcr-publish.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: Publish to GHCR
 
 permissions: read-all
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 name: Mirror to Git Forges
 
diff --git a/.github/workflows/ocaml-core.yml b/.github/workflows/ocaml-core.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # SPDX-FileCopyrightText: 2026 Hyperpolymath
 
 name: OCaml Core CI
diff --git a/.github/workflows/rsr-antipattern.yml b/.github/workflows/rsr-antipattern.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 name: RSR Language Policy
 
 on:
diff --git a/.github/workflows/scorecard-enforcer.yml b/.github/workflows/scorecard-enforcer.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Prevention workflow - runs OpenSSF Scorecard and fails on low scores
 name: OpenSSF Scorecard Enforcer
 
diff --git a/.github/workflows/secret-scanner.yml b/.github/workflows/secret-scanner.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Prevention workflow - scans for hardcoded secrets before they reach main
 name: Secret Scanner
 
diff --git a/.github/workflows/security.yml b/.github/workflows/security.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant security workflow with SHA-pinned actions
 
 name: "Security"
diff --git a/.github/workflows/workflow-linter.yml b/.github/workflows/workflow-linter.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Prevention workflow - validates all workflows have proper security config
 name: Workflow Security Linter
 
diff --git a/LICENSE b/LICENSE
diff --git a/PALIMPSEST.adoc b/PALIMPSEST.adoc
@@ -0,0 +1,92 @@
+= Palimpsest Licence
+:toc:
+:toc-placement!:
+
+image:https://img.shields.io/badge/license-MPL--2.0-blue.svg[MPL-2.0,link="https://www.mozilla.org/en-US/MPL/2.0/"]
+image:https://img.shields.io/badge/philosophy-Palimpsest-purple.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-licence"]
+
+toc::[]
+
+== Legal Status
+
+This project is legally licensed under the **Mozilla Public License 2.0 (MPL-2.0)**.
+
+The Palimpsest Licence is a philosophical and ethical framework that accompanies the legal license. **Palimpsest does not currently provide legal protections** - it is a manifesto and a set of principles that we encourage adopters to embrace alongside the MPL-2.0.
+
+== Why MPL-2.0 + Palimpsest?
+
+=== The Legal Foundation: MPL-2.0
+
+The Mozilla Public License 2.0 provides:
+
+* **File-level copyleft** - modifications to MPL-licensed files must remain open
+* **Compatibility** - can be combined with proprietary code and other open source licenses
+* **Patent protection** - includes explicit patent grants
+* **Clear, modern language** - well-drafted and widely understood
+
+=== The Philosophical Layer: Palimpsest
+
+Palimpsest adds an ethical dimension that legal licenses cannot capture:
+
+* **Layered contribution** - like a palimpsest manuscript, each contributor adds to what came before
+* **Transparent provenance** - clear attribution of ideas, not just code
+* **Collaborative evolution** - encouraging forks that improve rather than fragment
+* **Ethical use guidelines** - principles beyond what law can enforce
+
+== Future Direction
+
+**Palimpsest v0.5** will integrate MPL-2.0 and Palimpsest principles into a single, legally recognized license. This work is ongoing.
+
+Until then:
+
+1. **MPL-2.0** is the legally binding license for this project
+2. **Palimpsest** is the philosophical framework we encourage you to adopt
+3. Distributing Palimpsest alongside your use of this code is encouraged but not required
+
+== Get Involved
+
+We are actively developing Palimpsest as a real, legally recognized license that captures both the legal and ethical dimensions of open source collaboration.
+
+If you are interested in:
+
+* Contributing to the Palimpsest license design
+* Adopting Palimpsest for your own projects
+* Providing legal expertise on open source licensing
+* Discussing the philosophy behind Palimpsest
+
+**Please get in touch:**
+
+* GitHub: https://github.com/hyperpolymath
+* Palimpsest Licence repo: https://github.com/hyperpolymath/palimpsest-licence
+
+== Signing Up to Palimpsest
+
+While Palimpsest is not yet legally formalized, you can signal your support by:
+
+1. Adding the Palimpsest badge to your project README
+2. Including `PALIMPSEST.adoc` in your repository
+3. Mentioning Palimpsest in your LICENSE file
+4. Joining discussions about the license's development
+
+== Summary
+
+[cols="1,2"]
+|===
+|Aspect |Status
+
+|**Legal License**
+|MPL-2.0 (Mozilla Public License 2.0)
+
+|**Philosophical Framework**
+|Palimpsest (encouraged, not legally binding)
+
+|**SPDX Identifier**
+|`MPL-2.0`
+
+|**Future License**
+|Palimpsest v0.5+ (MPL-2.0 integrated, legally recognized)
+|===
+
+---
+
+_This project uses MPL-2.0 for legal licensing and encourages adoption of the Palimpsest philosophy. See link:LICENSE[LICENSE] for the full legal text._
diff --git a/README.adoc b/README.adoc
@@ -1,28 +1,27 @@
 = WokeLang
 
-image:https://img.shields.io/badge/license-AGPL--3.0-blue.svg[AGPL-3.0,link="https://www.gnu.org/licenses/agpl-3.0"] image:https://img.shields.io/badge/philosophy-Palimpsest-purple.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-licence"]
+image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[MPL-2.0,link="https://opensource.org/licenses/MPL-2.0"]
+image:https://img.shields.io/badge/Philosophy-Palimpsest-purple.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-licence"]
+
+
 :toc: macro
 :toclevels: 2
 :icons: font
 :source-highlighter: highlight.js
 
 WokeLang: A Human-Centered Programming Language
 
-
 [![Build Status](https://github.com/hyperpolymath/wokelang/actions/workflows/ci.yml/badge.svg)](https://github.com/hyperpolymath/wokelang/actions)
 [![OCaml](https://img.shields.io/badge/OCaml-5.0-blue)](https://ocaml.org)
 [![Rust](https://img.shields.io/badge/Rust-1.70-red)](https://rust-lang.org)
 [![Vyper](https://img.shields.io/badge/Vyper-0.3.10-green)](https://vyper.readthedocs.io)
-[![License: MIT](https://img.shields.io/badge/License-MIT-green)](LICENSE)
 
 WokeLang is a programming language designed for **human collaboration**, **empathy**, and **safety**—without sacrificing power or performance. It combines:
 
 - **Python’s readability** with **Rust’s performance**.
 - **OCaml’s type safety** with **JavaScript’s expressiveness**.
 - **Unique features** like `thanks to`, `only if okay`, and `measured in` for **ethical, self-documenting code**.
 
-
-
 ## Table of Contents
 - [🚀 Quick Start](#-quick-start)
 - [🌟 Key Features](#-key-features)
@@ -32,8 +31,6 @@ WokeLang is a programming language designed for **human collaboration**, **empat
 - [🎯 Next Steps](#-next-steps)
 - [🤝 Community](#-community)
 
-
-
 ## 🚀 Quick Start
 
 ### 1. Install
@@ -42,24 +39,19 @@ git clone https://github.com/hyperpolymath/wokelang.git
 cd wokelang
 ./scripts/setup.sh
 
-
 2. Run the REPL
 
-
 dune utop
 
-
 Example REPL Session:
 
 > hello "Welcome to WokeLang!"
 > remember x = 5 measured in km
 > what is x + 3 measured in km?
 8 measured in km
 
-
 3. Run Examples
 
-
 # Hello World
 dune exec ./examples/hello_world.wl
 
@@ -69,19 +61,14 @@ dune exec ./examples/fibonacci.wl
 # Gratitude Tracker (Blockchain)
 dune exec ./examples/gratitude_blockchain.wl
 
-
 4. Build for Vyper/WASM
 
-
 # Vyper FFI
 cd src/ffi/vyper && vyper contracts/gratitude.vy
 
 # WASM
 cd src/ffi/wasm && wasm-pack build --target web
 
-
-
-
 ```markdown
 ## 🌟 Key Features
 
@@ -96,8 +83,6 @@ cd src/ffi/wasm && wasm-pack build --target web
 | **Vyper FFI**         | `vyper call "gratitude.add_entry"`      | Immutable, auditable blockchain ops.      |
 | **WASM Target**       | Compile to run in browsers/Node.js.      | Portable and fast.                       |
 
-
-
 ## 📦 Project Structure
 
 ```bash
@@ -131,8 +116,6 @@ wokelang/
 ├── dune-project
 └── README.md           # This file
 
-
-
 ## 🛠 Development
 
 ### Dev Container
@@ -152,13 +135,10 @@ WORKDIR /workspace
 COPY . .
 RUN dune build
 
-
-
 🛠️ Development
 
 Dev Container
 
-
 FROM ocaml/opam:ubuntu-22.04
 
 # Install OCaml + Rust + Vyper

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# SPDX-License-Identifier: AGPL-3.0-or-later`
	`1`	`+# SPDX-License-Identifier: MPL-2.0`
`2`	`2`	`name: CodeQL`
`3`	`3`	`on:`
`4`	`4`	`push:`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# SPDX-License-Identifier: MIT OR AGPL-3.0-or-later`
	`1`	`+# SPDX-License-Identifier: MPL-2.0`
`2`	`2`	`name: Publish to GHCR`
`3`	`3`
`4`	`4`	`permissions: read-all`