docs: post-rename hygiene + stale-fact refresh (26 files) by hyperpolymath · Pull Request #40 · hyperpolymath/panic-attack

hyperpolymath · 2026-05-26T08:52:58Z

Summary

Mechanical sweep to catch up active docs and config after the 2026-02-08 binary rename (panic-attacker → panic-attack) and the v2.5.0 release. Active prose, install commands, and config still referenced the old names; some counts had not been refreshed since v2.1/v2.3.

26 files changed (25 modified + 1 renamed). Diff is symmetric (+86/-86) — no semantic drift, just renames.

Mass rename: `panic-attacker` → `panic-attack`

20 files: DESIGN.md, VISION.md, CONTRIBUTING.md, SECURITY.md, QUICKSTART-{USER,DEV,MAINTAINER}.adoc, llm-warmup-{dev,user}.md, PROOF-NEEDS.md, TEST-NEEDS.md, FUTURE-IMPROVEMENTS.md, docs/json-schema.md, docs/007-FALSE-POSITIVE-GUIDANCE.md, docs/mass-panic-fnirs-paper.adoc, docs/HYPATIA-RULE-UPDATES.md, .github/workflows/{mirror,scan-and-report}.yml, stapeln.toml, k9iser.toml.

Intentional exclusions (historical record):

`CHANGELOG.md` — rename entry IS the historical record
`.claude/CLAUDE.md` — rename block intentionally preserved
`docs/reports/audit/*` — dated audit snapshots, frozen-in-time

File rename

`panic-attacker.toml.example` → `panic-attack.toml.example` (config template's own header already instructed "copy to panic-attack.toml")

Critical CI fixes

File	Issue
`.github/workflows/mirror.yml:15`	`if: github.repository == 'hyperpolymath/panic-attacker'` was a dead guard (repo renamed); workflow had silently been a no-op since 2026-02-08
`.github/workflows/scan-and-report.yml:35`	`cargo install --git https://github.com/hyperpolymath/panic-attacker --branch main` would 404 against the renamed repo on the next install attempt

Stale-fact refresh

File	Fix
`TOPOLOGY.md:93,97`	282 tests → 400+; v2.3.0 → v2.5.0
`k9iser.toml:22`	LICENSE comment PMPL → MPL-2.0
`PROOF-NEEDS.md:14`	47 `Lang` constructors → 49
`src/abi/PatternCompleteness.idr:21`	inline comment "47 variants" → "49 variants" (file's own line 24 already said 49)
`READINESS.md:16`	add Isabelle to dogfood-tested language list
`ROADMAP.adoc:29`	drop stale "(Next)" qualifier on v2.1.0 section

Test plan

`cargo check` clean (no Rust source changes besides one .idr inline comment)
`cargo fmt --check` clean
No semantic drift — diff is symmetric (+86/-86)
Signed commit
Active config consistency: k9iser.toml's Cargo contract (line 19: `package.name == 'panic-attack'`) now matches `[project] name` (line 9)

Not in this PR (separate concerns)

README.adoc — open PR docs(readme): repair stale badges, version, link and counts #35 already fixes the OpenSSF link, license badge, version, and counts; deliberately not touched here to avoid conflict.
ROADMAP.adoc structural refresh — sections v2.1-v2.5 use checkbox history correctly; only the `(Next)` label was stale. Deeper re-org would be a separate doc PR.
Proof-drift between `src/types.rs` (has `Chapel`, no `C`) and `src/abi/PatternCompleteness.idr` (has `C`, no `Chapel`) — both enumerate 49 constructors but disagree on which 49. Filing as a separate proof-drift issue.

🤖 Generated with Claude Code

Mechanical sweep to catch up active docs and config after the 2026-02-08 binary rename (`panic-attacker` → `panic-attack`, `xray` → `assail`, `XRayReport` → `AssailReport`) and the v2.5.0 release. Active prose, install commands, and config still referenced the old names; some counts had not been refreshed since v2.1/v2.3. ### Mass rename `panic-attacker` → `panic-attack` 20 files: DESIGN.md, VISION.md, CONTRIBUTING.md, SECURITY.md, QUICKSTART-{USER,DEV,MAINTAINER}.adoc, llm-warmup-{dev,user}.md, PROOF-NEEDS.md, TEST-NEEDS.md, FUTURE-IMPROVEMENTS.md, docs/json-schema.md, docs/007-FALSE-POSITIVE-GUIDANCE.md, docs/mass-panic-fnirs-paper.adoc, docs/HYPATIA-RULE-UPDATES.md, .github/workflows/{mirror,scan-and-report}.yml, stapeln.toml, k9iser.toml. Intentional exclusions (historical record): * `CHANGELOG.md` — rename entry is the historical record itself * `.claude/CLAUDE.md` — rename block is intentionally preserved * `docs/reports/audit/*` — dated audit snapshots, frozen-in-time ### File rename * `panic-attacker.toml.example` → `panic-attack.toml.example` (config template's own header already instructed "copy to panic-attack.toml") ### Critical CI fixes * `.github/workflows/mirror.yml:15` — `if: github.repository == 'hyperpolymath/panic-attacker'` was a dead guard (repo renamed); workflow had silently been a no-op since 2026-02-08. * `.github/workflows/scan-and-report.yml:35` — `cargo install --git https://github.com/hyperpolymath/panic-attacker --branch main` would 404 against the renamed repo on the next install attempt. ### Stale-fact refresh * `TOPOLOGY.md:93,97` — 282 tests → 400+ tests; v2.3.0 → v2.5.0 * `k9iser.toml:22` — LICENSE comment PMPL → MPL-2.0 (Cargo.toml contract on line 19 already encodes `package.name == 'panic-attack'`) * `PROOF-NEEDS.md:14` — 47 `Lang` constructors → 49 (matches PatternCompleteness.idr's own line 24 and the README) * `src/abi/PatternCompleteness.idr:21` — inline comment "47 variants" → "49 variants" (file's docstring on line 24 already said 49) * `READINESS.md:16` — add Isabelle to dogfood-tested language list * `ROADMAP.adoc:29` — drop stale "(Next)" qualifier on v2.1.0 section (all checkboxes ticked; v2.5.0 is current) ### Verified * `cargo check` — clean * `cargo fmt --check` — clean * Diff is symmetric (+86/-86) — no semantic drift, just renames ### Not in this PR (separate concerns) * README.adoc — open PR #35 already fixes the OpenSSF link, license badge, version, and counts; deliberately not touched here to avoid conflict. * ROADMAP.adoc structural refresh — sections v2.1-v2.5 use checkbox history correctly; only the "(Next)" label was stale. Deeper re-organisation would be a separate doc PR. * Proof-drift between `src/types.rs` (has `Chapel`, no `C`) and `src/abi/PatternCompleteness.idr` (has `C`, no `Chapel`) — both enumerate 49 constructors but disagree on which 49. Out of scope for docs hygiene; filing as a separate proof-drift issue. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

github-actions · 2026-05-26T08:53:50Z

🔍 Hypatia Security Scan

Findings: 50 issues detected

Severity	Count
🔴 Critical	4
🟠 High	16
🟡 Medium	30

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Nickel file missing SPDX-License-Identifier header (1 occurrences, CWE-1104)",
    "type": "ncl_missing_spdx",
    "file": "/home/runner/work/panic-attack/panic-attack/reports/panic-attack-20260211180017.ncl",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/chain.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/evidence.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/ambush/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/kanren/strategy.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/axial/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "expect() in hot path (4 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/assail/analyzer.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (4 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

github-actions · 2026-05-26T09:08:06Z

🔍 Hypatia Security Scan

Findings: 49 issues detected

Severity	Count
🔴 Critical	4
🟠 High	16
🟡 Medium	29

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Nickel file missing SPDX-License-Identifier header (1 occurrences, CWE-1104)",
    "type": "ncl_missing_spdx",
    "file": "/home/runner/work/panic-attack/panic-attack/reports/panic-attack-20260211180017.ncl",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/chain.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/evidence.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/ambush/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/kanren/strategy.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/axial/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "expect() in hot path (4 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/assail/analyzer.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (4 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

github-actions · 2026-05-26T09:16:57Z

🔍 Hypatia Security Scan

Findings: 49 issues detected

Severity	Count
🔴 Critical	4
🟠 High	16
🟡 Medium	29

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Nickel file missing SPDX-License-Identifier header (1 occurrences, CWE-1104)",
    "type": "ncl_missing_spdx",
    "file": "/home/runner/work/panic-attack/panic-attack/reports/panic-attack-20260211180017.ncl",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/chain.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/evidence.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/ambush/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/kanren/strategy.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/axial/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "expect() in hot path (4 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/assail/analyzer.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (4 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

github-actions · 2026-05-26T09:21:45Z

🔍 Hypatia Security Scan

Findings: 49 issues detected

Severity	Count
🔴 Critical	4
🟠 High	16
🟡 Medium	29

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Nickel file missing SPDX-License-Identifier header (1 occurrences, CWE-1104)",
    "type": "ncl_missing_spdx",
    "file": "/home/runner/work/panic-attack/panic-attack/reports/panic-attack-20260211180017.ncl",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/chain.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/attestation/evidence.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (1 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/ambush/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/kanren/strategy.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "unwrap_or(0) with dangerous default (3 occurrences, CWE-754)",
    "type": "unwrap_dangerous_default",
    "file": "/home/runner/work/panic-attack/panic-attack/src/axial/mod.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "expect() in hot path (4 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/src/assail/analyzer.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (4 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "expect() in hot path (2 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/panic-attack/panic-attack/benches/scan_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

hyperpolymath mentioned this pull request May 26, 2026

Proof-drift: src/types.rs Language enum disagrees with src/abi/PatternCompleteness.idr (Chapel vs C) #41

Closed

Merge branch 'main' into docs/post-rename-hygiene

e20a2f5

Merge branch 'main' into docs/post-rename-hygiene

2435b20

hyperpolymath enabled auto-merge (squash) May 26, 2026 09:10

Merge branch 'main' into docs/post-rename-hygiene

314624b

Merge branch 'main' into docs/post-rename-hygiene

22c7e41

hyperpolymath merged commit 43d36ca into main May 26, 2026
26 of 28 checks passed

hyperpolymath deleted the docs/post-rename-hygiene branch May 26, 2026 09:24

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

docs: post-rename hygiene + stale-fact refresh (26 files)#40

docs: post-rename hygiene + stale-fact refresh (26 files)#40
hyperpolymath merged 5 commits into
mainfrom
docs/post-rename-hygiene

hyperpolymath commented May 26, 2026

Uh oh!

github-actions Bot commented May 26, 2026

Uh oh!

github-actions Bot commented May 26, 2026

Uh oh!

github-actions Bot commented May 26, 2026

Uh oh!

github-actions Bot commented May 26, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

hyperpolymath commented May 26, 2026

Summary

Mass rename: `panic-attacker` → `panic-attack`

File rename

Critical CI fixes

Stale-fact refresh

Test plan

Not in this PR (separate concerns)

Uh oh!

github-actions Bot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actions Bot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actions Bot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

github-actions Bot commented May 26, 2026

🔍 Hypatia Security Scan

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant