hyperpolymath · hyperpolymath · Jun 26, 2026 · Jun 26, 2026 · Jun 26, 2026 · Jun 26, 2026
diff --git a/Cargo.toml b/Cargo.toml
@@ -15,7 +15,7 @@ members = [
 version = "0.1.0"
 edition = "2021"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/hypatia"
 homepage = "https://hypatia.reposystem.dev"
 

diff --git a/README.adoc b/README.adoc
@@ -1,4 +1,4 @@
-image:https://raw.githubusercontent.com/hyperpolymath/palimpsest-license/main/assets/badges/svg/badge-standard.svg[PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"]
+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/"]
 
 
 // SPDX-License-Identifier: CC-BY-SA-4.0

@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 description = "Multi-forge adapters for Hypatia CI/CD platform"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/hypatia"
 homepage = "https://hypatia.reposystem.dev"
 

@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 description = "Data layer clients for Hypatia (ArangoDB, Dragonfly)"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/hypatia"
 homepage = "https://hypatia.reposystem.dev"
 

diff --git a/docs/architecture/system-integration.md b/docs/architecture/system-integration.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Hypatia System Integration - Complete Flow
 
 **Status:** ✅ Fully wired and functional (2026-01-25)
@@ -300,4 +302,4 @@ After:
 
 ---
 
-**The system is now fully operational and autonomous.**
+**The system is now fully operational and autonomous.**
diff --git a/docs/design/DESIGN-NARRATIVE.md b/docs/design/DESIGN-NARRATIVE.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # The Hypatia Story: From Broken Pipeline to Autonomous Security Intelligence
 
 *A design narrative for future reference — what we built, why, and what it means.*
@@ -219,4 +221,4 @@ the neurosymbolic intelligence layer that ties scanners to fixers to
 verifiers to learners across 300+ repos with formal proof integration.
 
 That's not hubris. It's what happens when you need something that doesn't
-exist yet, so you build it.
+exist yet, so you build it.
diff --git a/docs/integration/a2ml-k9.md b/docs/integration/a2ml-k9.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Hypatia a2ml & K9 Integration
 
 **Status:** ✅ IMPLEMENTED
@@ -484,4 +486,4 @@ cat /tmp/echidna-validation-report-*.md
 
 **Last Updated:** 2026-02-06T22:45:00+00:00
 **Maintained By:** Hypatia Development Team
-**Status:** ✅ Production Ready
+**Status:** ✅ Production Ready
diff --git a/docs/proofs/gap-analysis.md b/docs/proofs/gap-analysis.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Proofs Gap Analysis
 
 **Date:** 2026-04-22
@@ -280,4 +282,4 @@ k-means convergence, federation consistency. Each is its own branch.
 proofs are now merge-blocking. 11 proof files gated in CI (2 original
 Lean + 3 new Lean + 7 Idris — awaiting one Idris stamp cycle).
 Remaining tractable work is mathlib integration for the analytical
-halves of PageRank + ESN convergence.
+halves of PageRank + ESN convergence.
diff --git a/docs/proofs/needs.md b/docs/proofs/needs.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # PROOF-NEEDS.md — hypatia
 
 ## Current State (Updated 2026-06-05)
@@ -51,4 +53,4 @@ numerical properties (**+ Mathlib** for the analytic convergence results).
 ## Priority
 
 **MEDIUM** — H1–H9 are complete (H6 as a runtime assertion). The remaining work
-is the two neural-convergence theorems, which require pulling in Mathlib.
+is the two neural-convergence theorems, which require pulling in Mathlib.
diff --git a/docs/quickstart/developer.adoc b/docs/quickstart/developer.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 = Hypatia — Developer Quickstart
 :toc: preamble
 
@@ -36,4 +37,4 @@ just assail    # run panic-attacker security scan
 
 == Contributing
 
-See link:CONTRIBUTING.md[CONTRIBUTING.md] for guidelines.
+See link:CONTRIBUTING.md[CONTRIBUTING.md] for guidelines.
diff --git a/docs/quickstart/maintainer.adoc b/docs/quickstart/maintainer.adoc
@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
 = Hypatia — Maintainer Quickstart
 :toc: preamble
 
@@ -37,4 +38,4 @@ podman build -f Containerfile -t hypatia:latest .
 == Mirrors
 
 This repo is mirrored to GitLab and Bitbucket (hyperpolymath accounts)
-via the `mirror.yml` workflow.
+via the `mirror.yml` workflow.
diff --git a/docs/reports/audit/audit-2026-04-15-post.md b/docs/reports/audit/audit-2026-04-15-post.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Post-audit Status Report: hypatia
 - **Date:** 2026-04-15
 - **Status:** Complete (M5 Sweep)
@@ -88,4 +90,4 @@
 - Rust project has test infrastructure but no mutation-test configuration (cargo-mutants/.cargo-mutants.toml) — add `cargo mutants` to verify test suite kills mutations
 
 ## Final Grade
-- **CRG Grade:** D (Promoted from E/X) - CI and lockfiles are in place.
+- **CRG Grade:** D (Promoted from E/X) - CI and lockfiles are in place.
diff --git a/docs/reports/audit/pillar-audit-2026-04-15.md b/docs/reports/audit/pillar-audit-2026-04-15.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Gemini Audit Report (M2: Pillar Repo Audits)
 Date: 2026-04-15
 Repository: /var/mnt/eclipse/repos/hypatia
@@ -15,4 +17,4 @@ Repository: /var/mnt/eclipse/repos/hypatia
 
 ## Verdict
 - **CRG Grade**: A
-- **Publishable?**: YES
+- **Publishable?**: YES
diff --git a/docs/testing/audit.md b/docs/testing/audit.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Testing-Taxonomy Audit
 
 **Date:** 2026-04-22
@@ -194,4 +196,4 @@ Each item estimated in calendar-days assuming one focused contributor.
 
 ## 8. Appendix — file inventory by category
 
-Full mapping in `.machine_readable/testing/blitz.a2ml`.
+Full mapping in `.machine_readable/testing/blitz.a2ml`.
diff --git a/docs/testing/needs.md b/docs/testing/needs.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # TEST-NEEDS.md — hypatia
 
 ## CRG Grade: B — ACHIEVED 2026-04-04
@@ -103,4 +105,4 @@
 
 ### Self-Tests
 - [ ] Rule module self-validation (15 rules, none self-tested)
-- [ ] Neural model loading verification
+- [ ] Neural model loading verification
@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 description = "Programmatic CI/CD workflow fixer for Hypatia"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/hypatia"
 homepage = "https://hypatia.reposystem.dev"
 

@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 description = "Integration test framework for Hypatia"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/hypatia"
 homepage = "https://hypatia.reposystem.dev"
 publish = false

diff --git a/scripts/bench-tools/Cargo.toml b/scripts/bench-tools/Cargo.toml
@@ -12,7 +12,7 @@
 name = "bench-tools"
 version = "0.1.0"
 edition = "2021"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 publish = false
 
 [lib]

diff --git a/scripts/ci-tools/Cargo.toml b/scripts/ci-tools/Cargo.toml
@@ -10,7 +10,7 @@
 name = "ci-tools"
 version = "0.1.0"
 edition = "2021"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 publish = false
 
 [[bin]]

diff --git a/tools/cii-registrar/Cargo.toml b/tools/cii-registrar/Cargo.toml
@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 description = "CLI tool for registering projects with OpenSSF Best Practices Badge"
-license = "AGPL-3.0-or-later"
+license = "MPL-2.0"
 repository = "https://github.com/hyperpolymath/hypatia"
 keywords = ["openssf", "cii", "badge", "security", "automation"]
 categories = ["command-line-utilities", "development-tools"]