Struct Program 

pub struct Program {
    pub ops: Vec<Op>,
}

A bounded, ordered list of reconstruction instructions.

Fields

ops: Vec<Op>

Instructions, evaluated in order.

Implementations

impl Program

pub fn new(ops: Vec<Op>) -> Self

Wrap an instruction list.

pub fn encode(&self) -> Result<Vec<u8>>

Encode the program to graph-record payload bytes.

pub fn decode(data: &[u8], limits: Limits) -> Result<Program>

Decode a graph-record payload.

pub fn analyze( &self, object_lens: &[u64], channel_lens: &[u64], limits: Limits, ) -> Result<(u64, CoverageMap)>

Walk the program, validating instruction semantics and returning both the predicted output length and the coverage certificate, using only object and channel lengths (no byte materialization, no large allocation).

pub fn analyze_ops( &self, object_lens: &[u64], channel_lens: &[u64], limits: Limits, ) -> Result<Vec<u64>>

Walk the program and return the exact output length contributed by each instruction, in program order.

This is the op-indexed view of Program::analyze: per_op[i] is the number of bytes instruction i produces (0 for bookkeeping ops such as MARK_OFFSET), so per_op.iter().sum() == analyze(...).0. It applies the same validation and overflow checks as analyze; no rejection is relaxed. The optional observation index is checked against this view.

pub fn analyze_inputs( &self, objects: &[Vec<u8>], channels: &[Vec<u8>], limits: Limits, ) -> Result<(u64, CoverageMap)>

Analyze using concrete object and channel tables.

pub fn analyze_objects( &self, objects: &[Vec<u8>], limits: Limits, ) -> Result<(u64, CoverageMap)>

Convenience wrapper over Program::analyze for a program with no entropy channels.

pub fn eval( &self, objects: &[Vec<u8>], channels: &[Vec<u8>], limits: Limits, ) -> Result<Vec<u8>>

Materialize the program’s output, enforcing all bounds.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Program

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

Formats the value using the given formatter.

impl Default for Program

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Program

impl PartialEq for Program

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Program