@spec block_count(StatifierBlocks.ViewModel.Node.t()) :: pos_integer()

How many blocks the tree holds, the root included.

The toolbar's count, and the reason it is here rather than inline: it is a fold over the same recursion depth/1 walks, and both are read once per render over a tree that can be thousands of nodes.

@spec block_findings(StatifierBlocks.ViewModel.Node.t() | nil) :: [
  StatifierBlocks.Finding.t()
]

Every finding about the selected block, in one list (3A).

3A's rule is that the inspector is about the selected block and the document goes to the drawer, so this is deliberately narrower than ViewModel.findings - it is the block's own findings, its slots' findings, and the findings routed to its form's fields. The document-level panel decision 13 names is untouched and still shows everything.

Not the subtree: a container whose child has a finding is not itself the thing to fix, and ViewModel.Node.findings_count already carries the subtree number for the badge that wants it.

@spec cell_word(StatifierBlocks.Predicates.TruthTable.Cell.t()) :: String.t()

A cell's status as one word an author reads, per StatifierBlocks.Predicates.TruthTable.Cell's five values.

Words rather than colour: the five statuses are not a severity ramp - an :undecidable cell is not a worse :mismatch - and a reader who cannot tell two hues apart gets the same table as everyone else.

@spec clamp_height(term()) :: float()

The drawer's height in rem, clamped to the band the layout can hold.

Total for clamp_zoom/1's reason and one more: this value round-trips through a host. 2A puts the remembered height on the host's side, so the number arriving on mount is whatever the host stored last time, and a host that stored nil, a string, or a value from an older band gets a drawer rather than a crash.

@spec clamp_zoom(term()) :: pos_integer()

The nearest ladder step to percent.

Total, because the value can arrive from a phx-value- attribute and the DOM is not a trusted source: anything unreadable resolves to the default rather than raising or leaving the canvas at a size no control can undo.

@spec condition_fields(StatifierBlocks.ViewModel.Form.t() | nil) :: [
  StatifierBlocks.ViewModel.Field.t()
]

The selected block's condition-bearing fields, in form order.

A condition is an :expression field and nothing else identifies one: core.branch keys one per arm by the arm's slot name and reads it through value_path: ["arms", i, "cond"] (ADR-0002 decision 10), and a host type declaring :expression gets the same treatment without the editor learning its name. That is decision 2's rule - the editor never branches on a type - applied to the Condition tab.

@spec condition_source(StatifierBlocks.ViewModel.Field.t()) :: String.t()

The condition source a field carries, as a string a template can render.

@spec declared_by(%{sources: [atom()]}) :: String.t()

The "Declared by" cell for one row of the read-only declared-path view: every surface that declared the path, in Datamodel.declared_view/3's order, in one string.

iex> StatifierBlocks.Shell.declared_by(%{sources: [:datamodel, :document]})
"Datamodel, Document"

@spec declared_shape(%{type: atom() | nil, item_type: atom() | nil}) :: String.t()

The "Type" cell for one row of the same view, as the ADR-0006 projection carries it.

A list says what it holds when the entry named an item_type, because "list" alone is the one type in decision 4's set that does not describe a value on its own. Everything else is its own name, and a path no entry describes is unspecified rather than blank - a blank cell reads as a rendering gap, and this is a fact about the declaration.

iex> StatifierBlocks.Shell.declared_shape(%{type: :integer, item_type: nil})
"integer"

iex> StatifierBlocks.Shell.declared_shape(%{type: :list, item_type: :string})
"list of string"

iex> StatifierBlocks.Shell.declared_shape(%{type: nil, item_type: nil})
"unspecified"

@spec default_zoom() :: pos_integer()

100%, where the canvas opens.

@spec depth(StatifierBlocks.ViewModel.Node.t()) :: pos_integer()

How deep the tree nests, the root counting as 1.

Depth is a document metric and not a layout one - the canvas draws columns from slot metadata rather than from depth (decision 10) - so this is what the toolbar reports and nothing reads it to decide a style.

@spec drawer_tab(term(), [host_tab_id()]) :: tab_id()

The drawer tab value names, out of the package's tabs and host_ids, or :tables.

The same shape as inspector_tab/1 and for the same reason: the tab arrives from a phx-value-tab attribute, so an unknown one is a crafted payload rather than a bug, and the answer to it is the first tab.

host_ids are the ids of the tabs the host is currently contributing, and they stay strings on the way through. A tab name is never turned into an atom here: the package's tabs are matched by comparing their names to the payload, and a host tab is matched by string equality against a list the host itself declared, so no payload can grow the atom table.

@spec drawer_tabs() :: [drawer_tab()]

The drawer's own tabs, in the order the strip lists them.

The package's, not the strip's whole set: a host's tabs follow these, and drawer_view/1 is where the two are put together.

@spec drawer_title(drawer_tab()) :: String.t()

The title a drawer tab carries, on the strip and on the tab itself.

@spec drawer_view(%{
  optional(:open?) => boolean(),
  optional(:tab) => tab_id() | nil,
  optional(:fixtures) => fixtures(),
  optional(:findings) => [StatifierBlocks.Finding.t()],
  optional(:orphan_findings) => [StatifierBlocks.Finding.t()],
  optional(:host_tabs) => [host_tab()],
  optional(:declarations) => [StatifierBlocks.Document.DatamodelEntry.t()],
  optional(:declared_view) => [StatifierBlocks.Datamodel.declared_row()],
  optional(:selected_id) => StatifierBlocks.Block.id() | nil
}) :: drawer()

What the drawer shows, from its own open flag, its tab, the fixtures source, the document's findings and the selection (2A, and R4).

Two tabs since R4 (operator, 2026-08-29): truth tables, and the document-level findings that used to render as a block under the canvas. Both are tabular and about the whole document, which is 1A's admission test. The tab decides the title and the count the strip carries, so a collapsed drawer says what it is holding rather than naming one tab forever.

The truth-table statuses are unchanged and stay on status, because they describe that tab's content and nothing about the findings tab depends on them:

• :closed - the strip, with the active tab's count.
• :no_fixtures - open, with no fixtures source at all. Nothing to index.
• :no_selection - open, nothing selected: the index page, listing every block that owns a table.
• :none_for_block - open, a block selected that owns none: the index page again, which is 2A's answer to the spike's cold-start gap.
• :ready - the selected block's tables.

The unchosen tab

:tab is nil until an author picks one, and an unchosen drawer resolves to the first tab in drawer_tabs/0 order with a non-zero count, or :tables when every count is zero. The rule is 2A's own: the strip exists so the drawer's content is discoverable from any state, and a strip reading Truth tables 0 on a document with four findings in it hides the only thing the drawer currently holds. Ties never arise - the order is the tie-break - and once the author picks a tab the pick stands, empty or not, because at that point the strip is reporting a choice rather than making one.

A host's own tabs

:host_tabs are the descriptors of the tabs the host is contributing, and they join the strip after the package's, in the order the host declared them. They are ordinary entries from there on: the strip resolves an unchosen tab through them on the same rule, so a document with no tables and no findings and a running feed opens on the feed rather than on an empty Truth tables 0 - which is 2A's reasoning about the strip, not an exception to it.

Only the descriptor is read here. A host tab's content is a function the editor calls when that tab is active, so nothing about what it draws is decided in this module.

@spec field_type_tag(StatifierBlocks.BlockType.field_type()) :: String.t()

The value type a field declares, as a stable data- string.

@spec findings_count([StatifierBlocks.Finding.t()]) :: non_neg_integer()

How many findings the document has - the number the Findings tab reports, and the one number this package means by "the document's findings".

There is exactly one such number and this is where it is defined, so that the tab chip, the collapsed strip and the count a host reads through StatifierBlocks.Editor.findings_count/3 cannot say three different things about one document. That was the defect: three call sites each counted a list of their own, and the lists were not the same list.

The argument is ViewModel.findings - every finding the view model holds, derived and caller-supplied alike. Orphans are inside it. A finding anchored on a block the document no longer holds renders nowhere on the canvas, but it is still something wrong with this document, and a number that dropped it would report a document as clean while its findings list sat under the drawer saying otherwise.

@spec findings_groups(
  StatifierBlocks.ViewModel.Node.t() | nil,
  [StatifierBlocks.Finding.t()],
  Enumerable.t()
) :: [findings_group()]

The document's findings grouped by the block each one is anchored to, for the inspector's Findings tab when nothing is selected.

The grouping is the only thing this adds to findings_count/1's list: the same findings, in the same order, cut into runs by their anchor's block id. It does not filter, and it does not re-derive - a group's findings are the ones handed in, so Enum.map(groups, & &1.findings) |> List.flatten() |> length() is findings_count/1 again by construction. That is deliberate: a panel that showed fewer findings than the chip beside it counts is the same two-numbers defect findings_count/1 exists to close.

Group order is first appearance in findings, which is document order for everything the view model derives, and the unanchored group is last. An unanchored finding is one of ViewModel.orphan_findings - its anchor names a block id the document does not hold - and it gets a group rather than a filter because it is inside the number and an author who cannot see it reads the chip as wrong. It carries block_id: nil, which is what tells a caller there is nothing to select.

root is only ever read for a label; a nil root labels every group with its block id, which is label_for/2's own fallback for an id the tree does not hold.

@spec fit_mode(term()) :: fit_mode()

The fit value names, or :manual.

Total for inspector_tab/1's reason with the source changed: this value arrives from a host's fit attr rather than from the DOM, and a host templating it from a stored preference or a query string is as likely to spell it wrongly as an author is to craft a payload. A fit the editor does not have is refused into the one every editor opens in, so the canvas is never stamped with a mode no stylesheet rule and no button can leave.

@spec fit_zoom(term(), term(), term()) :: pos_integer()

The largest ladder step at which content wide fits available wide.

This is the whole of what a fit computes, and both fits compute it: Fit width passes the stage's measured extent, Fit active passes the selected card's. Neither measures anything itself - the numbers arrive from the measurement hook - and neither lays anything out, which is the constraint the 2026-08-30 ruling put on this: the client measures, this picks a step off the same ladder the two buttons step along, and the stylesheet scales.

With nothing measured yet, or a content box wider than any step can shrink to fit, the answer is the step the author is already on and the bottom of the ladder respectively. A fit that cannot be computed leaves the canvas where it is rather than jumping to a guess.

@spec fixture_row_count(fixtures()) :: non_neg_integer()

How many fixture rows the whole source holds - the number the Fixtures tab's strip carries.

Rows and not failures, and the reason is both editorial and mechanical. The strip counts CONTENT, the way the tables tab counts tables and the findings tab counts findings; a chip reading Fixtures 0 over forty passing rows says the opposite of what 2A's strip is for. And drawer_view/1 runs on every render: a row count is a sum over the assign, while a failure count would put a compile plus one chart run per row inside every keystroke.

@spec height_band() :: {float(), float(), float()}

The height band the resize control offers: {min, max, default} in rem.

@spec host_tabs([host_tab()]) :: [host_tab()]

The host tabs that may join the strip, in the order the host declared them.

Two rules, and both are about the strip staying readable rather than about what a host is allowed to want. A host tab named for one of the package's own tabs is dropped, because the package's tab is the one drawer_tab/2 resolves that name to and a strip with two "Findings" on it is a strip an author cannot use. A repeated id is dropped after its first appearance, because the id is stamped into the tab's DOM id and its panel's, and a duplicate there breaks the aria-controls pairing for both.

Nothing else is filtered. Which content belongs in the drawer is 1A's test - tabular, and about the whole document - and the host applies it to its own content the same way this package applies it to its own.

The reserved names now include "fixtures" (sb-4yze): a host tab with that id is dropped the same way one named "declarations" already is.

@spec insert_target(
  StatifierBlocks.ViewModel.Node.t(),
  StatifierBlocks.Edit.target() | nil
) ::
  insert_target() | nil

The names of the position a palette pick would insert at, or nil.

nil for no armed position at all, and nil again for a position naming a block or a slot this view model does not hold - a gap armed just before an edit removed the block under it reaches the second, and there is nothing truthful to say about it. Both answers are the same to a caller, because both mean "there is no destination to name".

The labels rather than the raw ids for the reason slot_label/2 gives: arm_approved under blk_wizard is the editor naming, in an instruction meant to orient someone, two things the canvas never showed them.

Pure, and here rather than in the component, so the sentence the palette prints is asserted directly instead of through markup.

@spec inspector_tab(term()) :: inspector_tab()

The tab value names, or :config.

The tab arrives from a phx-value-tab attribute, so an unknown one is a crafted payload rather than a bug, and the answer to it is the first tab.

@spec inspector_tabs() :: [inspector_tab()]

The inspector's three tabs, in the order 3A lists them.

@spec label_for(StatifierBlocks.ViewModel.Node.t(), StatifierBlocks.Block.id()) ::
  String.t()

A label for a block id, for the index page's jump list.

The type name, because the index page is read before anything is selected and a block's label is its type's - ViewModel has already resolved that, so this walks the rendered tree rather than the document and gets the unresolvable case (decision 12) right for free.

@spec severity_counts([StatifierBlocks.Finding.t()]) :: [severity_count()]

The same findings cut by severity, for the pill row above the list.

It is findings_count/1 again, told a second way, and the two are pinned to each other by construction: summing every entry's count is findings_count/1 again, for every list. That is the property findings_groups/3 documents about its own grouping, and it is here for the same reason - a summary line that disagrees with the list beneath it is the two-numbers defect findings_count/1 exists to close, and a pill row is a second place for it to reappear.

Order is :error, :warning, :info - most to least urgent, which is the order the severities are declared in and the order an author triages in. A severity with nothing at it is omitted rather than rendered as zero, so the row's width is what the document actually holds.

The argument is the same list findings_count/1 takes: ViewModel.findings for the document, a group's or a block's list for a narrower surface. Orphans are inside it wherever they are inside the list handed in.

@spec slot_label(StatifierBlocks.ViewModel.Node.t(), StatifierBlocks.Block.id() | nil) ::
  String.t() | nil

The label of the slot the block carrying block_id sits in.

"root" for the document's own root, which sits in no slot, and nil for an id no node in root carries - a selection that went away between two builds reaches that, and it is the same answer as no selection at all.

It is the slot's label, not its name, for the reason the inspector's header status reads a type's label: both are the vocabulary the canvas already shows the author, and a raw arm_approved beside a card reading When approved is the editor naming one thing two ways.

Here rather than on ViewModel.Node because a node does not know where it sits - the containment is the parent's, and a field duplicating it on every child is a second copy of the tree's shape that a re-parenting edit has to remember to update.

@spec table_block_ids(fixtures()) :: [StatifierBlocks.Block.id()]

Every block id the fixtures source has a table for, sorted.

@spec table_count(fixtures()) :: non_neg_integer()

How many tables the whole source holds - the number the collapsed strip carries.

The count is the document's and not the selection's on purpose (2A): the strip is what makes the drawer's content discoverable from any state, and a strip reading (0) because nothing is selected would teach an author the document has no tables.

@spec tables_for(fixtures(), StatifierBlocks.Block.id() | nil) :: [
  StatifierBlocks.Predicates.TruthTable.t()
]

The tables fixtures holds for one block, or [].

nil fixtures - no source at all - answers [] like a source that holds nothing for the block. The two are told apart by drawer_view/1, which is the only caller that has anything different to say about them.

@spec viewport(term()) :: %{width: float(), height: float()} | nil

The scroller's usable box out of a measurement payload, or nil.

Total for clamp_zoom/1's reason: the payload is a wire value and an editor whose viewport is unreadable is an editor whose fits decline to move rather than one that raises. nil is also what the editor holds before the first measurement and what it holds forever with no hook imported, which is why the fits below all take it as a term().

@spec viewport_anchor() :: String.t()

The anchor key the canvas scroller is stamped with.

A second reserved key beside Connectors.stage_anchor/0, and the reason it is reserved rather than derived from a block id is the same one: the stage is where the boxes are measured from and this is what they have to fit into, so neither is a block's anchor and neither can collide with one.

It lives here rather than beside the connector anchors because nothing routes through it. The fits are the only thing that reads it, the fits are a shell arrangement, and a connector never asks how wide the scroller is.

@spec zoom_extent(term(), term()) :: {float(), float()} | nil

The scaled extent of a measured box, or nil at 100% and unmeasured.

A CSS transform is drawn after layout and takes no space, so a scaled stage alone leaves the scroller sized to the unscaled tree: zoomed in, the bottom right of the chart is unreachable; zoomed out, the panel scrolls over empty space. The wrapper around the stage is what carries the scaled size, and this is that size.

nil at 100% is deliberate rather than an optimisation: an unzoomed editor then renders exactly the markup it rendered before there was a zoom at all, so the default case has no inline geometry to be wrong.

@spec zoom_in(term()) :: pos_integer()

One step up the ladder, or the top of it.

@spec zoom_out(term()) :: pos_integer()

One step down the ladder, or the bottom of it.

@spec zoom_stage_width(term(), term()) :: float() | nil

The width the stage is LAID OUT at while a zoom is applied, or nil.

The wrapper zoom_extent/2 sizes is the stage's parent, so its width is also the width the stage is laid out into - and that is a loop: at any step above 100% the wrapper is wider than the panel, the stage fills it, the stage's scroll extent grows, the next measurement makes the wrapper wider again. The live check at 150% found it immediately, at 33,554,428 pixels of wrapper, which is where the run stops rather than where it converges.

Pinning the stage to the scroller's own width breaks it: the number the stage lays out at then comes from the panel, which no zoom moves, so the measurement that sizes the wrapper is the same at every step. It is the width the stage already had before there was a zoom - a block filling its scroller - said out loud because the wrapper is now between the two.

nil at 100% and unmeasured, for zoom_extent/2's reason: an unzoomed editor carries no inline geometry at all.

@spec zoom_steps() :: [pos_integer()]

The zoom ladder the toolbar steps along, ascending.