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.
Cost to close
Some gaps close for very little and remain open only because nobody costed them.
Money shared type