Proof · The gaps · Element

The gap

The claim, the evidence that would be needed, and what exists instead.

The part

What it is

Naming the evidence that would close the gap turns the item into a task rather than a worry.

Some gaps are cheap to close and have simply never been assigned, which the list makes obvious.

The smallest level

The attributes it carries

Each attribute is one of the framework’s shared types. What a date is, and how it is written, is defined once for the whole model — the note here says what it means in this particular place.