Design notes# These short notes explain the policies behind SpaceCore’s abstractions and how users should reason about them. Conversion policy Dtype policy Checking policy