Module audit_keys

Structs§

AuditComparison: One-pass audit comparison shared by attribution, verdict, and annotations.
AuditComparisonInput: Inputs for building one AuditComparison.
AuditDomainLedger: Stable-key membership for one non-dead-code audit domain.
AuditFindingRecord: One dead-code finding classified for audit comparison.
DeadCodeAuditLedger: Exhaustive dead-code comparison ledger shared by audit verdict and output.

annotate_dead_code_json
annotate_domain_json: Attach precomputed introduced membership to an audit JSON array.
annotate_dupes_json
annotate_health_json
annotate_stale_suppressions_json: Annotate the sole legacy dead-code collection without a typed introduced field. Every wrapper-backed collection is annotated from the persisted AuditComparison instead.
dead_code_audit_ledger: Build the exhaustive dead-code comparison ledger once for an audit run.
dead_code_keys: dead_code_keys, retain_introduced_dead_code. Non-exhaustive siblings the compiler will NOT flag (wire manually when a finding type is added): annotate_dead_code_json (same key formats, this file) and the per-collection severity branches in crates/cli/src/check/rules.rs (apply_rules, has_error_severity_issues). TypeScript mirror: editors/vscode/scripts/codegen-contracts.mjs derives backwards-compatible aliases from fallow schema ts_alias rows.
dupe_group_key
dupes_keys
health_finding_key
health_keys
relative_key_path
remap_keys_for_renames: Remap root-relative path tokens inside base-snapshot attribution keys so a finding on a renamed file matches its base counterpart under the old path.
retain_introduced_dead_code: Retain only findings whose audit key was NOT present in base (i.e. was introduced on the current branch).
styling_finding_key
styling_keys