Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 6 additions & 3 deletions docs/codebase-annotations.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
<!-- SPDX-License-Identifier: MPL-2.0 -->
<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->

# Codebase Annotation Map

This document annotates the panic-attack codebase at an architectural level so maintainers can
Expand Down Expand Up @@ -46,7 +49,7 @@ trace data flow, intent, and operational boundaries across modules.
- Aggregates `assault`, `amuck`, `abduct` artifacts.
- Asserts normalized facts then applies compact inference rules.
- Emits explainable campaign verdict (`pass`/`warn`/`fail`) plus priorities.
- `src/audience/mod.rs`
- `src/axial/mod.rs`
- Observes target reactions from execution output and stored report artifacts.
- Supports head/tail excerpts, exact/fuzzy pattern matches (`grep`/`agrep`), aspell, i18n.
- Exports JSON + Markdown and optional Pandoc conversion.
Expand Down Expand Up @@ -81,7 +84,7 @@ trace data flow, intent, and operational boundaries across modules.
- `src/a2ml/mod.rs`
- Minimal A2ML parser for AI manifest ingestion.
- Nickel exporter for config interoperability.
- Includes schema-versioned A2ML report bundle import/export for assail/attack/assault/ambush/amuck/abduct/adjudicate/audience.
- Includes schema-versioned A2ML report bundle import/export for assail/attack/assault/ambush/amuck/abduct/adjudicate/axial.
- `src/panll/mod.rs`
- PanLL event-chain export adapter.

Expand All @@ -101,7 +104,7 @@ trace data flow, intent, and operational boundaries across modules.
- `src/adjudicate/mod.rs` for campaign-level verdict logic.
- `src/kanren/` for deeper relational inference.
- Add new observation signals:
- `src/audience/mod.rs::detect_signals`.
- `src/axial/mod.rs::detect_signals`.
- Add new mutation primitives:
- `src/amuck/mod.rs::MutationOperation`.
- Add new isolation semantics:
Expand Down
7 changes: 5 additions & 2 deletions docs/release-prep.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
<!-- SPDX-License-Identifier: MPL-2.0 -->
<!-- SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->

# Release Prep Checklist

This checklist is for shipping the `amuck`/`abduct`/`adjudicate`/`audience` + A2ML report-bundle work without pulling unrelated tree changes.
This checklist is for shipping the `amuck`/`abduct`/`adjudicate`/`axial` + A2ML report-bundle work without pulling unrelated tree changes.

## 1. Validation Gates

Expand Down Expand Up @@ -28,7 +31,7 @@ panic-attack a2ml-export --kind ambush reports/ambush.json --output /tmp/ambush.
panic-attack a2ml-import /tmp/ambush.a2ml --output /tmp/ambush.roundtrip.json --kind ambush
```

Repeat for `assault`, `amuck`, `abduct`, `adjudicate`, and `audience` when test fixtures are available.
Repeat for `assault`, `amuck`, `abduct`, `adjudicate`, and `axial` when test fixtures are available.

## 3. Curated Staging Set

Expand Down
13 changes: 7 additions & 6 deletions man/panic-attack.1
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
.\" SPDX-License-Identifier: MPL-2.0
.TH PANIC-ATTACK 1 "2026-02-11" "panic-attack 2.0.0" "panic-attack manual"
.SH NAME
panic-attack \- universal stress testing and logic-based bug signature detection
Expand Down Expand Up @@ -33,7 +34,7 @@ Copies a target into an isolated workspace, optionally includes related files, a
.B adjudicate REPORTS...
Aggregates assault/amuck/abduct report artifacts into a campaign-level verdict using rule-based inference.
.TP
.B audience TARGET
.B axial TARGET
Observes reaction signals by executing an external tool against a target and/or by inspecting existing report artifacts.
.TP
.B analyze REPORT.json
Expand All @@ -55,7 +56,7 @@ Compares two reports (defaults to the two most recent stored VerisimDB files).
Exports the AI manifest in Nickel syntax.
.TP
.B a2ml-export --kind KIND INPUT --output OUT
Encodes a report artifact as a schema-versioned A2ML report bundle (supports assail, attack, assault, ambush, amuck, abduct, adjudicate, audience).
Encodes a report artifact as a schema-versioned A2ML report bundle (supports assail, attack, assault, ambush, amuck, abduct, adjudicate, axial).
.TP
.B a2ml-import INPUT --output OUT [--kind KIND]
Decodes an A2ML report bundle back into JSON (optionally assert expected kind).
Expand Down Expand Up @@ -94,14 +95,14 @@ Run a checker against the abducted target while preserving isolation metadata.
.B panic-attack adjudicate reports/assault-a.json reports/amuck-a.json reports/abduct-a.json
Compile a larger picture from multiple report types and emit a campaign verdict.
.TP
.B panic-attack audience ./src/main.rs --exec-program panic-attack --exec-arg amuck --exec-arg {target} --repeat 3
.B panic-attack axial ./src/main.rs --exec-program panic-attack --exec-arg amuck --exec-arg {target} --repeat 3
Watch repeated target reactions while another tool runs against it.
.TP
.B panic-attack audience ./src/main.rs --report reports/amuck-a.json --head 30 --tail 30 --grep panic --agrep segmntation --agrep-distance 2 --aspell --aspell-lang en
.B panic-attack axial ./src/main.rs --report reports/amuck-a.json --head 30 --tail 30 --grep panic --agrep segmntation --agrep-distance 2 --aspell --aspell-lang en
Inspect report reactions with excerpting, exact/fuzzy pattern matching, and optional spell-check signals.
.TP
.B panic-attack audience ./src/main.rs --report reports/amuck-a.json --lang fr --pandoc-to html --pandoc-output reports/audience.html
Export localized audience markdown and convert it to another format with pandoc.
.B panic-attack axial ./src/main.rs --report reports/amuck-a.json --lang fr --pandoc-to html --pandoc-output reports/axial.html
Export localized axial markdown and convert it to another format with pandoc.
.TP
.B panic-attack a2ml-export --kind ambush reports/ambush.json --output reports/ambush.a2ml
Encode an ambush/assault-style report in A2ML report-bundle form.
Expand Down
Loading