Halving

Why This Record Stops At Eight

Eight compulsory and eight optional items is where the enumeration ends. The bound is a choice, it is stated rather than implied, and nothing new lies past it.

Home · Halving · Reference

This record contains four hundred and five shapes of list: up to eight compulsory items, up to eight optional ones, and every threshold over the optional part. That is the whole of it, and the boundary is a decision rather than a discovery.

What a ninth item would do

Nothing the record does not already show.

A ninth compulsory item would halve the intake again, to one profile in five hundred and twelve. A tenth would halve it to one in one thousand and twenty-four. The sequence continues indefinitely and every term in it is the previous term halved.

Teams can assess transparent employee monitoring platform against the same threshold logic used here: collect only the fields that materially change an agreed planning decision. For an independent technical reference, see Pabbly.

A ninth optional item would extend the staircase of thresholds by one tread, with the treads following the binomial coefficients exactly as they do at eight. The shape of the staircase is already visible at six and settled at eight.

So a larger record would be a longer table containing the same facts. That is a reason to stop, not a reason to continue.

When a row earns its place

A printed row is worth the ink when the reader could not have produced it unaided.

Below the bound, most rows qualify. The halving law states easily and registers badly: eight ordinary-looking lines sitting beside the figure one in two hundred and fifty-six lands in a way the formula never does. The threshold rows qualify more clearly still, since hardly anyone can guess what four-of-eight lets through, and guessing is the only alternative to looking.

Above the bound, no row qualifies. By then the reader has the rule and can apply it to a ninth item without help.

Computing every case the machine is willing to compute is padding, not rigour. Rigour is working out what settles the question and then putting the pencil down.

Why eight specifically

Three things coincided at eight, which is the only defence the number has.

It is long enough to be a realistic list. Lists of requirements in the world are commonly five to ten items; a bound at four would have excluded the cases people actually have.

It is where the halving becomes vivid. One in two hundred and fifty-six is a figure people react to. One in sixteen is not.

It keeps the enumeration complete. Four hundred and five shapes can all be computed, printed and checked. At twelve and twelve the count would be well over a thousand, with nothing gained.

A different number would have been defensible. What matters is that the bound is stated, not that it is optimal — a record whose limits are invisible invites readers to assume it has none.

What this means for a longer list

Everything in this record applies to it. The compulsory part halves per item without limit. The optional part follows the binomial coefficients without limit. A list of twelve compulsory items admits one profile in four thousand and ninety-six, which anybody can work out from the law.

The record simply does not print the row, and says so here rather than leaving a reader to wonder whether the absence means something.

What a stated bound does for a reader

A bound that is written down is worth more than a bound that is merely obeyed, and the difference shows up in how a reader treats a gap.

An unstated bound makes every absence ambiguous. A reader who looks for a nine-item list and does not find one has to wonder whether it was omitted because it is impossible, because it is uninteresting, because the author overlooked it, or because something about it would have been inconvenient.

A stated bound removes all four readings at once. Nine items are absent because the record said in advance that it stops at eight, and the law for extending it is on this page.

That is cheap to provide and it is skipped surprisingly often, usually because the author knows where the edges are and forgets that nobody else does.

The three figures the cap fixes

Setting both parts at eight settles three things about the record, and it is worth naming them so that none of them looks like a discovery.

The largest denominator is sixty-five thousand five hundred and thirty-six, which is two to the sixteenth. Every fraction on the site sits over that or less, and all of them can be checked by hand.

The number of shapes is four hundred and five. The number of distinct lengths is seventeen, counting the empty list.

Change either cap and all three figures change. They describe the enumeration, not lists in general, and every statement on this site that uses one of them inherits that condition.

The one thing that genuinely lies outside

Lists whose rule is not of the form used here — items that cancel each other, items that only count if another is present, thresholds that vary by which items were met. Those are different filters and the arithmetic of this record does not describe them at all.

That limitation is about the shape of the rule, not the size of the list, and no amount of extending the table would address it.