fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 106365–106383

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:05:11 UTC

F.3:16 - Acceptance tests

F.3:16.1 - Static conformance

  • SCR-F3-S01 (basis). Every LocalSenseClaim names its source and edition and the effective reference scheme.
  • SCR-F3-S02 (labels). Tech and Plain denote the same bounded claim.
  • SCR-F3-S03 (fidelity and time stance). Each claim is grounded in cited source use, preserves any source-grounded design-time, run-time, or other temporal distinction, and contains no imported substantive calculus.
  • SCR-F3-S04 (parsimony). The claim set is small enough for the receiving question.
  • SCR-F3-S05 (counterexample). Ambiguous heads have a concrete boundary test.
  • SCR-F3-S06 (no inferred relation). Clustering asserts no cross-source identity, hierarchy, transfer, or permission.

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.