chore: sync

Jonathan D.A. Jewell · Jonathan D.A. Jewell · commit 4bd91e197e55 · 2026-02-01T01:47:35.000Z
diff --git a/.github/FUNDING.yml b/.github/FUNDING.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later
+# SPDX-License-Identifier: MPL-2.0-or-later
 # 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/workflows/ada.yml b/.github/workflows/ada.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: Ada (GNAT)
 
 on:
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: CodeQL Security Analysis
 
 on:
diff --git a/.github/workflows/comprehensive-quality.yml b/.github/workflows/comprehensive-quality.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: Comprehensive Quality Gates
 on:
   push:
diff --git a/.github/workflows/generator-generic-ossf-slsa3-publish.yml b/.github/workflows/generator-generic-ossf-slsa3-publish.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # This workflow uses actions that are not certified by GitHub.
 # They are provided by a third-party and are governed by
 # separate terms of service, privacy policy, and support
diff --git a/.github/workflows/guix-nix-policy.yml b/.github/workflows/guix-nix-policy.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: Guix/Nix Package Policy
 on: [push, pull_request]
 
diff --git a/.github/workflows/instant-sync.yml b/.github/workflows/instant-sync.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # 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
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 name: Mirror to Git Forges
 
diff --git a/.github/workflows/npm-bun-blocker.yml b/.github/workflows/npm-bun-blocker.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: NPM/Bun Blocker
 on: [push, pull_request]
 
diff --git a/.github/workflows/quality.yml b/.github/workflows/quality.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: Code Quality
 on: [push, pull_request]
 
diff --git a/.github/workflows/rsr-antipattern.yml b/.github/workflows/rsr-antipattern.yml
@@ -1,6 +1,6 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # RSR Anti-Pattern CI Check
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 #
 # Enforces: No TypeScript, No Go, No Python (except SaltStack), No npm
 # Allows: ReScript, Deno, WASM, Rust, OCaml, Haskell, Guile/Scheme
diff --git a/.github/workflows/scorecard-enforcer.yml b/.github/workflows/scorecard-enforcer.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # Prevention workflow - runs OpenSSF Scorecard and fails on low scores
 name: OpenSSF Scorecard Enforcer
 
diff --git a/.github/workflows/scorecard.yml b/.github/workflows/scorecard.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: OSSF Scorecard
 on:
   push:
diff --git a/.github/workflows/secret-scanner.yml b/.github/workflows/secret-scanner.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # Prevention workflow - scans for hardcoded secrets before they reach main
 name: Secret Scanner
 
diff --git a/.github/workflows/security-policy.yml b/.github/workflows/security-policy.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: Security Policy
 on: [push, pull_request]
 
diff --git a/.github/workflows/ts-blocker.yml b/.github/workflows/ts-blocker.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: TypeScript/JavaScript Blocker
 on: [push, pull_request]
 
diff --git a/.github/workflows/wellknown-enforcement.yml b/.github/workflows/wellknown-enforcement.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 name: Well-Known Standards (RFC 9116 + RSR)
 on:
   push:
diff --git a/.github/workflows/workflow-linter.yml b/.github/workflows/workflow-linter.yml
@@ -1,4 +1,4 @@
-# SPDX-License-Identifier: PMPL-1.0
+# SPDX-License-Identifier: MPL-2.0-or-later
 # workflow-linter.yml - Validates GitHub workflows against RSR security standards
 # This workflow can be copied to other repos for consistent enforcement
 name: Workflow Security Linter
diff --git a/.machine_readable/AGENTIC.scm b/.machine_readable/AGENTIC.scm
@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: MPL-2.0-or-later
 ;; AGENTIC.scm - AI agent interaction patterns for tree-navigator
 
 (define agentic-config
diff --git a/.machine_readable/ECOSYSTEM.scm b/.machine_readable/ECOSYSTEM.scm
@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: MPL-2.0-or-later
 ;; ECOSYSTEM.scm - Ecosystem position for tree-navigator
 ;; Media-Type: application/vnd.ecosystem+scm
 
diff --git a/.machine_readable/META.scm b/.machine_readable/META.scm
@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: MPL-2.0-or-later
 ;; META.scm - Meta-level information for tree-navigator
 ;; Media-Type: application/meta+scheme
 
diff --git a/.machine_readable/NEUROSYM.scm b/.machine_readable/NEUROSYM.scm
@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: MPL-2.0-or-later
 ;; NEUROSYM.scm - Neurosymbolic integration config for tree-navigator
 
 (define neurosym-config
diff --git a/.machine_readable/PLAYBOOK.scm b/.machine_readable/PLAYBOOK.scm
@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: MPL-2.0-or-later
 ;; PLAYBOOK.scm - Operational runbook for tree-navigator
 
 (define playbook
diff --git a/.machine_readable/STATE.scm b/.machine_readable/STATE.scm
@@ -1,4 +1,4 @@
-;; SPDX-License-Identifier: AGPL-3.0-or-later
+;; SPDX-License-Identifier: MPL-2.0-or-later
 ;; STATE.scm - Project state for tree-navigator
 ;; Media-Type: application/vnd.state+scm
 
diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: MPL-2.0-or-later
 = Changelog
 
 All notable changes to this project will be documented in this file.
diff --git a/CONTRIBUTING.adoc b/CONTRIBUTING.adoc
diff --git a/MAINTAINERS.adoc b/MAINTAINERS.adoc
@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: AGPL-3.0-or-later
+// SPDX-License-Identifier: MPL-2.0-or-later
 = Maintainers
 :toc: preamble
 
diff --git a/PALIMPSEST.adoc b/PALIMPSEST.adoc
@@ -1,92 +1,41 @@
-= Palimpsest Licence
+= Palimpsest License
 :toc:
 :toc-placement!:
 
-image:https://img.shields.io/badge/license-MPL--2.0-blue.svg[MPL-2.0,link="https://www.mozilla.org/en-US/MPL/2.0/"]
-image:https://img.shields.io/badge/philosophy-Palimpsest-purple.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-licence"]
+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/Philosophy-Palimpsest-indigo.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"]
 
 toc::[]
 
 == Legal Status
 
-This project is legally licensed under the **Mozilla Public License 2.0 (MPL-2.0)**.
+This project is licensed under the **Palimpsest-MPL License 1.0 (PMPL-1.0)**.
+For SPDX and tooling, use **PMPL-1.0-or-later**.
 
-The Palimpsest Licence is a philosophical and ethical framework that accompanies the legal license. **Palimpsest does not currently provide legal protections** - it is a manifesto and a set of principles that we encourage adopters to embrace alongside the MPL-2.0.
+PMPL-1.0 incorporates the Mozilla Public License 2.0 by reference and adds
+ethical-use, provenance, and lineage requirements.
 
-== Why MPL-2.0 + Palimpsest?
+== What PMPL Adds
 
-=== The Legal Foundation: MPL-2.0
+* **Emotional Lineage** - preserve narrative intent and cultural context
+* **Provenance Integrity** - retain attribution and lineage metadata
+* **Ethical Use Constraints** - explicit consent for non-interpretive AI training
+* **Quantum-Safe Provenance (optional)** - post-quantum signature support
 
-The Mozilla Public License 2.0 provides:
+== How to Adopt
 
-* **File-level copyleft** - modifications to MPL-licensed files must remain open
-* **Compatibility** - can be combined with proprietary code and other open source licenses
-* **Patent protection** - includes explicit patent grants
-* **Clear, modern language** - well-drafted and widely understood
+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`
+3. Add a Palimpsest badge to your README (see `assets/badges/` and `embed/license-blocks/`).
 
-=== The Philosophical Layer: Palimpsest
+== Versioning
 
-Palimpsest adds an ethical dimension that legal licenses cannot capture:
+See `VERSIONING.adoc` for the release process and the "-or-later" model.
+The current legal text is PMPL-1.0.
 
-* **Layered contribution** - like a palimpsest manuscript, each contributor adds to what came before
-* **Transparent provenance** - clear attribution of ideas, not just code
-* **Collaborative evolution** - encouraging forks that improve rather than fragment
-* **Ethical use guidelines** - principles beyond what law can enforce
+== References
 
-== Future Direction
-
-**Palimpsest v0.5** will integrate MPL-2.0 and Palimpsest principles into a single, legally recognized license. This work is ongoing.
-
-Until then:
-
-1. **MPL-2.0** is the legally binding license for this project
-2. **Palimpsest** is the philosophical framework we encourage you to adopt
-3. Distributing Palimpsest alongside your use of this code is encouraged but not required
-
-== Get Involved
-
-We are actively developing Palimpsest as a real, legally recognized license that captures both the legal and ethical dimensions of open source collaboration.
-
-If you are interested in:
-
-* Contributing to the Palimpsest license design
-* Adopting Palimpsest for your own projects
-* Providing legal expertise on open source licensing
-* Discussing the philosophy behind Palimpsest
-
-**Please get in touch:**
-
-* GitHub: https://github.com/hyperpolymath
-* Palimpsest Licence repo: https://github.com/hyperpolymath/palimpsest-licence
-
-== Signing Up to Palimpsest
-
-While Palimpsest is not yet legally formalized, you can signal your support by:
-
-1. Adding the Palimpsest badge to your project README
-2. Including `PALIMPSEST.adoc` in your repository
-3. Mentioning Palimpsest in your LICENSE file
-4. Joining discussions about the license's development
-
-== Summary
-
-[cols="1,2"]
-|===
-|Aspect |Status
-
-|**Legal License**
-|MPL-2.0 (Mozilla Public License 2.0)
-
-|**Philosophical Framework**
-|Palimpsest (encouraged, not legally binding)
-
-|**SPDX Identifier**
-|`MPL-2.0`
-
-|**Future License**
-|Palimpsest v0.5+ (MPL-2.0 integrated, legally recognized)
-|===
-
----
-
-_This project uses MPL-2.0 for legal licensing and encourages adoption of the Palimpsest philosophy. See link:LICENSE[LICENSE] for the full legal text._
+* `legal/README.adoc`
+* `assets/badges/README.md`
+* `embed/license-blocks/README.md`
diff --git a/README.adoc b/README.adoc
@@ -1,7 +1,13 @@
 = 🌲 Tree Navigator
 
-image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[MPL-2.0,link="https://opensource.org/licenses/MPL-2.0"]
-image:https://img.shields.io/badge/Philosophy-Palimpsest-purple.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-licence"]
+image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[MPL-2.0-or-later,link="https://opensource.org/licenses/MPL-2.0"]
+image:https://img.shields.io/badge/Philosophy-Palimpsest-indigo.svg[Palimpsest,link="https://github.com/hyperpolymath/palimpsest-license"]
+
+== License & Philosophy
+
+This project must declare **MPL-2.0-or-later** for platform/tooling compatibility.
+
+Philosophy: **Palimpsest**. The Palimpsest-MPL (PMPL) text is provided in `license/PMPL-1.0.txt`, and the canonical source is the palimpsest-license repository.
 
 
 > A powerful, type-safe directory tree export and navigation tool written in Ada 2022
diff --git a/justfile b/justfile
diff --git a/license/PMPL-1.0.txt b/license/PMPL-1.0.txt
diff --git a/src/main.adb b/src/main.adb
diff --git a/src/tree_printer.adb b/src/tree_printer.adb
diff --git a/tree-navigator_README.md b/tree-navigator_README.md

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# SPDX-License-Identifier: AGPL-3.0-or-later`
	`1`	`+# SPDX-License-Identifier: MPL-2.0-or-later`
`2`	`2`	`# Funding platforms for hyperpolymath projects`
`3`	`3`	`# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# SPDX-License-Identifier: PMPL-1.0`
	`1`	`+# SPDX-License-Identifier: MPL-2.0-or-later`
`2`	`2`	`name: Ada (GNAT)`
`3`	`3`
`4`	`4`	`on:`