Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:30:15 UTC

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.