C.22.PFR:4.3 - Use predicate truth as the obtaining condition

ProblematicForRelation obtains exactly when all three conditions hold:

1. The exact ActualConditionRelation obtains under its direct pattern.
2. The exact ProblemCriterionApplicabilityRelation obtains because its criterion remains governing for the exact entity and claim scope under the declared criterion-applicability window, independently of whether the actual condition is adverse.
3. For the actual-condition participant, the predicate’s exact ConditionToPredicateInputRule must yield the declared characteristic-space point or value and the direct link to the problem-for entity and use; that point falls on the adverse side under the selected scale, comparator, cut or band, polarity, and admissibility semantics.

The selected direct consumer supplies the governed input projection or consumes the direct characteristic assignment, then governs the comparator and admissibility semantics. An evaluation may calculate or support a claim that the resulting point is adverse. Comparison outcomes, acceptance outcomes, state or gate results, measurements, evidence, and assessment claims are not automatically PFR participants, and producing them does not make PFR obtain.

A Problem can therefore obtain unnoticed. Later detection can involve work, evidence, and claims about the already obtaining relation; it does not create retroactive actuality.

When evaluation is actually performed, recover every exact actual performer U.System through A.13, independently admit the dated evaluation U.Work under A.15.1, and name the U.Method actually followed. Name any declared A.6.1 operation application separately when its returned-value binding is claimed. Add F.6 only when the evaluation account or a receiving use expressly consumes precise assignment-bound attribution through the same obtaining A.13 assignment; missing or failed F.6 leaves the evaluation Work intact. A short PFR explanation may omit an assignment identifier that no later claim uses. That Work may return the separate evaluation result true, false, or unknown defined by the selected evaluation pattern; a C.2.1 assertion may state the result. A.10 governs evidence use for reliance on that assertion, B.3 governs any named assurance claim, and G.11 may qualify the assertion’s current edition. The practitioner may rely on the assertion for the receiving Work, decline or defer that reliance, or reopen its basis. unknown is an evaluation result, never a world-side PFR value; test PFR obtaining through the three conditions in §4.3.