Expand description
Fenced market leases for serialized policy and executor state transitions.
These types do not provide synchronization by themselves. Safety comes from storing the registry in serialized executor state and enforcing issued fencing tokens on downstream mutations.