Binding rung
The rung is where a tool's answers come from: provided, custom, workspace, sink, world, synthesized, or simulated.
The ladder
Higher rungs are more faithful and less flexible. The build binds each tool as high as the evidence allows and records the rung on the tool's page; a person can pin a different rung.
Related: /glossary/twin