AI-powered bill analyzer: deterministic extraction + provable discrepancy checks; the LLM explains but never produces a number.