Method · The assumptions · Element

The tests

What was checked.

The part

What it is

Testable assumptions should be tested; untestable ones should be stated and their plausibility argued.

A failed assumption test is a finding rather than a failure, and it usually points at a better method.

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.