Rongsong Shen 9f530f5742 docs: fix unchecked group-header checkboxes across 8 fully-implemented specs ... controller-status, ha-commit-engine, ha-heartbeat-committed-propagation, ha-prevote, ha-single-leader-role, ha-wal-replication, libxce-failover, and raft-ha-core-safety each had every numbered sub-task marked [x] but their group-header lines (e.g. "1. Foundation: ...") left unchecked -- a cosmetic gap, confirmed by roadmap.md's own IMPLEMENTED/VERIFIED notes and zero real unchecked sub-tasks in any of the eight files. No task content changed.		2026-07-07 08:45:41 +00:00
..
brief.md	chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family	2026-06-11 13:21:50 +00:00
design.md	chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family	2026-06-11 13:21:50 +00:00
requirements.md	chore: baseline snapshot — prior-session work + ha-consistency-invariants spec family	2026-06-11 13:21:50 +00:00
research.md	checkpoint: bug-851 root cause + raft TLA+ conformance spec family	2026-06-21 14:02:15 +00:00
spec.json	docs: close ha-consistency-invariants umbrella spec	2026-07-03 03:23:53 +00:00
tasks.md	docs: fix unchecked group-header checkboxes across 8 fully-implemented specs	2026-07-07 08:45:41 +00:00