KCAE.COMPOSE:4.1 - Work backward from the receiving result

State the result to be obtained in terms that permit inspection. “Use three patterns” is an inventory objective; “identify which exports are absent without resending an already accepted export” is a receiving result. Recover each candidate’s required inputs, produced results, conditions, performer capabilities and resource demands from sufficient source context. Where the source leaves an essential relation implicit, obtain the interpretation from an appropriate reader and label it as interpretation.

Start with a candidate that can produce the receiving result. For each missing required input, ask whether it is already available, can be obtained from the case, or requires another method. Search for that missing result, preserving its meaning. Continue backward until each necessary starting input has a real provider or an explicit unresolved dependency. A circular promise that A will provide B’s input after B supplies A’s input is not a completed construction; identify an initial value, iterative procedure or outside provider that actually breaks the cycle.

Explanations, distinctions and criteria can be intermediate results. A diagnostic distinction may be needed before choosing an action. Do not exclude it because it is not itself executable software.