The twenty-first row
Worth reading first: The damage has a period.
The exchange is what a wrecked stem does to two adjacent chains of organs: it displaces one forwards and the other backwards by the same amount. Its size has an account — one step of the control’s divergence, less about a fifth of the surviving hop’s own angle — and the account is right in sign on every row it was fitted over.
Recomputing the common level moves exactly one row into the exchange and none out of it. The row breaks the account.
The row
g005 cut at offset 6, on the golden branch at a rise of 0.005, keeping a lag of four.
Four residue classes, whose means are 87.2, −138.9, −138.4 and −5.5 degrees.
The median of four values is the second when sorted, which lands on −5.5 — a class sitting on its own, with the nearest other class more than eighty degrees away. Against that level three of the four classes are exceptions and the row has no balanced pair.
The densest cluster is the two classes at about −138.6. Against that level, two classes are exceptions, they are adjacent, and they are −134.2 and +133.1 degrees — equal and opposite to within eight parts in a thousand.
So it is an exchange
By the exchange’s own definition, which is exactly two exceptional chains, displaced in opposite directions by the same amount to within a twentieth. Under the recomputed level this row satisfies it.
The two chains are adjacent — chains 1 and 2 out of four — which is the shape a chain slipped by one place would produce and is what every other row in the table shows.
The chain displaced forwards is one residue below the chain displaced backwards, which is the exchange’s orientation claim, and it now holds on twenty-one rows rather than twenty.
What the account predicts there
The hop is the angle from an organ to the one four places above it on the control, which at a settled divergence of 137.84 degrees is four times that, folded: −168.63 degrees.
That is very nearly a half turn, and it is negative. The account is one divergence step less a fifth of the hop, with the hop signed — so on a negative hop the correction adds.
Predicted size: 137.84 − 0.2 × (−168.63) = 171.57 degrees.
What is measured
133.65 degrees, which is 4.19 degrees below one uncorrected divergence step rather than 33.7 above it.
As a share of the divergence, the corrected account is wrong by 27.5 per cent. Its worst row before this was 4.0 per cent. One uncorrected divergence step — the account with no correction at all — is wrong by 3.0 per cent.
So on this row the rule is wrong by seven times its own worst error, and doing nothing is nine times better than doing the correction.
And the sign is wrong
That is the part that matters. The account’s strongest claim is not its coefficient; it is a claim about direction: the residual runs against the hop, on every row, with the hop’s own angle falling on both sides of zero across the census.
Twenty rows, twenty times the residual and the hop on opposite sides of nothing. That was quoted as one chance in a million under a coin and it was the reason to believe the rule was about the hop at all.
Here the hop is −168.63 and the residual is −4.19. Both negative. It is the first row in the census where they run the same way.
Why the hop is so large
Because four times 137.84 degrees is 551.4, which folds to −168.6. A lag of four on a golden lattice puts an organ nearly opposite the one four places below it.
The census’s other hops run from 12.78 to 39.14 degrees in magnitude, because their lags are 5, 7, 8 and 11 and those multiply the divergence to something near a whole number of turns. Four does not.
So this row is not a slightly larger version of the others. It is at a hop four times the largest and thirteen times the smallest, in a regime the rule has never been asked about.
Which is what the rule’s own file said
The correction is quantified over twenty rows and its honest denominator is five, because the hop is nearly constant inside a lag and the census keeps five lags. A rule fitted over five clusters spanning 12.78 to 39.14 degrees is a rule about that range.
The round that added the fifth cluster said so explicitly and treated a point beyond the near end of the range as the interesting test. This is a point far beyond the far end, and the rule does not survive it.
That is a refutation in the useful direction. The account was not wrong about the rows it described; it was wrong about how far it reaches, and the file that stated its denominator was right to state it.
What it does to the fit
The least-squares coefficient over the whole table moves from 0.203 to 0.049, which is not a third digit changing. A single row at a hop four times the largest dominates a least-squares fit by construction, so the number is not meaningful either before or after.
The right response is not to refit. It is to say that the fit was over five clusters spanning a factor of three, that a sixth cluster at a factor of thirteen breaks it, and that the coefficient is a description of the first five.
Refitting over all six would produce a rule that describes none of them.
What survives
The two claims that are not about size. The orientation — forwards chain one residue below backwards chain — holds on twenty-one of twenty-one. The location — the backward-displaced chain is the hole’s own — was thirteen of twenty and is now thirteen of twenty-one, because the new row puts it elsewhere.
Those are the claims about which chains and which way round, and they are shift-invariant: they are comparisons between classes, so recomputing the level cannot move them.
What breaks is the claim about how much, which is the only one measured against a level.
Whether the row should be in the table at all
It satisfies the exchange’s stated criterion, so yes. But it is worth stating what makes it unlike the other twenty.
Its level is a cluster of two out of four, which is not a majority and cannot be — a lag of four with a balanced pair leaves two chains at the level. Every other row in the exchange has a majority.
So the row is admitted by a definition and is at the edge of what the reading can support. That is exactly where a rule should be tested, and it is also a reason to report it separately rather than dissolved into a table of twenty-one.
The size is not small
133.65 degrees, against a control divergence of 137.84. The other twenty rows’ sizes run from about 97 to 145 degrees, so this one is comfortably inside the range.
That rules out the reading in which the row is a marginal detection — two chains barely displaced, admitted by a loose tolerance. Both chains are thrown more than 130 degrees and they are equal and opposite to eight parts in a thousand.
What is unusual is the hop, not the exchange. The two chains do exactly what the account says two chains do; what they do not do is fall short of a divergence step by a fifth of a hop that is nearly a half turn.
A reading the account could take
That a hop near a half turn is not a hop in the sense the rule means. The correction is motivated by the two exchanged chains being a hop apart as well as a step apart, so the relaxation between them carries a share of the hop’s angle.
At a hop of −168.6 degrees the two chains are nearly opposite, and a fifth of the angle between two nearly opposite things is not obviously the same quantity as a fifth of a twenty-degree gap.
That is a plausible restriction and it is not testable here. It would need several rows at large hops, and the ladder offers one — this one.
What is not claimed
That the exchange’s account is wrong about the rows it was fitted on. It is right in sign on all twenty of them, right in order of magnitude on the fifth cluster it predicted, and better than every rival tried on the same rows.
What is claimed is that its reach was never established and is now bounded from one side: it holds over hops from 12.78 to 39.14 degrees and fails at 168.63.
Between 39 and 168 there is nothing, because the ladder’s lags do not produce a hop there. That gap is a fact about the object rather than about the work, and it means the boundary cannot be located.
What a twenty-first row is worth
More than the twentieth. The nineteenth and twentieth rows were the fifth hop cluster, which extended the fitted range downwards by a third and confirmed the rule.
This one extends it upwards by a factor of four and refutes it. Both are single additions to a table of seventeen, and the asymmetry in what they bought is entirely about where in the range they landed.
That is the general lesson and it was already written down: a point between two existing ones is mostly a restatement, and a point beyond the end of a fitted range is where a rule and its neighbours come apart.
How the row was found
Not by looking for it. The recomputation was run to test an objection to a different rule — whether the level a rearrangement’s chains are measured against is itself an exception — and it reads all thirty-six rows of the extended census the same way.
One of the thirty-six turned out to have a balanced pair under the new level. That is the whole of how it arrived: no search, no criterion tuned, no row singled out.
Which matters for how the result is read. A row found by looking for rows that break a rule is a row selected for breaking it; a row that arrives as a side effect of a different check is not. The second is worth more and it is what happened here.
The lattice it comes from
g005 is the golden branch at a rise of 0.005, which is below the ladder’s finest rung and
one of the census’s own ten lattices. Its cuts keep lags of 4 and 8, and this is its only
row at a lag of four.
The same lattice contributes four other rows to the census: one at offset 4 keeping 8, which is in the exchange, and three at offsets 7, 8 and 9. Two of those three are the rows with three tied clusters of two — the weakest profiles in the census.
So this lattice is where the awkward rows live, and the one that changes side comes from it. That is a caution rather than a disqualification: the row satisfies every stated criterion, and its lattice’s other rows failing different criteria is not evidence about it.
Why a lag of four is where this had to happen
Because the hop is the lag times the divergence, folded. On a golden lattice at 137.5 degrees, the lags that give a small hop are the ones near a multiple of a full turn: 5 gives 47.5, 8 gives 20.1, 13 gives 7.6, 21 gives 2.9.
Four gives 190, which folds to −170. Three gives 52.5. Two gives 275, folding to −85.
So the small-hop lags on a golden lattice are the Fibonacci numbers, which is not a coincidence — it is the same fact that makes them the contact families. A lag off that sequence has a large hop by construction.
The census’s other lags are 5, 7, 8 and 11, all of them on one ladder or the other. Four is the only non-member, and it is the only large hop.
Which suggests the boundary is not about size
If the rule fails at 168 degrees because 168 is large, the boundary is somewhere between 39 and 168 and cannot be located. If it fails because the surviving lag is off the ladder, the boundary is categorical and there is one case of it.
Nothing here separates those. The one row with a large hop is also the one row with an off-ladder lag, and there is no lattice on this ladder that would produce one without the other.
That is worth writing down as an open question with the reason it cannot be closed, rather than as a caveat. The two readings make different predictions about a hypothetical row and no such row is available.
What a rule fitted to five points is worth
Worth saying in general, because this thread keeps producing them. A correction with one free coefficient fitted over five clusters is a line through five numbers, and five numbers can be fitted by a great many things. What such a fit can establish is a sign and an order of magnitude; what it cannot establish is a functional form, and the exchange’s own file says so where it scores the rule.
The five clusters span 12.78 to 39.14 degrees, a factor of three. Over a factor of three a proportional shortfall and a constant one are distinguishable in principle and not comfortably — which is why the round that added the fifth cluster treated a point a third below the previous minimum as worth having: it discriminated mildly in favour of the proportional reading, and mildly was the honest word for it.
A point at four times the top of the range is a different kind of test, and it is the kind a five-point fit is least likely to survive. Nothing about that is a criticism of the fit. It is the ordinary arithmetic of extrapolation, and the useful thing this round adds is the measurement rather than the surprise.
What would rescue the correction is a mechanism that predicts where it stops. A fifth of the hop is motivated by the two exchanged chains being a hop apart as well as a step apart, and nothing in that motivation says the relaxation stays proportional when the hop approaches a half turn — where the two chains are nearly opposite and the word between stops meaning much. That is a plausible restriction, it is not testable on this ladder, and it is written down here so that a ladder which does offer the test can be pointed at it.
Where the twenty-first row leaves the thread
With a correction that describes twenty rows well, fails on the twenty-first, and has a stated range. That is a better position than a rule with no known boundary, and it is a worse one than the round before this reported.
The three claims the exchange makes are now in three different states. The orientation holds on twenty-one of twenty-one and is the strongest thing in the file. The location at the hole is thirteen of twenty-one, reported as a tendency and unchanged. The size is accounted for over a factor of three in the hop and refuted at four times the top of it.
Reporting them separately is the point. A file that summarised itself as the exchange is understood would be carrying one refuted claim inside two that hold.
What is claimed
That recomputing the common level moves g005 at offset 6 into the exchange table, giving
twenty-one rows rather than twenty, and moves none out.
That the row’s surviving lag is four, its hop is −168.63 degrees — four times the largest the correction was fitted over — and its measured size is 133.65 against a predicted 171.57, an error of 27.5 per cent of the divergence where the rule’s worst row was 4.0.
And that it is the first row in the census whose residual runs with its hop rather than against it, which is the claim the correction rested on and the one it had never lost.
What links here
Computed from the collection, not written here: the essays that point at this one.
Shares its objects with
Essays that name at least two of the same things, and that neither author linked.
- The lag decides whether it closes — both name claim testing, exceptional chain, exchange, falsifiability, honest limits, out of sample
- A cycle sums to a whole turn — both name claim testing, exceptional chain, exchange, falsifiability, honest limits
- A family that is a multiple — both name claim testing, honest limits, hop length, negative result, out of sample
- How wide a band should be — both name claim testing, falsifiability, fitting, negative result, residual
- The rows nobody added up — both name claim testing, exceptional chain, exchange, honest limits, negative result
- A step of one organ — both name claim testing, honest limits, negative result, residual
Named objects
A flat tag is an object no other essay names yet.
Claim testingDivergenceExceptional chainExchangeFalsifiabilityFittingHonest limitsHop lengthModel scopeNegative resultOut of sampleResidual