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

hyperpolymath · claude · web-flow · commit 3327c6355613 · 2026-05-19T21:12:26.000+01:00
48 files, SPDX-value-only. NOT a relicence. Owner-sanctioned, standards LICENCE-POLICY A8(1). Refs LICENCE-DEBT-LEDGER-2026-05-18. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
diff --git a/.github/workflows/codeql.yml b/.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:
diff --git a/.github/workflows/publish-ghcr.yml b/.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
 
diff --git a/.github/workflows/scorecard.yml b/.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:
diff --git a/.github/workflows/secret-scanner.yml b/.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
 
diff --git a/.github/workflows/spark-theatre-gate.yml b/.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
diff --git a/bindings/ada/proven.gpr b/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
diff --git a/bindings/ada/tests/tests.gpr b/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";
diff --git a/bindings/arduino/library.properties b/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
diff --git a/bindings/cobol/copybooks/SAFECURR.cpy b/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
diff --git a/bindings/cobol/copybooks/SAFEHEX.cpy b/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
diff --git a/bindings/cobol/copybooks/SAFEPHONE.cpy b/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
diff --git a/bindings/cobol/copybooks/SAFEUUID.cpy b/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
diff --git a/bindings/dhall/Proven.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeCrypto.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeCurrency.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeEmail.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeHex.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeMath.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeNetwork.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafePath.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafePhone.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeString.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeUUID.dhall b/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
 
 {-
diff --git a/bindings/dhall/proven/core/SafeUrl.dhall b/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
 
 {-
diff --git a/bindings/ephapax/Justfile b/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"]
diff --git a/bindings/grain/proven.gr b/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
 
 /**
diff --git a/bindings/lua/proven-0.3.0-1.rockspec b/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"
diff --git a/bindings/move/sources/proven.move b/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
diff --git a/bindings/r/NAMESPACE b/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
diff --git a/bindings/solidity/Proven.sol b/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;
diff --git a/bindings/wat/proven.wat b/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)
diff --git a/domain-specific/concat/ProvenConcat/CLIPipeline.idr b/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
diff --git a/domain-specific/concat/ProvenConcat/ConfigLoader.idr b/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
diff --git a/domain-specific/concat/ProvenConcat/RouterTable.idr b/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
diff --git a/domain-specific/concat/ProvenConcat/SchedulerCore.idr b/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
diff --git a/domain-specific/concat/ProvenConcat/WebhookCore.idr b/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
diff --git a/domain-specific/provenance-utils/Proven/ProvenanceUtils.idr b/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
diff --git a/domain-specific/tui/src/app.rs b/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
diff --git a/domain-specific/tui/src/event.rs b/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
diff --git a/domain-specific/tui/src/main.rs b/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
diff --git a/domain-specific/tui/src/safety/calculator.rs b/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
diff --git a/domain-specific/tui/src/safety/mod.rs b/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
diff --git a/domain-specific/tui/src/ui/about.rs b/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
diff --git a/domain-specific/tui/src/ui/bounded.rs b/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
diff --git a/domain-specific/tui/src/ui/home.rs b/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
diff --git a/domain-specific/tui/src/ui/mod.rs b/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
diff --git a/domain-specific/tui/src/ui/safe_math.rs b/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
diff --git a/domain-specific/tui/src/ui/validation.rs b/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

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# SPDX-License-Identifier: PMPL-1.0`
	`1`	`+# SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`2`	`name: CodeQL Security Analysis`
`3`	`3`
`4`	`4`	`on:`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`--- SPDX-License-Identifier: PMPL-1.0`
	`1`	`+-- SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`2`	`-- SPDX-FileCopyrightText: 2025 Hyperpolymath`
`3`	`3`
`4`	`4`	`project Proven is`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`- *> SPDX-License-Identifier: PMPL-1.0`
	`1`	`+ *> SPDX-License-Identifier: PMPL-1.0-or-later`
`2`	`2`	`*> SPDX-FileCopyrightText: 2025 Hyperpolymath`
`3`	`3`	`*`
`4`	`4`	`* Proven SafeCurrency - Currency data structures for COBOL`