Merge branch 'main' into fix/clippy-backlog

Author: hyperpolymath

.github/workflows/boj-build.yml

@@ -69,4 +69,4 @@ After reading this file, demonstrate understanding by stating:
 - **Format Version:** 1.0.0
 - **Last Updated:** 2026-04-23
 - **Maintained By:** Jonathan D.A. Jewell (hyperpolymath)
-- **License:** PMPL-1.0-or-later
+- **License:** MPL-2.0 (code), CC-BY-SA-4.0 (documentation)

0-AI-MANIFEST.a2ml

@@ -800,9 +800,12 @@ See `formal/PRESERVATION-DESIGN.md §12` and `PROOF-NEEDS.md §3`.
 
 == Licence
 
-PMPL-1.0-or-later — see link:LICENSES/PMPL-1.0-or-later.txt[PMPL-1.0-or-later.txt].
+Code is `MPL-2.0` — see link:LICENSES/MPL-2.0.txt[MPL-2.0.txt].
 
-MPL-2.0 fallback available — see link:LICENSES/MPL-2.0.txt[MPL-2.0.txt].
+Documentation is `CC-BY-SA-4.0` — see link:LICENSES/CC-BY-SA-4.0.txt[CC-BY-SA-4.0.txt].
+
+Every file carries its own `SPDX-License-Identifier:` header, so the applicable
+licence is always the one named in the file itself.
 
 == Author
 

LICENSES/AGPL-3.0-or-later.txt

@@ -7,7 +7,7 @@ name = "ephapax-linear"
 version = "0.1.0"
 edition = "2021"
 rust-version = "1.83"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 repository = "https://github.com/hyperpolymath/ephapax"
 description = "Standalone linear/affine discipline checker for ephapax — dual grammars with full substructural focusing"

README.adoc

@@ -1,5 +1,5 @@
 ; SPDX-License-Identifier: MPL-2.0
-// Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+;; Owner: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 ;; guix.scm — GNU Guix package definition for ephapax
 ;; Usage: guix shell -f guix.scm
 
@@ -15,5 +15,4 @@
   (synopsis "ephapax")
   (description "ephapax — part of the hyperpolymath ecosystem.")
   (home-page "https://github.com/hyperpolymath/ephapax")
-  (license ((@@ (guix licenses) license) "PMPL-1.0-or-later"
-             "https://github.com/hyperpolymath/palimpsest-license")))
+  (license mpl2.0))

ephapax-linear/Cargo.toml

@@ -11,6 +11,6 @@ See README.adoc for overview.
 - `just heal` — attempt auto-repair
 
 ## Quick Context
-- License: PMPL-1.0-or-later
+- License: MPL-2.0 (code), CC-BY-SA-4.0 (documentation)
 - Part of hyperpolymath ecosystem
 - See EXPLAINME.adoc for architecture

guix.scm

@@ -11,6 +11,6 @@ See README.adoc for overview.
 - `just heal` — attempt auto-repair
 
 ## Quick Context
-- License: PMPL-1.0-or-later
+- License: MPL-2.0 (code), CC-BY-SA-4.0 (documentation)
 - Part of hyperpolymath ecosystem
 - See EXPLAINME.adoc for architecture

llm-warmup-dev.md

@@ -8,7 +8,7 @@ name = "ephapax"
 version = "0.1.0"
 description = "A dyadic linear/affine type system language targeting WebAssembly"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 channels = ["conda-forge"]
 platforms = ["linux-64", "osx-arm64", "osx-64"]
 

llm-warmup-user.md

@@ -6,7 +6,7 @@
 name = "ephapax-ir"
 version = "0.1.0"
 edition = "2021"
-license = "PMPL-1.0-or-later"
+license = "MPL-2.0"
 
 [dependencies]
 smol_str = { workspace = true }