..
config-upgrade-snapshot
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
controller-status
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
election-iomgr-refactor
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-commit-barrier-rollout
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-commit-durability
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-commit-engine
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-config-bootstrap
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-consistency-invariants
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-convergence-recovery
spec: open heartbeat-committed-propagation brief + log convergence live finding
2026-06-20 10:20:07 +00:00
ha-elect-ctx-lifecycle
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-heartbeat-committed-propagation
docs(ha-heartbeat-committed-propagation): mark 4.1 pending live-cluster validation (manual env)
2026-06-20 12:32:34 +00:00
ha-heartbeat-liveness
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-peer-connection-reuse
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-prevote
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-repl-hardening
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-single-leader-role
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
ha-term-safety
docs(ha-term-safety): fix mermaid sequenceDiagram parse error (semicolon in note)
2026-06-22 02:34:31 +00:00
ha-wal-replication
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
libxce-failover
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
raft-commit-safety
test(raft-commit-safety): full library suite green under ASAN (task 8.1)
2026-06-22 00:42:46 +00:00
raft-library
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
raft-log-replication
test(raft-log-replication): close Req 8.3 node-restart with sim restart primitive
2026-06-21 21:49:20 +00:00
raft-sim-conformance
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
resval-id-decoupling
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
scheduler-controller-msg-gap
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
worker-join-refactor
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
xce-test-e2e-primitives
checkpoint: bug-851 root cause + raft TLA+ conformance spec family
2026-06-21 14:02:15 +00:00
.gitignore
chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family
2026-06-11 13:21:50 +00:00