Research a rule

Produce a rule contract that rule-writing can implement without guessing.

Define the behavior

Resolve only questions that affect correctness:

• Which code pattern should report?
• Which runtime behavior makes it harmful?
• Which similar code must stay quiet?
• Does detection need syntax, scope, or path analysis?
• Which imported, dynamic, type-driven, or interprocedural cases stay out of scope?

If the user requested implementation, make the contract concise and continue.

Collect evidence