Function build_report

atomic-cli/src/commands/triage/project.rs:88–825

Build the canonical triage report for `feature` relative to `target`.

(
    repo: &Repository,
    feature: &str,
    target: &str,
)

/// Build the canonical triage report for `feature` relative to `target`.
pub fn build_report(
    repo: &Repository,
    feature: &str,
    target: &str,
) -> Result<TriageReport, CliError> {
    // 1. The candidate set (T0): only-in-feature, closure additions, baggage.
    let set = repo
        .triage_candidate_set(feature, target)
        .map_err(CliError::Repository)?;

    // 2. The pinned view Merkle (the materialized state the report is about).
    let view_merkle = repo
        .get_view_info(feature)
        .map_err(CliError::Repository)?
        .state_base32();

    // Promotion scope: an unreviewed change BLOCKS promotion into a shared
    // view, but is only a warning into a draft. Resolved once here.
    let target_is_shared = repo
        .get_view_info(target)
        .map_err(CliError::Repository)?
        .scope
        .is_shared();

    // 3. The change → intent join.
    //
    // The change's modified files come from the change itself
    // (`change_modified_paths`) — authoritative and present WITHOUT any KG
    // enrichment. Only the intent side of the join (TOUCHES/HAS_TASK/SATISFIES,
    // projected on `vault sync`) is read from the KG, so a change is orphaned
    // iff no intent's task touches one of its files — never merely because
    // `atomic vault query enrich` has not run.
    //
    // intent_to_changes: KG intent id  → candidate hashes that reach it.
    // ac_to_changes:     KG ac id       → candidate hashes that satisfy it.
    let mut change_reports: Vec<ChangeReport> = Vec::new();
    let mut intent_to_changes: BTreeMap<String, BTreeSet<String>> = BTreeMap::new();
    let mut ac_to_changes: BTreeMap<String, BTreeSet<String>> = BTreeMap::new();
    let mut reached_any_intent: HashMap<String, bool> = HashMap::new();
    let mut all_modified_files: HashSet<String> = HashSet::new();
    // Raw modified paths per candidate hash (for the actionable orphan message).
    let mut change_raw_paths: HashMap<String, Vec<String>> = HashMap::new();
    // Entities defined in each candidate's modified files (parallel to
    // `change_reports`) — the seeds for the blast-radius walk below.
    let mut change_entities: Vec<Vec<String>> = Vec::new();
    // Walkthrough facts, collected in the same KG passes (no extra queries):
    // path → module (PART_OF) and file → file dependency edges (IMPORTS/
    // INCLUDES). Best-effort — empty on an unenriched KG.
    let mut file_module: BTreeMap<String, String> = BTreeMap::new();
    let mut file_deps: BTreeSet<(String, String)> = BTreeSet::new();
    // Task facts from reached intents (id, text, touches, satisfies), in
    // intent-id order — the walkthrough's narrative inputs.
    let mut task_facts: Vec<TaskFact> = Vec::new();

    for full in &set.only_in_feature {
        let hash = Hash::from_base32(full.as_bytes());

        // Authoritative modified paths straight from the change's file_ops —