Function report 

pub fn report(prog: &CompiledProgram, mode: ReverseMode) -> PebbleReport

Summarise the plan for mode — the count of Journaled writes kept vs. elided (the static space budget; the dynamic erased-byte floor comes from a recording run’s tape).