Link to current text
F.3:16.2 - Regression
- RSCR-F3-E01 (merge soundness). Every merge has a failed relevant distinction test.
- RSCR-F3-E02 (split necessity). Every split cites an argument, entailment, temporal, or counterexample difference.
- RSCR-F3-E03 (edition honesty). Changed editions are not silently absorbed into an old claim.
- RSCR-F3-E04 (label stability). Label changes do not change the claim unnoticed.
- RSCR-F3-E05 (downstream continuity). After a split or merge, direct citations and any F.17 cells remain unambiguous; no silent aliasing occurs.