From fc7ffd3b58665a369bc8e6872438dc3a3cdd86bf Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 19 May 2026 21:11:14 +0100 Subject: [PATCH] licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) Not a relicence; owner-sanctioned standards LICENCE-POLICY A8(1); Refs LICENCE-DEBT-LEDGER-2026-05-18. Co-Authored-By: Claude Opus 4.7 (1M context) --- .github/workflows/codeql.yml | 2 +- .github/workflows/publish-ghcr.yml | 2 +- .github/workflows/scorecard.yml | 2 +- .github/workflows/secret-scanner.yml | 2 +- .github/workflows/spark-theatre-gate.yml | 2 +- bindings/ada/proven.gpr | 2 +- bindings/ada/tests/tests.gpr | 2 +- bindings/arduino/library.properties | 2 +- bindings/cobol/copybooks/SAFECURR.cpy | 2 +- bindings/cobol/copybooks/SAFEHEX.cpy | 2 +- bindings/cobol/copybooks/SAFEPHONE.cpy | 2 +- bindings/cobol/copybooks/SAFEUUID.cpy | 2 +- bindings/dhall/Proven.dhall | 2 +- bindings/dhall/proven/core/SafeCrypto.dhall | 2 +- bindings/dhall/proven/core/SafeCurrency.dhall | 2 +- bindings/dhall/proven/core/SafeEmail.dhall | 2 +- bindings/dhall/proven/core/SafeHex.dhall | 2 +- bindings/dhall/proven/core/SafeMath.dhall | 2 +- bindings/dhall/proven/core/SafeNetwork.dhall | 2 +- bindings/dhall/proven/core/SafePath.dhall | 2 +- bindings/dhall/proven/core/SafePhone.dhall | 2 +- bindings/dhall/proven/core/SafeString.dhall | 2 +- bindings/dhall/proven/core/SafeUUID.dhall | 2 +- bindings/dhall/proven/core/SafeUrl.dhall | 2 +- bindings/ephapax/Justfile | 2 +- bindings/grain/proven.gr | 2 +- bindings/lua/proven-0.3.0-1.rockspec | 2 +- bindings/move/sources/proven.move | 2 +- bindings/r/NAMESPACE | 2 +- bindings/solidity/Proven.sol | 2 +- bindings/wat/proven.wat | 2 +- domain-specific/concat/ProvenConcat/CLIPipeline.idr | 2 +- domain-specific/concat/ProvenConcat/ConfigLoader.idr | 2 +- domain-specific/concat/ProvenConcat/RouterTable.idr | 2 +- domain-specific/concat/ProvenConcat/SchedulerCore.idr | 2 +- domain-specific/concat/ProvenConcat/WebhookCore.idr | 2 +- domain-specific/provenance-utils/Proven/ProvenanceUtils.idr | 2 +- domain-specific/tui/src/app.rs | 2 +- domain-specific/tui/src/event.rs | 2 +- domain-specific/tui/src/main.rs | 2 +- domain-specific/tui/src/safety/calculator.rs | 2 +- domain-specific/tui/src/safety/mod.rs | 2 +- domain-specific/tui/src/ui/about.rs | 2 +- domain-specific/tui/src/ui/bounded.rs | 2 +- domain-specific/tui/src/ui/home.rs | 2 +- domain-specific/tui/src/ui/mod.rs | 2 +- domain-specific/tui/src/ui/safe_math.rs | 2 +- domain-specific/tui/src/ui/validation.rs | 2 +- 48 files changed, 48 insertions(+), 48 deletions(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 9e32d156..438fe5d9 100644 --- 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 index 8be970c5..4c71cf68 100644 --- 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 index 29853b20..7027732c 100644 --- 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 index 8801d536..cb9cdf88 100644 --- 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 index 2684ccfa..722a3827 100644 --- 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 index c04a76d5..f8f9d563 100644 --- 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 index 139c2726..0d848b13 100644 --- 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 index df9a00da..b80a8d97 100644 --- 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 index 6c3a9e06..5b17d998 100644 --- 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 index 05e87dff..0e0b0a1e 100644 --- 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 index 9818bd45..8a1f2338 100644 --- 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 index 9973ab17..201dde3b 100644 --- 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 index 273d6fa7..1e0513f7 100644 --- 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 index d571d23c..5bd13435 100644 --- 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 index 1b30ebac..940984fa 100644 --- 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 index e113dd23..9149640c 100644 --- 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 index 1e3eb735..61f750b2 100644 --- 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 index c210545a..ae982014 100644 --- 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 index 38621d87..59b09d7e 100644 --- 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 index 9d94a9bb..617422f1 100644 --- 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 index 0ffe85f6..4bf7f081 100644 --- 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 index 64e46768..dcc0b850 100644 --- 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 index 4fd8340f..787cdbd9 100644 --- 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 index f79f13c8..86c4cdd6 100644 --- 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 index ba160078..30f12eaf 100644 --- 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 index 0fa328d2..ea7b89c2 100644 --- 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 index fe1952fa..090e6fe9 100644 --- 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 index b677722a..f29c3fd0 100644 --- 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 index afa8d959..6311afb1 100644 --- 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 index 02079e56..d42c5647 100644 --- 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 index b7e8a29b..4c388b78 100644 --- 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 index a828018c..5f4f1768 100644 --- 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 index 5f8ff76a..093ba61b 100644 --- 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 index aa767e1c..3062383e 100644 --- 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 index 9c0e8ff3..d6bf3afc 100644 --- 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 index 18ad88eb..5b426cdc 100644 --- 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 index ead2caf4..3b25c052 100644 --- 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 index 46da7536..fea9e58f 100644 --- 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 index e5db3c79..c32ede77 100644 --- 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 index 87267dc3..4ae8a57d 100644 --- 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 index 9696af03..1eb01d2b 100644 --- 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 index ee08cc96..be5785fc 100644 --- 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 index 7a061920..c9295e79 100644 --- 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 index 2a1a9cf2..d146b271 100644 --- 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 index a1b140ce..e82e846e 100644 --- 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 index f75689a2..89f26186 100644 --- 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 index 456a438d..c0dc58e8 100644 --- 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 index beab5389..235d7bc1 100644 --- 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