Struct SpawnRow 

pub struct SpawnRow {
    pub child_run_id: i64,
    pub goal: String,
    pub verify_file: String,
    pub needle: String,
    pub max_steps: Option<u32>,
    pub deny_write: String,
}

A persisted spawned-child contract, enough to rebuild and resume that exact child on a tree resume rather than spawning a duplicate.

use io_harness::Store;

let store = Store::memory()?;
let parent = store.start_run("summarise the repo", "NOTES.md")?;
let child = store.start_child_run("summarise src/", "NOTES.md", parent, 1)?;
store.record_spawn(parent, 4, child, "summarise src/", "NOTES.md", "#", Some(8), "[]")?;

// What a tree resume does with it: the parent replays step 4, looks the spawn
// up by (parent, step, goal), and adopts the child it already made. Without
// this row the replay would spawn a second child and spend the tree's ledger
// twice for one piece of work.
let row = store.find_spawn(parent, 4, "summarise src/")?.expect("recorded above");
assert_eq!(row.child_run_id, child);
assert_eq!(row.max_steps, Some(8));
// The narrowing the parent applied is stored too, so the adopted child resumes
// under the policy it was contained by rather than the parent's wider one.
assert_eq!(row.deny_write, "[]");

// A step that never spawned has no row, which is how a replay tells "already
// done" from "not done yet".
assert!(store.find_spawn(parent, 5, "summarise src/")?.is_none());

Fields

child_run_id: i64

The child run id already allocated for this spawn.

goal: String

The child’s goal.

verify_file: String

The workspace-relative file the child’s verification reads.

needle: String

The substring the child’s verification requires.

max_steps: Option<u32>

The child’s step cap, if the parent set one.

deny_write: String

JSON array of deny_write globs the parent narrowed the child with.

Trait Implementations

impl Clone for SpawnRow

fn clone(&self) -> SpawnRow

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SpawnRow

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SpawnRow

fn eq(&self, other: &SpawnRow) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SpawnRow