Establishes that the sum of path ratios never exceeds 1 throughout IDEBT's execution. Ratios change only inside Expand, where the parent ratio drops to SELF_SHARE times its previous value and the children's weights total exactly the remaining share, so the per-path change is at most zero and the total is non-increasing. This bounds the influence any user can accumulate however many endorsements or Sybil identities they create, and is the basis of the publication quotas Registries enforce.