Validate a rule

Verify that the implementation matches its rule-research contract on tests and real code.

Review the implementation

Check for:

• false positives and missed claimed behavior
• incorrect imports, aliases, or shadowed bindings
• impossible control-flow path merges
• nested functions treated as immediate execution
• dynamic properties treated as static names
• missed transparent wrappers
• unsupported imported values
• messages that overstate detection
• missing valid and invalid tests

Use truffler before accepting a new helper: