From cce917dd33f072534f3bfe13d6b1ffd7a4b4c457 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Tue, 2 Jun 2026 18:44:36 +0100 Subject: [PATCH] =?UTF-8?q?chore(license):=20flip=2081=20PMPL=E2=86=92MPL-?= =?UTF-8?q?2.0=20SPDX=20stamps=20(per=202026-06-02=20estate=20policy)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.7 (1M context) --- .gitattributes | 2 +- .github/FUNDING.yml | 2 +- .github/dependabot.yml | 2 +- .github/workflows/boj-build.yml | 2 +- .github/workflows/casket-pages.yml | 2 +- .github/workflows/ci-cd.yml | 2 +- .github/workflows/dependabot-automerge.yml | 2 +- .github/workflows/dogfood-gate.yml | 2 +- .github/workflows/governance.yml | 2 +- .github/workflows/instant-sync.yml | 2 +- .github/workflows/mirror.yml | 2 +- .github/workflows/scorecard-enforcer.yml | 2 +- .gitignore | 2 +- .machine_readable/6a2/AGENTIC.a2ml | 2 +- .machine_readable/6a2/ECOSYSTEM.a2ml | 2 +- .machine_readable/6a2/META.a2ml | 2 +- .machine_readable/6a2/NEUROSYM.a2ml | 2 +- .machine_readable/6a2/PLAYBOOK.a2ml | 2 +- .machine_readable/6a2/STATE.a2ml | 2 +- .machine_readable/ADJUST.contractile | 2 +- .machine_readable/CLADE.a2ml | 2 +- .machine_readable/INTENT.contractile | 2 +- .machine_readable/MUST.contractile | 2 +- .machine_readable/TRUST.contractile | 2 +- .machine_readable/agent_instructions/README.adoc | 2 +- .machine_readable/agent_instructions/coverage.a2ml | 2 +- .machine_readable/agent_instructions/debt.a2ml | 2 +- .machine_readable/agent_instructions/methodology.a2ml | 2 +- .machine_readable/contractiles/bust/Bustfile.a2ml | 2 +- .machine_readable/contractiles/bust/bust.ncl | 2 +- .machine_readable/contractiles/dust/Dustfile.a2ml | 2 +- .machine_readable/contractiles/trust/Trustfile.a2ml | 2 +- .machine_readable/integrations/feedback-o-tron.a2ml | 2 +- .machine_readable/integrations/proven.a2ml | 2 +- .machine_readable/integrations/verisimdb.a2ml | 2 +- .machine_readable/integrations/vexometer.a2ml | 2 +- .machine_readable/svc/k9/README.adoc | 2 +- .machine_readable/svc/k9/examples/ci-config.k9.ncl | 2 +- .machine_readable/svc/k9/examples/project-metadata.k9.ncl | 2 +- .machine_readable/svc/k9/examples/setup-repo.k9.ncl | 2 +- .machine_readable/svc/k9/template-hunt.k9.ncl | 2 +- .machine_readable/svc/k9/template-kennel.k9.ncl | 2 +- .machine_readable/svc/k9/template-yard.k9.ncl | 2 +- CHANGELOG.adoc | 2 +- CITATION.cff | 2 +- EXPLAINME.adoc | 2 +- MAINTAINERS.adoc | 2 +- Mustfile | 2 +- PALIMPSEST.adoc | 2 +- QUICKSTART-DEV.adoc | 2 +- QUICKSTART-MAINTAINER.adoc | 2 +- QUICKSTART-USER.adoc | 2 +- TESTING-REPORT.adoc | 2 +- TESTING-REPORT.scm | 2 +- TOPOLOGY.md | 2 +- contractile.just | 2 +- docker/eclexiaiser.toml | 2 +- flake.nix | 2 +- setup.sh | 4 ++-- src/julia/RobotVacuum/src/RobotVacuum.jl | 2 +- src/julia/RobotVacuum/src/environment.jl | 2 +- src/julia/RobotVacuum/src/pathplanning.jl | 2 +- src/julia/RobotVacuum/src/robot.jl | 2 +- src/julia/RobotVacuum/src/simulator.jl | 2 +- src/julia/RobotVacuum/src/slam.jl | 2 +- src/julia/RobotVacuum/src/types.jl | 2 +- src/julia/main.jl | 2 +- src/rust/benches/robot_bench.rs | 2 +- src/rust/src/environment.rs | 2 +- src/rust/src/lib.rs | 2 +- src/rust/src/main.rs | 2 +- src/rust/src/pathfinding.rs | 2 +- src/rust/src/robot.rs | 2 +- src/rust/src/simulator.rs | 2 +- src/rust/src/slam.rs | 2 +- src/rust/src/types.rs | 2 +- src/rust/tests/aspect_test.rs | 2 +- src/rust/tests/e2e_test.rs | 2 +- src/rust/tests/property_test.rs | 2 +- stapeln.toml | 2 +- validate-robot-config.k9.ncl | 2 +- 81 files changed, 82 insertions(+), 82 deletions(-) diff --git a/.gitattributes b/.gitattributes index 651ec9a..09f6b3a 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # RSR-compliant .gitattributes * text=auto eol=lf diff --git a/.github/FUNDING.yml b/.github/FUNDING.yml index fd9bb96..688a442 100644 --- a/.github/FUNDING.yml +++ b/.github/FUNDING.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Funding platforms for hyperpolymath projects # See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository diff --git a/.github/dependabot.yml b/.github/dependabot.yml index 360c3e7..cc6a79e 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 version: 2 updates: - package-ecosystem: "cargo" diff --git a/.github/workflows/boj-build.yml b/.github/workflows/boj-build.yml index ddeab5d..712beb3 100644 --- a/.github/workflows/boj-build.yml +++ b/.github/workflows/boj-build.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 name: BoJ Server Build Trigger on: push: diff --git a/.github/workflows/casket-pages.yml b/.github/workflows/casket-pages.yml index dee6a46..1839b7b 100644 --- a/.github/workflows/casket-pages.yml +++ b/.github/workflows/casket-pages.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 name: GitHub Pages on: diff --git a/.github/workflows/ci-cd.yml b/.github/workflows/ci-cd.yml index ab01cc8..3fbb254 100644 --- a/.github/workflows/ci-cd.yml +++ b/.github/workflows/ci-cd.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 name: CI/CD Pipeline on: diff --git a/.github/workflows/dependabot-automerge.yml b/.github/workflows/dependabot-automerge.yml index be5c67f..ca86baa 100644 --- a/.github/workflows/dependabot-automerge.yml +++ b/.github/workflows/dependabot-automerge.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # # dependabot-automerge.yml — enable GitHub's native auto-merge on # Dependabot pull requests that match a declared severity / ecosystem diff --git a/.github/workflows/dogfood-gate.yml b/.github/workflows/dogfood-gate.yml index 3535c7e..582f3ee 100644 --- a/.github/workflows/dogfood-gate.yml +++ b/.github/workflows/dogfood-gate.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # dogfood-gate.yml — Hyperpolymath Dogfooding Quality Gate diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml index 4bb50e9..653ef98 100644 --- a/.github/workflows/governance.yml +++ b/.github/workflows/governance.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # governance.yml — single wrapper calling the shared estate governance bundle # in hyperpolymath/standards instead of carrying per-repo copies. # diff --git a/.github/workflows/instant-sync.yml b/.github/workflows/instant-sync.yml index e900c7e..228dc43 100644 --- a/.github/workflows/instant-sync.yml +++ b/.github/workflows/instant-sync.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Instant Forge Sync - Triggers propagation to all forges on push/release name: Instant Sync diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index a91c5ec..2083ca6 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 name: Mirror to Git Forges on: diff --git a/.github/workflows/scorecard-enforcer.yml b/.github/workflows/scorecard-enforcer.yml index af0bef8..295e009 100644 --- a/.github/workflows/scorecard-enforcer.yml +++ b/.github/workflows/scorecard-enforcer.yml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Prevention workflow - runs OpenSSF Scorecard and fails on low scores name: OpenSSF Scorecard Enforcer diff --git a/.gitignore b/.gitignore index e15d8f0..cc9fc67 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # RSR-compliant .gitignore # OS & Editor diff --git a/.machine_readable/6a2/AGENTIC.a2ml b/.machine_readable/6a2/AGENTIC.a2ml index 09aa2c2..4a98976 100644 --- a/.machine_readable/6a2/AGENTIC.a2ml +++ b/.machine_readable/6a2/AGENTIC.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # AGENTIC.a2ml — AI agent constraints and capabilities diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml index a7a8c56..bddd8a6 100644 --- a/.machine_readable/6a2/ECOSYSTEM.a2ml +++ b/.machine_readable/6a2/ECOSYSTEM.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # ECOSYSTEM.a2ml — Ecosystem position # Converted from ECOSYSTEM.scm on 2026-03-15 diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/6a2/META.a2ml index 4a8db2f..b1742fe 100644 --- a/.machine_readable/6a2/META.a2ml +++ b/.machine_readable/6a2/META.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # META.a2ml — Project meta-information # Converted from META.scm on 2026-03-15 diff --git a/.machine_readable/6a2/NEUROSYM.a2ml b/.machine_readable/6a2/NEUROSYM.a2ml index ce0c930..767d7dd 100644 --- a/.machine_readable/6a2/NEUROSYM.a2ml +++ b/.machine_readable/6a2/NEUROSYM.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # NEUROSYM.a2ml — Neurosymbolic integration metadata diff --git a/.machine_readable/6a2/PLAYBOOK.a2ml b/.machine_readable/6a2/PLAYBOOK.a2ml index 02c3acb..a961250 100644 --- a/.machine_readable/6a2/PLAYBOOK.a2ml +++ b/.machine_readable/6a2/PLAYBOOK.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # PLAYBOOK.a2ml — Operational playbook diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/6a2/STATE.a2ml index 0b61b99..3870433 100644 --- a/.machine_readable/6a2/STATE.a2ml +++ b/.machine_readable/6a2/STATE.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # STATE.a2ml — Project state checkpoint # Converted from STATE.scm on 2026-03-15 diff --git a/.machine_readable/ADJUST.contractile b/.machine_readable/ADJUST.contractile index 95ddfa5..29c2dca 100644 --- a/.machine_readable/ADJUST.contractile +++ b/.machine_readable/ADJUST.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: PMPL-1.0-or-later +; SPDX-License-Identifier: MPL-2.0 ; ADJUST.contractile — Accessibility invariants for robot-vacuum-cleaner ; "ADJUST" = Accessibility & Digital Justice for Universal Software & Technology ; diff --git a/.machine_readable/CLADE.a2ml b/.machine_readable/CLADE.a2ml index 1b864c6..1f4a218 100644 --- a/.machine_readable/CLADE.a2ml +++ b/.machine_readable/CLADE.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Clade declaration — part of the gv-clade-index registry # See: https://github.com/hyperpolymath/gv-clade-index diff --git a/.machine_readable/INTENT.contractile b/.machine_readable/INTENT.contractile index 6905999..cd85533 100644 --- a/.machine_readable/INTENT.contractile +++ b/.machine_readable/INTENT.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: PMPL-1.0-or-later +; SPDX-License-Identifier: MPL-2.0 ; INTENT.contractile — Purpose and scope for robot-vacuum-cleaner ; Helps LLM/SLM agents understand what this repo IS and IS NOT. ; diff --git a/.machine_readable/MUST.contractile b/.machine_readable/MUST.contractile index 9c522eb..456198e 100644 --- a/.machine_readable/MUST.contractile +++ b/.machine_readable/MUST.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: PMPL-1.0-or-later +; SPDX-License-Identifier: MPL-2.0 ; MUST.contractile — Baseline invariants for robot-vacuum-cleaner ; These constraints MUST NOT be violated. K9 validators enforce them. ; diff --git a/.machine_readable/TRUST.contractile b/.machine_readable/TRUST.contractile index 82e2dce..0ada251 100644 --- a/.machine_readable/TRUST.contractile +++ b/.machine_readable/TRUST.contractile @@ -1,4 +1,4 @@ -; SPDX-License-Identifier: PMPL-1.0-or-later +; SPDX-License-Identifier: MPL-2.0 ; TRUST.contractile — Trust boundaries for robot-vacuum-cleaner ; Defines what LLM/SLM agents are trusted to do without asking. ; diff --git a/.machine_readable/agent_instructions/README.adoc b/.machine_readable/agent_instructions/README.adoc index 0ed360b..9bc2e24 100644 --- a/.machine_readable/agent_instructions/README.adoc +++ b/.machine_readable/agent_instructions/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = Agent Instructions :toc: preamble diff --git a/.machine_readable/agent_instructions/coverage.a2ml b/.machine_readable/agent_instructions/coverage.a2ml index 3d720dc..6979664 100644 --- a/.machine_readable/agent_instructions/coverage.a2ml +++ b/.machine_readable/agent_instructions/coverage.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # coverage.a2ml — Session coverage tracking diff --git a/.machine_readable/agent_instructions/debt.a2ml b/.machine_readable/agent_instructions/debt.a2ml index f46451a..c0238c5 100644 --- a/.machine_readable/agent_instructions/debt.a2ml +++ b/.machine_readable/agent_instructions/debt.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # debt.a2ml — Meander debt list diff --git a/.machine_readable/agent_instructions/methodology.a2ml b/.machine_readable/agent_instructions/methodology.a2ml index 9bf1439..754f357 100644 --- a/.machine_readable/agent_instructions/methodology.a2ml +++ b/.machine_readable/agent_instructions/methodology.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # # methodology.a2ml — AI agent methodology configuration diff --git a/.machine_readable/contractiles/bust/Bustfile.a2ml b/.machine_readable/contractiles/bust/Bustfile.a2ml index 9b7026c..ee138f5 100644 --- a/.machine_readable/contractiles/bust/Bustfile.a2ml +++ b/.machine_readable/contractiles/bust/Bustfile.a2ml @@ -1,5 +1,5 @@ // Bustfile.a2ml — meta-repo bust contractile (breakage / rollback) -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 Bust { name: "robot-vacuum-cleaner" diff --git a/.machine_readable/contractiles/bust/bust.ncl b/.machine_readable/contractiles/bust/bust.ncl index 3d9ab8b..fc8cb8c 100644 --- a/.machine_readable/contractiles/bust/bust.ncl +++ b/.machine_readable/contractiles/bust/bust.ncl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Bust — error-handling / failure-recovery runner # # Pairs with: Bustfile.a2ml (same directory) diff --git a/.machine_readable/contractiles/dust/Dustfile.a2ml b/.machine_readable/contractiles/dust/Dustfile.a2ml index d7dfc19..0d619ee 100644 --- a/.machine_readable/contractiles/dust/Dustfile.a2ml +++ b/.machine_readable/contractiles/dust/Dustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Dustfile — Cleanup and Hygiene Contract [dustfile] diff --git a/.machine_readable/contractiles/trust/Trustfile.a2ml b/.machine_readable/contractiles/trust/Trustfile.a2ml index 0b27189..f2a4f95 100644 --- a/.machine_readable/contractiles/trust/Trustfile.a2ml +++ b/.machine_readable/contractiles/trust/Trustfile.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Trustfile — Integrity and provenance verification # Author: Jonathan D.A. Jewell diff --git a/.machine_readable/integrations/feedback-o-tron.a2ml b/.machine_readable/integrations/feedback-o-tron.a2ml index 1c473ae..5381604 100644 --- a/.machine_readable/integrations/feedback-o-tron.a2ml +++ b/.machine_readable/integrations/feedback-o-tron.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Feedback-o-Tron Integration — Autonomous Bug Reporting [integration] diff --git a/.machine_readable/integrations/proven.a2ml b/.machine_readable/integrations/proven.a2ml index 6b3e805..9af33ff 100644 --- a/.machine_readable/integrations/proven.a2ml +++ b/.machine_readable/integrations/proven.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Proven Integration — Formally Verified Safety Library [integration] diff --git a/.machine_readable/integrations/verisimdb.a2ml b/.machine_readable/integrations/verisimdb.a2ml index 2c8f8f5..164c522 100644 --- a/.machine_readable/integrations/verisimdb.a2ml +++ b/.machine_readable/integrations/verisimdb.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # VeriSimDB Feed — Cross-Repo Analytics Data Store [integration] diff --git a/.machine_readable/integrations/vexometer.a2ml b/.machine_readable/integrations/vexometer.a2ml index bb7fc43..238b3d2 100644 --- a/.machine_readable/integrations/vexometer.a2ml +++ b/.machine_readable/integrations/vexometer.a2ml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Vexometer Integration — Irritation Surface Analysis [integration] diff --git a/.machine_readable/svc/k9/README.adoc b/.machine_readable/svc/k9/README.adoc index 137c184..9c3099f 100644 --- a/.machine_readable/svc/k9/README.adoc +++ b/.machine_readable/svc/k9/README.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = K9 Contractiles :toc: left :icons: font diff --git a/.machine_readable/svc/k9/examples/ci-config.k9.ncl b/.machine_readable/svc/k9/examples/ci-config.k9.ncl index 11fe019..9fe314e 100644 --- a/.machine_readable/svc/k9/examples/ci-config.k9.ncl +++ b/.machine_readable/svc/k9/examples/ci-config.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Example Yard-level K9 component: CI/CD configuration with validation # Security Level: Yard (Nickel evaluation, contract validation) # Signature recommended but not required diff --git a/.machine_readable/svc/k9/examples/project-metadata.k9.ncl b/.machine_readable/svc/k9/examples/project-metadata.k9.ncl index 64d5f66..14e0627 100644 --- a/.machine_readable/svc/k9/examples/project-metadata.k9.ncl +++ b/.machine_readable/svc/k9/examples/project-metadata.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Example Kennel-level K9 component: Project metadata # Security Level: Kennel (pure data, no execution) # No signature required diff --git a/.machine_readable/svc/k9/examples/setup-repo.k9.ncl b/.machine_readable/svc/k9/examples/setup-repo.k9.ncl index 66b046b..b635d5b 100644 --- a/.machine_readable/svc/k9/examples/setup-repo.k9.ncl +++ b/.machine_readable/svc/k9/examples/setup-repo.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Example Hunt-level K9 component: Repository setup automation # Security Level: Hunt (full execution with Just recipes) # ⚠️ SIGNATURE REQUIRED - DO NOT RUN WITHOUT VERIFICATION diff --git a/.machine_readable/svc/k9/template-hunt.k9.ncl b/.machine_readable/svc/k9/template-hunt.k9.ncl index 0814c8d..b3fcb47 100644 --- a/.machine_readable/svc/k9/template-hunt.k9.ncl +++ b/.machine_readable/svc/k9/template-hunt.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # K9 Hunt-level template: Full execution with Just recipes # Security Level: Hunt (full system access) # ⚠️ SIGNATURE REQUIRED - Review carefully before use diff --git a/.machine_readable/svc/k9/template-kennel.k9.ncl b/.machine_readable/svc/k9/template-kennel.k9.ncl index c78e27d..4228b26 100644 --- a/.machine_readable/svc/k9/template-kennel.k9.ncl +++ b/.machine_readable/svc/k9/template-kennel.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # K9 Kennel-level template: Pure data configuration # Security Level: Kennel (data-only, no execution) # No signature required - safe for any use diff --git a/.machine_readable/svc/k9/template-yard.k9.ncl b/.machine_readable/svc/k9/template-yard.k9.ncl index 75e5d89..a723f5a 100644 --- a/.machine_readable/svc/k9/template-yard.k9.ncl +++ b/.machine_readable/svc/k9/template-yard.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # K9 Yard-level template: Configuration with validation # Security Level: Yard (Nickel evaluation with contracts) # Signature recommended but not required diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index dbfa498..c11e3ec 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Changelog All notable changes to this project will be documented in this file. diff --git a/CITATION.cff b/CITATION.cff index 3410e7f..785c379 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -1,6 +1,6 @@ # CITATION.cff - Citation File Format for robot-vacuum-cleaner # https://citation-file-format.github.io/ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 cff-version: 1.2.0 title: "robot-vacuum-cleaner" diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index 3a9a0cc..cea7b22 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell = Robot Vacuum Cleaner Simulator — Show Me The Receipts :toc: diff --git a/MAINTAINERS.adoc b/MAINTAINERS.adoc index ac120fa..a1c6544 100644 --- a/MAINTAINERS.adoc +++ b/MAINTAINERS.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Maintainers :toc: preamble diff --git a/Mustfile b/Mustfile index 4f5e24e..5f07541 100644 --- a/Mustfile +++ b/Mustfile @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Mustfile - hyperpolymath mandatory checks # See: https://github.com/hyperpolymath/mustfile diff --git a/PALIMPSEST.adoc b/PALIMPSEST.adoc index e40e76c..84c8482 100644 --- a/PALIMPSEST.adoc +++ b/PALIMPSEST.adoc @@ -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: PMPL-1.0-or-later` + `SPDX-License-Identifier: MPL-2.0` 3. Add a Palimpsest badge to your README (see `assets/badges/` and `embed/license-blocks/`). == Versioning diff --git a/QUICKSTART-DEV.adoc b/QUICKSTART-DEV.adoc index 64f2871..f1d11d6 100644 --- a/QUICKSTART-DEV.adoc +++ b/QUICKSTART-DEV.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.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 diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc index 278df7f..03677e8 100644 --- a/QUICKSTART-MAINTAINER.adoc +++ b/QUICKSTART-MAINTAINER.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.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 diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc index 2cd435e..c425bd8 100644 --- a/QUICKSTART-USER.adoc +++ b/QUICKSTART-USER.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.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 diff --git a/TESTING-REPORT.adoc b/TESTING-REPORT.adoc index 7f204ad..d4fb776 100644 --- a/TESTING-REPORT.adoc +++ b/TESTING-REPORT.adoc @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 = Robot Vacuum Cleaner Testing Report :author: Claude Code Testing Agent :date: 2025-12-29 diff --git a/TESTING-REPORT.scm b/TESTING-REPORT.scm index 6e0acc3..7dca134 100644 --- a/TESTING-REPORT.scm +++ b/TESTING-REPORT.scm @@ -1,4 +1,4 @@ -;; SPDX-License-Identifier: PMPL-1.0-or-later +;; SPDX-License-Identifier: MPL-2.0 ;; Testing Report for Robot Vacuum Cleaner Project ;; Generated: 2025-12-29 diff --git a/TOPOLOGY.md b/TOPOLOGY.md index a013c4a..b8f45bf 100644 --- a/TOPOLOGY.md +++ b/TOPOLOGY.md @@ -1,4 +1,4 @@ - + diff --git a/contractile.just b/contractile.just index 8f99137..9a5827b 100644 --- a/contractile.just +++ b/contractile.just @@ -2,7 +2,7 @@ # Source directory: contractiles # Re-generate with: contractile gen-just --dir contractiles # -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # === DUST (Recovery & Rollback) === # Source: Dustfile.a2ml diff --git a/docker/eclexiaiser.toml b/docker/eclexiaiser.toml index 7b10620..97c7785 100644 --- a/docker/eclexiaiser.toml +++ b/docker/eclexiaiser.toml @@ -1,5 +1,5 @@ # eclexiaiser manifest — energy/carbon resource budgets -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 [project] name = "docker" diff --git a/flake.nix b/flake.nix index 7521374..81d8c65 100644 --- a/flake.nix +++ b/flake.nix @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell # flake.nix — robot-vacuum-cleaner (Nix fallback, Guix is primary) { diff --git a/setup.sh b/setup.sh index 02ac7f3..8550f5b 100755 --- a/setup.sh +++ b/setup.sh @@ -1,5 +1,5 @@ #!/bin/sh -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # setup.sh — Universal setup script for robot-vacuum-cleaner # # Detects your shell, platform, and installs prerequisites. @@ -252,7 +252,7 @@ main() { # Write report REPORT_FILE="INSTALL-SECURITY-REPORT.adoc" { - printf "// SPDX-License-Identifier: PMPL-1.0-or-later\n" + printf "// SPDX-License-Identifier: MPL-2.0\n" printf "= Install Security Report\n" printf ":date: %s\n\n" "$(date -Iseconds 2>/dev/null || date)" printf "== Platform\n" diff --git a/src/julia/RobotVacuum/src/RobotVacuum.jl b/src/julia/RobotVacuum/src/RobotVacuum.jl index 25aa0f8..65d65c4 100644 --- a/src/julia/RobotVacuum/src/RobotVacuum.jl +++ b/src/julia/RobotVacuum/src/RobotVacuum.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ RobotVacuum diff --git a/src/julia/RobotVacuum/src/environment.jl b/src/julia/RobotVacuum/src/environment.jl index 19007e5..b41eab3 100644 --- a/src/julia/RobotVacuum/src/environment.jl +++ b/src/julia/RobotVacuum/src/environment.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ Environment simulation for robot vacuum testing. """ diff --git a/src/julia/RobotVacuum/src/pathplanning.jl b/src/julia/RobotVacuum/src/pathplanning.jl index bde4986..ad73274 100644 --- a/src/julia/RobotVacuum/src/pathplanning.jl +++ b/src/julia/RobotVacuum/src/pathplanning.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ Path planning algorithms for robot vacuum navigation. """ diff --git a/src/julia/RobotVacuum/src/robot.jl b/src/julia/RobotVacuum/src/robot.jl index cdb628f..4acda59 100644 --- a/src/julia/RobotVacuum/src/robot.jl +++ b/src/julia/RobotVacuum/src/robot.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ Robot vacuum cleaner core implementation. """ diff --git a/src/julia/RobotVacuum/src/simulator.jl b/src/julia/RobotVacuum/src/simulator.jl index e24fed0..fb4aad0 100644 --- a/src/julia/RobotVacuum/src/simulator.jl +++ b/src/julia/RobotVacuum/src/simulator.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ Simulation controller for robot vacuum cleaner. """ diff --git a/src/julia/RobotVacuum/src/slam.jl b/src/julia/RobotVacuum/src/slam.jl index 88754da..dfc598b 100644 --- a/src/julia/RobotVacuum/src/slam.jl +++ b/src/julia/RobotVacuum/src/slam.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ SLAM (Simultaneous Localization and Mapping) implementation. """ diff --git a/src/julia/RobotVacuum/src/types.jl b/src/julia/RobotVacuum/src/types.jl index 75cc4e6..52668b9 100644 --- a/src/julia/RobotVacuum/src/types.jl +++ b/src/julia/RobotVacuum/src/types.jl @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ Core types and data structures for robot vacuum simulation. """ diff --git a/src/julia/main.jl b/src/julia/main.jl index 9c1abdc..16dd6f2 100644 --- a/src/julia/main.jl +++ b/src/julia/main.jl @@ -1,5 +1,5 @@ #!/usr/bin/env julia -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 """ Robot Vacuum Cleaner Simulator - Command Line Interface diff --git a/src/rust/benches/robot_bench.rs b/src/rust/benches/robot_bench.rs index 20f00d5..c80f794 100644 --- a/src/rust/benches/robot_bench.rs +++ b/src/rust/benches/robot_bench.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Benchmarks for robot vacuum operations //! //! Performance baseline tests for critical operations diff --git a/src/rust/src/environment.rs b/src/rust/src/environment.rs index c4ef31a..9221f56 100644 --- a/src/rust/src/environment.rs +++ b/src/rust/src/environment.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Environment simulation use ndarray::Array2; diff --git a/src/rust/src/lib.rs b/src/rust/src/lib.rs index ad794e9..4ec8dd3 100644 --- a/src/rust/src/lib.rs +++ b/src/rust/src/lib.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Robot Vacuum Cleaner - High Performance Rust Implementation //! //! This library provides a high-performance implementation of a robot vacuum diff --git a/src/rust/src/main.rs b/src/rust/src/main.rs index b40e318..c3d25e5 100644 --- a/src/rust/src/main.rs +++ b/src/rust/src/main.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Robot Vacuum Cleaner CLI Application use clap::Parser; diff --git a/src/rust/src/pathfinding.rs b/src/rust/src/pathfinding.rs index d77fec5..340f059 100644 --- a/src/rust/src/pathfinding.rs +++ b/src/rust/src/pathfinding.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Path finding and coverage planning algorithms use crate::environment::Environment; diff --git a/src/rust/src/robot.rs b/src/rust/src/robot.rs index 91a7714..b5d10c1 100644 --- a/src/rust/src/robot.rs +++ b/src/rust/src/robot.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Robot vacuum core implementation use crate::types::{Position, SensorData, RobotStats}; diff --git a/src/rust/src/simulator.rs b/src/rust/src/simulator.rs index bd3b4ef..bf09c38 100644 --- a/src/rust/src/simulator.rs +++ b/src/rust/src/simulator.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Simulation controller use crate::robot::{Robot, RobotState}; diff --git a/src/rust/src/slam.rs b/src/rust/src/slam.rs index 6842a9c..318dbf6 100644 --- a/src/rust/src/slam.rs +++ b/src/rust/src/slam.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! SLAM (Simultaneous Localization and Mapping) implementation //! //! Provides occupancy grid mapping and particle filter localization diff --git a/src/rust/src/types.rs b/src/rust/src/types.rs index cb234a1..1af093f 100644 --- a/src/rust/src/types.rs +++ b/src/rust/src/types.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Core types and data structures use serde::{Deserialize, Serialize}; diff --git a/src/rust/tests/aspect_test.rs b/src/rust/tests/aspect_test.rs index a54008e..4f21cdb 100644 --- a/src/rust/tests/aspect_test.rs +++ b/src/rust/tests/aspect_test.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Aspect tests: Safety, security, robustness, and boundary conditions //! //! Tests edge cases, error conditions, and safety properties diff --git a/src/rust/tests/e2e_test.rs b/src/rust/tests/e2e_test.rs index a79c59d..0295c23 100644 --- a/src/rust/tests/e2e_test.rs +++ b/src/rust/tests/e2e_test.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! End-to-end integration tests //! //! Tests complete workflows like cleaning a room, navigating between points, battery management diff --git a/src/rust/tests/property_test.rs b/src/rust/tests/property_test.rs index edd1052..2a91439 100644 --- a/src/rust/tests/property_test.rs +++ b/src/rust/tests/property_test.rs @@ -1,4 +1,4 @@ -// SPDX-License-Identifier: PMPL-1.0-or-later +// SPDX-License-Identifier: MPL-2.0 //! Property-based tests using proptest //! //! Tests invariants that should hold for all valid robot states diff --git a/stapeln.toml b/stapeln.toml index 60c007e..2d9ea32 100644 --- a/stapeln.toml +++ b/stapeln.toml @@ -1,4 +1,4 @@ -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # stapeln.toml — Layer-based container build for robot-vacuum-cleaner # # stapeln builds containers as composable layers (German: "to stack"). diff --git a/validate-robot-config.k9.ncl b/validate-robot-config.k9.ncl index 829689b..d0c8ddc 100644 --- a/validate-robot-config.k9.ncl +++ b/validate-robot-config.k9.ncl @@ -1,5 +1,5 @@ K9! -# SPDX-License-Identifier: PMPL-1.0-or-later +# SPDX-License-Identifier: MPL-2.0 # Robot Vacuum Configuration Validator (K9/Nickel). # # This component provides formal schema validation for the robot vacuum