chore(license): flip 16 PMPL→MPL-2.0 SPDX stamps (per 2026-06-02 estate policy) (#25)

hyperpolymath · claude · web-flow · commit fc8ebc9826a1 · 2026-06-02T20:06:45.000+01:00
Co-authored-by: Claude Opus 4.7 (1M context) &lt;noreply@anthropic.com&gt;
diff --git a/.gitattributes b/.gitattributes
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitattributes
 
 * text=auto eol=lf
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
 #
 # CODEOWNERS — julia-professional-registry
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RSR-compliant .gitignore
 
 # OS & Editor
diff --git a/.machine_readable/ADJUST.contractile b/.machine_readable/ADJUST.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; ADJUST.contractile — Accessibility invariants for HyperpolymathRegistry
 ; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology
 ;
diff --git a/.machine_readable/INTENT.contractile b/.machine_readable/INTENT.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; INTENT.contractile — Purpose and scope for HyperpolymathRegistry
 ; Helps LLM/SLM agents understand what this repo IS and IS NOT.
 ;
diff --git a/.machine_readable/MUST.contractile b/.machine_readable/MUST.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; MUST.contractile — Baseline invariants for HyperpolymathRegistry
 ; These constraints MUST NOT be violated. K9 validators enforce them.
 ;
diff --git a/.machine_readable/TRUST.contractile b/.machine_readable/TRUST.contractile
@@ -1,4 +1,4 @@
-; SPDX-License-Identifier: PMPL-1.0-or-later
+; SPDX-License-Identifier: MPL-2.0
 ; TRUST.contractile — Trust boundaries for HyperpolymathRegistry
 ; Defines what LLM/SLM agents are trusted to do without asking.
 ;
diff --git a/.machine_readable/contractiles/bust/bust.ncl b/.machine_readable/contractiles/bust/bust.ncl
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Bust — error-handling / failure-recovery runner
 #
 # Pairs with: Bustfile.a2ml (same directory)
diff --git a/.well-known/ai.txt b/.well-known/ai.txt
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # ai.txt - AI interaction policy
 # See: https://site.spawning.ai/spawning-ai-txt
 
diff --git a/.well-known/humans.txt b/.well-known/humans.txt
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # humanstxt.org
 
 /* TEAM */
diff --git a/.well-known/security.txt b/.well-known/security.txt
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # RFC 9116 - security.txt
 # https://securitytxt.org/
 
diff --git a/Justfile b/Justfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Justfile — UX recipes
 
 import? "contractile.just"
diff --git a/setup.sh b/setup.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-# SPDX-License-Identifier: PMPL-1.0-or-later
+# SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 #
 # Hyperpolymathregistry — Universal Setup Script
diff --git a/tests/idris2/Main.idr b/tests/idris2/Main.idr
@@ -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>
 
 module Main
diff --git a/tests/idris2/Test/Spec.idr b/tests/idris2/Test/Spec.idr
@@ -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>
 --
 ||| Minimal Idris2 test harness for the Gossamer ABI test suite.
diff --git a/tests/idris2/ValidateTest.idr b/tests/idris2/ValidateTest.idr
@@ -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>
 --
 -- Port of tests/validate.test.ts to Idris2, estate-rollout port 4/11.

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`	`# RSR-compliant .gitattributes`
`3`	`3`
`4`	`4`	`* text=auto eol=lf`
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`	`; ADJUST.contractile — Accessibility invariants for HyperpolymathRegistry`
`3`	`3`	`; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology`
`4`	`4`	`;`