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/contractiles/Trustfile.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ Current trust level: maximal

#### license-content
- description: LICENSE contains expected identifier
- run: grep -q 'PMPL\|MPL\|MIT\|Apache\|LGPL' LICENSE
- run: grep -qiE 'Mozilla Public License|MIT License|Apache License|General Public License|Creative Commons' LICENSE && ! grep -qi palimpsest LICENSE
- severity: warning

## Template-Specific Trust
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -130,9 +130,11 @@ 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 -sSfL https://www.mozilla.org/media/MPL/2.0/index.txt -o LICENSE.tmp",
"grep -q 'Mozilla Public License Version 2.0' LICENSE.tmp",
"mv LICENSE.tmp LICENSE",
"echo '✓ License added'",
],
},
Expand Down
1 change: 0 additions & 1 deletion .well-known/ai.txt
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,6 @@ Disallow-Generation: yes
# This project's code is licensed under MPL-2.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 .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-07-27
Standards: RSR (Rhodium Standard Repository)
License: MPL-2.0 (Palimpsest MPL)
License: MPL-2.0
Components: Idris2 ABI, Zig FFI
Tools: just, Podman, Guix
2 changes: 1 addition & 1 deletion build/contractile.just
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ trust-verify: trust-license-content trust-no-secrets-committed trust-container-i

# LICENSE contains expected SPDX identifier
trust-license-content:
grep -q 'SPDX\|License\|MIT\|Apache\|PMPL\|MPL' LICENSE
grep -qiE 'Mozilla Public License|MIT License|Apache License|General Public License|Creative Commons' LICENSE && ! grep -qi palimpsest LICENSE

# No .env or credential files in repo
trust-no-secrets-committed:
Expand Down
3 changes: 0 additions & 3 deletions build/just/validate.just
Original file line number Diff line number Diff line change
Expand Up @@ -19,9 +19,6 @@ validate-rsr:
for f in .machine_readable/6a2/STATE.a2ml .machine_readable/6a2/META.a2ml .machine_readable/6a2/ECOSYSTEM.a2ml .machine_readable/6a2/anchors/ANCHOR.a2ml .machine_readable/policies/MAINTENANCE-AXES.a2ml .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml .machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml; do
[ -f "$f" ] || MISSING="$MISSING $f"
done
for f in licensing/exhibits/EXHIBIT-A-ETHICAL-USE.txt licensing/exhibits/EXHIBIT-B-QUANTUM-SAFE.txt licensing/texts/MPL-2.0.txt; do
[ -f "$f" ] || MISSING="$MISSING $f"
done
if [ ! -d "src/interface/abi" ] && [ ! -d "src/interface/Abi" ]; then
MISSING="$MISSING src/interface/abi"
fi
Expand Down
12 changes: 2 additions & 10 deletions docs/RSR_OUTLINE.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
= RSR Template Repository

image:[Palimpsest-MPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] image:[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"]
image:https://img.shields.io/badge/License-MPL--2.0-brightgreen[MPL-2.0,link="https://www.mozilla.org/media/MPL/2.0/index.txt"]
:toc:
:sectnums:

Expand Down Expand Up @@ -80,13 +80,7 @@ just validate-rsr
|Container build (Wolfi base, Podman)

|`LICENSE`
|MPL-2.0 (Palimpsest MPL)

|`EXHIBIT-A-ETHICAL-USE.txt`
|Ethical use guidelines (LICENSE Exhibit A)

|`EXHIBIT-B-QUANTUM-SAFE.txt`
|Quantum-safe provenance spec (LICENSE Exhibit B)
|MPL-2.0
Comment thread
coderabbitai[bot] marked this conversation as resolved.

|`README.adoc`
|Project overview
Expand Down Expand Up @@ -193,8 +187,6 @@ project/
├── Justfile # Task runner
├── Containerfile # Container build
├── LICENSE # MPL-2.0
├── EXHIBIT-A-ETHICAL-USE.txt # Ethical use guidelines
├── EXHIBIT-B-QUANTUM-SAFE.txt # Quantum-safe provenance
├── README.adoc # Overview
├── TOPOLOGY.md # Architecture + completion
├── PLACEHOLDERS.md # Template variable guide
Expand Down
2 changes: 1 addition & 1 deletion docs/STATE-VISUALIZER.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@ CONTAINER ECOSYSTEM (Phase 2)

REPO INFRASTRUCTURE
.machine_readable/ ██████████ 100% STATE/META/ECOSYSTEM active
Governance & License ██████████ 100% PMPL & Ethical use verified
Governance & License ██████████ 100% MPL-2.0 licence verified
Development Shells (Guix/Guix) ██████████ 100% Reproducible env stable

─────────────────────────────────────────────────────────────────────────────
Expand Down
68 changes: 0 additions & 68 deletions docs/legal/EXHIBIT-A-ETHICAL-USE.txt

This file was deleted.

102 changes: 0 additions & 102 deletions docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt

This file was deleted.

2 changes: 1 addition & 1 deletion docs/onboarding/QUICKSTART-MAINTAINER.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,7 @@ Or via OPSM: `opsm update contractiles`

== Security Notes

* License: MPL-2.0 (Palimpsest License)
* License: MPL-2.0
* All dependencies SHA-pinned
* `panic-attacker` scan results: link:INSTALL-SECURITY-REPORT.adoc[]
* OpenSSF Scorecard: see badge in README
Expand Down
1 change: 0 additions & 1 deletion docs/practice/ci-cost-reduction.adoc
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
// SPDX-License-Identifier: CC-BY-SA-4.0
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
// (MPL-2.0 is automatic legal fallback until PMPL is formally recognised)
= CI Cost Reduction — RSR Estate Spec
:toc: left
:toclevels: 3
Expand Down
Loading