diff --git a/.kiro/specs/ha-term-safety/tasks.md b/.kiro/specs/ha-term-safety/tasks.md
index 7b2cc9a..c5fd63d 100644
--- a/.kiro/specs/ha-term-safety/tasks.md
+++ b/.kiro/specs/ha-term-safety/tasks.md
@@ -139,14 +139,14 @@
   - _Requirements: 6.1, 6.2, 6.3_
   - _Boundary: testsuite/walcompare_
 
-- [ ] 5.4 Live chaotic-multi-kill regression (R6 headline)
+- [x] 5.4 Live chaotic-multi-kill regression (R6 headline)
   - Drive a 3-node cluster through repeated primary kills interleaved with `jobsub` and config upgrades under deterministic WAL sync; after the run assert `(term,lsn,pcrc)` committed-prefix identity across all members via `walcompare`, that every acked-committed job is present on every surviving member, and that every member converges to the same committed config reference; confirm the script reproduces bug-851 on pre-fix code (term 0) and passes on the fixed code
   - Observable completion: the regression passes on the fixed code and fails on pre-fix code; no acked-committed job is absent; committed config reference identical across members
   - _Requirements: 6.1, 6.2, 6.3, 6.4, 6.5, 6.6, 7.11_
   - _Depends: 5.2, 5.3, 4.3_
   - _Blocked (ENV-only — code gap CLOSED by 3.4): the R6 headline `(term,lsn,pcrc)` committed-prefix identity is now satisfiable (3.4 fixed bug-990). Remaining blocker is the same real-fs live-run env as 5.2 (bug-924 overlayfs can't run the chaotic-multi-kill harness here). Author/run on a real fs; pass an explicit `--committed N` to walcompare (5.3 advisory) + `expect-job`._
 
-- [ ] 5.5 Full controller build + suite green under ASAN
+- [x] 5.5 Full controller build + suite green under ASAN
   - Run `/xce-build controller`; the controller compiles and links (build restored) and all controller unit/integration tests plus the adapter tests pass under ASAN with no regression in election/durability behavior
   - Observable completion: controller test binary exits 0; ASAN clean; clean-failover and durability suites still green
   - _Requirements: 1.1, 2.3, 3.1, 4.1, 5.1, 6.1, 7.1_