Struct CircuitExec 

pub struct CircuitExec {
    pub decode: Program,
    pub decode_plan: FusionPlan,
    pub multi_seq: Vec<(Program, FusionPlan)>,
    pub verify: Vec<(Program, FusionPlan)>,
    pub draft: Option<Arc<DraftPrograms>>,
    pub routes: Vec<RoutedProgram>,
    pub gdn_pitch: Vec<Option<(usize, usize)>>,
    pub verify_batch: Option<VerifyBatch>,
    pub rules_digest: String,
    pub fusions: Fusions,
    /* private fields */
}

2026-09-28: A built executor: the decode program and the workspace it runs in.

Fields

decode: Program

2026-09-28: Decode at one row.

decode_plan: FusionPlan

2026-09-28: The plan decode was compiled from.

multi_seq: Vec<(Program, FusionPlan)>

2026-09-28: Multi-sequence decode, one program per padded width, ascending; each with the plan it was compiled from.

verify: Vec<(Program, FusionPlan)>

2026-09-29: The single-sequence MTP verify, one program per K, ascending.

draft: Option<Arc<DraftPrograms>>

2026-09-29: The MTP draft head’s single-row step and (2026-09-30) its n-row ones, which the head runs itself (DraftRunner).

routes: Vec<RoutedProgram>

2026-09-30: The runtime routes’ arms, beside the primary program of each mode and row count they apply to (routes).

gdn_pitch: Vec<Option<(usize, usize)>>

2026-09-30: Per layer, the (h, conv) slot pitch of its GDN state; None elsewhere.

verify_batch: Option<VerifyBatch>

2026-09-30: The batched MTP verify’s programs, compiled per row table.

rules_digest: String

2026-09-28: SHA-256 of the FUSIONS.toml the plan was chosen from.

fusions: Fusions

2026-09-28: Which rules the build allowed.

Implementations

impl CircuitExec

pub fn build(b: Boot<'_>) -> Result<Self>

2026-09-28: Build the executor.

pub fn multi_seq_program(&self, rows: u64) -> Option<&Program>

2026-09-28: The multi-sequence program for rows padded rows, if one was compiled.

pub fn multi_seq_step( &self, rows: u64, gdn: &[Vec<GdnState>], ) -> Result<&Program>

2026-09-30: The program a multi-sequence step of rows padded rows runs, given its GDN states: the arm of the first runtime route whose condition holds, else the primary one.

pub fn draft_runner(&self) -> Option<Arc<dyn DraftRunner>>

2026-09-29: The draft head’s program, if one was compiled.

pub fn verify_program(&self, k: u64) -> Option<&Program>

2026-09-29: The verify program for k rows, if one was compiled.

pub fn plans_digest(&self) -> String

2026-09-28: One digest over every compiled plan, in order (decode, then the multi-sequence widths ascending, then the verify widths, the draft step and, 2026-09-30, the runtime routes’ arms): what a record of this forward discloses.

pub fn workspace_bytes(&self) -> u64

2026-09-28: Bytes of the workspace.

pub fn free(self, gpu: &dyn GpuBackend) -> Result<()>

2026-09-28: Free the workspace. The caller must first destroy every graph that captured a program of this executor.