Function render_report

crates/openshell-prover/src/report.rs:133–231

Render a full terminal report with finding panels. Returns exit code: 0 = pass, 1 = any findings present.

(findings: &[Finding], policy_path: &str, credentials_path: &str)

/// Render a full terminal report with finding panels.
/// Returns exit code: 0 = pass, 1 = any findings present.
pub fn render_report(findings: &[Finding], policy_path: &str, credentials_path: &str) -> i32 {
    let policy_name = Path::new(policy_path)
        .file_name()
        .map_or("policy.yaml", |n| n.to_str().unwrap_or("policy.yaml"));
    let creds_name = Path::new(credentials_path)
        .file_name()
        .map_or("credentials.yaml", |n| {
            n.to_str().unwrap_or("credentials.yaml")
        });

    println!();
    println!(
        "{}",
        "\u{250c}\u{2500}\u{2500} OpenShell Policy Prover \u{2500}\u{2500}\u{2510}".blue()
    );
    println!("  Policy:      {policy_name}");
    println!("  Credentials: {creds_name}");
    println!();

    let active: Vec<&Finding> = findings.iter().filter(|f| !f.accepted).collect();
    let accepted: Vec<&Finding> = findings.iter().filter(|f| f.accepted).collect();

    // Per-category summary
    let mut counts: BTreeMap<&str, usize> = BTreeMap::new();
    for f in &active {
        *counts.entry(f.query.as_str()).or_default() += f.paths.len();
    }

    if active.is_empty() && accepted.is_empty() {
        println!("{}", "No findings. Policy posture is clean.".green().bold());
        return 0;
    }

    println!("{}", "Finding Summary".bold().underline());
    for (query, count) in &counts {
        println!("  {:>40}  {count} path(s)", category_label(query).yellow());
    }
    if !accepted.is_empty() {
        println!("  {:>40}  {}", "ACCEPTED".dimmed(), accepted.len());
    }
    println!();

    for (i, finding) in active.iter().enumerate() {
        println!(
            "--- Finding #{} [{}] ---",
            i + 1,
            category_label(&finding.query)
        );
        println!("  {}", finding.title.bold());
        println!("  {}", finding.description);
        println!();
        render_paths(&finding.paths);
        if !finding.remediation.is_empty() {
            println!("  {}", "Remediation:".bold());
            for r in &finding.remediation {
                println!("    - {r}");
            }
            println!();