F.1:5.4 - Readable reasoning moves

• Retain: “This exact source stays because this inspected claim changes the answer in this way.”
• Exclude: “No inspected claim from this source changes the stated use; record the exclusion and what would reopen it.”
• Return a gap: “This unavailable or uninspectable source may be load-bearing; the cut remains limited here.”
• Keep meanings local: “Selection puts both sources in view; it does not say their terms are identical or related.”
• Use search assistance: “The ranking tells us what to inspect next; the source claim decides whether it enters the cut.”
• Reopen: “This question, use, relied claim, rival, counterexample, or transfer boundary changed, so select again.”