Skip to content

docs: complete audience→axial rename drift in man page + docs#137

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/audience-axial-doc-drift
Jun 24, 2026
Merged

docs: complete audience→axial rename drift in man page + docs#137
hyperpolymath merged 1 commit into
mainfrom
chore/audience-axial-doc-drift

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

The audience subcommand/module/A2ML-kind was renamed to axial in 1d95bab, but the man page and two docs were not swept — leaving a removed subcommand documented and a dangling src/audience/mod.rs path.

This is the genuine structural drift Hypatia's SD022 should have caught; instead it false-flagged the valid src/aggregate/ (that directory exists and is wired — a false positive).

Changes

  • man/panic-attack.1: audience subcommand + examples → axial (and reports/audience.htmlreports/axial.html).
  • docs/codebase-annotations.md: dangling src/audience/mod.rssrc/axial/mod.rs; audience in the A2ML-kind list → axial.
  • docs/release-prep.md: audience in the subcommand checklists → axial.
  • Adds the repo-standard MPL-2.0 + owner SPDX header to the two previously header-less .md docs (panic-attack policy: SPDX on all files), so the licence-enforcer pre-commit hook passes cleanly.

Code rename was already complete (src/axial/, the Axial subcommand, ReportBundleKind::Axial, etc.); this is docs/man only. The JWT aud-claim references in src/assail/analyzer.rs are a different concept and were left untouched.

🤖 Generated with Claude Code

The 'audience' subcommand/module/A2ML-kind was renamed to 'axial' (1d95bab)
but the man page and two docs were not swept, leaving a removed subcommand
documented and a dangling src/audience/mod.rs path (the real structural drift;
Hypatia SD022 false-flagged the valid src/aggregate/ instead). Sweeps
man/panic-attack.1, docs/codebase-annotations.md, docs/release-prep.md to
'axial' / src/axial/mod.rs. Adds the repo-standard MPL-2.0 + owner SPDX header
to the two header-less .md docs (panic-attack policy: MPL-2.0 on all files) so
the licence-enforcer hook passes cleanly. Code rename was already complete.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@hyperpolymath hyperpolymath merged commit 0d89586 into main Jun 24, 2026
25 of 27 checks passed
@hyperpolymath hyperpolymath deleted the chore/audience-axial-doc-drift branch June 24, 2026 11:28
hyperpolymath added a commit that referenced this pull request Jun 24, 2026
…k) (#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>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant