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

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 12:35:06 UTC

NOT.4:7 - Conformance Checklist

When the proposed transformation needs checking, examine the questions that bear on its intended use.

  • Is the reading or edit to improve stated, together with the consequence to preserve?
  • Can the matched structure, replacement and their connection to the surrounding expression be recovered?
  • Do references, local assumptions and side conditions remain valid at each place where the rule is used?
  • Does the preservation argument cover the stated family, or is the conclusion limited to the instances examined?
  • Has a transformed expression actually supported the intended reading or change?
  • Does the nearby failing case reveal the condition that blocks an invalid reuse?
  • Can the work stop with this result, or does a stated further use justify retaining or searching additional forms?