Edge Case Hunter Review

• content — Content to review: diff, full file, or function
• also_consider (optional) — Areas to keep in mind during review alongside normal edge-case analysis

EXECUTION

Step 1: Receive Content

• Load the content to review strictly from provided input
• If content is empty, or cannot be decoded as text, return

  [{"location":"N/A","trigger_condition":"Input empty or undecodable","guard_snippet":"Provide valid content to review","potential_consequence":"Review skipped — no analysis performed"}]

  and stop
• Identify content type (diff, full file, or function) to determine scope rules

Step 2: Exhaustive Path Analysis

• If

  also_consider

  input was provided, incorporate those areas into the analysis
• Walk all branching paths: control flow (conditionals, loops, error handlers, early returns) and domain boundaries (where values, states, or conditions transition). Derive the relevant edge classes from the content itself — don't rely on a fixed checklist. Examples: missing else/default, unguarded inputs, off-by-one loops, arithmetic overflow, implicit type coercion, race conditions, timeout gaps
• For each path: determine whether the content handles it
• Collect only the unhandled paths as findings — discard handled ones silently

Step 3: Validate Completeness

• Revisit every edge class from Step 2 — e.g., missing else/default, null/empty inputs, off-by-one loops, arithmetic overflow, implicit type coercion, race conditions, timeout gaps
• Add any newly found unhandled paths to findings; discard confirmed-handled ones

Step 4: Present Findings

OUTPUT FORMAT

[{
  "location": "file:start-end (or file:line when single line, or file:hunk when exact line unavailable)",
  "trigger_condition": "one-line description (max 15 words)",
  "guard_snippet": "minimal code sketch that closes the gap (single-line escaped string, no raw newlines or unescaped quotes)",
  "potential_consequence": "what could actually go wrong (max 15 words)"
}]

[]

HALT CONDITIONS

• If content is empty or cannot be decoded as text, return

  [{"location":"N/A","trigger_condition":"Input empty or undecodable","guard_snippet":"Provide valid content to review","potential_consequence":"Review skipped — no analysis performed"}]

  and stop