DOCA.4:4.5 - Preserve the complete finite-comparison basis

When making a finite contribution comparison, use C.11.CRC. Compare actual or relied-on S0, finite Delta, and realizable candidate S1 under one system boundary, receiving decision, horizon, scenarios, constraints, interactions, transition basis, uncertainty, and evidence window.

Keep four coordinate families visible: useful results; consumed resources; consequences for affected Systems and the distribution of gains and burdens; and explicitly protected conditions. Retain each characteristic’s scale and polarity. Do not hide one family in another or average incompatible scales.

For a Pareto-improvement claim, no coordinate in the declared complete set may worsen and at least one must improve under that same basis. Otherwise state only the supported relation, such as beneficial under a stated value judgement, harmful, dominated, non-dominated, or indeterminate. A direction with a possible gain and an unresolved protected condition is not thereby a Pareto improvement or a selected option.

If reachability or another necessary premise is missing, give the conditional configuration and comparison question to DOCA.5; do not manufacture a complete comparison. A numerical or analytical result from elsewhere remains limited to the configuration and use its supplying practice qualified.

For a later step, use its stage-specific S_i, finite Delta_i, and candidate S_i+1, not the original baseline by default. DOCA.6 maintains the resulting finite path or branch account, including each step’s burden, reversibility, option effects, and reopen condition. Neither the path nor its separate comparisons select a programme.