v0.17.5

0.17.3 required a disposition to wait until the reviewer had located the
counterexample's red run in the implementer's dispatch record, with an escape for
a record the execution plane cannot recover.

A delivery then hit a case that escape does not cover: the record was recoverable
and the red run was unproducible, because the error under test is returned only
to a coordinator. A dispatched worker attempting the same call hits a role fence
that fires before the condition is evaluated at all. The clause never fired, and a
literal reading left the disposition unreachable although nobody had erred.

What changed

The escape branches on authority as well as recoverability. Where the
implementer had no authority to produce the counterexample, locating that run in
its record is not required — but the observation is valid only when a role that
does have that authority recorded it as that role's observation. The reviewer
verifies what its own seat reaches and records the remainder as not verified.

It relieves only the location of the run, never the observation: an implementer
claiming it must produce a harder artifact, not skip a step.

Superseded

0.17.6 deletes this clause and its branches entirely, after measurement showed
the lookup they were rescuing had never once succeeded. This release is the last
state before that deletion.