E.17.0:4.6.3 - Keep explicit evaluation values optional
The fixed E17ViewpointSemanticsSlice@FPFEdition selects the exact FPF and E.17.0 declaration editions, effective U.ReferenceScheme, and Γ_time. In that slice the admission predicates defined here permit exactly two optional C.3.2 local ValueKinds, each carried by its own C.2.1 KindSignature episteme:
| Local ValueKind | Exact extension | Admit an explicit value only when |
|---|---|---|
KS.ViewpointConformanceValue.E17, carrying KindSignature(ViewpointConformanceValue@E17) | the two exact values designated conforms and doesNotConform | separately performed conformance-evaluation work emits the value and a named A.21 gate or C.11 comparison/selection decision consumes it |
KS.ViewpointOrganizationSatisfactionValue.E17, carrying KindSignature(ViewpointOrganizationSatisfactionValue@E17) | the two exact values designated satisfiesOrganization and doesNotSatisfyOrganization | separately performed candidate-structure evaluation emits the value and a named C.11 comparison or selection decision consumes it |
The four exact values remain distinct from their designators. Both kinds use F4 formality, deterministic exact-equality membership, no SubkindOf, and fail-closed definedness. Incomplete evidence or interpretation leaves the optional evaluation unsupported or undefined; it supplies neither a negative result nor a third unknown member.
Omit both local values from P, direct relation obtaining, and—when the structured branch is active—Q_org and structure identity unless the named consumer actually needs one. Without such a consumer, state the direct conformance judgment or the structured branch’s Q_org constraint judgment. KindMembershipJudgment and ConcernCoverageJudgment remain withdrawn and do not return as kinds or result fields.