fix(spdx): add missing MPL-2.0 headers to new files in coord-fed PR #146

hyperpolymath · mistral-vibe · hyperpolymath · commit 7828d69934ce · 2026-05-24T18:53:03.000+01:00
- Fix 3 Elixir test files with incorrect PMPL-1.0-or-later license
- Add SPDX headers to 6 markdown files missing them

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe &lt;vibe@mistral.ai&gt;
diff --git a/docs/backend-assurance/README.md b/docs/backend-assurance/README.md
@@ -1,3 +1,6 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
+
 # Backend-Assurance Harness
 
 External evidence for the class-(J) `believe_me` axioms in
diff --git a/docs/backend-assurance/prim__eqChar.md b/docs/backend-assurance/prim__eqChar.md
@@ -1,3 +1,6 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
+
 # Backend-Assurance: `prim__eqChar`
 
 Trusted-extraction validation for the two class-(J) axioms over
diff --git a/docs/backend-assurance/prim__strAppend.md b/docs/backend-assurance/prim__strAppend.md
@@ -1,3 +1,6 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
+
 # Backend-Assurance: `prim__strAppend`
 
 Trusted-extraction validation for the class-(J) axiom over Idris2's
diff --git a/docs/backend-assurance/prim__strSubstr.md b/docs/backend-assurance/prim__strSubstr.md
@@ -1,3 +1,6 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
+
 # Backend-Assurance: `prim__strSubstr`
 
 Trusted-extraction validation for the class-(J) axiom over Idris2's
diff --git a/docs/backend-assurance/prim__strToCharList.md b/docs/backend-assurance/prim__strToCharList.md
@@ -1,3 +1,6 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
+
 # Backend-Assurance: `prim__strToCharList`
 
 Trusted-extraction validation for the class-(J) axiom over Idris2's
diff --git a/elixir/test/backend_assurance/prim_str_append_test.exs b/elixir/test/backend_assurance/prim_str_append_test.exs
@@ -1,4 +1,4 @@
-# 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>
 #
 # Backend-assurance harness for `prim__strAppend`.
diff --git a/elixir/test/backend_assurance/prim_str_substr_test.exs b/elixir/test/backend_assurance/prim_str_substr_test.exs
@@ -1,4 +1,4 @@
-# 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>
 #
 # Backend-assurance harness for `prim__strSubstr`.
diff --git a/elixir/test/backend_assurance/prim_str_to_char_list_test.exs b/elixir/test/backend_assurance/prim_str_to_char_list_test.exs
@@ -1,4 +1,4 @@
-# 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>
 #
 # Backend-assurance harness for `prim__strToCharList`.
diff --git a/tests/backend-assurance/README.md b/tests/backend-assurance/README.md
@@ -1,3 +1,6 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> -->
+
 # `tests/backend-assurance/` — pointer
 
 The runnable property-test harness for the backend-assurance campaign

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`	`# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>`
`3`	`3`	`#`
`4`	`4`	# Backend-assurance harness for `prim__strAppend`.