Intent-Code Divergence
Medium
- Confidence
- 97% confidence
- Finding
- This is a real logic flaw in a finance-related calculator: the code grants personal income tax exemption solely when `years_owned >= 5`, while the comment and real-world rule require an additional 'only housing' condition. In the context of a house-buying assistant, users may rely on this output for transaction budgeting, causing them to materially underestimate closing costs and make poor financial or contractual decisions.
