rule · _guidelines/spec/1.31 · s-xfwuvd3funutmsw

Where a value is declared

Checkedconfirmed by its owner

A value of a field of type one of is declared in the part of the specification where the list, the domain or the node it comes from stands.

Why

Whoever answers for a list, a domain or a node then declares the values coming from it, and adds the variant answering to each (§s-z3dnru6qqdf9m6j), without changing another part.

The links it makes

refines → One source for the values of a field of type one of
cites → A RecordType variant exists only for a value carrying fields of its own

The links made to it

cites ← A RecordType variant exists only for a value carrying fields of its own
implements ← What is checked, when, and what a failure costs
implements ← What a RecordType variant must agree with

The decisions taken on it

2026-11-04 · textual

Problem: A data record variant stands in the part declaring its value, and only a domain or contracts were named as that part, while a value now comes from a domain, a domain's list or a node.
Ruling: The owner: a value is declared in the part where the list, the domain or the node it comes from stands.