validateAgainst

Validates this layout against model by delegating to the AnimationInventory path (validateAgainst(inventory)) — the inventory is the single identifier space (9A.3/9A.5) that both capture selection and layout binding key off, so validation can't drift from what the emitters expose.

Validates this layout against inventory: every queue/resource/movableResource/response binding is checked against the names the model exposes (the same element kinds the animation emitters attach to), and unmatched names are reported with a nearest-name "did you mean?" hint (8K.2a). Response-style bindings (bar/plot/value/summary/histogram) match against responses ∪ counters (both emit response values).

Not checked here: station(...) markers, space(...) backdrops, and objectClass(...) type names. A station marker is a free-form position/label anchor — most aren't Station model elements (they label Euclidean points, conveyor anchors, DistancesModel locations, etc.), so name-based checking false-positives; space names aren't structural keys. Station names and entity/agent type names are validated against a produced trace instead (8K.2b, deferred), since the trace records the names that actually emitted.

Validates this capture spec against inventory (9A.5): every include/exclude ElementSelector must name an element the inventory actually exposes for its ElementKind. A selector that names a non-existent element (or names one of the wrong kind) silently captures nothing, so this surfaces the typo at author time with a nearest-name hint drawn from that kind's names.