Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
ms2k 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
..
Remora.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
Remora.tla	Separate protocol authority from mutable API contracts	2026-07-14 11:50:10 +09:00
RemoraApiMutation.cfg	Abstract endpoint-specific mutation rejections	2026-07-13 18:36:32 +09:00
RemoraApiMutation.tla	Separate protocol authority from mutable API contracts	2026-07-14 11:50:10 +09:00
RemoraCombined.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraDisposition.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraDurableFault.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraFencing.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraGlobal.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraLocal.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraMultiShot.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraStress.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00
RemoraTargetFault.cfg	Model durable failure disposition	2026-07-13 16:41:51 +09:00