Struct CheckedNode 

pub struct CheckedNode {

    pub name: String,
    pub kind: ArtifactKind,
    pub resolved: Option<String>,
    pub module_bytes: Vec<u8>,
    pub signature: Signature,
    pub input: Option<InputExpr>,
    pub repeat_until: Option<String>,
    pub max_iterations: Option<u32>,
    pub script: Option<String>,
    pub over: Option<PathBuf>,
    pub item_output: Option<Ty>,
    pub accept: Vec<AcceptCheck>,
    pub on_fail: Vec<Rung>,
}

One checked node, ready to execute.

Clone because a later task’s resume_job rebuilds a JobSpec from an Arc<Vec<CheckedNode>> held in AppState — every field type here (Signature, ArtifactKind, InputExpr) is already Clone.

Fields

name: String

The node’s name, as written in nodes = {...}.

kind: ArtifactKind

Block or bundle.

resolved: Option<String>

The exact name@version this node resolved to, if it came from the catalog.

module_bytes: Vec<u8>

The compiled module (block) or .cfbundle (bundle) bytes.

signature: Signature

What it declared.

input: Option<InputExpr>

What feeds this node, if anything.

repeat_until: Option<String>

Bounded-loop marker, if this node re-runs on its own output.

max_iterations: Option<u32>

Iteration bound, required alongside repeat_until.

script: Option<String>

Threaded straight from ResolvedInput::script/Stage::script — see pipeline.rs. Some only for a Script-kind node.

over: Option<PathBuf>

The fan-out manifest this node runs over, if any — see cuttlefish_core::graph::Node::over. When set, this node runs its block once per manifest line and presents fanout_collection_ty downstream rather than its block’s own declared output.

item_output: Option<Ty>

For a fan-out node only: what its block declared as the output of one item, before fanout_collection_ty replaced signature.output for downstream typing.

Both are needed and they are not the same type. Downstream nodes consume the collection, so signature.output must describe that; but each individual item’s result still has to be validated against what the block actually promised to produce, which is this. Collapsing them into one field means every item gets checked against the collection record and fails.

accept: Vec<AcceptCheck>

What “done” means for this node beyond its type — see crate::accept. Empty means the type signature is the whole contract, which is the pre-existing behaviour.

on_fail: Vec<Rung>

The recovery ladder climbed when an attempt is not accepted. Empty means one attempt and then failure.

Trait Implementations

impl Clone for CheckedNode

fn clone(&self) -> CheckedNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.