fpf.tools
Library / Method Engineering Principles Framework
Jump to passage
In this reading
Source · lines 1936–1945

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 09:50:10 UTC

ME.6:12 - Relations

  • ME.5 supplies individually qualified Methods/accounts and whole-independent local connections; it supplies no whole compatibility result.
  • A.22, C.30, C.32.MWA, and B.1.5 govern selected structures, architecture truth, several-structure synthesis, and Method composition.
  • C.11 or the applicable domain decision Method governs the bounded choice; C.28 governs any causal conclusion consumed.
  • ME.7 resolves one proposed Method whole. A relation-only ME.6 result may stop without entering ME.7.
  • ME.19 may supply a differentiation account and separate causal-use result. ME.6 consumes only the causal reliance allowed by its verdict and keeps its own decision authority.

ME.6.MC develops the mathematical comparison when an arrangement’s combined consequences are not already clear. It constructs the operations, retained information and shared-resource constraints needed to derive a property or counterexample. ME.25 instead constructs a changed way of working from a mathematical transformation; use it when the comparison returns a design question.