This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
David Blass
ssalbdivad.dev
did:plc:ajuhho4qpcc2mlwhdzlk23vt
It will only reject schemas that it can prove are unsatisfiable.
There actually are some solutions to this like regex intersections that are unsatisfiable but because the set-theoretic reductions aren't built for that, they're allowed.
2025-09-06T17:03:39.708Z