The coordination substrate you can verify
Why correctness evidence is the product when you are deciding where to put locks, leases, epochs, and control-plane state.
Journal / Design in public
Reasoning is part of the artifact.
Essays from the build: what Orbita chooses, what it gives up, and how the project intends to turn correctness claims into evidence.
One log, two quorums
A replica can make a write durable and still serve an old value. Orbita treats durability and read coherence as separate questions.