Figure kitchen sink

Every carrier the db knows how to draw, rendered from SQL — one live <enumeratio-figure> per page-space glyph. Each figure resolves an element's SVG straight from pg's glyph_svg(<carrier>) (the figures-as-data round-trip) and hands the string to the generic <svg-figure> to inject — no per-glyph TypeScript. Every demo is wrapped in <enumeratio-assert> with expect="ok", so this page is itself a full-stack test run: the scoreboard should read all passing.

Which carriers render is not a hand-kept list — carrier_renders_svg(<carrier>) is derived from the glyph_svg overloads in the db, so a new carrier's glyph lights up here the moment its SQL function exists. See render assets for the three-layer model.

Ferrers diagram — integer_partition

Rows of boxes, one per part (ferrers_svg). The partition 6 = 3+2+1 at rank 2 of integer_partitions(6):

<enumeratio-figure collection="integer_partitions" n="6" rank="2"></enumeratio-figure>

Lattice path — dyck_path / motzkin_path

A walk in page space, filled under the curve (lattice_path_svg). The two path carriers share one generator, so the same SVG code draws both — a Dyck path (±1 steps) and a Motzkin path (level steps allowed):

<enumeratio-figure collection="dyck_paths" n="3" rank="0"></enumeratio-figure>
<enumeratio-figure collection="motzkin_paths" n="4" rank="0"></enumeratio-figure>

 

Cells — binary_word

A row of labelled 0/1 cells, filled where the bit is set (cells_svg). Rank 6 of binary_words(4):

<enumeratio-figure collection="binary_words" n="4" rank="6"></enumeratio-figure>

Subset register — finset over [n]

A subset renders through the finset carrier, the same path the client always takes (glyph_svg((e).value)). The finset value carries the fiber's ground n, so the register is fiber-aware for free: a subset of [3] draws a length-3 indicator, filled at its members. Rank 4 of subsets(3) is {1,2} ↦ 110:

<enumeratio-figure collection="subsets" n="3" rank="4"></enumeratio-figure>

Finite set of ℕ — finset (unbounded)

The same finset carrier with no ground (α = ℕ): the register spans up to the largest member instead of a fixed [n]. Rank 3 of the ungraded finsets collection is {1,2}:

<enumeratio-figure collection="finsets" rank="3"></enumeratio-figure>

---

Every figure above is a catalog row plus a SQL function — add a glyph_svg overload for a new carrier and it renders here with no recompile. For the element in isolation see <enumeratio-figure>; for the pure, SVG-in renderer it hands off to see <svg-figure>.