audit: classify 10 FFI/systems unsafe findings as legitimate (PA001/PA007)

[hyperpolymath]

Summary

panic-attack assail reports 10 UnsafeCode (PA001) + UnsafeFFI (PA007) Critical/High findings under container-stack/ in this repo. All sit at the C-ABI / syscall / kernel boundary and are required by the host language to call across.

Rationale: vordr is an eBPF + Zig + Rust container runtime; selur is a Zig sandbox; cerro-torre is an Ada post-quantum component binding liboqs via Ada's pragma Convention/Unchecked_Conversion. All 10 findings are at the Rust↔eBPF kernel boundary, Zig FFI to libc/libcontainer, or Ada↔C bindings to liboqs.

What changes

• audits/assail-classifications.a2ml — 10 entries, classification=legitimate-ffi.
• audits/audit-ffi-2026-05-26.md — auditor record + anti-gameability note.

Scope

Classification is scoped to the listed roots (container-stack/). Any unsafe block outside those roots remains visible.

Anti-gameability

Same pattern as hyperpolymath/svalinn, hyperpolymath/proven, hyperpolymath/gossamer, hyperpolymath/docudactyl, hyperpolymath/proven-servers, hyperpolymath/aerie, and hyperpolymath/boj-server — registry is a separate file from any source under scan; new unsafe in a classified root requires a companion classification edit + audit-doc update, both visible.

Verification

Locally: panic-attack assail . --headless reports the 10 findings as suppressed: true on this branch.

Refs hyperpolymath/panic-attack#32.

🤖 Generated with Claude Code

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[github-actions]

🔍 Hypatia Security Scan

Findings: 237 issues detected

Severity	Count
🔴 Critical	32
🟠 High	111
🟡 Medium	94

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action denoland/setup-deno@v2 needs attention",
    "type": "unpinned_action",
    "file": "e2e.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action denoland/setup-deno@v2 needs attention",
    "type": "unpinned_action",
    "file": "e2e.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "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": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/container-stack/vordr/src/mcp-adapter/src/ipv6_bridge.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/container-stack/vordr/src/mcp-adapter/http-server.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/tests/unit/container_types_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/tests/aspect/security_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/tests/e2e/container_lifecycle_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/tests/property/layer_invariants_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/stapeln/stapeln/tests/property/nickel_config_properties_test.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence