A concrete value a blocking atom pins for this field, with the verified
consequences of assigning it — "setting legalApproved to true flips
transition to-publish to satisfied". Verified by re-evaluating every
site that reads the field, so a listed consequence is what the engine
would actually conclude, not a syntactic guess.
A concrete value a blocking atom pins for this field, with the verified consequences of assigning it — "setting
legalApprovedtotrueflips transitionto-publishto satisfied". Verified by re-evaluating every site that reads the field, so a listed consequence is what the engine would actually conclude, not a syntactic guess.