Bmad Review Edge Case Hunter

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

Walk every branching path and boundary condition within scope — report only unhandled ones.

• 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 findings as a JSON array following the Output Format specification exactly.

OUTPUT FORMAT

Return ONLY a valid JSON array of objects. Each object must contain exactly these four fields and nothing else:

[{
  "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)"
}]

No extra text, no explanations, no markdown wrapping. An empty array [] is valid when no unhandled paths are found.

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