PR claims, checked against the code
Class, method and endpoint names mentioned in the PR description and commit messages are looked up in the code at head. Statements are kept exactly as written, then compared with what the code does.
- Supported
- Contradicted
- Not established
Each name is shown as changed, present but unchanged, removed, or not found. Missing evidence is never reported as a contradiction.



