licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only)

.github/workflows/codeql.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 name: CodeQL Security Analysis
 
 on:

.github/workflows/publish-ghcr.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # SPDX-FileCopyrightText: 2025 Hyperpolymath
 name: Publish to GitHub Packages
 

.github/workflows/scorecard.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 name: OSSF Scorecard
 on:
   push:

.github/workflows/secret-scanner.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Prevention workflow - scans for hardcoded secrets before they reach main
 name: Secret Scanner
 

.github/workflows/spark-theatre-gate.yml

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Estate SPARK Theatre Gate — thin caller of the reusable workflow in
 # hyperpolymath/standards (#135 / #141). Pinned by commit SHA per the
 # estate action-pinning policy. Regenerate the pin only when the reusable

bindings/ada/proven.gpr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 project Proven is

bindings/ada/tests/tests.gpr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 with "../proven.gpr";

bindings/arduino/library.properties

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 name=Proven

bindings/cobol/copybooks/SAFECURR.cpy

@@ -1,4 +1,4 @@
-      *> SPDX-License-Identifier: PMPL-1.0
+      *> SPDX-License-Identifier: PMPL-1.0-or-later
       *> SPDX-FileCopyrightText: 2025 Hyperpolymath
       *
       * Proven SafeCurrency - Currency data structures for COBOL

bindings/cobol/copybooks/SAFEHEX.cpy

@@ -1,4 +1,4 @@
-      *> SPDX-License-Identifier: PMPL-1.0
+      *> SPDX-License-Identifier: PMPL-1.0-or-later
       *> SPDX-FileCopyrightText: 2025 Hyperpolymath
       *
       * Proven SafeHex - Hexadecimal data structures for COBOL

bindings/cobol/copybooks/SAFEPHONE.cpy

@@ -1,4 +1,4 @@
-      *> SPDX-License-Identifier: PMPL-1.0
+      *> SPDX-License-Identifier: PMPL-1.0-or-later
       *> SPDX-FileCopyrightText: 2025 Hyperpolymath
       *
       * Proven SafePhone - Phone number data structures for COBOL

bindings/cobol/copybooks/SAFEUUID.cpy

@@ -1,4 +1,4 @@
-      *> SPDX-License-Identifier: PMPL-1.0
+      *> SPDX-License-Identifier: PMPL-1.0-or-later
       *> SPDX-FileCopyrightText: 2025 Hyperpolymath
       *
       * Proven SafeUUID - UUID data structures for COBOL

bindings/dhall/Proven.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeCrypto.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeCurrency.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeEmail.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeHex.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeMath.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeNetwork.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafePath.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafePhone.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeString.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeUUID.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/dhall/proven/core/SafeUrl.dhall

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 {-

bindings/ephapax/Justfile

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # Justfile for Ephapax <-> Proven FFI bindings
 
 set shell := ["bash", "-euo", "pipefail", "-c"]

bindings/grain/proven.gr

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 /**

bindings/lua/proven-0.3.0-1.rockspec

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 -- SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 package = "proven"

bindings/move/sources/proven.move

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 /// Proven Safety Library for Move

bindings/r/NAMESPACE

@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: PMPL-1.0-or-later
 # SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 # Safe Math

bindings/solidity/Proven.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 pragma solidity ^0.8.20;

bindings/wat/proven.wat

@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: PMPL-1.0
+;; SPDX-License-Identifier: PMPL-1.0-or-later
 ;; SPDX-FileCopyrightText: 2025 Hyperpolymath
 ;;
 ;; Proven Safety Primitives for WebAssembly Text Format (WAT)

domain-specific/concat/ProvenConcat/CLIPipeline.idr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 module ProvenConcat.CLIPipeline
 
 import Proven.SafeArgs

domain-specific/concat/ProvenConcat/ConfigLoader.idr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 module ProvenConcat.ConfigLoader
 
 import Proven.SafeArgs

domain-specific/concat/ProvenConcat/RouterTable.idr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 module ProvenConcat.RouterTable
 
 import Proven.SafeUrl

domain-specific/concat/ProvenConcat/SchedulerCore.idr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 module ProvenConcat.SchedulerCore
 
 import Proven.SafeCron

domain-specific/concat/ProvenConcat/WebhookCore.idr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 module ProvenConcat.WebhookCore
 
 import Proven.SafeHTTP

domain-specific/provenance-utils/Proven/ProvenanceUtils.idr

@@ -1,4 +1,4 @@
--- SPDX-License-Identifier: PMPL-1.0
+-- SPDX-License-Identifier: PMPL-1.0-or-later
 module Proven.Provenance.Utils
 
 import Data.List

domain-specific/tui/src/app.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Application state and logic for Proven TUI

domain-specific/tui/src/event.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Event handling for Proven TUI

domain-specific/tui/src/main.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Proven TUI - Terminal interface for exploring Proven safety primitives

domain-specific/tui/src/safety/calculator.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Safe calculator using Proven's SafeMath primitives

domain-specific/tui/src/safety/mod.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Safety utilities wrapping Proven primitives

domain-specific/tui/src/ui/about.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! About tab rendering

domain-specific/tui/src/ui/bounded.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Bounded types tab rendering

domain-specific/tui/src/ui/home.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Home tab rendering

domain-specific/tui/src/ui/mod.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! UI rendering for Proven TUI

domain-specific/tui/src/ui/safe_math.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Safe Math tab rendering

domain-specific/tui/src/ui/validation.rs

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: PMPL-1.0
+// SPDX-License-Identifier: PMPL-1.0-or-later
 // SPDX-FileCopyrightText: 2025 Hyperpolymath
 
 //! Validation tab rendering