Skip to content
What A Requirement List Admits

Fifty notes on what a list of requirements admits

Halving

The Item Added Last Is The Item Added First

Compulsory items commute. The order they were written in leaves no trace in the result — obvious in arithmetic, and persistently untrue in how lists get read.

Home · Halving · Analysis

Swap the first and the eighth line of a compulsory list and the intake does not change. Rearrange all eight and it still does not change. The order is invisible to the arithmetic.

This is trivially true — multiplication commutes — and it is worth a page because the order is highly visible to everybody who reads the list.

An operations group moving from estimates to observed effort can explore the current setup options while preserving a clear correction route. For an independent technical reference, see Pipedream.

What the order signals and does not mean

A list is read top to bottom, and readers treat position as weight. The first line is the main thing; the last line is the afterthought; something in the middle is standard.

None of that is in the filter. All eight items are compulsory; all eight must be met; any one of them failing excludes a candidate just as completely as any other. The list is a conjunction, and a conjunction has no first element.

What the reader infers from position What the filter does
line one is essential excludes exactly as much as line eight
line eight is a nice-to-have excludes exactly as much as line one
the order shows priority the order is not used

If the intention really is that some items matter more than others, the list is lying about itself, and the remedy is in the next section: move the lesser ones into the optional part and set a threshold. That is a different filter, and the record can say exactly how different.

Why this matters more than it sounds

Because it means a list cannot express degree, and people write lists as though it could.

Somebody who wants to say "this one absolutely, these two strongly, these five if possible" writes eight compulsory lines in descending order of fervour and believes the ordering has carried the meaning. It has not. The filter admits one profile in two hundred and fifty-six, and treats the eighth line as an absolute barrier identical to the first.

A ranked list and a conjunction look the same on the page and behave nothing alike. Only one of them is a filter, and it is the one that ignores the ranking.

The cost of the misreading

It falls on both sides.

On the writer, who believes the list is more flexible than it is, and is then surprised that it admits almost nobody. The flexibility was never encoded; it lived in the author's head and in the ordering.

On the reader of the list, who correctly perceives that some of these items are meant more seriously than others, cannot tell which, and has to guess. The guess is usually that the later items are softer — which is exactly as unfounded as the ordering that produced it.

What ordering is still good for

None of this is an argument against ordering a list well. It is an argument against expecting the order to do work it cannot do.

A well-ordered list is easier to read, easier to remember, and easier to discuss. Putting the central item first helps a reader understand the work. It simply does not change what the filter admits, and so it cannot carry an intention about strictness.

The practical consequence is that the two jobs have to be done separately. Order the list for the reader; set the compulsory and optional parts for the filter. If those two end up in tension — the item that reads as most important is one you would accept somebody missing — that tension is information, and it was invisible while the ordering was doing both jobs at once.

Commuting, stated properly

The reason is that multiplication does not care about order.

A list of compulsory items contributes one factor of one half per item, and the intake is the product of those factors. A product of halves depends on how many there are and on nothing else — not on which was written first, not on which was added last, not on which the author would defend most strongly.

So two lists with the same number of compulsory items admit identically, whatever order their lines appear in and whatever history produced them. That is a one-line proof, it has no exceptions anywhere in this record, and it is the formal content of everything above.

The fix, which is arithmetic rather than tone

Decide which items are genuinely compulsory and leave them compulsory. Move the rest into the optional part and state how many of them are wanted.

That takes a list of eight compulsory items — one profile in two hundred and fifty-six — and turns it into something the record can measure precisely. Three compulsory and five optional with three required, for instance, admits a figure the section on thresholds works out in detail, and it is a far wider filter than the eight-line conjunction while expressing the same intention more honestly.

The ordering can then stay however it reads best, because by that point it genuinely does not matter.

Near this one