E.17.EFP:4.3.a - Ordinary class-selection guidance
A practical order is:
- identify the source’s ClaimGraph, exact concern and effective scheme;
- test sufficiency of the text for the declared use, including qualifications and omissions;
- identify any actual changed target and independently obtaining source-to-target relation;
- identify the form or representation and assign an EFP class only if that explanation-use distinction changes the reader’s next action.
Use SourcePinnedExplanation for sufficient source expression; SourceLinkedExplanationReconstruction for an already justified connective explanation; DidacticRetelling for bounded teaching use of the identified source or target; and SpeculativeRetelling only for a separately constituted hypothesis episteme. A missing prerequisite returns its exact gap. Any narrower reader-help use must itself satisfy the source-expression test.
Do not keep one narrower-use target with declared source-loss mode inside explanation merely because the prose is reader-friendly. When its narrower bounded claim or effect, blocked downstream use, and source-bearing return are primary, use A.6.3.CSC Controlled Semantic Coarsening; EFP may qualify a later publication form only if explanation use remains a separate live question.