Function bind_positionals

src/tool_command/args.rs:512–547

(
    def: &ToolDefinition,
    schema_properties: &Map<String, Value>,
    required: &[String],
    collected: &mut Map<String, Value>,
    positionals: Vec<String>,
    read_stdin: &mut impl FnMut()

}

fn bind_positionals(
    def: &ToolDefinition,
    schema_properties: &Map<String, Value>,
    required: &[String],
    collected: &mut Map<String, Value>,
    positionals: Vec<String>,
    read_stdin: &mut impl FnMut() -> Result<String>,
) -> Result<()> {
    let mut positional_iter = positionals.into_iter();
    for req in required {
        if collected.contains_key(req) {
            continue;
        }
        let Some(prop) = schema_properties.get(req) else {
            continue;
        };
        let Some(value) = positional_iter.next() else {
            break;
        };
        let resolved = resolve_at_file(&value, read_stdin)?;
        let coerced = coerce_value(req, Some(prop), &resolved)?;
        collected.insert(req.clone(), coerced);
    }
    let leftover: Vec<String> = positional_iter.collect();
    if leftover.is_empty() {
        return Ok(());
    }
    Err(TraceDecayError::Config {
        message: format!(
            "unexpected positional argument(s): {} — use --key value flags or \
             run `tracedecay tool {} --help`",
            leftover.join(" "),
            short_tool_name(&def.name)
        ),
    })
}

/// Resolve a `--args` value to its JSON text. `--args` is a *whole-payload*
/// argument (the value IS the object), so it follows the same convention as