Code Review Assistant — illustrative example

INPUT
Python code review: def average(total, count): return total / count. No zero-count contract supplied.

RESULT
Finding: count=0 raises ZeroDivisionError.
Reproduction: average(10, 0).
Contract question: should an empty set return a designated value or raise a deliberate domain error?
Proposed action: define that behavior and add a zero-count test before changing the implementation. Ordinary nonzero division is not itself identified as a defect.

REVIEW
A code review should connect findings to specific behavior or risk. Avoid treating style preferences as defects without a project convention.

This is a teaching example, not a live execution record.