Worked examples

These six cases are synthetic teaching material. Their probability distributions are deliberately labeled fixture values and were not obtained from Jev. Local checks verify the shape, references, and stated digests; they do not run the source snippets or validate a production controller.

Case	What it illustrates
Complete local evidence	A real handler in a local harness, with assertions for both required effects.
Premature PASS	A green assertion that does not distinguish the requested behavior.
Local BLOCKED	A specific failure and a supported, scoped correction proposal.
Prohibited operation	A plausible diagnostic step that still lacks authorization.
Evaluator unavailable	Normal lead review without an additional execution grant.
Stale evidence	A passing observation tied to an older candidate.

A recommended continuation is not an executed continuation. A review-ready packet is not an accepted task. These distinctions are reflected in every example's separate packet, assessment, and pending handoff.