tokmd 1.13.1

Tokei-backed repo inventory receipts (Markdown/TSV/JSONL/CSV) for PRs, CI, and LLM workflows.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

//! Proof plan report summary.

use serde_json::Value;

pub(in crate::commands::handoff) struct ProofPlanSummary {
    pub(in crate::commands::handoff) commands: usize,
    pub(in crate::commands::handoff) required: usize,
    pub(in crate::commands::handoff) advisory: usize,
    pub(in crate::commands::handoff) first_commands: Vec<String>,
}

pub(super) fn summarize(value: &Value) -> ProofPlanSummary {
    let Some(commands) = value.get("commands").and_then(Value::as_array) else {
        return ProofPlanSummary {
            commands: 0,
            required: 0,
            advisory: 0,
            first_commands: Vec::new(),
        };
    };
    let required = commands
        .iter()
        .filter(|command| command.get("required").and_then(Value::as_bool) == Some(true))
        .count();
    let advisory = commands.len().saturating_sub(required);
    let first_commands = commands
        .iter()
        .filter_map(|command| command.get("command").and_then(Value::as_str))
        .take(5)
        .map(str::to_string)
        .collect();

    ProofPlanSummary {
        commands: commands.len(),
        required,
        advisory,
        first_commands,
    }
}

pub(super) fn render(out: &mut String, proof_plan: &ProofPlanSummary) {
    out.push_str(&format!(
        "- Proof plan: {} command(s), {} required, {} advisory\n",
        proof_plan.commands, proof_plan.required, proof_plan.advisory
    ));
    if !proof_plan.first_commands.is_empty() {
        out.push_str("  - First commands:\n");
        for command in &proof_plan.first_commands {
            out.push_str(&format!("    - `{command}`\n"));
        }
        if proof_plan.commands > proof_plan.first_commands.len() {
            out.push_str(&format!(
                "    - ... {} more command(s); open the proof plan for the full list.\n",
                proof_plan.commands - proof_plan.first_commands.len()
            ));
        }
    }
    out.push_str("  - A proof plan is planned evidence, not execution proof.\n");
}