Capability / evidence demonstration scenarios¶
A demonstration of what a particular evidence source or analysis capability can and cannot prove.
12 case(s). ← back to all examples
| Case | Title | Verdict | Category |
|---|---|---|---|
| case147_scan_depth_ladder | Depth Ladder — the Same Input Answered at Increasing Depth | 🟢 COMPATIBLE | Quality (Compatible) |
| case148_xcheck_header_build_mismatch | Header Build-Context Mismatch (Cross-Source Flagship) | 🟠 API_BREAK | API Break |
| case149_xcheck_odr_variant | ODR Type Variant (Cross-Source, L4 Layout ↔ Layout) | 🟠 API_BREAK | API Break |
| case150_xcheck_export_public_pair | Bidirectional Export ↔ Declaration Pair | 🟢 COMPATIBLE | Quality (Compatible) |
| case151_xcheck_provider_matrix | Provider-Agreement Matrix (Corroboration Grows With Evidence) | 🟢 COMPATIBLE | Quality (Compatible) |
| case191_header_only_graph_field_type | Public Struct Gains a Field of a Private Type (Header-Only Graph) | 🔴 BREAKING | Breaking |
| case192_call_graph_break_survives_suppression | Call-Graph-Reachable Break Survives Suppression | 🔴 BREAKING | Breaking |
| case193_ordinary_exported_fn_call_not_reachable | Ordinary Exported Function's Internal Call Is Not Public-Reachable | 🔴 BREAKING | Breaking |
| case194_header_graph_rename_reconciled | Internal Dependency Target Renamed, Safely Reconciled | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case195_header_graph_ambiguous_rename_not_reconciled | Ambiguous Simultaneous Rename, Correctly Not Reconciled | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case196_header_graph_move_reconciled | Declaration Reconciled as Moved Across a Compound Edit | 🟡 COMPATIBLE_WITH_RISK | Risk |
| case197_header_graph_identity_reconciled | Declaration Reconciled as Identity-Reconciled (Header Unchanged) | 🟡 COMPATIBLE_WITH_RISK | Risk |