| .. |
|
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): record Option A resolution + newly-exposed bug-828 failover job-loss
|
2026-06-23 00:29:06 +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 |
