关键参数数量关系的约束

[blackpainter]

qos有通过决议修改参数的功能，但一些参数间不符合一定数量关系约束就容易出问题，有必要整理出这些约束条件，在修改参数的validate方法中进行逻辑语义级别的约束

[imuge]

stake:

• max_validator_cnt > 0
• voting_status_len > 0
• voting_status_least > 0, voting_status_least <= voting_status_len
• survival_secs > 0
• unbond_frozen_height > 0
• max_evidence_age >= 0
• slash_fraction_double_sign [0, 1]
• slash_fraction_downtime [0, 1]

distribution:

• proposer_reward_rate [0, 1]
• community_reward_rate [0, 1]
• delegator_income_period_height > 0
• gas_per_unit_cost > 0

gov:

• min_deposit > 0
• min_proposer_deposit_rate [0, 1]
• max_deposit_period > 0
• voting_period > 0
• quorum [0, 1]
• threshold [0, 1]
• veto [0, 1]
• penalty [0, 1]
• burn_rate [0, 1]

[blackpainter]

stake:
unbond_frozen_height > delegator_income_period_height
unbond_frozen_height > max_evidence_age

gov:
unbond_frozen_height > voting_period (#274 如果不投票决定则不需要此项检查)

[blackpainter]

有数量关系制约的两个参数同时提交change_parameter的proposal该如何检查？是否要与潜在的、变化后的值也进行比较？