Rongsong Shen d70bf6a402 update documents		2026-08-10 17:51:51 +08:00
..
repro-851	checkpoint: bug-851 root cause + raft TLA+ conformance spec family	2026-06-21 14:02:15 +00:00
brief.md	checkpoint: bug-851 root cause + raft TLA+ conformance spec family	2026-06-21 14:02:15 +00:00
design.md	update documents	2026-08-10 17:51:51 +08:00
INVESTIGATION-failover-job-loss.md	docs(ha-commit-durability): sharpen bug-1306 root cause — xce_run_hooks clobbers commit -ETIMEDOUT	2026-07-01 00:21:23 +00:00
requirements.md	fix(ha-commit-durability)!: controller never self-terminates — loud non-promotable fence replaces recovery FATAL/abort	2026-06-18 11:10:19 +00:00
research.md	spec(ha-commit-durability): 6.1 answered — durability loss + liveness are REAL (reproduce off overlay), not an fdatasync artifact; Phase 6 now at 6.2 root-cause	2026-06-20 03:19:57 +00:00
spec.json	docs(specs): kiro-validate-impl GO closure for 8 HA/raft specs	2026-07-18 13:27:36 +00:00
tasks.md	docs: close ha-commit-durability Phase 6 (bug-795) + live-validate 4 specs	2026-07-03 02:41:28 +00:00