feat(review): add ticket intent mismatch checks

Author: haasonsaas

TODO.md

@@ -80,7 +80,7 @@ This roadmap is derived from deep research into Greptile's public docs, blog, MC
 44. [x] Add per-path scoped review instructions in the Settings UI for common repo areas.
 45. [x] Support Jira/Linear issue context ingestion for PR-linked reviews.
 46. [ ] Support document-backed context ingestion for design docs, RFCs, and runbooks.
-47. [ ] Add explicit "intent mismatch" review checks comparing PR changes to ticket acceptance criteria.
+47. [x] Add explicit "intent mismatch" review checks comparing PR changes to ticket acceptance criteria.
 48. [x] Add review artifacts that show which external context sources influenced a finding.
 49. [x] Add tests for pattern repository resolution across local paths, Git URLs, and broken sources.
 50. [ ] Add analytics on which context sources actually improve acceptance and fix rates.

src/review/context_helpers/injection.rs

@@ -74,7 +74,7 @@ pub fn inject_linked_issue_context(
             lines.push(format!("URL: {url}"));
         }
         if !issue.summary.trim().is_empty() {
-            lines.push("Summary:".to_string());
+            lines.push("Acceptance criteria / ticket context:".to_string());
             lines.push(issue.summary.trim().to_string());
         }
 
@@ -243,6 +243,9 @@ mod tests {
             context_chunks[1].provenance,
             Some(core::ContextProvenance::linear_issue_context("OPS-9"))
         );
+        assert!(context_chunks[0]
+            .content
+            .contains("Acceptance criteria / ticket context:"));
         assert!(context_chunks[1]
             .content
             .contains("Deployment manifests should use the new secret name."));

src/review/pipeline/guidance.rs

@@ -97,6 +97,28 @@ mod tests {
         assert!(guidance.contains("Do not include code fix suggestions"));
     }
 
+    #[test]
+    fn build_review_guidance_includes_linked_issue_intent_validation() {
+        let config = config::Config {
+            linked_issue_contexts: vec![config::LinkedIssueContext {
+                provider: config::LinkedIssueProvider::Jira,
+                identifier: "ENG-123".to_string(),
+                title: Some("Keep API status enum aligned".to_string()),
+                status: Some("In Progress".to_string()),
+                url: None,
+                summary: "The API must keep the documented pending/shipped/cancelled states."
+                    .to_string(),
+            }],
+            ..config::Config::default()
+        };
+        let guidance = build_review_guidance(&config, None).unwrap();
+        assert!(guidance.contains("Linked issue intent validation"));
+        assert!(guidance.contains("acceptance criteria"));
+        assert!(guidance.contains("design.ticket.intent-mismatch"));
+        assert!(guidance.contains("intent-mismatch"));
+        assert!(guidance.contains("Jira ENG-123: Keep API status enum aligned"));
+    }
+
     #[test]
     fn build_review_guidance_includes_prose_rules() {
         // #12: natural language custom rules — injected as bullets into guidance

src/review/pipeline/guidance/sections.rs

@@ -10,6 +10,7 @@ pub(super) fn collect_guidance_sections(
     push_section(&mut sections, review_profile_section(config));
     push_section(&mut sections, global_instructions_section(config));
     push_section(&mut sections, prose_rules_section(config));
+    push_section(&mut sections, linked_issue_validation_section(config));
     push_section(&mut sections, path_instructions_section(path_config));
     push_section(&mut sections, output_language_section(config));
     sections.push(fix_suggestion_section(config));
@@ -86,6 +87,44 @@ fn prose_rules_section(config: &config::Config) -> Option<String> {
     }
 }
 
+fn linked_issue_validation_section(config: &config::Config) -> Option<String> {
+    if config.linked_issue_contexts.is_empty() {
+        return None;
+    }
+
+    let issues = config
+        .linked_issue_contexts
+        .iter()
+        .map(|issue| {
+            let provider = match issue.provider {
+                config::LinkedIssueProvider::Jira => "Jira",
+                config::LinkedIssueProvider::Linear => "Linear",
+            };
+            let mut label = format!("- {provider} {}", issue.identifier);
+            if let Some(title) = issue
+                .title
+                .as_deref()
+                .filter(|value| !value.trim().is_empty())
+            {
+                label.push_str(&format!(": {title}"));
+            }
+            if let Some(status) = issue
+                .status
+                .as_deref()
+                .filter(|value| !value.trim().is_empty())
+            {
+                label.push_str(&format!(" ({status})"));
+            }
+            label
+        })
+        .collect::<Vec<_>>()
+        .join("\n");
+
+    Some(format!(
+        "Linked issue intent validation:\n- Explicitly compare the diff against each linked issue's acceptance criteria, requirements, and promised scope before deciding there are no problems.\n- Report a finding when the change contradicts, omits, or weakens required ticket behavior, or when it introduces behavior that does not match the linked issue intent.\n- For those findings, use rule_id `design.ticket.intent-mismatch` and include the tag `intent-mismatch`.\nLinked issues in scope:\n{issues}"
+    ))
+}
+
 fn path_instructions_section(path_config: Option<&config::PathConfig>) -> Option<String> {
     let instructions = path_config?.review_instructions.as_deref()?.trim();
     if instructions.is_empty() {