Indexed observation
An observation is an event in the system
At what cost or change?
Time, resources, intervention
Who observed?Observer or instrument
In what context?State conditions and convention
With what record?Keep inputs, outputs and checks
Scoped claim
Routine R agreed with oracle O
for tested indices 0-30, using convention C,
as recorded in evidence file E.
The index makes the claim more checkable.
Index the observation
Cost or change?
time, resources and intervention
Who?observer or instrument
Context?conditions and convention
Record?inputs, outputs and checks
Scoped claim
R agreed with oracle O
for tested indices 0-30,
using convention C,
as recorded in evidence E.
More checkable, not less.