chore: extend owner SPDX header to all non-.rs sources (.md/.adoc/.idr/.zig)

hyperpolymath · claude · hyperpolymath · commit 91cccbb44287 · 2026-06-24T14:13:49.000+01:00
Completes the licence-enforcer-hook compliance started for .rs in #139. The hook requires BOTH SPDX-License-Identifier: MPL-2.0 AND the owner string 'Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>' on every staged .md/.adoc/.idr/.zig/.rs file. 45 non-.rs sources lacked the hook-matching owner line (15 also lacked the SPDX line). - Inserts the SPDX-FileCopyrightText owner line (and SPDX-License-Identifier where absent) using each file's comment syntax (HTML comment for .md, // for .adoc/.zig, -- for .idr). - Fully NON-DESTRUCTIVE: 64 insertions, 0 deletions -- no existing attribution is altered. Files already carrying a (hyperpolymath)-parenthetical copyright keep it; the hook-matching line is added alongside. All 145 hook-checked files in the repo now carry SPDX + owner. Comment-only. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Panic Attack - Project Instructions
 
 ## Overview
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
+// SPDX-FileCopyrightText: 2026 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
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = `.machine_readable/svc/` — Service components for panic-attack
 :toc:
 
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Changelog
 
 ## [Unreleased]
diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Code of Conduct
 
 ## Our Pledge
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Contributing to panic-attack
 
 Thank you for your interest in contributing to panic-attack! This document provides guidelines and information for contributors.
diff --git a/DESIGN.md b/DESIGN.md
@@ -627,3 +627,4 @@ Over time, this enables:
 ## License
 
 SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = panic-attack — Show Me The Receipts
 :toc:
 :icons: font
diff --git a/PROOF-NEEDS.md b/PROOF-NEEDS.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # PROOF-NEEDS.md — panic-attack
 
 ## Current State
diff --git a/PROOF-PROGRAMME.md b/PROOF-PROGRAMME.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # PROOF-PROGRAMME.md — panic-attack from first principles
 
 > Strategic plan for moving panic-attack from "two completed sibling Idris2 proofs (PA1 + PA2)" to **end-to-end formal soundness** of detection, inference, and persistence — without changing perf or functionality.
diff --git a/QUICKSTART-DEV.adoc b/QUICKSTART-DEV.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // Template: QUICKSTART-DEV.adoc — clone → build → test → PR
 // Replace panic-attack, {{BUILD_CMD}}, {{TEST_CMD}}, {{LANG_STACK}} with actuals
 = panic-attack — Quick Start for Developers
diff --git a/QUICKSTART-MAINTAINER.adoc b/QUICKSTART-MAINTAINER.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // Template: QUICKSTART-MAINTAINER.adoc — packaging, deploying, and maintaining
 // Replace panic-attack, panic-attack, rustc, cargo, mold, pkg-config with actuals
 = panic-attack — Quick Start for Platform Maintainers
diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // Template: QUICKSTART-USER.adoc — 5-minute path to working software
 // Replace panic-attack, Panic Attacker — See README.adoc for details., just run, Panic Attacker started successfully. with actuals
 = panic-attack — Quick Start for Users
diff --git a/READINESS.md b/READINESS.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 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> -->
 
 # panic-attack Component Readiness Assessment
diff --git a/ROADMAP.adoc b/ROADMAP.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell
 :toc: macro
 :toclevels: 2
diff --git a/SECURITY.md b/SECURITY.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Security Policy
 
 ## Supported Versions
diff --git a/TEST-NEEDS.md b/TEST-NEEDS.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # TEST-NEEDS.md — panic-attack
 
 ## CRG Grade: B — ACHIEVED 2026-04-04
diff --git a/TOPOLOGY.md b/TOPOLOGY.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 <!-- TOPOLOGY.md — Project architecture map and completion dashboard -->
 <!-- Last updated: 2026-04-12 -->
 
diff --git a/VISION.md b/VISION.md
@@ -1,4 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # panic-attack: Extended Vision
 
diff --git a/chapel/README.md b/chapel/README.md
@@ -1,4 +1,5 @@
 # SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # Chapel Distributed Orchestrator for panic-attack
 
diff --git a/docs/007-FALSE-POSITIVE-GUIDANCE.md b/docs/007-FALSE-POSITIVE-GUIDANCE.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # 007 False Positive Guidance for Panic-Attack
 
 This document explains common false positives encountered when running panic-attack on the 007 repository and how to avoid them in future.
diff --git a/docs/HYPATIA-RULE-UPDATES.md b/docs/HYPATIA-RULE-UPDATES.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Hypatia Rule Updates for 007 Integration
 
 ## Purpose
diff --git a/docs/adr/0001-chapel-distributed-scanner.md b/docs/adr/0001-chapel-distributed-scanner.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # ADR 0001 — Chapel as a detachable distributed-scanner harness
 
diff --git a/docs/adr/0001-chapel-issue-33-comment.md b/docs/adr/0001-chapel-issue-33-comment.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 <!--
   Draft comment for posting on panic-attack#33 after PR feat/chapel-ci-strict-gates merges.
   Not auto-posted; the PR author or a maintainer pastes this onto the issue.
diff --git a/docs/ambush-timeline.md b/docs/ambush-timeline.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # Ambush Timeline & Event-Chain Plan (DAW-style)
 
diff --git a/docs/attack-profiles.md b/docs/attack-profiles.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Attack Profiles
 
 Attack profiles let you pass custom arguments to target programs during assaults. Profiles are
diff --git a/docs/campaigns/2026-05-26.md b/docs/campaigns/2026-05-26.md
@@ -1,5 +1,6 @@
 <!--
 SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 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>
 -->
 
diff --git a/docs/campaigns/2026-05-26/01-triage.md b/docs/campaigns/2026-05-26/01-triage.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 <!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) -->
 
 # 01-triage — algorithmic spec
diff --git a/docs/campaigns/2026-05-26/README.md b/docs/campaigns/2026-05-26/README.md
@@ -1,5 +1,6 @@
 <!--
 SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 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>
 -->
 
diff --git a/docs/json-schema.md b/docs/json-schema.md
@@ -198,3 +198,4 @@ Starting with v1.0.0:
 ## SPDX License
 
 SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
diff --git a/docs/panll-export.md b/docs/panll-export.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # PanLL Export (Event-Chain Bridge)
 
diff --git a/docs/patch-bridge-design.md b/docs/patch-bridge-design.md
@@ -1,4 +1,5 @@
 <!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 
 # Patch Bridge — Design Document
 
diff --git a/docs/reports/audit/2026-03-30-panic-attack-audit.adoc b/docs/reports/audit/2026-03-30-panic-attack-audit.adoc
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 = panic-attack Audit 2026-03-30
 :revdate: 2026-03-30
 
diff --git a/docs/reports/audit/pillar-audit-2026-04-15.md b/docs/reports/audit/pillar-audit-2026-04-15.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Gemini Audit Report (M2: Pillar Repo Audits)
 Date: 2026-04-15
 Repository: /var/mnt/eclipse/repos/panic-attacker
diff --git a/docs/tech-debt-2026-05-26.md b/docs/tech-debt-2026-05-26.md
@@ -1,5 +1,6 @@
 <!--
 SPDX-License-Identifier: MPL-2.0
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
 -->
 
diff --git a/ffi/zig/build.zig b/ffi/zig/build.zig
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 const std = @import("std");
 
 pub fn build(b: *std.Build) void {
diff --git a/ffi/zig/src/panic_attack_ffi.zig b/ffi/zig/src/panic_attack_ffi.zig
@@ -1,4 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
+// SPDX-FileCopyrightText: 2026 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>
 //
 // panic-attack FFI — C-compatible bridge for static analysis operations.
diff --git a/llm-warmup-dev.md b/llm-warmup-dev.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # LLM Warmup — panic-attack (Developer)
 
 ## What is panic-attack?
diff --git a/llm-warmup-user.md b/llm-warmup-user.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # LLM Warmup — panic-attack (User)
 
 ## What is panic-attack?
diff --git a/panic_attack_static_analysis_preparation.md b/panic_attack_static_analysis_preparation.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Panic-Attack Static Analysis Preparation
 
 ## Executive Summary
diff --git a/panic_attack_static_analysis_results.md b/panic_attack_static_analysis_results.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Panic-Attack Static Analysis Results
 
 ## Executive Summary
diff --git a/panic_attack_static_analysis_summary.md b/panic_attack_static_analysis_summary.md
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: MPL-2.0 -->
+<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
 # Panic-Attack Static Analysis Summary
 
 ## Executive Summary
diff --git a/src/abi/AttestationUnforgeability.idr b/src/abi/AttestationUnforgeability.idr
@@ -1,4 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
+-- SPDX-FileCopyrightText: 2026 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>
 
 ||| Attestation-chain unforgeability (PROOF-PROGRAMME §3.2).
diff --git a/src/abi/ClassificationSoundness.idr b/src/abi/ClassificationSoundness.idr
@@ -1,4 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
+-- SPDX-FileCopyrightText: 2026 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>
 
 ||| Classification Soundness Proofs
diff --git a/src/abi/PatternCompleteness.idr b/src/abi/PatternCompleteness.idr
@@ -1,4 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
+-- SPDX-FileCopyrightText: 2026 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>
 
 ||| Pattern Matching Completeness Proofs
diff --git a/src/abi/Stripping.idr b/src/abi/Stripping.idr
@@ -1,4 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
+-- SPDX-FileCopyrightText: 2026 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>
 
 ||| Comment and String Stripping Idempotence (PROOF-PROGRAMME Layer 1.0)
diff --git a/src/abi/Types.idr b/src/abi/Types.idr
@@ -1,4 +1,5 @@
 -- SPDX-License-Identifier: MPL-2.0
+-- SPDX-FileCopyrightText: 2026 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>
 ||| ABI Types for panic-attack static analysis engine
 |||
