chore: fix SPDX headers (PMPL→MPL-2.0 for extension store) + package .xpi for AMO

hyperpolymath · claude · hyperpolymath · commit 8e5b92009655 · 2026-04-03T15:01:51.000+01:00
- 26 files updated from PMPL-1.0-or-later to MPL-2.0 (browser extension fallback)
- Built fireflag-0.1.0.xpi via web-ext build (0 errors, 1 safe warning)
- Source tarball for AMO review included
- web-ext lint clean except template.innerHTML (standard safe pattern)

Co-Authored-By: Claude Opus 4.6 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/extension/background/background.js b/extension/background/background.js
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/devtools/devtools.html b/extension/devtools/devtools.html
@@ -1,5 +1,5 @@
 <!DOCTYPE html>
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 <html>
 <head>
   <meta charset="UTF-8">
diff --git a/extension/devtools/devtools.js b/extension/devtools/devtools.js
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/devtools/panel.css b/extension/devtools/panel.css
@@ -1,4 +1,4 @@
-/* SPDX-License-Identifier: PMPL-1.0-or-later */
+/* SPDX-License-Identifier: MPL-2.0 */
 
 :root {
   --primary-color: #0060df;
diff --git a/extension/devtools/panel.html b/extension/devtools/panel.html
@@ -1,5 +1,5 @@
 <!DOCTYPE html>
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 <html lang="en">
 <head>
   <meta charset="UTF-8">
diff --git a/extension/devtools/panel.js b/extension/devtools/panel.js
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/lib/idris/FlagSafety.idr b/extension/lib/idris/FlagSafety.idr
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: PMPL-1.0-or-later
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 -- Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ||| FireFlag Safety Proofs
diff --git a/extension/lib/idris/FlagTransaction.idr b/extension/lib/idris/FlagTransaction.idr
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: PMPL-1.0-or-later
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 -- Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ||| FireFlag Transactional Operations
diff --git a/extension/lib/idris/SafeChecksum.idr b/extension/lib/idris/SafeChecksum.idr
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: Palimpsest-MPL-1.0
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 ||| SafeChecksum - Safe checksum calculations
 |||
 ||| This module provides safe checksum calculations including
diff --git a/extension/lib/idris/SafeJson.idr b/extension/lib/idris/SafeJson.idr
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: PMPL-1.0-or-later
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 ||| FFI exports for SafeJson operations (Idris-only logic)
 module Proven.FFI.SafeJson
 
diff --git a/extension/lib/idris/SafeUI.idr b/extension/lib/idris/SafeUI.idr
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: PMPL-1.0-or-later
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 -- Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 ||| SafeUI - XSS-proof UI rendering
diff --git a/extension/lib/idris/SafeVersion.idr b/extension/lib/idris/SafeVersion.idr
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: Palimpsest-MPL-1.0
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 ||| SafeVersion - Safe semantic version parsing and comparison
 |||
 ||| This module provides safe operations for semantic versioning
diff --git a/extension/lib/idris/fireflag.ipkg b/extension/lib/idris/fireflag.ipkg
@@ -1,4 +1,5 @@
--- SPDX-License-Identifier: PMPL-1.0-or-later
+-- SPDX-License-Identifier: MPL-2.0
+-- (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 -- Idris2 package file for FireFlag FFI modules
 
 package fireflag
diff --git a/extension/lib/rescript/BrowserAPI.res b/extension/lib/rescript/BrowserAPI.res
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/lib/rescript/DatabaseUpdater.res b/extension/lib/rescript/DatabaseUpdater.res
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/lib/rescript/DevTools.res b/extension/lib/rescript/DevTools.res
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/lib/rescript/Types.res b/extension/lib/rescript/Types.res
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/options/options.css b/extension/options/options.css
@@ -1,4 +1,4 @@
-/* SPDX-License-Identifier: PMPL-1.0-or-later */
+/* SPDX-License-Identifier: MPL-2.0 */
 
 :root {
   --primary-color: #0060df;
diff --git a/extension/options/options.html b/extension/options/options.html
@@ -1,5 +1,5 @@
 <!DOCTYPE html>
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 <html lang="en">
 <head>
   <meta charset="UTF-8">
diff --git a/extension/options/options.js b/extension/options/options.js
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/popup/popup.css b/extension/popup/popup.css
@@ -1,4 +1,4 @@
-/* SPDX-License-Identifier: PMPL-1.0-or-later */
+/* SPDX-License-Identifier: MPL-2.0 */
 
 :root {
   --primary-color: #0060df;
diff --git a/extension/popup/popup.html b/extension/popup/popup.html
@@ -1,5 +1,5 @@
 <!DOCTYPE html>
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 <html lang="en">
 <head>
   <meta charset="UTF-8">
diff --git a/extension/popup/popup.js b/extension/popup/popup.js
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/sidebar/sidebar.css b/extension/sidebar/sidebar.css
@@ -1,4 +1,4 @@
-/* SPDX-License-Identifier: PMPL-1.0-or-later */
+/* SPDX-License-Identifier: MPL-2.0 */
 
 :root {
   --primary-color: #0060df;
diff --git a/extension/sidebar/sidebar.html b/extension/sidebar/sidebar.html
@@ -1,5 +1,5 @@
 <!DOCTYPE html>
-<!-- SPDX-License-Identifier: PMPL-1.0-or-later -->
+<!-- SPDX-License-Identifier: MPL-2.0 -->
 <html lang="en">
 <head>
   <meta charset="UTF-8">
diff --git a/extension/sidebar/sidebar.js b/extension/sidebar/sidebar.js
@@ -1,4 +1,5 @@
-// SPDX-License-Identifier: PMPL-1.0-or-later
+// SPDX-License-Identifier: MPL-2.0
+// (PMPL-1.0-or-later preferred; MPL-2.0 required for Firefox extension store)
 // Copyright (C) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 /**
diff --git a/extension/web-ext-artifacts/SHA256SUMS b/extension/web-ext-artifacts/SHA256SUMS
@@ -1 +1,2 @@
-485478a227342e244579365b5ec184322197170fb065573a67b2a96cb0c05308  fireflag-0.1.0.zip
+a86c1776d402486c60f38f2baf5f4595dc26c3e02d69ce5bce169dcaf37a5c64  fireflag-0.1.0.zip
+a86c1776d402486c60f38f2baf5f4595dc26c3e02d69ce5bce169dcaf37a5c64  fireflag-0.1.0.xpi
diff --git a/extension/web-ext-artifacts/fireflag-0.1.0.xpi b/extension/web-ext-artifacts/fireflag-0.1.0.xpi
diff --git a/extension/web-ext-artifacts/fireflag-0.1.0.zip b/extension/web-ext-artifacts/fireflag-0.1.0.zip
diff --git a/fireflag-0.1.0-source.tar.gz b/fireflag-0.1.0-source.tar.gz

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-/* SPDX-License-Identifier: PMPL-1.0-or-later */`
	`1`	`+/* SPDX-License-Identifier: MPL-2.0 */`
`2`	`2`
`3`	`3`	`:root {`
`4`	`4`	`--primary-color: #0060df;`