Recursion as a Puzzle Grammar — The Nested Logic of Patrick's Parabox and Recursed

Introduction

Count the verbs in a thinking puzzle and you usually land on push, walk, or rotate, operations that resolve on the board. As I argued in the essay on subtractive design, fewer verbs run deeper. But one lineage shakes the very way we count those verbs: step into a part of the board and the same board appears again. These are puzzles with recursion as their main verb.

Recursion is familiar to anyone who has written code, yet it is awkward as a puzzle verb. A box holds a box, and that box holds the same box again. Only when this nesting becomes something the player can manipulate does recursion turn into a puzzle. This is a third axis, distinct from the moving rules of meta-puzzles and the subtraction of Sokoban. I call it the grammar of nesting.

What Recursed Translated — Folding a Room Into a Box

On September 30, 2016, Portponky released Recursed, an early peak of recursion made playable. Jump into a treasure chest and you enter the room inside it. Carry a chest elsewhere, jump in again, and that room unfolds there. It translates variable scope and function calls into the vocabulary of a platformer. Each time you enter a chest, the room is instantiated anew, so re-entering the same chest resets it to its initial state.

That re-instantiation is the core of Recursed's difficulty. By carrying state out and reopening the chest, the player can hold several copies of one room at once. A jar then lets you carry the way back to your current room as an object, almost exactly a continuation. The verbs are only walk, jump, and carry, yet the state space swells past mere exponentials with each layer of nesting.

What impresses me is that Recursed teaches an abstract concept by touch, without exposition. In the first few rooms you simply feel that entering a chest adds a room. It builds the vertical walls I discussed in the learning-curve essay as the understanding of the concept itself. Where Sokoban's push was physics, Recursed's verb is structure. You read not the board but the board's nesting; the target of observational resolution has moved from space to structure.

Patrick's Parabox — Pushing a Box Into a Box

On March 29, 2022, Patrick Traynor finished Patrick's Parabox alone, setting recursion back atop Sokoban's push. All you do is still push. But inside the box you push, another board spreads out. You can push a box into another box, or even push a box into itself. Read as Sokoban's minimal set plus exactly one layer, nesting, the purity of its design becomes clear.

Where Recursed showed recursion as vertical action, Parabox folds it into horizontal pushing, letting you taste recursion's difficulty in Sokoban's own vocabulary. Push a box into a box and the force from outside propagates into the board within. In late self-referential levels, a box that contains itself, one move acts on several nested layers at once, past what you can unfold in your head. It is the purest extension of the combinatorial explosion that subtraction produces.

As a designer I admire how Traynor decomposes each property of recursion one chapter at a time: nesting, self-reference, infinite regress, inversion. None are dumped at once. He discloses a forbidding concept as a side effect of the familiar verb push. As I noted on the recursion-series hub, Parabox offers an almost textbook ordering of the genre.

Cocoon and Maquette — Carrying a World

On September 29, 2023, Geometric Interactive, led by Limbo and Inside designer Jeppe Carlsen, released Cocoon, turning recursion into story and space. You carry an orb on your back and dive into the world inside it. A whole world sits within another orb, and carrying orbs reassembles worlds into nests. Where Recursed and Parabox manipulated structure, Cocoon translates recursion into the bodily sense of carrying a world.

Maquette, released by Graceful Decay on March 2, 2021, shows recursion from another angle. A small model on a central plinth is reproduced one-to-one as the larger world outside. A cube in your hand becomes a bridge outside. Where Cocoon dives into nesting, Maquette shows the inside and outside at once, rendering recursion's self-similarity, the same structure at every scale, as spatial size.

These two show recursion is not only cold logic. Wearing a world, peering into a model: both convert nesting into bodily sensation. It differs from the looking-as-play lineage, yet is continuous with it in making you track depth with your eyes. Recursion looks like cold mathematics, but translated well it can carry feeling too. Cocoon's quiet sense of arrival is the proof.

How Deep Is Recursion's Difficulty — The Floor of Undecidability

The difficulty of recursion puzzles differs in kind from Sokoban's explosion. In 2020, Erik Demaine, Justin Kopinsky, and Jayson Lynch proved in 'Recursed is not Recursive' that deciding whether a general Recursed level is solvable is undecidable, by reduction from the Post Correspondence Problem, and as actual playable 15x20 rooms. The difficulty goes past having many moves; the floor falls out in principle.

That is suggestive as a design metaphor. Sokoban's difficulty is exponential but finite; given time, brute force solves it. Recursed with jars (continuations) steps into territory where even that finiteness is not guaranteed. Here I see the verb's own character. It neither adds verbs nor moves rules; it runs an axis of infinite depth through structure. Where meta-puzzles add mobility to rules, recursion adds depth to the board.

Of course games are not fun because they have no floor. Recursed and Parabox carefully pick solvable levels so the player tracks only two or three layers at once. Keeping a verb of infinite possibility within human-readable depth, that restraint is the real body of recursion design. Adding depth is easy; bounding it is hard.

References

Primary sources for the works and paper cited:

・Steam: Recursed (2016, Portponky)

・Steam: Patrick's Parabox (2022, Patrick Traynor)

・Wikipedia: Cocoon (2023, Geometric Interactive)

・Wikipedia: Maquette (2021, Graceful Decay)

・arXiv: Recursed is not Recursive — A Jarring Result (Demaine, Kopinsky, Lynch, ISAAC 2020)

Closing

From Sokoban onward, the lineage of thinking puzzles forked toward adding verbs, moving rules, and nesting structure. Recursed translated recursion into action, Parabox into push, Cocoon and Maquette into body and space. They share one move: folding another board inside the board. The grammar of nesting exists as a distinct third axis, apart from subtractive design and meta-puzzles.

If I made a recursion puzzle next, the first thing I would decide is how many layers of nesting to allow. Bounding the depth is as central as narrowing to one verb. A player can unfold maybe two or three layers in their head. So I leave the reader a question: if you could allow just one layer of nesting, what would you put inside it?