B.5.2:14.2 - Abort, defer, and split cases
Not every abductive run should end in a prime hypothesis. Three non-selection outcomes are admissible:
- Abort. The prompt dissolves because the initiating anomaly or opportunity was misread, duplicated, or already answered elsewhere.
- Defer. Several candidates remain live and the available comparison does not justify a winner, for example because a needed discriminator is unavailable. Preserve the unresolved set and its limits without inventing a winning explanation. A separately warranted present action may still proceed under C.11.
- Split. The original prompt turns out to contain several distinct questions. The run should fork into several narrower prompts rather than select one over-broad conjecture.
These outcomes are not failures. They are part of keeping abduction honest.