Where the values of a field of type one of are collected
sheriff validate collects the values of each field of type one of from its one source (§s-xfu2gpzddjnmgks), which is one of these:
- its own list;
- the members of the lists that rules of domains add to it. Each such list is found through its rule's refines link, which leads to the RecordType of contracts holding the field, and the list names that field (§s-gzfq3x8hesj227e);
- the names of the domains;
- the sids of the nodes of the kind it names that stand in the base specification.
It refuses:
- a field holding no value;
- a value found in two lists that rules of domains add to the field;
- a domain's list whose rule refines no RecordType of contracts;
- a domain's list naming a field the RecordType its rule refines does not hold, or a field whose source is another;
- a kind named that the schema does not hold.
The links it makes
The links made to it
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.
The tests bound to it
- skills/tools/test/unit/validate.test.ts · s-5nf87c3e3jg9v7c refuses a domain's list naming a field holding its own list, and a field naming a kind the schema does not hold