The Bill, the Floor,
and the Leak

Seven trade-offs, four signs

Each card names the quantity that is pinned, and the sign the pin carries. Nothing here is new: every figure is its own layer's, computed by its own verifier. What is new is the sorting.

Turn the knob, watch the pin refuse

One bench, seven faces. The upper panel is that layer's own picture. The lower panel is the unifying one: it sweeps the knob across its whole range and plots the pinned quantity at every setting. For six faces that trace is a dead flat line. On the seventh it is not, and that is the point of the seventh.

What the seven say only together

Each layer already tells you its own trade-off is unavoidable. What no one of them can tell you, because it needs the others in the room, is that "unavoidable trade-off" is four different statements, and which one you are facing decides what there is left to do.

The sharpest evidence that the sign is structural rather than disciplinary comes from a single member. The same theorem, in the same page, carries two different signs depending on the thing being controlled. On a car, Bode's area is an equality pinned at 0. Swap the plant for an inverted rod, which falls over on its own, and the pin becomes a floor at πa = 12.05 that no gain reaches. Nothing about control theory changed. The plant grew an unstable pole, and the equality became a tax.

The numbers, recomputed in your browser

This portal states no new fact. Every figure above belongs to a layer that already published and checked it. These cells recompute the load-bearing ones here, live, from the constants and the physics rather than from a stored answer. The offline gate is research/the-bill-the-floor-and-the-leak/verify.mjs, which runs 153 checks: it re-derives all of them from scratch, sweeps each of the bench's own sliders end to end to confirm every trace really is flat (or, for the foil, really is not), and re-runs all seven members' own verifiers (76/76 · 9/9 · all passed · 58/58 · 39/39 · all passed · 63/63).

Where the join is a reframing, not a theorem

• The join is a reframing, not a theorem. These seven pins are not one result with seven corollaries, and they do not reduce to each other. They are pinned for four unrelated reasons: an analyticity fact about a transfer function on the right half plane, the first law of thermodynamics, the second law, the algebra of a quadratic root, and the absence of a finite variance. Calling them a family resemblance is the honest description. What the portal adds is the sorting and the practical consequence, not a shared mechanism.
• The "what is left to do" column is our reading, not a proved claim. The signs themselves are checkable facts, and this page checks them: an equality either holds or it does not, a floor either admits slack or it does not. But the gloss in the last column, that an equality means placement and a floor means waste, is an asserted engineering reading. A hostile reader could sort the same seven a different way, and would not be caught in an error by any number on this page.
• The nearest neighbour, and how this differs. Find What Doesn't Change already walks invariance, but it uses an invariant as a certificate of unreachability: curvature is or is not zero, a parity is or is not right, and the verdict is a binary can't. Here the invariant is a budget with units and a magnitude that you continuously allocate. That portal answers "can I get from here to there," and the answer is no, forever. This one answers "given that I cannot, what am I still free to choose," which is a different question with a different shape of answer. Its members are geometry and topology; these are control, heat, information, and games.
• The other conservation portal. The Chain Obeys Snell's Law also turns on a conserved quantity, but conserved along one solution curve, and used to prove three problems are the same equation. Its constant is the Noether charge of a symmetry you can point at. Bode's zero and Landauer's floor are not Noether charges of anything a reader can picture, and we do not claim they are.
• A doubled member, declared. The Weight That Sways So the Tower Won't is already a member of The Note Lives in the Shape, two days older than this page. There it is an eigenvalue problem you re-cut: change the shape and you move the notes. Here it is a height you cannot lower, only split. Same layer, two genuinely different jobs, and worth knowing you have seen it before.
• Rung 4 is a boundary case, and the title stops being true at it. "The bill has to land somewhere" is false of the Cauchy face: nothing is redistributed there, because there is no elsewhere. It earns its place precisely by being the equality that cannot be traded, which is the thing people assume never happens. Note also that its failure is a missing variance; the nearby The Average Nobody Lives sorts a different break, a missing mean. They are not the same wall.
• The foil is a mixture, and that is why it is the foil. Active noise cancelling's ceiling is two ceilings. The latency half is purchasable and this bench lets you buy it: halve the budget and the ceiling doubles. The geometry half, a zone of quiet about a tenth of a wavelength across, depends only on the speed of sound and the size of the region, and no chip moves it. Its own page calls the corner "design dependent, not a wall", which is the sentence that earns it a place here.
• What the bench simplifies. The Bode area is a numerical quadrature in log frequency over eighteen decades, not a symbolic result, so it reads as a small number near zero rather than an exact 0; the offline verifier drives it to under 2e-6 with far more panels and confirms the theorem's preconditions separately. The Conway face computes the exact weight change of real jump geometries on the lattice, which is the monovariant argument, not a legal game; the member's own page plays the actual game. The Cauchy face shows an exact analytic pin alongside a live Monte Carlo estimate, and the estimate carries visible sampling noise. The Landauer face runs the member's two-state master equation at reduced step count for interactivity.
• Two more signs exist and are not walked here. A conserved quantity can also be pinned only in distribution, or pinned only on average, and neither has a member in this corpus yet. A harder foil than the one used, where the quantity everyone names as pinned was never the pinned quantity at all, is standing in Faster Than the Wind That Pushes It, whose cart ran dead downwind at 2.8 times wind speed.