# StatifierBlocks v0.44.1 - Table of Contents

> Block document model, one-way SCXML compiler, and LiveView editor components for composing Statifier statecharts

## Pages

- [StatifierBlocks](readme.md)
- [Changelog](changelog.md)

- How-to guides
  - [How to describe a document in words](describing-a-document.md)
  - [How to build a block document and compile it to a chart](build-and-compile.md)
  - [How to register your own block types](register-block-types.md)
  - [How to publish a document](publish-a-document.md)
  - [How to validate a document against the schema from any language](validate-a-document-against-the-schema.md)
  - [How to build common flow patterns](flow-patterns.md)
  - [How to migrate a document from 0.27 to 0.34](migrating-documents-0-27-to-0-34.md)
  - [How to embed the editor in a LiveView host](embed-the-editor.md)
  - [How to mount the Map](mount-the-map.md)
  - [How to write a host advisory finding](host-validators.md)
  - [How to mount the editor for one audience](profiles.md)
  - [How to theme the editor](theming.md)
  - [How to type a palette](typing-a-palette.md)

- Reference
  - [StatifierBlocks cheatsheet](cheatsheet.md)
  - [Config fields and the handlers this package ships](config-fields-and-handlers.md)
  - [Editor assigns and host seams](editor-assigns-and-host-seams.md)

- Explanation
  - [Documents, revisions, charts and executions, and why blocks compile to a chart](documents-revisions-charts-and-executions.md)
  - [The block-level flow graph](block-level-flow-graph.md)

- Upgrading
  - [Upgrading a host from 0.31 to 0.44](upgrading.md)

## Modules

- [Mix.StatifierBlocks.AdrCites](Mix.StatifierBlocks.AdrCites.md): Resolves the line-number citations this repository's documents make into the
decision records, and reports the ones that no longer point at the text they
were written against.
- [StatifierBlocks](StatifierBlocks.md): Block document model, one-way SCXML compiler, and LiveView editor
components for composing [Statifier](https://github.com/riddler/statifier-ex)
statecharts from typed blocks.
- [StatifierBlocks.Composite](StatifierBlocks.Composite.md): A block type derived from **params** plus a **pure subtree** (ADR-0002
decision 5's amendment of 2026-09-07).
- [StatifierBlocks.Composite.Collapse](StatifierBlocks.Composite.Collapse.md): The proposer half of Collapse: an arrangement an author built by hand,
read back as the `StatifierBlocks.Composite.Data` declaration that stands
for it (ADR-0005 part (iii), amended 2026-09-07, clauses `15E` to `20E`).
- [StatifierBlocks.Composite.Data](StatifierBlocks.Composite.Data.md): A composite whose declaration arrives as **data** rather than as a `use`
block (ADR-0002's 2026-09-07 amendment).
- [StatifierBlocks.Connectors](StatifierBlocks.Connectors.md): Connector geometry: pure functions from measured rectangles to SVG path
data (ADR-0005 decision 10, and the 2026-08-29 amendment to decision 7).
- [StatifierBlocks.Connectors.Edge](StatifierBlocks.Connectors.Edge.md): One connector: the vocabulary it is drawn in, and its SVG path data.
- [StatifierBlocks.Connectors.Rect](StatifierBlocks.Connectors.Rect.md): One measured rectangle, in the stage's untransformed coordinate space.
- [StatifierBlocks.Datamodel](StatifierBlocks.Datamodel.md): The host's datamodel as the editor consumes it, and the one check it
makes against it (ADR-0005 decision 11, amended 2026-08-29 as 11e-11g).
- [StatifierBlocks.Declarations](StatifierBlocks.Declarations.md): The declarations panel's arithmetic: every author gesture on the
document's `datamodel` key, as a pure list-to-list function
(ADR-0005's 2026-09-01 amendment, clauses 2g-2m).
- [StatifierBlocks.DocumentValidator](StatifierBlocks.DocumentValidator.md): A host's own whole-document rule (ADR-0005 clauses `11p` to `11t`).
- [StatifierBlocks.DurationInput](StatifierBlocks.DurationInput.md): The `:duration` control's reading of the text an author typed.
- [StatifierBlocks.Environment](StatifierBlocks.Environment.md): What is known at a position: a map from datamodel path to type, carried
through the document by a pre-order walk (ADR-0011 decision 1).
- [StatifierBlocks.Graph](StatifierBlocks.Graph.md): The publish-time check between a parent document and the children it
names (ADR-0008's amendment of 2026-09-22).
- [StatifierBlocks.InvokeStep](StatifierBlocks.InvokeStep.md): The leaf step that **names** one host invoke type, as a base a host block
type declares itself out of (ADR-0007 decision 2).
- [StatifierBlocks.Migration](StatifierBlocks.Migration.md): The state mapping between two compiled revisions of one document (ADR-0004's
amendment of 2026-09-23, clauses M1 to M6).
- [StatifierBlocks.Plan](StatifierBlocks.Plan.md): Whole-document questions a host asks before it hands a document to the
editor.
- [StatifierBlocks.Publish](StatifierBlocks.Publish.md): The findings a host's publish step refuses a document on, from the same
functions the editor and the compile run (ADR-0004's Amendment of
2026-09-22, G4).
- [StatifierBlocks.Recipe](StatifierBlocks.Recipe.md): A palette entry that puts down an **arrangement** rather than a block
(ADR-0005 clauses 1C and 2C).
- [StatifierBlocks.Runtime.DurableSubchart](StatifierBlocks.Runtime.DurableSubchart.md): The durable `statifier_blocks:subchart` handler (ADR-0008): the
child runs as its own persisted `statifier_persistence` run, and the
answer is given at **dispatch time** rather than from a pure
`c:Statifier.Invoke.Handler.start/2`.
- [StatifierBlocks.Runtime.FixtureRuns](StatifierBlocks.Runtime.FixtureRuns.md): Turns `(document, palette, fixtures)` into a list of per-row verdicts, by
compiling the document once and driving the compiled chart once per
fixture row.
- [StatifierBlocks.Runtime.FixtureRuns.Run](StatifierBlocks.Runtime.FixtureRuns.Run.md): One fixture row driven through the compiled chart, and what happened.
- [StatifierBlocks.Runtime.Handled](StatifierBlocks.Runtime.Handled.md): Which block's state handled a macrostep, from a trace read model and a
provenance map.
- [StatifierBlocks.Runtime.Marks](StatifierBlocks.Runtime.Marks.md): A trace read model and a provenance map become the canvas's run marks.
- [StatifierBlocks.Runtime.RunValues](StatifierBlocks.Runtime.RunValues.md): What a run is holding at the selected point, as display text keyed by
datamodel path.
- [StatifierBlocks.Runtime.Selection](StatifierBlocks.Runtime.Selection.md): Where a run is being watched from: the scrubber's four moves, and a direct
pick of one macrostep.
- [StatifierBlocks.Runtime.Subchart](StatifierBlocks.Runtime.Subchart.md): The canonical `statifier_blocks:subchart` invoke handler - the runtime
half of `StatifierBlocks.Core.Subchart`'s specification.
- [StatifierBlocks.Runtime.Subchart.Resolution](StatifierBlocks.Runtime.Subchart.Resolution.md): The half of the `statifier_blocks:subchart` handler that is pure in both
variants: turning the document id on `src` into a compiled child chart,
or into one of the three shared refusal reasons.
- [StatifierBlocks.Shelf](StatifierBlocks.Shelf.md): The two placement facts `io/1` cannot carry, and the identity every other
surface asks about the shelf and the gap marker.
- [StatifierBlocks.Shell](StatifierBlocks.Shell.md): The shell's arrangement, as pure functions (ADR-0005, the 2026-08-29 shell
amendment: rulings 1A, 2A, 3A, 7A, 8A).
- [StatifierBlocks.SourceView](StatifierBlocks.SourceView.md): The generated SCXML as numbered lines of owned spans, for reading.
- [StatifierBlocks.SourceView.Line](StatifierBlocks.SourceView.Line.md): One reader's line: the spans it holds, its 1-based number, and the
nesting depth it is drawn at.

- [StatifierBlocks.SourceView.Span](StatifierBlocks.SourceView.Span.md): One run of generated bytes with one owner, as
`StatifierBlocks.Provenance.owner_at/2` answers for it.

- Document model
  - [StatifierBlocks.Block](StatifierBlocks.Block.md): One node of a block document (ADR-0001).
  - [StatifierBlocks.Document](StatifierBlocks.Document.md): A block document: one tree, one envelope (ADR-0001).
  - [StatifierBlocks.Document.DatamodelEntry](StatifierBlocks.Document.DatamodelEntry.md): One root the document itself declares (ADR-0001 decision 11).
  - [StatifierBlocks.Id](StatifierBlocks.Id.md): Mints block and document ids: `"blk_" <> uxid` and `"bdoc_" <> uxid`,
following the family's identifier convention (st-ADR-0008, as amended to
drop the `uxid` dependency and mint inline -
`statifier-ex/lib/statifier/machine_state.ex:571-585`).
  - [StatifierBlocks.Schema](StatifierBlocks.Schema.md): The block document's JSON Schema (draft-07), shipped in this package at
`priv/schemas/block-document.schema.json`.
  - [StatifierBlocks.SlotValidation](StatifierBlocks.SlotValidation.md): ADR-0002 decision 6's two properties, checked over a whole document
against a palette: declared slots are the complete set a block may carry
(`:undeclared_slot`), and a slot's child count must satisfy the arity
its type declares for it (`:slot_arity_violated`).

- Block types and assignability
  - [StatifierBlocks.Assignability](StatifierBlocks.Assignability.md): May this block land in this slot? Answered by two independent gates -
structural admission by kind tag (ADR-0003 decision 3, untouched), and
data flow by the environment at the position, checked with the datamodel
document's own read check plus the palette's host relation last
(ADR-0011).
  - [StatifierBlocks.Assignability.Relation](StatifierBlocks.Assignability.Relation.md): A host's widening relation. Consulted only after identity has failed, so
an implementation can only widen, never narrow (ADR-0003 decision 6).
  - [StatifierBlocks.BlockType](StatifierBlocks.BlockType.md): The authoring-time extension seam. A host implements this behaviour once
per palette entry; the `core.*` structural vocabulary this package will
ship itself lands in a later record (ADR-0002 decision 10) and is not
present yet.
  - [StatifierBlocks.Palette](StatifierBlocks.Palette.md): A palette names the block types a host makes available: a map from a
block's `type_name` to the entry implementing `StatifierBlocks.BlockType`
for it (ADR-0002 decision 2).

- Core block vocabulary
  - [StatifierBlocks.Core](StatifierBlocks.Core.md): The `core.*` structural vocabulary: the block types this package ships
itself (ADR-0002 decision 10).
  - [StatifierBlocks.Core.Assign](StatifierBlocks.Core.Assign.md): `core.assign`: a leaf step that writes one literal to one datamodel path.
  - [StatifierBlocks.Core.Await](StatifierBlocks.Core.Await.md): `core.await`: an in-flow leaf that holds until a named event arrives,
with an optional deadline (ADR-0002 decision 10, the 2026-09-05
amendment).
  - [StatifierBlocks.Core.Branch](StatifierBlocks.Core.Branch.md): `core.branch`: one slot per condition arm, plus `otherwise` (ADR-0002
decision 10) and `undecided` (ADR-0012 decision 2).
  - [StatifierBlocks.Core.DeadlineRecipe](StatifierBlocks.Core.DeadlineRecipe.md): The core `"deadline"` recipe: one palette pick puts down the `core.send`
and `core.on_event` pair that ADR-0010 decision 1 spells (ADR-0005
clause 4C).
  - [StatifierBlocks.Core.Drafts](StatifierBlocks.Core.Drafts.md): `core.drafts`: the document's shelf, holding fragments an author has built
but has not placed (ADR-0002's amendment of 2026-08-31, section G9).
  - [StatifierBlocks.Core.Duration](StatifierBlocks.Core.Duration.md): The one duration spelling a `:duration` field may hold, and the
attribute the engine reads.
  - [StatifierBlocks.Core.Emit](StatifierBlocks.Core.Emit.md): The SCXML shapes the `core.*` vocabulary compiles to (ADR-0004 decisions
2-4), and the small builders the core types share.
  - [StatifierBlocks.Core.Foreach](StatifierBlocks.Core.Foreach.md): `core.foreach`: a container whose body runs **once per item** of a
datamodel list (ADR-0004's 2026-08-29 amendment, F1 through F6).
  - [StatifierBlocks.Core.Group](StatifierBlocks.Core.Group.md): `core.group`: a boundary around a run of steps that interrupt rules can
fire against.
  - [StatifierBlocks.Core.Invoke](StatifierBlocks.Core.Invoke.md): `core.invoke`: a step that calls the host and waits for it to answer,
with an optional subtree for the failure case (ADR-0002 decision 10, as
amended 2026-08-29 section D).
  - [StatifierBlocks.Core.Map](StatifierBlocks.Core.Map.md): `core.map`: a step that runs **another chart once per item** of a
datamodel list, all of them at once, and waits for the whole batch
(ADR-0009, accepted 2026-09-01).
  - [StatifierBlocks.Core.OnEvent](StatifierBlocks.Core.OnEvent.md): `core.on_event`: an interrupt handler, valid inside an `interrupts` slot
and nowhere else (ADR-0002 decision 10).
  - [StatifierBlocks.Core.Parallel](StatifierBlocks.Core.Parallel.md): `core.parallel`: one slot per lane, with no ordering between the lanes
(ADR-0002 decision 10).
  - [StatifierBlocks.Core.Placeholder](StatifierBlocks.Core.Placeholder.md): `core.placeholder`: an in-flow leaf marking a gap the author has left on
purpose (ADR-0002's amendment of 2026-08-31, section G10).
  - [StatifierBlocks.Core.Raise](StatifierBlocks.Core.Raise.md): `core.raise`: a leaf that raises one event for an enclosing group's
interrupt rail (ADR-0002 decision 10's amendment, section D).
  - [StatifierBlocks.Core.ResumableGroup](StatifierBlocks.Core.ResumableGroup.md): `core.resumable_group`: a group whose `config` carries a history mode
(ADR-0002 decision 10).
  - [StatifierBlocks.Core.Send](StatifierBlocks.Core.Send.md): `core.send`: a leaf step that names an event and says **when**.
  - [StatifierBlocks.Core.Sequence](StatifierBlocks.Core.Sequence.md): `core.sequence`: an ordered run of steps, and the conventional document
root (ADR-0002 decision 10).
  - [StatifierBlocks.Core.Subchart](StatifierBlocks.Core.Subchart.md): `core.subchart`: a step that runs **another chart** and waits for it to
finish, routing on the outcome that chart finished with (ADR-0004's
2026-08-29 amendment, C1 through C3).
  - [StatifierBlocks.Core.Wait](StatifierBlocks.Core.Wait.md): `core.wait`: a leaf whose whole meaning is its config (ADR-0002 decision
10).

- Compiler
  - [StatifierBlocks.CompilationRecord](StatifierBlocks.CompilationRecord.md): The join between a block document and the chart it compiled to (ADR-0004
decision 7).
  - [StatifierBlocks.Compiled](StatifierBlocks.Compiled.md): What one successful compile produced (ADR-0004 decision 1).
  - [StatifierBlocks.Compiler](StatifierBlocks.Compiler.md): The one-way compile: a block document plus a palette in, one artifact out
(ADR-0004 decisions 1-4, 6-7).
  - [StatifierBlocks.Compiler.Attribution](StatifierBlocks.Compiler.Attribution.md): Resolves each element of one block's emission to the block an author
would recognise (ADR-0004 decision 5).
  - [StatifierBlocks.Compiler.Cancels](StatifierBlocks.Compiler.Cancels.md): The scope-shaped cancel: a delayed send armed by a child block is
cancelled in the `<onexit>` of the state that armed it (ADR-0004's
2026-08-29 amendment, "a delayed send's cancel, emitted in the arming
state's `<onexit>`").
  - [StatifierBlocks.Compiler.Chart](StatifierBlocks.Compiler.Chart.md): The Chart stage: run the generated SCXML through statifier's own
pipeline and route every finding back to a block (ADR-0004 decisions 9
and 10).
  - [StatifierBlocks.Compiler.Context](StatifierBlocks.Compiler.Context.md): What a block type is entitled to know while emitting, and nothing more
(ADR-0004 decision 4).
  - [StatifierBlocks.Compiler.DeclaredRoots](StatifierBlocks.Compiler.DeclaredRoots.md): How a block type contributes a **compiler-declared `<data>` root** to the
chart's one top-level `<datamodel>` (ADR-0004's 2026-08-29 foreach
amendment, F2 and F3), and the collision refusal F6 records.
  - [StatifierBlocks.Compiler.Finding](StatifierBlocks.Compiler.Finding.md): One thing the compiler has to say about one block (ADR-0004 decision 10).
  - [StatifierBlocks.Compiler.Interrupts](StatifierBlocks.Compiler.Interrupts.md): The group-scoped interrupt pair: a `<raise>` of the interrupt protocol
emitted inside a group's rail is rewritten to that group's own salted
event name (ADR-0010 decision 8).
  - [StatifierBlocks.Compiler.InvokeTypes](StatifierBlocks.Compiler.InvokeTypes.md): The two-registry gap, surfaced as data and linted only on request
(ADR-0004 decision 8).
  - [StatifierBlocks.Compiler.SelfReference](StatifierBlocks.Compiler.SelfReference.md): The direct self-reference refusal: a document may not run itself
(ADR-0004's 2026-08-29 amendment on what `core.subchart`'s `src`
resolves against).
  - [StatifierBlocks.Compiler.SensitivePaths](StatifierBlocks.Compiler.SensitivePaths.md): The secrets rule, checked against a document: a declared-sensitive
datamodel path may not be read into a trace-visible position (ADR-0002,
the accepted 2026-08-29 amendment "decision 7, an optional `sensitive?`
key, and the secrets rule behind it").
  - [StatifierBlocks.Compiler.Serializer](StatifierBlocks.Compiler.Serializer.md): Turns an `StatifierBlocks.Emission` tree into SCXML bytes, and records
where every one of them came from (ADR-0004 decisions 5 and 6).
  - [StatifierBlocks.Compiler.StateId](StatifierBlocks.Compiler.StateId.md): State ids derived from block ids by a pure function (ADR-0004 decision 3).
  - [StatifierBlocks.Emission](StatifierBlocks.Emission.md): One SCXML subtree, structurally (ADR-0004 decision 4).
  - [StatifierBlocks.Provenance](StatifierBlocks.Provenance.md): Which generated element came from which block (ADR-0004 decision 5).

- Describing a document
  - [StatifierBlocks.Describe](StatifierBlocks.Describe.md): A block document described in words: an outline of its blocks joined by
the ways control passes between them, and one line of English per block
and per edge (ADR-0016).
  - [StatifierBlocks.Describe.Edge](StatifierBlocks.Describe.Edge.md): One way control passes between blocks in a `StatifierBlocks.Describe`
outline, in the vocabulary of the package's note on the block-level flow
graph, `docs/block-level-flow-graph.md` (ADR-0016 decision 1).
  - [StatifierBlocks.Describe.Node](StatifierBlocks.Describe.Node.md): One block in a `StatifierBlocks.Describe` outline (ADR-0016 decision 1).
  - [StatifierBlocks.Describe.Phrasing](StatifierBlocks.Describe.Phrasing.md): The seam a host rewords a described document through (ADR-0016
decision 3).

- Edit algebra and view model
  - [StatifierBlocks.Edit](StatifierBlocks.Edit.md): The editor's command algebra. Pure, serializable, invertible - and
deliberately free of any UI framework dependency, so it is tested with
no editor shell present at all (ADR-0005 decision 1).
  - [StatifierBlocks.Edit.History](StatifierBlocks.Edit.History.md): Undo and redo over `StatifierBlocks.Edit.t()` commands (ADR-0005
decision 3), and the one funnel every editor command actually goes
through: `commit/4` runs `Edit.check_config/3` before `Edit.apply/2`, so
"invalid config never reaches the document" is a property of this
module, not a rule an editor shell has to remember to enforce itself.
  - [StatifierBlocks.Edit.Session](StatifierBlocks.Edit.Session.md): The commit funnel: one place a gesture reaches the document, over
`StatifierBlocks.Edit.History.commit/4`.
  - [StatifierBlocks.Edit.Targets](StatifierBlocks.Edit.Targets.md): Drop-target enumeration (ADR-0005 decision 5): which slots would accept a
dragged block, at slot granularity rather than gap granularity.
  - [StatifierBlocks.Finding](StatifierBlocks.Finding.md): A finding as the editor renders it: normalized for presentation, and the
anchor routes it (ADR-0005 decision 11).
  - [StatifierBlocks.ViewModel](StatifierBlocks.ViewModel.md): Everything the editor renders, derived from `{document, palette,
findings}` (ADR-0005 decisions 9, 10, 11, 12, 13).
  - [StatifierBlocks.ViewModel.Field](StatifierBlocks.ViewModel.Field.md): One config field, its schema and its current value (ADR-0005 decision 9).
  - [StatifierBlocks.ViewModel.Form](StatifierBlocks.ViewModel.Form.md): A resolved node's config form: its fields, plus any `:config` finding
whose key matched no field (ADR-0005 decision 11's fourth routing row).

  - [StatifierBlocks.ViewModel.Node](StatifierBlocks.ViewModel.Node.md): One block, rendered: its resolved status, its presentation metadata,
its slots (recursive), its form, and its own findings.
  - [StatifierBlocks.ViewModel.PaletteGroup](StatifierBlocks.ViewModel.PaletteGroup.md): One palette section: palette entries sharing `entry.group`, sorted by
`entry.order` then `entry.label` (ADR-0005 decision 10's grouping
rule).
  - [StatifierBlocks.ViewModel.Slot](StatifierBlocks.ViewModel.Slot.md): One named slot: declared or raw, with its children and its own findings.

- The Map
  - [StatifierBlocks.Editor.MapRegions](StatifierBlocks.Editor.MapRegions.md): The two function components a host mounts to show the Map beside its own
list: `map_region/1`, where the `StatifierBlocksMap` hook draws the
document, and `description_region/1`, which says in words what the
selected block is, or what the document is when nothing is selected.
  - [StatifierBlocks.Map](StatifierBlocks.Map.md): The Map: the block document drawn as boxes in boxes, laid out by ELK in
the browser. This module builds the graph a layout hook lays out and
draws; it computes no position itself and calls no layout engine. Its
input is the view model and the host's two options below; it never
reads the document itself.
  - [StatifierBlocks.Map.Info](StatifierBlocks.Map.Info.md): The Map's description region, as data: one structured description for
every element `StatifierBlocks.Map.graph/2` draws, and one for the
document itself when nothing is selected.

- LiveView editor
  - [StatifierBlocks.Editor](StatifierBlocks.Editor.md): The block editor: the only stateful module in the package's rendered half
(ADR-0005 decisions 6, 8, 9, 13).
  - [StatifierBlocks.Editor.BlockNode](StatifierBlocks.Editor.BlockNode.md): One block's chrome, dispatching to its slots (ADR-0005 decisions 10, 11,
12, 13).
  - [StatifierBlocks.Editor.Canvas](StatifierBlocks.Editor.Canvas.md): The tree's root and the drag hook's element (ADR-0005 decisions 7, 13, 14).
  - [StatifierBlocks.Editor.ConfigForm](StatifierBlocks.Editor.ConfigForm.md): The selected block's config form (ADR-0005 decisions 9 and 13).
  - [StatifierBlocks.Editor.ConnectorLayer](StatifierBlocks.Editor.ConnectorLayer.md): The drawn connectors, and the element the measurement hook rides on
(ADR-0005 decision 10, and the 2026-08-29 amendment to decision 7).
  - [StatifierBlocks.Editor.Declarations](StatifierBlocks.Editor.Declarations.md): The declarations panel: the document's own `datamodel` roots, added,
edited and reordered in the drawer (ADR-0005's 2026-09-01 amendment,
clauses 2i-2m; the key itself is ADR-0001 decision 11).
  - [StatifierBlocks.Editor.Drawer](StatifierBlocks.Editor.Drawer.md): The full-width drawer row (ADR-0005, the 2026-08-29 shell amendment,
rulings 1A and 2A).
  - [StatifierBlocks.Editor.Field](StatifierBlocks.Editor.Field.md): One config field, dispatching on the closed field-type set (ADR-0005
decision 9, ADR-0002 decision 7).
  - [StatifierBlocks.Editor.Findings](StatifierBlocks.Editor.Findings.md): The document-level findings list (ADR-0005 decision 11), rendered as the
drawer's Findings tab.
  - [StatifierBlocks.Editor.Icons](StatifierBlocks.Editor.Icons.md): The shipped default icon set, and the seam a host overrides it through
(ADR-0005 decision 10's `icon` key, decision 14's "markup, not styling"
line).
  - [StatifierBlocks.Editor.Inspector](StatifierBlocks.Editor.Inspector.md): The tabbed inspector: Config, Findings, Condition, Fixtures (ADR-0005, the
2026-08-29 shell amendment, ruling 3A, and its 2026-09-05 amendment).
  - [StatifierBlocks.Editor.PaletteBrowser](StatifierBlocks.Editor.PaletteBrowser.md): The grouped, searchable, filterable palette (ADR-0005 decisions 8, 10, 13).
  - [StatifierBlocks.Editor.RunPane](StatifierBlocks.Editor.RunPane.md): The canvas with a run around it: statifier-ui's status and scrubber above
it, its event log below, and the document's own blocks where an ops view
would draw a diagram.
  - [StatifierBlocks.Editor.SaveStepTray](StatifierBlocks.Editor.SaveStepTray.md): The marking step of the "Save as a step" gesture (ADR-0005 part (iii),
amended 2026-09-07, clause `18E`).
  - [StatifierBlocks.Editor.Slot](StatifierBlocks.Editor.Slot.md): One named slot: its header, its children, its gaps, and its "+" buttons
(ADR-0005 decisions 5, 6, 8, 11, 13).
  - [StatifierBlocks.Editor.Toolbar](StatifierBlocks.Editor.Toolbar.md): The canvas toolbar (ADR-0005, the 2026-08-29 shell amendment, ruling 8A).

- Predicate evaluation
  - [StatifierBlocks.Predicates](StatifierBlocks.Predicates.md): The evaluation seam: a condition source string plus a binding context in,
`{:ok, boolean()} | {:error, reason()}` out, through `predicator`.
  - [StatifierBlocks.Predicates.TruthTable](StatifierBlocks.Predicates.TruthTable.md): A table spec plus rows in, a struct with per-cell outcomes, first-match-wins
selection and expectation status out.
  - [StatifierBlocks.Predicates.TruthTable.Cell](StatifierBlocks.Predicates.TruthTable.Cell.md): One row/column intersection: the raw evaluation `outcome`, whether the
column was `selected?` under first-match-wins, the row's declared
`expected` answer (if any), and the derived `status`. See
`StatifierBlocks.Predicates.TruthTable`'s moduledoc for what each
`status` value means.

  - [StatifierBlocks.Predicates.TruthTable.Column](StatifierBlocks.Predicates.TruthTable.Column.md): One truth-table column: a key, a display label, and a predicator source
string, or `source: nil` for the `otherwise` column.

  - [StatifierBlocks.Predicates.TruthTable.Row](StatifierBlocks.Predicates.TruthTable.Row.md): One truth-table row: the bindings that build its context, the resulting
cells (or a row-level `error` when the bindings themselves fail), and an
optional author-facing `note`.

## Mix Tasks

- [mix adr.cites](Mix.Tasks.Adr.Cites.md): Reports citations into `docs/adr/` that no longer point at the text they were
written against.