diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md index bcd187f..c45cfc7 100644 --- a/.claude/CLAUDE.md +++ b/.claude/CLAUDE.md @@ -1,3 +1,5 @@ + + # Panic Attack - Project Instructions ## Overview diff --git a/.machine_readable/agent_instructions/README.adoc b/.machine_readable/agent_instructions/README.adoc index 9bc2e24..b7b01c7 100644 --- 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 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) = Agent Instructions :toc: preamble diff --git a/.machine_readable/svc/README.adoc b/.machine_readable/svc/README.adoc index 499f52b..7ed786a 100644 --- 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 = `.machine_readable/svc/` — Service components for panic-attack :toc: diff --git a/CHANGELOG.md b/CHANGELOG.md index 650c931..9783f8c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,5 @@ + + # Changelog ## [Unreleased] diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md index d4c7d75..10207b2 100644 --- a/CODE_OF_CONDUCT.md +++ b/CODE_OF_CONDUCT.md @@ -1,3 +1,5 @@ + + # Code of Conduct ## Our Pledge diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b4bce70..ebcbe45 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,3 +1,5 @@ + + # 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 index 9f720a7..5e8797b 100644 --- a/DESIGN.md +++ b/DESIGN.md @@ -627,3 +627,4 @@ Over time, this enables: ## License SPDX-License-Identifier: MPL-2.0 + diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc index 3d2bf86..82733b7 100644 --- a/EXPLAINME.adoc +++ b/EXPLAINME.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell = panic-attack — Show Me The Receipts :toc: :icons: font diff --git a/PROOF-NEEDS.md b/PROOF-NEEDS.md index 77db365..067bafe 100644 --- a/PROOF-NEEDS.md +++ b/PROOF-NEEDS.md @@ -1,3 +1,5 @@ + + # PROOF-NEEDS.md — panic-attack ## Current State diff --git a/PROOF-PROGRAMME.md b/PROOF-PROGRAMME.md index 06c61d1..5d9d473 100644 --- a/PROOF-PROGRAMME.md +++ b/PROOF-PROGRAMME.md @@ -1,4 +1,5 @@ + # 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 index c48c0b9..f01c854 100644 --- 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 // 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 index 546490a..7b8832e 100644 --- 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 // 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 index 969b56e..90babd5 100644 --- 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 // 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 index 1b8d80f..a729378 100644 --- a/READINESS.md +++ b/READINESS.md @@ -1,4 +1,5 @@ + # panic-attack Component Readiness Assessment diff --git a/ROADMAP.adoc b/ROADMAP.adoc index 03336b0..5a1d41a 100644 --- a/ROADMAP.adoc +++ b/ROADMAP.adoc @@ -1,4 +1,5 @@ // SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell :toc: macro :toclevels: 2 diff --git a/SECURITY.md b/SECURITY.md index 299cfe9..a75c39f 100644 --- a/SECURITY.md +++ b/SECURITY.md @@ -1,3 +1,5 @@ + + # Security Policy ## Supported Versions diff --git a/TEST-NEEDS.md b/TEST-NEEDS.md index 55a9079..0433d78 100644 --- a/TEST-NEEDS.md +++ b/TEST-NEEDS.md @@ -1,3 +1,5 @@ + + # TEST-NEEDS.md — panic-attack ## CRG Grade: B — ACHIEVED 2026-04-04 diff --git a/TOPOLOGY.md b/TOPOLOGY.md index 8a27fde..f747f59 100644 --- a/TOPOLOGY.md +++ b/TOPOLOGY.md @@ -1,4 +1,5 @@ + diff --git a/VISION.md b/VISION.md index c0ec288..12753f7 100644 --- a/VISION.md +++ b/VISION.md @@ -1,4 +1,5 @@ # SPDX-License-Identifier: MPL-2.0 + # panic-attack: Extended Vision diff --git a/chapel/README.md b/chapel/README.md index cbcf224..a6c14b0 100644 --- a/chapel/README.md +++ b/chapel/README.md @@ -1,4 +1,5 @@ # SPDX-License-Identifier: MPL-2.0 + # Chapel Distributed Orchestrator for panic-attack diff --git a/docs/007-FALSE-POSITIVE-GUIDANCE.md b/docs/007-FALSE-POSITIVE-GUIDANCE.md index a2eb55a..921e2a1 100644 --- a/docs/007-FALSE-POSITIVE-GUIDANCE.md +++ b/docs/007-FALSE-POSITIVE-GUIDANCE.md @@ -1,3 +1,5 @@ + + # 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 index 979ff94..e54755d 100644 --- a/docs/HYPATIA-RULE-UPDATES.md +++ b/docs/HYPATIA-RULE-UPDATES.md @@ -1,3 +1,5 @@ + + # 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 index edee5fa..b3fe26b 100644 --- a/docs/adr/0001-chapel-distributed-scanner.md +++ b/docs/adr/0001-chapel-distributed-scanner.md @@ -1,4 +1,5 @@ + # 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 index 2ce4f52..e639259 100644 --- a/docs/adr/0001-chapel-issue-33-comment.md +++ b/docs/adr/0001-chapel-issue-33-comment.md @@ -1,4 +1,5 @@ + + # Ambush Timeline & Event-Chain Plan (DAW-style) diff --git a/docs/attack-profiles.md b/docs/attack-profiles.md index 2d66d03..5e320ae 100644 --- a/docs/attack-profiles.md +++ b/docs/attack-profiles.md @@ -1,3 +1,5 @@ + + # 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 index 2442fcd..ae8197e 100644 --- a/docs/campaigns/2026-05-26.md +++ b/docs/campaigns/2026-05-26.md @@ -1,5 +1,6 @@ Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) --> diff --git a/docs/campaigns/2026-05-26/01-triage.md b/docs/campaigns/2026-05-26/01-triage.md index 12f8187..4d6e547 100644 --- a/docs/campaigns/2026-05-26/01-triage.md +++ b/docs/campaigns/2026-05-26/01-triage.md @@ -1,4 +1,5 @@ + # 01-triage — algorithmic spec diff --git a/docs/campaigns/2026-05-26/README.md b/docs/campaigns/2026-05-26/README.md index d316f16..6951638 100644 --- a/docs/campaigns/2026-05-26/README.md +++ b/docs/campaigns/2026-05-26/README.md @@ -1,5 +1,6 @@ Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) --> diff --git a/docs/json-schema.md b/docs/json-schema.md index c77c3de..53e5fa5 100644 --- 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 + diff --git a/docs/panll-export.md b/docs/panll-export.md index d8802a6..fcde0ab 100644 --- a/docs/panll-export.md +++ b/docs/panll-export.md @@ -1,4 +1,5 @@ + # PanLL Export (Event-Chain Bridge) diff --git a/docs/patch-bridge-design.md b/docs/patch-bridge-design.md index 845f24a..495e64b 100644 --- a/docs/patch-bridge-design.md +++ b/docs/patch-bridge-design.md @@ -1,4 +1,5 @@ + # 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 index fb0dee0..1cba7ed 100644 --- 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 = 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 index f759b3c..4071a45 100644 --- a/docs/reports/audit/pillar-audit-2026-04-15.md +++ b/docs/reports/audit/pillar-audit-2026-04-15.md @@ -1,3 +1,5 @@ + + # 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 index d5be0fa..bc1572a 100644 --- a/docs/tech-debt-2026-05-26.md +++ b/docs/tech-debt-2026-05-26.md @@ -1,5 +1,6 @@ SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) --> diff --git a/ffi/zig/build.zig b/ffi/zig/build.zig index 006638e..50504c6 100644 --- 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 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 index 8cd320d..3834c46 100644 --- 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 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) // // panic-attack FFI — C-compatible bridge for static analysis operations. diff --git a/llm-warmup-dev.md b/llm-warmup-dev.md index f6bf6be..a56f948 100644 --- a/llm-warmup-dev.md +++ b/llm-warmup-dev.md @@ -1,3 +1,5 @@ + + # LLM Warmup — panic-attack (Developer) ## What is panic-attack? diff --git a/llm-warmup-user.md b/llm-warmup-user.md index 566ba8f..280a1d6 100644 --- a/llm-warmup-user.md +++ b/llm-warmup-user.md @@ -1,3 +1,5 @@ + + # 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 index 547399f..fedf3ab 100644 --- a/panic_attack_static_analysis_preparation.md +++ b/panic_attack_static_analysis_preparation.md @@ -1,3 +1,5 @@ + + # Panic-Attack Static Analysis Preparation ## Executive Summary diff --git a/panic_attack_static_analysis_results.md b/panic_attack_static_analysis_results.md index b9bf5a3..44b98fe 100644 --- a/panic_attack_static_analysis_results.md +++ b/panic_attack_static_analysis_results.md @@ -1,3 +1,5 @@ + + # Panic-Attack Static Analysis Results ## Executive Summary diff --git a/panic_attack_static_analysis_summary.md b/panic_attack_static_analysis_summary.md index 193e890..051af88 100644 --- a/panic_attack_static_analysis_summary.md +++ b/panic_attack_static_analysis_summary.md @@ -1,3 +1,5 @@ + + # Panic-Attack Static Analysis Summary ## Executive Summary diff --git a/src/abi/AttestationUnforgeability.idr b/src/abi/AttestationUnforgeability.idr index dab3999..a842f86 100644 --- 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 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ||| Attestation-chain unforgeability (PROOF-PROGRAMME §3.2). diff --git a/src/abi/ClassificationSoundness.idr b/src/abi/ClassificationSoundness.idr index c368013..71feb21 100644 --- 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 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ||| Classification Soundness Proofs diff --git a/src/abi/PatternCompleteness.idr b/src/abi/PatternCompleteness.idr index e29f28a..5295575 100644 --- 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 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ||| Pattern Matching Completeness Proofs diff --git a/src/abi/Stripping.idr b/src/abi/Stripping.idr index 164cf54..115fdef 100644 --- 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 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ||| Comment and String Stripping Idempotence (PROOF-PROGRAMME Layer 1.0) diff --git a/src/abi/Types.idr b/src/abi/Types.idr index cdfe127..ee997b1 100644 --- 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 -- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) ||| ABI Types for panic-attack static analysis engine |||