When the case or a relied-on source changes

Find which conclusion used the changed premise. Reconsider that conclusion and its dependent decisions, keeping the results whose evidence and applicability still hold. Check the publication date and exact pattern when wording or source currentness matters.

For a change to semantic integration, use SIE.11. When affected uses of a changed claim must first be discovered, A.10.1 supplies that discovery; the relevant domain method judges each actual dependence. For one known reliance, use its domain method with A.10. Use G.11 for currentness and worthwhile refresh. A changed system or situation without a changed source premise goes directly to its domain method. Compatible meaning, applicability and access can leave only a reference repair; an earlier result that still answers the current question can finish the use.

Finish the lookup when you have an answer usable for the current decision, or a specific missing contribution that determines the next work. For the Suite’s composition and publication availability, return to the README.