feat: CN = 0 <=> TX_EXEC = 0
enforced by explicit constraint#99
Open
OlivierBBB wants to merge 2 commits intomainfrom CONTEXT_NUMBER-must-vanishes-iff-TX_EXEC-vanishes
+8-5
CN = 0 <=> TX_EXEC = 0
enforced by explicit constraint#99