chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7) (#97)

hyperpolymath · claude · web-flow · commit c10803fc44fa · 2026-06-01T21:55:52.000+01:00
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) &lt;noreply@anthropic.com&gt;
diff --git 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 <j.d.a.jewell@open.ac.uk>
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 = Agent Instructions
 :toc: preamble
diff --git 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 <j.d.a.jewell@open.ac.uk>
 = `.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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = K9 Contractiles
 :toc: left
 :icons: font
diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Changelog
 
 All notable changes to Valence Shell will be documented in this file.
diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Valence Shell (vsh) — Show Me The Receipts
 :toc:
 :icons: font
diff --git a/GOVERNANCE.adoc b/GOVERNANCE.adoc
@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Governance Model
 :toc:
 :toclevels: 2
diff --git a/MAINTAINERS.adoc b/MAINTAINERS.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Maintainers
 :toc: preamble
 
diff --git 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 <j.d.a.jewell@open.ac.uk>
 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = valence-shell — Quick Start for Developers
 :toc:
 :toclevels: 2
diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = valence-shell — Quick Start for Platform Maintainers
 :toc:
 :toclevels: 2
diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // 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
@@ -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 <j.d.a.jewell@open.ac.uk>
 // SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
 
 
diff --git a/ROADMAP.adoc b/ROADMAP.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Valence Shell Roadmap
 :toc:
 
diff --git 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 <j.d.a.jewell@open.ac.uk>
 
 == Links
 
diff --git 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 <j.d.a.jewell@open.ac.uk>
 = Contributing Guide
 
 == Getting Started
diff --git 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 <j.d.a.jewell@open.ac.uk>
 = Maintainers
 :toc: preamble
 
diff --git 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 <j.d.a.jewell@open.ac.uk>
 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Alkahest Shell Transmuter Roadmap
 
 == Current Status
diff --git 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 <j.d.a.jewell@open.ac.uk>
 
 == Links
 
diff --git 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 <j.d.a.jewell@open.ac.uk>
 = Contractiles Template Set
 :toc:
 :sectnums:
diff --git 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 <j.d.a.jewell@open.ac.uk>
 = RSR-template-repo - Citation Guide
 :toc:
 
diff --git a/contractiles/README.adoc b/contractiles/README.adoc
@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = Contractiles Template Set
 :toc:
 :sectnums:
diff --git a/docs/CITATIONS.adoc b/docs/CITATIONS.adoc
@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = valence-shell - Citation Guide
 :toc:
 
diff --git a/docs/README.adoc b/docs/README.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // Copyright (c) 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 = valence-shell — CRG Audit (2026-04-18)
diff --git a/examples/README.adoc b/examples/README.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = impl/ — Implementation Layer
 
 Five concrete implementations of the valence-shell semantics, each
diff --git 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 <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = 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
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = src/abi/ — Idris2 ABI Declarations (formal interface contracts)
 
 Idris2 dependent-type-checked ABI declarations for the valence-shell
