C.22:5.5 - Unknowns.

An identity position needed for positive closure cannot be replaced by unknown. A live characteristic or predicate may preserve unknown only when its exact value rule permits it. The TaskSignature cites the downstream policy that defines or constrains the consequence; C.22 performs no implicit coercion and declares no universal outcome set.