The predicate and its scratch word are separate from frame storage. Only
the authority evaluates the selector. Followers install the validated wire
word, and forwarding participants publish that exact installed value.
23field unrestricted nativeDecisionState : (pi unrestricted selector : nativeDecisionSelector . Nat)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.