B.5.2:13 - Prompt, Candidate, and Hypothesis Package Discipline

The abductive loop stays auditable only if the three main publication forms remain distinct: the prompt, the candidate set, and the selected prime hypothesis. Collapsing them into one paragraph is one of the main reasons later review cannot reconstruct what actually happened.

B.5.2:13.1 - Prompt package

A conforming prompt package should make explicit:

the prompt species (AnomalyStatement, ProblemCuePrompt, OpportunityCuePrompt, or ProbeCuePrompt),
the open question that makes abduction necessary,
the declared scope under which the question is being posed,
the witnesses or provenance cues that made the prompt worth preserving,
and the reason the current model is insufficient.

If the initiating publication is still primarily evaluative, action-inviting, or lexically overloaded, it should first be repaired by the relevant A.6 family before it is treated as a stable abductive prompt. B.5.2 assumes typed entry, not raw lexical ambiguity.

B.5.2:13.2 - Candidate-set note

A candidate-set note is the minimal record that preserves rival plurality. It need not be heavy, but it should make visible:

candidate identifiers or short names,
the differentiating claim each candidate adds,
the principal plausibility supports and liabilities of each candidate,
whether the candidate remains live, is deferred, or is rejected,
and the implication or possible evidence that would best discriminate among remaining rivals, with an availability limitation when it changes the receiving use.

The important point is not bureaucratic completeness. The important point is to prevent retrospective rewriting in which the surviving candidate is made to look as if it had been the only serious option from the beginning.

B.5.2:13.3 - Prime-hypothesis record

A selected prime hypothesis should preserve more than the hypothesis sentence itself. Its record names:

the selected candidate,
the prompt it answers,
the filters under which it outranked rivals,
the scope within which it is being advanced,
the allowed downstream use or next question, which may concern deduction, a possible probe, a separately justified action or reconsideration; include availability limits when they change that use,
and any known fragilities already visible at selection time.

This is how B.5.2 stays connected to the rest of the reasoning cycle. The abductive loop does not merely emit an idea; it emits a conjecture with explicit downstream-use terms.