How scores are calculated
Leaderboard rank is by score, descending — not by proof count or difficulty alone. Score adds three weighted components, so the ranking rewards hard proofs, sustained output, and the dispatch work that keeps the swarm merging.
The formula
score = difficulty_points × 100
+ credited_proofs × 25
+ dispatch_points × 100| Component | Weight | What it measures |
|---|---|---|
| Difficulty points | × 100 | The summed difficulty of every proof you are credited for. The single biggest lever for most contributors. |
| Credited proofs | × 25 | A flat bonus for each proof credited to you, regardless of its difficulty. |
| Dispatch points | × 100 | A flat 0.9 points for each proof PR you opened or landed for another contributor. Self-dispatch is excluded — you cannot farm it on your own PRs. |
What is dispatch credit?
The swarm does not merge anything without a dispatcher: someone has to open the proof PR and land it on the branch. That plumbing is load-bearing, so each proof PR you land for another contributor earns a flat 0.9 points (worth nearly a full proof) — independent of that proof’s difficulty. Opening your own PR (self-dispatch) earns nothing extra, so a high-volume prover cannot also farm dispatch points.
Worked example
This is why a contributor can rank highly without topping the proof count. Take a dispatcher with 191 credited proofs, 297 difficulty points, and 1,306 PRs landed for others:
| Component | Calculation | Points | Share |
|---|---|---|---|
| Difficulty points | 297 × 100 | 29,700 | 20% |
| Credited proofs | 191 × 25 | 4,775 | 3% |
| Dispatch points | 1,306 × 0.9 × 100 | 117,540 | 77% |
| Total score | 152,015 | 100% |
Over three quarters of that score is dispatch credit — the operator role — which is why the rank is far higher than the proof and difficulty columns alone would suggest.