chore(licence): hold the specification surface at MPL-2.0 for standards work

Owner ruling. Palimpsest is MPL-2.0 with ethical provisions layered on
top, so MPL-2.0 is the faithful reduction wherever the Palimpsest layer
is not being asserted — and MPL is what a standards body can work with,
where AGPL's strong copyleft would obstruct adoption and re-publication.

Split is now four parts (was three):

  application code        AGPL-3.0-or-later   756 files
  SPECIFICATION SURFACE   MPL-2.0             .machine_readable/ (A2ML
                          descriptiles, contractiles, K9 configs,
                          anchors, policies), 0-AI-MANIFEST.a2ml,
                          package + container manifests, and the OCI
                          image labels emitted by stapeln / svalinn
  documentation           CC-BY-SA-4.0        101 files
  echidna-playground/     MPL-2.0             unchanged

MPL-2.0 total: 131 files.

Files that previously offered Palimpsest-0.6 now carry MPL-2.0 rather
than AGPL, per the same reasoning.

The AGPL umbrella still governs the combined work — MPL s3.3 (Secondary
Licenses) is what lets the MPL parts sit inside it — but each MPL part
remains individually available under MPL, which is the property the
standards path needs.

NOTICE, .reuse/dep5, CONTRIBUTING.adoc, README, CLAUDE.md, humans.txt,
docs/DEBT.md and both wiki pages restated for four parts, each spelling
out WHY the specification surface is weak-copyleft rather than leaving a
future reader to guess and 'fix' it back to AGPL.

Verified: SPDX still line 1 on all 30 workflows.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Author: hyperpolymath

.containerization/Containerfile

@@ -92,7 +92,7 @@ FROM docker.io/library/debian:bookworm-slim
 LABEL maintainer="Jonathan D.A. Jewell <jonathan.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA - Extensible Cognitive Hybrid Intelligence for Deductive Neural Assistance"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="1.5.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 

.containerization/Containerfile.full

@@ -187,7 +187,7 @@ FROM docker.io/library/debian:bookworm-slim
 LABEL maintainer="Jonathan D.A. Jewell <jonathan.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA Full - Curated prover set + VeriSimDB + Guix"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="1.5.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 

.containerization/Containerfile.mcp

@@ -114,7 +114,7 @@ FROM docker.io/library/debian:bookworm-slim
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA MCP server — AI-agent-callable theorem proving over stdio"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.1.0"
 
 # Runtime deps: the MVP provers + dynamic libs + perl/fontconfig for Isabelle.

.containerization/Containerfile.wave3

@@ -139,7 +139,7 @@ FROM docker.io/library/debian:bookworm-slim AS tamarin
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + Tamarin Prover - security protocol analysis"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -252,7 +252,7 @@ FROM docker.io/library/debian:bookworm-slim AS proverif
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + ProVerif - cryptographic protocol verification"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -340,7 +340,7 @@ FROM docker.io/library/debian:bookworm-slim AS scip
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + SCIP - constraint integer programming solver"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -435,7 +435,7 @@ FROM docker.io/library/debian:bookworm-slim AS or-tools
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + OR-Tools C++ library - combinatorial optimisation via FFI"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -559,7 +559,7 @@ FROM docker.io/library/debian:bookworm-slim AS hol4
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + HOL4 - higher-order logic theorem prover"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -645,7 +645,7 @@ FROM docker.io/library/debian:bookworm-slim AS acl2
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + ACL2 - applicative Common Lisp logic prover"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -733,7 +733,7 @@ FROM docker.io/library/debian:bookworm-slim AS twelf
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + Twelf - LF meta-logical framework"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -858,7 +858,7 @@ FROM docker.io/library/debian:bookworm-slim AS metamath
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + Metamath - metamath-exe CLI verifier with bundled databases"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 
@@ -948,7 +948,7 @@ FROM docker.io/library/debian:bookworm-slim AS imandra
 LABEL maintainer="Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
 LABEL org.opencontainers.image.source="https://github.com/hyperpolymath/echidna"
 LABEL org.opencontainers.image.description="ECHIDNA + Imandra stub (proprietary licence required for real binary)"
-LABEL org.opencontainers.image.licenses="AGPL-3.0-or-later"
+LABEL org.opencontainers.image.licenses="MPL-2.0"
 LABEL org.opencontainers.image.version="2.3.0"
 LABEL org.opencontainers.image.vendor="hyperpolymath"
 

.githooks/pre-commit

@@ -3,7 +3,7 @@
 # ECHIDNA Pre-commit Hook
 # Enforces npm ban and runs checks
 #
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 
 set -euo pipefail
 

.machine_readable/ADJUST.contractile

@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: AGPL-3.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; ADJUST.contractile — Accessibility invariants for echidna
 ; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology
 ;

.machine_readable/CLADE.a2ml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Clade declaration — part of the gv-clade-index registry
 
 [manifest]

.machine_readable/ER.a2ml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #
 # ER.a2ml — Canonical Entity-Relationship model for ECHIDNA

.machine_readable/INTENT.contractile

@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: AGPL-3.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; INTENT.contractile — Purpose and scope for echidna
 ; Helps LLM/SLM agents understand what this repo IS and IS NOT.
 

.machine_readable/MUST.contractile

@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: AGPL-3.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; MUST.contractile — Baseline invariants for echidna
 ; These constraints MUST NOT be violated. K9 validators enforce them.