From 98d878c1e96469d663ac74ab341ae8ea7b30e6fe Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 27 Jun 2026 19:09:48 +0000 Subject: [PATCH] chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + CC-BY-SA-4.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The estate already normalised this repo to the canonical pair — MPL-2.0 (code/config) + CC-BY-SA-4.0 (docs) — in #138/#156/#161/#163. The #156 pass flipped SPDX *header* stamps only, so stray PMPL-1.0-or-later strings survived in prose/metadata bodies. This is the loose end PR #167 flagged "for owner" (verisimiser is not a PMPL carve-out repo; LICENSE, LICENSES/, Cargo.toml and every SPDX header are MPL-2.0). Reconciled (own license declarations): - .machine_readable/compliance/reuse/dep5 — REUSE/DEP5 default + config stanzas PMPL → MPL-2.0; CC-BY-SA-4.0 docs override (last-match) kept - .well-known/ai.txt — code-license line → MPL-2.0; dropped the "Emotional Lineage per PMPL Section 3" clause (no such obligation in MPL-2.0) - .well-known/humans.txt — License line → MPL-2.0 (code) + CC-BY-SA-4.0 (docs) - docs/attribution/CITATION.cff — license → MPL-2.0 - .machine_readable/ai/{.cursorrules,.clinerules,.windsurfrules} — license policy block → MPL-2.0 canonical pair (kept "Never AGPL-3.0") - .machine_readable/svc/k9/examples/{project-metadata,setup-repo}.k9.ncl — example license string/recipe → MPL-2.0 (recipe no longer curls a PMPL LICENSE) Deliberately left (not own self-declarations): - docs/legal/EXHIBIT-{A,B}-*.txt — bodies of the Palimpsest-MPL license itself - contractile.just — generic multi-license recognizer ('MIT|Apache|PMPL|MPL') Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_01JdqVWGSSv36Ph8ZWvizGMp --- .machine_readable/ai/.clinerules | 4 ++-- .machine_readable/ai/.cursorrules | 4 ++-- .machine_readable/ai/.windsurfrules | 4 ++-- .machine_readable/compliance/reuse/dep5 | 22 +++++++++---------- .../svc/k9/examples/project-metadata.k9.ncl | 2 +- .../svc/k9/examples/setup-repo.k9.ncl | 4 ++-- .well-known/ai.txt | 3 +-- .well-known/humans.txt | 2 +- docs/attribution/CITATION.cff | 2 +- 9 files changed, 23 insertions(+), 24 deletions(-) diff --git a/.machine_readable/ai/.clinerules b/.machine_readable/ai/.clinerules index 854d2ee..b2d497a 100644 --- a/.machine_readable/ai/.clinerules +++ b/.machine_readable/ai/.clinerules @@ -5,8 +5,8 @@ # STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml. # LICENSE -# All original code: PMPL-1.0-or-later. -# Never AGPL-3.0. MPL-2.0 only as platform-required fallback. +# Code + config: MPL-2.0. Documentation prose: CC-BY-SA-4.0. +# Never AGPL-3.0. # SPDX header required on every source file. # Copyright: {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> diff --git a/.machine_readable/ai/.cursorrules b/.machine_readable/ai/.cursorrules index d3b9cee..2e2b77f 100644 --- a/.machine_readable/ai/.cursorrules +++ b/.machine_readable/ai/.cursorrules @@ -5,8 +5,8 @@ # Read 0-AI-MANIFEST.a2ml in the repo root FIRST for canonical file locations. # LICENSE -# All original code: PMPL-1.0-or-later (SPDX header required on every file). -# Never use AGPL-3.0. Fallback to MPL-2.0 only when platform requires it. +# Code + config: MPL-2.0 (SPDX header required on every file). Docs prose: CC-BY-SA-4.0. +# Never use AGPL-3.0. # Copyright: {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> # STATE FILES diff --git a/.machine_readable/ai/.windsurfrules b/.machine_readable/ai/.windsurfrules index 854d2ee..b2d497a 100644 --- a/.machine_readable/ai/.windsurfrules +++ b/.machine_readable/ai/.windsurfrules @@ -5,8 +5,8 @@ # STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml. # LICENSE -# All original code: PMPL-1.0-or-later. -# Never AGPL-3.0. MPL-2.0 only as platform-required fallback. +# Code + config: MPL-2.0. Documentation prose: CC-BY-SA-4.0. +# Never AGPL-3.0. # SPDX header required on every source file. # Copyright: {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> diff --git a/.machine_readable/compliance/reuse/dep5 b/.machine_readable/compliance/reuse/dep5 index e363985..bead9ed 100644 --- a/.machine_readable/compliance/reuse/dep5 +++ b/.machine_readable/compliance/reuse/dep5 @@ -3,55 +3,55 @@ Upstream-Name: {{PROJECT_NAME}} Upstream-Contact: {{AUTHOR}} <{{AUTHOR_EMAIL}}> Source: https://github.com/{{OWNER}}/{{REPO}} -# Default: all files are PMPL-1.0-or-later +# Default: all files are MPL-2.0 Files: * Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Configuration files that cannot carry headers Files: .editorconfig .gitignore .gitattributes .tool-versions .mailmap Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Machine-readable state files Files: .machine_readable/*.a2ml Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Bot directives Files: .machine_readable/bot_directives/* Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Contractiles Files: .machine_readable/contractiles/* Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # GitHub/CI configuration Files: .github/* .github/**/* Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Generated files Files: generated/* Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Lockfiles and auto-generated Files: *.lock Cargo.lock flake.lock Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Devcontainer config (JSON, no comments) Files: .devcontainer/*.json Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Git-cliff config Files: cliff.toml Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}> -License: PMPL-1.0-or-later +License: MPL-2.0 # Documentation prose is CC-BY-SA-4.0 (code/config is MPL-2.0). # Last-match-wins in the Debian copyright format, so this overrides the diff --git a/.machine_readable/svc/k9/examples/project-metadata.k9.ncl b/.machine_readable/svc/k9/examples/project-metadata.k9.ncl index 3c27879..7bc6941 100644 --- a/.machine_readable/svc/k9/examples/project-metadata.k9.ncl +++ b/.machine_readable/svc/k9/examples/project-metadata.k9.ncl @@ -40,7 +40,7 @@ K9! organization = "{{AUTHOR_ORG}}", }, - license = "PMPL-1.0-or-later", + license = "MPL-2.0", keywords = [ "rhodium-standard", diff --git a/.machine_readable/svc/k9/examples/setup-repo.k9.ncl b/.machine_readable/svc/k9/examples/setup-repo.k9.ncl index 523e817..2beda70 100644 --- a/.machine_readable/svc/k9/examples/setup-repo.k9.ncl +++ b/.machine_readable/svc/k9/examples/setup-repo.k9.ncl @@ -130,9 +130,9 @@ K9! }, "add-license" = { - description = "Add PMPL-1.0 license", + description = "Add MPL-2.0 license", commands = [ - "curl -sL https://raw.githubusercontent.com/hyperpolymath/pmpl/main/LICENSE -o LICENSE", + "curl -sL https://raw.githubusercontent.com/spdx/license-list-data/main/text/MPL-2.0.txt -o LICENSE", "echo '✓ License added'", ], }, diff --git a/.well-known/ai.txt b/.well-known/ai.txt index cc7cbc3..9a6380f 100644 --- a/.well-known/ai.txt +++ b/.well-known/ai.txt @@ -7,10 +7,9 @@ Disallow-Training: yes Disallow-Summarization: no Disallow-Generation: yes -# This project's code is licensed under PMPL-1.0-or-later. +# This project's code is licensed under MPL-2.0 (documentation prose under CC-BY-SA-4.0). # AI agents may read and analyze this code for assisting contributors. # AI agents must NOT use this code for model training without explicit consent. -# AI agents must preserve Emotional Lineage per PMPL Section 3. # # For AI agent integration instructions, see: # 0-AI-MANIFEST.a2ml (universal AI entry point) diff --git a/.well-known/humans.txt b/.well-known/humans.txt index 6b2998f..812ccc2 100644 --- a/.well-known/humans.txt +++ b/.well-known/humans.txt @@ -9,6 +9,6 @@ From: United Kingdom /* SITE */ Last update: {{CURRENT_DATE}} Standards: RSR (Rhodium Standard Repository) -License: PMPL-1.0-or-later (Palimpsest MPL) +License: MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Components: Idris2 ABI, Zig FFI Tools: just, Podman, Guix diff --git a/docs/attribution/CITATION.cff b/docs/attribution/CITATION.cff index 4d562f4..05d36d9 100644 --- a/docs/attribution/CITATION.cff +++ b/docs/attribution/CITATION.cff @@ -9,7 +9,7 @@ version: 0.1.0 date-released: {{CURRENT_DATE}} url: "https://{{FORGE}}/{{OWNER}}/{{REPO}}" repository-code: "https://{{FORGE}}/{{OWNER}}/{{REPO}}" -license: PMPL-1.0-or-later +license: MPL-2.0 keywords: - "rsr" - "formal-verification"