Function build_report

atomic-cli/src/commands/triage/project.rs:80–750

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();

    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 —
        // no KG `MODIFIES` edge (hence no `atomic vault query enrich`) required.
        let paths: Vec<String> = hash
            .map(|h| repo.change_modified_paths(&h).unwrap_or_default())
            .unwrap_or_default();
        change_raw_paths.insert(full.clone(), paths.clone());

        // Review context straight from the loaded change (best-effort): commit
        // message, per-file hunk summaries (the `atomic change` view), the REAL