Rongsong Shen 5503c7a176 chore(ha-prevote): resolve log-reason nit; track elect_ctx leak as follow-up spec ... - Mark the PreVote denial log-reason nit RESOLVED in ha-prevote tasks notes (47f7338). - File ha-elect-ctx-lifecycle spec scaffold (spec.json + brief.md) capturing the pre-existing, bounded, UAF-sensitive election-carrier leak and the refcount/ teardown-ordered-free approach across both election and PreVote paths. Deferred by decision — not folded into ha-prevote to avoid a risky lifetime refactor. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>		2026-06-16 07:56:07 +00:00
..
design.md	commit missed	2026-06-16 15:42:43 +08:00
requirements.md	commit missed	2026-06-16 15:42:43 +08:00
research.md	test(ha-prevote): Raft safety-invariant property tests + RN-1 consistency argument (task 6.1)	2026-06-16 07:18:06 +00:00
spec.json	commit missed	2026-06-16 15:42:43 +08:00
tasks.md	chore(ha-prevote): resolve log-reason nit; track elect_ctx leak as follow-up spec	2026-06-16 07:56:07 +00:00