Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion .machine_readable/svc/k9/examples/project-metadata.k9.ncl
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ K9!
organization = "The Open University",
},

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

keywords = [
"rhodium-standard",
Expand Down
2 changes: 1 addition & 1 deletion CITATION.cff
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,6 @@ keywords:
- haskell
- taint-tracking
- wordpress
license: PMPL-1.0-or-later
license: MPL-2.0
version: "0.1.0"
date-released: "2025-01-03"
4 changes: 2 additions & 2 deletions DUBLINCORE.rdf
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@
<dc:format>application/x-haskell</dc:format>
<dc:identifier>https://github.com/hyperpolymath/sanctify-php</dc:identifier>
<dc:language>en</dc:language>
<dc:rights>PMPL-1.0-or-later</dc:rights>
<dcterms:license rdf:resource="https://www.gnu.org/licenses/agpl-3.0"/>
<dc:rights>MPL-2.0 (code); CC-BY-SA-4.0 (documentation)</dc:rights>
<dcterms:license rdf:resource="https://www.mozilla.org/MPL/2.0/"/>
<dcterms:conformsTo rdf:resource="https://github.com/hyperpolymath/rhodium-standard-repositories"/>
</rdf:Description>
</rdf:RDF>
661 changes: 0 additions & 661 deletions LICENSES/AGPL-3.0-or-later.txt

This file was deleted.

24 changes: 7 additions & 17 deletions NOTICE
Original file line number Diff line number Diff line change
@@ -1,22 +1,12 @@
Licensing Notice
================

This project is authored by Jonathan D.A. Jewell (hyperpolymath) and
is licensed under the Palimpsest License (PMPL-1.0-or-later).
Sanctify-PHP is authored by Jonathan D.A. Jewell (hyperpolymath).

The PMPL-1.0-or-later is a philosophical extension of the Mozilla Public
License 2.0, adding provisions for cryptographic provenance, emotional
lineage preservation, and quantum-safe signatures. The full PMPL text is
available in LICENSES/PMPL-1.0-or-later.txt.
- Code is licensed under the Mozilla Public License 2.0 (MPL-2.0).
The full text is in LICENSE and LICENSES/MPL-2.0.txt.
- Documentation and other prose are licensed under Creative Commons
Attribution-ShareAlike 4.0 International (CC-BY-SA-4.0).
The full text is in LICENSES/CC-BY-SA-4.0.txt.

For compatibility with automated license detection tools and platforms
that require OSI-approved licenses, the root LICENSE file contains the
standard Mozilla Public License 2.0 text. This ensures that package
registries, CI systems, and other tooling correctly identify the license.

The legally binding terms are:
- Source files: governed by PMPL-1.0-or-later (per SPDX headers)
- Combined works: compatible with MPL-2.0 (per PMPL Section 6)

For more information about the Palimpsest License:
https://github.com/hyperpolymath/palimpsest-license
Each file's SPDX-License-Identifier header states which applies.
41 changes: 0 additions & 41 deletions PALIMPSEST.adoc

This file was deleted.

2 changes: 1 addition & 1 deletion QUICKSTART-MAINTAINER.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -106,7 +106,7 @@ Or via OPSM: `opsm update {{PACKAGE_NAME}}`

== Security Notes

* License: PMPL-1.0-or-later (Palimpsest License)
* License: MPL-2.0 (code), CC-BY-SA-4.0 (docs)
* All dependencies SHA-pinned
* `panic-attacker` scan results: link:INSTALL-SECURITY-REPORT.adoc[]
* OpenSSF Scorecard: see badge in README
Expand Down
2 changes: 1 addition & 1 deletion QUICKSTART.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -463,6 +463,6 @@ sudo apt-get install libgmp-dev libffi-dev zlib1g-dev

== License

Sanctify-PHP is licensed under the PMPL-1.0-or-later license.
Sanctify-PHP code is licensed under MPL-2.0; its documentation under CC-BY-SA-4.0.

See link:LICENSE[LICENSE] for details.
5 changes: 3 additions & 2 deletions README.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
= Sanctify-PHP

image:https://img.shields.io/badge/License-MPL--2.0-blue.svg[License: MPL-2.0,link="https://www.mozilla.org/MPL/2.0/"]
image:https://img.shields.io/badge/Philosophy-Palimpsest-indigo.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"]


:author: Jonathan D.A. Jewell
Expand Down Expand Up @@ -161,7 +160,9 @@ sanctify export --guix ./project/ | aegis apply

== License

PMPL-1.0-or-later
Code is licensed under the Mozilla Public License 2.0 (`MPL-2.0`); see link:LICENSE[LICENSE].
Documentation and other prose are licensed under Creative Commons Attribution-ShareAlike 4.0
(`CC-BY-SA-4.0`); see link:LICENSES/CC-BY-SA-4.0.txt[LICENSES/CC-BY-SA-4.0.txt].

== Related Projects

Expand Down
2 changes: 1 addition & 1 deletion docs/README.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -199,7 +199,7 @@ sanctify export-php-ini wp-content/plugins/my-plugin/ \

== License

Sanctify-PHP is licensed under the PMPL-1.0-or-later license.
Sanctify-PHP code is licensed under MPL-2.0; its documentation under CC-BY-SA-4.0.

See link:../LICENSE[LICENSE] for details.

Expand Down
2 changes: 1 addition & 1 deletion docs/ROADMAP.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -425,7 +425,7 @@ Proper Guix package definition for reproducible builds:
(synopsis "PHP security hardening and analysis tool")
(description "Static analyzer that detects vulnerabilities and
transforms PHP code for security compliance.")
(license (list license:expat license:agpl3+))
(license license:mpl2.0)
(home-page "https://github.com/hyperpolymath/sanctify-php")))
----

Expand Down
2 changes: 1 addition & 1 deletion docs/accessibility/README.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -254,4 +254,4 @@ We welcome contributions to improve accessibility. See our link:../../.github/CO

== License

This document is licensed under PMPL-1.0-or-later. See link:../../LICENSE[LICENSE] for details.
This document is licensed under CC-BY-SA-4.0. See link:../../LICENSES/CC-BY-SA-4.0.txt[LICENSES/CC-BY-SA-4.0.txt] for details.
2 changes: 1 addition & 1 deletion llm-warmup-dev.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ See README.adoc for overview.

=== Quick Context

* License: PMPL-1.0-or-later
* License: MPL-2.0 (code), CC-BY-SA-4.0 (docs)
* Part of hyperpolymath ecosystem
* See EXPLAINME.adoc for architecture
2 changes: 1 addition & 1 deletion llm-warmup-user.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,6 @@ See README.adoc for overview.

=== Quick Context

* License: PMPL-1.0-or-later
* License: MPL-2.0 (code), CC-BY-SA-4.0 (docs)
* Part of hyperpolymath ecosystem
* See EXPLAINME.adoc for architecture
2 changes: 1 addition & 1 deletion sanctify-php.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ description:
* Multiple output formats (text, JSON, SARIF, HTML)
* Interactive fix mode and watch mode for development
* Infrastructure export (php.ini, nginx, Guix/Nix)
license: LicenseRef-PMPL-1.0-or-later
license: MPL-2.0
license-file: LICENSE
author: Jonathan D.A. Jewell
maintainer: j.d.a.jewell@open.ac.uk
Expand Down
2 changes: 1 addition & 1 deletion stapeln.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ name = "sanctify-php"
version = "0.1.0"
description = "sanctify php"
author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
license = "PMPL-1.0-or-later"
license = "MPL-2.0"
registry = "ghcr.io/hyperpolymath"

[build]
Expand Down
2 changes: 1 addition & 1 deletion void.ttl
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
dcterms:title "sanctify-php" ;
dcterms:description "Haskell-based PHP security analysis with taint tracking" ;
dcterms:creator <https://github.com/hyperpolymath> ;
dcterms:license <https://www.gnu.org/licenses/agpl-3.0> ;
dcterms:license <https://www.mozilla.org/MPL/2.0/> ;
dcterms:subject <http://dbpedia.org/resource/Static_program_analysis> ;
dcterms:subject <http://dbpedia.org/resource/PHP> ;
dcterms:subject <http://dbpedia.org/resource/Haskell> ;
Expand Down
3 changes: 1 addition & 2 deletions www/.well-known/ai.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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; its documentation 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)
Expand Down
2 changes: 1 addition & 1 deletion www/.well-known/humans.txt
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,6 @@ From: United Kingdom
/* SITE */
Last update: 2026-03-28
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