E.23:4.3 - Stop, continue, and reopen

Stop when the current object version meets the declared floor or improvement aim and no feasible non-dominated proposal remains worth its cost under the current use, comparison set, source state, and protected trade-offs. If the remaining proposal mainly makes a value easier to argue while adding apparatus or worsening use, affordability, locality, source preservation, or ecology, reject that proposal; continue searching for a substantive content improvement if the improvement aim is still open, and stop only with a by-value no-proposal disposition.

Continue only when at least one predicted evaluation-result change states a scale-qualified change worth its cost and risk. Use ExpectedEvaluationResultChange@Context when the conditional account in §4.2a is needed. Switch method when the current method family is not changing the evaluated result, is too costly, or no longer fits the evaluation. Use holdUntilInformationBasisSufficient only with non-empty unfilled-position descriptions and the sufficiency condition that would make continuation admissible.

An all-5, all-exceptional, current-front-reaching, or current-front-improving result is neither necessary nor sufficient to stop. Use the practical gain, protected trade-offs and attainable cost in the preceding rule. A stopped loop can reopen when a new use, Q component, source anchor, SoTA front, comparison set, affordability boundary or worthwhile proposal changes that judgement. If the object still fails its required use and no repair is feasible, choose replacement, withdrawal or another admissible continuation; stopping work does not make that object adequate.

Treat the five decision values as current continuation dispositions, not as Work states. When the admitted A.22 structure is used, a branch is usable only when its guarded continuation cites the exact current guard or constraint claim and the already-obtaining relation occurrences that make that alternative admissible. A stop or subject-assertion reconsideration is a boundary until an exact stronger predicate and current facts establish another relation. Naming A.15, E.22, G.11, G.5, or another subject pattern as a locator neither performs Work nor creates an object described there.