Function verified_system_hashes 

pub fn verified_system_hashes(
    system: &[SystemBlock],
    frozen: &[B3Hash; 4],
) -> Result<[B3Hash; 4], AxError>

The same assertion over the copy of the segments a request carries: four cache-marked system blocks, hashed and compared against the hashes the run froze. The request is what the provider reads, so this is the check that the wire form and the record agree.

The judgement lives in prefix/segment.rs, next to the bytes it hashes; this line is the path a caller uses. The same assertion over the copy of the segments a request carries: four system blocks, hashed and compared against the hashes the run froze. The request is what the provider reads, so this is the check that the wire form and the record agree.

The edge breakpoints are checked here too, against BreakpointPlan::marks_edge, because the record states the plan and the wire must carry what the record states.

Errors

A request that does not carry four blocks, one that moved a breakpoint off its edge or added one where the tail anchor lives, or whose blocks hash to something the run did not freeze.