SpecSheriffIn progress
rule · _guidelines/tools/7.1.4 · s-stxmhq3hgfndvn6

Locations computed anew

Checkedconfirmed by its owner

sheriff validate computes in memory the location of each node from where it is, and compares it with the location its file holds.

The links it makes

The decisions taken on it

2026-11-05 · textual
Problem

The node named a kind of node "data record" and a node's place "address" or "id".

Ruling

A technical replacement following the owner's decisions of that day: a data record is a RecordType, and a node's address or id is its location.