This submission contains no mathematics of its own. It is a synthetic benchmark for the archive website's proof-network drawing: a submission whose only purpose is to exhibit, in one place and under stable names, every shape that figure has to lay out.

Every statement here is one rung of a single trivial ladder. $Stage k n$ means that $n$ is divisible by $2^k$, and each of the 53 statements asserts $Descent a b$, that divisibility by $2^a$ implies divisibility by $2^b$ for some concrete $a \ge b$. All of them are true, and every proof genuinely applies the statements it declares as assumptions — the mathematics is just thin enough that the dependency graph can be wired into any shape at all.

The 30 concepts are named after the shapes they exercise: sibling proofs whose conclusion sits at the left, the middle and the right of a dock row; a proof mixing a sibling assumption with a foreign one; chains of sibling proofs; a statement with two proofs and another with three; a twelve-dock concept with an eleven-wide assumption rail; a proof assuming one statement from each of eight other concepts; a genuine two-concept cycle and a one-element self-cycle, both of which stay unproven; an open statement with an open chain below it; nine single-statement concepts in a linear chain; an isolated concept with no edges at all; deliberately overlong and non-ASCII names; and two statements discharged from $lax-242665$, so that external nodes appear as well.

Nothing here should be cited, endorsed or built upon. It is a ruler.