A random-input property test compares the equal runs against a dynamic-programming LCS: a diff that is valid but not minimal would turn real agreement into disputes the model is then asked about. A 6,500-word, 380-edit case mirrors a real hour. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>