fpf.tools
Jump to text
On this page
Copy and source
Original source · lines 43413–43423
Published source confirmed at last check

Source changed 2026-10-14 19:58:00 UTC · snapshot created 2026-10-14 19:58:38 UTC · last check 2026-10-15 03:50:20 UTC

B.1.5.CM:7 - Conformance Checklist

  • The proposed whole has an intended result or preserved condition, situation, reusable operations/invariant, applicability, participants, variation, bounds, and reidentification rule.
  • Whole identity and every participant status are independently stated.
  • Method composition, Work order/overlap, result use, allocation, support, authority, and description relations are not inferred from one another.
  • The positive branch requires identified whole and parts plus obtaining B.1.5 relations.
  • The prospective branch preserves proposed truth and names guards, adapters, alternatives, recovery, stops, burdens, and unresolved conditions.
  • WorkPlan, performed Work, observations, MethodDescription, and Method identity remain distinct.
  • The result can lower below a candidate whole when load-bearing semantics or relations are missing.
  • A supported account or lower result can complete its receiving use. Any selected continuation has a worthwhile feasible contribution and names the needed later Work, observations, authority, acceptance/failure and reconsideration.