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

.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

.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:
 

.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

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.

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

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

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
 

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

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

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

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

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
 
 

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:
 

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
 

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

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
 

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

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

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
 

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:

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:
 

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:

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:
 

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);

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

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)

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

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

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

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

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

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

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

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/`

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

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

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

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

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

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

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

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

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

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