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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 10:39:28 UTC · snapshot created 2026-10-03 10:40:04 UTC · last check 2026-10-03 10:39:56 UTC

NOT.5:7 - Conformance Checklist

When the translation needs checking, use the questions relevant to its declared use.

  • Can the recipient construct the target from the source parts, connections and required context?
  • Can a target result be returned as an answer to the source question at the stated strength?
  • Do two collapsed source cases require different answers for any promised operation?
  • Does a necessary supplement have a usable recovery rule and remain associated with the right source?
  • Is the round-trip claim about expressions, interpreted structures or selected consequences?
  • For an edited target, is the backward policy explicit, including incompatible edits?
  • Does a changed question or translation stage require a distinction already discarded?