you don't -

spicedb datastore migrate

refers to the DDL of the underlying SQL database, and it's a separate thing from writing a schema