C.11:4.2.3 - ChoiceRule versus ChoiceResult

ChoiceRule and ChoiceResult are not the same kind of thing.

• ChoiceRule is the doctrine or operator that says how the current comparison basis, dependence layer, and any applicable probe-worthiness value support one ChoiceResult.
• ChoiceResult is the emitted record stating which choice result is lawful now under that rule.

The operational answer of this pattern is therefore one emitted ChoiceResult under one explicit ChoiceRule. The result is complete only when it states the choice result and the condition that makes that result lawful.

Only four result forms are lawful here:

• choose now
• reject current set
• probe again
• reroute

A fifth soft result such as “keep thinking”, “stay with the current view”, or “the case is still complex” is not a conforming output. It is one unfinished state that still needs to be typed.

For choose now, the emitted ChoiceResult should show:

• the selected option or retained tie-set and the comparison basis supporting it;
• the outcome of a live inquiry comparison or a limitation needed by the decision or its recipient, when applicable.

For reject current set, the emitted ChoiceResult should show:

• that no member of the current OptionSet survives under the present comparison basis;
• the exact shared defect, threshold failure, or dominated-outcome reason that defeats the current set;
• the next neighboring question only when more work now follows, such as new option generation or one explicit escalation path.

For probe again, the emitted ChoiceResult should show:

• the exact next probe;
• the comparison defect that probe is expected to repair;
• the reason the probe is still worth its cost.

For reroute, the emitted ChoiceResult should show:

• the neighboring question and the pattern used to answer it;
• the reason this is no longer local choice among already-available options.