Skip to content

fix(licence): clear PMPL residue from the files that stay in canon #648

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Aug 26, 2026
Merged

fix(licence): clear PMPL residue from the files that stay in canon #648

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion .machine_readable/descriptiles/AGENTIC.a2ml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,8 @@ can-create-files = true
# - Never commit secrets or credentials
# - Never use banned languages (TypeScript, Python, Go, etc.)
# - Never place state files in repository root (must be in .machine_readable/)
# - Never use AGPL license (use PMPL-1.0-or-later)
# - Never change an existing file's licence (owner-only, manual — LICENCE-POLICY A2)
# - New code defaults to MPL-2.0; AGPL-3.0-or-later is CORRECT under Rules 3, 4 and 5

[maintenance-integrity]
fail-closed = true
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/svc/k9/examples/project-metadata.k9.ncl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ K9!
organization = "{{AUTHOR_ORG}}",
},

license = "PMPL-1.0-or-later",
license = "MPL-2.0",

keywords = [
"rhodium-standard",
Expand Down
2 changes: 1 addition & 1 deletion a2ml-templates/STATE.a2ml.template
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ name = "{{PROJECT_NAME}}"
tier = "{{TIER}}"

# license: SPDX identifier. Almost always PMPL-1.0-or-later.
license = "PMPL-1.0-or-later"
license = "MPL-2.0"

# language: Primary programming language used.
language = "{{PRIMARY_LANGUAGE}}"
Expand Down
20 changes: 10 additions & 10 deletions a2ml/actions/validate/.machine_readable/compliance/reuse/dep5
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,49 +6,49 @@ Source: https://github.com/hyperpolymath/a2ml-validate-action
# Default: all files are PMPL-1.0-or-later
Files: *
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Configuration files that cannot carry headers
Files: .editorconfig .gitignore .gitattributes .tool-versions .mailmap
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Machine-readable state files
Files: .machine_readable/*.a2ml
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Bot directives
Files: .machine_readable/bot_directives/*
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Contractiles
Files: .machine_readable/contractiles/*
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# GitHub/CI configuration
Files: .github/* .github/**/*
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Generated files
Files: generated/*
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Lockfiles and auto-generated
Files: *.lock Cargo.lock flake.lock
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Devcontainer config (JSON, no comments)
Files: .devcontainer/*.json
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Git-cliff config
Files: cliff.toml
Copyright: 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
2 changes: 1 addition & 1 deletion a2ml/actions/validate/.well-known/humans.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,6 @@ From: United Kingdom
/* SITE */
Last update: 2026-03-16
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
20 changes: 10 additions & 10 deletions a2ml/bindings/deno/.machine_readable/compliance/reuse/dep5
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,49 +6,49 @@ Source: https://github.com/{{OWNER}}/{{REPO}}
# Default: all files are PMPL-1.0-or-later
Files: *
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Bot directives
Files: .machine_readable/bot_directives/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Contractiles
Files: .machine_readable/contractiles/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# GitHub/CI configuration
Files: .github/* .github/**/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Generated files
Files: generated/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Git-cliff config
Files: cliff.toml
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
2 changes: 1 addition & 1 deletion a2ml/bindings/deno/.well-known/humans.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
20 changes: 10 additions & 10 deletions a2ml/bindings/haskell/.machine_readable/compliance/reuse/dep5
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,49 +6,49 @@ Source: https://github.com/{{OWNER}}/{{REPO}}
# Default: all files are PMPL-1.0-or-later
Files: *
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Bot directives
Files: .machine_readable/bot_directives/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Contractiles
Files: .machine_readable/contractiles/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# GitHub/CI configuration
Files: .github/* .github/**/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Generated files
Files: generated/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Git-cliff config
Files: cliff.toml
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
2 changes: 1 addition & 1 deletion a2ml/bindings/haskell/.well-known/humans.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
20 changes: 10 additions & 10 deletions a2ml/bindings/rust/.machine_readable/compliance/reuse/dep5
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,49 +6,49 @@ Source: https://github.com/{{OWNER}}/{{REPO}}
# Default: all files are PMPL-1.0-or-later
Files: *
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Bot directives
Files: .machine_readable/bot_directives/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Contractiles
Files: .machine_readable/contractiles/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# GitHub/CI configuration
Files: .github/* .github/**/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Generated files
Files: generated/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Git-cliff config
Files: cliff.toml
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
2 changes: 1 addition & 1 deletion a2ml/bindings/rust/.well-known/humans.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion a2ml/cli/a2ml-cli.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ A2ML CLI v""" ++ version ++ """
Attested Markup Language - Command Line Interface
Copyright (c) 2026 Jonathan D.A. Jewell

License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
Repository: https://github.com/hyperpolymath/standards/tree/main/a2ml
"""

Expand Down
20 changes: 10 additions & 10 deletions a2ml/editors/vscode/.machine_readable/compliance/reuse/dep5
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,49 +6,49 @@ Source: https://github.com/{{OWNER}}/{{REPO}}
# Default: all files are PMPL-1.0-or-later
Files: *
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Bot directives
Files: .machine_readable/bot_directives/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Contractiles
Files: .machine_readable/contractiles/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# GitHub/CI configuration
Files: .github/* .github/**/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# Generated files
Files: generated/*
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# 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 (code) / CC-BY-SA-4.0 (docs)

# Git-cliff config
Files: cliff.toml
Copyright: {{CURRENT_YEAR}} {{AUTHOR}} ({{OWNER}}) <{{AUTHOR_EMAIL}}>
License: PMPL-1.0-or-later
License: MPL-2.0 (code) / CC-BY-SA-4.0 (docs)
2 changes: 1 addition & 1 deletion a2ml/editors/vscode/.well-known/humans.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Loading
Loading