The audit
One real day over São Paulo — the world's busiest urban helicopter market —
61 aircraft, 148 flights,
10,391 km flown — ADS-B, hash-pinned. Each
flight is re-flown on paper by an eVTOL and decided by interval arithmetic under Brazil's own
reserve rule, ANAC RBAC 91.151(b). This is Embraer's home market: Eve's launch operator Revo
holds a binding SP order (10 firm + 40 options, June 2025), and ANAC's vertiport sandbox runs at
Campo de Marte — the busiest measured node on this map after Helicidade. Eve publishes the least
of the four audited aircraft, so its column reads NEEDS DATA — and the flip threshold is computed,
not rhetorical: at 253 kWh of published
nameplate, half this day's flights become provable for the EVE-100 (proved on both sides of
the flip, like every threshold here). The public UNDECIDABLE is the door.
Click any aircraft — its certificate opens on the left.
Honest boundaries
The corpus is what the receiver network saw; coverage gaps and truncated
tracks are flagged per flight. The audit is counterfactual arithmetic over stated boxes
(quality-flagged in the repo; Eve publishes least, so Eve needs data most). ANAC = RBAC 91.151(b), the 20-min VFR helicopter reserve, quoted from ANAC's own pinned text (arithmetically identical to the FAA tier — the jurisdiction is the point); EASA = the 5-min final reserve, a NECESSARY condition only.
Ambient layer = all other traffic, decor only. Data ©
adsb.lol
contributors (ODbL). Rerun everything:
apps/skyaudit.
Methodology, sources and boundaries, citable:
the companion note.
This day, under the selection
The day
flights in the air by hour · peak at 15:00 local
Hardest-working aircraft
🥇 PS-ATN — ROTORFLY TÁXI AÉREO E SERVIÇOS AÉREOS ESPECIALIZADOS LTDA (EC45) 7 legs · 2.7 h · 🥈 PP-SGL — GILBERTO SCHINCARIOL JÚNIOR (EC30) 7 legs · 1.4 h · 🥉 PS-DBB — IMPLY PARTICIPAÇÕES SOCIETÁRIAS LTDA (R44) 7 legs · 0.8 h
names: FAA registry (registered to — not necessarily who operates) / ANAC RAB (operador); both pinned
Records
longest 346 km (PS-WMS, LUGANO WMS PARTICIPACOES LTDA) ·
99 min airborne (PS-WMS, tour loop) ·
highest 8000 ft (untyped) ·
fastest 153 kt median (B429)
What was flying (inferred)
charter/other 82 · tour loop 35 · shuttle hop 30 · patrol/military 1
Measured outliers
widest orbit: PP-CPD (B429) flew
25.2× its direct distance · longest hoverer: PS-GER
under 10 kt for 67% of a 14-min flight
The electric bill
This day's helicopters burned 10,264–16,297 L
of Jet-A — $13,343–$34,224,
25.7–41.6 tonnes of CO₂.
The 59 provably-electric flights:
$135–$1011 of electricity vs
$1,571–$4,315
of fuel for the same flights — the cost intervals don't overlap: the electric worst case beats the fuel best case. 3–5.2 t CO₂ avoided.
Fuel from per-type class burn boxes (stated estimates);
electricity from the certified energy enclosures — decided, not projected.
Fleet designer — every position is a proof
If the reserve rule were…
If charging took…
Battery and reserve apply to the aircraft selected
above; charging applies to the Beta ALIA fleet re-flying its provable day. Each slider position
looks up a precomputed, gate-checked certified point.
Re-fly the day — fleet frontier
Beta ALIA
59 provable legs · witness 15:20:45 BRT · pool model, ANAC 20-min
exactly 8 aircraft
Joby S4
zero provable legs under ANAC 20-min
no certifiable fleet
Archer Midnight
zero provable legs under ANAC 20-min
no certifiable fleet
Eve EVE-100
zero provable legs under ANAC 20-min
no certifiable fleet
Range claims, audited
A range claim is EXISTENTIAL — CONSISTENT means
some point of the maker's own public+assumed boxes achieves it. A worst-case guarantee is
UNIVERSAL and gets the worst corner.
Joby S4
100 mi range including energy reserves (evtol.news attributing Joby)
CONSISTENT
Archer Midnight
up to 100 mi (Archer PR)
CONSISTENT
Archer Midnight
guaranteed minimum 60 mi in the worst case condition (evtol.news attributing Archer)
UNDECIDABLE
Eve EVE-100
designed for 100 km range (Eve institutional presentation, May 2026)
CONSISTENT
Beta ALIA
no published VTOL-variant range claim to audit (336 nm demonstrated is the CTOL variant)
NO CLAIM
Flight planner — a plan that comes with a proof
nodes are measured flight-endpoint clusters from the committed corpora (counts stated); the graph is a hand-simplified rendering of the published REH river-corridor structure; distances are corridor path lengths over this graph; the energy verdicts on planned routes are the same certified interval decisions as everywhere else in the app, under ANAC RBAC 91.151(b) - GO/NO-GO here means the ENERGY question only, decided as a mathematically certified enclosure; it is not an operational clearance.