C.22.PFR:4.7 - Preserve the lightweight path
For a first use, name only what decides the case:
- the exact obtaining condition and the value or point it supplies;
- the criterion that makes that point adverse, including the selected input path and cut or band;
- the entity for which it is a Problem, the use or claim scope, and the applicability window.
Then write one ordinary sentence:
<condition and value>misses<criterion>for<entity and use>during<applicability window>; therefore it is an actual Problem for that entity and use.
Stop there when the next work only needs to recognize the Problem. Cite the direct condition and criterion patterns, but do not fill a PFR record, repeat either relation signature, or assign a PFR identifier. The NameCards and signatures above define reusable semantics; they are not a mandatory user form.
Add explicit identity only when another claim must compare, qualify, change, nest, plan from, or refer back to this particular Problem occurrence. That receiving claim then names the exact actual-condition occurrence, exact applicability occurrence, actual adverse inception or stable PFR identifier when needed, claimed extent, and any evidence or assessment claim on which its reliance depends. The evidence remains separate from the world-side Problem.