Origami & Folding
what one sheet can do
Generator

What the four tests see

A generator in the what it costs to know library, called 8 times across 4 essays. Below: what it draws at its defaults and at the arguments the essays give it, what it checked while drawing, and everywhere it is used.

checker-blindspot is one function. Everything below came out of it during this build, at arguments taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and when the generator changes, this page changes with it.

At its defaults

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

angle: 0.35, cols: 4, rows: 3

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

cols: 4, rows: 3

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

angle: 0.35

What the four tests seeEach of the four conditions this site's checker applies at every interior vertex, run against four patterns. The first three are each caught by exactly one test, which is what makes the tests worth having. The last passes all four at every vertex and is not thereby known to fold.developableKawasakiMaekawabig-little-bigsectors that do not alternatefour creases turning the same waya small sector flanked by one lettera 4×3 Miura, every vertexthe last row passes all four tests at all 6 of its vertices, and passing is not a proofthe tests are conditions at a single vertex; whether the layers can be stacked is a condition on the whole sheetno arrangement of vertex tests decides that, which is what NP-hardness means when it is spelled out

What it checked while it drew

Collected by running this generator with a listener on the assertions, not written here. The count is how many separate times this build put that claim to the test.

Where it is called

Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.

Drawn by the same hand

Two straight segments dropped on a square cross about 23% of the time; four of them cross 74% of the time; twelve cross with certainty, about fifteen times over. Every crease pattern in this collection's four test populations has none — not because the checkers were catching them, but because the same rules that drew the patterns were incapable of producing one, and nothing looked until a construction finally did.

Publishing the pattern instead of the sequence

A diagram sequence is one picture per step and a crease pattern is one picture. When designers began releasing patterns rather than diagrams, the cost of publishing a model fell by two orders of magnitude and the difficulty moved onto the reader — which is what made the complex era possible and what made most of it unfoldable.

Taught with a wrong reason

Four mountains and four valleys is what the preliminary base's symmetry suggests and Maekawa forbids it; a twist looks like a twist when its central ring reads as one letter, and no such lettering folds; a tessellation is verified because its unit is, and a forty-nine-panel patch of one had no folded state at all. In each case the conclusion taught is right and the reason offered for it is not, and the site that repeats them is this one.

What a checker cannot check

Every crease pattern on this site is run past four theorems before it is allowed onto a page, and passing all four proves nothing. The gap is not a bug to be closed: it is the NP-hardness result, arriving as a property of a hundred lines of code.

Every generator · The what it costs to know field · The patterns a reader can fold