Function report_with_intent

atomic-cli/src/commands/triage/project.rs:1161–1204

Build a report where a single intent A (installed with `body_a`) is reached by a candidate that modifies every path in `files`. Each path is created + tracked on the base view and edited on the feature view. `enrich_change_kg` controls whether the candidate record projects the change's `MODIFIES` KG edges. Passing `false` proves the change→intent join no longer depends on KG enrichment (it source

(
        body_a: &str,
        files: &[&str],
        enrich_change_kg: bool,
    )

    /// join no longer depends on KG enrichment (it sources modified files from
    /// the change itself via `change_modified_paths`).
    fn report_with_intent(
        body_a: &str,
        files: &[&str],
        enrich_change_kg: bool,
    ) -> (TriageReport, String) {
        let temp = TempDir::new().unwrap();
        let mut repo = Repository::init(temp.path()).unwrap();
        repo.init_vault().unwrap();
        let base_view = repo.current_view().to_string();

        for rel in files {
            let p = temp.path().join(rel);
            if let Some(parent) = p.parent() {
                std::fs::create_dir_all(parent).unwrap();
            }
            std::fs::write(&p, "base\n").unwrap();
            repo.add(rel, Default::default()).unwrap();
        }
        record_all(&repo, "base change");

        let a = repo.vault_intent_create(intent_opts("Intent A")).unwrap();
        install_intent_body(&repo, &a.intent_file, body_a, None);
        let a_node_id = format!("intent:{}", a.uid.to_uppercase());

        repo.create_view_from("feature", &base_view).unwrap();
        repo.switch_view("feature").unwrap();
        for rel in files {
            let p = temp.path().join(rel);
            std::fs::write(&p, "base\nfeature edit\n").unwrap();
        }
        repo.record(
            ChangeHeader::new("feature change"),
            RecordOptions::new()
                .with_all(true)
                .save_to_store(true)
                .apply_after_record(true)
                .enrich_kg(enrich_change_kg)
                .sync_vault(false),
        )
        .unwrap();

        let report = build_report(&repo, "feature", &base_view).unwrap();
        (report, a_node_id)
    }

    /// A reached intent that declares a file out of scope (via a `:::scope-out`
    /// `::file-ref`) which a candidate change modifies → SCOPE_OUT_BREACH (block).