E.22:4.4 - Finding and proposal rows
An actionable finding first identifies where an issue was observed, which exact entity would change, the affected evaluation characteristic or coordinate, the current evaluation result for that characteristic or coordinate when known, the proposed correction, and the closure test. A proposal adds a typed expected evaluation effect, protected trade-offs, and any outside claim together with the subject-pattern locator needed to check that claim independently.
CandidateImprovementProposalRow@Context <: U.Episteme:
entityOfConcernRef: U.EntityRef, referencing the exact object version under improvement
entityOfConcernKindRef: U.KindRef, referencing the exact kind of that object version
claimGraph: U.ClaimGraph by value
referenceScheme: U.ReferenceScheme by value
editionId
qualityEvaluationQuestionFrameRef: U.EpistemeRef, referencing one QualityEvaluationQuestionFrame about the same object version
evaluationClaimScopeRef: U.EntityRef, referencing that frame's exact U.ClaimScope
reviewLocationDescriptionRef: U.EpistemeRef, referencing one description of the observed location in the reviewed object
correctionTargetRef: U.EntityRef, referencing the exact entity proposed to change
correctionTargetKindRef: U.KindRef, referencing the exact kind of the correction target
affectedEvaluationCharacteristicOrCoordinateRef: U.EntityRef, referencing one governed characteristic or evaluation coordinate
affectedEvaluationCharacteristicOrCoordinateKindRef: U.KindRef, referencing its exact kind
currentAffectedEvaluationResultRef?: U.EntityRef, referencing the current result value for that characteristic or coordinate
currentAffectedEvaluationResultKindRef?: U.KindRef, referencing the exact kind of that result value
expectedSubstantiveEvaluationEffect: ProposalEvaluationEffectValue
proposedCorrectionDescriptionRef: U.EpistemeRef, referencing one correction description
kindRestorationCheckDisposition: ProposalKindRestorationCheckDispositionValue
kindRestorationCheckRef?: U.EpistemeRef, referencing one KindRestorationCheck result
expectedTradeoffRefs[]: U.EpistemeRef, each referencing one expected-trade-off description
outsideClaimReferences[]?: CandidateImprovementOutsideClaimReference@Context by value
closureTestRef: U.EpistemeRef, referencing one closure-test description
CandidateImprovementOutsideClaimReference@Context in CandidateImprovementProposalRow@Context.claimGraph:
outsideClaimOrBoundaryDescriptionRef: U.EpistemeRef, referencing one description of the outside claim or boundary
outsideValueRef?: U.EntityRef, referencing the exact outside governed value
outsideValueKindRef?: U.KindRef, referencing the exact kind of that outside value
outsideRelationSignatureRef?: U.EntityRef, referencing the exact U.Signature of the outside relation
subjectPatternLocator: U.EntityRef, locating the exact FPF subject-pattern description; the evaluation claim separately cites the defining ClaimGraph
reconsiderationConditionDescriptionRef: U.EpistemeRef, referencing one description of the condition that activates renewed use of that subject pattern
ImprovementFollowUpHypothesis@Context <: U.Episteme:
entityOfConcernRef: U.EntityRef, referencing the exact object version expected to change
entityOfConcernKindRef: U.KindRef, referencing the exact kind of that object version
claimGraph: U.ClaimGraph by value
referenceScheme: U.ReferenceScheme by value
editionId
qualityEvaluationQuestionFrameRef: U.EpistemeRef, referencing one QualityEvaluationQuestionFrame about the same object version
evaluationClaimScopeRef: U.EntityRef, referencing that frame's exact U.ClaimScope
qualityReviewFindingDescriptionRef: U.EpistemeRef, referencing one episteme that describes the exact QualityReviewFindingRow
proposedNextOperationDescriptionRef?: U.EpistemeRef, referencing one operation description
proposedNextMethodRef?: U.MethodRef, referencing one U.Method
expectedEvaluationEffectDescriptionRef: U.EpistemeRef, referencing one expected-evaluation-effect description
testConditionDescriptionRef: U.EpistemeRef, referencing one test-condition description
Exactly one of proposedNextOperationDescriptionRef and proposedNextMethodRef is present. The question frame, proposal row, and follow-up hypothesis preserve the same exact object-version EntityOfConcern and ClaimScope unless a proposal explicitly opens a new frame for a different version or scope. QualityEvaluationQuestionFrame changes edition when the object version, use declaration, selected space, predicate/comparator binding, ClaimScope, consuming work or decision, purpose, floor or aim, trade-off set, qualification window, non-use boundary, claim graph, or reference scheme changes. A proposal row changes edition when its frame, ClaimScope, correction target, affected evaluation coordinate, current result reference, proposed correction, expected effect, trade-offs, outside-claim nodes, closure test, claim graph, or reference scheme changes. A follow-up hypothesis changes edition when its frame, ClaimScope, finding description, proposed operation or method, expected effect, test condition, claim graph, or reference scheme changes. A context label, carrier, viewpoint, grounding record, or serialization change alone changes none of these epistemes.
ProposalEvaluationEffectValue is the closed local value set repairFloor | raiseTowardExceptional | preventProtectedQualityLoss | classifyOutsideEvaluation | preserveCurrentValue. It identifies the coarse substantive evaluation effect expected from this proposal. It does not duplicate the coordinate-qualified prediction later carried by E.23 ExpectedEvaluationResultChange@Context and does not assert an actual changed result.
ProposalKindRestorationCheckDispositionValue is triggered | notTriggered | ordinaryProse | alreadySatisfied | blocker. The triggered and blocker states include kindRestorationCheckRef; the other values leave it absent. Current affected-evaluation result ref and kind are both present or both absent; when present, the exact result resolves through the direct evaluation pattern’s typed result relation or A.6.1 application binding, and any durable result episteme remains separately governed. The proposal row neither produces nor reidentifies that result. The exact kind recovers whether the named evaluation returned a scale value, status, or another admitted result for that characteristic or coordinate. Outside value ref and kind are paired, and outsideRelationSignatureRef is present when the outside value is a relation. CandidateImprovementOutsideClaimReference@Context is a bounded local ClaimGraph node form, not a U-kind, episteme, relation, or relation-reference episteme. It is constructed inside one proposal row without a back-reference to that row; its node identity is determined by the containing proposal edition and ClaimGraph position.
reviewLocationDescriptionRef describes where the issue was observed in the reviewed object. correctionTargetRef identifies the exact entity that would change. They are not interchangeable positions. The row is a faithful typed proposal form of QualityReviewFindingRow and one possible member of a CandidateImprovementProposalPortfolio@Context set. It remains a proposal episteme, not a selected repair, plan, work occurrence, actual Transformation, result binding, or proof of improvement.
For wording, naming, and precision-restoration proposals, proposedCorrectionDescriptionRef states the correction and its intended content effect. Apply F.19 for the ordinary repair and local revalidation. When the changed FPF-governed expression can alter meaning, KindRestorationCheck states the live object, kind, relation, slot or use position, claim kind, admissible use, and scope before and after the change. If the proposed repair cannot preserve those values and no accepted decision justifies changing them, the row remains blocking.