## Report.needs


[needed](Report.needed.md#sverify.Report.needed) as data, one `Needed` per precondition: the table, the


`Report.needs: list[Needed]`


column, the comparison and the bound, the SQL, and the runtime error it rules out. A tool that phrases the preconditions in its own terms (a dbt test, an editor's quick fix) reads these; empty unless `on_inferred="error"`.