Commit graph remora/docs/protocol/RemoraApiMutation.tla
Author SHA256 Message Date
dfd60cf104 Separate protocol authority from mutable API contracts
Move API artifacts out of docs/spec, define concrete execution and deletion refinements, and document TLA+ abstraction boundaries so architecture prose cannot become a competing protocol specification.
2026-07-14 11:50:10 +09:00
78be27871c Abstract endpoint-specific mutation rejections 2026-07-13 18:36:32 +09:00
e5ab04d49c Model API mutation replay semantics 2026-07-13 18:23:03 +09:00