An identifier followed to its end
sheriff validate looks up the RecordType that each field of type identifier of names, and looks up among that RecordType's fields the one it names as identifying it.
- Where that field is itself an identifier, the RecordType it names is followed in the same way, until a field of another type is reached.
- A RecordType reached twice is refused.
The links it makes
The decisions taken on it
- Problem
The check of data record variants read a value from its choosing field's own list alone, held a variant to the part of the data record, and counted no fields of type variant, and no check followed an identifier to the field it takes its type from.
- Ruling
Following the owner's rulings of that day: the row reads the lists rules of domains define for a field of a data record in contracts (§s-xfu2gpzddjnmgks), holds a variant to the part declaring its value, and counts the fields of type variant; a row follows each identifier to the field identifying its data record. The todo on the other place is settled.
- Problem
No row looked for a field of type one of holding no value, or followed an identifier past the first identifying field.
- Ruling
Following the two rows the base's table of checks gained that day: the identifiers are followed until a field of another type, and the values of each field of type one of are counted.