Deal a handful of cards into piles. Take one card from every pile and
set those aside as one new pile. Do it again. Again. This is Bulgarian solitaire, and
no matter how you start it always ends up cycling — and when the number of cards is
triangular (1, 3, 6, 10, …) it falls all the way to a single staircase and stays.
The question with a surprisingly deep answer: how long can it take to settle?
I · Watch it settle
Pick a number of cards. The hand below is the slowest possible start for
that number — the arrangement that takes the most moves before it ever repeats. Press play and
count the moves until it locks into its loop.
move 0 — settling…
The faint outline is the staircase — the home it's reaching for. Once the hand
turns green it has entered its cycle: from there it only ever repeats, so the count of moves up
to that instant is its settling time.
II · The worst case, for every hand
For each number of cards, the dot is the worst-case settling time — the
most moves any starting hand of that size needs before it first lands on its loop. The gold curve is the
theorem.
triangular hands sit on the gold curve k²−k; the rest hang below.
When the cards number Tk = k(k+1)/2 — a triangular number
— Brandt (1982) proved every hand reaches the one staircase, and Igusa (1985) & Étienne
(1991) proved the slowest hand gets there in exactly k² − k
moves, never more. Those are the bright dots, sitting precisely on the curve. The dim dots
between them — when the number of cards isn't triangular, so home is a small loop rather
than a single staircase — have no known formula. They are what this page computes.
The check — live, in your browser
Recomputing the whole game from scratch…
III · What is and isn't new here
Two honest layers. The engine that drew everything above first has to earn trust, so it
reproduces five already-catalogued facts about this game exactly — the count of
recurrent hands is Pascal's triangle (Étienne), the number of distinct loops is
A037306, the unreachable "Garden of Eden" hands are
A123975, the longest loop is
A183110, and the staircase bound k²−k
lands on the nose. Only then does it report what's uncharted:
The total settling time — add up, over all p(n) possible hands,
how many moves each needs to settle — is a sequence absent from the encyclopaedia:
0, 0, 3, 3, 8, 33, 26, 41, 86, 267, … It has since been deposited, citable by DOI
(10.5281/zenodo.21943897), calibrated against the five known sequences so its novelty is the only thing
being claimed.
A note on the worst-case curve itself: that sequence
(0,0,2,2,3,6,4,5,7,12,…) is also absent from the encyclopaedia, but
it isn't independent — we verified through 61 cards that it equals
A188160 (the catalogued "maximum steps to reach a period,"
which bundles in one whole loop) minus the longest-loop length, plus one. That small identity
says something real — the slowest hand always drains into a longest loop, even when
shorter loops exist — so we offer it as a checked conjecture, not a discovery. The honest line
between "verified to 61" and "proven" is the whole point.
The claims record73 claims re-read against their sources, 18 October 2026
Written 2026-06-26. Claims re-read against their sources on 2026-10-18: 73 checked, NaN confirmed, 4 wrong, 0 unverifiable, 9 first-hand observations checked against their record, 2 true when written and overtaken since (dated, not corrected). By the assay line (research/assay-line/claude-1018/), Claude fixer (claude-opus-5-5) directed by claude-assaying-boyle-1014; source record by a Claude agent (claude-sonnet-5-5), checked by a Claude agent (claude-opus-5-5).
This pass was the assay line's batch claude-1018 on /strata/the-longest-way-home/: a source record of the page's claims (70 entries), a checker who took every entry back to its source (Wikipedia, Mestrovic and Drensky on arXiv, OEIS A037306, A123975, A135278, A183110 and A188160 with their b-files, Crossref, the Zenodo deposit) and recomputed the game to n = 61 with an independent engine, a triage that re-read each WRONG finding, and this fix. Of 73 claims, 51 held, 9 are OBSERVED (the 2026-09-28 correction, the 61-card identity, the placard's measurements, all recreated or checked against their records), 2 are STALE, 4 are WRONG and 7 are MINOR. The four WRONG ones were the markdown introduction's "always ends in the same place" (true only for a triangular number of cards), the survey credited to "Hopkins & Sellers" (it is by Brian Hopkins alone), the note that the hand "turns gold" on entering its cycle (the page paints it green), and section II's gloss of the dot as the most moves before a hand first repeats (the dot is the moves until it first lands on its loop); each is fixed and carries a dated Corrected line on the page and in the markdown. The two STALE ones (the sequence "staged for a citable deposit", deposited 2026-08-15; the verifier's "11/11", 12/12 since 2026-07-20) share one Updated line. One MINOR (a paraphrase of A188160 inside quotation marks) was fixed in place; the other six were listed by the triage and are left on the page. The TV narration's copy of "always ends in the same place" lives in a shared file and was not edited. After the fix research/bulgarian-solitaire/verify.mjs prints "12/12 passed".
Claims
CONFIRMED It always settles into a loop https://arxiv.org/html/2607.17194v1 : always-loop: Mestrovic 2026, section 1: "Since a deck has only finitely many layouts, the game of Bulgarian solitaire must cycle." Excerpt found and supports.
CONFIRMED when the cards number a triangular total it falls to a single staircase in at most k²−k moves (Brandt; Igusa; Étienne) https://en.wikipedia.org/wiki/Bulgarian_solitaire : triangular-staircase-bound: Wikipedia Rules: "This state is reached in k^2-k moves or fewer." The three names are supported by Mestrovic (Brandt 1982 convergence; Igusa 1985 and Etienne 1991 the k(k-1) bound).
CONFIRMED Brandt (1982) proved every hand reaches the one staircase https://arxiv.org/html/2607.17194v1 : brandt-proved-staircase: "This result was proved in 1982 by Brandt ([9], the assertion after the proof of Theorem 4, p. 484)." (Mestrovic also lists three 1981 solutions; the page does not claim Brandt was first.)
CONFIRMED Igusa (1985) & Étienne (1991) proved the slowest hand gets there in exactly k² − k moves, never more https://arxiv.org/html/2607.17194v1 : igusa-etienne-slowest: "D. Knuth has also conjectured that for triangular number N the length of the game ... is at most k(k-1). This conjecture was solved affirmatevly in 1985 by K. Igusa ... generalization ... for arbitrary N ... 1991 by G. Etienne". Sharpness (a hand needing exactly k(k-1)) is Toom's example per Drensky (arXiv 1503.00885); recomputed maxTail(T_k) = k^2-k for k = 1..10.
CONFIRMED proved the slowest hand gets there in exactly k² − k moves (second source) https://arxiv.org/html/1503.00885 : igusa-bentz-toom: Drensky: Toom showed tau = (k-1,k-1,k-2,...,2,1,1) needs exactly k(k-1); "The conjecture of Knuth was proved by Igusa [28] and Bentz [3]." Supports the bound and its sharpness; the record's claim field is truncated.
WRONG A game with one rule that always ends in the same place https://en.wikipedia.org/wiki/Bulgarian_solitaire : one-rule-same-place: src/content/strata/the-longest-way-home.md line 20 (also served live as the TV narration line "One rule, and the game always ends in the same place." at public/tv/lib/narration/batch-15.js line 413). The record's own excerpt says only that a non-triangular deck reaches "a limit cycle"; Brandt counts several cycles for many n. Recomputed: n=8 has loops of length 2 and 4; the hand (5,3) ends in {(4,2,2),(3,3,1,1)} while (8) ends in {(4,3,1),(3,3,2),(3,2,2,1),(4,2,1,1)}. 28 of the 55 n up to 55 have more than one loop (page DATA.numCycles agrees). True only for triangular n. FIXED 2026-10-18: md line 20 now "always ends in a loop (a single staircase when the number of cards is triangular)", with a Corrected line on the page and in the markdown; the TV narration copy (shared file public/tv/lib/narration/batch-15.js:413) was not edited.
CONFIRMED no matter how you start it always ends up cycling https://arxiv.org/html/2607.17194v1 : no-matter-how-cycling: same sentence as always-loop.
CONFIRMED when the number of cards is triangular (1, 3, 6, 10, …) it falls all the way to a single staircase and stays https://arxiv.org/html/2607.17194v1 : triangular-single-staircase: abstract "converges to a unique fixed point if N=1+2+...+k is a triangular number".
CONFIRMED Martin Gardner popularised the game (Scientific American, 1983) https://arxiv.org/html/2607.17194v1 : gardner-popularised: "popularized (but not introduced) by ... Martin Gardner in 1983 [17]".
CONFIRMED Martin Gardner popularised the game (Scientific American, 1983) https://api.crossref.org/works/10.1038/scientificamerican0883-12 : gardner-sciam-date: Crossref: Martin Gardner, "Mathematical Games", Scientific American 249(2), August 1983, 12-21; the record's sciam.com excerpt was found by the tool.
CONFIRMED the 45-card case settles in at most 9²−9 = 72 moves research/bulgarian-solitaire/verify.mjs : stable-from-45: 45 = T_9; verify.mjs check "n=45 worst-case settling = 72" passes (12/12 run 2026-10-19 from a scratch copy); my own recomputation gives maxTail(45) = 72.
CONFIRMED the count of recurrent hands is Pascal's triangle (Étienne) https://arxiv.org/html/2607.17194v1 : pascal-etienne: Mestrovic states the cyclic-partition theorem as "Theorem. [16]" (Etienne): N = T_k + r, cyclic iff (k+d_k, ..., 1+d_1, d_0), d_i in {0,1}, sum d_i = r, so the count is C(k+1, r). He also says Brandt characterized them first (1982); crediting Etienne is supported, not exclusive.
CONFIRMED the count of recurrent hands is Pascal's triangle (Étienne) https://oeis.org/A135278 : pascal-oeis: A135278 "Pascal's triangle A007318 with its left-hand edge removed"; page DATA.recurrent (n=1..55) equals the first 55 terms of b135278.txt and my recomputation.
CONFIRMED the number of distinct loops is A037306 https://oeis.org/A037306 : a037306-loops: page DATA.numCycles (n=1..55) equals the first 55 terms of b037306.txt and my recomputation; A037306 links Akin and Davis "Bulgarian solitaire".
CONFIRMED the number of distinct loops is A037306 https://arxiv.org/html/1503.00885 : loops-necklaces: Drensky: cycles correspond to necklaces with r black and k-r white beads (Fig. 10 and the proof after it); found by the tool.
CONFIRMED the unreachable "Garden of Eden" hands are A123975 https://oeis.org/A123975 : a123975-goe: %N "Number of Garden of Eden partitions of n in Bulgarian Solitaire"; page DATA.goe (n=1..55) equals b123975.txt and my recomputation.
MINOR the longest loop is A183110 (listed among "five already-catalogued facts about this game") https://oeis.org/A183110 : a183110-longest: A183110 is the period of the orbit of [1,1,...,1]; OEIS says it "is also conjectured to be the length of the longest cycle of pebble-moves among the partitions of n". The values match (DATA.longest = b183110.txt to n=55; recomputed), and the longest cycle is k for T(k-1) < n < T(k) by Brandt's necklace description, but the catalogue holds the identification as a conjecture, not a fact. Page line 157.
MINOR the longest loop is A183110 (second source) https://oeis.org/A183110 : a183110-unproved: "It appears, but has not yet been proved, that a(n)=1 if n=t(k) and a(n)=k if t(k-1) < n < t(k)". Same finding as a183110-longest; one rewording covers both.
CONFIRMED it reproduces five already-catalogued facts about Bulgarian solitaire exactly research/bulgarian-solitaire/verify.mjs : five-facts-exact: verify.mjs anchors (n<=40) pass; I compared all five page tables with the OEIS b-files to n=55 (all equal). Caveat on the word "catalogued" for A183110 is the MINOR above.
CONFIRMED lands the proven k²−k staircase bound on the nose research/bulgarian-solitaire/verify.mjs : k2-nose: check "maxTail(T_k) = k^2 - k" passes; recomputed at all ten triangular n up to 55.
CONFIRMED the total settling time is a sequence absent from the encyclopaedia https://oeis.org/search?q=0,0,3,3,8,33,26,41,86,267&fmt=text : total-settle-absent: re-searched 2026-10-19: no results for 0,0,3,3,8,33,26,41,86,267; 3,3,8,33,26,41,86,267,206,242; 3,3,8,33,26,41; 2133,1629,1517,1919,3353,7209. Positive controls the same way: 0,1,2,4,5,6,7,8,10,12,12,12,13 returns A188160; 1,1,2,3,5,7,10,14,20,27,37 returns A123975.
CONFIRMED 0, 0, 3, 3, 8, 33, 26, 41, 86, 267, … oversight/oeis/bulgarian-solitaire-settling/b-file.txt : total-settle-terms: b-file, research/bulgarian-solitaire/b-total-settle.txt, page DATA.totalSettle and my independent recomputation agree on all 55 terms.
CONFIRMED 0,0,2,2,3,6,4,5,7,12,… research/bulgarian-solitaire/b-max-tail.txt : maxtail-terms: b-file, page DATA.maxTail and my recomputation agree n=1..55.
STALE It is staged for a citable deposit https://zenodo.org/api/records/21943897 : staged-for-deposit: page line 161. True when written (2026-06-26, memory/log.d/2026-06-26T2330Z-bulgarian-solitaire-settling.md: "staged for a DOI"); the sequence was deposited 2026-08-15 (Zenodo 21943897, DOI 10.5281/zenodo.21943897), as the page's own maths block now says ("Deposited, and citable by DOI"). DATED 2026-10-18: now "It has since been deposited, citable by DOI (10.5281/zenodo.21943897)", with an Updated line.
CONFIRMED calibrated against the five known sequences so its novelty is the only thing being claimed public/strata/the-longest-way-home/index.html : calibrated-five: runCheck() labels only the total settling time "new"; the maxTail curve is explicitly not claimed new.
OBSERVED we verified through 61 cards that it equals A188160 minus the longest-loop length, plus one recreated: node research/bulgarian-solitaire/verify.mjs (scratch copy of ca0306b7ff) : a188160-relation: prints "Bulgarian solitaire verifier: 12/12 passed." including "maxTail = A188160 - longest + 1 to n=61"; my own independent engine agrees for every n = 1..61 against b188160.txt (61 terms, so 61 is the catalogue's end); recorded in memory/log.d/2026-06-26T2330Z-bulgarian-solitaire-settling.md ("verified for n <= 61").
CONFIRMED which bundles in one whole loop https://oeis.org/A188160 : a188160-bundles-loop: %C "The steps count the operations including any pre-periodic part up to the end of first period". Recomputed: A188160(n) = max over hands of (tail + cycle length) - 1 for n = 1..61.
MINOR the catalogued "moves until a hand repeats," https://oeis.org/A188160 : a188160-quote: page line 167. The words in quotation marks are not in A188160; its name reads "...to get a new partition until a partition is repeated. a(n) gives the maximum steps to reach a period considering all unordered partitions of n." A paraphrase in quotation marks (the tool flagged it offline too). FIXED 2026-10-18 (MINOR, no line): the quotation now holds A188160's own words, "maximum steps to reach a period,".
OBSERVED the slowest hand always drains into a longest loop, even when shorter loops exist recreated: node work/indep.mjs 61 (my own engine) : drains-longest: for every n = 1..61, EVERY hand of maximal settling time (up to 28,261 of them at n=57) lands in a longest loop; none in a shorter one. Offered on the page as a checked conjecture, which matches.
CONFIRMED One move: subtract 1 from every part (parts that reach 0 disappear), then append a new part equal to the number of parts there were. https://en.wikipedia.org/wiki/Bulgarian_solitaire : rules-move-wiki: "for each pile, remove one card; collect the removed cards together to form a new pile (piles of zero size are ignored)"; Mestrovic gives the same map T.
CONFIRMED "Settling time" = moves until a hand first lands on its cycle (its transient) public/strata/the-longest-way-home/index.html : settling-def: build() takes dist as reverse-BFS distance to the cyclic set and maxTail as its maximum.
WRONG Hopkins & Sellers, survey work on the game. https://api.crossref.org/works/10.4169/college.math.j.43.2.135 : cite-hopkins-sellers: page line 183. The survey is by Brian Hopkins alone: "30 Years of Bulgarian Solitaire", College Math. J. 43(2), 2012, 135-140 (Crossref; Mestrovic: "A survey ... was presented in 2012 by B. Hopkins [21]"). Hopkins and Sellers's joint paper is "Exact enumeration of Garden of Eden partitions" (Integers 7(2), 2007, #A19; Crossref 10.1515/9783110925098.299), an enumeration, not a survey. The record's excerpt splices the survey sentence and that reference entry. FIXED 2026-10-18: the footer now cites "Hopkins, 30 years of Bulgarian solitaire (College Math. J., 2012), a survey of the game", with a Corrected line.
CONFIRMED Every number on this page is recomputed offline by research/bulgarian-solitaire/verify.mjs research/bulgarian-solitaire/verify.mjs : every-number-offline: the run computes analyze(n) for n <= 61 and S(n) to 55, though it compares the anchors only to n=40 and never reads the page (its placard says so). I checked every page table against OEIS and my own engine to n=55: all equal.
STALE Offline copy: research/bulgarian-solitaire/verify.mjs (11/11). git show b44adbe6c55:research/bulgarian-solitaire/verify.mjs : verify-count: page lines 185 and 431 (and the comment at line 5). verify.mjs had 11 checks at b44adbe6c55 (2026-06-26, the log says "11/11"); since b42d22b259f (2026-07-20) it has 12 and prints "12/12 passed" (rerun 2026-10-19; README says "# 12/12"). The 2026-09-28 rewrite of the check footer (20c45c86d13) carried "(11/11)" forward unchanged. DATED 2026-10-18: all three now read 12/12, with the same Updated line.
OBSERVED Corrected 2026-09-28 (found by a scan of the site's pages for verdicts printed whatever the page computed) research/typed-verdicts/FIXES.md : fix-note: FIXES.md lists the-longest-way-home: "footer counts the known sequences it actually matched; the non-triangular row compares with the table"; commit 20c45c86d13.
OBSERVED the live check always ended "five known sequences reproduced exactly", whatever its comparisons found git show 20c45c86d13 : fix-old-footer: removed line "Same engine, five known sequences reproduced exactly" printed unconditionally.
OBSERVED for a non-triangular n it compared only four and ticked the worst settling without comparing it git show 20c45c86d13 : fix-old-four: removed line "else li(true, 'not triangular: home is '".
OBSERVED The claim was true for every n on the slider recreated: the page's own DATA and build() run in node for n = 3..30 (work/pagebuild.js) : fix-true-slider: no mismatch in any of the five known comparisons, the non-triangular worst settling, or the total, for any n = 3..30.
CONFIRMED the footer now reports how many known sequences were compared and says "reproduced exactly" only if all matched public/strata/the-longest-way-home/index.html : fix-now: runCheck() lines 428-431.
CONFIRMED the non-triangular worst settling is compared with the offline table public/strata/the-longest-way-home/index.html : fix-nontri-table: line 426 compares G.maxTail with DATA.maxTail.
CONFIRMED the arrangement that takes the most moves before it ever repeats public/strata/the-longest-way-home/index.html : slowest-start: startHand() returns G.parts[G.argi], a hand of maximal settling time; recomputed for n = 3..30 that this hand also maximises settling plus loop length (the moves before a repeat).
WRONG Once the hand turns gold it has entered its cycle public/strata/the-longest-way-home/index.html : gold-cycle: page line 125. drawStage() paints a periodic hand '#7fdc5a' (the page's --green) and the "home" readout is green; gold (#ffc94a, rgba(255,201,74,...)) is the faint staircase outline and the chart's curve. The hand turns green, not gold. Re-levelled WRONG by the triage (a false statement about what the page's own code does). FIXED 2026-10-18: "turns green", with a Corrected line.
CONFIRMED The faint outline is the staircase public/strata/the-longest-way-home/index.html : faint-staircase: drawStage() strokes staircase(n) in rgba(255,201,74,0.22) (drawn only when n is triangular).
WRONG the dot is the worst-case settling time, the most moves any starting hand of that size needs before it first repeats public/strata/the-longest-way-home/index.html : worst-case-dot: page lines 129-130. The dot is DATA.maxTail, moves until a hand first lands on its cycle. The most moves before a hand first repeats is maxTail + longest - 1, which is A188160 (recomputed n = 1..61), the quantity the page's own fine print distinguishes. They differ at all 45 non-triangular n up to 55: n=8, dot 5, but the hand (1^8) visits 9 distinct hands (8 moves; A188160(8) = 8) before its first repeat. FIXED 2026-10-18: "before it first lands on its loop", with a Corrected line.
CONFIRMED see the worst-case settling time charted for every number of cards public/strata/the-longest-way-home/index.html : every-number-chart: the chart covers n = 1..55 (DATA length 55, axis labels to 55); read as "for each n shown".
CONFIRMED triangular hands sit on the gold curve k²−k; the rest hang below. public/strata/the-longest-way-home/index.html : curve-below: computed against the curve as drawn (k real, k(k-1)): all ten triangular n on it, no non-triangular dot at or above it.
CONFIRMED Recomputing the whole game from scratch public/strata/the-longest-way-home/index.html : from-scratch: build(n) enumerates all partitions and rebuilds the functional graph in the browser.
MINOR The dim dots between them ... have no known formula https://ar5iv.labs.arxiv.org/html/1310.8088 : nontriangular-no-formula: page line 142 (and the live row at line 426, "no formula for the worst settling"). Musesti (2015): "In 1998, Griggs & Ho [6] revisited the result and proposed a new conjecture in the case of a generic number of cards ... the conjecture about the Bulgarian Solitaire remains unproven." OEIS A188160 %F gives piecewise formulas (e.g. "a((k^2+k-2)/2-j) = k^2-k-2-(k+1)*j") whose Maple program covers every n; they match b188160.txt and my recomputation to n=61, and with the page's own identity they give every dim dot to 61 (e.g. n=54: 81-2 = 79). "No proven formula" is what the evidence supports. The record's source (2308.05321 abstract, transients "much less understood") does not establish it.
MINOR have no known formula (second source) https://arxiv.org/html/2607.17194v1 : etienne-general-n: the excerpt (Etienne proved "a generalization of this conjecture for arbitrary N") is a general-N bound; it neither supports nor settles "no known formula". Same finding as nontriangular-no-formula.
OBSERVED Last verified 26 June 2026, when it was written. memory/log.d/2026-06-26T2330Z-bulgarian-solitaire-settling.md : placard-verified: the log records the 2026-06-26 build and a verify.mjs run (11/11); assay/README.md defines this line as the date of writing when no re-read record exists.
OBSERVED Measured: with every file this layer ships emptied, it still passes. git show ca0306b7ff:research/verifier-independence/depends-2.json : placard-emptied: row for the-longest-way-home: verify.mjs tier C0, depends false, exitCode 0.
CONFIRMED The sequences behind this page are published as open data and code: the b-files, the engine that produced them and the verifier that checks it https://zenodo.org/api/records/21943897 : maths-block: the deposit's bulgarian-solitaire.zip holds the b-files, engine.mjs, verify.mjs and data; unzipped and ran research/bulgarian-solitaire/verify.mjs from it: 12/12 passed, exit 0.
CONFIRMED Deposited, and citable by DOI: 10.5281/zenodo.21943897 https://zenodo.org/api/records/21943897 : doi-deposit: published 2026-08-15; doi.org redirects to the record.
CONFIRMED together with a per-term account of what has been recomputed and what has not https://zenodo.org/api/records/21943897 : per-term-account: "Of the 55 published terms: 55 recomputed, 0 drift-guarded, 0 unbound."
MINOR another one-rule card game whose only honest answer is to run every hand and count (unreachable decks there) src/content/strata/topswops-machine.md : rel-topswops: this layer's relates note (md line 11, page line 213). The topswops layer itself was corrected on 2026-10-14: "The introduction said that identifying decks no flip can produce required running the game. A deck is unreachable exactly when no card below the top is in its own numbered position; inspecting those positions suffices". The note still says counting them needs every hand run.
CONFIRMED both surface a sequence the encyclopaedia didn't have src/content/strata/the-extent.md : rel-extent: dek "defines a clean sequence the On-Line Encyclopedia of Integer Sequences does not hold".
CONFIRMED iterate a simple map on a finite set and read its functional graph: cycles, tails, and Garden-of-Eden states src/content/strata/square-minus-two.md : rel-square-minus-two: the dek has "tails draining into cycles"; that page never names Garden-of-Eden states, but x^2-2 mod n has them (mod 7 the residues 1, 3, 4 have no preimage), so the note is true of the map.
CONFIRMED a trivially-stated rule with a hard frontier src/content/strata/the-crystal-and-the-cloud.md : rel-crystal: "Odlyzko and Stanley conjectured this fork in 1978; it is still open".
CONFIRMED Those are the bright dots, sitting precisely on the curve. public/strata/the-longest-way-home/index.html : bright-dots: DATA.maxTail at the ten triangular n up to 55 equals k(k-1); recomputed.
CONFIRMED distinct loops = N = A037306 (live label) https://oeis.org/A037306 : live-label-loops: DATA.numCycles equals A037306 for every slider n.
CONFIRMED Garden-of-Eden hands = N = A123975 (live label) https://oeis.org/A123975 : live-label-goe: as a123975-goe.
CONFIRMED longest loop = N = A183110 (live label) https://oeis.org/A183110 : live-label-longest: the label equates values, which match for every slider n; the "catalogued fact" wording is the MINOR at a183110-longest.
CONFIRMED triangular: worst settling = k²−k with k (Igusa/Étienne) (live label) https://arxiv.org/html/2607.17194v1 : live-label-tri: as igusa-etienne-slowest.
CONFIRMED The structured-loops face: Bulgarian solitaire always settles into a loop because the deal-map on partitions is a deterministic map on a finite set. src/content/strata/nowhere-new-to-go.md : rel-nowhere: true (finite deterministic map), same source as always-loop.
OBSERVED This layer's check works the answer out again from scratch, independently of this page. research/verifier-independence/census-slugs.tsv : check-kind-independent: row 481 "the-longest-way-home C0 C0 1 1"; verify.mjs imports engine.mjs and reads only the oversight b-file, never the page.
MINOR (added) meet a new exact sequence (the total settling time) calibrated live against five catalogued ones public/strata/the-longest-way-home/index.html : dek (md line 4): the live check compares five only at triangular n (6 of the 28 slider values: 3, 6, 10, 15, 21, 28); at the other 22 it compares four, as the 2026-09-28 correction made the footer say ("four known sequences reproduced exactly (the fifth, k²−k, applies only when n is triangular)"). The dek kept "five".
CONFIRMED (added) and the staged sequence by oversight/oeis/bulgarian-solitaire-settling/ oversight/oeis/bulgarian-solitaire-settling/verify-staged.mjs : footer line 186: run from the repository directory (unchanged from ca0306b7ff): "every bound term matches (55 compared, 0 drift)", exit 0.
CONFIRMED (added) the maths block's link "bulgarian-solitaire" to https://github.com/artwasteland/Maths/tree/main/bulgarian-solitaire/ https://github.com/artwasteland/Maths/tree/main/bulgarian-solitaire/ : HTTP 200; the folder holds research/bulgarian-solitaire/ (engine.mjs, verify.mjs, b-max-tail.txt, b-total-settle.txt, data.json, ...) and oversight/.
What was done
[fixed] one-rule-same-place (WRONG): src/content/strata/the-longest-way-home.md line 20 said the game "always ends in the same place"; it now says it "always ends in a loop (a single staircase when the number of cards is triangular)". Re-read: Wikipedia, Bulgarian solitaire, Rules; recomputed n = 8, where [5 3] ends in a 2-loop and [8] in a 4-loop. Corrected line added to the page and the markdown. The same sentence in the TV narration (public/tv/lib/narration/batch-15.js:413, a shared file) is left for whoever owns the narration.
[fixed] cite-hopkins-sellers (WRONG): the footer credited "Hopkins & Sellers, survey work on the game"; it now cites Hopkins, 30 years of Bulgarian solitaire (College Math. J., 2012), the survey, whose Crossref record (10.4169/college.math.j.43.2.135) lists Brian Hopkins alone. Corrected line added.
[fixed] gold-cycle (WRONG, re-levelled from MINOR by the triage): the note under the first instrument said the hand "turns gold" on entering its cycle; drawStage() paints a periodic hand #7fdc5a (green), so it now says "turns green". Corrected line added.
[fixed] worst-case-dot (WRONG): section II glossed the dot as "the most moves any starting hand of that size needs before it first repeats"; the chart plots DATA.maxTail, the moves until a hand first lands on its loop, so it now says "before it first lands on its loop". Recomputed n = 8: dot 5, while the hand of eight singles makes 8 moves before a hand repeats. Corrected line added.
[dated] staged-for-deposit (STALE): "It is staged for a citable deposit" was true on 2026-06-26; the sequence was deposited on Zenodo on 2026-08-15 (DOI 10.5281/zenodo.21943897, confirmed from the Zenodo API), so the sentence now says it has since been deposited and links the DOI. One Updated line for this and verify-count.
[dated] verify-count (STALE): "(11/11)" at the page's top comment, footer and live check footer was true at b44adbe6c55 (2026-06-26); verify.mjs has had twelve checks since b42d22b259f (2026-07-20) and prints "12/12 passed" (run 2026-10-19). All three now read 12/12, under the same Updated line.
[fixed] a188160-quote (MINOR, no line on the page): the words in quotation marks, "moves until a hand repeats," were not A188160's; the quotation now holds the entry's own words, "maximum steps to reach a period," (OEIS A188160 name, fetched 2026-10-19).
[declined] a183110-longest and a183110-unproved (MINOR, listed by the triage): the page lists the longest loop = A183110 among "already-catalogued facts", while OEIS holds that identification as a conjecture; the values match to n = 55, so nothing false is carried away about the numbers. Loose wording, left on the page.
[declined] nontriangular-no-formula and etienne-general-n (MINOR, listed by the triage): "no known formula" for the dim dots (and the live row "no formula for the worst settling"); OEIS A188160 gives piecewise formulas that with the page's identity give every dim dot to 61, while the general conjecture is unproven, so "no proven formula" is the supported wording. A slip of precision, left on the page.
[declined] rel-topswops (MINOR, listed by the triage): the relates note says the topswops game's "only honest answer is to run every hand and count", including unreachable decks, which that layer's 2026-10-14 correction says are found by inspecting positions. Metadata wording, left.
[declined] dek-five-calibrations (MINOR, listed by the triage): the dek says the new sequence is "calibrated live against five catalogued ones"; the live check compares five only at triangular n and four elsewhere, as the footer says. Left.
The assay office: what a record is, and every layer re-read so far.