E.18.1:4.7 - Lowering and reopen block
Lower only the claim that cannot be made. Keep any independently grounded value and preserve the practical question that would reopen the branch.
| Nearest failure | P2W action | Result |
|---|---|---|
| No accepted problem-side record exists. | Stop before P2W; apply the exact problem-side pattern that answers the missing formulation or acceptance question. | The source phrase remains a cue, not a carried distinction. |
| A cue suggests one relation, but its subject, other participants, or deciding rule cannot be named. | Preserve the cue and the exact attempted question; use the Relations map only to locate the pattern that can answer it. | Stop without a positive relation. |
| One sentence blurs several relations—for example lens plus declaration, plan plus Work, or Work plus change. | Split the sentence into separately answerable questions and apply 4.6 to each. | Independent values or blockers; no sequence is inferred. |
A cited pattern returns missing-governor, factually unsupported, missing-information, a reduced-use result, or another exact blocker. | Carry that result unchanged and stop only the dependent claim. | An honest blocker with its affected participants or use; independently grounded values remain. |
| A relied-on value changed after a prior positive use. | Apply 4.5. | Reopen only the smallest dependent continuation. |