From d946493f20566887f60a65c3a51f6ea83dac7d61 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sat, 27 Jun 2026 19:55:06 +0000
Subject: [PATCH] fix(ci): add SPDX-License-Identifier header to LICENSE

Clears the Governance 'Licence consistency' gate (check-licence-consistency.sh requires an SPDX-License-Identifier on LICENSE's first lines). LICENSE is the verbatim MPL-2.0 text; this adds the matching identifier + copyright. Sole-owner repo -> MPL-2.0. (tropical: also adds a license field to Project.toml.) Branch reset to current main; prior proof/RSR work already merged.

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

Claude-Session: https://claude.ai/code/session_019awZjBD1qx61tvmEuEKNpn
---
 LICENSE      | 3 +++
 Project.toml | 1 +
 2 files changed, 4 insertions(+)

diff --git a/LICENSE b/LICENSE
index 14e2f77..6a7e028 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,3 +1,6 @@
+SPDX-License-Identifier: MPL-2.0
+SPDX-FileCopyrightText: 2024-2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
+
 Mozilla Public License Version 2.0
 ==================================
 
diff --git a/Project.toml b/Project.toml
index ddafe0e..66ce86d 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,2 +1,3 @@
+license = "MPL-2.0"
 [deps]
 Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"