@raffaelespazzoli can you explain what do you mean by OpenFGA specs? Because Google's Zanzibar paper is documenting an existing system rather than a real formal definition/specification, lots of folks conclude different aspects of the paper and "implement Zanzibar". As far as I know, we're the only project that fully implements every major aspect of the paper (excluding Leopard, which is by design Google-specific). We've considered building a "Zanzibar conformance suite", but it's unlikely worth the effort as SpiceDB is mature enough to be advancing the state of the art rather than just implementing the paper.