Method change_coverage

atomic-repository/src/repository/triage.rs:204–241

Determine intent coverage for a single change. The change's modified files come from its own `file_ops` (via [`change_modified_paths`](Self::change_modified_paths)), mapped to `file: ` node ids — so coverage no longer depends on KG `MODIFIES` enrichment. The intent side stays in the KG: a file is covered when it carries an incoming `TOUCHES` edge from a `task:` node (projected on `vault sync

(&self, hash: &Hash)

    /// - `Unknown` only when the change has no file ops at all (e.g. a load
    ///   failure) — unreachable for a normally recorded change.
    fn change_coverage(&self, hash: &Hash) -> Result<(Vec<String>, Coverage), RepositoryError> {
        // change → file comes from the change's own ops (authoritative), mapped
        // to the shared `file:<path>` node id the intent side also uses.
        let modifies: Vec<String> = self
            .change_modified_paths(hash)?
            .into_iter()
            .map(|p| format!("file:{p}"))
            .collect();

        if modifies.is_empty() {
            // No file ops (or the change could not be loaded): coverage is
            // genuinely indeterminate — not the same as uncovered.
            return Ok((modifies, Coverage::Unknown));
        }

        // A file is "covered" if some task TOUCHES it. Only this intent side is
        // read from the KG — per modified file, via its 1-hop neighborhood
        // (incoming edges included), looking for a `task: --TOUCHES--> file:`.
        let mut covered = false;
        for file_id in &modifies {
            let neighborhood = self.vault_kg_neighbors(file_id, 1)?;
            if neighborhood.edges.iter().any(|e| {
                e.kind == edge_kind::TOUCHES
                    && e.to_id == *file_id
                    && e.from_id.starts_with("task:")
            }) {
                covered = true;
                break;
            }
        }

        let coverage = if covered {
            Coverage::Covered
        } else {
            Coverage::Uncovered
        };
        Ok((modifies, coverage))
    }
}

#[cfg(test)]