@[reducible, inline]

abbrev CordialMiners.Weight : Type

A participant weight. Proof-of-Reputation gives each committee member a nonnegative weight, and quorum thresholds are weighted sums rather than plain signer counts.

Equations

• CordialMiners.Weight = ℕ

structure CordialMiners.Ratio : Type

A rational threshold num / den, a pair of naturals with a positive denominator. Every threshold check compares cross-products, so consensus-critical arithmetic stays in ℕ and never touches floating point. The blueprint forbids floats for certificate validity.

• num : ℕ
• den : ℕ
• den_pos : 0 < self.den