pub fn validate_instructions(instructions: &Instructions) -> Result<(), String>Expand description
Validate a compiled instruction stream against its operand pools: version,
jump targets, register indices, constant/data/veto-message table indices,
and the trailing Instruction::Return.
Two call sites with different failure semantics:
- the deserialization trust boundary (
TryFrom<ExecutionPlanSerialized>), where a tampered or stale serialized plan must surface as an error; - the compiler (
CompileContext::finish), where a violation is a compiler bug and crashes.