---
title: Verifier-Producer
slug: verifier-producer
url: https://templeton.host/lexicon/verifier-producer/
type: defined-term
inDefinedTermSet: https://templeton.host/lexicon
author: Andrew Templeton
---

# Verifier-Producer

## Definition

A two-node topology where a producer P emits a candidate and a verifier V either accepts it (forwards to output) or rejects it (loops back to P for a rerun). With unbounded reruns and accept rate a, expected number of attempts is 1/a, so expected total work is 1/a producer-runs.

## Why this term exists

Most operational AI systems are this shape and nobody draws it. Naming the verifier separately from the producer is what makes the gate predicate visible, the rework cost measurable, and the routing decision (which surface verifies?) discrete.

## See also

- [DAG Topology widget](https://templeton.host/widgets/dag-topology)
- [Brier Reliability Diagram](https://templeton.host/widgets/reliability-diagram)
- [Partial Rework](https://templeton.host/lexicon/partial-rework)
- [Rework Loop](https://templeton.host/lexicon/rework-loop)

Canonical URL: https://templeton.host/lexicon/verifier-producer/