F.3:13 - Safe reasoning moves

1. Alias consolidation. Merge expressions only when the source uses them interchangeably for the current question.
2. Argument split. Split uses whose required participants differ materially.
3. Entailment split. Split when the uses support different conclusions.
4. Parsimony merge. Merge when no relevant source-grounded test distinguishes the candidates.
5. Counterexample trigger. Tighten or split a claim that admits a concrete excluded use.
6. Label check. Tech stays idiomatic; Plain explains without widening.
7. Address check. Create an F.17 cell only when recurring use needs a stable address.
8. Edition check. Re-evaluate the interpretation basis before carrying a claim across an edition change.
9. Coverage ping. If a frequent source expression that matters to the receiving question has no local-sense claim, check whether one useful cluster is missing.
10. Stop rule. Do not infer a relation to another local meaning from clustering alone.