I believe they are required to be positive, negative IDs are used temporarily in transactions until they are resolved to real ids

https://github.com/tonsky/datascript/blob/master/src/datascript/db.cljc#L1126 defines tempid? which is true for negative numbers or strings

Yes, negative ids are just placeholders that will be replaced with real ones. Same negative ids will have same real id after tx