Did the mock and the provider give the same answers?
Scopeⓘ
not measured
How much of the contract did this run compare?
Not tested: ,
Evidenceⓘ
Rung / 4
Withdrawn
Not measured
— the level of claim this run supports.
Provider identity is not independently verified.
ⓘat
Binding
Recorded
Now
Not checked by this reader:
Run it again with
No call refreshes this:
Warnings
—
The spec this run is bound to is not the one it counted
Unexpected differences ⓘ
The run measured nothing, so there is no difference set. An empty list here means that nothing was
compared, not that the two targets agreed.
The run found no unexpected difference in the operations it
compared.
Nothing in this outcome class — .
Confirmation: .
At
Provider
Mock
Not compared ⓘ
These produced no verdict about behaviour. They are neither divergence-free nor divergent, so
they are counted next to the proportion and not in it.
() —
At
Provider
Mock
Expected differences ⓘ
Each ignore rule is a waiver. A waiver re-classifies a difference and records a reason and an
owner. It does not hide the values.
Rule
Scope
Marker
Matched
Reason
Owner
stale
The claim
What the run observed:
Provider identity
Freshness
Rung — ( of 4)
Rung — withdrawn
The run observed rung
(). That remains true of the run. It does not
describe this project as it is now. The per-operation ladder below is the run's, unedited.
This rung rests on a waived bar:
Bar
Held
Counted
—
Run details
run at provider env profile evidence
Glossary
The payload keeps the model's own field names (divergences,
notexercised, admissible) — the labels above translate them, they
do not replace them. For the full explanation, copy the help-id contract into the
Help tab.
This page shows what Contract.read returned; it recalculates nothing. Freshness is read
at the instant shown above, so run Contract.report() again after each comparison.