Verifier-Producer
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 It 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.
Related Terms
Partial Rework - A pipeline design where the producer emits N independent parts and the verifier checks each part independently.
Rework Loop - The cyclical structure introduced when a verifier rejects a producer's output and the producer must retry.