lei.chen/myxce
1
0
Fork 1
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(raft-apply-decoupling): mark task group 7 complete, close out spec

Browse source
This commit is contained in:
Rongsong Shen 2026-07-07 07:14:53 +00:00
parent 40196be2e5
commit 903b284168
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.kiro/specs/raft-apply-decoupling/tasks.md
View file

@ -157,7 +157,7 @@
- _Requirements: 6.3, 7.3, 9.4_
- _Depends: 6.1, 4.2_
- [ ] 7. Conformance, regression, and existing-behavior preservation
- [x] 7. Conformance, regression, and existing-behavior preservation
- [x] 7.1 Extend the deterministic conformance harness with apply-ordering assertions
- Add an assertion that no entry's state mutation or reactions occur before that entry commits
- Add an assertion that re-applying an already-committed entry is idempotent