myxce/.kiro/specs
Rongsong Shen 54d3293a9e spec: open heartbeat-committed-propagation brief + log convergence live finding
- ha-heartbeat-committed-propagation/brief.md (NEW): the live-fresh off-primary
  committed follow-up controller-status Req 10 routed out of boundary. Primary
  stamps committed_lsn/config_tag into each heartbeat (HeartbeatMsg fields exist
  but are unconsumed); standby monotonically refreshes last_known_committed_*.
- ha-convergence-recovery/research.md: live 'cluster won't hold a primary'
  finding (2026-06-20) as a candidate manifestation for the deferred Task 8 E2E,
  with a differential (demotion self-restart churn vs prevote thrash vs fsync env)
  and a diagnosis-first recommendation. Code is complete; this is runtime evidence.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-20 10:20:07 +00:00
..
controller-status chore(controller-status): record delta impl status (6.1-6.3 done, 6.4 pending live) 2026-06-20 09:31:29 +00:00
election-iomgr-refactor docs(specs): gap-analysis validation pass across all 9 HA-family specs 2026-06-10 01:26:33 +00:00
ha-commit-barrier-rollout chore(ha-commit-barrier-rollout): final validation GO — spec implemented (task 7.2) 2026-06-13 05:25:50 +00:00
ha-commit-durability 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
ha-commit-engine chore(ha-commit-engine): mark spec implemented — validate-impl GO 2026-06-12 03:41:21 +00:00
ha-config-bootstrap chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
ha-consistency-invariants chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +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 chore(ha-prevote): resolve log-reason nit; track elect_ctx leak as follow-up spec 2026-06-16 07:56:07 +00:00
ha-heartbeat-committed-propagation spec: open heartbeat-committed-propagation brief + log convergence live finding 2026-06-20 10:20:07 +00:00
ha-heartbeat-liveness chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
ha-peer-connection-reuse chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
ha-prevote chore(ha-prevote): resolve log-reason nit; track elect_ctx leak as follow-up spec 2026-06-16 07:56:07 +00:00
ha-repl-hardening chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
ha-single-leader-role chore(ha-single-leader-role): final grep gate zero + ASAN regression green (task 6.2) 2026-06-13 15:14:48 +00:00
ha-wal-replication chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
libxce-failover docs(libxce-failover): record live-E2E round-2 fixes (bug-609 EINVAL, bug-610 reconnect SEGV) 2026-06-17 06:54:28 +00:00
raft-library chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
resval-id-decoupling docs(specs): gap-analysis validation pass across all 9 HA-family specs 2026-06-10 01:26:33 +00:00
scheduler-controller-msg-gap test(scheduler-controller-msg-gap): real handler/applier unit tests (bug-765 G-6) 2026-06-19 04:14:20 +00:00
worker-join-refactor chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00
xce-test-e2e-primitives fix(xce-test-e2e-primitives): shell-style -e/+e errexit with mode-aware default — interactive REPL no longer exits on a bad command 2026-06-20 06:16:43 +00:00
.gitignore chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family 2026-06-11 13:21:50 +00:00