Proof · The gaps · Element
The decision
Prove, soften or withdraw — with an owner and a date.
The part
What it is
A gap without a decision remains a gap. The decision is small; making it is what the whole module exists for.
Withdrawal is faster and cheaper than it appears, and rarely costs what people expect it to.
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.
By when
A deadline, because an unsupported claim standing indefinitely is the default outcome.
Date shared type