Message architecture · The supporting messages · Element

The evidence

What each supporting message rests on.

The part

What it is

Links back to the proof work, so that a message and the evidence for it are not maintained in two places.

A message with no evidence behind it is a claim, and it belongs in the claim inventory rather than in the architecture.

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.