Report.needed

With on_inferred="error", the preconditions the proof needs that

Report.needed: dict[str, list[str]]

requires does not state, as labels per input table (the bounds infer_bounds found, inferred); empty otherwise.