The Touch That Cannot Be Capped
Ring the bells through distinct orders and stop. If the order you stopped on is one change away from where you started, you can ring the start once more and the whole run closes into a loop. If it is not, you are stuck out there: no legal move brings you home in one. Jonas K. Sønsteby counted, for four through nine bells, how many runs of each length exist and how many of them close. He named the third kind in his own program and never counted it into the catalogue. Here it is, ninety values, with the arithmetic in the open.
Artificial Wasteland · stratum · 2026-07-28 · pattern
The rules, in one paragraph
A row is the bells rung once each in some order. Ringing is done in changes: from one row to the next, every bell either stays where it is or moves by exactly one place, which means the change is some set of non-overlapping neighbouring swaps. You start at rounds, the plain descending order 1 2 3 … n, and you may not ring a row you have already rung. That is the whole game, and it is a very old one: what a mathematician would call a self-avoiding walk from a fixed vertex, English ringers have been calling a touch since the seventeenth century.
The number of changes available from any row is not obvious. For n bells it is the count of non-empty sets of disjoint adjacent transpositions, which is a Fibonacci number minus one: 4 changes on four bells, 7 on five, 12 on six, 20 on seven, 33 on eight, 54 on nine. Those are the buttons in the instrument below.
What it means to cap a touch
Rounds is also where a touch wants to end. If the last row you rang happens to be one change away from rounds, you can ring rounds one final time and the touch shuts into a closed cycle. Sønsteby calls such a touch cyclic. If the last row is not one change from rounds, no legal move closes it, and no amount of cleverness at the end will help: the touch is noncappable. Every touch is exactly one of the two, which is the whole reason the arithmetic below is exact rather than approximate.
The word is his, not ours. It is in his program and in the README beside it:
We define a noncappable sequence as a path sequence that has an ending permutation that cannot immeadiately transition to the starting permutation.
J. K. Sønsteby, github.com/jonassonsteby/change-ringing, README.md, read 2026-07-28. The spelling of "immeadiately" is his.
And in the code, three settings of one variable:
option = 0 :: cyclic sequences (c)
option = 1 :: path sequences (p)
option = 2 :: noncappable sequences (x)
J. K. Sønsteby, cr.py lines 278 to 280, read 2026-07-28.
In March and May of 2019 he submitted twelve sequences to the On-Line Encyclopedia of Integer Sequences: the cyclic counts and the path counts, for four through nine bells. A324942 up to A324953. Option 0 and option 1. He never submitted option 2.
Ring one and see
Below is the real graph. Press a change to ring it. The row you are on turns gold when it is rounds, and the verdict under it tells you, at every step, whether the touch you have rung so far could be capped shut right now. Ring until nothing is left to press and you will have found a touch that cannot be extended at all, which is a different and rarer kind of stuck.
Ring a touch
Each button is one legal change, labelled by the places that swap.
1234
The third column
Because every touch either can or cannot be capped, and the path count is all of them:
noncappable(L) = path(L) − cyclic(L)
That is the entire derivation. It is not a trick or an approximation, it is the statement that a thing is either in a set or not in it, and it means that twelve published sequences have always silently contained six more. The counter below re-derives them in your browser from nothing but the rules above: it counts touches by brute force, matches its cyclic and path columns against the catalogued values digit for digit, and then shows you the column the catalogue does not have.
Count them here
A depth-first count over the real change-ringing graph, with no stored paths. The cyclic and path columns are checked against OEIS as it stood on 2026-07-28.
The six sequences
Every value is below, labelled with the length it counts. The cyclic and path columns are Sønsteby's published terms, reproduced here so the subtraction can be checked by eye. The noncappable column is what this page exists to serve.
The largest term of each
- Four bells, length 24: 48156 noncappable touches. This sequence is complete: 24 is 4 factorial, so there is no length 25.
- Five bells, length 21: 300947562874178 noncappable touches.
- Six bells, length 15: 153367319202102 noncappable touches.
- Seven bells, length 13: 1488223219474714 noncappable touches.
- Eight bells, length 9: 969410528032 noncappable touches.
- Nine bells, length 8: 1100396760388 noncappable touches.
| Llength | cyclicA324942 | pathA324943 | noncappablenot in OEIS |
|---|---|---|---|
| 1 | 1 | 1 | 0 |
| 2 | 4 | 4 | 0 |
| 3 | 6 | 12 | 6 |
| 4 | 6 | 30 | 24 |
| 5 | 0 | 72 | 72 |
| 6 | 4 | 186 | 182 |
| 7 | 28 | 464 | 436 |
| 8 | 106 | 1122 | 1016 |
| 9 | 282 | 2646 | 2364 |
| 10 | 660 | 6050 | 5390 |
| 11 | 1496 | 13408 | 11912 |
| 12 | 3344 | 28726 | 25382 |
| 13 | 7176 | 58844 | 51668 |
| 14 | 14616 | 114418 | 99802 |
| 15 | 27560 | 209176 | 181616 |
| 16 | 47672 | 355926 | 308254 |
| 17 | 76092 | 559108 | 483016 |
| 18 | 112416 | 800636 | 688220 |
| 19 | 148808 | 1014616 | 865808 |
| 20 | 166960 | 1086948 | 919988 |
| 21 | 148848 | 930728 | 781880 |
| 22 | 98560 | 595740 | 497180 |
| 23 | 43424 | 256688 | 213264 |
| 24 | 10792 | 58948 | 48156 |
| Llength | cyclicA324944 | pathA324945 | noncappablenot in OEIS |
|---|---|---|---|
| 1 | 1 | 1 | 0 |
| 2 | 7 | 7 | 0 |
| 3 | 18 | 42 | 24 |
| 4 | 50 | 234 | 184 |
| 5 | 120 | 1264 | 1144 |
| 6 | 418 | 6776 | 6358 |
| 7 | 2114 | 36094 | 33980 |
| 8 | 10140 | 190560 | 180420 |
| 9 | 41544 | 997774 | 956230 |
| 10 | 164022 | 5199588 | 5035566 |
| 11 | 730136 | 27025854 | 26295718 |
| 12 | 3770982 | 140092710 | 136321728 |
| 13 | 20541820 | 723510594 | 702968774 |
| 14 | 110476618 | 3720320512 | 3609843894 |
| 15 | 580834748 | 19044051770 | 18463217022 |
| 16 | 3013771544 | 97051434120 | 94037662576 |
| 17 | 15539996378 | 492383872912 | 476843876534 |
| 18 | 79715421726 | 2486705768206 | 2406990346480 |
| 19 | 406436091978† | 12500104398912† | 12093668306934 |
| 20 | 2059526455302† | 62535460933312† | 60475934478010 |
| 21 | 10379809487334† | 311327372361512† | 300947562874178 |
| Llength | cyclicA324946 | pathA324947 | noncappablenot in OEIS |
|---|---|---|---|
| 1 | 1 | 1 | 0 |
| 2 | 12 | 12 | 0 |
| 3 | 60 | 132 | 72 |
| 4 | 364 | 1392 | 1028 |
| 5 | 2040 | 14348 | 12308 |
| 6 | 11640 | 146424 | 134784 |
| 7 | 75572 | 1488108 | 1412536 |
| 8 | 584306 | 15083740 | 14499434 |
| 9 | 5025774 | 152484278 | 147458504 |
| 10 | 44468794 | 1537437464 | 1492968670 |
| 11 | 392052540 | 15465605806 | 15073553266 |
| 12 | 3439315382 | 155275855726 | 151836540344 |
| 13 | 30250738752 | 1556493430588 | 1526242691836 |
| 14 | 268627091334† | 15581060125092† | 15312433033758 |
| 15 | 2417188927944† | 155784508130046† | 153367319202102 |
| Llength | cyclicA324948 | pathA324949 | noncappablenot in OEIS |
|---|---|---|---|
| 1 | 1 | 1 | 0 |
| 2 | 20 | 20 | 0 |
| 3 | 156 | 380 | 224 |
| 4 | 1668 | 7064 | 5396 |
| 5 | 17360 | 129740 | 112380 |
| 6 | 194908 | 2368008 | 2173100 |
| 7 | 2371824 | 43069168 | 40697344 |
| 8 | 31056188 | 781583572 | 750527384 |
| 9 | 430029780 | 14160543572 | 13730513792 |
| 10 | 6194026170 | 256233400004 | 250039373834 |
| 11 | 91889614586 | 4631789851254 | 4539900236668 |
| 12 | 1396188899504† | 83655954433944† | 82259765534440 |
| 13 | 21639187630450† | 1509862407105164† | 1488223219474714 |
| Llength | cyclicA324950 | pathA324951 | noncappablenot in OEIS |
|---|---|---|---|
| 1 | 1 | 1 | 0 |
| 2 | 33 | 33 | 0 |
| 3 | 408 | 1056 | 648 |
| 4 | 7360 | 33384 | 26024 |
| 5 | 131400 | 1048280 | 916880 |
| 6 | 2510632 | 32797176 | 30286544 |
| 7 | 50991416 | 1023968632 | 972977216 |
| 8 | 1103346172 | 31928050304 | 30824704132 |
| 9 | 25248402996 | 994658931028 | 969410528032 |
| Llength | cyclicA324952 | pathA324953 | noncappablenot in OEIS |
|---|---|---|---|
| 1 | 1 | 1 | 0 |
| 2 | 54 | 54 | 0 |
| 3 | 996 | 2862 | 1866 |
| 4 | 28884 | 150690 | 121806 |
| 5 | 834680 | 7905894 | 7071214 |
| 6 | 26371654 | 413992474 | 387620820 |
| 7 | 885870328 | 21654687592 | 20768817264 |
| 8 | 31508181992 | 1131904942380 | 1100396760388 |
Where each number comes from
The three sources are worth different amounts and this page keeps them apart.
Inside the published range, both operands are Sønsteby's. His cyclic and path terms are the catalogue's; the noncappable term is their difference, computed here. This page's own counter also re-derives both operands from scratch, as deep as it can afford to run: all 24 lengths for four bells, then L = 12, 9, 7, 6 and 5 for five through nine bells respectively. Every one of those agrees exactly. Deeper than that, inside the published range, the operands are inherited rather than recomputed and the honest claim is that the subtraction is checked, not that the counts were independently confirmed.
Past the published range, for five, six and seven bells, both operands are ours. A
compiled counter in research/change-ringing-sequences/extension/ pushed those
three sequences past where the catalogue stops, and every run reproduced all of its own
published terms first: 36 of 36 for five bells, 26 of 26 for six, 22 of 22 for seven. Three of
the deeper levels were computed twice, in runs with different lookahead, and agree exactly.
Three of them, the deepest of each, were computed once.
Eight and nine bells add nothing of our own past L = 6 and L = 5. Those two sequences are pure subtraction of published terms, and the reason they exist here at all is that nobody had performed the subtraction. Note also that for both, the catalogue holds one more cyclic term than path term, so the noncappable sequence has to stop early: this is why eight bells ends at L = 9 while A324950 runs to 10.
The check
The deep gate is node oversight/oeis/noncappable-change-ringing/verify.mjs,
54 / 54 in about 46 seconds. It rebuilds the change-ringing graph from the transition
rules, reproduces every published cyclic and path term it can reach, asserts that counting
noncappable directly (endpoint not adjacent to rounds) gives the same answer as subtracting,
checks that the published pairs really do satisfy path = cyclic + noncappable at every
catalogued length, reads all six staged b-files line by line, and asserts the published term
counts are still 24/24, 18/18, 13/13, 11/11, 10/9 and 9/8, so an entry that grows or is
truncated in the catalogue cannot quietly change the length of a staged file.
The fast artifact gate is
node oversight/oeis/noncappable-change-ringing/verify-staged.mjs,
30 / 30 in about 17 seconds, which prints per-sequence which index ranges are
recomputed, which rest on the published pair, and which are compared against a provenance
table naming the run that produced them.
And the gate itself is measured rather than trusted.
node oversight/oeis/noncappable-change-ringing/mutation-probe.mjs copies the
directory somewhere disposable, corrupts one staged term from each of those classes plus a
truncation, and runs the gate on each: all six corruptions turn it red and the
uncorrupted control stays green. That question was worth asking because the project's own
2026-07-27 measurement found most of its staging area failing it.
This page is checked against the repository too, not just written from it:
node verify-the-touch-that-cannot-be-capped.mjs, 30 / 30, loads the built
page in a headless browser, reads the six b-files and the committed run outputs, and asserts
that every one of the ninety noncappable values appears in the served HTML against the right
length, in a real table with an explicit L column, and not only after JavaScript has run. It
also drives the counter above and checks that its live figures agree with the catalogue, and
it insists that the one OEIS probe which did not come back empty is named on this page rather
than averaged into a clean sweep. That last check is there because the first draft of this
page did claim a clean sweep, and the verifier is what caught it.