When will Magic (magic.dev) ship some kind of product? This will be measured by the date at which they have a product listed on their website that can be purchased. This counts even if it can only be purchased by enterprises e.g. a "contact sales" button instead of a price.