fpf.tools
Library / Notational Engineering DPF
Jump to passage
In this reading
Source · lines 1391–1402

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 07:00:10 UTC

NOT.6:7 - Conformance Checklist

When the combination needs checking, ask the questions that can change its use.

  • Does each retained representation support a named operation or needed distinction?
  • Can the reader recover the referents and the relation between their occurrences?
  • Are derived values distinguished from independent contributions and different claim kinds?
  • Can one joined answer be obtained by following the stated correspondences?
  • Does a change preserve its actual requirements rather than every value copied from an earlier display?
  • Are incompatible edits or interpretations exposed at the affected contribution?
  • Can the work stop with the usable combination, without unnecessary synchronized copies?