Function project_failure_short_lines 

pub fn project_failure_short_lines(failure: &ProjectFailure) -> Vec<String>

v0.24 (ADR 0052 rider) / ADR 0100: the project-failure flattening layer. #521: the implementation is shared with the bynk driver in [bynk_driver]; these re-exports keep bynkc’s public API (and its callers) unchanged. The string form of print_project_failure_short: one path:line:col: severity[category]: message line per attributed error (an unattributed project-level error falls back to severity[category]: message). Backs both the printer above and the bynkc test --format json compile-error document, whose diagnostics the VS Code bynkc problem-matcher re-parses — each Vec entry is exactly one line by that contract, so unlike the other renderers in this file this one deliberately does not grow note/label continuation lines (finding #47): doing so would break a machine consumer that re-parses every entry as a single diagnostic line.

The flattening layer (ADR 0100): it delegates the per-error formatting to bynk_render::short_line / bynk_render::severity_word, and the attribution lookup to the crate-private attributed_snapshot (finding #48).