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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 17:35:14 UTC

F.1:4.5 - Invariants

For finding, keep the original concern distinct from search variants, identify what was actually inspected, and return consequential access limits. A no-hit result is relative to the searched scope and routes. The following invariants govern the source cut when source selection is current:

  1. Every retained source has an inspected answer-changing role for the stated question and use.
  2. The cut is finite, inspectable, and revisable; no universal count establishes sufficiency.
  3. Exact sources and editions remain recoverable.
  4. Source-local meanings remain local; F.1 does not merge or relate them.
  5. The result contains no F.9 relation, synthesis conclusion, truth verdict, reliance decision, or assurance claim.
  6. Domain families and search readings guide discovery only.
  7. Designed descriptions and performed occurrences stay distinct when that source difference matters.
  8. A changed relied premise reopens the affected cut claims; an unrelated edition-number change does not.
  9. One already identified sufficient source is the ordinary cheap exit; for a SoTA claim, the stricter critical-synthesis condition in F.1:4.2.1 applies.
  10. A protocol-defined evidence review continues to follow its domain method.