From eb9211d695d1cbfacf330473e408432d5ac583a0 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 1 Jun 2026 21:20:10 +0100 Subject: [PATCH] chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7) STATS: processed=44 already_has=0 added_copyright=36 inserted_block=8 missing=0 Files: .adoc. Mechanical SPDX-FileCopyrightText sweep using slash comment style. Batch 3/7 of the M1 foreign-WIP closure. Co-Authored-By: Claude Opus 4.7 (1M context) --- .machine_readable/agent_instructions/README.adoc | 1 + .machine_readable/svc/README.adoc | 2 ++ .machine_readable/svc/k9/README.adoc | 1 + CHANGELOG.adoc | 1 + EXPLAINME.adoc | 1 + GOVERNANCE.adoc | 2 ++ MAINTAINERS.adoc | 1 + PALIMPSEST.adoc | 1 + QUICKSTART-DEV.adoc | 1 + QUICKSTART-MAINTAINER.adoc | 1 + QUICKSTART-USER.adoc | 1 + README.adoc | 1 + ROADMAP.adoc | 1 + RSR_OUTLINE.adoc | 1 + alkahest-shell-transmuter/CONTRIBUTING.adoc | 1 + alkahest-shell-transmuter/MAINTAINERS.adoc | 1 + alkahest-shell-transmuter/README.adoc | 2 ++ alkahest-shell-transmuter/ROADMAP.adoc | 1 + alkahest-shell-transmuter/RSR_OUTLINE.adoc | 1 + alkahest-shell-transmuter/contractiles/README.adoc | 2 ++ alkahest-shell-transmuter/docs/CITATIONS.adoc | 2 ++ contractiles/README.adoc | 2 ++ docs/CITATIONS.adoc | 2 ++ docs/README.adoc | 1 + docs/VALENCE_VISION_AND_PROGRESS.adoc | 2 ++ docs/governance/CRG-AUDIT-2026-04-18.adoc | 1 + examples/README.adoc | 1 + ffi/rust/README.adoc | 1 + ffi/zig/README.adoc | 1 + hooks/README.adoc | 1 + impl/README.adoc | 1 + impl/elixir/README.adoc | 1 + impl/mcp/README.adoc | 1 + impl/ocaml/README.adoc | 1 + impl/rust-cli/src/README.adoc | 1 + impl/rust-cli/tests/README.adoc | 1 + proofs/agda/README.adoc | 1 + proofs/coq/README.adoc | 1 + proofs/isabelle/README.adoc | 1 + proofs/lean4/README.adoc | 1 + proofs/mizar/README.adoc | 1 + proofs/z3/README.adoc | 1 + scripts/README.adoc | 1 + src/abi/README.adoc | 1 + 44 files changed, 52 insertions(+) diff --git a/.machine_readable/agent_instructions/README.adoc b/.machine_readable/agent_instructions/README.adoc index 9bc2e24b..de04a763 100644 --- a/.machine_readable/agent_instructions/README.adoc +++ b/.machine_readable/agent_instructions/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = Agent Instructions :toc: preamble diff --git a/.machine_readable/svc/README.adoc b/.machine_readable/svc/README.adoc index 5641f065..09889b50 100644 --- a/.machine_readable/svc/README.adoc +++ b/.machine_readable/svc/README.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = `.machine_readable/svc/` — Service components for valence-shell :toc: diff --git a/.machine_readable/svc/k9/README.adoc b/.machine_readable/svc/k9/README.adoc index 9c3099fd..ce1825fc 100644 --- a/.machine_readable/svc/k9/README.adoc +++ b/.machine_readable/svc/k9/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = K9 Contractiles :toc: left :icons: font diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 08e103de..daf4910f 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Changelog All notable changes to Valence Shell will be documented in this file. diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index caaa7a08..93950138 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Valence Shell (vsh) — Show Me The Receipts :toc: :icons: font diff --git a/GOVERNANCE.adoc b/GOVERNANCE.adoc index 828ec48e..21d347d5 100644 --- a/GOVERNANCE.adoc +++ b/GOVERNANCE.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Governance Model :toc: :toclevels: 2 diff --git a/MAINTAINERS.adoc b/MAINTAINERS.adoc index a1c65443..becaa3ea 100644 --- a/MAINTAINERS.adoc +++ b/MAINTAINERS.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Maintainers :toc: preamble diff --git a/PALIMPSEST.adoc b/PALIMPSEST.adoc index ebaa6d0c..1143fe7e 100644 --- a/PALIMPSEST.adoc +++ b/PALIMPSEST.adoc @@ -27,6 +27,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` +// Copyright (c) Jonathan D.A. Jewell 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 ab3cb87f..0aec69c5 100644 --- a/QUICKSTART-DEV.adoc +++ b/QUICKSTART-DEV.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = valence-shell — Quick Start for Developers :toc: :toclevels: 2 diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc index f31439be..12c7e348 100644 --- a/QUICKSTART-MAINTAINER.adoc +++ b/QUICKSTART-MAINTAINER.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = valence-shell — Quick Start for Platform Maintainers :toc: :toclevels: 2 diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc index 2eac9049..4cda402c 100644 --- a/QUICKSTART-USER.adoc +++ b/QUICKSTART-USER.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell // Template: QUICKSTART-USER.adoc — 5-minute path to working software // Replace valence-shell, Valence Shell — See README.adoc for details., just run, Valence Shell started successfully. with actuals = valence-shell — Quick Start for Users diff --git a/README.adoc b/README.adoc index 43e0a5a1..565b55af 100644 --- a/README.adoc +++ b/README.adoc @@ -2,6 +2,7 @@ image:https://img.shields.io/badge/License-MPL--2.0-blue[License: MPL-2.0,link="https://www.mozilla.org/MPL/2.0/"] // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell diff --git a/ROADMAP.adoc b/ROADMAP.adoc index 0738c5d1..d88de6ae 100644 --- a/ROADMAP.adoc +++ b/ROADMAP.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Valence Shell Roadmap :toc: diff --git a/RSR_OUTLINE.adoc b/RSR_OUTLINE.adoc index 3ce20ed8..1ef5ba93 100644 --- a/RSR_OUTLINE.adoc +++ b/RSR_OUTLINE.adoc @@ -210,6 +210,7 @@ This template is part of: == License SPDX-License-Identifier: MPL-2.0-or-later +// Copyright (c) Jonathan D.A. Jewell == Links diff --git a/alkahest-shell-transmuter/CONTRIBUTING.adoc b/alkahest-shell-transmuter/CONTRIBUTING.adoc index 1f34e602..2ead10c3 100644 --- a/alkahest-shell-transmuter/CONTRIBUTING.adoc +++ b/alkahest-shell-transmuter/CONTRIBUTING.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Contributing Guide == Getting Started diff --git a/alkahest-shell-transmuter/MAINTAINERS.adoc b/alkahest-shell-transmuter/MAINTAINERS.adoc index a1c65443..becaa3ea 100644 --- a/alkahest-shell-transmuter/MAINTAINERS.adoc +++ b/alkahest-shell-transmuter/MAINTAINERS.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Maintainers :toc: preamble diff --git a/alkahest-shell-transmuter/README.adoc b/alkahest-shell-transmuter/README.adoc index 7fa1025c..a3d98ba8 100644 --- a/alkahest-shell-transmuter/README.adoc +++ b/alkahest-shell-transmuter/README.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] = Alkahest: The Universal Shell Transmuter diff --git a/alkahest-shell-transmuter/ROADMAP.adoc b/alkahest-shell-transmuter/ROADMAP.adoc index 0e9759fc..861208be 100644 --- a/alkahest-shell-transmuter/ROADMAP.adoc +++ b/alkahest-shell-transmuter/ROADMAP.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Alkahest Shell Transmuter Roadmap == Current Status diff --git a/alkahest-shell-transmuter/RSR_OUTLINE.adoc b/alkahest-shell-transmuter/RSR_OUTLINE.adoc index 3ce20ed8..1ef5ba93 100644 --- a/alkahest-shell-transmuter/RSR_OUTLINE.adoc +++ b/alkahest-shell-transmuter/RSR_OUTLINE.adoc @@ -210,6 +210,7 @@ This template is part of: == License SPDX-License-Identifier: MPL-2.0-or-later +// Copyright (c) Jonathan D.A. Jewell == Links diff --git a/alkahest-shell-transmuter/contractiles/README.adoc b/alkahest-shell-transmuter/contractiles/README.adoc index d19a3877..70ad7126 100644 --- a/alkahest-shell-transmuter/contractiles/README.adoc +++ b/alkahest-shell-transmuter/contractiles/README.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Contractiles Template Set :toc: :sectnums: diff --git a/alkahest-shell-transmuter/docs/CITATIONS.adoc b/alkahest-shell-transmuter/docs/CITATIONS.adoc index 37fdb0f0..52ba5285 100644 --- a/alkahest-shell-transmuter/docs/CITATIONS.adoc +++ b/alkahest-shell-transmuter/docs/CITATIONS.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = RSR-template-repo - Citation Guide :toc: diff --git a/contractiles/README.adoc b/contractiles/README.adoc index d19a3877..70ad7126 100644 --- a/contractiles/README.adoc +++ b/contractiles/README.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Contractiles Template Set :toc: :sectnums: diff --git a/docs/CITATIONS.adoc b/docs/CITATIONS.adoc index fb5cea9c..bbec3445 100644 --- a/docs/CITATIONS.adoc +++ b/docs/CITATIONS.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = valence-shell - Citation Guide :toc: diff --git a/docs/README.adoc b/docs/README.adoc index f66e248a..e82a630c 100644 --- a/docs/README.adoc +++ b/docs/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = docs/ — Project Documentation Project-level documentation tree. ~49 entries (subdirs + files); diff --git a/docs/VALENCE_VISION_AND_PROGRESS.adoc b/docs/VALENCE_VISION_AND_PROGRESS.adoc index 156ef712..ecaa7a50 100644 --- a/docs/VALENCE_VISION_AND_PROGRESS.adoc +++ b/docs/VALENCE_VISION_AND_PROGRESS.adoc @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = Valence Shell — Vision and Progress :toc: :toclevels: 2 diff --git a/docs/governance/CRG-AUDIT-2026-04-18.adoc b/docs/governance/CRG-AUDIT-2026-04-18.adoc index c1f4f326..23f528d5 100644 --- a/docs/governance/CRG-AUDIT-2026-04-18.adoc +++ b/docs/governance/CRG-AUDIT-2026-04-18.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell = valence-shell — CRG Audit (2026-04-18) diff --git a/examples/README.adoc b/examples/README.adoc index 2909fdee..9aaa3128 100644 --- a/examples/README.adoc +++ b/examples/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = examples/ — Example Code (sparse) Example artefacts. Currently only two files; mainly placeholder for a diff --git a/ffi/rust/README.adoc b/ffi/rust/README.adoc index 1a82bac0..115d2d83 100644 --- a/ffi/rust/README.adoc +++ b/ffi/rust/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = ffi/rust/ — Rust FFI Library (`vsh-ffi`) Standalone Rust crate (`vsh-ffi`, library `vsh_ffi`) that exposes diff --git a/ffi/zig/README.adoc b/ffi/zig/README.adoc index 4d370191..aceb4fa2 100644 --- a/ffi/zig/README.adoc +++ b/ffi/zig/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = ffi/zig/ — Zig FFI (ABI/FFI Universal Standard scaffolding) Zig FFI implementation matching the **CLAUDE.md ABI/FFI Universal diff --git a/hooks/README.adoc b/hooks/README.adoc index 464d7dd7..2588330d 100644 --- a/hooks/README.adoc +++ b/hooks/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = hooks/ — Repository Validation Hooks POSIX-shell validation hooks invoked by Git pre-commit / pre-push diff --git a/impl/README.adoc b/impl/README.adoc index 5407d8df..9f1431e1 100644 --- a/impl/README.adoc +++ b/impl/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = impl/ — Implementation Layer Five concrete implementations of the valence-shell semantics, each diff --git a/impl/elixir/README.adoc b/impl/elixir/README.adoc index 6ecd6e8c..061428aa 100644 --- a/impl/elixir/README.adoc +++ b/impl/elixir/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = impl/elixir/ — Elixir Reference Implementation (NIF build broken) Elixir reference implementation of the valence-shell semantics, intended diff --git a/impl/mcp/README.adoc b/impl/mcp/README.adoc index f4974f5e..91c65b94 100644 --- a/impl/mcp/README.adoc +++ b/impl/mcp/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = impl/mcp/ — MCP Server (Deno + ReScript) MCP (Model Context Protocol) server exposing valence-shell capabilities diff --git a/impl/ocaml/README.adoc b/impl/ocaml/README.adoc index 44aac0f5..b867e581 100644 --- a/impl/ocaml/README.adoc +++ b/impl/ocaml/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = impl/ocaml/ — OCaml Extraction Target (design surface) OCaml is the extraction target for the Coq proofs in `../../proofs/coq/` diff --git a/impl/rust-cli/src/README.adoc b/impl/rust-cli/src/README.adoc index 4c41d6a3..c1836fa8 100644 --- a/impl/rust-cli/src/README.adoc +++ b/impl/rust-cli/src/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = impl/rust-cli/src/ — Primary Rust Shell Source Source tree for the Rust valence-shell binary `vsh` (v0.9.0). Roughly diff --git a/impl/rust-cli/tests/README.adoc b/impl/rust-cli/tests/README.adoc index e12ad1c1..2b45740a 100644 --- a/impl/rust-cli/tests/README.adoc +++ b/impl/rust-cli/tests/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = impl/rust-cli/tests/ — Test Suite Cargo integration-test directory for the `vsh` Rust shell. Counts below diff --git a/proofs/agda/README.adoc b/proofs/agda/README.adoc index 1dcff68a..6791f9c7 100644 --- a/proofs/agda/README.adoc +++ b/proofs/agda/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = proofs/agda/ — Agda Filesystem Proofs (Intensional Type Theory) Agda (intensional dependent type theory) cross-validates the diff --git a/proofs/coq/README.adoc b/proofs/coq/README.adoc index 2a582b3b..dd2184e1 100644 --- a/proofs/coq/README.adoc +++ b/proofs/coq/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = proofs/coq/ — Coq Filesystem Proofs (CIC Foundation) Coq (Calculus of Inductive Constructions) provides the CIC foundation diff --git a/proofs/isabelle/README.adoc b/proofs/isabelle/README.adoc index f3a1efb8..b88eb1a2 100644 --- a/proofs/isabelle/README.adoc +++ b/proofs/isabelle/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = proofs/isabelle/ — Isabelle/HOL Filesystem Proofs Isabelle/HOL (higher-order logic) cross-validates the filesystem diff --git a/proofs/lean4/README.adoc b/proofs/lean4/README.adoc index 3a8b7cfe..f8020856 100644 --- a/proofs/lean4/README.adoc +++ b/proofs/lean4/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = proofs/lean4/ — Lean 4 Filesystem Proofs (Primary Source of Truth) Lean 4 (dependent type theory) is the **primary source of truth** for diff --git a/proofs/mizar/README.adoc b/proofs/mizar/README.adoc index 1a5c8d07..1140e495 100644 --- a/proofs/mizar/README.adoc +++ b/proofs/mizar/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = proofs/mizar/ — Mizar Filesystem Proofs (Tarski-Grothendieck Set Theory) Mizar grounds the valence-shell filesystem theorems in diff --git a/proofs/z3/README.adoc b/proofs/z3/README.adoc index f3763d2b..d0589c05 100644 --- a/proofs/z3/README.adoc +++ b/proofs/z3/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = proofs/z3/ — Z3 SMT Filesystem Proofs (Automated Verification) Z3 (SMT-LIB v2 scripts) provides automated verification for the diff --git a/scripts/README.adoc b/scripts/README.adoc index 66b55bfd..bc013bad 100644 --- a/scripts/README.adoc +++ b/scripts/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = scripts/ — Utility Scripts POSIX-shell helper scripts driven by the project's CI workflows and diff --git a/src/abi/README.adoc b/src/abi/README.adoc index 09a58ed3..e5b4d697 100644 --- a/src/abi/README.adoc +++ b/src/abi/README.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// Copyright (c) Jonathan D.A. Jewell = src/abi/ — Idris2 ABI Declarations (formal interface contracts) Idris2 dependent-type-checked ABI declarations for the valence-shell