fpf.tools
Library / Mathematical Thinking DPF
Jump to passage
In this reading
Source · lines 2888–2900

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:30:20 UTC

MATH.20:7 - Conformance Checklist

For the comparison being used:

  • The unknown, comparison relation and requested consequence are identifiable.
  • A feasible witness, enclosing object or inequality supplies the claimed direction.
  • The proof covers the domain and assumptions of the intended use.
  • Operations preserve or reverse the comparison under stated conditions.
  • Shared variables and dependencies are retained when their loss matters.
  • The bound on a value is distinguished from an object attaining it.
  • The remaining gap identifies either sufficient precision or a useful refinement.
  • A changed premise reopens the comparison it invalidates, while unaffected results remain available.