1use std::process::ExitCode;
2
3use fallow_output::CodeClimateIssue;
4use serde_json::Value;
5
6use super::diff_filter::DiffIndex;
7use crate::report::emit_json;
8use fallow_output::{
9 CiIssue, CiProvider as Provider, ReviewEnvelopeOutput, ReviewEnvelopeRenderInput,
10 ReviewEnvelopeTruncation, ReviewGitlabDiffRefs as GitlabDiffRefs,
11 issues_from_codeclimate_issues,
12};
13
14#[must_use]
15pub fn render_review_envelope(
16 command: &str,
17 provider: Provider,
18 issues: &[CiIssue],
19) -> ReviewEnvelopeOutput {
20 render_review_envelope_with_diff(
21 command,
22 provider,
23 issues,
24 super::diff_filter::shared_diff_index(),
25 )
26}
27
28#[must_use]
33pub fn render_review_envelope_with_diff(
34 command: &str,
35 provider: Provider,
36 issues: &[CiIssue],
37 diff_index: Option<&DiffIndex>,
38) -> ReviewEnvelopeOutput {
39 let max = std::env::var("FALLOW_MAX_COMMENTS")
40 .ok()
41 .and_then(|v| v.parse::<usize>().ok())
42 .unwrap_or(50);
43 let gitlab_diff_refs = (provider == Provider::Gitlab)
44 .then(gitlab_diff_refs_from_env)
45 .flatten();
46 let include_guidance = review_guidance_enabled();
47
48 let rendered = fallow_output::render_review_envelope(&ReviewEnvelopeRenderInput {
49 command,
50 provider,
51 issues,
52 diff_index,
53 max_comments: max,
54 gitlab_diff_refs: gitlab_diff_refs.as_ref(),
55 include_guidance,
56 suggestion_block: &super::suggestion::suggestion_block,
57 guidance_block: &review_guidance_block,
58 });
59 note_review_truncation(rendered.truncation);
60 rendered.envelope
61}
62
63fn note_review_truncation(truncation: ReviewEnvelopeTruncation) {
65 if truncation.body {
66 crate::telemetry::note_report_truncation(
67 true,
68 crate::telemetry::TruncationReason::SizeLimit,
69 );
70 } else if truncation.comment_limit {
71 crate::telemetry::note_report_truncation(
72 true,
73 crate::telemetry::TruncationReason::CommentLimit,
74 );
75 } else {
76 crate::telemetry::note_report_truncation(
77 false,
78 crate::telemetry::TruncationReason::Unknown,
79 );
80 }
81}
82
83#[must_use]
84pub fn print_review_envelope(command: &str, provider: Provider, codeclimate: &Value) -> ExitCode {
85 let issues = super::diff_filter::filter_issues_from_env(
86 super::pr_comment::issues_from_codeclimate(codeclimate),
87 );
88 print_review_envelope_from_ci_issues(command, provider, &issues)
89}
90
91#[must_use]
92pub fn print_review_envelope_from_codeclimate_issues(
93 command: &str,
94 provider: Provider,
95 codeclimate: &[CodeClimateIssue],
96) -> ExitCode {
97 let issues =
98 super::diff_filter::filter_issues_from_env(issues_from_codeclimate_issues(codeclimate));
99 print_review_envelope_from_ci_issues(command, provider, &issues)
100}
101
102#[must_use]
103#[expect(
104 clippy::expect_used,
105 reason = "review envelope contains only infallibly serializable fields"
106)]
107fn print_review_envelope_from_ci_issues(
108 command: &str,
109 provider: Provider,
110 issues: &[CiIssue],
111) -> ExitCode {
112 let envelope = render_review_envelope(command, provider, issues);
113 let value = fallow_output::serialize_review_envelope_json_output(
114 envelope,
115 crate::output_runtime::current_root_envelope_mode(),
116 crate::output_runtime::telemetry_analysis_run_id().as_deref(),
117 )
118 .expect("ReviewEnvelopeOutput serializes infallibly");
119 emit_json(&value, "review envelope")
120}
121
122fn gitlab_diff_refs_from_env() -> Option<GitlabDiffRefs> {
123 let base_sha = env_nonempty("FALLOW_GITLAB_BASE_SHA")
124 .or_else(|| env_nonempty("CI_MERGE_REQUEST_DIFF_BASE_SHA"))?;
125 let start_sha = env_nonempty("FALLOW_GITLAB_START_SHA").unwrap_or_else(|| base_sha.clone());
126 let head_sha =
127 env_nonempty("FALLOW_GITLAB_HEAD_SHA").or_else(|| env_nonempty("CI_COMMIT_SHA"))?;
128 Some(GitlabDiffRefs {
129 base_sha,
130 start_sha,
131 head_sha,
132 })
133}
134
135fn env_nonempty(name: &str) -> Option<String> {
136 std::env::var(name)
137 .ok()
138 .filter(|value| !value.trim().is_empty())
139}
140
141fn review_guidance_enabled() -> bool {
142 std::env::var("FALLOW_REVIEW_GUIDANCE").is_ok_and(|value| env_truthy(&value))
143}
144
145fn env_truthy(value: &str) -> bool {
146 matches!(
147 value.trim().to_ascii_lowercase().as_str(),
148 "1" | "true" | "yes" | "on"
149 )
150}
151
152fn review_guidance_block(issue: &CiIssue) -> Option<String> {
153 let rule = crate::explain::rule_by_id(&issue.rule_id)?;
154 let guide = crate::explain::rule_guide(rule);
155 let docs_url = crate::explain::rule_docs_url(rule);
156
157 Some(format!(
158 "\n\n<details><summary>What to do</summary>\n\n{}\n\n[Read the rule docs]({docs_url})\n\n</details>",
159 guide.how_to_fix
160 ))
161}
162
163#[cfg(test)]
164fn render_merged_comment(
165 provider: Provider,
166 group: &[&CiIssue],
167 gitlab_diff_refs: Option<&GitlabDiffRefs>,
168 diff_index: Option<&DiffIndex>,
169 include_guidance: bool,
170) -> fallow_output::ReviewComment {
171 fallow_output::render_review_comment_for_group(&fallow_output::ReviewCommentRenderInput {
172 provider,
173 group,
174 gitlab_diff_refs,
175 diff_index,
176 include_guidance,
177 suggestion_block: &super::suggestion::suggestion_block,
178 guidance_block: &review_guidance_block,
179 })
180}
181
182#[cfg(test)]
183fn group_by_path_line(
184 issues: &[CiIssue],
185 max_groups: usize,
186) -> fallow_output::GroupedReviewIssues<'_> {
187 fallow_output::group_review_issues_by_path_line(issues, max_groups)
188}
189
190#[cfg(test)]
191mod tests {
192 use super::*;
193 use fallow_output::{MARKER_PREFIX_V2, MARKER_SUFFIX_V2, MAX_COMMENT_BODY_BYTES};
194 use fallow_output::{MARKER_REGEX_V2, ReviewComment};
195
196 fn to_value(envelope: &ReviewEnvelopeOutput) -> Value {
197 serde_json::to_value(envelope).expect("ReviewEnvelopeOutput serializes infallibly")
198 }
199
200 fn comment_to_value(comment: &ReviewComment) -> Value {
201 serde_json::to_value(comment).expect("ReviewComment serializes infallibly")
202 }
203
204 fn issue(rule: &str, sev: &str, path: &str, line: u64, fp: &str) -> CiIssue {
205 CiIssue {
206 rule_id: rule.into(),
207 description: "desc".into(),
208 severity: sev.into(),
209 path: path.into(),
210 line,
211 fingerprint: fp.into(),
212 }
213 }
214
215 fn issue_with_desc(
216 rule: &str,
217 desc: impl Into<String>,
218 sev: &str,
219 path: &str,
220 line: u64,
221 fp: &str,
222 ) -> CiIssue {
223 CiIssue {
224 rule_id: rule.into(),
225 description: desc.into(),
226 severity: sev.into(),
227 path: path.into(),
228 line,
229 fingerprint: fp.into(),
230 }
231 }
232
233 #[test]
234 fn github_review_envelope_matches_api_shape() {
235 let issues = vec![issue(
236 "fallow/unused-file",
237 "minor",
238 "src/a.ts",
239 1,
240 "abc1234567890def",
241 )];
242 let envelope = to_value(&render_review_envelope("check", Provider::Github, &issues));
243 assert_eq!(envelope["event"], "COMMENT");
244 assert_eq!(envelope["meta"]["schema"], "fallow-review-envelope/v2");
245 assert_eq!(envelope["comments"][0]["path"], "src/a.ts");
246 assert!(
247 envelope["comments"][0]["body"]
248 .as_str()
249 .unwrap()
250 .contains("fallow-fingerprint:v2:")
251 );
252 }
253
254 #[test]
255 fn github_comments_target_current_state_side() {
256 let issue = issue("fallow/unused-file", "minor", "src/a.ts", 1, "abc");
257 let comment = comment_to_value(&render_merged_comment(
258 Provider::Github,
259 &[&issue],
260 None,
261 None,
262 false,
263 ));
264 assert_eq!(comment["side"], "RIGHT");
265 }
266
267 #[test]
268 fn labels_major_issues_as_errors() {
269 let issue = issue("fallow/unused-file", "major", "src/a.ts", 1, "abc");
270 let comment = comment_to_value(&render_merged_comment(
271 Provider::Github,
272 &[&issue],
273 None,
274 None,
275 false,
276 ));
277 assert!(comment["body"].as_str().unwrap().starts_with("**error**"));
278 }
279
280 #[test]
281 fn gitlab_comment_accepts_diff_refs() {
282 let issue = issue("fallow/unused-file", "minor", "src/a.ts", 1, "abc");
283 let refs = GitlabDiffRefs {
284 base_sha: "base".into(),
285 start_sha: "start".into(),
286 head_sha: "head".into(),
287 };
288 let comment = comment_to_value(&render_merged_comment(
289 Provider::Gitlab,
290 &[&issue],
291 Some(&refs),
292 None,
293 false,
294 ));
295 assert_eq!(comment["position"]["position_type"], "text");
296 assert_eq!(comment["position"]["base_sha"], "base");
297 assert_eq!(comment["position"]["start_sha"], "start");
298 assert_eq!(comment["position"]["head_sha"], "head");
299 }
300
301 #[test]
302 fn guidance_toggle_accepts_common_truthy_values() {
303 for value in ["1", "true", "TRUE", "yes", "on", " On "] {
304 assert!(env_truthy(value), "{value:?} should enable guidance");
305 }
306 for value in ["", "0", "false", "no", "off", "enabled"] {
307 assert!(!env_truthy(value), "{value:?} should not enable guidance");
308 }
309 }
310
311 #[test]
312 fn guidance_disabled_omits_details_block() {
313 let issue = issue(
314 "fallow/high-complexity",
315 "major",
316 "src/a.ts",
317 10,
318 "abc1234567890def",
319 );
320 let comment = comment_to_value(&render_merged_comment(
321 Provider::Github,
322 &[&issue],
323 None,
324 None,
325 false,
326 ));
327 let body = comment["body"].as_str().unwrap();
328 assert!(!body.contains("<details><summary>What to do</summary>"));
329 assert!(!body.contains("For function findings"));
330 }
331
332 #[test]
333 fn guidance_enabled_appends_rule_guide_details() {
334 let issue = issue(
335 "fallow/high-complexity",
336 "major",
337 "src/a.ts",
338 10,
339 "abc1234567890def",
340 );
341 let comment = comment_to_value(&render_merged_comment(
342 Provider::Github,
343 &[&issue],
344 None,
345 None,
346 true,
347 ));
348 let body = comment["body"].as_str().unwrap();
349 assert!(body.contains("<details><summary>What to do</summary>"));
350 assert!(body.contains("For function findings"));
351 assert!(body.contains("[Read the rule docs]("));
352 assert!(
353 body.find("</details>").unwrap() < body.find("fallow-fingerprint:v2:").unwrap(),
354 "guidance should render before the marker"
355 );
356 }
357
358 #[test]
359 fn guidance_attaches_to_each_merged_finding() {
360 let complexity = issue("fallow/high-complexity", "major", "src/foo.ts", 42, "fp_a");
361 let duplication = issue("fallow/code-duplication", "minor", "src/foo.ts", 42, "fp_b");
362 let comment = comment_to_value(&render_merged_comment(
363 Provider::Github,
364 &[&complexity, &duplication],
365 None,
366 None,
367 true,
368 ));
369 let body = comment["body"].as_str().unwrap();
370 assert_eq!(
371 body.matches("<details><summary>What to do</summary>")
372 .count(),
373 2
374 );
375 assert!(body.contains("For function findings"));
376 assert!(body.contains("Extract the shared logic"));
377 }
378
379 #[test]
380 fn envelope_emits_marker_regex_field_at_root() {
381 let issues = vec![issue("fallow/unused-file", "minor", "src/a.ts", 1, "abc")];
382 let env = to_value(&render_review_envelope("check", Provider::Github, &issues));
383 let regex = env["marker_regex"].as_str().expect("marker_regex present");
384 assert_eq!(regex, MARKER_REGEX_V2);
385 assert!(regex.contains("[0-9a-f]{16}"));
386 assert!(regex.starts_with('^'));
387 assert!(regex.ends_with("\\s*$"));
388 assert!(!regex.contains("(?m)"));
389 assert!(regex.contains("((?:[a-z]+:)?[0-9a-f]{16})"));
390 let flags = env["marker_regex_flags"]
391 .as_str()
392 .expect("marker_regex_flags present");
393 assert_eq!(flags, "m");
394 }
395
396 #[test]
397 fn envelope_emits_summary_block_with_fingerprint() {
398 let issues = vec![issue("fallow/unused-file", "minor", "src/a.ts", 1, "abc")];
399 let env = to_value(&render_review_envelope("check", Provider::Github, &issues));
400 assert_eq!(env["summary"]["body"], env["body"]);
401 let summary_fp = env["summary"]["fingerprint"].as_str().expect("fingerprint");
402 assert_eq!(summary_fp.len(), 16);
403 assert!(summary_fp.chars().all(|c| c.is_ascii_hexdigit()));
404 let body_str = env["body"].as_str().unwrap();
405 let marker_line = format!("{MARKER_PREFIX_V2}{summary_fp}{MARKER_SUFFIX_V2}");
406 assert!(
407 body_str.contains(&marker_line),
408 "body must carry summary marker:\nbody={body_str}\nmarker={marker_line}"
409 );
410 }
411
412 #[test]
413 fn same_line_findings_merge_into_one_comment_with_composite_fingerprint() {
414 let a = issue("fallow/unused-export", "minor", "src/foo.ts", 42, "fp_a");
415 let b = issue("fallow/duplicate-export", "minor", "src/foo.ts", 42, "fp_b");
416 let env = to_value(&render_review_envelope("check", Provider::Github, &[a, b]));
417 assert_eq!(
418 env["comments"].as_array().unwrap().len(),
419 1,
420 "two same-line findings must collapse to one comment"
421 );
422 let merged = &env["comments"][0];
423 let fp = merged["fingerprint"].as_str().unwrap();
424 assert!(
425 fp.starts_with("merged:"),
426 "merged comment fingerprint must start with merged:, got {fp}"
427 );
428 assert_eq!(fp.len(), 23);
429 let body = merged["body"].as_str().unwrap();
430 assert!(body.contains("fallow/unused-export"));
431 assert!(body.contains("fallow/duplicate-export"));
432 assert_eq!(
433 body.matches("fallow-fingerprint:v2:").count(),
434 1,
435 "merged body must carry exactly one fingerprint marker"
436 );
437 assert!(
438 merged.get("constituent_fingerprints").is_none(),
439 "v2 hashed-composite design does not emit constituent_fingerprints"
440 );
441 }
442
443 #[test]
444 fn group_by_path_line_respects_max_groups_without_splitting_same_line_findings() {
445 let a = issue("fallow/unused-export", "minor", "src/foo.ts", 42, "fp_a");
446 let b = issue("fallow/duplicate-export", "minor", "src/foo.ts", 42, "fp_b");
447 let c = issue("fallow/unused-type", "minor", "src/z.ts", 7, "fp_c");
448 let issues = vec![a, b, c];
449
450 let max_zero = group_by_path_line(&issues, 0);
451 assert!(max_zero.groups.is_empty());
452 assert!(max_zero.truncated);
453
454 let max_one = group_by_path_line(&issues, 1);
455 assert_eq!(max_one.groups.len(), 1);
456 assert!(max_one.truncated);
457 assert_eq!(max_one.groups[0].len(), 2);
458 assert_eq!(max_one.groups[0][0].path, "src/foo.ts");
459 assert_eq!(max_one.groups[0][0].line, 42);
460
461 let max_two = group_by_path_line(&issues, 2);
462 assert_eq!(max_two.groups.len(), 2);
463 assert!(!max_two.truncated);
464 assert_eq!(max_two.groups[0].len(), 2);
465 assert_eq!(max_two.groups[1].len(), 1);
466 assert_eq!(
467 max_two.groups[0]
468 .iter()
469 .map(|issue| issue.fingerprint.as_str())
470 .collect::<Vec<_>>(),
471 ["fp_a", "fp_b"]
472 );
473 }
474
475 #[test]
476 fn single_finding_keeps_v1_fingerprint_shape() {
477 let issues = vec![issue(
478 "fallow/unused-file",
479 "minor",
480 "src/a.ts",
481 1,
482 "abc1234567890def",
483 )];
484 let env = to_value(&render_review_envelope("check", Provider::Github, &issues));
485 let comment = &env["comments"][0];
486 assert_eq!(comment["fingerprint"], "abc1234567890def");
487 assert!(
488 comment.get("constituent_fingerprints").is_none(),
489 "single-finding comment must NOT emit constituent_fingerprints"
490 );
491 assert!(
492 comment.get("truncated").is_none(),
493 "non-truncated comment must NOT emit truncated"
494 );
495 }
496
497 #[test]
498 fn composite_fingerprint_shifts_when_constituents_change() {
499 let a = issue("fallow/unused-export", "minor", "src/foo.ts", 42, "fp_a");
500 let b = issue("fallow/duplicate-export", "minor", "src/foo.ts", 42, "fp_b");
501 let c = issue("fallow/unused-type", "minor", "src/foo.ts", 42, "fp_c");
502 let run1 = to_value(&render_review_envelope(
503 "check",
504 Provider::Github,
505 &[a.clone(), b, c.clone()],
506 ));
507 let run2_drop_b = to_value(&render_review_envelope("check", Provider::Github, &[a, c]));
508 assert_ne!(
509 run1["comments"][0]["fingerprint"], run2_drop_b["comments"][0]["fingerprint"],
510 "primary fingerprint must shift when a constituent drops"
511 );
512 }
513
514 #[test]
515 fn gitlab_old_path_pulls_from_diff_rename_map() {
516 let rename_diff = "\
517diff --git a/src/old.ts b/src/new.ts
518similarity index 90%
519rename from src/old.ts
520rename to src/new.ts
521--- a/src/old.ts
522+++ b/src/new.ts
523@@ -1,2 +1,3 @@
524 keep
525+added
526 still
527";
528 let diff_index = DiffIndex::from_unified_diff(rename_diff);
529 let issue = issue("fallow/unused-export", "minor", "src/new.ts", 2, "abc");
530 let envelope = to_value(&render_review_envelope_with_diff(
531 "check",
532 Provider::Gitlab,
533 &[issue],
534 Some(&diff_index),
535 ));
536 let position = &envelope["comments"][0]["position"];
537 assert_eq!(position["old_path"], "src/old.ts");
538 assert_eq!(position["new_path"], "src/new.ts");
539 }
540
541 #[test]
542 fn gitlab_old_path_falls_back_to_new_path_without_rename() {
543 let issue = issue("fallow/unused-export", "minor", "src/edit.ts", 5, "abc");
544 let envelope = to_value(&render_review_envelope_with_diff(
545 "check",
546 Provider::Gitlab,
547 &[issue],
548 None,
549 ));
550 let position = &envelope["comments"][0]["position"];
551 assert_eq!(position["old_path"], "src/edit.ts");
552 assert_eq!(position["new_path"], "src/edit.ts");
553 }
554
555 #[test]
556 fn oversized_body_truncates_at_char_boundary_and_preserves_marker() {
557 let huge_desc = "x".repeat(MAX_COMMENT_BODY_BYTES * 2);
558 let issue = CiIssue {
559 rule_id: "fallow/unused-export".into(),
560 description: huge_desc,
561 severity: "minor".into(),
562 path: "src/a.ts".into(),
563 line: 1,
564 fingerprint: "abc1234567890def".into(),
565 };
566 let comment = comment_to_value(&render_merged_comment(
567 Provider::Github,
568 &[&issue],
569 None,
570 None,
571 false,
572 ));
573 let body = comment["body"].as_str().unwrap();
574 assert!(
575 body.len() <= MAX_COMMENT_BODY_BYTES,
576 "body len {} must not exceed cap {MAX_COMMENT_BODY_BYTES}",
577 body.len()
578 );
579 assert!(
580 body.contains("fallow-fingerprint:v2:"),
581 "marker must be preserved under truncation"
582 );
583 assert!(body.contains("<!-- fallow-truncated -->"));
584 assert!(body.contains("> Body truncated by fallow."));
585 assert_eq!(comment["truncated"], true);
586 assert!(std::str::from_utf8(body.as_bytes()).is_ok());
587 }
588
589 #[test]
590 fn oversized_guidance_body_truncates_and_preserves_marker() {
591 let issue = issue_with_desc(
592 "fallow/high-complexity",
593 "x".repeat(MAX_COMMENT_BODY_BYTES * 2),
594 "major",
595 "src/a.ts",
596 1,
597 "abc1234567890def",
598 );
599 let comment = comment_to_value(&render_merged_comment(
600 Provider::Github,
601 &[&issue],
602 None,
603 None,
604 true,
605 ));
606 let body = comment["body"].as_str().unwrap();
607 assert!(body.len() <= MAX_COMMENT_BODY_BYTES);
608 assert!(body.contains("<!-- fallow-truncated -->"));
609 assert!(body.contains("fallow-fingerprint:v2:"));
610 assert_eq!(comment["truncated"], true);
611 }
612
613 #[test]
614 fn multibyte_body_truncates_at_char_boundary() {
615 let huge_desc: String = "あ".repeat(MAX_COMMENT_BODY_BYTES);
616 let issue = CiIssue {
617 rule_id: "fallow/unused-export".into(),
618 description: huge_desc,
619 severity: "minor".into(),
620 path: "src/a.ts".into(),
621 line: 1,
622 fingerprint: "abc1234567890def".into(),
623 };
624 let comment = comment_to_value(&render_merged_comment(
625 Provider::Github,
626 &[&issue],
627 None,
628 None,
629 false,
630 ));
631 let body = comment["body"].as_str().unwrap();
632 assert!(std::str::from_utf8(body.as_bytes()).is_ok());
633 assert!(body.len() <= MAX_COMMENT_BODY_BYTES);
634 assert_eq!(comment["truncated"], true);
635 }
636}