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

feat(ha-commit-barrier-rollout): dispatch-gate fact allowlist (task 4.2)

Browse source 
notify/update/setpreason/clrpreason admitted in CTRL_PRIMARY without
write quorum (Req 3.2 / umbrella 2.8 / bug-396): all four terminate in
receipt-style RETAIN fact paths — reviewer-traced no-block proof (no
admitted opcode reaches a barrier/WAIT path; request opcodes stay
rejected). 21/21 group; census 494/494 zero FAIL; RED→GREEN
independently reproduced via stash-rebuild.
This commit is contained in:
Rongsong Shen 2026-06-12 14:50:28 +00:00
parent 4fa38c6f88
commit 4fafeadbbc
3 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.kiro/specs/ha-commit-barrier-rollout/tasks.md
View file

@ -55,7 +55,7 @@
- Observable completion: the four fact-opcode cases FAIL (red) against the current allowlist
- _Requirements: 3.2_
- [ ] 4.2 Implement the allowlist to green
- [x] 4.2 Implement the allowlist to green
- Add the four fact-bearing opcodes to the CTRL_PRIMARY no-write-quorum switch (ha.c:1537-1556 anchor); CTRL_PRIMARY_COMMITTING branch untouched (deleted wholesale by ha-single-leader-role)
- Observable completion: all task 4.1 tests PASS; existing gate tests for request opcodes unchanged
- _Requirements: 3.2_