From 6384e9f99acb7902df81877d209314695c6eeb95 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 24 Jun 2026 12:35:19 +0100 Subject: [PATCH] chore: add owner SPDX header to all .rs (satisfy licence hook) + axial test rename The pre-commit licence enforcer requires BOTH SPDX-License-Identifier: MPL-2.0 AND the owner string 'Jonathan D.A. Jewell ' on every staged source file, but NO .rs file carried the owner line -- so any edit to a .rs file was blocked by the hook (a latent repo-wide gap). Inserts the SPDX-FileCopyrightText owner line on line 2 of all 91 tracked .rs files (each already had SPDX-License-Identifier on line 1). Also 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. Co-Authored-By: Claude Opus 4.8 --- benches/scan_bench.rs | 1 + examples/attack_harness.rs | 1 + examples/vulnerable_program.rs | 1 + runtime/abduct/abduct-20260211191053/main.rs | 1 + runtime/amuck/main.amuck.001.rs | 1 + src/a2ml/mod.rs | 1 + src/abduct/mod.rs | 1 + src/adjudicate/mod.rs | 1 + src/aggregate/mod.rs | 1 + src/ambush/mod.rs | 1 + src/ambush/timeline.rs | 1 + src/amuck/mod.rs | 1 + src/assail/analyzer.rs | 1 + src/assail/mod.rs | 1 + src/assail/patterns.rs | 1 + src/assay/mod.rs | 1 + src/assemblyline.rs | 1 + src/attack/executor.rs | 1 + src/attack/mod.rs | 1 + src/attack/profile.rs | 1 + src/attack/strategies.rs | 1 + src/attestation/chain.rs | 1 + src/attestation/envelope.rs | 1 + src/attestation/evidence.rs | 1 + src/attestation/intent.rs | 1 + src/attestation/mod.rs | 1 + src/attestation/seal.rs | 1 + src/axial/mod.rs | 3 ++- src/bridge/classify.rs | 1 + src/bridge/intelligence.rs | 1 + src/bridge/lockfile.rs | 1 + src/bridge/mod.rs | 1 + src/bridge/reachability.rs | 1 + src/bridge/registry.rs | 1 + src/campaign/mod.rs | 1 + src/comment_marker.rs | 1 + src/diagnostics.rs | 1 + src/ffi_kind.rs | 1 + src/groove.rs | 1 + src/i18n/catalog.rs | 1 + src/i18n/iso639.rs | 1 + src/i18n/mod.rs | 1 + src/jit_context.rs | 1 + src/kanren/core.rs | 1 + src/kanren/crosslang.rs | 1 + src/kanren/mod.rs | 1 + src/kanren/rules.rs | 1 + src/kanren/strategy.rs | 1 + src/kanren/taint.rs | 1 + src/kin.rs | 1 + src/lib.rs | 1 + src/main.rs | 1 + src/mass_panic/imaging.rs | 1 + src/mass_panic/mod.rs | 1 + src/mass_panic/temporal.rs | 1 + src/notify.rs | 1 + src/panll/mod.rs | 1 + src/query/mod.rs | 1 + src/report/diff.rs | 1 + src/report/formatter.rs | 1 + src/report/generator.rs | 1 + src/report/gui.rs | 1 + src/report/gui_text.rs | 1 + src/report/migration.rs | 1 + src/report/mod.rs | 1 + src/report/output.rs | 1 + src/report/sarif.rs | 1 + src/report/tui.rs | 1 + src/safe_path.rs | 1 + src/signatures/engine.rs | 1 + src/signatures/mod.rs | 1 + src/signatures/rules.rs | 1 + src/storage/mod.rs | 1 + src/sweep_tracker/mod.rs | 1 + src/test_context.rs | 1 + src/types.rs | 1 + tests/analyzer_tests.rs | 1 + tests/aspect_tests.rs | 1 + tests/assemblyline_tests.rs | 1 + tests/e2e_tests.rs | 1 + tests/integration.rs | 1 + tests/panll_tests.rs | 1 + tests/pattern_tests.rs | 1 + tests/property_tests.rs | 1 + tests/readiness.rs | 1 + tests/regression_tests.rs | 1 + tests/report_tests.rs | 1 + tests/sarif_tests.rs | 1 + tests/seam_contract_tests.rs | 1 + tests/types_tests.rs | 1 + tests/unbounded_corpus.rs | 1 + 91 files changed, 92 insertions(+), 1 deletion(-) diff --git a/benches/scan_bench.rs b/benches/scan_bench.rs index e451c35..d2b5bb5 100644 --- a/benches/scan_bench.rs +++ b/benches/scan_bench.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! Benchmarks for panic-attack scan performance. diff --git a/examples/attack_harness.rs b/examples/attack_harness.rs index c205b3f..b003853 100644 --- a/examples/attack_harness.rs +++ b/examples/attack_harness.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Attack harness for exercising panic-attack assault flags. diff --git a/examples/vulnerable_program.rs b/examples/vulnerable_program.rs index 5637d24..d076f6f 100644 --- a/examples/vulnerable_program.rs +++ b/examples/vulnerable_program.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Example vulnerable program for testing panic-attacker //! diff --git a/runtime/abduct/abduct-20260211191053/main.rs b/runtime/abduct/abduct-20260211191053/main.rs index 05834d3..373f14e 100644 --- a/runtime/abduct/abduct-20260211191053/main.rs +++ b/runtime/abduct/abduct-20260211191053/main.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! panic-attack: Universal stress testing and logic-based bug signature detection //! diff --git a/runtime/amuck/main.amuck.001.rs b/runtime/amuck/main.amuck.001.rs index 4f5e520..8568c93 100644 --- a/runtime/amuck/main.amuck.001.rs +++ b/runtime/amuck/main.amuck.001.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! panic-attack: Universal stress testing and logic-based bug signature detection //! diff --git a/src/a2ml/mod.rs b/src/a2ml/mod.rs index 38147df..c17c37b 100644 --- a/src/a2ml/mod.rs +++ b/src/a2ml/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Minimal A2ML parser and Nickel exporter diff --git a/src/abduct/mod.rs b/src/abduct/mod.rs index 1f4550e..6c5f9c7 100644 --- a/src/abduct/mod.rs +++ b/src/abduct/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Abduct isolation harness for defensive lock-in and delayed-trigger testing. diff --git a/src/adjudicate/mod.rs b/src/adjudicate/mod.rs index 120f350..cbe2610 100644 --- a/src/adjudicate/mod.rs +++ b/src/adjudicate/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Adjudicate campaign-wide findings using miniKanren-style rule inference. diff --git a/src/aggregate/mod.rs b/src/aggregate/mod.rs index 405d6f9..35a49e6 100644 --- a/src/aggregate/mod.rs +++ b/src/aggregate/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Aggregate — fold external prover output into an assail/assault report. //! diff --git a/src/ambush/mod.rs b/src/ambush/mod.rs index 329aad5..0f25304 100644 --- a/src/ambush/mod.rs +++ b/src/ambush/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Ambush execution: run a target program while applying ambient stressors. diff --git a/src/ambush/timeline.rs b/src/ambush/timeline.rs index 6137a49..5a52ef7 100644 --- a/src/ambush/timeline.rs +++ b/src/ambush/timeline.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Ambush timeline specification and parsing. diff --git a/src/amuck/mod.rs b/src/amuck/mod.rs index 480d0b0..0e6f97d 100644 --- a/src/amuck/mod.rs +++ b/src/amuck/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Amuck mutation runner for stress-testing source files with combination attacks. diff --git a/src/assail/analyzer.rs b/src/assail/analyzer.rs index ef6bd70..ac0cc9d 100644 --- a/src/assail/analyzer.rs +++ b/src/assail/analyzer.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Core Assail analyzer implementation //! diff --git a/src/assail/mod.rs b/src/assail/mod.rs index a9196a9..eb4e53b 100644 --- a/src/assail/mod.rs +++ b/src/assail/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Assail static analysis module //! diff --git a/src/assail/patterns.rs b/src/assail/patterns.rs index 694662b..b08f945 100644 --- a/src/assail/patterns.rs +++ b/src/assail/patterns.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Pattern detection for common program types //! diff --git a/src/assay/mod.rs b/src/assay/mod.rs index 06f251f..b1fb21c 100644 --- a/src/assay/mod.rs +++ b/src/assay/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Assay + Assimilate — proven-library substitution survey and swap-in. //! diff --git a/src/assemblyline.rs b/src/assemblyline.rs index e2481c9..7e223b7 100644 --- a/src/assemblyline.rs +++ b/src/assemblyline.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Assemblyline: batch scanning across multiple git repositories //! diff --git a/src/attack/executor.rs b/src/attack/executor.rs index b40680c..193805d 100644 --- a/src/attack/executor.rs +++ b/src/attack/executor.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Attack execution engine diff --git a/src/attack/mod.rs b/src/attack/mod.rs index 7df4287..1653e4f 100644 --- a/src/attack/mod.rs +++ b/src/attack/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Attack orchestration module diff --git a/src/attack/profile.rs b/src/attack/profile.rs index f688dd7..26c3c1d 100644 --- a/src/attack/profile.rs +++ b/src/attack/profile.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Attack profile loading for custom argument sets. diff --git a/src/attack/strategies.rs b/src/attack/strategies.rs index 20b7ad5..46612ca 100644 --- a/src/attack/strategies.rs +++ b/src/attack/strategies.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Attack strategies for different axes diff --git a/src/attestation/chain.rs b/src/attestation/chain.rs index 0145f99..7218022 100644 --- a/src/attestation/chain.rs +++ b/src/attestation/chain.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! # Attestation Chain Orchestrator //! diff --git a/src/attestation/envelope.rs b/src/attestation/envelope.rs index a46275a..610008f 100644 --- a/src/attestation/envelope.rs +++ b/src/attestation/envelope.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! A2ML envelope wrapping the attestation chain. //! diff --git a/src/attestation/evidence.rs b/src/attestation/evidence.rs index 27ca100..20af0c4 100644 --- a/src/attestation/evidence.rs +++ b/src/attestation/evidence.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Execution evidence accumulator. //! diff --git a/src/attestation/intent.rs b/src/attestation/intent.rs index 157e53b..6e45128 100644 --- a/src/attestation/intent.rs +++ b/src/attestation/intent.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Pre-execution intent record. //! diff --git a/src/attestation/mod.rs b/src/attestation/mod.rs index 154ec9a..3d2c1ca 100644 --- a/src/attestation/mod.rs +++ b/src/attestation/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Attestation chain for panic-attack scan results. //! diff --git a/src/attestation/seal.rs b/src/attestation/seal.rs index 2ce8adf..9e3492b 100644 --- a/src/attestation/seal.rs +++ b/src/attestation/seal.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Post-execution report seal. //! diff --git a/src/axial/mod.rs b/src/axial/mod.rs index b36ae3e..c066e6e 100644 --- a/src/axial/mod.rs +++ b/src/axial/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Axial observer: observe target reactions across attack axes from tool //! executions and report artifacts. @@ -966,7 +967,7 @@ mod tests { recommendations: vec!["no critical reaction signals observed".to_string()], aspell: None, }; - let path = dir.path().join("audience.md"); + let path = dir.path().join("axial.md"); write_markdown(&report, &path).expect("markdown should write"); let body = fs::read_to_string(path).expect("markdown should read"); assert!(body.contains("Axial Report")); diff --git a/src/bridge/classify.rs b/src/bridge/classify.rs index 80872e6..1d460bc 100644 --- a/src/bridge/classify.rs +++ b/src/bridge/classify.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Three-way CVE classification engine. //! diff --git a/src/bridge/intelligence.rs b/src/bridge/intelligence.rs index 87a824d..ae88e1f 100644 --- a/src/bridge/intelligence.rs +++ b/src/bridge/intelligence.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! CVE intelligence — queries vulnerability feeds for known issues. //! diff --git a/src/bridge/lockfile.rs b/src/bridge/lockfile.rs index 46f901c..b642128 100644 --- a/src/bridge/lockfile.rs +++ b/src/bridge/lockfile.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Lockfile parsers — extracts locked dependencies from Cargo.lock, mix.lock, //! package-lock.json, and requirements.txt for CVE feed queries. diff --git a/src/bridge/mod.rs b/src/bridge/mod.rs index 74c9013..a39e3c9 100644 --- a/src/bridge/mod.rs +++ b/src/bridge/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Patch Bridge — CVE mitigation lifecycle for upstream vulnerabilities. //! diff --git a/src/bridge/reachability.rs b/src/bridge/reachability.rs index aac2d62..6281365 100644 --- a/src/bridge/reachability.rs +++ b/src/bridge/reachability.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Reachability analysis — determines whether a dependency is actually used. //! diff --git a/src/bridge/registry.rs b/src/bridge/registry.rs index dad382b..0e55eca 100644 --- a/src/bridge/registry.rs +++ b/src/bridge/registry.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Mitigation registry — tracks active mitigations and their lifecycle. //! diff --git a/src/campaign/mod.rs b/src/campaign/mod.rs index 225ec84..29469df 100644 --- a/src/campaign/mod.rs +++ b/src/campaign/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Campaign-state orchestration (issue #33 S2). //! diff --git a/src/comment_marker.rs b/src/comment_marker.rs index 22335f3..cb47620 100644 --- a/src/comment_marker.rs +++ b/src/comment_marker.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Inline suppression markers — v2.5.5 `comment_analysis` slice. //! diff --git a/src/diagnostics.rs b/src/diagnostics.rs index 1a29fce..7ddb57b 100644 --- a/src/diagnostics.rs +++ b/src/diagnostics.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell use crate::a2ml::Manifest; use anyhow::{anyhow, Context, Result}; diff --git a/src/ffi_kind.rs b/src/ffi_kind.rs index 4adc27a..66312d2 100644 --- a/src/ffi_kind.rs +++ b/src/ffi_kind.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! FFI subtyping (v2.5.5 `ffi_refinement` slice). //! diff --git a/src/groove.rs b/src/groove.rs index 1e07137..fbb2c7e 100644 --- a/src/groove.rs +++ b/src/groove.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) // //! Gossamer Groove endpoint for panic-attacker. diff --git a/src/i18n/catalog.rs b/src/i18n/catalog.rs index 9cc5b78..16836a8 100644 --- a/src/i18n/catalog.rs +++ b/src/i18n/catalog.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Translation catalog for panic-attack. //! diff --git a/src/i18n/iso639.rs b/src/i18n/iso639.rs index 99c5f1c..e591195 100644 --- a/src/i18n/iso639.rs +++ b/src/i18n/iso639.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! ISO 639-1 language code validation and metadata. //! diff --git a/src/i18n/mod.rs b/src/i18n/mod.rs index be5b37a..55641e7 100644 --- a/src/i18n/mod.rs +++ b/src/i18n/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Internationalisation module for panic-attack. //! diff --git a/src/jit_context.rs b/src/jit_context.rs index fc07683..874ec09 100644 --- a/src/jit_context.rs +++ b/src/jit_context.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! JIT-compilation context detection (v2.5.5 `jit_context` slice). //! diff --git a/src/kanren/core.rs b/src/kanren/core.rs index 0919c03..887e30b 100644 --- a/src/kanren/core.rs +++ b/src/kanren/core.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Core relational logic engine //! diff --git a/src/kanren/crosslang.rs b/src/kanren/crosslang.rs index 5413bd7..ed76269 100644 --- a/src/kanren/crosslang.rs +++ b/src/kanren/crosslang.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Cross-language vulnerability analysis //! diff --git a/src/kanren/mod.rs b/src/kanren/mod.rs index eb6c917..f09dac5 100644 --- a/src/kanren/mod.rs +++ b/src/kanren/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! miniKanren-inspired relational logic engine for panic-attack //! diff --git a/src/kanren/rules.rs b/src/kanren/rules.rs index e224915..3a0be4b 100644 --- a/src/kanren/rules.rs +++ b/src/kanren/rules.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Data-driven rule loader for the miniKanren engine diff --git a/src/kanren/strategy.rs b/src/kanren/strategy.rs index 8c64b86..b6ea675 100644 --- a/src/kanren/strategy.rs +++ b/src/kanren/strategy.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Search strategies for analysis prioritisation //! diff --git a/src/kanren/taint.rs b/src/kanren/taint.rs index 14a018e..5f990ea 100644 --- a/src/kanren/taint.rs +++ b/src/kanren/taint.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Taint analysis via relational logic //! diff --git a/src/kin.rs b/src/kin.rs index 07d8fce..15a53af 100644 --- a/src/kin.rs +++ b/src/kin.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Kin Protocol — heartbeat reporting for ecosystem coordination. //! diff --git a/src/lib.rs b/src/lib.rs index a7ba851..f604226 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Panic-Attacker — Universal Stress Testing & Bug Signature Detection. //! diff --git a/src/main.rs b/src/main.rs index 22633a0..41ab06c 100644 --- a/src/main.rs +++ b/src/main.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! panic-attack: Universal stress testing and logic-based bug signature detection //! diff --git a/src/mass_panic/imaging.rs b/src/mass_panic/imaging.rs index 4e00f81..f965fd8 100644 --- a/src/mass_panic/imaging.rs +++ b/src/mass_panic/imaging.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! System health imaging — fNIRS-inspired spatial risk mapping. //! diff --git a/src/mass_panic/mod.rs b/src/mass_panic/mod.rs index 7b5fc8c..7c8cd47 100644 --- a/src/mass_panic/mod.rs +++ b/src/mass_panic/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Mass-panic: datacenter-scale codebase imaging and temporal navigation. //! diff --git a/src/mass_panic/temporal.rs b/src/mass_panic/temporal.rs index ff7e55c..c26b420 100644 --- a/src/mass_panic/temporal.rs +++ b/src/mass_panic/temporal.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Temporal navigation — time-series snapshots of system health. //! diff --git a/src/notify.rs b/src/notify.rs index d334d0c..745f964 100644 --- a/src/notify.rs +++ b/src/notify.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Designer notification pipeline. //! diff --git a/src/panll/mod.rs b/src/panll/mod.rs index 5ca2224..7235953 100644 --- a/src/panll/mod.rs +++ b/src/panll/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! PanLL export helpers. //! diff --git a/src/query/mod.rs b/src/query/mod.rs index 029d0f6..2357207 100644 --- a/src/query/mod.rs +++ b/src/query/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Cross-repo query subcommand (issue #33 S3). //! diff --git a/src/report/diff.rs b/src/report/diff.rs index 4e04e3c..56bb4cc 100644 --- a/src/report/diff.rs +++ b/src/report/diff.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Diff utilities for assault reports. diff --git a/src/report/formatter.rs b/src/report/formatter.rs index 6d2a755..2ac7876 100644 --- a/src/report/formatter.rs +++ b/src/report/formatter.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Report formatting and output diff --git a/src/report/generator.rs b/src/report/generator.rs index 41b4cbe..c38550e 100644 --- a/src/report/generator.rs +++ b/src/report/generator.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Report generation logic diff --git a/src/report/gui.rs b/src/report/gui.rs index 5036c30..014c3fa 100644 --- a/src/report/gui.rs +++ b/src/report/gui.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Minimal GUI for reviewing assault reports, system images, and temporal diffs. //! diff --git a/src/report/gui_text.rs b/src/report/gui_text.rs index 3c0e2cb..e5bec08 100644 --- a/src/report/gui_text.rs +++ b/src/report/gui_text.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Headless GUI report renderer — text-only output, no display server. //! diff --git a/src/report/migration.rs b/src/report/migration.rs index 21ce102..e9b6ca8 100644 --- a/src/report/migration.rs +++ b/src/report/migration.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Migration diff report formatter //! diff --git a/src/report/mod.rs b/src/report/mod.rs index 585d21b..300ec03 100644 --- a/src/report/mod.rs +++ b/src/report/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Report generation module diff --git a/src/report/output.rs b/src/report/output.rs index 779c364..85bd199 100644 --- a/src/report/output.rs +++ b/src/report/output.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Serialization helpers for printed/exported reports diff --git a/src/report/sarif.rs b/src/report/sarif.rs index cd67a6d..dcd0912 100644 --- a/src/report/sarif.rs +++ b/src/report/sarif.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! SARIF 2.1.0 output for GitHub Security tab integration //! diff --git a/src/report/tui.rs b/src/report/tui.rs index 14836ab..91c7f40 100644 --- a/src/report/tui.rs +++ b/src/report/tui.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Lightweight terminal UI for reviewing assault reports diff --git a/src/safe_path.rs b/src/safe_path.rs index 47f72e0..8c63a9e 100644 --- a/src/safe_path.rs +++ b/src/safe_path.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Safe path operations — Rust port of `proven::SafePath` (PROOF-PROGRAMME row 3, issue #115). //! diff --git a/src/signatures/engine.rs b/src/signatures/engine.rs index 3a634c3..35e5f94 100644 --- a/src/signatures/engine.rs +++ b/src/signatures/engine.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Signature detection engine using logic programming concepts //! diff --git a/src/signatures/mod.rs b/src/signatures/mod.rs index c87e489..acfe735 100644 --- a/src/signatures/mod.rs +++ b/src/signatures/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Logic-based bug signature detection //! diff --git a/src/signatures/rules.rs b/src/signatures/rules.rs index 46d6105..333660e 100644 --- a/src/signatures/rules.rs +++ b/src/signatures/rules.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Datalog-style rule definitions for bug detection //! diff --git a/src/storage/mod.rs b/src/storage/mod.rs index 3e8cad2..c5dc518 100644 --- a/src/storage/mod.rs +++ b/src/storage/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Persistent storage helpers for assault reports //! diff --git a/src/sweep_tracker/mod.rs b/src/sweep_tracker/mod.rs index ab874e4..f94d5de 100644 --- a/src/sweep_tracker/mod.rs +++ b/src/sweep_tracker/mod.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Estate-sweep tracker — Markdown report generator (issue #33 follow-up). //! diff --git a/src/test_context.rs b/src/test_context.rs index 00a5536..7a5a612 100644 --- a/src/test_context.rs +++ b/src/test_context.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Cross-language test-context detection (v2.5.5 `test_context` slice). //! diff --git a/src/types.rs b/src/types.rs index 0195b5d..998ac33 100644 --- a/src/types.rs +++ b/src/types.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Core type definitions for panic-attack //! diff --git a/tests/analyzer_tests.rs b/tests/analyzer_tests.rs index 0a9702c..f32833c 100644 --- a/tests/analyzer_tests.rs +++ b/tests/analyzer_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Unit tests for language-specific analyzers. //! diff --git a/tests/aspect_tests.rs b/tests/aspect_tests.rs index fee95b5..805b3c7 100644 --- a/tests/aspect_tests.rs +++ b/tests/aspect_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! Aspect tests for panic-attack diff --git a/tests/assemblyline_tests.rs b/tests/assemblyline_tests.rs index 9ddfba4..45b9e16 100644 --- a/tests/assemblyline_tests.rs +++ b/tests/assemblyline_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Tests for the assemblyline subcommand (batch repo scanning) diff --git a/tests/e2e_tests.rs b/tests/e2e_tests.rs index 7db56d1..5806e19 100644 --- a/tests/e2e_tests.rs +++ b/tests/e2e_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! End-to-end tests for panic-attack diff --git a/tests/integration.rs b/tests/integration.rs index b039bce..2f8ed48 100644 --- a/tests/integration.rs +++ b/tests/integration.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Integration tests for panic-attacker v0.2 diff --git a/tests/panll_tests.rs b/tests/panll_tests.rs index 204a6ae..bdf1311 100644 --- a/tests/panll_tests.rs +++ b/tests/panll_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Tests for the PanLL event-chain export module. //! diff --git a/tests/pattern_tests.rs b/tests/pattern_tests.rs index 20ced46..2ac28dd 100644 --- a/tests/pattern_tests.rs +++ b/tests/pattern_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Tests for language-specific detection patterns. //! diff --git a/tests/property_tests.rs b/tests/property_tests.rs index 92dfbc4..6524a74 100644 --- a/tests/property_tests.rs +++ b/tests/property_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! Property-based tests for panic-attack core components diff --git a/tests/readiness.rs b/tests/readiness.rs index 216bd54..02518de 100644 --- a/tests/readiness.rs +++ b/tests/readiness.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Machine-verifiable Component Readiness Grade tests. //! diff --git a/tests/regression_tests.rs b/tests/regression_tests.rs index 68d2d67..df909c2 100644 --- a/tests/regression_tests.rs +++ b/tests/regression_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Regression tests against known codebases diff --git a/tests/report_tests.rs b/tests/report_tests.rs index 430c5a2..b1f8346 100644 --- a/tests/report_tests.rs +++ b/tests/report_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Tests for the report generation and formatting modules. //! diff --git a/tests/sarif_tests.rs b/tests/sarif_tests.rs index 423bf9a..55284cc 100644 --- a/tests/sarif_tests.rs +++ b/tests/sarif_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell //! Tests for SARIF 2.1.0 output format. //! diff --git a/tests/seam_contract_tests.rs b/tests/seam_contract_tests.rs index 1bfe008..e1c577b 100644 --- a/tests/seam_contract_tests.rs +++ b/tests/seam_contract_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! Seam contract tests — pin the JSON schema fields consumed by downstream diff --git a/tests/types_tests.rs b/tests/types_tests.rs index 28d2dd4..217605e 100644 --- a/tests/types_tests.rs +++ b/tests/types_tests.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! Unit tests for core types — Language detection, family classification, diff --git a/tests/unbounded_corpus.rs b/tests/unbounded_corpus.rs index 53d9422..3ec4ae7 100644 --- a/tests/unbounded_corpus.rs +++ b/tests/unbounded_corpus.rs @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) //! Curated corpus for the UnboundedAllocation detector (PA015).