Fixed-rate sum

Role. Target. Graph node weighted_scalar.

If a violation is non-compensatory, a sufficiently large but finite reward elsewhere must not purchase it.

— Frames draft §4.2

Lean’s no_finite_weights_represent_floor: for every choice of strictly positive integer exchange rates there is a choice set where every optimum of the sum violates the floor. The real-valued version is expected to follow by the same argument but is not yet proven. Pulled back along the floor-coordinate maps, it gives the deontic– and AU-floor–scalar red edges for every such choice of rates (deontic_no_finite_weights, nonobs_no_finite_weights).