## Report.notes


What the report notes about the result as a whole, as `str(report)`


`Report.notes: list[str]`


prints them after "note:": that rows may tie in an `ORDER BY` (`deterministic` is False, `ties` says which keys would help), and that the proof holds for the `params` given only.