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

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

ME.6.MC:12 - Relations

  • ME.3 supplies situated requirements and their subjects. ME.6 supplies the broader comparison and receives the derived consequence, moved burden and qualification.
  • ME.7 resolves a proposed Method whole into supported obtaining relations or a prospective account. Equality or composition of mathematical descriptions does not perform that work.
  • MATH.17 constructs admissible operations and their composition laws. MATH.18 constructs interpretations and tests what transfers between mathematical accounts.
  • C.29, with C.29.1–.3 where needed, supplies subject correspondence, result transfer, computational formulation and realization.
  • CMP.14 constructs and checks computational interaction when shared state, messages or progress matter. Its environment assumptions remain visible in the receiving Method comparison.
  • C.11/C.11.CRC, C.18 and E.22/E.23 supply choice, contribution comparison, Pareto or retained-alternative treatment, and improvement. C.11.DUA governs whether another observation or trial is worth its burden.
  • ME.25 addresses construction of a changed Method from a mathematical transformation. The present result is a comparison or a returned construction requirement, not an assertion that the changed Method has been obtained.