Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:40:20 UTC
ME.7:4.2 - Record the Result
Result position
Required content
use and whole semantics
Intended result/preserved condition, situation, operations or invariant, applicability, participants, variation, bounds, and reidentification.
participant account
Each subject, kind or status, identity basis or open condition, and proposed contribution.
relation sets
Each direct relation, truth status, evidence, guard, and receiving use.
branch verdict
Obtaining composition result, prospective candidate account, or lower return with decisive reason.
prospective content
Guards, adapters, alternatives, recovery, stops, burdens, and variation points when the lower branch applies.
continuation, when selected
Later Work and observations, authority, acceptance/failure and reconsideration condition; a realization/test WorkPlan where its coordination needs one.