E.18.1:4.4 - Boundary and relation discipline

P2W does not repeat the boundary rules of neighbouring patterns. Its local rule is simple: carry only the accepted problem-side distinction, state the next relation and participants, apply the pattern whose Solution answers that question, and continue only with its result or honest stop. Split several relation claims; if no relation can be stated, retain the cue and stop.

A neighboring pattern’s detail appears outside Relations only when one local discriminator in 4.3 or one worked case needs it to choose, split, or stop. Section 4.6 is the plain branch rule; Relations is the only question-to-pattern map. Neither place restates a neighbour’s occurrence basis, recovery algorithm, production criterion, derivation method, or admission law.

A local P2W application closes positively when a practitioner or another capable system has obtained or amended the result by applying the cited guidance and the carried distinction remains visible in that result or its stated basis. It closes by bounded stop when no continuing relation can be recovered and the reduced-use cue plus stop condition are stated. A following method selection, planning act, work occurrence, evaluation, or other use of neighboring pattern content is not unfinished P2W work.

A wider P2W carry-through slice remains current only while a named downstream receiving use relies on the accepted problem-side distinction. It closes when no remaining receiving use relies on that distinction and no return condition is current. A later changed assumption opens a new local return to the smallest affected application rather than retroactively keeping every earlier application open.