chore: migrate license from PMPL-1.0-or-later to MPL-2.0

Author: hyperpolymath

.machine_readable/contractiles/adjust/adjust.k9.ncl

@@ -1,5 +1,5 @@
 K9!
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # adjust.k9.ncl — K9 trust-tier component of the adjust trident
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

.machine_readable/contractiles/bust/bust.k9.ncl

@@ -1,5 +1,5 @@
 K9!
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # bust.k9.ncl — K9 trust-tier component of the bust trident
 # Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 #

audits/assail-classifications.a2ml

@@ -1,5 +1,5 @@
 # identity: echidna-assail-classifications
-; 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>
 ;
 ; Classification registry for panic-attack assail findings that are confirmed

container/deploy.k9.ncl

@@ -1,5 +1,5 @@
 K9!
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # deploy.k9.ncl — ECHIDNA deployment component (Hunt level)
 
 let component_pedigree = {

training_data/proof_states_mathcomp.a2ml

@@ -1,5 +1,5 @@
 # identity: echidna-training-proof-states-mathcomp
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 # mathcomp proof-state records (Coq/ssreflect training data)
 

training_data/stats_mathcomp.a2ml

@@ -1,5 +1,5 @@
 # identity: echidna-training-stats-mathcomp
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # mathcomp extraction statistics
 
 [metadata]

training_data/stats_tptp.a2ml

@@ -1,5 +1,5 @@
 # identity: echidna-training-stats-tptp
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # TPTP extraction statistics
 
 [metadata]

training_data/tactics_mathcomp.a2ml

@@ -1,5 +1,5 @@
 # identity: echidna-training-mathcomp
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 # mathcomp tactic records (ssreflect tactics per step)
 

training_data/tactics_tptp.a2ml

@@ -1,5 +1,5 @@
 # identity: echidna-training-tptp
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 # TPTP tactic records (one per proof-state)