Struct EncodeRequest 

pub struct EncodeRequest {
    pub path: PathInfo,
    pub optimal_input: u128,
    pub hop_outputs: Vec<u128>,
    pub consumed_inputs: Vec<u128>,
    pub opts: EncodeOptions,
}

The per-path encode intake (ADR-033): the path + the solver’s amount triple + the declared axes, as one unit.

Built exactly once at each producing site (the strategy’s candidate projection; the declarative harness chain runners) and handed to encode_cmd_stream together with an EncodeContext. A request without its path is the shape that lets amounts be synthesized blind to what the path constrains — so path and amounts are one unit.

The CL overfeed-clamp invariant (UO3JM4 / path-5000 EMPTY-HALT) attaches to this value: consumed_inputs[i] is the executable input fed to hop i. For a non-over-fed CL hop (and for V2/Balancer/Curve/Solidly hops) it equals hop_outputs[i − 1]; for an over-fed CL hop the producer clamps it to input_consumed − 1 (the solver’s clamp_cl_hop_capacity, whose bound is the pools-layer exact_input_clamp_bound rule) so the on-chain exact-in loop terminates on amountRemaining == 0 instead of marching empty bitmap words. Building the request is where that invariant is owned; it is not re-derived by the encoder.

Fields

path: PathInfo

The resolved path hops (the encode’s shape selector).

optimal_input: u128

The flash/optimal input amount (u128; the cmd_executor int128 convention).

hop_outputs: Vec<u128>

Per-hop output amounts. hop_outputs[i] = the output after hop i ([forward_out, final_output] for a 2-hop path).

consumed_inputs: Vec<u128>

Per-hop executable input amounts (the CL-clamp swap-in — see the type doc for the invariant).

opts: EncodeOptions

The declared per-path axes (funding / capture / bribe + the opcode toggles).

Implementations

impl EncodeRequest

pub fn new( path: PathInfo, optimal_input: u128, hop_outputs: Vec<u128>, consumed_inputs: Vec<u128>, opts: EncodeOptions, ) -> Self

Build a request, checking the hop-alignment invariants.

hop_outputs and consumed_inputs are per-hop arrays: each must have exactly one entry per hop in path, or the encode would index misaligned amounts silently.

Panics

If hop_outputs.len() or consumed_inputs.len() differs from path.hops.len() (a programmer error — the arrays are per-hop, aligned with the path). The panic names the mismatched arrays.

Trait Implementations

impl Clone for EncodeRequest

fn clone(&self) -> EncodeRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EncodeRequest

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

Formats the value using the given formatter.