The compiler is part of the exported API, you can use it to compile a schema, and then write your own logic to convert to JSON: https://github.com/authzed/spicedb/blob/a70839748cf3d2a19a44519253ffbe03f567e3c1/pkg/schemadsl/compiler/compiler.go#L88