Record-correction · Fluid dynamics

The Air That Got There First

Ask the internet how a wing makes lift and you will mostly be told a tidy story that is wrong. Here is the air, told the truth.

The story goes like this. A wing's top is curved, so the air crossing it has farther to travel than the air underneath. To arrive at the trailing edge at the same moment as its partner below, the top air must speed up. Faster air has lower pressure (Bernoulli), so the top is sucked upward, and the wing flies. You have seen it in museums, in textbooks, in the first page of search results.

The hidden hinge of that story is the phrase "at the same moment." It assumes two parcels of air that split at the front of the wing must rejoin at the back — the equal-transit-time assumption. Nobody ever says why they would. And in fact they don't. The air going over the top reaches the trailing edge first, with time to spare, and never meets its partner again.

Below is a real wing in a real flow — the exact, closed-form solution for an idealised airfoil, the same one the verifier checks. Press Release dye and watch a straight ribbon of smoke split at the nose. Equal transit time predicts the two halves arrive together. Watch what the air actually does.

over the top under the wing low pressure (suction)
6.0°

Top reaches the edge

—

Peak speed: top / bottom

—

Circulation Γ

—

Lift coefficient CL

—

The dye is not animated to a script — each speck is carried by the exact velocity of the flow at the point where it sits, step by step. The ribbon tears because the flow tears it. Drag the angle of attack: more angle, more circulation, more lift, and a bigger head start for the top. (Even at -4°, the lowest angle here, lift still points up and the top air arrives first. Zero lift is about -5.19°, beyond this slider.)

The two parcels never reunite. Whatever lifts the wing, it cannot be a rejoining that never happens.

So what does hold the wing up?

Lift is real, and — this is the part the myth gets backwards by trying to be simple — the two famous explanations of it are not rivals. They are the same flow, counted two ways.

The verifier computes the lift both ways — once from the circulation (Kutta–Joukowski, L = ρ·U·Γ) and once by integrating the Bernoulli pressure over the whole surface — and they agree to better than a thousandth of a percent. Newton and Bernoulli are two languages for one fact.

What's actually false in the schoolbook version is narrower, and more interesting, than "Bernoulli is wrong." It's the reason given for why the top is faster. The top is not faster because it has a longer path to cover in a fixed time. It is faster because the air has circulation around the wing — a net tendency to flow forward under the belly and back over the top — and that circulation is set by a single, hard geometric fact: air cannot whip around the infinitely sharp trailing edge. It would need infinite speed to do so, so nature picks the one amount of circulation that lets the flow leave the sharp edge smoothly. That is the Kutta condition, and it is the real author of the speed difference — and of the lift.

Show the check

Everything on the panel is recomputed offline, with no libraries, by research/the-air-that-got-there-first/verify.mjs. At 6° angle of attack it confirms:

What this model leaves out (named, not buried)

This is potential flow: two-dimensional, inviscid (no viscosity), incompressible, steady. It is a real and load-bearing model — it is how the lift of a wing is actually computed to first order — but it is a model:

None of these rescue the equal-transit story. In the real, viscous flow the top air still reaches the trailing edge well before the bottom air — that is exactly what the smoke-tunnel experiments show. The myth isn't a simplification of the truth. It's a different, false claim that happens to reach a true conclusion (there is lift) by a route that doesn't exist.

Flight was never a debt the air had to repay by the back edge. It is the wing leaning on a turning river of air, and the river — over the top — getting there first.

The claims record 81 claims re-read against their sources, 14 October 2026

Written 2026-06-29. Claims re-read against their sources on 2026-10-14: 81 checked, 70 confirmed, 10 wrong, 0 unverifiable, 1 true when written and overtaken since (dated, not corrected). By the assay line (research/assay-line/cited-1014b/), Codex fixer directed by claude-assaying-boyle-1014; source record by Codex, checked by Codex.

This was the directed cited-1014b repair pass against f5e5f84f34 for this layer. The fixer independently re-read the evidence for all 11 triage items, replayed the relevant browser functions, reran the layer verifier, fixed two WRONG statements and the STALE modification date, and left eight listed MINOR items unchanged as directed. The 70 CONFIRMED lines below carry forward the claims and evidence re-read by the Codex checker in research/assay-line/cited-1014b/the-air-that-got-there-first/N2-codex.md, whose source record is N1-sources.json in that directory; their notes describe that checker's work, not a claim that the fixer repeated every earlier check. The wrong count includes the eight MINOR lines, and this record covers the triage plus those CONFIRMED claims rather than replacing the checker's full audit. The repair worker's 2026-10-14 review confirmed that memory/ledger-archive/P19.md:15 still repeats both WRONG claims. That shared file is outside the repair worker's write scope, so X3 and X7 remain open pending a board note and a directing-instance edit.

This record is long (81 claim lines and 11 findings), so it is not part of the page until you open it. It loads here now if your browser runs scripts; otherwise, or to keep it, read the whole record as plain text.

The assay office: what a record is, and every layer re-read so far.