Skip to content

Commit 479bf2d

Browse files
chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook) (#139)
The pre-commit licence enforcer (`.git/hooks/pre-commit`) requires **both** `SPDX-License-Identifier: MPL-2.0` **and** the exact owner string `Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>` on every staged source file — but **no `.rs` file carried the owner line**. Every `.rs` had the SPDX identifier on line 1, yet the owner check (stricter than the existing tree) meant any future edit to a `.rs` file was blocked by the hook. Surfaced while fixing the audience→axial doc drift (#137). ## Changes - Inserts `// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>` on line 2 of all **91 tracked `.rs` files** (each already had the SPDX identifier on line 1). - Renames the cosmetic `audience.md` temp filename in the `axial` test to `axial.md`, completing the audience→axial sweep. Comment-only changes plus one test-string rename. `cargo check --all-targets` passes; the licence-enforcer hook now passes on `.rs` edits (this commit itself passed it with hooks enabled). Out of scope (noted, not done): `.md`/`.adoc`/`.idr` source files — the two header-less docs are handled in #137 and the new Idris2 fixture in #138 already carries the header; a follow-up can extend the same owner line to remaining non-`.rs` sources if wanted. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
1 parent 3cffe67 commit 479bf2d

91 files changed

Lines changed: 92 additions & 1 deletion

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

benches/scan_bench.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
34

45
//! Benchmarks for panic-attack scan performance.

examples/attack_harness.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Attack harness for exercising panic-attack assault flags.
45

examples/vulnerable_program.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Example vulnerable program for testing panic-attacker
45
//!

runtime/abduct/abduct-20260211191053/main.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! panic-attack: Universal stress testing and logic-based bug signature detection
45
//!

runtime/amuck/main.amuck.001.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! panic-attack: Universal stress testing and logic-based bug signature detection
45
//!

src/a2ml/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Minimal A2ML parser and Nickel exporter
45

src/abduct/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Abduct isolation harness for defensive lock-in and delayed-trigger testing.
45

src/adjudicate/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Adjudicate campaign-wide findings using miniKanren-style rule inference.
45

src/aggregate/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Aggregate — fold external prover output into an assail/assault report.
45
//!

src/ambush/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23

34
//! Ambush execution: run a target program while applying ambient stressors.
45

0 commit comments

Comments
 (0)