FPF Reference

E.10.D2:4.3 Where RCS/RSG and evaluations sit

Preface node heading:e-10-d2-4-3-where-rcs-rsg-and-evaluations-sit:41269

Content

  • U.RCS (Role Characterisation Space) and U.RSG (Role State Graph) are intensional types that structure the space of role characteristics and permissible state transitions.
  • Their human presentation (characteristics, dimensions, node labels, admissible transitions) lives in the RoleDescription, and becomes part of RoleSpec only when the transitions and state predicates are made testable and harness‑bound.
  • U.Evaluation operates on evidence against the conformance checklist (from the Description/Spec) to produce a state attestation (“X is in state S @Context within window W”).
  • Epistemic/deontic statuses (e.g., Evidence, Requirement, Standard) are roles over Epistemes (not states of the role). They are governed elsewhere (F‑R family) and must not be conflated with U.RSG state names.