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 .github/workflows/codeql.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: MPL-2.0
name: CodeQL Security Analysis

on:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/scorecard.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: MPL-2.0
name: Scorecards supply-chain security

on:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/secret-scanner.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PMPL-1.0
# SPDX-License-Identifier: MPL-2.0
name: Secret Scanner

on:
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/agent_instructions/README.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
= Agent Instructions
:toc: preamble
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/svc/k9/README.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
= K9 Contractiles
:toc: left
:icons: font
Expand Down
2 changes: 1 addition & 1 deletion CHANGELOG.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
= Changelog

All notable changes to this project will be documented in this file.
Expand Down
2 changes: 1 addition & 1 deletion EXPLAINME.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
= Robot Vacuum Cleaner Simulator — Show Me The Receipts
:toc:
Expand Down
2 changes: 0 additions & 2 deletions LICENSE
Original file line number Diff line number Diff line change
@@ -1,5 +1,3 @@
SPDX-License-Identifier: MPL-2.0

Mozilla Public License Version 2.0
==================================

Expand Down
170 changes: 170 additions & 0 deletions LICENSES/CC-BY-SA-4.0.txt

Large diffs are not rendered by default.

162 changes: 0 additions & 162 deletions LICENSES/PMPL-1.0-or-later.txt

This file was deleted.

2 changes: 1 addition & 1 deletion MAINTAINERS.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
= Maintainers
:toc: preamble

Expand Down
4 changes: 2 additions & 2 deletions PALIMPSEST.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
:toc:
:toc-placement!:

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

toc::[]
Expand All @@ -26,7 +26,7 @@ ethical-use, provenance, and lineage requirements.

1. Include the PMPL-1.0 license text in `LICENSE`.
2. Add SPDX headers to source files:
`SPDX-License-Identifier: MPL-2.0`
`SPDX-License-Identifier: CC-BY-SA-4.0`
3. Add a Palimpsest badge to your README (see `assets/badges/` and `embed/license-blocks/`).

== Versioning
Expand Down
2 changes: 1 addition & 1 deletion QUICKSTART-DEV.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
// Template: QUICKSTART-DEV.adoc — clone → build → test → PR
// Replace robot-vacuum-cleaner, {{BUILD_CMD}}, {{TEST_CMD}}, {{LANG_STACK}} with actuals
= robot-vacuum-cleaner — Quick Start for Developers
Expand Down
2 changes: 1 addition & 1 deletion QUICKSTART-MAINTAINER.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
// Template: QUICKSTART-MAINTAINER.adoc — packaging, deploying, and maintaining
// Replace robot-vacuum-cleaner, {{PACKAGE_NAME}}, {{DEPS}} with actuals
= robot-vacuum-cleaner — Quick Start for Platform Maintainers
Expand Down
2 changes: 1 addition & 1 deletion QUICKSTART-USER.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
// Template: QUICKSTART-USER.adoc — 5-minute path to working software
// Replace robot-vacuum-cleaner, Robot Vacuum Cleaner — See README.adoc for details., just run, Robot Vacuum Cleaner started successfully. with actuals
= robot-vacuum-cleaner — Quick Start for Users
Expand Down
2 changes: 1 addition & 1 deletion TESTING-REPORT.adoc
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MPL-2.0
// SPDX-License-Identifier: CC-BY-SA-4.0
= Robot Vacuum Cleaner Testing Report
:author: Claude Code Testing Agent
:date: 2025-12-29
Expand Down
2 changes: 1 addition & 1 deletion TOPOLOGY.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<!-- SPDX-License-Identifier: MPL-2.0 -->
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
<!-- TOPOLOGY.md — Project architecture map and completion dashboard -->
<!-- Last updated: 2026-02-19 -->

Expand Down
2 changes: 1 addition & 1 deletion contractiles/dust/Dustfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PLMP-1.0-or-later
# SPDX-License-Identifier: MPL-2.0
# Dustfile template - recovery and rollback semantics

version: 1
Expand Down
2 changes: 1 addition & 1 deletion contractiles/must/Mustfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# SPDX-License-Identifier: PLMP-1.0-or-later
# SPDX-License-Identifier: MPL-2.0
# Mustfile - declarative state contract (template)
# See: https://github.com/hyperpolymath/mustfile

Expand Down
2 changes: 1 addition & 1 deletion docs/tech-debt-2026-05-26.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!--
SPDX-License-Identifier: MPL-2.0
SPDX-License-Identifier: CC-BY-SA-4.0
SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
-->

Expand Down
2 changes: 1 addition & 1 deletion src/rust/benches/pathfinding.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MIT
// SPDX-License-Identifier: MPL-2.0
//! Pathfinding algorithm benchmarks

use criterion::{black_box, criterion_group, criterion_main, Criterion};
Expand Down
2 changes: 1 addition & 1 deletion src/rust/benches/slam.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// SPDX-License-Identifier: MIT
// SPDX-License-Identifier: MPL-2.0
//! SLAM algorithm benchmarks

use criterion::{black_box, criterion_group, criterion_main, Criterion};
Expand Down
Loading