pub fn input(
bundle: Value,
settings: &Settings<'_>,
digest: Option<&Value>,
instructions: &[Instruction],
) -> Tainted<Value>Expand description
The run input: { bundle, settings: { checks, allow, max_turns, max_tool_calls, frozen, … }, digest } — digest is the verifier’s
account of the previous attempt, null on a first attempt.
Labelled by where each part came from: the bundle is the
person’s committed spec and plan (trusted); the digest quotes check
output (speccoder://verifier); the settings list MCP tool descriptions
(their servers).