licence(reuse): fix bot_directives PMPL headers -> MPL-2.0 (remove masking override)

#114's .scm->.a2ml migration brought in 9 bot_directives/*.a2ml carrying SPDX-License-Identifier: PMPL-1.0-or-later (double-stamped), and #115's REUSE.toml masked them with an override annotation so reuse lint passed while the files still declared PMPL. This corrects the actual headers to MPL-2.0 (per the MPL-everywhere policy), drops the duplicate 2nd SPDX stamp, and deletes the masking override. reuse lint now passes genuinely (741/741). PMPL prose in docs/business/* (product marketing) is intentionally left untouched.

https://claude.ai/code/session_01W9Voe3JceP66Bna9FT4jME

Author: claude

.machine_readable/bot_directives/README.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directives]
 notes = "Repo-specific constraints for verisimdb."

.machine_readable/bot_directives/echidnabot.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["analysis", "fuzzing", "proof checks"]

.machine_readable/bot_directives/finishbot.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["release checklists", "docs updates", "metadata fixes", "maintenance reminders"]

.machine_readable/bot_directives/glambot.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["docs", "readme badges", "ui/accessibility suggestions"]

.machine_readable/bot_directives/rhodibot.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["metadata", "docs", "repo-structure checks", "policy validation"]

.machine_readable/bot_directives/robot-repo-automaton.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["low-risk automated edits", "build-artifact cleanup", "metadata hygiene"]

.machine_readable/bot_directives/robot-repo-cleaner.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["build-artifact cleanup", "cache pruning", "workspace hygiene"]

.machine_readable/bot_directives/seambot.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["analysis", "contract checks", "docs updates", "integration runbooks"]

.machine_readable/bot_directives/sustainabot.a2ml

@@ -1,9 +1,8 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
 # Converted from .scm format
 
-# SPDX-License-Identifier: PMPL-1.0-or-later
 
 [bot-directive]
 allow = ["analysis", "reporting", "docs updates", "resource-efficiency recommendations"]

REUSE.toml

@@ -259,13 +259,6 @@ SPDX-License-Identifier = "MPL-2.0"
 #    These suppress erroneous/non-SPDX in-file tags.
 # ---------------------------------------------------------------------------
 
-# bot_directives: override PMPL-1.0-or-later (private licence, not in SPDX)
-# with MPL-2.0 so reuse does not need a PMPL licence text file.
-[[annotations]]
-path = ".machine_readable/bot_directives/**"
-precedence = "override"
-SPDX-FileCopyrightText = "2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
-SPDX-License-Identifier = "MPL-2.0"
 
 # json-schema: the $comment field contains `MPL-2.0"` (trailing quote) which
 # REUSE parses as an invalid expression. Override so REUSE.toml is authoritative.