A.21:4.2 - One check application

A GateCheckApplicationResult is a C.2.1 result episteme that keeps the gate-facing use of one source result recoverable:

GateCheckApplicationResult:
  checkApplicationId
  checkKind
  checkedSubjectRef
  criterionRef
  criterionEdition
  ruleApplicationRef?
  caseFactsRefOrValue
  scope
  qualificationWindow
  requirement: required | optional | notApplicable
  evaluationState: evaluated | notRun
  sourceResultRef?
  sourceOutcome?
  mappingRuleRef
  mappingRuleEdition
  mappedDecisionValue?: abstain | pass | degrade | block
  witnessOrReasonRefs[]

The pattern that defines or tests the source claim determines sourceOutcome; A.21 only applies the cited mapping rule. A not-applicable application states why the criterion does not apply. A not-run application states that evaluation work did not produce a result. Unknown, error, violation, and success keep the meanings supplied by their source patterns.

The application identity includes the checked subject, criterion and edition, applicable rule application, case facts, scope, and window. Two SystemRoleFit applications for different Systems and two RegulatedConformance(X) applications for different regulators or rule editions are different applications. Deduplicate only genuinely identical application results. If two copies claim different source outcomes for the same identity, stop and resolve the contradiction; do not join them by checkKind.

When a publication or selected structure needs a short GateCheckRef, that value refers to one identified GateCheckApplicationResult. It is not the old {aspect, kind, edition, scope} record and cannot omit the checked subject, criterion or rule application, case, scope, or window needed to resolve that result.