## 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.