nurturenature
commented
1 week ago Thanks for the interest!
It is very early in the test process.
So early that it's not really possible to meaningfully interpret any results yet.
The project is
- under active development
- a collaboration to build and verify a causal+ connector
- kept current with results if you'd like to follow or review occasionally
I can say that the documentation, examples/demos, and APIs have been nice to work with.
Hello! i stumbled upon this project because i'm considering using powersync and was wondering if anyone has done serious correctness verification using jepsen or similar tools.
Seems you are working on exactly this. I checked your readme and https://github.com/nurturenature/jepsen-powersync/blob/main/doc/logbook.md seems that for basic/single-client uses, the system works as designed; but your more advanced tests involving multiple users reveal issues, which may potentially be due to a bug the testing itself.
Is that basically the current status? I was wondering if you could give some more color or conclusions about your testing thus far, and whether you've found powersync to be a robust system including in multi-client situations. thanks!