Definition. Model-instance comparison decision rule [ftip-00K8]
Definition. Model-instance comparison decision rule [ftip-00K8]
Call architecture A more cost-efficient than B at quality \(q\) only when the compared threshold costs use the same declared protocol, the confidence procedure and stopping rule are fixed, and all cost-vector coordinates needed by the claim are present. A ratio additionally requires finite costs and a strictly positive denominator as in Definition [ftip-00JP]. State whether the costs are measured target-achieving witnesses or justified inverse-frontier values \(C_A(q)\) and \(C_B(q)\); observing one successful run does not identify those infima. Otherwise the comparison is descriptive or unknown.