RaoscaffResearch
Prediction Series · Lock · Issue P-13
Prediction Series · P-13

The F1 title lead, locked by arithmetic.

After Round 7 (Barcelona-Catalunya), Kimi Antonelli leads the 2026 F1 Drivers' Championship by 41 points. The British Grand Prix is one race — and one race cannot erase a 41-point lead (the maximum a rival can gain is ≤33 points, even with a sprint). We lock Antonelli as still the leader after Silverstone. This is a standings-arithmetic lock, not a race prediction.

Type · Prediction Lock · standings arithmetic Locked · 2026-06-20 · before the Jul 3–5 British GP Resolves · 2026-07-05 · official FIA standings Scored · binary (still leader) vs Formula1.com standings
F1 Drivers' Championship · after British GP · our locked call
ANTONELLI
still leader · 41-pt margin · uncatchable in one race

After Barcelona (Round 7): Antonelli 156, Hamilton 115, Russell 106. A single GP yields a rival at most ~25 points over Antonelli (≤33 with a sprint) — so a 41-point lead survives even an Antonelli DNF plus a rival win. The lead is mathematically safe at Silverstone.

— 1 · The Locked Forecast

Antonelli still leads after Silverstone — by math.

We lock that Kimi Antonelli is the Drivers' Championship leader in the official standings published immediately after the July 5 British Grand Prix. The basis is arithmetic, not a race call: a 41-point lead cannot be overturned in a single round.

2026 F1 Drivers' standings after Round 7 (Barcelona-Catalunya)
DriverPointsGap
Antonelli156leader
Hamilton115−41
Russell106−50
— 2 · The Data

41 points, one race, a ≤33-point ceiling on the swing.

At Barcelona, Lewis Hamilton took a maiden Ferrari win and cut Antonelli's lead by 25 points (Antonelli retired with a late Mercedes failure) — yet Antonelli still leads by 41. The maximum a single rival can gain at one Grand Prix is the win margin (~25 points), or up to ~33 with a sprint. 41 > 33: no rival can take the lead at Silverstone, even if Antonelli scores zero.

Sources: Formula1.com / FIA 2026 standings after the Barcelona-Catalunya GP; Silverstone 2026 F1 calendar (British GP Jul 3–5); verified 2026-06-20.

— 3 · The Variant View

A race result we don't need to predict.

Who wins at Silverstone is genuinely uncertain — and irrelevant to this lock. By targeting the championship-lead binary rather than the race, we convert an uncertain event into a near-deterministic one. The only inputs are the current points and the points system.

— 4 · Methodology

Standings arithmetic: lead vs maximum single-race swing.

We compare the current lead to the maximum points a challenger can gain in one weekend (race + sprint, if any). When the lead exceeds that ceiling, the leader is mathematically locked. Scored against the official post-race FIA standings.

— 5 · Pre-Committed Post-Mortem

How we'd be wrong — named in advance.

The only realistic miss is a retroactive points penalty / disqualification stripping Antonelli of prior-race points before or at Silverstone — extraordinarily rare. (A bad race alone cannot do it.) ~3% is our honest gap, almost entirely off-track risk.

Locked before the race — scored against the official FIA standings.

RAOSCAFF locks P-13 on 2026-06-20, before the Jul 3–5 British Grand Prix. We score the binary (Antonelli still championship leader) against the official standings published after the race.

Locked
2026-06-20 (commit timestamp)
Resolves
2026-07-05 — official FIA standings after the British GP (Silverstone)
Source
FIA / Formula1.com Drivers' Championship standings
Scored by
binary Brier: is Antonelli the standings leader after Round 8?

A lead larger than the maximum single-race swing is arithmetic, not opinion.