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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:30:10 UTC

NOT.2:7 - Conformance Checklist

Use the applicable questions when the construction rules need checking.

  • Can the reader recover the components and the places they occupy from the expression and available conventions?
  • Are the groupings that change the operation distinguishable, or explicitly retained as unresolved alternatives?
  • Does each needed reference reach its declaration, external input or unresolved place according to the stated policy?
  • Do composition rules account for the roles of connected participants and the resulting external boundary?
  • Does a contrasting construction expose a consequential change of grouping, reference or connection?
  • Can an abbreviation be expanded or otherwise interpreted without losing a distinction needed by the operation?