ME.Preface:7.4 - Unfolding a use, including a changed situation

A practitioner recognizes the current difficulty, asks which result is missing and tests the conditions for the contribution that could supply it. An available earlier result may already suffice. New observations can change a current judgment, expose another missing result or make the present use stop. This is ordinary ME.20 use without an obligatory formal graph.

When a formal continuation answer is needed, A.22.CGUS supplies the stronger structural and case-judgment semantics. Identify its constituents, relations, constraints and use frame; preserve the difference between currently available, blocked and unknown continuations, including evaluation errors. A completed condition that does not satisfy a rule is not an unknown condition. A graph view alone supplies none of these judgments.

Changing facts within the same use frame requires a fresh applicable judgment. Changing the question, governing conditions or stop rule can require reidentifying the frame itself. Thus the situation is reconsiderable at each working move; its boundary is not mechanically reset after every action. Local order can still be required. The profile’s acausal emphasis means that one global causal or calendar route is not prescribed in advance, not that causes, agents, planning or causal inquiry disappear.

This differs from relying on one up-front assembled method package, but it is not a claim that all earlier SME required that package. Intention-sensitive, evolutionary and continuous-composition lines already provide important alternatives. PLUS-ME’s particular choice is the relation between source-grounded pattern knowledge, independently qualified Method semantics and situated result use.