A small schema keeps identifiers, labels, aliases, and edge types separate.

highlighted = computed this step

A record needs a small schema

A deterministic browser needs only a few fields: a key, a kind, a label, and optional aliases. More fields can be added later, but the key and edge type carry the structure.

record=(id,kind,label)\text{record}=(\text{id},\text{kind},\text{label})
Minimal record schemaEach field has a limited role in the deterministic browse.FieldRoleUseidstable keyjoin on thiskindnode typevalidate edge typeslabeldisplay textnot a keyaliaslookup hintmay collide

Typed edges keep graph meaning explicit

A graph edge is not just a line. Its type says whether the edge is an ontology step, an annotation, or a teaching link.

edge=(from,type,to)\text{edge}=(\text{from},\text{type},\text{to})
Minimal record schemaEach field has a limited role in the deterministic browse.FieldRoleUseidstable keyjoin on thiskindnode typevalidate edge typeslabeldisplay textnot a keyaliaslookup hintmay collide