Merge branch 'main' into refactor/echidna-l3-wave3-sharedbase-l1-guix

hyperpolymath · web-flow · commit 0e25ee3ef1b2 · 2026-05-19T11:51:58.000+01:00
diff --git a/.gitlab/issue_templates/bug.md b/.gitlab/issue_templates/bug.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2024-2025 ECHIDNA Project Contributors
 -->
 
diff --git a/.gitlab/issue_templates/feature.md b/.gitlab/issue_templates/feature.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2024-2025 ECHIDNA Project Contributors
 -->
 
diff --git a/.gitlab/merge_request_templates/default.md b/.gitlab/merge_request_templates/default.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2024-2025 ECHIDNA Project Contributors
 -->
 
diff --git a/AUTHORS.md b/AUTHORS.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2024-2025 ECHIDNA Project Contributors
 -->
 
diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2024-2025 ECHIDNA Project Contributors
 -->
 
diff --git a/SECURITY.md b/SECURITY.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2024-2025 ECHIDNA Project Contributors
 -->
 
diff --git a/docs/ASPECT_QUICK_START.md b/docs/ASPECT_QUICK_START.md
@@ -161,4 +161,4 @@ cargo test --lib aspect
 
 ## License
 
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
diff --git a/docs/ASPECT_TAGGING.md b/docs/ASPECT_TAGGING.md
@@ -351,4 +351,4 @@ cargo run --example aspect_tagging_demo
 ## License
 
 SPDX-FileCopyrightText: 2025 ECHIDNA Project Team
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
diff --git a/docs/deployment/DEPLOYMENT_GUIDE.md b/docs/deployment/DEPLOYMENT_GUIDE.md
@@ -1,5 +1,5 @@
 <!--
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 SPDX-FileCopyrightText: 2025 ECHIDNA Project Contributors
 -->
 
diff --git a/echidna-playground/RSR_OUTLINE.adoc b/echidna-playground/RSR_OUTLINE.adoc
@@ -209,7 +209,7 @@ This template is part of:
 
 == License
 
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 
 == Links
 
diff --git a/echidna-playground/contractiles/dust/Dustfile b/echidna-playground/contractiles/dust/Dustfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PLMP-1.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Dustfile template - recovery and rollback semantics
 
 version: 1
diff --git a/echidna-playground/contractiles/must/Mustfile b/echidna-playground/contractiles/must/Mustfile
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PLMP-1.0-or-later
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Mustfile - declarative state contract (template)
 # See: https://github.com/hyperpolymath/mustfile
 
diff --git a/proofs/lean/README.md b/proofs/lean/README.md
@@ -1,6 +1,6 @@
 <!--
 SPDX-FileCopyrightText: 2025 ECHIDNA Project Team
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 -->
 
 # ECHIDNA Lean 4 Proof Examples
diff --git a/proofs/lean/THEOREMS.md b/proofs/lean/THEOREMS.md
@@ -1,6 +1,6 @@
 <!--
 SPDX-FileCopyrightText: 2025 ECHIDNA Project Team
-SPDX-License-Identifier: PMPL-1.0-or-later-or-later
+SPDX-License-Identifier: PMPL-1.0-or-later
 -->
 
 # ECHIDNA Lean 4 Theorems Reference

Original file line number	Diff line number	Diff line change
`@@ -161,4 +161,4 @@ cargo test --lib aspect`
`161`	`161`
`162`	`162`	`## License`
`163`	`163`
`164`		`-SPDX-License-Identifier: PMPL-1.0-or-later-or-later`
	`164`	`+SPDX-License-Identifier: PMPL-1.0-or-later`