Function execute_with_seed 

pub fn execute_with_seed(
    plan: &LogicalPlan,
    seed: Option<&Row>,
    reader: &dyn GraphReader,
    writer: &dyn GraphWriter,
    params: &ParamMap,
    procedures: &ProcedureRegistry,
) -> Result<Vec<Row>>

Like execute_with_reader but with an explicit procedure registry in scope. Used by the TCK harness to mount mock procedures declared by there exists a procedure ... steps, and reserved for the server startup path once built-in procedures land. Run plan once for a caller-supplied “outer” row that’s folded into the operator pipeline as a seed. Used by CALL { ... } IN TRANSACTIONS to evaluate the body once per input row (with the row’s bindings visible inside the body) while letting the caller batch writes across multiple invocations into a shared BufferingGraphWriter.

The seed row is threaded into every operator’s outer_rows list, mirroring what CallSubqueryOp does internally for the non-batched form. Pass None to invoke without a seed (equivalent to execute_with_reader_and_procs).