Skip to content

Commit 98b8201

Browse files
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) (#169)
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) <noreply@anthropic.com>
1 parent fb8c923 commit 98b8201

35 files changed

Lines changed: 38 additions & 38 deletions

.github/workflows/codeql.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
name: CodeQL Security Analysis
33

44
on:

.github/workflows/scorecard.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
name: OSSF Scorecard
33
on:
44
push:

.github/workflows/secret-scanner.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# Prevention workflow - scans for hardcoded secrets before they reach main
33
name: Secret Scanner
44

bots/echidnabot/CITATION.cff

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# CITATION.cff - Citation File Format for echidnabot
22
# https://citation-file-format.github.io/
3-
# SPDX-License-Identifier: PMPL-1.0 OR LicenseRef-Palimpsest-0.5
3+
# SPDX-License-Identifier: PMPL-1.0-or-later OR LicenseRef-Palimpsest-0.5
44

55
cff-version: 1.2.0
66
title: "echidnabot"

bots/echidnabot/Containerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# Build stage
33
FROM docker.io/library/rust:1.83-slim AS builder
44

bots/echidnabot/Mustfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# Mustfile - hyperpolymath mandatory checks
33
# See: https://github.com/hyperpolymath/mustfile
44

bots/echidnabot/contracts/Token.sol

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// SPDX-License-Identifier: PMPL-1.0
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
22
// Copyright (C) 2024 Jonathan D.A. Jewell / Hyperpolymath
33

44
pragma solidity ^0.8.19;

bots/echidnabot/contracts/TokenEchidnaTest.sol

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// SPDX-License-Identifier: PMPL-1.0
1+
// SPDX-License-Identifier: PMPL-1.0-or-later
22
// Copyright (C) 2024 Jonathan D.A. Jewell / Hyperpolymath
33

44
pragma solidity ^0.8.19;

bots/echidnabot/flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
22
# SPDX-FileCopyrightText: 2025 hyperpolymath
33
{
44
description = "ECHIDNABOT - Proof-aware CI bot for theorem verification";

bots/echidnabot/hooks/pre-commit-tsjs-blocker.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#!/usr/bin/env bash
2-
# SPDX-License-Identifier: PMPL-1.0
2+
# SPDX-License-Identifier: PMPL-1.0-or-later
33
# Pre-commit hook: block TypeScript/JavaScript and Node configs
44
set -euo pipefail
55

0 commit comments

Comments
 (0)