Skip to content

abicheck

Audit private header leak

abicheck/abicheck

Rule: Private header leaks into the public surface¶

Canonical rule slug: audit-private-header-leak. ← back to all rules

A single-release audit finds a public header including a private one, pulling internal declarations into the supported surface.

Canonical demonstration¶

case144_audit_private_header_leak — Private Header Leak (Single-Release Audit) (🟢 COMPATIBLE)

Used by scenarios¶

case147_scan_depth_ladder — Depth Ladder — the Same Input Answered at Increasing Depth
case151_xcheck_provider_matrix — Provider-Agreement Matrix (Corroboration Grows With Evidence)