The rung was not the instrument
Worth reading first: The sequence has a memory · The Fibonacci ladder · Two numbers out of the points.
The previous phase closed with four leavings and one of them was a ceiling:
The reading needs three multiples of the smaller parastichy number inside the lag window and needs the window short enough that the larger number is not itself a candidate spacing. At 5/8 and 8/13 that is satisfiable; at 13/21 there is no window that satisfies both, so the instrument as written has a ceiling one rung above where it works. That is arithmetic rather than statistics and no amount of stem fixes it.
Every clause of the first sentence is right. Everything after it is wrong, and the arithmetic that was supposed to prove the ceiling disproves it in two lines.
The band is never empty
Write the two requirements as inequalities. Three teeth of the main comb inside the window: L ≥ 3m. The larger number not itself a candidate: L < 3n. So the window has to satisfy 3m ≤ L < 3n, and since m < n at every rung there is always room. At 8/13 the band is [24, 39) and thirty sits in it, which is why the readout worked. At 13/21 the band is [39, 63) and thirty does not, which is a statement about the default rather than about the rung.
Widen the window to 45 and the requirement is met. That is not a repair to the instrument; it is the instrument being used at the setting its own arithmetic prescribes.
The mistake is a small one and it is the kind that gets written into a plan file at the end of a phase: the two constraints were both correctly identified, neither was written down as an inequality, and the conclusion that they are incompatible was reached by reasoning about one example. It survived a phase because a leaving is not gated.
What was actually stopping it
Widening the window is necessary and it is not sufficient. Two things about the stem had to change with it, and both are more interesting than the arithmetic.
The seed has to be a piece of lattice. Every fixed-rise run on this site starts from eight nodes of ideal lattice at a stated divergence, which at a rise of 0.005 spans four hundredths of a circumference — a stretch of pattern the rule can continue. At a rise of 0.0019 the same eight nodes span fifteen thousandths, which is a cluster: eight points nearly on top of each other with no lattice structure in them at all. The rule has nothing to continue, the run wanders, and the recorded divergence scatter comes out at 115° — no pattern anywhere in it.
Forty seed nodes at that rise span the same height eight do at 0.005, and the run settles to a scatter of half a degree.
And the azimuth grid has to be finer than the pattern. With the seed fixed, the readout still failed on every stem at every disturbance from 0.08 to 0.18. The rule samples 384 azimuths when it takes its minimum — a step of 0.94° — and at this rung the pattern needs finer resolution than that. What happens is worth describing precisely, because it is not a rounding error: the minimum lands on the same grid point run after run, every divergence comes out at exactly the same value, and what is left to autocorrelate is a deterministic repeat. The readout refuses it as a cycle rather than a sample, which is a refusal the previous phase built for exactly this failure and did not connect to this rung.
So the claim goes
The instrument has no ceiling at 13/21. It reads the rung on every stem at every disturbance tried, with the pair confirmed by a counter that is shown coordinates and no angles.
And the reason the previous phase could not read it was neither arithmetic nor statistics. It was two settings — a seed length and a sample count — that had been constants since the foundation phase and had never been asked whether they were binding.
That is the third time this site has recorded a defect of that shape. reach
and maxWindow were one number in the rising model until a sweep of a
non-binding parameter reported the same answer at every setting and was read as
robustness. A recency cut-off in the interaction-range work turned out to
manufacture a lattice the model did not otherwise have. And now a sample grid
sets which rungs an instrument can reach.
The common form: a parameter of the program, mistaken for a property of the model. Each was found by changing the parameter, and each had passed every gate the fleet has, because a gate checks that a computation is correct and none of these computations was incorrect.
The failure is bimodal, which is how it hid
One detail of the measurement is worth pulling out, because it explains why the problem looked like a ceiling rather than like a setting.
A run at the fine rung does not degrade gradually as the seed is shortened or the grid coarsened. It either settles onto a lattice — scatter half a degree, pair read cleanly — or it never finds one at all, and comes back with a scatter of over a hundred degrees. There is nothing in between. At twenty-four seed nodes, four runs of five settle and one does not, and the mean scatter across the five is 23°, which is a number describing no run that happened.
So a sweep that averages over seeds sees a quantity that moves smoothly from 0.5° to 115° as the setting changes, and reads it as a pattern degrading. What is actually happening is a fraction of runs falling off a cliff. The two look identical in any summary and are completely different failures: one says the instrument is reaching its limit, the other says some runs are broken and the rest are fine.
That is worth a general note, because this site averages over seeds everywhere. A mean over an ensemble whose members are bimodal is a number describing none of them. Where a run can fail outright, the thing to report is the fraction that succeeded and the distribution of what the successes gave — which is what the figures in this essay do, one mark per stem, and it is why the cliff is visible in them.
What a leaving is worth
Two of this phase’s four leavings from the previous one turned out to be wrong in the same way: a claim written into a plan file at the end of a phase, on the basis of reasoning rather than of measurement, and carried forward as though it had been established. The other was the control that this phase withdrew.
That is not an argument against writing leavings down. A leaving is how a phase hands its unfinished business to the next one, and unfinished business that is not written down is unfinished business that is forgotten. It is an argument for marking which kind each one is:
A leaving that reports a measurement — the dip’s coefficient runs 1,400 to 3,300 and three denominators do not support a q-dependence — is a fact with a number attached and it held up.
A leaving that reports a conclusion — there is no window that satisfies both, and no amount of stem fixes it — is an argument, and an argument that has not been run against the machinery is a hypothesis wearing a result’s clothes.
Both kinds belong in a plan. Only one of them should be quoted in the next phase’s essays without being checked first, and this phase checked two of them and found both wrong.
What it cost, and why the default did not change
Tripling the sample count triples the cost of every noisy run, and this site grows a great many of them. So the finer grid is used where it buys a rung and the default stays at 384, which is a decision that needs the evidence that it is safe.
The evidence is in the next essay: at the two rises the site has already argued from, the readings are identical at both grids, five runs of five. Nothing already written depends on the sample count. What does change at the finer grid is the deliberately marginal rise where the two instruments were reported as disagreeing — and a stem with no answer answering differently on a different grid is the object behaving as it was said to.
Why nobody had looked
The rung was never attempted, and the reason is worth recording because it is not laziness.
Reading at 13/21 costs more than reading at 8/13 in three ways at once. The stem has to be longer, because a comb at spacing 13 needs its teeth out to lag 39 and the sampling band falls as one over the square root of the sequence length, so the same clearance needs more angles. The seed has to be longer, which means more of the run is transient rather than measurement. And the sample grid has to be three times finer, which triples the cost of every node.
Multiplied together that is roughly an order of magnitude in computation per stem, against a rung that no essay needed. So the previous phase asked whether the instrument could reach it, reasoned about the lag window, concluded it could not, and moved on — which is a perfectly ordinary thing to do with a question that would cost a day to answer and does not block anything.
What made it worth answering now is that the same three settings turned out to be the whole content of the answer. A ceiling that is really three constants is a different object from a ceiling that is arithmetic: the first says the instrument is fine and the defaults are stale, and the second says a whole class of plants is unreadable. A survey designer told the second would have excluded every specimen at a fine rung, which is most of the interesting ones — the fine rungs are where sunflower heads and pine cones live.
What the reading needs, stated as a rule
The instrument now has three settings that depend on the rung rather than on the site’s history, and each has an arithmetic reason:
The lag window must satisfy 3m ≤ L < 3n. In practice: read at a short window first, take the spacing it returns as an estimate of m, and re-read at 3m + 6.
The seed must span a fixed height rather than a fixed number of nodes — about 0.076 of a circumference, which is 8 nodes at a rise of 0.01 and 40 at 0.0019. A seed shorter than that is a cluster and the run never finds a lattice.
And the azimuth grid must resolve the pattern, which at the fine end means about 1,150 samples rather than 384. The requirement scales with how finely the rule has to discriminate between competing minima, which tightens as the rise falls.
The first is a consequence of the readout’s own construction. The second and third are consequences of the model. All three were constants, and none of them should have been.
What links here
Computed from the collection, not written here: the essays that point at this one.
Reads more easily once this is understood
Essays that name this one as worth reading first.
Shares its objects with
Essays that name at least two of the same things, and that neither author linked.
- A periodicity is not a lattice — both name artefact, autocorrelation, counting blind, divergence angle, ensemble, identifiability, lattice offset, measurement, parastichy pair
- Two windows on one stem — both name autocorrelation, divergence angle, ensemble, honest limits, identifiability, ladder, measurement, parastichy pair, rung
- A refusal with a reason — both name autocorrelation, divergence angle, ensemble, honest limits, identifiability, measurement, parastichy pair, rung
- A window inside a rung — both name autocorrelation, divergence angle, honest limits, identifiability, ladder, measurement, parastichy pair, rung
- The angles name the branch — both name autocorrelation, counting blind, divergence angle, ladder, lattice offset, measurement, parastichy pair, rung
- What the pair costs — both name autocorrelation, counting blind, divergence angle, ensemble, honest limits, identifiability, measurement, parastichy pair
Named objects
A flat tag is an object no other essay names yet.
ArtefactAutocorrelationCounting blindDiscretisationDivergence angleEnsembleHonest limitsIdentifiabilityLadderLattice offsetMeasurementParastichy pairRiseRungTransient