E.11.PUA:4.6 - Pre-existing and still-absent subject results
When the expected entity existed before the current use, the current use may establish a C.2.1 grounding finding about that unchanged entity:
GroundingBasisPair:
groundingRelationOccurrenceRef: U.EntityRef
groundingPatternLocator: U.EntityRef, locating the exact FPF pattern episteme whose content defines or constrains the grounding relation
PreExistingResultGroundingFinding@Context <: U.Episteme:
entityOfConcernRef: U.EntityRef, referencing the pre-existing entity
entityOfConcernKindRef: U.KindRef
claimGraph: U.ClaimGraph by value
referenceSchemeRef: U.ReferenceSchemeRef
editionId
candidatePatternUseRef: U.EpistemeRef, referencing one CandidatePatternUse@Context
resultExpectationRef: U.EpistemeRef, referencing one PatternUseResultExpectation@Context
groundingBasisPairs[1..*]: GroundingBasisPair
groundingAdequacyDescriptionRef: U.EpistemeRef
groundingUseBoundaryRef: U.EpistemeRef, referencing one PatternUseBoundaryCondition@Context
Each GroundingBasisPair preserves one relation occurrence and the exact pattern content defining or constraining it. The finding’s ClaimGraph names the grounded proposition and covered subject claim. For a C.2.1 episteme a pair may cite an exact EpistemeEmpiricalGroundingRelation; for another subject it uses the direct measurement, observation, evidence-use, diagnostic, or subject predicate that actually grounds that proposition. Inspection, a record, or evidence proximity does not ground the entity by itself. If no direct grounding basis is recoverable, return its exact blocker. The pre-existing entity is not newly produced.
If the current use calls the grounding finding its result, add a separate PatternUseResultClosureFinding@Context whose EntityOfConcern is that finding. Its direct basis must connect the finding to the current method, plan, Work, transformation, evaluation, decision, or receiving-use object through a relation occurrence, A.6.1 binding, or category-correct local claim. The occurrence that grounds the pre-existing subject does not by itself make the grounding finding a result of the current use. Cite A.15.PROD only when exact dated Work and its actual changes first constituted the finding episteme.
In reliance-bearing use, when the expected subject result still does not exist, close the current use only on an interim PatternUseResultClosureFinding@Context. Identify that interim entity under its own kind and rule, and record the category-correct basis that makes it the current use’s result relative to the current object. Keep the subject-result expectation open. A machining plan does not become a machined component; a treatment recommendation does not become a changed clinical state; an assessment plan does not become learned capability.